r than c?
False
Suppose -57*m - 16 = -61*m. Let r be ((-19)/m - -5) + 6/24. Is -185 at most r?
True
Let z = -109/8 - -14. Let p = 1074 - 1071. Which is smaller: z or p?
z
Let i(z) = z**2 - 3*z - 1890. Let u be i(-42). Let f be 4/((-376)/102) - -1. Which is greater: f or u?
u
Let f = -447 + 988. Is 540 bigger than f?
False
Let u = -1524/41 - -15622606/420291. Which is bigger: u or 0?
u
Suppose 2*a + l + 3 = 0, 30 = -4*a + 4*l - 6. Is a greater than -124/23?
True
Let v be (1107/100614)/(6*2). Is -1 at most v?
True
Let l be (-2468)/24*-3 - 104/156. Is 307 equal to l?
False
Let h be -16*(-4 + 1) + (-8)/1. Suppose -18*z + 15*z + 117 = 0. Which is smaller: z or h?
z
Let j be (-11997)/(-5934) - 3*(-4)/(-6). Is j != 0?
True
Suppose 4*v - 552 = 4*u - 28, 2*u = -10. Let j = -128 + v. Is -2 greater than j?
False
Let n(r) = 2*r**3 - 102*r**2 + 113*r - 261. Let v be n(50). Are v and 376 unequal?
True
Let p be (1377/84)/((-30)/10). Which is bigger: -4 or p?
-4
Let w be 5 + -3 - ((-32)/(-75))/(4936/23136). Are w and -1 equal?
False
Let r be (-8)/(-10) + 72/(-90). Let z = -638147/169 - -3776. Are r and z unequal?
True
Let n = -232 + 850. Let l = n - 615. Is l < 7/5?
False
Let m = -5397 + 5397.4. Which is smaller: m or -553?
-553
Let z(v) = -8*v + 163. Let f be z(20). Suppose 4*k - 28 = 4*g, -2*k + 19 = -f*g - 0*g. Is 11/15 greater than or equal to k?
False
Let g be (-10)/(-2)*(-12)/(-10). Let v(d) = d**3 - 28*d**2 + 225*d - 377. Let w be v(14). Which is bigger: g or w?
w
Suppose 5*j + 4*r + 60 = 9*r, 0 = -5*j + 2*r - 69. Let t be (-472)/(-10) + (-12)/j. Does t = 47?
False
Let f(k) = -k**2 + 8*k - 20. Let h be f(4). Let s = h + 5. Let o be s - (-7 + 5 - -4). Are -6 and o equal?
False
Let f = -100 + -26. Let k be 1/f*-4 + 9 + -9. Let h = -19/63 - k. Is h equal to 0?
False
Let o = -348 + 344. Let f(l) = -10*l + 115. Let i be f(11). Which is smaller: i or o?
o
Suppose 2*c = -5*x + 56, 34*x - 37*x + 56 = 2*c. Is 510/19 bigger than c?
False
Let f = -290.2 + -17.8. Let z = f + 299. Which is smaller: z or -4/3?
z
Suppose 2*w + 1240 = -2*w. Suppose -1199 = 4*x - 3*h, 38*x = 42*x + 5*h + 1319. Is w smaller than x?
False
Let n(y) = 241*y**2 + 119*y + 352. Let l be n(-3). Which is greater: 6493/3 or l?
6493/3
Suppose w - 3*a - 3678 = 15814, 4*a = -5*w + 97460. Is w equal to 19492?
True
Let o(d) be the second derivative of -d**5/20 - 7*d**4/12 - 4*d**3/3 - 6*d**2 - 74*d. Let u be o(-6). Does 2/131 = u?
False
Let y(v) = 3*v - 51. Let b be y(21). Let k be (-8)/(-6)*18/b. Suppose k - 2 = -6*t. Is 1/9 <= t?
False
Suppose -5*x - 21 = -3*c, c - 7 = 4*x + 7. Suppose 0 = -2*i, -w + c*i = 2*w + 378. Let q be w/(-27)*(-6)/4. Which is smaller: -9 or q?
-9
Let p = 615 - 300. Let t = p - 313.9. Is t less than 0.04?
False
Let h = 9422 + -6516. Is h greater than -1?
True
Let g = 3/1270 - -5621/308610. Which is bigger: 0 or g?
g
Let c = -172.05 + 171.5. Is 45/4 less than c?
False
Let f = -297.392 + -0.608. Let h = -471 - f. Which is bigger: h or 1/2?
1/2
Let w be (7/(-21) - 14291/(-31176)) + (-2)/16. Is w at least as big as 0?
True
Let q(p) = -p**2 - 7*p + 10. Let n be q(-8). Let s be (6 - 2) + (-18)/n. Suppose -5*y + 2*c = -3*c, 3*y + 3*c + 24 = 0. Which is smaller: y or s?
s
Let l = -2176.7 - -2176.9. Which is bigger: -16/303 or l?
l
Let d = -257.9182 - -0.9182. Which is bigger: d or -14?
-14
Suppose 0 = 27*l - 32*l - 22430. Is -4484 > l?
True
Let a(w) = 3*w**2 - 2*w + 14. Let v be a(8). Suppose 0 = i + 18*i - v. Is 5 less than i?
True
Suppose -8 = -2*x + 48. Let g be 928/(-28) + 4/x. Let o be (g/120)/11*(3 - 5). Which is bigger: 0 or o?
o
Suppose 6*x = -5*x + 88. Suppose 960 = -2*o - x*o. Is o > -97?
True
Let n = -27.172 + 0.172. Let v = -34 + 22. Let p = n - v. Is p > 0?
False
Let v be -1*20/(-8)*2. Suppose 2 = 4*m - 10, -v*m + 15 = -2*x. Let i be -1 + x + (-4 - -1)*-1. Is 8/5 less than i?
True
Suppose -18*p + 25*p = -784. Let y be 1/(-7) - 3264/p. Do 0 and y have different values?
True
Let m(x) = 6*x - 419. Let w be m(70). Which is bigger: w or -1/209?
w
Let q be ((-90)/27)/(4*2/792). Let s be 80/(-6)*q/(-40). Is -112 <= s?
True
Let b(w) = w**3 - w**2 + w + 3. Suppose -z + 4*z - 10 = 2*a, 3*a = z - 15. Let p be b(z). Let v be p/6 - 6/9. Which is smaller: 1 or v?
v
Let j be 1 - (11 + 0/3). Suppose -29*l + 14 = -22*l. Suppose 0 = -3*b - 5*u + 29, 18 = 4*b + l*u - 2. Which is greater: j or b?
b
Let j(t) = t**3 - 3*t**2 + 2*t - 2. Let w be j(3). Let f(l) = -3*l**2 - 7. Let g be f(w). Let k = g - -607/11. Is k equal to -6?
False
Suppose -2*d = 5*v + 6498, 4*v = d - 652 + 3914. Is d != -3252?
True
Let p = 3473 + -5386. Which is smaller: p or 4?
p
Let b be ((-85485)/(-637))/(-3) - 1. Let w = 13415/39 + -1169/3. Let r = w - b. Which is smaller: 0 or r?
0
Suppose 2*l = -2*v - 1160 - 1270, 2*l = -v - 1218. Is v > -1212?
False
Let v be -3*(-76)/(-10)*5/2. Let s be (-3)/(-3*v/(-207)) - 4. Which is smaller: s or -1?
-1
Suppose -4*z - 2706 = 7*z. Let r = z + 279. Is r bigger than 31?
True
Let l = 6/26677 - -5815400/826987. Which is bigger: 8 or l?
8
Let m = -266 - -63. Let s = -204.4 - m. Let g = 0.5 + 0.5. Which is smaller: s or g?
s
Let a = 275 - 596. Let g = -338 - a. Is g less than 7/2?
True
Let t(m) = -2*m**2 - 20*m - 22. Let v be 81/36 - 2 - 37/4. Let w be t(v). Let x be 1*3*(-25)/15. Is x greater than or equal to w?
False
Suppose -4*j + 8 = -8. Suppose j*t + 18 = 2*t. Let d = -654 + 653.8. Are t and d equal?
False
Suppose 111*o - 427*o = 100172. Which is smaller: -314 or o?
o
Let f be (12 - 84)*(-685)/20. Is f greater than 2465?
True
Suppose 156*t = 36*t - 1080. Which is smaller: -89/10 or t?
t
Let f = -30461 - -29922. Are f and -540 equal?
False
Let j = -713 - -717. Suppose 2*y = -2*a + 6, -18*a + 21*a = j*y - 5. Are a and 13 nonequal?
True
Let c(d) = -3*d**2 - 115*d - 35. Let x = 134 - 172. Let r be c(x). Is r at most as big as 32/9?
True
Let n = -7283 - -7284. Let x = 2 - 4. Let j be x*(1 + (-54)/52). Is n less than or equal to j?
False
Let s be 0 + 4 - (728 - -15). Let o = -721 - s. Is o bigger than 20?
False
Suppose 10*x - 101*x + 91 = 0. Which is bigger: 1/7910 or x?
x
Suppose -3*z = 4*h + 8, 0 = -4*h - 54 + 46. Are 3/2018 and z equal?
False
Suppose 77 = 2*u + 73. Suppose u*r - 12 = -4*y, 0 = -5*r + 4*r + y + 9. Let w be (2/r)/((-3)/6)*2. Which is smaller: w or 1?
w
Let n = -158456365/3082 + 102827/2. Which is bigger: n or 0?
n
Let s be 3 + (-2)/(-20)*5*0. Let w be (-8 + 1228/152)/(s/4). Which is bigger: -0.3 or w?
w
Let u(i) = 6*i**2 + 392*i - 264. Let x be u(-66). Which is greater: x or 18/23?
18/23
Let x be (-12)/15*292770/6. Let q be 3/5 - x/8865 - 5. Which is smaller: 1 or q?
q
Let o = 34 + -107. Let n be (-6)/(12/(-37))*-4. Is n greater than o?
False
Let m = -45 - -39. Let b be m/(-10) + (-49)/15 - -3. Which is greater: 3 or b?
3
Let l = 166 - 162. Let a be (l - (-62)/(-14)) + (-52)/(-7). Is a at least 75/11?
True
Let k = -278.44 + 278.2. Do 32 and k have the same value?
False
Let v = 223 + -161. Suppose -2*h + 20 + v = 0. Is h < 40?
False
Suppose -2*m = -4, 2*n + 0 = 4*m - 6. Let l be (n/2)/(6/(-12)). Let j be -1 + 3 - (l + 1 + 2). Is j <= 1/5?
True
Suppose 67*s = 71*s - 12. Let n be (1 - -2)*(s - 8 - 2). Which is greater: 2 or n?
2
Suppose -121 + 35 = 2*l. Let h = -41 - l. Let z be (-2997)/45 - h/5. Which is bigger: -66 or z?
-66
Let n = 416.95 + -410.09. Which is smaller: -2/17 or n?
-2/17
Let x(k) = k**3 - k**2 - k - 1. Let r(m) = -4*m**3 - m**2 + m + 2. Let a(p) = r(p) + x(p). Let i be a(-1). Let d be 31*i/(-6) + (-14)/21. Is -13 equal to d?
False
Let y be -3*(6 + 6/((-54)/45)). Is y bigger than 29?
False
Let w(t) = -3*t**3 - 9*t**2 + 19*t + 32. Let d(u) = u**3 - u**2. Let a(g) = -2*d(g) - w(g). Let o be a(-12). Which is smaller: o or 51?
51
Suppose -305*r + 36*r - 273868 = -100363. Does -658 = r?
False
Let h = -6755 + 6753. Is -69/131 greater than h?
True
Let q be 1/(-2)*(-30)/(-9). Let h(c) = -c + 17. Let f be h(13). Suppose f = -9*z - 14. Are q and z nonequal?
True
Suppose v - 5*p - 573 = 5*v, -3*v - 431 = 5*p. Let f = -35347 + 35204. Is v < f?
False
Let i = 58 + -73.7. Let m = 57.7 + i. Which is bigger: -1 or m?
m
Let u = 1.92 + 36.99. Let p = 2.85 + 36.15. Let r = u - p. Are r and -1 unequal?
True
Let h = 227 - 204. Suppose -h*b = -48*b + 1950. Which is bigger: 7