se -19 = -p*z - 7. Suppose 2*j - 5*l + 12 = 0, z*l = -5*j + 3*l - 3. Which is smaller: j or 5?
j
Let y = 21404/7 + -3058. Is y at most as big as 836?
True
Suppose 5*h - 116 = -4*o, 5*h - 2*h = -2*o + 70. Suppose 2*w + 3*n + h = 6*w, 5*w = -4*n + 61. Is w > -2/17?
True
Let a be (1/(-4))/((-1)/52). Suppose 2*y + 2*t + 17 + a = 0, 5 = -t. Let g = 44 + -38. Which is smaller: g or y?
y
Let a be (-7)/(224/24) - 36575/(-48708). Is -1 less than a?
True
Suppose 178542 = -717*z + 756*z. Which is bigger: -0.1 or z?
z
Let g = 19517 - 13535. Which is smaller: 5981 or g?
5981
Suppose -4*x + 31 = -3*x. Suppose -x + 13 = -9*n. Suppose -n*w + w = g + 3, 4*w + 2*g + 6 = 0. Which is smaller: 1/32 or w?
w
Suppose -2*r + 292 = 2*k + 418, -3*k - r - 179 = 0. Which is bigger: k or -64?
k
Let x(a) = 76*a**2 + 239*a + 706. Let h be x(-3). Is h not equal to 4031/6?
True
Let a be (1886/69 - 28)/(4/246). Let b = -122 + 86. Which is smaller: b or a?
a
Let p = -8974 - -7140. Is -1830 less than p?
False
Let b = -14473.1 + 14474. Let a = -5 - 0. Let k = -5.5 - a. Does k = b?
False
Suppose j + 8*y + 3 = 7*y, -j - 2*y - 2 = 0. Let o be 300/12*j/(-5). Is 61/3 greater than or equal to o?
True
Let x = 2.33 - -4.57. Let k = 134 + -141.3. Let q = x + k. Is -0.4 greater than or equal to q?
True
Let k = 5568 + 1736. Are k and 1 equal?
False
Let b = 6840/427 + -21569273/1346758. Let p = b - 3/166. Which is greater: -2 or p?
p
Let p be 2 + 2 + 53 + -5. Suppose f = -f + p. Suppose 4*y = -4*c + 16, -5*y + 0*c + f = -c. Is 5 != y?
False
Let b = 1518 - 1699.3. Let d = b + 181. Which is smaller: d or -3/29?
d
Let u(l) = -378*l - 2. Let o be u(-1). Suppose -2*m + 4*t + 20 = o, -700 = 4*m - 5*t. Is -169 >= m?
True
Let q be 114/21 + 6/(-2). Let p = q + -1. Let u be (1 - 2) + 1 + 2. Which is bigger: u or p?
u
Let y = -13 - -15. Let z(c) = -c + 2. Let x be z(y). Let a be (6 + 1580/(-264)*1)*-1. Which is smaller: a or x?
a
Let c = -506 - -504. Let v be (-67 - 1)/(-12 - -94). Which is bigger: v or c?
v
Let g = -61 + 65.2. Let o = -4.4 + g. Is o at most as big as -0.44?
False
Suppose 4*v - 342 - 74 = 0. Which is smaller: v or 110?
v
Let b be 69 - 2 - (27 + -34). Suppose 2*h + 2*h = -2*v + 150, 0 = h. Does v = b?
False
Let r(z) = 2*z + 3. Let c(l) = l + 2. Let o(t) = -5*c(t) + 2*r(t). Let f be o(-3). Let g = 47 + -751/16. Is f at least g?
False
Suppose -p + 32 = 5*d, -5*d + 89 - 63 = -2*p. Which is smaller: 15 or d?
d
Let y(l) = 2*l - 29. Let p be y(17). Let f be (0/p - -1) + -2. Let v be f + (-195)/66 + 4. Which is smaller: 1 or v?
v
Let f = -5/153 - -14251/153. Is f bigger than 92?
True
Let u(q) = -2*q**2 + 54*q + 17. Let a be u(27). Suppose 0 = -3*s + 9, 0*s + 4*s - a = o. Let g = -6 + 4. Which is smaller: o or g?
o
Let g be (10 - 6)/(3 + 55/(-15)). Let h be (2588/g)/((-40)/(-60)). Which is bigger: -648 or h?
h
Suppose -3*r = p + 1897, -123*p = -118*p - 2*r + 9451. Which is greater: p or -1893?
p
Suppose -216*f = -219*f. Suppose f = -2*g - 4*g + 576. Which is smaller: g or -0.1?
-0.1
Let c = 2199638 + -967839749/440. Let m = c - 24/11. Let l = 20 - 21. Which is bigger: l or m?
m
Suppose 79 + 161 = 5*p. Suppose -52*g - 12 = -p*g. Let y be (-4)/g - (-3)/(-9). Which is greater: y or 3/22?
y
Let v = 19 - 140/3. Let q = 124/3 + v. Is 15 < q?
False
Suppose -x + 28 = x. Let y(f) = 12*f + 180. Let o be y(-18). Let v = o + x. Which is bigger: v or 2?
2
Let s = -1355.75 - 29.25. Which is smaller: 2/3 or s?
s
Let r be (-5)/10 - 294/(-4). Let g = -70 + r. Suppose -g*l + 6*l = -57. Is l at least as big as -19?
True
Suppose -5*n + 4*m - 12 = -3*n, -5*n + m = -15. Let g(o) = -11*o + 8. Let i(x) = -3*x + 2. Let q(b) = -2*g(b) + 9*i(b). Let j be q(1). Which is greater: j or n?
n
Let m(g) = -g**2 - 8*g + 12. Let z be m(-9). Suppose h - z*h = 2. Let u(q) = -q**3 + q**2 + 47*q + 11. Let b be u(0). Is h less than or equal to b?
True
Suppose 135*v - 127*v - 80 = 624. Which is bigger: 70 or v?
v
Let m = 705 + -305. Let r be (-4)/(-10) - (-7240)/m. Are 19 and r equal?
False
Let d = -4943/3 + 1648. Is -538 greater than d?
False
Let m be 8/(-40)*(-1266525)/65. Which is smaller: 3894 or m?
3894
Let w(g) = 4*g**2 - 1. Let r be w(2). Let x(i) = i**3 + 12*i**2 - 51*i + 8. Let t be x(3). Let u be (40/r)/(t/(-15)). Is 33/8 less than or equal to u?
False
Let r = -14299 + 14239.44. Are -2/7 and r equal?
False
Let h = -25247/133092252 + 1/17748. Is -1 >= h?
False
Let t = 50 + -84. Let y = -0.6422 + 3.6422. Is y smaller than t?
False
Suppose -m + 470 = f, -m + 4*f + 490 = 9*f. Let j = m + -464. Which is smaller: -2/109 or j?
-2/109
Let y = 396.6 + -717.48. Let b = y - -321. Which is bigger: -8 or b?
b
Let i = -115 + 219. Suppose i = -2*v + 4*p + 20, -4*v = 5*p + 103. Let c = -33 - v. Which is bigger: c or 0?
0
Suppose 5 = 4*l - 5*j + 1, -5*j = -5*l + 10. Suppose -2*z + l*z - 5*m = 148, 4*z = 4*m + 152. Suppose -a + 46 = 3*v, -v - a + z = -6*a. Is 17 < v?
False
Let n(f) = -25*f**2 + 8*f + 32. Let b(d) = -11*d**2 + 4*d + 15. Let k(z) = 9*b(z) - 4*n(z). Let o = -6 + 3. Let a be k(o). Which is bigger: a or 1?
a
Let h(u) = -3*u**2 + 8*u + 36. Suppose a + 3*l + 1 = 0, -a - a - 5*l = 0. Let n be h(a). Do 12/17 and n have the same value?
False
Let z(b) be the second derivative of b**5/20 - 7*b**3/6 - b**2 - 17*b. Suppose 1 - 10 = -3*t. Let p be z(t). Is 3 <= p?
True
Let p be ((-192)/9)/(13/(-468)). Which is smaller: p or 772?
p
Let o(q) = -11*q**2 - 2 + 7*q + 3*q**2 + 7*q**2. Let j be o(9). Let d = j - -19. Is d >= -3/41?
False
Let c(z) = -5*z + 62. Let g be c(8). Let p = -263.4 + 263. Is p less than g?
True
Let j(s) = 39*s**2 - 3144*s + 192. Let m be j(80). Which is greater: m or -1730?
m
Let k(b) = -69*b - 50. Let l be k(-30). Suppose 11*y = y - l. Let z = 100 + y. Is -102 less than z?
False
Suppose 0 = 6*r - 4*r + 22. Let l be ((-6)/18*-3)/((-1)/r). Suppose -l*j = -4*j + 14. Which is greater: 4 or j?
4
Let u(i) = 4*i**2 - 59*i + 34. Let f be u(17). Let h = f - 179. Which is smaller: h or 9?
h
Suppose 627*k - 4131 = 636*k. Does k = -454?
False
Let t = 0.8 + -9.8. Let h = -11.9 - -21. Let n = t + h. Is n < -2/5?
False
Suppose 0 = 3*z - 4*o - 53, -4*z - 135 = -9*z - 5*o. Let h be (0 - -9)*(-25)/15. Let y = z - h. Is 37 less than y?
True
Let m = 290302 - 3190709/11. Is m less than or equal to 238?
True
Let d be 1255/8 - ((-726)/(-528) - 3/2). Let j = -238 - -396. Which is greater: j or d?
j
Suppose 988*o + 4*r = 983*o + 578, 2*o - 2*r = 206. Which is greater: o or 85?
o
Let w = -30167/7 - -4307. Let u be (-4)/(-18) + 1086/(-27). Let b be u/15 + (-2)/6. Which is greater: b or w?
w
Let k(w) = -12*w**3 - 31*w**2 + 35*w - 2. Let s be k(1). Does -169/18 = s?
False
Let n be 2 + 0 + (-6)/((-90)/(-15)). Is 2/6199 greater than n?
False
Suppose -4*p = p. Let l(k) = k + 4. Let u be l(-10). Let g be (-286)/414 - u/(-69). Which is smaller: p or g?
g
Let y be (-132)/33 - (-36)/10*1. Is -2/5967 less than y?
False
Let k = -4687 - -18883/4. Let z = 3085/92 - k. Which is smaller: 1 or z?
z
Let v = -22 + 24. Suppose -9 = v*x - 11. Does x = -2/61?
False
Suppose 0 = -3*f - 11 - 31. Let n = -22 - f. Let q = n + 16. Is 2/7 <= q?
True
Let b = -113 + 113.185. Let p = b + -15.585. Let g = -15.2 - p. Which is smaller: -1.1 or g?
-1.1
Let o = 325 - 325. Suppose o = -12*j + 10*j + 476. Is j equal to 239?
False
Let y be 17 - (40/(-2))/5. Suppose z = y*z + 4460. Which is smaller: z or -224?
-224
Let y = -185 + 187. Let d be (9*14/63)/((-22)/y). Is -2 greater than or equal to d?
False
Let j be 12*(22/33 + (-5)/12). Let i(v) = -114*v - 189. Let x be i(j). Which is bigger: x or -532?
x
Let i = 223719/41674 - 360/67. Which is greater: -0.1 or i?
i
Let q = 7 + -58. Let z = q + 55. Suppose 4*o + z = -8. Which is smaller: o or -19/6?
-19/6
Let o = 16.2 + -1.2. Let n = 42.94 - 27.94. Let i = o - n. Which is smaller: -1 or i?
-1
Let p be (-18)/3 + -1 - (1 - (41 - 3)). Which is smaller: p or 128?
p
Let o(s) be the third derivative of -s**6/60 - 19*s**5/60 + 11*s**4/24 - 13*s**3/6 - 25*s**2. Let n be o(-10). Let t = -21 - n. Is t at least -0.07?
True
Suppose p = 3*l - 5, 0*p - 5*p + 5 = -5*l. Suppose -4*k - k = 25, 0 = p*o - 2*k - 310. Let i be (7 - o/19) + 6/(-2). Which is smaller: i or -2?
-2
Let d = -4188.0626 - -4188. Which is greater: 2 or d?
2
Let t be -2 + 1548/(-8) - (