 Let u = -2/657 - m. Which is smaller: 0 or u?
u
Let q be 100 - (-6)/(-4)*(-5 + 7). Are q and 97 nonequal?
False
Let y = -801 + 790. Is -3 bigger than y?
True
Let c(y) = -7*y + 14. Let d be c(2). Which is greater: -1/8 or d?
d
Let s = 11 - 214. Let t = s - -1424/7. Let u = -2.2 + 2.3. Is t > u?
True
Let d = -178 + 180. Which is smaller: -40 or d?
-40
Let o be 99/12 + 8/(-32). Let r be ((-4)/(-10))/(o/20). Which is smaller: r or -2/23?
-2/23
Suppose -20 = -f - 1. Suppose f*k = 17*k - 6. Let d be (2/k)/((-8)/36). Which is smaller: d or -2/17?
-2/17
Suppose -130*g = -135*g - 1730. Which is smaller: g or -347?
-347
Let k(f) = -18*f + 20. Let d be k(2). Which is smaller: -14 or d?
d
Let u = 594 - 1645. Let l = u + 8393/8. Is l not equal to -2?
True
Suppose -32 = 2*f - 50. Suppose -2*o = 5 + f. Which is smaller: -3 or o?
o
Suppose 14*k + 2280 = -k. Let n = k + 139. Is n < -72/5?
False
Let a be (-6)/(-4) - (-2835)/(-162). Let i be -18*1 + 1 + 0. Is a < i?
False
Let c = 0.7671 - -0.2329. Which is smaller: -514 or c?
-514
Let b = 143/228 - -3/76. Suppose -3*j = -5*k - 3, 0*j = 2*j - 3*k - 2. Which is smaller: j or b?
b
Suppose -5*w + 7 + 4 = 2*c, -5*c + 13 = -2*w. Let y(s) = s**2 + 6*s - 9. Let f be y(-8). Which is smaller: f or c?
c
Let s be 7/(-5) + (-4)/(-10) + 3. Let l = -7 - s. Which is smaller: -23/3 or l?
l
Let c = -2302/221 - -140/13. Let j = -9 + 9. Is c greater than or equal to j?
True
Suppose 4 = -0*j - j - 5*q, -3*j = 3*q. Let u = -21/44 + 213/308. Is j != u?
True
Let l be (-4)/((8/6)/2). Let x(k) = 3*k - 18. Let c be x(7). Let s be (-12)/27*c/(-2). Are l and s equal?
False
Let r = 9460/18091 + -42/79. Is -4 > r?
False
Let q be 3/(-3 + (-84)/(-26)). Let v = -1 + q. Let c = -11 + v. Which is bigger: 2 or c?
2
Let a be -9 + 2 - (-1 - 3). Let w be 17/a - (-16)/4. Which is greater: w or -3?
w
Suppose -y = 2*y + 12. Let i be 2*(-1)/3 + (-1407)/(-18). Let g = i + -77. Which is greater: g or y?
g
Let l = -4070/9 - -452. Which is bigger: 0.273 or l?
0.273
Let v be 18 + 0 + (-12)/3. Let d = v - 55/4. Suppose -2*z = 4*h - 2, -h + 2 = 2*z - 6*h. Is z less than or equal to d?
False
Let x = 1.66 + -1.8. Let r = -2.64 + 2.7. Let f = r - x. Are 3/4 and f equal?
False
Let m(c) = -2*c + 11 - 16 - 5 + 6*c. Let o be m(-5). Let p be (5/o)/(2/(-12)). Is p bigger than -3/20?
True
Let l(d) = d**2 - 9*d + 3. Let k be l(7). Let x be (-4 + 6 + (-3)/6)*-2. Which is bigger: x or k?
x
Let s = -10.1 + 2.1. Let u = 0.039 + 8.961. Let v = u + s. Are v and -1 unequal?
True
Let y be 6 - 16/(-12) - (0 - -8). Suppose k + 5*w = -75, -2*w + 164 = -4*k - 70. Is k at least as big as y?
False
Let x = -6 + 2. Let y = x + 4. Let t = 1719 - 1719.07. Is y greater than or equal to t?
True
Let g = 234 + -234.1. Is g at least as big as -6/13?
True
Let g be (1*(-12)/(-30))/((-9)/(-5)). Let p = 0.16 - 1.46. Let h = 3.7 - p. Which is bigger: g or h?
h
Let j(q) = 3*q**3. Let f be 2/(-1) - -3 - 0. Let y be j(f). Let k be -3 - (-3 - (-2 + y)). Which is bigger: k or -2?
k
Let o(r) = r + 9. Let m be o(0). Suppose 5*t + 36 = m*t. Suppose 4*v = 3*z - t - 5, v + 13 = -4*z. Is z less than or equal to -2?
True
Let o = -7.59 - 2.11. Let y = o - -10. Which is smaller: y or 7?
y
Let v(q) = 40*q - 289. Let j be v(7). Which is smaller: -7/5 or j?
j
Let i = -457 - -457.03. Which is smaller: i or 1.7?
i
Let k = 294 - 72. Let j be 2/(-1)*(-9)/k. Is 1 less than j?
False
Let h(x) = 7*x**2 + 6*x - 36. Let y be h(-6). Is 180 >= y?
True
Suppose 3*j + 4*b = 18, -2*j + 3*j = 5*b + 25. Let p be ((-15)/(-120))/(j/(-24)). Which is greater: p or 1?
1
Suppose 9*f - 10*f + 1 = 0. Let y be (0/(-5))/(0 + f). Let q(v) = v**2 + 2*v - 4. Let c be q(-3). Is y greater than c?
True
Let s = -350019 + 10155975/29. Let o = s - 187. Suppose 0 = 3*z + h, 0 = -0*h - 3*h + 9. Which is bigger: o or z?
o
Let n be (-1 - 0)/(3/(-9)). Suppose n*g = -g. Are -1/25 and g nonequal?
True
Suppose -4*y + 3*j = -11, 4*y - 4*j - 35 = -9*j. Suppose -1 = -2*p + y. Suppose 0 = -q - 2*q - 2*s - 28, 0 = p*q + 5*s + 43. Which is smaller: -5 or q?
q
Let d = -0.125 - -0.055. Let j = 0 - d. Do j and -1/4 have the same value?
False
Let p be 4 - ((-38)/(-18))/((-4)/(-8)). Which is greater: p or -11?
p
Suppose 4*u + 0*u = 0. Suppose 22 = -3*b + 130. Suppose -t = -4*w + b, 4*w - 28 = -u*w + 3*t. Is 10 < w?
False
Suppose 69*b = 64*b - 1265. Which is bigger: -3 or b?
-3
Suppose 0 = -2*i + 17 - 7. Suppose 3*x - 45 = 3*v, i*x - 55 = -0*x + v. Are 10 and x equal?
True
Let p = 359 + -358. Which is smaller: 28 or p?
p
Let k be 1/(-2) - (231/(-6) + 1). Does k = 0.2?
False
Let i(a) = -255*a - 13. Let y be i(1). Is y not equal to -268?
False
Suppose -2*s = -2*t - 200, -s - 3*t = 29 - 133. Let w = 72 - s. Let q = -42 - w. Which is bigger: -14 or q?
q
Let d(x) = -7*x - 90. Let v be d(-39). Is v greater than 182?
True
Let f = -65 + 148. Let i = f - 71. Do -3 and i have the same value?
False
Suppose -q + 8 = 3*g, -2*q - 7 = -4*q - 3*g. Let b be -53 + (-4 - 2 - -3). Let r be 30/b - (-4)/14. Which is bigger: r or q?
r
Let l = -10 + 14. Suppose 44 = 4*v + 4*b, -4*b + b + 41 = l*v. Is v > 8?
False
Let k = 1108 - 1219. Is k at most as big as 1?
True
Let t(i) = -6*i**2 - 5*i + 9. Let w be t(-3). Is w equal to -148/5?
False
Let m(h) = -4*h + 119. Let s be m(27). Let k(y) = -y**2 - 6*y + 3. Let d be k(-6). Suppose -2 = -d*r + 28. Which is bigger: s or r?
s
Let b(j) = -2*j + 7. Let k(i) be the first derivative of -3*i**2/2 - 8*i + 3. Let g be k(-4). Let t be b(g). Which is greater: t or 2/9?
2/9
Let m = -336 + 299.7. Let p = 0.3 + m. Is 0 at most as big as p?
False
Let a = -121/3 + 40. Let t = -3.5 - -3.521. Let d = t - 3.021. Is d less than or equal to a?
True
Let r = 72 - 86. Let t be 2 - (-272)/478*r/4. Which is smaller: 1 or t?
t
Let l = -420 + 2102/5. Which is smaller: -26 or l?
-26
Let a be (-2 - 0)*(-2805)/66. Which is smaller: 84 or a?
84
Let l be 0 - (-18 - ((-1 - 2) + 9)). Is -2 < l?
True
Let k = 2.35 - 0.25. Let z = k - -6.9. Let j = z - 8.9. Is -10/9 at least j?
False
Let p be -8 + (-6 - 232/(-16)). Let a be ((-2)/(-42))/(1/3). Do a and p have the same value?
False
Suppose -20 = 7*x - 2*x. Let u be x/(-12) + 26/(-42). Suppose 2*t - 5*t + 3 = 0. Is t less than or equal to u?
False
Let u = -943/3 - -312. Is u > -0.4?
False
Let y = -2.5 - -12.1. Let r = -22.4 - y. Which is smaller: -1 or r?
r
Suppose -f - 4*j = 17, -3*f + 2*j = 49 + 2. Which is greater: f or -49/3?
-49/3
Let y = 803/3 + -270. Let v be 1 - 3 - 27/(-6)*2. Suppose 4*k + 22 = -v*k. Which is greater: k or y?
k
Let t = -895 - -889. Is -1.1 smaller than t?
False
Let a = -5055/23 + 220. Let m be (-8)/12 - ((-343)/(-92))/(-7). Let k = a + m. Is k not equal to 0?
True
Let l = 151.8 + -164. Let h = l + 15.8. Which is greater: -1 or h?
h
Let y = 1823 - 2191. Which is smaller: 0 or y?
y
Let v = -45 - -46. Let j(a) = 6*a - 3. Let s be j(v). Let q be ((-6)/4)/(1/(-2)). Is q greater than s?
False
Let t(l) = l - 10. Let s(q) = 3*q - 1. Let p be 38/14 - 2/(-7). Let w be s(p). Let a be t(w). Which is greater: -3 or a?
a
Suppose -481 - 114 = -7*d. Let n = -117 + d. Do n and -33 have the same value?
False
Let i = 41 - 51. Let t = -9 + 2. Let z = t - i. Is z less than 1?
False
Suppose -37*w = -31*w - 426. Which is smaller: w or 0?
0
Suppose 0 = -153*b + 152*b + 5. Let p be ((-2)/3)/(3/(-9)). Are b and p nonequal?
True
Let t(k) = 2*k - 15. Let c be t(7). Let g be (-1 - 82/(-104)) + (-13)/52. Which is greater: g or c?
g
Let t = -2.41 - -8.41. Which is smaller: -1 or t?
-1
Suppose -3*f + 31 = 4*v, 0 = -2*f + 4*v - 0 - 6. Let m(c) = -c - 7. Let u be m(-7). Let w = 3 - u. Which is smaller: f or w?
w
Let q be (-1 - 1)/(2/(-14)). Suppose -8*w + q*w = 84. Which is smaller: 15 or w?
w
Suppose -19 = -4*t + 4*a + 25, 5*a = -10. Let j = -7 - t. Let q be ((-8)/j)/((-2)/(-20)). Is q at least as big as 6?
False
Let x(c) = c - 9. Let g be 0*(-1)/2 + -6. Let k = 2 - g. Let f be x(k). Which is greater: -1/3 or f?
-1/3
Let w = -193916/101 + 1920. Is 0 >= w?
False
Suppose -n = 4*g + 161, -5*g + 184 + 721 = -5*n. Is n equal to -176?
False
Let i(h) = -h**2 + 2*h - 2. Let y(j) = -4*j - 3. Let z be y(-1). Let k be i(z). Suppose 2*d + 2*u = 10, d + 2*d = 2*u - 5. Which is greater: d or k?
d
Let z = -107 - -750/7. Let x = 29 + -2. Let f = x + -27. Whi