True
Suppose -n + 2 = -0*n. Suppose -3*h = n*h. Which is smaller: -1 or h?
-1
Let j(r) = -12*r - 23. Let y be j(-2). Is 2/121 > y?
False
Let g = -0.2 + 0.3. Let h = 0.9 + g. Let v = -2553 + 2552. Is h greater than v?
True
Suppose 4*v = 0, -v + 84 = -4*g - 0*v. Let o be (-1)/7 + g/(-49)*-2. Let d = -16 - -78/5. Which is greater: o or d?
d
Let l = -2 - -5. Suppose -28 = l*z + 29. Are z and 2/3 equal?
False
Let a = -27 - -27. Which is bigger: -22 or a?
a
Let h = 0.928 + -0.99. Let t = 0.238 - h. Are -0.4 and t nonequal?
True
Let u = 10.1 + -3.1. Let y = u + -7. Let s be 34/110 + 2/(-5). Are s and y non-equal?
True
Suppose -4*h + 5*v + 13 = 0, 9*v - 5*v - 40 = -4*h. Suppose 3*x + 3*l = 18, -l - l = 0. Is h at least as big as x?
True
Let s = 9 + -8. Let u = 10 - s. Suppose -7*f + 4*f + u = 0. Which is bigger: f or 4?
4
Suppose 0 = -0*c - 2*c - 120. Let s be 6/37*(-30)/c. Which is smaller: s or 1?
s
Let c = 24 - 18. Suppose 4*q = c*q + 2. Is q at least as big as 2?
False
Let i(d) = -2*d - 26. Let x be i(-8). Suppose -u + 2*h = 4, 0 = u + 2*u + 5*h - 32. Suppose u*y = y - 30. Is y at least x?
True
Suppose -3*x - 18 + 6 = 0. Let i(q) = -q - 5. Let a be i(x). Let p be (5/250)/a*2. Are -1 and p equal?
False
Suppose -2 = y - 3*y. Let x be -1*(y - 1)/(-3). Which is smaller: x or -2/71?
-2/71
Let o be ((-9858)/(-212))/(4/((-224)/3)). Is -868 > o?
False
Let j = -1040 + 1047. Let b(k) = -k + 2. Let p be b(-6). Let l = p - j. Which is bigger: 7 or l?
7
Suppose 126*j - 127*j + 89 = 4*h, 75 = 3*h - 2*j. Does 29 = h?
False
Let n = -2300 - -2299. Let v be 0 + -2 + (-15)/(-7). Which is bigger: n or v?
v
Let f = 0.018 - 0.438. Let o = f - -0.52. Which is bigger: 3/7 or o?
3/7
Let o = 2017 - 2148. Is -131 < o?
False
Suppose -305 = 11*y - 1977. Suppose 5*p + y = p. Is p greater than -37?
False
Suppose -2*f + 10 = -z + 3, 3*f + 4*z - 16 = 0. Let y = -10 + f. Suppose -14 = 6*k + 22. Is y at least as big as k?
True
Let z = 0 + 2. Let q be (-4486)/(-12) + (-3 - -1). Let x = q + -371. Is z <= x?
False
Let n = 303.4 - 302. Which is smaller: n or -2/11?
-2/11
Suppose 52*c + 128 = 48*c. Let v = c + 14. Which is smaller: v or -19?
-19
Let z be (-2)/6 - (-14)/6. Suppose -33 = -z*s + 45. Let y = s - 32. Which is smaller: y or 8?
y
Let g(j) = -j**3 - 7*j**2 + 6*j - 12. Let x be g(-9). Suppose -8*y = -56 - x. Are y and 17 equal?
False
Let x = -7.4 + -63.6. Let y = 73 + x. Which is smaller: y or -2/3?
-2/3
Let u = 196 - 238. Is u greater than -44?
True
Suppose -u - u = 104. Let r = 74 + u. Are r and 22 equal?
True
Let n be 13 + -16 - (0 - 150/47). Which is smaller: n or 1?
n
Let i be -8 - -5 - (-1 - 2). Suppose i*q + l - 37 = 3*q, q + 13 = l. Is -13 at least as big as q?
False
Suppose 10*x - x = -288. Which is smaller: x or -35?
-35
Let f be ((-33)/15)/((-2)/10). Let g = f - 1. Is g greater than 8?
True
Let s = -13 + 14. Let y = 711.52 + -712. Do y and s have the same value?
False
Let o(h) = 3*h + 3. Let q be o(-1). Suppose q = 4*p - c, -2*c + 3*c = 2*p. Let x = -9/5 + 13/10. Is p greater than x?
True
Let f = -135 - -293. Which is smaller: f or 155?
155
Let k = -0.1 + 0.1. Let b = 8.485 - 34.485. Which is greater: b or k?
k
Let m be 2/4 + (-8)/(-16) - -2. Suppose 2*u + m*w = -2*w + 7, 2*u - 3 = -w. Which is greater: u or 4?
4
Let g be ((-192)/168)/(2/7). Is -8/3 less than g?
False
Let a be 146/(-3) - (-44)/66. Which is smaller: -42 or a?
a
Let u = -60.6 - -79.6. Which is smaller: u or -6/19?
-6/19
Let h = -4 + 4. Suppose -1 = -i, 4*c - 7*i + 29 = -2*i. Is c not equal to h?
True
Suppose 0 = -3*d - 410 - 19. Does d = -141?
False
Let z be (-2)/(-4) + (-18)/(-4). Let t be ((-200)/(-12) - 17)/(4/(-66)). Which is smaller: t or z?
z
Let m(t) = t**2 - t + 3. Let f be m(5). Suppose 0 = -l + 3*l - 8. Suppose o = s + l, 0 = 4*o - 5*s + 3 - f. Which is smaller: o or 7/6?
o
Let x = -52.4 + 55. Let g = -2.6 + x. Which is smaller: 12 or g?
g
Let f = -4/139 - 242/1251. Let s = 0.2 - -0.4. Let p = s - 0.2. Which is smaller: f or p?
f
Let t = 18.48 + -17.48. Which is greater: -0.05 or t?
t
Let o be 4/((-4)/(-4 - -6)). Let q be ((-7)/35)/(o/30). Suppose -2*w - q = -u, -3*w - 4*u + 21 = -2. Is w equal to 9/5?
False
Let m = -358 + 359. Which is greater: -1/8 or m?
m
Suppose -11*s = -301 - 128. Is 38 not equal to s?
True
Let l be ((-63)/(-7))/((-3)/(-39)) + -6. Is l equal to 110?
False
Let u(o) = -2*o**2 - 6*o + 18. Let t be u(-9). Let r be (4/3 + -1)/((-15)/t). Are 10/7 and r non-equal?
True
Suppose 48 = 32*m - 31*m. Are m and 50 nonequal?
True
Let g = -35 - -90. Let m = g - 61. Is -1 greater than or equal to m?
True
Suppose 5 - 1 = -x. Let m(d) = -d**2 - 5*d - 2. Let o be m(x). Suppose -4 = -0*s - o*s. Is s bigger than 5/2?
False
Let y be (-2)/(-6) - (-10)/(-12). Let l(g) = g - 1. Let o be l(6). Let i = 5 - o. Are y and i equal?
False
Let k(c) be the third derivative of c**4/24 - 13*c**3/6 + 15*c**2. Let x be k(5). Is -8 less than x?
False
Let w = 2 - 127. Let i = 116.95 + w. Let n = 0.05 + i. Is 0 greater than or equal to n?
True
Suppose 3 = 9*i - 33. Let k be (-70)/i*(-20)/225. Are k and 2 equal?
False
Suppose -6 = 4*r - 130. Let x be (-2)/r - 0/15. Is x at least 0?
False
Let b be 2/(-2) + 4/(-6). Let c = -137 + 124.9. Let z = -12 - c. Is z smaller than b?
False
Let r = 0.08 + -1.18. Let v = -1.12 - r. Is v greater than 0?
False
Suppose -4*i + 2 - 50 = 0. Which is bigger: -19 or i?
i
Let d(b) = -b**3 - b**2 + b - 1. Let m(w) = -7*w**3 - 12*w**2 + 2*w - 1. Let t(q) = -6*d(q) + m(q). Let s be t(-5). Is s > 2/175?
False
Let h(j) = 5*j - 12. Let m be h(7). Suppose 22*r = m*r. Is 6 greater than or equal to r?
True
Let b(i) = 10*i**2 - 4*i - 11. Let t be b(5). Is 219 equal to t?
True
Let v = 41.28 + 10.72. Which is smaller: v or 1/2?
1/2
Let y = -3507843/517 + 6785. Which is greater: y or 1?
1
Let t(c) = -c**2 + 13*c + 4. Let n be t(13). Suppose 0*q + 12 = -n*q. Let b be (-2)/q - (-12)/6. Is b <= 4?
True
Let c = -0.511 + 0.051. Let z = c + 0.06. Which is smaller: 1/2 or z?
z
Let m be (162/(-84) - -2)*8. Is 7 greater than m?
True
Let k = 23 + -15. Suppose 0 = 2*s + 5*o - k, -3*s - 2*o - o + 12 = 0. Which is bigger: -2 or s?
s
Let a = 0 - -4. Suppose 0 = -a*c + 60 - 12. Let w = c + -8. Which is greater: 3 or w?
w
Let p(s) = s**3 + 7*s**2 + 3*s + 4. Let i be 8*((-105)/20)/7. Let j be p(i). Is 21 at least as big as j?
False
Suppose -35*k = -15*k - 20. Is 3/65 != k?
True
Suppose 51 + 25 = 5*c - 2*f, 3*f - 47 = -4*c. Is 16 less than c?
False
Suppose 5*p - 9*p = -16. Let a = p - 19. Let c be 10/a*(-6)/(-4). Is c at most -4/7?
True
Let f(v) be the second derivative of v**4/24 + v**3/2 + v**2 + 3*v. Let s(c) be the first derivative of f(c). Let j be s(-2). Which is smaller: -3/7 or j?
-3/7
Let v = 401 - 24468/61. Which is bigger: 1 or v?
1
Let a be (-10)/(-6) + (-2)/3. Let o be (20/(-420))/((-4)/36). Which is smaller: a or o?
o
Let j be 14/140 - 296/260. Which is greater: -2 or j?
j
Let z = 1 + -1.1. Suppose 104*x - 102*x - 5*g = 77, g + 109 = 4*x. Do x and z have the same value?
False
Let t = -6837009/2180 - -12545/4. Let l = t - 4933/3815. Let p = 6 - 7. Which is smaller: p or l?
l
Let c = 23.3 - 23. Suppose 3*x - g - 4 + 2 = 0, 0 = 3*g + 15. Let j = x - 0. Does c = j?
False
Let r = 1220 + -1222. Is r >= 0.072?
False
Suppose -2*t = t - 6, -4*r - 16 = -4*t. Let y be -1 + r/6 + (-2)/(-9). Is -2 bigger than y?
False
Let s be (12/3 - 4) + (-12)/(-2). Is s greater than 5?
True
Let d(w) be the third derivative of w**4/8 + 14*w**3/3 - 19*w**2. Let v be d(-8). Which is smaller: 5/2 or v?
5/2
Suppose -5 = 6*m - m. Let t be 2/(2/(-1))*m. Let x = 14647 - 161105/11. Is x greater than or equal to t?
True
Let o(j) = j**3 - j**2 + j - 1. Let c(f) = -10*f**3 + 4*f**2 - 6*f + 5. Let n(i) = c(i) + 5*o(i). Let m be n(-1). Is m less than or equal to 0.2?
False
Let b = -11/491 - -3765/124223. Let n(a) = -134*a - 2011. Let h be n(-15). Is h <= b?
True
Suppose 5*s - 3*i = -11, -i + 2*i = -3*s - 1. Let r be (-45)/(-75)*10/3. Which is smaller: r or s?
s
Let y be 3/(-6)*38/(-1). Suppose -5*l = 4*n - 3 - 24, -5*l = 3*n - 24. Let o(x) = 7*x - 3. Let j be o(l). Is j >= y?
False
Let y = -224 - -222. Suppose -x - i + 23 = -4*x, -x - 26 = -4*i. Let o = -3 - x. Do o and y have different values?
True
Let c = 10.27 - 8.37. Is 7 <= c?
False
