 have the same value?
False
Let c = -0.7 - -1. Let m = 0 + -0.08. Let r = m + -0.02. Does c = r?
False
Let r be 12/42 + 12/7. Suppose 2*t + 3*t = 4*d + 20, -r*d = 5*t - 20. Which is smaller: 2 or t?
2
Let m(f) = -f**2 - 7*f. Let g be m(-7). Suppose g*s + 3*s = 3. Does s = 2/3?
False
Let f = -6080 - -88783/15. Let p = f - -161. Which is smaller: p or 1?
p
Let v = 2.06 + -0.06. Let s = 0 + -2. Which is bigger: v or s?
v
Let i = 45398/117 + -388. Which is smaller: i or 1?
i
Let i be 3 - (7/2 - 3). Does i = 4?
False
Suppose c - q = -10, -2*q = -0*q + 2. Is c != -10?
True
Suppose -180 = -2*l - l. Let y be (l/(-18))/(4/(-18)). Suppose 0 = -a + 3, -5*q + 5*a - y = -3*q. Is q smaller than 0?
False
Suppose -g - 2*y - 16 = 2*y, 2*y = -10. Suppose g*q + q = 0. Is q at least -1/10?
True
Let q = -29 + 27. Is -1/2 greater than q?
True
Let h = 0.1 + -0.1. Let i = h - 1. Let g = -303/4 + 75. Is i >= g?
False
Let v = -0.8 + 0.7. Let i be (-14)/6*4/14. Let b = 1/6 + i. Which is smaller: v or b?
b
Let y be 1/(((-5)/2)/(-5)). Suppose y*d - q + 5*q = 2, 15 = 4*d - 3*q. Let b = -3 - -5. Which is greater: b or d?
d
Let u be 0 + -3 + (-68)/(-20). Which is bigger: u or 2/7?
u
Let s = 9.6 - 13.7. Let q = 4 + s. Is 0.1 smaller than q?
False
Let o(c) = c**2 - 9*c - 4. Let d be o(9). Let f be 2 + 7*-1 + 0. Is d not equal to f?
True
Suppose 2*u - 22 = -4*b, 0 = 3*b - 0*u - 2*u - 6. Let r = b - 1. Suppose -5*w - 4*d = -17, 5*w - 27 = r*d - 2*d. Which is greater: 4 or w?
w
Suppose -3*z + 34 = -4*r, -15 = -3*r + 2*z - 40. Let m = -2 - r. Suppose h = 5*s + 21, 4*h + 3 = -5*s + 12. Which is greater: h or m?
h
Let w = -1/5 - 3/10. Which is greater: -2 or w?
w
Let k = -18.8 + 19. Is k at most as big as 0.4?
True
Let o = 0.05 - -1.95. Let n = 1 - o. Let j = 2.01 - 0.01. Is j at least n?
True
Let c = 2841/2 + -1450. Let s = c + 30. Is s < 2?
True
Suppose a + 21 = 5*u, -5*u + 6 = -19. Do a and 1 have different values?
True
Let z(f) = f**2 + 5*f - 6. Let v be z(-8). Suppose -7*d = -d + v. Is 1/4 greater than or equal to d?
True
Let n = -58 + 289/5. Let p = -4 - -3.9. Does p = n?
False
Let w be (0 + (-1 - 0))/5. Suppose -2*n + c - 57 = 0, n + 4*c + 136 = -4*n. Let k = n + 28. Which is smaller: k or w?
w
Let a = 139/8 + -35/2. Let j(l) = 6*l**3 + 3*l**2 - 4*l - 1. Let b(o) = 7*o**3 + 3*o**2 - 5*o - 1. Let k(x) = 5*b(x) - 6*j(x). Let u be k(-2). Is a >= u?
True
Let w = -110 - -111. Is w not equal to 16.8?
True
Let a = 2 - 3. Let o = -1.2 - a. Does o = 3/5?
False
Let z be ((-3)/4)/((-171)/(-24)). Let b be 3/3*1*-1. Is b > z?
False
Let y be ((-6)/76)/((-6)/8). Suppose p = -3*p. Which is smaller: p or y?
p
Suppose 2*x - 4*x = 0. Let c = 8/9 + -95/117. Do c and x have different values?
True
Let h(t) = 5*t**3 + 40*t**2 + 53*t. Let c(m) = m**3 + 10*m**2 + 13*m. Let o(d) = -9*c(d) + 2*h(d). Let r be o(11). Which is greater: 2/9 or r?
2/9
Let m be 398/(-330) - 8/20. Let a = m - -3/11. Is a at most as big as -1?
True
Let z(d) = d**2 - 4*d + 4. Let b be z(3). Suppose 2*p - q + b = p, 3*q = p + 5. Let l be (-5)/3 - (-12)/18. Is l bigger than p?
False
Let m = -0.1 + 0. Let g = -10.1 - -10. Let r = g - m. Is -3 > r?
False
Suppose 0 = u + 11 - 20. Which is smaller: 8 or u?
8
Let h be 5/(-10)*30/(-3). Suppose -c = -h*c + 16, -3*k = -4*c + 13. Is k less than or equal to -1/18?
False
Let v be ((-6)/4)/(6/(-8)). Suppose -n - 3*n + 20 = 0. Suppose n*u - 6 = 2*u. Is u less than or equal to v?
True
Suppose 4*d - 4 = -4*f, 0*f + 5 = f + 3*d. Let u be (4/5)/(f/5). Let g be (-5)/3 - u/6. Which is bigger: 0 or g?
0
Let x = 5.4 + -5. Is x greater than or equal to 1/6?
True
Let d(w) = w**3 - 2*w**2 + 2*w - 3. Let v be d(2). Let m = 156 + -1245/8. Do m and v have the same value?
False
Let v = -73 + 587/8. Suppose -9*a + 4*a + 20 = 0. Let l = 5 - a. Which is bigger: l or v?
l
Let u(q) be the second derivative of q**3/6 + 2*q. Let t be u(-3). Is t smaller than -2?
True
Let d be (2/6)/(2/(-45)). Which is greater: -9 or d?
d
Let h = 1756/3 - 585. Let t = -0.35 + 0.3. Which is smaller: t or h?
t
Let r be 234/(-20) - 3/6. Let j = r + 12. Which is smaller: j or 0?
j
Let c be -1 + (-2)/(-1) + -9. Let a = c + 8. Which is smaller: a or -7?
-7
Suppose 2*t = 4*x - 24, 3*x - x + 5*t = 0. Suppose -36 = -4*v - x*g, v + 6*g = g + 24. Suppose -5*p - 21 = m, -v*p + 3 = 4*m + 7. Is -5 at least p?
True
Let a be ((-6)/(-8))/(-4 + 1). Which is bigger: a or 8?
8
Let c = 10.1 + -10.4. Which is smaller: -0.2 or c?
c
Let m be ((-9)/(-8))/(3*1). Let j be -6 + 54/8 + (-2)/(-8). Which is greater: m or j?
j
Suppose -8 = 16*g - 20*g. Is 1/4 >= g?
False
Suppose 2*f - 24 + 22 = 0. Let j = -309/4 - -78. Is f bigger than j?
True
Let c be ((-46)/(-16) - 3)*1. Is c at least -1/11?
False
Let b(g) = g + 7. Let y be b(-4). Suppose 0 = -y*z - 0*z - c + 2, 5*c + 3 = -2*z. Which is bigger: 0 or z?
z
Let x = 0.2 - -4.8. Let l = 0.07 - 7.07. Let c = l + x. Which is smaller: c or -1?
c
Let k be ((-6)/(-4) + 1)*2. Let y be 5 - (3 - 1 - -2). Suppose k*c + 4 = -y. Which is greater: c or -1/6?
-1/6
Let j be (-3)/(-6) + (-1)/10. Let m = -13 - -22. Let r = 6 - m. Which is bigger: j or r?
j
Let f(j) = j**2 - 2*j - 1. Let b(n) = 2*n**2 - 5*n - 2. Let l(s) = -3*b(s) + 7*f(s). Let i be l(2). Suppose 0 = 4*y + y + i. Are y and -1 non-equal?
False
Let k = 12 + -4. Do 9 and k have different values?
True
Let x be 1 - (2 + 10 + 2). Let j(r) = r + 9. Let o be j(x). Which is smaller: o or -3?
o
Let r be 0 - (5 - 2)*-5. Suppose -r = -8*a + 3*a. Suppose 0 = -2*w - 1 + a. Do w and -1 have different values?
True
Let b = 397 + -21839/55. Let x = b - -3/11. Let j(a) = -2*a + 1. Let y be j(1). Which is smaller: y or x?
y
Let g = 13 - 43. Is g at most -29?
True
Let u = -0.3 - -0.9. Let r = u - -0.4. Let t = 0 + r. Do 0 and t have the same value?
False
Let n be -15*(40/6)/(-2 + 4). Is n != -50?
False
Let f = -0.05 - 0.55. Let s = f - -0.6. Is -3 >= s?
False
Let y = -0.6 + 0.2. Let h = 0.3 + y. Let z = h - -0.2. Which is bigger: -2 or z?
z
Let i = -27 + 26. Let x = 4 + -8. Which is greater: x or i?
i
Let c(v) = v - 5. Let w be c(6). Let b = -6 + 7. Do w and b have the same value?
True
Let w = 103/4 - 729/28. Let i = -1 - -0.3. Let b = -0.6 - i. Is w < b?
True
Let p(i) = -5*i + 1. Let r(o) = 14*o - 4. Let l(n) = 17*p(n) + 6*r(n). Let b be l(-11). Is 2 less than b?
True
Suppose -3*d + 2*f = 17, -3*d = 6*f - f - 11. Let s = 204 - 206. Which is smaller: d or s?
d
Let p = 505/3 + -2447/15. Let s = p - 6. Is s != 0?
True
Suppose 3*q - 61 + 13 = 0. Is 16 > q?
False
Let k = 0.1 - 0.1. Let f be (-2)/15*20/(-12). Which is smaller: k or f?
k
Let j = 4.3 - 4. Let t be (-2)/(-3) - 48/126. Which is smaller: j or t?
t
Let n = 10 + -13. Let i = n + -1. Is -4 at least as big as i?
True
Let m = 5 - -3. Suppose 4*b - 24 = t, 10 = 3*b + 4*t - m. Let c(h) = 2*h**3 - h. Let v be c(-1). Which is bigger: b or v?
b
Suppose 4*w + 3*y + 2*y = 20, 5*w - 3*y - 25 = 0. Is w bigger than 26/7?
True
Let v be ((-1)/(-3)*0)/(-1). Suppose -5*y + v*y = -190. Let k = -151/4 + y. Which is greater: k or 1?
1
Let q(t) = -t**3 + 9*t**2 + 7*t + 9. Let k be q(-6). Let p = k - 20786/41. Let o = p + 35/246. Which is greater: o or -1?
o
Suppose 5*x - 2*x = -87. Let f = 5697/4 + -27913/20. Let i = x + f. Which is smaller: i or 1?
i
Suppose -5 = 3*v - 8*v. Let q = -4 + 6. Suppose q*b - v = b. Is b not equal to -2/5?
True
Let o = -133.1 - -133. Which is bigger: 45 or o?
45
Let x be 1208*5*2/(-38). Let b = x + 318. Which is smaller: b or 1?
b
Let b = 98.95 - 101. Let s = -0.05 - b. Does 1/3 = s?
False
Let y be (-1)/3 - 26/(-6). Does 1 = y?
False
Let b = 1178 + -1160.86. Let x = b + -17. Let c = x - 0.84. Is c greater than or equal to 2/7?
False
Let m = 10 - 6. Suppose 3*u + 5*b + 8 = 0, m*b = -2*u - 3 - 3. Let n = -2 - u. Which is bigger: n or 0.2?
0.2
Suppose -p + 2 = 5. Which is greater: p or -27/7?
p
Let r = -0.3 + 0.2. Let b = 4 + -7. Let c be ((-1)/8)/(b/18). Which is smaller: c or r?
r
Let j = 21395/13 - 1645. Is j < 2?
True
Suppose -k = o - 7, 0*k - 1 = 2*k - 3*o. Let j = -21 - -29. Let p = -5 + j. Which is greater: p or k?
k
Let n = 45 + -47. Which is bigger: -5/4 or n?
-5/4
Let w = 2.3 - 2. Let i = -1.2 - 1.6. Let l = -3 - i. Is w not equal to l?
True
Let y = 1/7 + -13/42. Let u(q) be the first derivative of -q**4/4 + 8*q