5 = -q*u. Is -2 at least as big as u?
True
Let a be 2/3 - 501/9. Let f = 274/5 + a. Let d(z) = -7*z - 27. Let c be d(-4). Is c greater than f?
True
Let u(l) = -l**3 - l**2 + 4*l - 11. Let t be u(0). Are t and -45/4 equal?
False
Let i = -113 - -111. Is 34 > i?
True
Suppose 8 = -0*f + 2*f. Suppose -4*p + 16 = f*v, -v - 3 + 11 = 2*p. Is -3/5 less than v?
True
Let y be (-583)/88 + (-3)/8. Do -5 and y have the same value?
False
Let t = -17.3 + 0.3. Let b = t - -16. Which is smaller: 3/2 or b?
b
Suppose 0 = -5*w + 15, 0 = -5*g + 2*w + 6 - 7. Suppose 6*v + 6 = 3*v. Does v = g?
False
Let o be -1*5/15 + (-2)/3. Which is greater: o or 3/28?
3/28
Let n be (-8)/44 - 86/(-352). Is -1 at most as big as n?
True
Let v be (-9)/6*6/9. Let f = 0 - v. Is 0.4 equal to f?
False
Suppose -k - 18 = 2*z, -2*k + 2 = -2*z + k. Let b = -108 + 99. Which is smaller: z or b?
b
Suppose -3*i + 0*g + 2*g = -31, 4*g + 7 = i. Suppose -39 = 242*x - 245*x. Is x greater than or equal to i?
True
Suppose 2*m = -q - 3, -4*q + 5*m - 2*m - 1 = 0. Are q and -7/2 unequal?
True
Suppose -4*b + y = b + 46, -b + 4*y = -6. Suppose -6*t - t - 70 = 0. Are b and t equal?
True
Let a be (-5)/(835/(-332)) + -2. Which is greater: a or -1?
a
Suppose a + 4 = -3*a. Let u = 51/55 + -8/11. Do u and a have the same value?
False
Let y be -2 - (-1 + 21/(-18)). Which is bigger: -4 or y?
y
Let i = 0.97 + -1.17. Let x = -1.7 - 0.3. Is i bigger than x?
True
Let y = -11 + 10.93. Let i = -15.23 - -15. Let v = i + y. Which is bigger: -1/4 or v?
-1/4
Suppose 2*u = 3*u. Suppose u - 5 = -5*t. Suppose 3*x = -7 + t. Is x smaller than -2?
False
Let d = -5 - -7. Suppose -d*j = -2*k + 1 - 3, -5*k - j = -13. Is 2 less than or equal to k?
True
Let h = 78530 - 15548903/198. Let n = -9/22 + h. Is n != 0?
True
Let i = 1.4 - -3.55. Let w = 0.05 + i. Let x = -4.7 + w. Is x bigger than -0.1?
True
Let m be ((-140)/150)/(4/3438). Let f = -799 - m. Is 3 >= f?
False
Let u be 86/10 + 2/5. Suppose 16*i - 12 = 14*i. Let s = i - u. Is -3 smaller than s?
False
Let u(x) be the second derivative of x**5/20 - x**3/2 - 2*x**2 - x. Let s be u(3). Let z be 2/(-7) - 38/s. Is z greater than -2?
False
Suppose 5*f + 0*f + 15 = 0. Do f and -3 have the same value?
True
Let g = 10.9 + -12. Let h = g + 1. Is h >= -1/5?
True
Let u = 867/11 - 79. Let q(o) = -o**3 + 12*o**2 - 10*o - 11. Let a be q(11). Which is bigger: a or u?
a
Let f = -12.21 + 0.21. Let n = f + 12. Which is greater: n or -1?
n
Let m(i) = i**3 - 2*i**2 - 5*i + 3. Let k be ((-6)/(-3))/(4/6). Let a be m(k). Let g = a - -3. Does g = 2?
False
Let m = 8 - -17. Is m less than or equal to 25?
True
Let y = -21 - -106/5. Suppose -8 = -4*a + a + 2*h, 4*a = 3*h + 12. Which is smaller: y or a?
a
Let s = 2.385 + -2.3. Which is greater: s or -1/2?
s
Suppose -3*j - 53 = 4*h, -j - 5*h = 7 + 7. Which is bigger: j or -18?
-18
Let n be (-1)/(-3) - 52/(-6). Let r = 13 - n. Let a = -269 + 274. Which is smaller: a or r?
r
Let q = -0.0528 - 2.9472. Suppose -s - 5 = 4*s. Which is bigger: q or s?
s
Let f be 564/20 - 1/5. Let t be 12*4/f - 2. Which is smaller: t or 0?
t
Let t be 46/(-16) - (-4 - (3 + -4)). Which is bigger: t or 1?
1
Let t be 1/(-1) - 5/(-7). Let s = -0.0936 + -0.0064. Do s and t have different values?
True
Suppose -26 = -5*n - 3*m - 3, -2*m = -3*n + 10. Let u = -14 + n. Is u at least -9?
False
Let q(r) = -1 - 2*r + 17*r**2 + 6*r - 3*r. Let u be q(1). Suppose -4*b + g = -u, -6 = -4*b + 2*g + 8. Are b and 4 nonequal?
True
Let u = -0.1 + 0.3. Suppose -6 = -3*b - 3*b. Is b not equal to u?
True
Suppose 3*q + 12 - 363 = 0. Are 116 and q unequal?
True
Let f be (-5)/(-26)*32/80. Is f <= 0?
False
Suppose -9*g = 11 + 34. Is g not equal to -6?
True
Let g be 0/(((-1)/(-2))/(3/6)). Which is smaller: 1 or g?
g
Let m = -3.99 - 0.01. Let b = m - -2. Which is bigger: b or -1?
-1
Let v(j) = j**2 - 8*j + 6. Let m be v(7). Let n = 0 - m. Is -2/5 greater than or equal to n?
False
Let q = -17 + 16.5. Which is bigger: q or 0.1?
0.1
Let d = 26 + -32.6. Let x = -2 - -9. Let c = x + d. Is -0.1 equal to c?
False
Let q(f) = f + 6. Let b be q(-5). Is b at least 1/37?
True
Let b be (-3)/(-22)*26/(-6). Let i = b + 1/11. Suppose y = -2*y - 6. Are y and i nonequal?
True
Suppose -4*i + 2*w - 4*w = -2, 5*w + 11 = -2*i. Suppose 0 = -i*r - 15 - 1. Is r at least as big as 1?
False
Let h = 2 + -2.03. Let z = -19.97 + 21. Let x = z + h. Is x less than or equal to -6?
False
Let m(n) = -4*n + 5 + 0*n**3 + 2*n**3 - 5 - n**2 + 3. Let w be m(2). Are 7 and w nonequal?
False
Let w(m) be the third derivative of -m**4/8 - m**3/6 - m**2. Suppose 4*h - h = -3. Let u be w(h). Do u and 1 have the same value?
False
Let v = 0.09 + -6.09. Let r = -5.9 + -2.1. Let c = r - v. Is c greater than -1?
False
Let m(q) = -q**3 - 5*q**2 + 2*q + 6. Let r be m(-5). Let t = -4 - r. Let o be 1/4*2 + t. Is -1/5 != o?
True
Let r = -1 - -2. Let j be -5*r*(6 + -5). Let n(q) = -q**3 + 3*q**2 + 2*q + 2. Let t be n(4). Which is smaller: t or j?
t
Let r be ((-260)/8)/(-5)*-2. Is -12 <= r?
False
Let k = 2 + -5. Let f be 1/(2/(-2 - 2)). Is k smaller than f?
True
Let z = -6.3 + 5. Let q = -0.3 - z. Let g = 0.8 - q. Does g = 0.1?
False
Let l(i) = -i. Let t(h) = h. Let b be t(3). Suppose -b*v = -a, 2*v + 6*a = 3*a. Let r be l(v). Is 2/7 at most r?
False
Let k(v) = -v**2 + 3*v + 12. Let y be k(5). Which is greater: y or 3?
3
Let f = -5/34 - 1/51. Let s = -38 + 38.1. Do f and s have the same value?
False
Let j(i) = -i**2 - 8*i - 5. Let b be j(-6). Let u = b + -11. Is u <= -4?
True
Let l = -7 - -13. Let i = l - 15/2. Are i and -1 nonequal?
True
Let l be (-7)/(-2) - 3/(-6). Let m = 3 - l. Let o = -0.071 - -0.011. Is o <= m?
False
Let k = -1169.03 - -1175. Let b = k - -0.03. Which is bigger: b or 0.1?
b
Suppose 0 = 4*m + 1 - 9. Suppose 0 = -m*t + 4. Suppose t*k - 1 = -3. Which is smaller: -1/4 or k?
k
Let f(b) = 8*b**2 + 14*b + 10. Let i(d) = 7*d**2 + 13*d + 9. Let p(v) = 6*f(v) - 7*i(v). Let c be p(-6). Let l be 3/27 + -3 + c. Are l and 0 non-equal?
True
Let d = 0.07 - 0.17. Let t = 1 - 0.5. Which is smaller: t or d?
d
Let o = 251/5 - 1887/35. Is o > -3?
False
Suppose 4*q - 6*q = -128. Let b = q + -702/11. Are -3 and b unequal?
True
Let g be (12/9*-3)/1. Let c = g + 2. Let p be (-1)/(-3) - 20/6. Is p at least c?
False
Let v = 12/19 - 333/76. Let r = -67/20 - v. Which is greater: -1 or r?
r
Suppose -u - 8 = -6*u - j, -2*u + 11 = 3*j. Is -4/47 greater than or equal to u?
False
Let g(p) = 5*p**2 + p - 1. Let v be g(1). Suppose v*r = -1 - 4. Is r <= -1/3?
True
Let k be 1*2/(-1 + 3). Let o(g) = -g**2 - g. Let n be o(0). Let c(p) = -p**2 + p + 2. Let r be c(n). Which is bigger: k or r?
r
Let l be 25/(-20) + 1 + 0. Let o = -9/4 + l. Which is smaller: o or -3?
-3
Let j be (0 - 3)*2/6. Let u be 99/11 + 3/j. Which is bigger: u or 4?
u
Let a = -0.04 - -0.64. Let f = a - 0.8. Which is greater: f or 0.3?
0.3
Suppose 0*z = -4*z - 8. Let h be 15/2*(-5)/(-3). Let y = -13 + h. Is z less than or equal to y?
True
Let r = -6 + 3. Let j be -2*r/(-6) + -17. Let q be (-12)/j - (0 - 0). Which is smaller: q or -4?
-4
Let v(c) = -c**3 - 7*c**2 + c + 4. Let b be v(-7). Let q be (b/72)/(3/6). Suppose 0 = -w + 2*w. Are w and q unequal?
True
Let f = -2.736 + 0.036. Which is greater: f or -1?
-1
Let p(s) = 2*s**2 - 2*s. Let b be -1 - (2/2 - 0). Let z be p(b). Suppose 6*i - 2*i = z. Do i and 2 have different values?
True
Suppose -5*z = -4 - 1. Let a(l) = -l - 6. Let g be a(-8). Let p be (-23)/65 + g/10. Which is smaller: z or p?
p
Let j = -1.1 - -2.1. Suppose 6 = 3*m - 3*n - 3, n = -2*m - 6. Let w be (-6)/9 + m/3. Which is smaller: w or j?
w
Let n be (-36)/(-210)*(-2 - -9). Are n and 1 nonequal?
True
Let y = 16 - 31. Which is smaller: -14 or y?
y
Suppose 4*l - 7*g - 104 = -2*g, 5*l - 93 = -3*g. Is l < 18?
False
Let b be (-10)/6 + 1/(-3). Let x = b - -2. Suppose 5*l = 2*p + 8, x = -2*l + 3*p - 3 + 15. Which is smaller: 2/5 or l?
l
Let a = -18 - -19. Is 0 less than or equal to a?
True
Let z = 3.5 + -3. Let v = -0.5 + z. Let d = v + -0.3. Which is smaller: d or 2?
d
Let c = -86 - -86. Is -1/12 greater than c?
False
Let x = 81 + -3967/49. Do x and -1 have the same value?
False
Let c = 663/5 - 8649/65. Are c and 1 equal?
False
Suppose 3*z - 129 = -3*f, -f + 2*f = z + 35. Is 40 equal to f?
False
Suppose 5 = 2*d - 7.