. Are g and 3 equal?
False
Let v be (20/(-18))/(18/(-27)). Is v at most -4?
False
Let v(p) be the first derivative of -p**2/2 - 7*p + 1. Let z be v(-8). Let n be (-1 - 0 - z)/(-2). Which is smaller: n or -0.1?
-0.1
Let u(c) = 2*c**2 + 4*c + 3. Let v be u(-3). Is v != -2?
True
Suppose 0 = 5*z + 20, 3*c - 3*z = 15 - 0. Let a = 102 + -512/5. Which is bigger: c or a?
c
Let u = -125 + 126. Which is smaller: u or -20?
-20
Let v be (-1)/(-2*(-2)/4). Which is greater: v or -2/17?
-2/17
Let p = 28.8 - 29. Which is greater: -9/2 or p?
p
Let w(t) = t + 2. Let a be w(5). Let m = -4 + a. Let o(q) = -q**3 - 3*q**2 + 4*q + 3. Let h be o(-4). Is h smaller than m?
False
Let w = 3/22 + 4/11. Let c be (-3 - 1*-1)/(-2). Is c at least as big as w?
True
Let n = -4 + 7. Let z be n/6 - 1 - 1. Is -1 less than z?
False
Let q = -3 - 3. Let i be (5/(-10))/((-1)/2). Is q greater than or equal to i?
False
Suppose 5*m + 6 = 1. Which is smaller: m or -1/20?
m
Let f = -4 + 2. Let g(i) = -i - 1. Let r = -3 + 0. Let p be g(r). Which is smaller: p or f?
f
Suppose -2*p - 154 = -3*r, -6*r + r - 231 = 3*p. Are -76 and p nonequal?
True
Suppose 4*h + 5*b - 12 = 0, -4*h + 6 = 2*b - 6. Suppose 0 = -i + h*v + 7, -4*i + 4*v - 8 = -20. Is i greater than or equal to -0.02?
True
Let i(f) = f**3 - 10*f**2 + 10*f - 10. Let k be i(9). Is -3/14 not equal to k?
True
Let n = 15 + -21. Let w = n - -14. Which is greater: 1/3 or w?
w
Let c = -3.2 + 3. Is c > 6?
False
Suppose 5*g = -4*f + 55, -3*g - 5*f = -5*g + 22. Which is smaller: 12 or g?
g
Suppose -5*g + 8 = -4*q, 5*g - 2*q + 2 = -3*q. Let c be 3*(0 + 1) - g. Suppose 4*y - 1 = c. Does y = -1/3?
False
Let i be 1*(-4)/8*1. Suppose 0*z = -4*z. Which is smaller: i or z?
i
Let s = 3803/7 - 545. Is -2 < s?
True
Let x = 2.28 - 0.28. Which is greater: x or 3?
3
Let q be (-2)/(-4) - 10/(-4). Which is greater: q or 4?
4
Suppose -d - n + 1 = 3, 0 = -5*d + 3*n + 14. Is -1/23 < d?
True
Suppose 4*f - 69 = -3*t - f, -f - 51 = -3*t. Which is greater: t or 17?
t
Suppose 0 = 5*g + 2*o - 41, 2*o - 20 = 3*g - 51. Are g and 10 unequal?
True
Suppose 19 = -i + 3*s, -4*i - 35 - 14 = -3*s. Which is smaller: i or -12?
-12
Let x be (-1)/(-2)*4/9. Let t = 11 - 7. Let m(p) = p - 3. Let r be m(t). Which is smaller: x or r?
x
Let v = -248/5 + 50. Let x = -0.02 - -4.02. Let l = 4 - x. Which is smaller: l or v?
l
Let n = 0.08 + 5.92. Let i = 5.8 - n. Is -3 <= i?
True
Let c = -6 + 4. Let d = -128 - -638/5. Which is greater: c or d?
d
Let s = -4461/17 - -262. Which is smaller: -1 or s?
-1
Let w be -1*2*1/6. Suppose 1 - 4 = -3*m. Let o be 2/(-6) - m/(-3). Which is greater: w or o?
o
Let s = -16 - -11. Let b = -4.97 - s. Let r = b + -3.03. Which is smaller: r or 0.1?
r
Let a be 884/91 - (-4)/14. Suppose -b = -3*b + a. Do b and 5 have different values?
False
Suppose -2*r - 45 = l, -55 = 2*r + 3*l - 0*l. Let i be (r/10)/(14/(-3)). Do i and 2/7 have different values?
True
Let w = 8 - 15. Is w at most as big as -8?
False
Let p(t) = 6*t**3 + 2*t**2 - 6*t + 3. Let f be p(2). Is 47 != f?
False
Let y = -28 + 53. Let g = y - 128/5. Is -2/7 at least g?
True
Let j = 2 - 1.6. Let u = j + 0.2. Let y = u + 0.4. Is y equal to 3/4?
False
Let f = 12 + -20. Which is bigger: f or -1/2?
-1/2
Let p(f) = -16*f - 2. Let o be p(-2). Let v be (-3532)/o - (-2)/6. Let q = -117 - v. Which is smaller: q or 1?
q
Let n be (-10)/(-40) - (-1)/(-4). Is n smaller than 1/2?
True
Let q = 107 - 104. Is 3 smaller than q?
False
Suppose 2*f + 4 = 6. Which is greater: f or 2/37?
f
Let y = 8/11 + -91/110. Suppose -2*m = -6*m - 8. Let l = m - -3. Are y and l equal?
False
Let w = -0.14 + -0.06. Which is smaller: w or 1/7?
w
Let b = 0 + 19. Let d = b - 19. Is 0 bigger than d?
False
Let g = -706 - -710.01. Let w = g - 4. Which is greater: 2/3 or w?
2/3
Let w be ((-12)/39)/1*75/(-20). Which is bigger: w or 1?
w
Let a = -0.1 + 0.2. Let m = 7.94 + 0.06. Let i = -4 + m. Is a greater than or equal to i?
False
Let b(r) = -r**2 + 6*r - 2. Let z be b(5). Suppose -g + 8 = 4*u - 4*g, -5*u = z*g + 17. Which is bigger: u or 2?
2
Let v be 394/770 + (-20)/70. Let c = -2/77 + v. Which is bigger: -1/5 or c?
c
Suppose -14 = 2*x + q, 4*x + 44 = 3*q - q. Let g be 4 - 0 - (1 - 1). Let u = x + g. Which is greater: u or -4?
-4
Let h(p) = 2*p**2 - 4*p + 2. Let b be h(2). Let w be b/(-8) + 6/24. Let a = -5788/15 - -386. Is w at most a?
True
Let d be (-159)/(-60) + 4/(-10). Let h = d - 23/12. Let c = 2.6 - 0.6. Is h at most as big as c?
True
Suppose -15 = -a - 2*a. Suppose -4*q - a = 3. Let k be q/5 + 102/30. Is k at least 3?
True
Let m = 31 - 29. Which is bigger: 4 or m?
4
Let y = 0 + 0.95. Let n = -0.05 - y. Let z = -1 - n. Which is greater: -0.1 or z?
z
Let x be (-2)/4*6/19. Let s = x + -23/95. Let w = -25 - -25. Which is smaller: w or s?
s
Suppose -m = 2*m. Suppose 3*z + 15 = -m*z. Let s(c) = 6*c + 8. Let n be s(-2). Is n at least z?
True
Let g(u) = u**3 + 5*u**2 - u - 2. Let b be g(-5). Let h be 2/b + (-4)/9. Suppose 3*i - 2*i = 0. Which is smaller: i or h?
i
Let w = -1.2 + 0.5. Let n = -14 - -14.7. Let v = n + w. Are 2 and v non-equal?
True
Suppose b - 5 = 0, 4*k - 7*k - b = 1. Let z = 13 - 11. Suppose 0 = -3*g, a + z*g = -3*g - 2. Is k less than or equal to a?
True
Let d(i) = -i**2 - 5*i - 1. Let w be d(-4). Let a be w/15 - (-4)/(-45). Is 0 at least as big as a?
False
Let s be 1/(-3)*0 + 1/8. Is s less than 1/2?
True
Let o be ((-10)/(-3))/(0 + -2). Let a = 2 - -2. Suppose -2*j + 13 = 5*m, j - 5 = -a*m + 6. Is o != j?
True
Let q = 0.6 - 3.6. Let k = q + 4. Let g(d) = -d**2 + 7*d - 9. Let x be g(6). Is x >= k?
False
Let g = 0.9 + -4.9. Let l = -3 - g. Which is bigger: -1 or l?
l
Let s(m) = -m**2 + m + 1. Let g be s(0). Let o = -7 - -7. Which is bigger: o or g?
g
Let m = 22 + -40. Let h be (-1 - -3)*2/m. Which is smaller: 0 or h?
h
Let g be -2*(-9)/(-12)*4/6. Is 5/26 > g?
True
Suppose -37*t + 47*t - 10 = 0. Suppose 2 = 3*h + 38. Let i be h/10*2/(-6). Is i >= t?
False
Let k = 0.3 + -0.1. Let o = -0.3 + k. Let l = 25.3 - 20.3. Is o at most as big as l?
True
Suppose -3*u - 2*b = 25, -u + 4*u + 4*b = -35. Let j be 4 - (-3)/((-9)/3). Suppose -j = a + 4. Which is smaller: u or a?
a
Suppose 3*j - 9 = b, 3*b + j = -0*b - 17. Which is bigger: b or -7?
b
Let f be 63/(-14)*2/(-3). Let u = -1 + f. Let c be (-8)/(-3) - (-2)/6. Which is smaller: u or c?
u
Let p = -0.11 + 5.11. Let s = p + -5. Is s > -0.4?
True
Let k(h) = h + 14. Suppose -23*s + 16 = -25*s. Let a be k(s). Is 7 at least as big as a?
True
Let u = -344/7 - -49. Do u and 0.4 have different values?
True
Let k be (16/(-10))/(6 - (-66)/(-12)). Is -4 < k?
True
Suppose 60 = 5*q - 3*k, 4*k + 47 = 3*q - 0*q. Is 9 at most q?
True
Let y be 0/((4 + -6)/(-1)). Suppose y = -3*b + b - 16. Is b > -8?
False
Let d = 0.36 + 1.54. Let v = d - 2. Does 2 = v?
False
Let x(z) = z - 11. Let w be x(9). Let o(l) = -2*l**2 - 3*l - 1. Let y be o(w). Let k be 2/(-6) + 2/y. Do 2/13 and k have different values?
True
Let g(s) = s - 8. Let o be g(10). Suppose 3*y + 4 = -o*b, -1 - 1 = -5*y + b. Let v be -2*((-2)/14 - y). Which is smaller: v or 2/15?
2/15
Let d(f) = f**3 + 4*f**2 - 4*f + 7. Let o be d(-5). Let m be (-7 + 12)*o/(-5). Is m less than or equal to -1/2?
True
Let k = 23 - 20. Which is greater: k or 1.1?
k
Let u(k) = 4*k - 4. Let o be u(6). Let p be (-8)/o*(-1 - -6). Let w be 0/(1 + 2 + p). Is 1 >= w?
True
Suppose -2*d - 15 = 3*d. Which is bigger: d or 0?
0
Let x = -11 + 10. Which is smaller: x or 1?
x
Let d = 853805/76 - 11234. Let h = d + 9/19. Is h bigger than 0?
True
Let p = 4 + -3.6. Let y = 7 - 6.7. Let g = y - p. Which is smaller: 1 or g?
g
Let c = 4 + -4. Suppose -5*i - 146 + 368 = t, -2*t - 5*i + 444 = c. Let m be t/(-42) + 2/7. Are m and -4 nonequal?
True
Let d(n) = 2*n + 12. Let b be d(-7). Let l = -0.8 + 1. Which is smaller: b or l?
b
Let c = 25 + -24. Which is smaller: c or 11/5?
c
Let j = 5 + -2. Suppose j*b + b = 0. Which is smaller: b or 3/5?
b
Suppose 2*m + 2 = 4*m. Let q be (-3)/28 + 2/8. Is q != m?
True
Let u be ((-10)/24)/(1/(-4)). Which is greater: 1 or u?
u
Let b = 0.52 - 0.52. Let p = 5.7 - 5. Is p >= b?
True
Let g = 3.77 - -0.43. Let c = g - 0.2. Which is greater: 1 or c?
c
Let x = 2 - 2.1. Let s = x - 0. Suppose -g - l = 2, -g + 13 = -7*l + 3*l. Which is bigger: g or s?
g
Let m be -1 - -1 - (-1