p
Let a = -33.07 - -31.6.  Let w = -1.47 - a. Do -1/189 and w have the same value? 
False
Suppose -13 = 2*b - 3*b - 3*m, -b + 2*m - 12 = 0.  Let o be (-8 - (-3 - b))/(2 - 0).  Which is smaller: o or -3? 
o
Let b be (2/(-6))/(7/21).  Let x be -37 + b + 4 + -1.  Let v = -1559 + 1526.  Is v at most as big as x? 
False
Let d be ((-16)/12)/(2/(-3)).  Let v = 622 - 661.  Which is smaller: d or v? 
v
Let r(q) = -q**2 - 39*q + 552.  Let i be r(-51).  Which is smaller: i or -57? 
i
Let n(p) = p**2 - 3*p - 51.  Let a be n(9).  Suppose a*h = 4*h - 5*z + 41, 0 = -5*h + 2*z - 297.  Do -61 and h have different values? 
False
Let g = -1518 + 10769/7.  Let x = -865/42 + g. Which is smaller: x or -1.7? 
-1.7
Suppose 54*w + 4858 + 2618 = -2730.  Which is smaller: -192 or w? 
-192
Let c = 406 - 319.  Which is smaller: c or -2/7? 
-2/7
Suppose -n - 150 = 4*u, -203 = -2*n + 4*u - 539.  Suppose -6*v - 529 - 449 = 0.  Are v and n equal? 
False
Let i(m) = 67*m**2 + 99*m + 298.  Let r be i(-3).  Is 1/2 at most r? 
True
Suppose -i + 3*r - 226 = 277, 8*r = 3*i + 1509.  Is i equal to -504? 
False
Let q be 100*(42/20)/((-126)/105).  Suppose 685*f = 684*f - 177.  Is f less than q? 
True
Let c(k) = k**3 + 9*k - 33 + 10 + 6*k**2 + 23.  Let p be c(-4).  Is 25 < p? 
False
Let x = 54866 + -120869796/2203.  Is x bigger than -1? 
True
Let c(v) be the third derivative of -v**6/60 + 5*v**5/12 - 3*v**4/4 + v**3/3 - 143*v**2.  Let u be c(12).  Which is greater: -71 or u? 
u
Suppose -62*m - 21627 = 139201.  Is m bigger than 2? 
False
Suppose 42*m + 7 = -5*i + 46*m, -5*i = 4*m - 17.  Let d = 10 + 0.  Is i smaller than d? 
True
Let i = 3168 + -3183.  Does -17 = i? 
False
Suppose -3*w = 3*z - 3, -w - 4*z + 1 = -2*z.  Let f be (891/110)/(-3) + 3.  Is f at least w? 
False
Let v = -71 + 70.921.  Let y = -1.917 + 1.868.  Let s = y - v. Is 2/3 smaller than s? 
False
Let r be 45934*8/15952 + -23.  Does r = -1? 
False
Let q be ((-5)/30)/(6 + 140/(-24)).  Is q at least as big as -2/1947? 
False
Suppose 2*d - 21 = -5*v, v = 2*d - 283 + 244.  Let u(a) = -a**3 - 4*a**2 - 7*a - 10.  Let t be u(-4).  Are d and t unequal? 
False
Let p = -9518962/1130601 - -1/36471.  Is p less than -7? 
True
Let k be ((-60)/(-9) + 5)*(-60)/(-14).  Which is smaller: k or -18? 
-18
Let c be 10/(-9 + (-231)/(-22)).  Is 0.04 greater than c? 
False
Let m = 916 - 916.  Suppose -66 = 222*a - 228*a.  Is a smaller than m? 
False
Let h be ((-2)/7)/(8/(-9436))*1.  Do 335 and h have the same value? 
False
Let p = -81 + 81.39.  Let q = -6.39 + p. Let w = q + 7.  Does w = 2/131? 
False
Let r(b) = b**3 + 25*b**2 - 30*b + 95.  Let s be r(-26).  Do 191 and s have different values? 
True
Let u = -59852/9 + 6818.  Is u smaller than 168? 
True
Suppose 2069 - 556 = 1513*u.  Let v = -1722 + 284129/165.  Which is bigger: u or v? 
u
Let a be ((-162)/243)/(-4*6/(-9)).  Which is smaller: -1539 or a? 
-1539
Let o = -4042/111873 - -12/419.  Suppose 2*b = -b.  Which is greater: b or o? 
b
Let n(a) = 5*a**3 + a**2 + a + 2 - 5*a**2 - 3*a**2 + 5*a**2.  Suppose -6*o + 20 - 26 = 0.  Let h be n(o).  Do h and -3 have the same value? 
False
Let o = -7223 - -6930.  Is o <= -2638/9? 
False
Let z = 665 + -390.  Let v = z + -278.  Which is smaller: v or -16? 
-16
Let c be 4/1512*3*(4 - 1).  Let j = -9/14 - c. Is j at least -1/11? 
False
Let l = -1/23331 - -5049496/23331.  Let s = -213 + l. Let j = 3 - 0.  Is j <= s? 
True
Let i = 25072 + -22979.  Which is bigger: 2096 or i? 
2096
Let k(l) = -2*l + 32.  Let u be k(15).  Let a be -4*2/(-36) + 3097808/936.  Let s = a - 3308.  Is s less than or equal to u? 
True
Let o be (-12)/66 - (-1)/(22/33004).  Is 1499 < o? 
True
Let i(m) = -m**2 - 38*m - 185.  Let l be i(-23).  Let c = l - 162.  Do c and -34/13 have the same value? 
False
Suppose 0 = -4*t + 8*t + 4.  Suppose i = g, -5*g - 2*i = -2*g + 10.  Let l be 4/(8/30)*g/16.  Is l <= t? 
True
Let b = 66 + -10.  Suppose -b = 44*h - 52*h.  Suppose -h + 5 = p. Are -2/13 and p nonequal? 
True
Let m = 36.2 - -50.8.  Let b = -240 + 155.  Let f = b + m. Is f < -1/5? 
False
Let m be ((-26)/117)/(9/15 - 74/90).  Which is greater: m or -4/4561? 
m
Let g be -1*(19 - 16) + 101 + 0.  Let j be -4 - 0 - 21/(-3).  Suppose -3*r = -z - 292, -j*r + 4*z = -2*r - 90.  Is r at least g? 
True
Let p be 5*(-12)/(-50)*(-5)/2.  Let n be (p/12)/(-6*1/(-104)).  Is n > -5? 
True
Let d(r) be the second derivative of -r**5/20 - 7*r**4/12 + 2*r**3/3 + 4*r**2 + 13*r.  Let b be d(-7).  Let q be b/16*6/15.  Is 0 at most q? 
False
Let z = 409 + -407.  Let r be z/(28/10)*(-162)/2160.  Which is bigger: -1 or r? 
r
Let k(h) = 0*h**2 - 30 - 2*h + 0*h**2 - 2*h**2.  Let c(t) = -2*t**3 + 9*t**2 + 6*t - 40.  Let s be c(4).  Let b be k(s).  Is -30 at most as big as b? 
True
Suppose 7*x = 28 - 0.  Suppose -j - x*l = 9 + 16, -l = 1.  Let d be j/(-28) + (-5)/(-4) - 6.  Which is bigger: d or -7? 
d
Let p = 278 + -272.  Let j be (1 - -3)/(p/267).  Which is smaller: 177 or j? 
177
Let y = 12.897 + -12.397.  Do 0.424 and y have different values? 
True
Let x be 28/((-49)/(-7)) + 35/(28/(-4)).  Which is greater: 2/66237 or x? 
2/66237
Let r = -6657 + 6658.  Suppose -4265 = -5*c - 875.  Let w = c - 31864/47.  Is w smaller than r? 
True
Let b = 2 - 0.  Let v = -1397 - -1403.  Let f be b + ((-186)/11)/v.  Which is bigger: 0 or f? 
0
Let o = 39 - 72.  Suppose 11*x + 2*y = 8*x - 56, 0 = 4*x + 2*y + 76.  Let b = -54 - x. Is b at least as big as o? 
False
Let x = 133 - 139.  Let s = -73 - -72.95.  Is x equal to s? 
False
Let x = 265/3 + -3137/33.  Let u = -27 - -27.  Which is smaller: x or u? 
x
Let v be (-6)/(-2 + 185/90).  Let d = v - -130.  Suppose 2*i - d = 4*x, -14*x = -13*x + 3.  Is 5 greater than or equal to i? 
True
Let v be (-9830)/80 - 2/16.  Let t = v - 123.  Let f be (1 - t/(-210))*(-40)/(-3).  Which is smaller: -2 or f? 
f
Let u = 176.11 - 1010.11.  Which is greater: 3 or u? 
3
Let o = 1939.18 - 1939.  Let j = -4 - -4.32.  Let p = j + o. Are p and -6 nonequal? 
True
Let r be (-85 + 3 + -5)*6.  Is -521 smaller than r? 
False
Let x(n) = -3 - n - 41*n**3 + 40*n**3 - 5*n**2 - 1.  Let y be x(-5).  Let v be 1 - (-6)/(-55) - y. Which is smaller: v or -1? 
-1
Suppose 2122*o - 1700 = 2139*o.  Which is smaller: o or -397/4? 
o
Suppose -q - 432 + 446 = 0.  Let r be (-5)/(-35) - 7/q. Which is smaller: r or 1? 
r
Let v = -3974 - -3591.  Which is smaller: 3 or v? 
v
Let m(o) = 8*o**3 - 21*o**3 + 7*o + 13*o**2 - 4*o**2 - 16.  Let c(k) = 3*k**3 - 2*k**2 - 2*k + 4.  Let d(n) = 9*c(n) + 2*m(n).  Let u be d(1).  Is 4/9 < u? 
True
Let n = 1337 + -8041/6.  Suppose 8 = 2*v + 4*s, 2*s + 0 + 2 = -4*v.  Which is smaller: v or n? 
n
Suppose -915 - 1501 = -16*w.  Which is smaller: w or 152? 
w
Suppose -o - 17916 = -3*y - 3933, 3*y = -5*o + 13965.  Which is greater: 4661 or y? 
4661
Let f = -818.959 - -819.2.  Is 1/21 less than or equal to f? 
True
Let b(y) = 71*y**2 + 2402*y - 4809.  Let d be b(2).  Let i(a) = -a**3 - a**2 + 2*a.  Let w be i(-2).  Are d and w nonequal? 
True
Let k(w) = -8*w - 1.  Let p be k(1).  Let a(j) be the first derivative of -2*j**3/3 - 9*j**2 - 7.  Let z be a(p).  Which is smaller: z or 4? 
z
Suppose -15*c = -32*c + 68.  Let d be (c - 1467/(-18))*2/3.  Let b(i) = i**3 - i**2 + 3*i - 2.  Let j be b(4).  Do d and j have different values? 
True
Let t = -15.7 + 15.73.  Let w = -110 - -109.984.  Is w < t? 
True
Suppose h = 6*h - 50.  Suppose 5*s = h*s + 20.  Let r be 3 + -1*(0 - -1) - 0.  Is r at most as big as s? 
False
Let q = 2599 - 2600.  Is q at least as big as -10/661? 
False
Let a be (12/(-5) - -3)*36670/(-15).  Let c = 1460 + a. Is -6 less than c? 
False
Suppose 1152 = -38*d - 26*d.  Let j(h) = 1 + h - 5*h**2 - 3 - 3*h.  Let i be j(-2).  Is d less than i? 
False
Suppose 0 = -4*v + 5*q + 11, v + 6 = 5*q + 5.  Let a = 9 + -6.  Suppose -a*r - 80 = -v*j, 0 = -j - 0*j - 4*r + 20.  Which is smaller: j or 21? 
j
Suppose 0 = -14*a - 64*a - 161 - 1243.  Which is smaller: -4/17 or a? 
a
Suppose -5*l = -8*l.  Suppose -5*c = 25, l = -5*a - c + 174 + 1.  Suppose 5*y - 34 - a = 0.  Which is greater: 16 or y? 
16
Let q be (-1)/3 - (-41)/69.  Let r(p) = -159*p - 9223.  Let j be r(-58).  Which is greater: q or j? 
q
Let b = -4459 + 4461.  Which is smaller: b or -397? 
-397
Let p be 93/62*(-6 - -2).  Let h be (-30)/(p*2/8).  Which is greater: h or 7? 
h
Let m be (-455)/(-93) - (-280)/(-105).  Are m and 1 equal? 
False
Let z = -81 - -86.  Let f be (-2470)/500 + z/1.  Let u = 83 - 83.  Is u smaller than f? 
True
Let t = 197 + -14256.  Which is greater: -14060 or t? 
t
Let q(c) = 10*c + 89.  Let l be 