**2 + 2*v + 4. Let q be r(-4). Suppose -a = -q*a + 66. Let u be -1*8/a*6/(-4). Is u equal to 30?
False
Suppose 25*i - 101 - 99 = 0. Let n(q) = 4 + 5*q + 4*q - 6*q**2 + 4*q**2 - 5*q. Let g be n(i). Which is smaller: g or -93?
-93
Suppose 3*b = -3*y - 114, 0*b = b - 5*y + 62. Let a = b - -42. Let f = 45/4 + -707/60. Is a < f?
False
Let o(n) = 66*n**2 - 80*n + 14. Let s be o(7). Is 2687 equal to s?
False
Let p = 25262 + -25130. Which is greater: 106 or p?
p
Let v be 2*4 + ((-19331)/21 - (-15)/9). Which is smaller: -910 or v?
v
Suppose -180 = 4*h - 16. Let m = h - -42. Let b be 3/(-15)*m - 32/40. Is -2/153 smaller than b?
False
Let d(t) be the third derivative of t**4/8 + 2*t**3 + 2*t**2. Suppose -54 = 17*w + 14. Let q be d(w). Which is bigger: q or -4/11?
q
Let u be (755/(-13590))/((-85)/(-60)). Let z(t) = -t + 5. Let m be z(0). Suppose -m*q = -0*q - 5. Which is greater: u or q?
q
Let b be ((-8)/(-36))/(92/18 + -5). Let k be (-1)/b*19812/78. Is k bigger than -127?
False
Let w = 414/7 - 1256/21. Which is greater: 5/196 or w?
5/196
Let k be 1922/(4 - (7 - 2)). Which is bigger: -1920 or k?
-1920
Let h = 8686 - 8676. Which is greater: 2 or h?
h
Suppose 42*i + 48 = 36*i. Let z be (364/42)/(i/(-36)). Are 39 and z equal?
True
Let r = -459 - -678. Suppose 8*v - 5*y - r = 4*v, 4*v = 2*y + 234. Is 61 greater than or equal to v?
True
Let n be 3/27*12 + 482/(-24). Let l = 73/4 + n. Which is smaller: l or 0?
l
Let l = 18557 + -18382. Does 213 = l?
False
Let r be 0*(-3)/(-27) + -10 + -1. Let g(c) = -c**3 - 11*c**2 + 2*c + 37. Let k be g(r). Suppose -16 = 2*j - 46. Do j and k have the same value?
True
Let y = 2326.53 - -15.47. Is 2 > y?
False
Let q = 1 + -2. Let r(z) = 23449*z - 46892. Let x be r(2). Which is greater: x or q?
x
Let t = -0.01443 - -6.01443. Which is smaller: -2/25 or t?
-2/25
Let x = -20 + 115. Suppose -g - 296 = -3*b, -b - 2*g = -0*b - 87. Is x != b?
True
Let o = 1.5647 + 67.8353. Does 1/3 = o?
False
Let y = 1320 - 1319. Are y and -1/5473 nonequal?
True
Let p = -0.02 - 0.01. Let u = 0.4195 - 1.4195. Is p smaller than u?
False
Suppose 6*z = 4*z + 18. Let l be ((-222)/4)/(300 + -306). Which is smaller: z or l?
z
Let w = 2/833 + 795/15827. Is 1/94 at most w?
True
Let c be (-6)/(-42)*14/2. Let q(x) = -10*x + 12. Let u be q(c). Suppose -3*i = -h - 13 - 5, -h = 2*i - 12. Which is smaller: u or i?
u
Let d be (-5)/21*3/1. Suppose 11*m = 15*m - 56. Let i be m/(-10) - 6/(-15). Which is bigger: d or i?
d
Let h be (-6)/(-10) + (-371)/35. Let f be 2/h - 86/(-5). Suppose 2*a - 7 = -3*o - f, 4 = 2*a - 4*o. Is a at least as big as -7/8?
False
Let i be ((-176)/(-484))/((-2)/(-17)). Are i and 3 non-equal?
True
Let w(j) = -77*j + 1. Let a be w(-1). Suppose x - 4*y = 79, -y + 79 = x + 2*y. Which is smaller: x or a?
a
Let x be 10/20*4/(-10)*131. Let w = x + 28. Which is smaller: 1 or w?
1
Suppose 42*z + 2177 = 5579. Let l be 27/z - 500/(-6). Which is greater: 84 or l?
84
Let n be 37/(-4) + 3*7/(-28). Let r be -3 + (5 - (-12)/n). Let t = 0.1 - 0. Is r >= t?
True
Let k(i) = -i**2 + i - 220. Let r be k(0). Let b = r - -211. Is b bigger than -9?
False
Let g(z) = z**2 + 7*z - 24. Let a(p) = 2*p**2 + 14*p - 49. Suppose 2*l + 8 + 2 = 0. Let n(d) = l*g(d) + 2*a(d). Let x be n(-14). Is x greater than -77?
True
Suppose 0 = -7*i + 3*i. Let x = -9 - i. Let l be (-3)/x + (-20)/(-45). Which is smaller: 1 or l?
l
Let m = 7003515/844 + -8298. Is m < -1?
False
Suppose 15*w - 1435 = -40. Let t = w - 112. Which is bigger: -17 or t?
-17
Let p = -82.48 + 82.18. Is p bigger than -620?
True
Let c = 2861 + -2944. Let p(d) = 82*d + 2. Let j be p(-1). Are j and c non-equal?
True
Let u(y) = -6*y**3 + 29*y**2 - 94*y + 14. Let q be u(3). Is q <= -166?
True
Let p be (-4)/(-1060)*-2005 + (6 - -1). Is 0 smaller than p?
False
Let g = 1250 + -3718/3. Is g equal to -1.2?
False
Suppose 3*v + 21*c = 17*c + 3858, -4*v + 5*c + 5082 = 0. Which is smaller: 1277 or v?
1277
Suppose 29*y = -520*y - 22*y + 22269. Suppose -4*c = 4*t - 212, -2*t - 2*c + 85 = -7*c. Suppose 0 = -3*f + 64 + t. Which is smaller: y or f?
f
Suppose 9*u = 4*u - 825. Let g = 150 + u. Let c = -6 + -9. Is c > g?
False
Let g(n) = -5*n + 50. Let q(b) = -1. Let s(h) = 2*g(h) + 70*q(h). Let r be s(3). Which is bigger: -2/301 or r?
r
Suppose -o = 37*o. Which is smaller: 2/285 or o?
o
Suppose 833 = 4*s - 11*s. Let g be (-84)/s*1/(-15). Is 1 < g?
False
Let k(f) = 2*f**2 - 123*f + 32. Let w be k(61). Which is smaller: w or -28?
w
Let i(w) = -w**2 - 6*w - 3. Suppose -35 = 6*z - z. Let a be i(z). Let t be (-26)/a - (4 + -5)*-3. Is -0.2 <= t?
False
Let w = 3 + -7. Let g(j) be the third derivative of 3*j**4/8 - 3*j**3/2 + 104*j**2. Let b be g(w). Is -45 at most as big as b?
True
Let z be -3 + (0 + 3)*2. Let b be ((-9)/z)/(-3)*0. Let v = -14/11 + 0. Is b > v?
True
Let j be ((-3)/36)/(1/10). Suppose 2*l + 127 = r, -2*l - 205 + 79 = -2*r. Let v be 16/l*(1 - 0). Is v <= j?
False
Let d(b) = 4*b**2 - 113*b - 62. Let a be d(29). Let y be a/18 + 24/(-16). Is y at least 0.3?
False
Let c = 14.9 + -9. Let x = -16.2 + c. Let w = 8.3 + x. Which is smaller: w or -52?
-52
Suppose 0 = -3*c - 4 + 10. Suppose 2*n = -2*n + 96. Suppose 3*b = -3*h + 24, -4*b + n = -2*h + 4*h. Is b at most c?
False
Suppose 0 = -a + 129 + 21. Let l be (92/36 + -3)*681/2. Let n = l + a. Do -2/5 and n have the same value?
False
Suppose -b - i + 1 + 4 = 0, 0 = 2*b + 5*i + 5. Let f be (1/1)/(2/b). Is 23 not equal to f?
True
Let n = -29446.161 + 29445. Is -0.1 greater than or equal to n?
True
Let x = 1034.2 - 1898.1. Let w = 971 + x. Let a = w + -107. Which is bigger: -9/5 or a?
a
Let c = -0.509 + -9.491. Let y = -51 - -59. Which is greater: c or y?
y
Suppose -31117 = -12*z + 21735 - 11956. Is z less than 3407?
False
Suppose 0 = 4*g + 5*k + 122 - 138, -3*g + 5 = 2*k. Is -70.94 at most g?
True
Suppose 39*j = -38*j - 100 + 23. Which is greater: -70 or j?
j
Suppose 73599 = 2*j - 27*j - 10801. Does j = -3378?
False
Let r = -81.01 + 164.01. Which is bigger: 21 or r?
r
Let c be ((-3)/(-1))/((-1)/(-15)*9). Let f(i) = -6*i + 40. Let q be f(c). Which is smaller: q or 9?
9
Suppose -3*y - 158 = -152. Let h be (2/y + (-35)/(-28))/146. Which is bigger: 0 or h?
h
Suppose -636*b = -639*b - 4*i - 4603, 4*b - 3*i + 6179 = 0. Are b and -1540 unequal?
True
Suppose -15*y + 19*y + 1011 = -i, 4*y + 2*i + 1014 = 0. Which is smaller: y or -2270/9?
-2270/9
Let l be 10/(-28)*174/(-177915). Is l equal to -1?
False
Suppose -y - 6154 = -5*p, 3*y - 8*y + 2*p = 30724. Is y < -6143?
True
Let b = 1699/10 - 375499/2210. Which is greater: -4/3 or b?
b
Let b = 687 - 680. Let x(d) = d**2 + 3. Let k be x(0). Suppose 4*q = k*a - 31, 2*a + 3*q = -5 + 3. Is b at least as big as a?
True
Let k(g) = -1. Let c(j) = -10*j + 9 + 14*j - 5*j. Let m(h) = -c(h) + 2*k(h). Let b be m(14). Are 2 and b equal?
False
Let n = 11 - 11.43. Let h = n - -1.13. Let b = -0.032 - -0.002. Which is smaller: b or h?
b
Let x(r) = r**3 + 10*r**2 + 11*r + 18. Let k be x(-9). Suppose -2*y = 3*y - v - 17, 0 = -5*y + 3*v + 21. Let f be (-2)/y*(-7)/63. Is k != f?
True
Let w = 19/6 + -7/2. Let a = 10.6 + -10. Let t = a + 6.4. Is w smaller than t?
True
Suppose -3 = -31*h + 30*h. Let o = -636.66 + 645. Let g = o - 0.34. Which is bigger: g or h?
g
Suppose 5*q = -4*k + 164, -k - 6 = 4*q - 58. Do k and 20 have the same value?
False
Let d be (-58)/(-104) + 920/(-2990). Is 6459 < d?
False
Let j = -44 - -96. Suppose d - 70*c = -68*c, -4*d = -c. Let l be (55 + -6 - -2)/(1 + d). Which is smaller: l or j?
l
Suppose 523*h = 436*h + 16 + 71. Let r be 2/((-6)/(-2) - -880). Are h and r unequal?
True
Let o = 183 - 183.28. Let r = o + 0.58. Is r at most 47?
True
Let g be 70677/14136 - (0 + -1)*(70 - 75). Is g not equal to -1?
True
Suppose 6*j - 5 = j + 5*g, 0 = -3*g + 6. Let p be -3 - (j + -2 + -1 + -3). Which is smaller: p or 9/13?
p
Let j = -959 - -970. Which is smaller: -49 or j?
-49
Let i = 78 - 72. Let s be 2/i*30/5. Which is smaller: s or 14/9?
14/9
Let a(n) = -2236*n - 1138. Let z be a(3). Are z and -7846 nonequal?
False
Let a(w) = 8*w - 1. Let s be a(-1). Suppose r - 84 = -3*j, 5*r = -2*j + 597 - 164. Let v be (-290)/r*3*1. Does v = s?
False
Let g = -566 + 567. Suppose -2*j = 10, 0*j + g = -2*y + j. Is 8 less than or equal to y?
False
Let o = -73.9547 - 0.0453. Let a = o 