. Let t = 3.651 + -0.651. Which is smaller: t or o?
o
Let l(y) = -6*y**2 - 67*y + 63. Let k be l(-12). Which is smaller: k or 130/31?
k
Let o be (67775/(-525) - -10) + 4/42. Let h be (-1083)/9 - (-1)/3. Let p = h - o. Is 33 less than p?
False
Let x = -21 + 37. Let b(v) = -v**3 - v**2 + v + 4. Let u be b(0). Suppose 2*q - 7 = 3*z, 7*q + x = 8*q - u*z. Which is greater: -5 or q?
q
Let f be ((-6634)/(-7))/(4/(-56)). Which is smaller: f or -13270?
-13270
Let n(d) = -d + 18. Let r be n(22). Let k be r/8 - 0 - 25/10. Let y be 233/58 + k + -1. Is 0 equal to y?
False
Let z = 63 - 53. Suppose -2*d + 5*x = -2, 3*x = -d - 0*x - z. Do d and 5 have the same value?
False
Let r be (-2 + 1)*(-8925)/21. Suppose r = -8*m - 239. Which is greater: -82 or m?
-82
Let a(x) = x**2 - 21*x + 97. Let c be a(12). Let s = -1673/5 + 27631/85. Is c less than s?
True
Let w = 14 - 11. Let n be (24/450*5)/((-2)/w). Suppose 4*l + 1 + 2 = p, -3*p + 9 = -5*l. Is l at most as big as n?
False
Let q be 3/(-18)*-2*6. Let u be 58827/(-33)*(q - 1). Let k = 1784 + u. Is 0 < k?
True
Suppose 357*i - 362*i = 10. Let r(a) = -33*a**3 - 6*a**2 - 5*a + 2. Let t be r(i). Do t and 252 have the same value?
True
Let i(f) = -39*f - 170. Let d be i(-27). Which is smaller: d or 879?
879
Suppose -296*s + 293*s - 1079 = 4*b, 4*b - 4*s = -1100. Is -280 greater than or equal to b?
False
Let c be 6*795/(-10080) + 6/21. Let y(g) = 2*g**2 + 2*g - 2. Let w be y(2). Suppose 12 = 4*d, -2*d - 3*d = 5*i - w. Are c and i non-equal?
True
Let q be (56520/138)/(-12) + 7. Which is greater: -27 or q?
-27
Let o = 191 - -46. Let s = -239 + o. Is s greater than or equal to -35?
True
Let d be (315/2)/(45/60). Suppose d = -14*m - 28. Let s(v) = v - 8. Let w be s(8). Which is greater: w or m?
w
Let x = -16801 + 16796. Let z = 0.003 + 20.997. Which is smaller: x or z?
x
Let v = -16893/2975 - -142/25. Is v bigger than 0?
True
Let s = -0.377 + 0.117. Which is smaller: -11/13 or s?
-11/13
Let q = 39 - 49. Is q at most 21/10?
True
Suppose 0 = 4*g + 12, -5*m - 352 = 46*g - 42*g. Which is bigger: m or -69?
m
Let r = 55 + -118. Let a = 62.0323 - -0.0677. Let x = a + r. Which is greater: 4 or x?
4
Let x(q) = 167*q - 63. Let y be x(4). Let l be -1 + 3 + 11/(y/(-90)). Is l less than -1?
False
Let m = 4371.36 - 91.36. Which is bigger: 0.1 or m?
m
Let k = -56 - -55.13. Let z = -7.13 + k. Which is greater: z or 1?
1
Let t be (-42)/64 - 8/(-16). Let f = t + 1229/288. Let m = f - 313/63. Is m bigger than 0?
False
Let c = -297.96 + 297. Let q = 0.96 + c. Is q > 0.1?
False
Let i be ((-678)/(-5))/((-12)/(-15) + -1). Let a = -1008 - i. Let p be (2/(-6))/(10/a). Is 11 smaller than p?
False
Let p be ((-1)/3)/(-7 + 256/36). Let u be (p - -2)*1*225/(-5). Are 45 and u nonequal?
False
Let b be 4/(-10) + ((-14124)/(-385) - 15). Which is smaller: b or 22?
b
Let c = -797 + 750. Let d be (c/(-188))/((-1)/284). Which is bigger: -65 or d?
-65
Let z be -4 - (3 + 1 - -30). Let d = -24 - z. Let i(b) = b**3 - 15*b**2 + 13*b + 13. Let p be i(d). Which is bigger: -2/11 or p?
-2/11
Suppose -3*v - 3*z = -18, 0*v = 5*v - 2*z - 23. Suppose -v*p = -9*p + 16. Suppose -4*o + 2*h - 3 = 5, 4*o - h = -p. Which is bigger: -7/6 or o?
o
Let u(s) = s - 1. Let l(j) = j**2 + 7*j - 5. Let w be l(-8). Let h be u(w). Suppose -3*r = -r - h. Which is greater: 1/10 or r?
r
Let h be ((-65)/(-26))/(1/(-4)). Let o(r) = r + 15. Let k be o(h). Let p(x) = 2*x**3 - 12*x**2 + 10*x - 1. Let a be p(k). Which is smaller: -1/2 or a?
a
Suppose 95*w + 28602 = 5517. Is -241 smaller than w?
False
Let n = -35277/485 + 52/97. Is -72 at most n?
False
Let x be 3 - (5492/(-10) - 0) - 72/18. Which is smaller: x or 547?
547
Let u be ((-3288)/10 - 2)/((-4644)/135 + 34). Is u at least 821?
True
Let j = 306316 - 3359834/11. Which is smaller: 877 or j?
j
Suppose 5*g + 80 = g. Let m = -320 + 405. Suppose 0*q - m = 4*q - 3*n, -3*q + 4*n = 69. Is g less than q?
True
Let k = -110/9 - 35/18. Let b = 2453/3 - 833. Let r = k - b. Which is smaller: r or 0?
0
Let m = 761 + -762.4. Let v(p) = -p**3 - 5*p**2 - 6*p - 5. Let s be v(-4). Suppose x = -s*i + 10, -3*x = -x + 2*i - 8. Which is greater: m or x?
x
Let n be 2/(16/(-22)) - (-18)/(-72). Let y be n/6 - (-9)/18. Which is smaller: y or -1/346?
-1/346
Let p = -1746 + 1786. Let x = 188 + -228.1. Let l = p + x. Which is smaller: l or -40?
-40
Let u = 0.02 + 0.58. Let z = -899076/11 - -81734. Is z <= u?
True
Suppose 0 = 4*v - 2*r + 6, -2*v - 4*r = 3*v - 12. Let x be v - 3 - (-91)/21. Let m be 2 + (-5)/7 + -1. Is m greater than or equal to x?
False
Suppose -5*g = 2*z - 1110, -5*g + 968 = -2*z - 122. Suppose 180*t + g = 170*t. Let f(b) = 23*b**3 - 2*b**2 + 1. Let q be f(-1). Which is bigger: q or t?
t
Let f be ((-7)/((-105)/(-2028)))/2. Which is greater: -67 or f?
-67
Let f(z) = -3*z**3 - z**2 + 4*z + 4. Let t be f(-2). Suppose -c + t = 3*c. Suppose -8*l - c*l = -228. Which is bigger: l or 17?
l
Let g be (-1)/(-3) - (-8)/3. Let h(n) = -2*n**2 + 12*n + 13. Let m be h(7). Let l be 2/((g/m)/((-3)/2)). Is 1 < l?
False
Suppose 0 = -5*o + 12*o - 602. Suppose 87*f - o*f - 9 = 0. Let h be (5 + 26/(-3))*f. Which is smaller: -32 or h?
h
Let i = -0.049 + 35.049. Let c = -1642 + 1669. Let m = c - i. Is -1 smaller than m?
False
Let o be (-486)/324*(-1)/(-6). Which is smaller: o or 6206?
o
Let r = 39 + -56. Suppose -5*c - 2*m + 12 = -22, c = 3*m. Let l be (2 - 15/c)*(37 + -5). Are r and l nonequal?
True
Let v = -0.108 - -0.148. Is -15/61 greater than v?
False
Suppose -30 = -2*k - 4*y, 24 + 11 = k - 3*y. Let l be (-3)/((-18)/(-4))*(k + -146). Is l at most 82?
True
Suppose 20*o - 2088 = -4*o. Let d = o + 201. Is 289 != d?
True
Let u = -19.3828 + 3.8528. Which is smaller: u or 1/3?
u
Let c = -0.46 + 18.46. Let b = -34 + c. Let j be (-372)/(-620) + (-3)/((-90)/(-8)). Is j not equal to b?
True
Let j be 6/1 + (9808/(-17160))/(8/84). Which is smaller: -1 or j?
-1
Let j = 11.9 - -54.1. Let u = -31 + j. Let h be 3 + (3/3 - 5). Is h <= u?
True
Let r(x) be the first derivative of -15*x**2/2 - 11*x - 62. Let j be r(-1). Is j greater than 1?
True
Let p be (-2)/8 - 21/(-4). Suppose -80 = -3*n - p. Let b be ((-92)/138)/((-4)/138). Which is smaller: n or b?
b
Let h = -14 + 34. Let s be (315/h)/(6/(-64)). Let m be (478/s - -2) + (-18)/(-24). Does m = -1?
False
Let i = -2 - 2. Let b = 16.3 + -16.542. Let u = 0.442 + b. Are u and i nonequal?
True
Let z(y) = 39*y + 11. Let s be z(26). Let b = s + -45097/44. Which is smaller: b or 1?
b
Let r(y) = 9*y + 319. Let b be r(-36). Which is smaller: b or -561/89?
-561/89
Let t = 19/4 - 21/4. Which is smaller: -562 or t?
-562
Let w = -344 - -192. Let u = w + 146. Which is bigger: -7 or u?
u
Let k(h) = h**2 + 13*h + 42. Let x be k(-11). Let i be x/(-108)*84/(-70). Is 1.5 greater than i?
True
Suppose -l + 4*f + 1 = 0, -22*l + 20*l = -2*f + 4. Let g = -81 + 77.3. Is g <= l?
True
Let v(m) = -3*m**2 + 52*m - 911. Let d be v(16). Is -849 less than d?
True
Let b = 1593 + -2042. Is b greater than -2/7?
False
Suppose 0 = 4*i + 33 + 63. Let y(o) = -o**3 - 6*o**2 + 7*o + 4. Let t be y(-7). Suppose -5*k - 141 = t*u, -2*k - 34 = -4*u - 0*u. Are i and k nonequal?
True
Suppose -b + 3*r + 91 = 0, 5*r - 231 = -5*b + 2*b. Let m(n) = -25*n**3 - 123*n**2 - 13*n - 32. Let l be m(-5). Which is smaller: l or b?
b
Suppose -36 = -3*o + 423. Let g = 319 - 167. Which is smaller: o or g?
g
Let c = -223.4771 + 0.2771. Is 0 <= c?
False
Let p = -9932 - -10044. Let c = 33 + 80. Which is bigger: p or c?
c
Let g = -24/575 + 238218/4025. Which is greater: g or 59?
g
Let p(g) = 185*g**2 - 39*g - 76. Let i be p(-2). Let f be ((-7)/i)/((-65)/(-15) + -4). Is -1 smaller than f?
True
Let f = 50 + -401/8. Let v be (-130)/(-3705)*114 + (-144)/34. Which is smaller: v or f?
v
Let t = 152 + 216. Let h = 364 - t. Is h at most 1/18?
True
Let y be (6/(-15))/(5/(-25)). Suppose 4*g = -n - 19, 13 - 36 = y*n + 3*g. Which is greater: -11/2 or n?
-11/2
Let z = 13761406/59 - 233252. Is z less than -7?
True
Suppose 0 = -7*s + 12 + 2. Suppose 3*c - s*a - 26 = 0, c - 5*c + 38 = -a. Is -8 >= c?
False
Suppose h - 2 = -0*h. Suppose -5*r - 4*a + 41 = -0*r, -2*a - 2 = -h*r. Suppose t + 4*j = -11, -2*t - r*j - 5 = t. Is 8 <= t?
False
Let g = 5189 - 5190. Is g greater than or equal to -2001?
True
Let a = -332 - -297. Let c = 3