 z?
True
Suppose 2*f - 20 = -2*f. Let u(n) = -4*n**2 + 20*n + 1. Let q be u(f). Let b be (2 + 2)*3/62. Is b bigger than q?
False
Suppose 2*t = -1 - 103. Let r = 17 + t. Let s(d) = 16*d + 12. Let f be s(-3). Is f at least as big as r?
False
Suppose 6*j - 84 = -6*j. Let t be (j/(-119))/((4 + -1)/(-270)). Is 6 > t?
True
Let l = -4866 - -3366. Let z = l + 1500.1. Let w = -61 + 64.1. Is z smaller than w?
True
Let b be -8*(2 + 12/(8/(-2))). Suppose 26 = -b*y + 10*y. Are y and 20 equal?
False
Suppose -4*d = j + 116, 3*j - 5*d + 6*d + 348 = 0. Which is smaller: j or -11?
j
Suppose 0 = 4*s - 8 + 40. Let d be 2*4 - 1530/204 - (-78)/(-8). Are s and d non-equal?
True
Let r be (-492)/(-60)*15/(-55). Is r at least as big as -2?
False
Suppose 105*z + 45983 = 102*z - h, -7*h - 30706 = 2*z. Is z >= -15324?
False
Let w be (15/18 - (-24)/(-36))/((-1)/(-102)). Let r = -4 + 4. Which is smaller: w or r?
r
Let q = 4.375 + -3.51. Let c = 0.81 - q. Let m = 0.945 - c. Which is smaller: 12 or m?
m
Let n(c) = -17*c + 194. Let f be n(-11). Let h be (2/f)/((-12)/18). Let u be 0/(0 + 2 + 0). Is h at most u?
True
Let a = -88279/17 + 5189. Let p = -7177/1853 - a. Which is bigger: -1 or p?
p
Suppose 0 = a - 2, 5*g = -0*g - 3*a + 426. Suppose -218 - 31 = 3*h. Let r = h + g. Which is smaller: r or 8?
r
Suppose 37 = n + 145. Let k be (-11)/((-66)/n) - -5. Which is smaller: -1/2 or k?
k
Let k = 213 + -87. Suppose -r = -10*r + k. Let z be 60/r*2/(-5). Is -3 bigger than z?
False
Let b(g) = 3*g**2 - 19*g - 4. Let k = -20 + 28. Let x be b(k). Suppose -5*z + 2*d = 138, -2*z + 2*d - 6*d = x. Which is bigger: z or -27?
z
Let l = -49 - -31. Let d be (2*84/4)/2. Let h = l + d. Which is greater: h or 1?
h
Let t be ((-77859)/(-10))/(390/260). Is 5192 smaller than t?
False
Let t = 43.72 - 7.62. Let j = t - 36. Let b = j - 0.16. Which is greater: 4 or b?
4
Let w = -500 + 544. Suppose 8 = 48*c - w*c. Which is smaller: c or 4/5?
4/5
Let u = -93.9 + -19.1. Let i = -63 - u. Let x = i - 53. Does 0.08 = x?
False
Let s = 1981 - 1981.044. Is s greater than 2?
False
Let a = 1785 - 2095. Are a and -312 non-equal?
True
Suppose -76*w + 51 = 51. Which is greater: w or 28/479?
28/479
Let y = 811.1 + -819. Let x = -7.86 - y. Is x >= 6?
False
Suppose 5*j - 3*r - 305 = -791, 474 = -5*j - 3*r. Let x be 65/(-39) + (-178)/j. Which is bigger: x or -1?
x
Suppose -244 = -3*d + 287. Let y = d - 176. Is -1/14 greater than or equal to y?
False
Let l(o) = 3*o**3 - 70*o**2 - 26*o - 106. Let p be l(20). Is -4 less than p?
False
Suppose 5*q + 5*h = -44 + 144, 4*h - 20 = 0. Let m be (-8)/(-40) + 16/(-5) + q. Let b be (7/m - 1)/((-27)/(-144)). Is b greater than -3?
True
Suppose -1476593 + 455444 = -249*w. Is 12301/3 bigger than w?
False
Let f be -1 - (-52 - (-4)/(-8)*-2). Let q be 39/4*(46 - f). Are -40 and q nonequal?
True
Let l be -144*((-12)/9 - (-9 + 8)). Suppose -l*m + 29*m - 19 = 0. Which is greater: 5/81 or m?
5/81
Suppose 2*f + s = 9, -2*f + 5*s - 4*s = 1. Let p = 1189 + -1186. Suppose f*c - y = -c - 5, -4*y = p*c + 25. Which is smaller: c or -2?
c
Let o(v) = v**2 - 7*v - 1501. Let y be o(-23). Is y >= -1/5?
False
Let m = 176 + -124. Suppose m = -5*b + 8*b - 5*p, -5*b = -2*p - 55. Let o be (-6)/36*1*24/b. Which is bigger: o or 1?
1
Let n(t) = t**2 - 4*t - 1. Let i be n(2). Let l(c) = c - 4. Let j be l(8). Let r be 18/(-8) + ((-13)/(-4) - j). Which is smaller: r or i?
i
Let x = 46729 + -13598153/291. Which is bigger: 0 or x?
0
Suppose -54 = -4*z - 2*q, 5*z - 30 = 7*q - 2*q. Let w = z + 24. Suppose w + 1 = -6*m. Which is smaller: m or -8?
-8
Suppose 23*p + 28 - 212 = 0. Suppose p = 5*r + 38. Are -1 and r nonequal?
True
Let m = -0.23 - -0.77. Let x = -0.64 + m. Let r = 31 - 44. Is r < x?
True
Suppose 0 = -5*k - 2*u - 3 - 21, -4*k = -4*u + 8. Let h be k/(-22) - (32/(-539))/(-1). Which is bigger: h or 0?
h
Suppose -169 = -5*x - 4. Let r(k) = -k + 20. Let b be r(x). Which is smaller: 11 or b?
b
Let m = -5215 + 5236. Is m < -27?
False
Suppose 0 = -2*m - m. Let a be ((-155)/(-153) - 0) + (-25 - (-33 + 9)). Are m and a unequal?
True
Let t = -3.1 + 1.9. Let z = 21.8 - t. Let r be 2*(-8)/6*18/72. Which is greater: r or z?
z
Suppose -p + 92 = -j, -4*j = 4*p - 9*p + 465. Suppose p + 83 = 10*q. Which is smaller: q or 69/4?
69/4
Let s = -20 + 23. Suppose s*f - 5*f - 3*c = 4, -2*f = c + 8. Suppose -8 = 4*n, -5*w + 0*n - 34 = 2*n. Which is greater: w or f?
f
Suppose 96*w - 89*w - 140 = 0. Suppose -10*y + w*y = -220. Is -22 bigger than y?
False
Let c = 1370.637 + 3.363. Let n = c - 1378. Let p = 0.04 - 0.44. Which is smaller: n or p?
n
Suppose 0 = 2*w - 2*z - 7170, 0*w + 3*z - 10725 = -3*w. Let x be w/1795 - -4 - 6. Is 0 greater than x?
True
Let p = -5022 + 4857. Which is bigger: p or 15?
15
Suppose -5*f - 4*h + 149 = 0, -11*f + 2*h - 89 = -14*f. Is 3 less than or equal to f?
True
Let q(m) = m**3 + 27*m**2 - 27*m + 57. Let k be 22 - 19 - 2/(4/62). Let u be q(k). Is 28 smaller than u?
True
Let z = -191798 - -14576853/76. Which is smaller: 1 or z?
1
Let y = 127083 - 127086. Suppose h - 2*f - f = -7, -3*h - 13 = -5*f. Let z be (h/(-3))/((-2)/14). Which is smaller: y or z?
y
Let b = -15500561/2956767 + -2/89599. Is b bigger than -4?
False
Let l be (3 - 3) + 3 + -4. Let r(f) = -f**2 + 8*f + 87. Let c be r(-6). Which is bigger: c or l?
c
Let o = -16/51 - 7046/1275. Let u = -641/100 + o. Is -13 <= u?
True
Let k = 1.155 + -0.185. Let m = k - 1.2. Let a = 2.23 + m. Which is smaller: -2/3 or a?
-2/3
Suppose -29*s + 3*s + 624 = 0. Let x be -1 - 611/2 - s/16. Is x greater than or equal to -307?
False
Let n = -954 - -953.9481. Let x = n - 0.1481. Which is greater: x or 11?
11
Let o = 104 - 19. Let s(b) = 10*b + o - 8*b - 5*b - 4*b. Let k be s(12). Is 10/9 < k?
False
Suppose -22*i = -23*i + 2*l + 26, -4*l = -8. Let b be ((-42)/(-8))/(2/8). Suppose 3*x - i - 33 = -5*g, x - b = -5*g. Is 22 greater than x?
True
Let j(d) = d**3 + 14*d**2 - 16*d - 13. Let a be j(-15). Suppose -a*q + 9 = -1. Suppose 0 = -12*w + q*w - 7. Which is smaller: w or 6/29?
w
Let c be 51 + 54 - (3 - -2). Which is smaller: 1116/11 or c?
c
Let m = -223697/10 - -22407. Is m smaller than 38?
True
Suppose -m - 4*m = -270. Let x = m - 33. Let d = 33 - 11. Are x and d non-equal?
True
Let o = 6149 - 5854.1. Let m = -295 + o. Is -44.3 bigger than m?
False
Let b = -156 + 175. Suppose b*d - 18*d = 26. Let g be (-27)/18 - 57/(-2). Is g less than or equal to d?
False
Let f = -452.92 - -453. Suppose 0 = -4*i + 121 - 145. Which is smaller: i or f?
i
Let q(l) = 2*l**2 - 100*l - 95. Let p be q(47). Is p > -374?
False
Let g = 15039/17 - 885. Let h = -53 + -42. Let k = h + 96. Which is bigger: k or g?
k
Let p = 2687 - 2564. Is p equal to 114?
False
Let z be 21/(((-23895)/(-72))/15). Which is smaller: z or 0?
0
Let a be 3/(-1) - ((-5)/(-1165)*-179 - 2). Which is greater: 1 or a?
1
Let a(v) = -v**3 - 42*v**2 - 56*v + 622. Let i be a(-42). Which is bigger: 20828/7 or i?
20828/7
Let v be 108/26 - (-2 + 56/26). Let h be (-176)/660 + v/10. Which is smaller: -0.02 or h?
-0.02
Let z = -1.115 - 5.265. Is 2/7 != z?
True
Let t = -64 + 61. Let a be (-9)/54 + t/(126/(-4483)). Let z = -4805/42 + a. Are z and -7 non-equal?
True
Let w = -178 + 180. Let j be (w/(7 + -6))/(2/(-1)). Let z be (4/(-138))/((-8)/(-6)). Which is smaller: z or j?
j
Let b(y) = -y**2 - 22*y - 1. Let z be b(-22). Let m = -1593 + 198. Let w = m - -174373/125. Which is bigger: w or z?
w
Let h = 189785/7 + -26852. Are 261 and h unequal?
True
Suppose -3*x - g - 42 = 0, 4*g = 22*x - 27*x - 56. Let y(o) = -2*o**2 + 4*o + 1. Let j be y(4). Which is bigger: j or x?
j
Let p(f) = 2*f**3 - 191*f**2 - 79*f - 1632. Let q be p(96). Which is bigger: q or 2/3505?
2/3505
Suppose 27000 = 15*x + 3*x. Let w be (x/(-140))/((-6)/4). Let g be -1 - (3 - 3) - -9. Is g greater than w?
True
Let j(x) = x**3 + 5*x**2 - x - 5. Let z be j(-4). Suppose u + z + 4 = 0. Let p(t) = 10*t**2 + 2090*t - 16. Let o be p(0). Which is bigger: u or o?
o
Let l = 82.9 - 59.76. Let m = 23 - l. Let p = m - 5.86. Is p less than or equal to 0.3?
True
Let l(f) = f**3 + 10*f**2 + 9*f + 3. Let i be l(-7). Let t = 18532 + -18444. Which is greater: t or i?
t
Suppose 0 = -89*b + 116*b - 81. Which is smaller: 21/10 or b?
21/10
Let u = 43 + -31. Let j = -3/35 - -93/35. Let w = j + -83/35. Is w 