9*s**2 + 11*s + 8. Suppose -5*v + 3*k - 31 = 0, -3*v + 3*k = -2*v - 1. Let c be i(v). Let b be (4/c)/1 + -4. Which is smaller: -3 or b?
b
Let c = -63 - -75. Suppose 0 = -5*i - 3 - c. Let g be (i - -4) + (-33)/(-39). Is 3 smaller than g?
False
Let l be (-16)/10*75/30. Let p be l/10 - (-4)/60*6. Let k be (-2)/75*1/1. Which is bigger: k or p?
p
Suppose 0 = 37*p - 31*p - 12. Suppose -2*g = -p*b + 2 - 10, 4*b + 16 = 2*g. Is g less than or equal to 20/19?
True
Suppose -3*k + 2*o = 0, -5*k - 4*o = -0*o + 22. Suppose -27*f + 33 = 60. Let z be k - (f + -6 + 4). Is z equal to 6/13?
False
Let p(r) = -2*r**3 - 30*r**2 + 6*r - 274. Let k be p(-21). Is 4892 <= k?
True
Suppose -x = 2*x + 2331. Let w = x + 72259/93. Let l(r) = 2*r**3 - 64*r**2 - 55*r - 364. Let j be l(33). Which is greater: j or w?
w
Let p be 11/(1573/(-22)) - 44232/(-39). Are p and 1134 equal?
True
Let g(a) = -59*a**2 + 14*a - 8. Let j be g(8). Let h = 194624/53 + j. Is 1 greater than or equal to h?
True
Let b be (264/(-15))/(12/(-60)). Which is bigger: b or 86?
b
Let o(a) = 10*a**2 + a + 1. Let n be o(-1). Let v(y) = 2*y**2 + 4*y - 145. Let l be v(8). Which is bigger: n or l?
l
Let v = -45 + 41. Let z(b) = -b**3 - 4*b**2 - b + 1. Let m be z(v). Let x be ((-8)/(-12))/(m/(15/52)). Which is greater: x or 0?
x
Let d = 215 - 205. Let n be (-7)/(84/d)*(10 + -1). Which is smaller: -9 or n?
-9
Let b = -151 - -151. Suppose -4*w + 4 + 44 = b. Let f = -614/3 - -217. Is f >= w?
True
Suppose g + 4*g = 0. Let t = -13784 + 510013/37. Which is greater: g or t?
t
Let h(v) = -3*v - 46. Let i be h(-17). Suppose -7*w + 4*c - 12 = -i*w, -3*w - c + 3 = 0. Let g be ((-6)/(-33) - w)/(-1). Which is greater: 0 or g?
0
Let f be (-90)/3*3/9. Let v be (f + -2 + 7)*4. Are v and -19 equal?
False
Let j be -17 + (-67711)/85 - (4 + 18/(-5)). Which is smaller: j or -809?
j
Let w = -12 + -48. Let x = w + 66. Let d = x - 8. Which is smaller: d or -4/9?
d
Let n = -827297/18226 + 9/1402. Which is greater: -44 or n?
-44
Let c be (-120)/140*(-77)/(-4). Let g(a) = 0*a**2 - 5*a - a**2 + 17 - 29. Let x be g(-6). Is x at least c?
False
Let m = 752 - 1229. Let f = -4773/10 - m. Are f and 2/15 nonequal?
True
Let y = -1.1224 - -29.1224. Which is bigger: y or -1/2?
y
Suppose -52*n + 45*n = 133. Let z be 3/21 - n/(-19). Let q be (-1 - -2)*-1 + 1. Which is bigger: q or z?
q
Suppose -22 = -5*n + 4*z, -2*n + 0*z + 10 = -2*z. Let r = 122 + -123. Let b be ((-1)/(r/4) - n)/1. Which is greater: 0 or b?
b
Suppose 120 = 3*g - 3*s, 11*g + 3*s = 10*g + 60. Which is smaller: 76 or g?
g
Let a be (-14)/(19 + (-293410)/15444). Is a at most as big as -8317?
False
Let w be 6 - 2/(2 + 0). Let t = w + -4. Let q = 2040 + -8157/4. Which is smaller: q or t?
q
Let a be 27/108*87*9/(-39). Which is bigger: -6 or a?
a
Let w be 144/344385*478 - 2*2/20. Which is bigger: w or 0?
0
Suppose 5*k = -5, -k + 1792 = 5*c + 2*k. Suppose b + c = r, 4*r - b - 1451 = -0*r. Let u be r/18 - 12/54. Is 21 <= u?
False
Suppose 236980 = -150*x - 240470. Are -3181 and x unequal?
True
Suppose -85*f + 52*f + 46*f = 4511. Do f and 349 have different values?
True
Let o = 3 - 2. Let m = -128 - -130. Let g be m/(-7) + (-2793)/(-3773). Do g and o have the same value?
False
Let w = -5.3 - -5.92. Let m = w - 0.62. Which is bigger: 379 or m?
379
Let s(b) = 3*b**2 + 23*b + 19. Let f be s(-19). Let a be -4 + 0 + 2688/f. Which is smaller: 0 or a?
0
Let q be ((1 - 0) + 3)*1. Let r be (18/(-12))/(2/q). Let d be ((-4)/(-132))/(57/18 + r). Is -1 at most d?
True
Let h be 69/(10212/8) - 32318/(-370). Is 86 != h?
True
Let s = 1.113 - 696.113. Let r = s + 697. Which is greater: -160 or r?
r
Let r(s) = -s**2 + 7*s - 9. Let i be r(4). Let q be ((-36)/10)/(6/(-165)). Let y be (q/6)/(i/6). Which is smaller: y or 0?
0
Suppose 42*o = 51*o. Let q be (-6)/(6/(-37)) + o. Which is greater: q or 35?
q
Let b(d) = -d**2 - 33*d + 38. Let k = 426 + -451. Let v be b(k). Which is smaller: v or 237?
237
Let p = -151812/13 + 11668. Which is greater: -9 or p?
-9
Let i be -3 - 1*(-3)/((-6)/(-14)). Suppose -i*y - 32 = -212. Let s be y/(-2)*(-84)/(-441). Which is greater: s or -3?
-3
Let n = 30011 - 30003. Let d be ((0 - -2) + -2)/(-1). Suppose 4*m - 17 - 11 = d. Which is bigger: m or n?
n
Suppose -5*w - 2*i - 22 = -w, 0 = i + 1. Let j be w/(-62)*80/(-40). Which is bigger: j or 1?
1
Suppose -41*p + 2072 = -43*p. Let w = 1000 + p. Which is bigger: w or -20?
-20
Let z(d) = -3*d + 11. Let h(x) = 9*x - 33. Let g(q) = -2*h(q) - 7*z(q). Let r(t) = -6*t + 6. Let p be r(1). Let k be g(p). Which is smaller: k or -12?
-12
Let l = -278 - -83. Let v = 383 + l. Is 189 at most v?
False
Let h(k) = -6*k**2 + 3*k**2 + 4*k + 24 + k**3 - 8*k - 23. Let m be h(4). Is m bigger than -4/173?
True
Let j be ((-40)/(-12))/((-2)/(-24)). Suppose -j*i = -70*i + 480. Is 8 at most i?
True
Let b(p) = 85*p**3 + 2*p**2 + p - 1. Let u be b(1). Let h be (u/6)/(2/(-4)). Suppose -s - 27 = -2*f, -3*s + 0*f - 81 = f. Is s != h?
True
Let w = -125 + 122. Let c be w/(-6)*3/(-6). Which is greater: 6 or c?
6
Let a be (1 + 1)/(24/12). Let t be 6*a/(6/(-99)). Let c be t/3*1/(-3). Which is smaller: 7 or c?
7
Let j(u) = -u - 20. Let d be j(-24). Suppose -m = -d*m - 3. Is m at least as big as -1/13?
False
Let s = -115.9 + 153. Let z = -37 + s. Let x = 127 - 88. Is x bigger than z?
True
Suppose -5*p - 5*r = -1535, -2*p - r = 3*p - 1539. Suppose 10 = 3*z + 2*z, 0 = -3*o + 5*z + p. Let x be (12/o*(-4)/(-12))/2. Is x less than or equal to -2/5?
False
Let a(q) = -13*q - 378. Let d be a(-29). Let c be (-1)/(-5) + (-26)/90. Is d smaller than c?
True
Let p = 0.389 + -0.47. Let m = -5.081 - p. Let r = -7 - m. Is -5 less than or equal to r?
True
Let x(t) = -7 - 7*t - 6*t**2 - 7*t**3 + t**3 - t**3 + 6*t**3. Let z be x(-6). Let o be (-3)/1*(z/15 + -3). Which is greater: o or 5/9?
o
Let v = -10603 - -9652. Which is smaller: -957 or v?
-957
Let s be (4 - 1662/414)/(18/2). Which is smaller: s or -0.1?
-0.1
Let s be (9/(-2))/(-1 + (-15)/(-10)). Let n be (0 - s)*(-15)/(270/(-12)). Which is smaller: n or 58/9?
n
Let o be (-15)/9 + (-94368)/144. Which is smaller: -658 or o?
-658
Let t be ((-118)/(-4) - -1)*2. Let v be (-6)/(7*(-21)/(-1666)) + 6. Let n = v + t. Are 2/9 and n nonequal?
True
Let l(i) = i**3 + 18*i**2 + 18*i + 23. Let c be l(-17). Suppose c*d - 10*d = 204. Let f = d - -22. Is -27 <= f?
False
Let c(b) = 32*b - 88. Let g be c(2). Is -17 equal to g?
False
Let z = 359 - 350. Let b be ((378/24)/z)/((-4)/16). Which is smaller: b or -6?
b
Let x = -2/4739 - -9736/611331. Is 0.08 greater than x?
True
Let p = -2771 - -2782. Is 62 equal to p?
False
Suppose -v = -4*o - 4 + 18, -2*o = -v - 4. Let f be (-5)/((v/54)/((-21)/9)). Is -1 not equal to f?
True
Let o = -4 - -9. Suppose 53 + 61 = -o*x + 4*l, -5*l = 20. Which is bigger: -27 or x?
x
Suppose 85*v - 15 = 84*v. Suppose -v + 0 = a. Which is bigger: a or -14?
-14
Let o be (-3 - (51/12 - 6))*36*-1. Which is smaller: o or 7?
7
Suppose 14*y + 12443 = 9643. Is y equal to -604/3?
False
Let g = 178 - 100. Let p = g - 145. Let o be (-9)/6*(-2)/(-3). Is o less than or equal to p?
False
Let j(k) = -31*k + 619. Let h be j(20). Which is smaller: 2/4395 or h?
h
Let m = 0.056 + 0.074. Let q = -2.87 - m. Let n = -421/4 - -106. Is q != n?
True
Let m be (81/6)/(4 - (-3836)/(-80)). Is -1 at most m?
True
Let a(y) = -y - 45. Let j(n) = -n - 7. Let l be j(-10). Suppose s = -l*h - 82, 0 = 4*h - 3*s - s + 120. Let f be a(h). Is -17 != f?
False
Let c be (-3)/(7/((-224)/(-6))). Let i be 10/(-45) - c/18*34. Which is greater: 92/3 or i?
92/3
Let s(y) = -y**3 + 8*y**2 - 9*y - 11. Let u be (-1)/(-1) - (-12 + 7). Let c be s(u). Suppose -c*l - 10 = -12*l. Which is greater: 5 or l?
5
Let h = 0.06614 + -7.06614. Are -113 and h equal?
False
Let g(v) = -15*v - 168. Let f be g(-11). Let r = -6 + 8. Let u be 1/(r/32) + f/(-3). Which is bigger: 20 or u?
20
Let l = 2961 - 3004. Is -44 at least l?
False
Let a(h) = -2*h**2 + 42*h - 14. Let q be a(16). Let n = q - 230. Is n not equal to -85?
True
Let j = -58851 + 2118637/36. Let k(s) = s**3 + 3*s**2 - 4*s + 1. Let c be k(-4). Is j < c?
True
Let q be (1309/(-374))/(((-2)/(-2))/((-3)/21)). Which is bigger: 105.58 or q?
105.58
Suppose 3*m + p = 2*m + 16, 5*p = -2*m + 20. Suppose 3*x - 27 = 3*r, 4*r + 0*r = -m. Suppose 158 = 3*l + n, -21