r g?
h
Let o be 2/10 + 774/30. Suppose -2*s = -2*j - 14, 0 = -7*j + 2*j + 2*s - o. Let w be 2*2/j + 0. Is w less than 1?
True
Suppose -3*q = q + 32. Let t be 2/3 - q/6. Is t >= 1?
True
Let f be 1 + (-1 - 0/2). Let c = f - 1. Let q = 7 + -5. Is q bigger than c?
True
Let n = 0.21 + -0.24. Is n bigger than -4?
True
Let x = -3507 + 2367. Let c be ((-69)/12)/((-27)/x). Let f = c - -243. Which is smaller: f or 1?
f
Let u(z) = -z**3 + 13*z**2 + z - 11. Let p be u(13). Let x be (-4)/(-6) - 0/2. Is x greater than p?
False
Suppose -v = 3*d + 14, 3*v + d = -3*d - 17. Let m be ((-43)/2*-2)/6. Let z = 233/30 - m. Which is smaller: z or v?
z
Let d = 3 - 3. Let q = -0.4 - d. Is 0.1 equal to q?
False
Suppose 4*y = 6*y - 4. Suppose -y*a = a - 6. Suppose -15 = -5*g + 2*c, 0 = -3*g - 0*g + 4*c + 23. Is g equal to a?
False
Let f(m) = m**3 - 4*m**2 + 6*m - 5. Let p be f(5). Let c = -30 + p. Let x be 25/c + (-2)/4. Is x < 0?
False
Let t be (-15)/105 - (17/28 - 0). Which is smaller: t or -2?
-2
Suppose -18*l + 14*l + 16 = 0. Let c = 15 - 10. Is c greater than l?
True
Let x(l) = l**2 + 2*l. Let o be x(-2). Suppose 4*c = -o*c. Let s = c + 1. Are s and 1 non-equal?
False
Let c(q) = -q**3 - 5*q**2 + 2. Let u be c(-5). Suppose -6*p = -u*p. Let r = 0 - 0. Are p and r non-equal?
False
Let j = -9.9 + 7.9. Is j <= -0.2?
True
Let w = 0.02 - -1.78. Let m = w - 0.8. Which is bigger: m or 1/2?
m
Let y be ((-39)/780)/((-3)/5). Let w(g) = g**3 - 5*g**2 + 2*g - 7. Let k be w(5). Let z = -4 + k. Does y = z?
False
Let q be 3/90*6*1*-54. Is -10 < q?
False
Let l = 205/4 - 51. Which is smaller: l or 0.3?
l
Let m be (-4)/6 + (-13)/3. Let n = -10 - m. Which is greater: -4 or n?
-4
Let m = 4.7 + -5. Which is greater: -2/19 or m?
-2/19
Let h(z) = -z - 6. Suppose -4*n = -3*n + 6. Let a be h(n). Which is bigger: -1/9 or a?
a
Let q(u) = -u + 8. Let l be q(-6). Let x be (-24)/(-14) - (-4)/l. Let s be 8*4/8 - 2. Is x > s?
False
Let n be -3*(22/(-6) - -2). Let m = n - 12. Which is smaller: 0.1 or m?
m
Let q be 4/18 - (-204)/54. Suppose -q*j - 9 = 5*s + 11, j + 5 = s. Suppose 2 = -2*d - 0. Which is smaller: s or d?
d
Let y(s) = -3*s + 7. Let r be y(-5). Suppose 0 = -3*g - l + r, -2 = -4*g + 3*l + 10. Suppose -o = -g*o. Which is greater: 1 or o?
1
Let q = -3 + 6. Let c be (q + -2)/(3/12). Let b be ((-3)/(-2))/((-2)/(-4)). Which is smaller: c or b?
b
Let h be 4635/33*(-2)/6. Suppose 4*x = -34 + 222. Let l = x + h. Do l and 1 have different values?
True
Let m(t) = -t**3 - 6*t**2 + 5*t - 10. Let n be m(-7). Suppose 3*o = 5*o - 10. Which is smaller: n or o?
n
Let q(h) = h**2 - 3*h + 5. Let p be q(4). Let n = -0.03 + 0.13. Is n at most as big as p?
True
Suppose 10*m - 9 = 11*m. Which is greater: -2/9 or m?
-2/9
Suppose 4*r = -0*r + 4. Let b = r - 1/2. Which is smaller: -1/3 or b?
-1/3
Let b(x) be the third derivative of -x**4/24 + x**3/6 - 4*x**2. Let l be b(0). Which is smaller: l or -2?
-2
Suppose 13*w = 21*w + 1088. Is w bigger than -137?
True
Let j = -16 + 18. Is 1 smaller than j?
True
Suppose n = -2 - 0. Suppose -4*g - 16 = -4*v, 5*g + 16 = -4*v + g. Let l = -2 + v. Is n at least as big as l?
True
Let m be (3/(-2))/((-4)/6). Which is greater: 3 or m?
3
Suppose a + 19 = 2*x, 3*a - 1 + 46 = 5*x. Suppose -k - x = -3*k + 3*g, 5*g = -20. Is 2/11 less than or equal to k?
False
Let l be (-3)/10*(-2)/(-1). Let y = 3 + -5. Let d be y*2/4 - -1. Is d > l?
True
Suppose 14*h - 10*h - 4 = 0. Let s = 0.46 - 0.5. Is s greater than h?
False
Let o(x) = 16*x**2 - 3*x + 2. Let k be o(1). Let v(w) = -w + 12. Let i be v(k). Let n be (-7 + 1)*(-2)/(-4). Is i <= n?
True
Let p = -9.0484 + 0.0484. Suppose 0 = -0*x + x. Is x <= p?
False
Suppose 8 = 2*n - 16. Which is smaller: 11 or n?
11
Let j = 58357/5 + -11740. Let p = 68 + j. Which is smaller: -2 or p?
-2
Let v be (-1)/(-3) + (-8)/(-3). Let u be 1/1*(v - 4). Let y be ((-1)/(-4))/(10/(-16)). Which is greater: y or u?
y
Let f = 1967/11 + -179. Let m be (-3 + 3)/(0 + 2). Do f and m have the same value?
False
Suppose 0*q = -q - 2. Let f be (1 - (1 - 1)) + -2. Let c = f + 0. Which is smaller: c or q?
q
Let p = 139.98 + -137. Let x = 3 - p. Is -0.1 less than or equal to x?
True
Let w = -22.73 - 0.27. Let x = w - -23.5. Which is smaller: x or 0?
0
Let b be 130576/(-420) + 2/(-10). Let u = b - -311. Which is smaller: 0 or u?
u
Suppose 3*o = 12 - 0, -4*u - 2*o = -16. Let m(r) = -r**3 + 3*r**2 - 4*r + 2. Let t be m(u). Which is greater: t or 2/3?
2/3
Let s = -0.29 + 0.3. Let r = -0.054 - -0.044. Let c = s + r. Which is smaller: c or 3?
c
Let a = 17 + -16.3. Let m = 0.7 - a. Is 5 at least m?
True
Let j be (66/(-9))/((-8)/12). Let s = j + -11. Is s at most 12/11?
True
Let o(w) = w**2 - 9*w + 9. Let h be o(8). Let f be 17/(-30) - h/(-6). Is f greater than 5?
False
Let b = 3 + -2. Suppose -4*h + 49 = 5*x, -x - 3*x + 14 = -h. Suppose -4*k = -4*p, p + 0*p - 3*k = -h. Which is smaller: b or p?
b
Let q = 0.19 + -4.19. Which is greater: q or 2/19?
2/19
Let u = 1.2 - 1. Let j = -0.93 - -0.13. Let x = u - j. Is x smaller than 1?
False
Let m be 40/18*((-1)/(-2) + -2). Suppose 5 = -5*l - 5*f, -5*l + 3*f + 5 - 26 = 0. Is l at least as big as m?
True
Let n be 1 + -2 + (-446)/(-528). Let g = n - -1/33. Let c = -3.2 - -3.3. Which is smaller: g or c?
g
Let i(t) = t**2 - 11*t - 7. Let j be i(12). Suppose -5*f + j = -0*f. Do f and 10/9 have different values?
True
Let f = 0.03 + -3.03. Let i = 123 + -122. Are i and f equal?
False
Let u = -9 + 0. Let b be (6 - 0)*(-3)/u. Suppose -a - 3*z - b = -2*z, 26 = 5*a - 4*z. Is 3/2 not equal to a?
True
Let a = -5 - -13. Suppose -u - a = -5*u. Which is smaller: u or -1?
-1
Let w = 0.02 + -0.12. Let v be 2/(3/(-12)*2). Does v = w?
False
Suppose 4*d + 4*a + 105 = 3*a, -4*a = -2*d - 48. Do 1/4 and d have the same value?
False
Let r = 105 - 105. Do r and -14/15 have different values?
True
Suppose 25 = -2*t + 7*t. Let r be t/60*(-4)/2. Suppose -3*x + x - 20 = -5*z, -4*z = -x - 16. Is x smaller than r?
False
Let m be (-351)/(-6)*(-4)/(-6). Which is smaller: m or 40?
m
Let i(b) = 2*b**2 + 12*b - 10. Let n be i(-7). Are 5 and n equal?
False
Let u = -6.76 + -0.94. Let j = u - -8. Let z = 0.4 - j. Is 0 >= z?
False
Suppose 48 = 4*i - 0*i. Let f = 86/7 - i. Let u = -0.1 + 0.2. Is u <= f?
True
Let h(c) = c - 27. Let m be h(25). Is m greater than 1?
False
Let u be 5/((-10)/(-12)) - 3. Suppose -u*z - 24 = -7*z. Is z greater than or equal to 2?
True
Suppose 2 - 5 = -3*f. Let a be (-2)/(-1) + -3 + f. Let h = 3 - a. Are h and -1/3 nonequal?
True
Suppose -n - 73 = -74. Which is smaller: n or -9/5?
-9/5
Let q = -13 - -19. Let u be (6/9)/(2/q). Let b(m) = -m**2 + m + 1. Let a be b(1). Is u equal to a?
False
Suppose -16 - 4 = -5*y. Suppose -2*l + 3*a + a = -4, -3*l - y*a = 14. Let q be 135/36 + l/8. Which is greater: q or 4?
4
Let n be (-2)/8 - (-45)/6. Let q = -7 + n. Suppose 5*f = 2*w - 18, f + 14 = -2*w - 2*f. Are q and w equal?
False
Let f be (6/15)/(1/5). Suppose -2*k = -4*p + 20, 10 = 2*k - f*p + 4*p. Which is smaller: k or -3/7?
-3/7
Let n = -3 - -12. Let d be (4 - -1)*n/15. Let u(l) = -3*l**3 + l**2 + l + 1. Let r be u(-1). Is r >= d?
True
Let l = 4 - 3. Let i be l/(0 - 1) - -1. Which is smaller: i or -1/11?
-1/11
Let k = -1 + 4. Let g = k + -1. Suppose -g*p = 6*r - 3*r, 0 = -5*r + 3*p. Which is smaller: r or 2/31?
r
Suppose 4*w = 7*p - 2*p - 60, -5*p = -3*w - 40. Are -18 and w non-equal?
True
Suppose -170 = -3*l + 4*x - 0*x, -2*l + 75 = 5*x. Which is smaller: 49 or l?
49
Suppose h - 8 = 3*h. Let u = -149 + 583/4. Which is bigger: h or u?
u
Let g = 1 + 4. Suppose 3*o = -4*p - 5, 15 = -6*p + p + g*o. Is p <= -1/2?
True
Let c be 0 + 4 + -1 + 1. Let g(r) = 0*r + 5 - 3*r + c*r. Let u be g(-6). Is -2/5 bigger than u?
True
Let a be (-1 + 1)*(-2)/(-4). Are -1/23 and a nonequal?
True
Suppose -g + 6*g = -160. Is -32 not equal to g?
False
Let p = -10.4 + 0.4. Let x = p + 9.8. Let s = -11 - -7. Are s and x equal?
False
Let d = -5.872 - -0.072. Let h = -0.3 + 6.3. Let a = d + h. Which is smaller: a or -1/2?
-1/2
Let b = -163/51 + -8/17. Are b and -3 nonequal?
True
Let n = -0.45 - -0.15. Let u be 3*-8*1/(-2). Suppose -3*h - z = 4*z - 20, 0 = -4*h + 3*z - u. Which is greater: n or h?
h
Let t be 108/(-20) - 2/(-5). Let a = 11/2 + t. Which is smaller: 3/2 or a?
a
Let v = -10.1 - -1.1. Let