4*u + 8. Is r greater than or equal to -10/9?
True
Let j = -709/5 - -146. Suppose 2*h - 9 = -h. Which is greater: j or h?
j
Let d be 4 + (-2 - -2) + -2. Let q be (2/(139 - -1))/((-1)/d). Suppose 0 = -0*j + j + 1. Are j and q unequal?
True
Let g(y) = 2*y**3 - y**2 - y + 2. Let u be g(-2). Do u and -16 have the same value?
True
Let k = -40/213 + 2899/4473. Let p = -2/63 + k. Which is bigger: p or 0?
p
Let w be ((-83)/166)/(14/(-4)). Let n be -4 + (-2)/(2/(-1)). Are w and n unequal?
True
Let d be (-1)/3 + (-343)/21. Let c = -21 + 5. Which is smaller: c or d?
d
Let w be 5/(-5) + 3 + 11. Suppose -2*m - w = 3. Is -2 equal to m?
False
Let k = 34.8 - 180.8. Do k and -1/2 have different values?
True
Let u(h) = -h**3 - 9*h**2 + 9*h + 14. Let j be u(-10). Suppose -4*z - j = -3*z. Which is greater: z or -25?
z
Let p = 31.4 + -4.4. Let n = 37.3 - p. Let j = n + -10. Is -0.3 bigger than j?
False
Let x = 591 - 597. Which is smaller: 0.8 or x?
x
Suppose -183 = -3*u - 537. Let b = -1060/9 - u. Let i = 25 + -23. Is b bigger than i?
False
Suppose -2*y = 3 - 1. Suppose 0 = -4*w + 6*w + 5*h + 72, 0 = -2*w - 2*h - 60. Let g be (4/w)/(-1) + 108/(-1209). Is g at most y?
False
Let g(l) = 2*l. Let n be g(4). Suppose -11*a - 81 = -2*a. Let w be a/(-60) + (-6)/(-10) + -1. Is n at most w?
False
Let c be 2*(18/4)/(-9). Let v(a) = -5*a + 6. Let q be v(7). Let k be 3/6*4/q. Is k bigger than c?
True
Let k(c) = -9*c**2 - 5*c - 5. Let x be k(-2). Let n = 26 + x. Which is greater: 1 or n?
1
Suppose 4*g + 24 = -12. Let q = 40 + -28. Suppose -q = 3*l - l + 4*t, 5*l + 60 = 5*t. Which is smaller: l or g?
l
Let i be (-38)/8 - 15/(-20). Let m be 14/5 + i/(-20). Suppose 8 = 4*n - 4*o + 28, -3*n - 15 = m*o. Is n smaller than -9/2?
True
Let v = -79 - -34. Suppose -105 = 4*b + 75. Is b at least v?
True
Let c(v) = v - 8. Suppose 0 = -3*q + 91 - 13. Suppose 5*h + 11 = q, 5*x - 25 = 5*h. Let l be c(x). Which is greater: l or 1?
1
Suppose -3*z - d = -7, 5 = -3*z - 0*d + 2*d. Suppose -5*s - 4 - z = 0. Which is smaller: s or -5/4?
-5/4
Let w(r) = -3*r. Let h be 6 + (6/3 - 5). Let y be w(h). Is -23/3 greater than y?
True
Let m be 4030/150 + (-3)/(18/4). Which is smaller: 25 or m?
25
Let g = -1661 + 1600. Which is bigger: -4/3 or g?
-4/3
Let l(u) = -u**3 - 6*u**2 + 2*u + 2. Let i be 8/(-2) + (-30)/15. Let s be l(i). Which is bigger: -11 or s?
s
Let g be (-2787)/30 - 8/(-20). Let d = 511/6 + g. Are -6 and d equal?
False
Suppose -4*r = -29 + 1. Let n be 4/(-7) - (r - 8). Which is greater: n or -1/2?
n
Let w = 141 - 140.87. Let y = w + -0.23. Does -1/4 = y?
False
Suppose -4*w - 16 = -5*l, 4*l - w - 19 = -l. Suppose 3 = l*k - 17. Suppose 3*z = k*z - 4. Is z greater than or equal to 0.2?
True
Let z = 10 - 7. Let t be 6 - 1/z*3. Let l = 0.42 + 0.58. Which is greater: t or l?
t
Let y = 2386 - 2387. Let m be 2/64*-2*2. Is m >= y?
True
Let s be -95*(-2)/4 - (-12)/(-24). Let f = 53 - s. Does f = -7?
False
Let m = 18 + -18. Let d be 3 + 0 + 1 + m. Let i(f) = -f**3 + 13*f**2 + 15*f - 12. Let c be i(14). Do d and c have different values?
True
Let s be 4/4 - 87/(-3). Let v be ((-20)/6)/((-5)/s). Which is greater: v or 21?
21
Let w = 1962 - 1963. Is 1/1563 equal to w?
False
Let q = -15/10489 + -5139415/136357. Let k = -75/2 - q. Let u = k + -67/78. Is u > 0?
False
Suppose 9 = -723*d + 732*d. Which is smaller: 51/44 or d?
d
Suppose -j - 26 + 3 = 0. Let w(z) = 20*z**2 + 2*z - 2. Let t be w(1). Let a = j + t. Which is smaller: a or -4?
-4
Suppose 0 = -3*x - 0 + 12. Suppose -x*z + 15 = z. Which is bigger: 4 or z?
4
Suppose 45*a - 66 = 42*a. Is 22 at most as big as a?
True
Let z be (3/(-9))/((10/138)/(-5)). Suppose q = -4*l + 20 + z, -45 = -3*l - 5*q. Are 10 and l non-equal?
False
Let n be (5/((-20)/476))/(0 - 1). Which is smaller: n or 121?
n
Let r = -9.691 + -0.309. Which is greater: r or -3/17?
-3/17
Let o(r) = r**3 + 6*r**2 + 3*r - 10. Let n be o(-2). Is -2/619 less than n?
True
Let t = 0.0809 + -0.0809. Does t = -58?
False
Suppose -o + 14 = 10. Let f = 12 - 8. Let v be -1*3*f/(-4). Which is bigger: o or v?
o
Let r be 48/80*(-9)/21. Which is smaller: 1 or r?
r
Let w = -2.67 + 219.67. Is 1/3 bigger than w?
False
Suppose -v - 2*l = 3, 5*v - 5*l = -3*l + 33. Suppose 0 = -5*q - w + v, 33 = q + 3*q - 5*w. Are q and 2 nonequal?
False
Let l(t) = 5*t**3 + 4*t**2 - 4*t - 1. Let a(i) = -i**3 + 1. Let x(w) = 4*a(w) + l(w). Let j be x(-5). Which is smaller: j or -20/7?
-20/7
Let x be 224/(-46) - (-1 + -3). Let q be (-1674)/(-920) + (-2)/(-8). Let y = q + x. Is y greater than 1?
True
Let z be (11/99)/((-2)/178). Which is smaller: -11 or z?
-11
Let r(d) = -d + 8. Let u be r(6). Suppose 88*x - 1 = 87*x. Suppose x = v + u. Is v greater than or equal to -7?
True
Suppose j - 4 = 10*u - 12*u, 3*u = 4*j + 6. Which is bigger: -2/1807 or j?
j
Let r be (-2)/(-25) + 132/(-400). Which is greater: 3 or r?
3
Suppose t = a - 14, a - 4*a + 56 = 4*t. Let m be 1 + -2 + 1 + 15. Is m smaller than a?
True
Let k = 1455 + -1455.1. Which is smaller: 283 or k?
k
Let u = -81354082 + 1050687968431/12915. Let l = -3/205 - u. Which is smaller: 0 or l?
0
Let n = -867 + 1027. Is n equal to 160?
True
Let s = 29.85 - 31.1. Which is smaller: s or -1/4?
s
Let i(x) = -3*x**2 + 1. Let c be i(2). Let d be (1*c)/(-6 + 7). Let b be (-1 + 1)/(13 + d). Is b < -2?
False
Suppose -342*g - 87 = -339*g. Which is smaller: -18 or g?
g
Let r = 40 - 41. Let x(i) = -i + 3. Let v be x(6). Let h(y) = y + 2. Let z be h(v). Is r <= z?
True
Let r(q) = -q**2 - 6*q - 13. Let m be r(-8). Which is smaller: -179/6 or m?
-179/6
Let f = 468.2 + -468. Which is bigger: 0.88 or f?
0.88
Let k(q) = -11*q + 1. Let r = 22 - 20. Suppose -r*f + 4*f = 5*a - 5, -5*f + 2 = 2*a. Let z be k(a). Is z > -10?
False
Let w = 1.02 + -0.63. Is w greater than or equal to -1?
True
Let k = -14 - -14. Suppose k = b + 1. Let n = -1/21 - 79/105. Which is bigger: n or b?
n
Let q = 82 - 134. Is -51 at least as big as q?
True
Let b(m) be the first derivative of 3 + 0*m - 3*m**2 - 1/3*m**3. Let x be b(-6). Do x and 2/41 have the same value?
False
Let f = -12.8 - -0.8. Let u = -12.6 - f. Let y = u - -1.6. Is 0.2 smaller than y?
True
Let h = 466 + -439. Is h bigger than 20?
True
Let t = -55.2 - -25. Let v = t + 30. Which is smaller: v or 11?
v
Let p = 335.6 + -365. Let o = p + 29. Which is greater: -1/2 or o?
o
Suppose 5*k = 4*m - 7, -m - 3*k = -2*m. Suppose m*q = -6*r + 3*r - 21, 15 = -3*q - 5*r. Is q < -11?
False
Suppose 14*j = -2430 + 3032. Suppose -135 = -4*z + 41. Which is smaller: z or j?
j
Let o(z) = -z**2 - 4*z - 2. Let b be o(-3). Let u = -87 + 167. Let f be 12/(-16)*u/(-54). Which is smaller: f or b?
b
Let q(n) = -n**3 - 7*n**2 + n + 6. Let b be 4 - (-4 + 12) - 3. Let u be q(b). Are -3/4 and u nonequal?
True
Suppose m - 4 = -2. Suppose -4*a = 5*x - x + 4, -a + 3 = m*x. Suppose 2*y - x*y + 2 = 0. Which is greater: 3 or y?
3
Let p be ((-2)/(-21))/((-4)/(-9)). Suppose -3*v + 3*z = -12, 0*z - 2*z + 7 = v. Suppose -v*x - 3*r = -0*x - 20, 0 = 4*x - 2*r + 6. Which is smaller: x or p?
p
Suppose -2*x - 20 + 6 = 3*t, -4*t - x = 27. Let r be (-24588)/4599 + 6 + t/14. Is r greater than or equal to -1?
True
Suppose -3*r = r - 12. Suppose -j = 5*u + 65, -r*j = -3*u + 21 - 60. Let t(m) = -21*m - 706. Let f be t(-33). Do u and f have the same value?
True
Let s(i) = 9*i + 2. Let p be s(17). Suppose 2*t = x + p, -5*t - 160 = -x - 549. Let b be 4/(-20) - t/10. Are -9 and b non-equal?
True
Let v = -33 + 45. Let q be 8/v + 6/(-9). Suppose 0 = -q*o + 2*o. Which is smaller: o or -3/19?
-3/19
Let j = -2 + 9. Let p be ((-1)/j)/(2/(-14)). Let y be 58/(-20) + 8/2 + -1. Is y < p?
True
Suppose -x + 19 = -0*x. Let u = x + -32. Let d = u - -19. Is 5 not equal to d?
True
Let i = -1 - -1.07. Let h = 37.9 - 38. Is i >= h?
True
Suppose 2*k = 7 - 13, -4*p - 80 = 4*k. Is p less than -17?
False
Let c = -461 - -656. Let n be 26/c + (-124)/30. Is n greater than 0?
False
Let g(m) = m**2 + 3*m + 11. Let n be g(0). Suppose -n = j - 3*v + 7*v, 0 = -2*j + 3*v + 11. Let i be 2/(-4)*(j - 1). Is i less than or equal to 1/34?
True
Let i(j) = -5*j**3 - 23*j**2 - 3*j - 9. Let g be i(-5). Which is greater: g or 60?
60
Let b = 36 - -31. Let s(y) = y**3 + 4*y**2 - 6*y - 6. Let l be s(-5). Which is greater: l or b?
b
Let g(k) = k**2 + k - 4. Let z be g(-3). S