t f be 15/(-13) + 1 - 120/65. Are f and -1 unequal?
True
Let g(z) = -z**2 - 5*z + 2. Let m be g(-5). Suppose m*q = 4*q - 18. Let f be 1/(1*(-3)/q). Is f greater than or equal to -2?
False
Suppose s + 5 = w, 0*s + 4*w = 3*s + 16. Let i be (4 + -6)*(-2)/(-6). Are s and i equal?
False
Let c = -28 - -48. Is c less than or equal to 20?
True
Let j(d) = -d**3 + 6*d**2 + d - 3. Let v be j(6). Let r = 4 - v. Is r != 0?
True
Let b be 2*((-3)/2 + -1). Let p = b + 7. Let r be ((-16)/12)/(p/(-3)). Is r <= 0?
False
Let y(h) = h**2 + 1 - 4 - 7 - 6*h. Let t be y(7). Let l be t/(-12) - 1/36. Which is bigger: -1/3 or l?
l
Let z = -2 - -2. Let n(i) = i**3 - i**2 - 5. Let r be n(z). Is r < -5?
False
Let h = 60 + -60.1. Are h and 37/2 unequal?
True
Suppose 4*l + 0*g - 4*g - 20 = 0, 4*l = -2*g + 14. Suppose -l*v = -8*v + 4. Are v and 0 unequal?
True
Suppose 12 - 34 = n. Let p = -12 - n. Which is greater: p or 9?
p
Let w = -70 + 62.9. Let l = w - -7. Are 2/3 and l nonequal?
True
Let t(h) = 2 - 2*h**2 + 4*h**2 + 2*h - h**2 + 3*h. Let f be t(-3). Let c be -2*1/f*-6. Is c at least -2?
False
Let f(t) = t**3 + t**2 - 2*t - 1. Let k be f(-2). Let c = -2 - k. Which is bigger: c or 2/21?
2/21
Suppose 0 = -2*v + 2, 3*d + 3*v - 2 - 16 = 0. Is d != 11/2?
True
Let d = -0.7 - -0.1. Let w = 0.4 - d. Let j = 1.4 - -0.6. Which is greater: w or j?
j
Suppose 7*s + 829 = 248. Which is greater: -82 or s?
-82
Let a(n) = n**3 + 4*n - 7*n**2 - n**2 + 8 + n. Let c be a(7). Let y be (c/12)/(1/6). Is -3 smaller than y?
False
Let z = -21.6 + 9. Let n = z + 13. Which is bigger: -2/5 or n?
n
Let w = 56 - 55. Is -41 >= w?
False
Let d = -0.5 + 0.53. Let g = 0.04 - d. Let v = 1.01 - g. Which is bigger: 2 or v?
2
Let c be 1 + (-56)/20 + -4. Is -5 at least c?
True
Suppose 80 = -14*w + 6*w. Is w <= 1/4?
True
Let z be 2/13 + 112/(-52). Let r be (-1 + -6 - z) + 2. Is r at most 0.1?
True
Let v(c) = -c**2 + 5*c + 2. Let f be v(3). Let q(d) be the second derivative of d**3/6 - 9*d**2/2 - d. Let o be q(f). Which is bigger: 2/11 or o?
2/11
Let u(w) = w**2 - 7*w - 2. Let r be u(6). Let y(n) = n**3 + 9*n**2 + 9*n + 10. Let k be y(r). Suppose -2*z = -2*p - 2, -17 + k = 5*p. Which is smaller: -3 or z?
-3
Let b be -2*(2 + 3/(-2)). Let o = 3 + b. Suppose o*c + 5*n + 0 = -2, 4*c = n - 4. Which is smaller: -2 or c?
-2
Suppose -u = 4*f + 29, 2*u - 5*f + 0*f = -71. Is u greater than -33?
False
Let n(u) = -3*u - 6. Let c be n(-7). Let i be (-25)/(-30)*(-4)/c. Is i less than -1?
False
Suppose 6 = 3*g + 4*k, 0 = -5*g + 4*k - k + 39. Let y = -2 - -2. Suppose y = -3*v - 4 + 16. Which is smaller: g or v?
v
Suppose 0 = 2*n - 5*m - 24, -4*m - 31 = -5*n - 6*m. Is 7 > n?
False
Suppose 3*m + 2*m - 16 = 3*k, -5*k - 5 = -4*m. Let l = -10 + 14. Is k greater than or equal to l?
False
Suppose 5*o = 3*d - 25, -5*o - d = 32 + 13. Which is smaller: -10 or o?
-10
Suppose 5*y - 4*m + 48 + 49 = 0, y + 13 = 4*m. Let b(o) = 2*o + 2. Let h be b(2). Let k be h/9 - (-20)/y. Is k greater than 0?
False
Let g be 14/16 + 2/(-4). Let h = -8 - -11. Suppose 7 - h = -4*j. Is g bigger than j?
True
Let g be -1 - 9/(-7) - 0. Let i = 3 - 3. Which is smaller: i or g?
i
Suppose -6*p - 208 = -2*p. Let q be ((-6)/8)/((-13)/p). Let x(b) = -2*b**2 - 4*b - 2. Let a be x(-2). Are a and q nonequal?
True
Let h be (1 - 0)/((-1)/7). Let z(j) = -j**3 - 8*j**2 - 6*j + 9. Let s be z(h). Let m = 4 + -2. Is m <= s?
True
Let r(f) = f**3 + 9*f**2 + 6*f - 9. Let b be r(-8). Suppose 0 = b*g - 5*g. Is g < 2?
True
Let p = 11 - 16. Let a be (0 - 4/(-2)) + p. Do -2/7 and a have the same value?
False
Suppose 0 = -2*x + 4*v + 2, 5*v + 0*v - 15 = 0. Let h be 33/(-12) + -4 + x. Which is smaller: h or 3/4?
h
Suppose m - 2*s - 4 = 0, 2*m - 3*s - 6 + 0 = 0. Let g = -26/7 + 57/14. Let x = -6/7 + g. Which is bigger: x or m?
m
Let j = -24 - -20. Is j at most -4?
True
Let k be -1*((-42)/18)/7. Which is smaller: 21 or k?
k
Let x = 2.73 - 2.9. Let z = -0.07 - x. Let p be -1*2*2/(-4). Which is bigger: z or p?
p
Let c be (-1)/3*(1 + -1)/3. Which is smaller: c or -1/39?
-1/39
Suppose 5*j - 5*y + 0*y - 25 = 0, 3*j = y + 17. Let a = j - 5. Is a greater than or equal to 3/8?
True
Let u(o) = -o**3 + 3*o**2 + 3*o. Let i be u(4). Let n be -10*1*(-2)/i. Is n at most as big as -5?
True
Let m be (-2)/10 + -7 + 7. Suppose 0 = -s + 6 - 0. Suppose 5*o + 15 = 3*y, 2*y + 4*o - s = -18. Is m less than or equal to y?
True
Suppose 0 = 2*t - 3*t - 5. Let g be ((-20)/(-6))/(3/(-9)). Let b = 6 + g. Is t at least b?
False
Let x be (-72)/(-6)*157/9. Let v = -19462/93 + x. Which is greater: 1 or v?
1
Let k be 2/5*(-25)/(-20). Let n be (0 + -3)*8/(-6). Let x be 21/27 + n/18. Which is greater: k or x?
x
Let s(g) = g**3 + 2*g**2 + 2. Let o be s(-2). Suppose -d = -4, -o*u - 3*d + 3 = 1. Suppose -5*b - 9 = 11. Which is greater: b or u?
b
Suppose -3*q - 16 = -2*f, 10*f + 3*q + 8 = 8*f. Let g = 191 + -1333/7. Which is smaller: f or g?
g
Let c = -0.99 - -0.69. Which is greater: c or -1?
c
Let m(s) = -s**2 + 7*s - 2. Let a be m(6). Suppose 9*b = a*b - 15. Is b at least as big as -3?
True
Suppose 0*z = 7*z - 147. Which is smaller: 2/7 or z?
2/7
Let d(g) = 3*g**2 + g - 1. Let z be d(1). Let a = -26.1 + 28.1. Does z = a?
False
Suppose 0 = -y - 4*y + 40. Let p be (-6)/(-4) + 4/y. Let x be ((-3)/(-5))/((-2)/(-10)). Is x equal to p?
False
Let n = -8 - -6. Let k be 2/((-5)/3 + 1). Is k equal to n?
False
Let k be (2/10)/(26/65). Which is smaller: 3 or k?
k
Let q be 7/(-2) - (-2)/(-4). Let p be (-1*2/q)/(-2). Let j = 1 - 0. Is j != p?
True
Let c be 7/1*(-2 - -3) - 4. Let u = 0 - -1. Is u at least c?
False
Let c = -1645/122 + -1/61. Which is smaller: c or 1/3?
c
Let m = 0.4 + 0.9. Which is smaller: 1 or m?
1
Let t = -3/4 + 1/4. Which is smaller: 0 or t?
t
Let x(w) = -w - 7. Let p be x(-8). Let c = 0.8 + 2.2. Let f = c + -4. Does f = p?
False
Let p = 9/65 + -1009/715. Is p <= 0?
True
Let l be 30/20*4/(-6). Is -5 != l?
True
Let p = -79 + 79.2. Is 3 > p?
True
Let i be ((-2)/4)/(28/16). Suppose a - 23 = -0. Suppose -3*f - 2*v - a = 2*v, 2*f = 5*v + 23. Which is bigger: i or f?
i
Suppose -119 = 4*y + d, 5*d = -2*y - 37 - 18. Which is smaller: y or -29?
y
Let s(v) = -6*v**2 - 2*v + 4. Let a be s(2). Is a > -23?
False
Let k be (-14)/(-3)*(-9)/(-6). Suppose -8*m + 3*m = -4*u + 58, 4*u - 44 = -2*m. Suppose -k*c = -3*c - u. Which is smaller: c or 4?
c
Let s be -2*(-1)/((-2)/(-2)). Let q be s*(-1 + (0 - -2)). Suppose -3*g - q = -2*g. Is -1 greater than g?
True
Let b be (-258)/(-2394) + 1/(-7). Is 1 bigger than b?
True
Let i = 0.13 + -0.13. Let u(s) = -s**2 - 2*s + 1. Let x be u(-3). Which is smaller: i or x?
x
Suppose -k - 6 = k. Is k at least as big as -5?
True
Let m(a) = -a + 4. Let h(b) = b + 2 - 4 + 0*b. Let w be h(6). Let r be m(w). Which is greater: r or 1?
1
Let f = 0.071 + 0.049. Is 0.5 equal to f?
False
Let q = -11 + 11. Suppose -5*m = -7 - 18. Is m at least q?
True
Suppose -2*j - j + 91 = -4*o, o = 5*j - 146. Suppose 0 = -4*n - 20, 5*n + 11 = -5*x - j. Which is greater: x or -2?
-2
Let o = -97 + 91. Which is bigger: o or -28/5?
-28/5
Suppose 5*d = -4*a, 3*a - a + 3*d = -2. Which is greater: a or 50/9?
50/9
Suppose 0*m = 2*i + 3*m + 21, 3*m + 9 = -i. Let w be (-5)/i - 2/3. Which is greater: w or -1?
w
Let y = 41665 - 292203/7. Let r = y - -78. Which is smaller: 1 or r?
r
Let a = -4.2 - -4. Let x = a + -0.2. Let d = 0.6 - x. Which is smaller: 0 or d?
0
Let c(r) = r**3 + 3*r**2 + 3. Let o be c(-3). Suppose 2*h - 18 = 4*k, h - o*h + 8 = -2*k. Is -5 equal to k?
True
Let l = -0.013 + 0.413. Do l and 1/14 have the same value?
False
Let g(s) = 3*s**2 - s - 2. Let k be g(-1). Is 2 at least k?
True
Let p be (0/(-2))/(-1 + 0). Suppose 2*n - 3*n = p. Let s be n/2 + (0 - 0). Is 2/23 > s?
True
Suppose d - 7*d + 174 = 0. Is 29 < d?
False
Suppose 0 = -3*q + 2*q + 24. Is q > -0.1?
True
Let a = -3 - 2. Let c be 0/(-5) + 1 + a. Let b be (-22)/(-18) + c/18. Which is smaller: b or 0.1?
0.1
Let m(y) = -y**3 + 8*y**2 + y - 7. Let j be m(8). Let n = j - 13. Let s be 1/4 + 27/n. Is -2 at most s?
True
Let m be 1/2 - (-2)/(-4). Let x be -1 - 1 - (-69)/30. Is m smaller than x?
True
Let i = -5/11 + 268/33. Let f = i + -8. Which is bigger: f or 0?
0
Let v be (1 + -30)*1/(-1). Suppose -v = -5*q - 4, -z + 4*q - 15 = 0. Suppose u + 5 = 3*c - 8, 3*u + c - 11 = 0. Wh