g as -286?
False
Let g be (-1*2)/(-2 + 0). Let q be (-4)/18 - 6/(-27). Suppose -u - 2*u = q. Which is smaller: u or g?
u
Let z = -0.342 - -0.542. Is -91 less than or equal to z?
True
Let k be -3 + 2 - (-4097)/63. Let n = 64 - k. Is n <= 1?
True
Let q be 22/5 - (-9)/15. Let p be (-21)/(-72) - q/20. Let k = -7/24 + p. Which is smaller: k or -0.7?
-0.7
Suppose 45 = 3*a - 0*a. Suppose -5*v = -3*m - 25, 0*m = m - 3*v + a. Let d be (-6)/21 + (-2)/(-7). Is m less than or equal to d?
True
Let o(v) = -v**2 + v + 11. Let k be o(-3). Is k at least as big as 0.0399?
False
Let d = -10 + 9. Let n(v) = -4*v**3 - 2*v**2 - v. Let q be n(d). Suppose -2*k - q*k = 30. Is -4 smaller than k?
False
Let v = -617 + 971. Which is greater: v or 3?
v
Let p = 83 - 70. Which is greater: 0 or p?
p
Let c(t) = t**3 + 2*t**2 - 6*t - 4. Let i be c(-4). Suppose -2*a = -5*o - 68, 5*a + 30 + 3 = -2*o. Are i and o unequal?
True
Let k = -730 - -723. Which is smaller: -90/11 or k?
-90/11
Suppose 180 = -0*o + 3*o. Suppose -5*z + 0*z = -o. Suppose 4*l - 2*l = -w - 3, -4*w - z = -3*l. Which is greater: 1 or l?
1
Suppose -3*r + 3 + 0 = 3*v, 3*r + 5*v + 5 = 0. Let k be 6/2 + r/(30/(-16)). Let o = -1 + 1. Which is bigger: o or k?
k
Let k = 37/171 + 707/684. Suppose 0 = -3*w + 2*s + 11, 4*w + 3*s + 7 = -w. Is k at least w?
True
Let q(u) = -114*u + 12. Let c be q(2). Is -219 < c?
True
Suppose -7 = -3*w - 1. Let r be -2 + (-42)/(w/2). Let l = r + 134/3. Is -0.2 <= l?
True
Let f(d) be the second derivative of d**5/20 + d**4/6 - d**3/3 - 3*d**2/2 + 2*d. Let b be f(-2). Let z be 2 - ((-19)/(-7) - b). Is -0.3 greater than z?
False
Let z be 1 - (33/15)/(-1). Let u = 501 - 499. Which is smaller: u or z?
u
Let g be (-85)/(-2) - (-5 - 36/(-8)). Which is greater: g or 42?
g
Let g(b) = -220*b**2 + 8*b + 4. Let p be g(1). Is p != -208?
False
Suppose -4*q - 3*g = 416, -5*q = -4*g + g + 520. Is -110 > q?
False
Let a(m) be the second derivative of m**3/6 + 3*m**2 - 3*m. Let t be a(-6). Suppose t = z + 1. Which is smaller: -6/7 or z?
z
Let p be 3/2*(-6)/(-9). Let a = 0.0469 + 3.6531. Which is smaller: p or a?
p
Let t be (-2)/(-9) - (-93760)/(-3960). Do t and -24 have the same value?
False
Suppose -11*d - 4 + 15 = 0. Is -2/157 greater than d?
False
Let v be (-8)/9*(-8742)/188. Is 42 bigger than v?
True
Let q be (-3)/2*(-8)/(-3). Let r be (q/14)/((-3)/7). Let a be (45/(-6) + 6)*12/(-9). Is r greater than or equal to a?
False
Let u = 3671 + -11318/3. Which is greater: u or -102?
u
Let u = 41 + -40.1. Let h = 4.1 + u. Which is bigger: h or -2/9?
h
Let q(r) = 7*r + 74. Let d be q(-11). Is d at most -31?
False
Suppose 0 = 5*w - 87 + 82, -5*o - 2*w - 263 = 0. Which is bigger: o or -51?
-51
Let s(f) = -f**2 - 8*f - 7. Let b be s(-1). Suppose k - 2*a - 2 - 1 = b, 5 = -3*k - a. Which is bigger: k or -5?
k
Let c = 166 + -95. Is c less than 70?
False
Let j = 40 - 281/7. Suppose b + 3*m - 10 = 0, 5*b = -2*m + 3*m + 2. Which is greater: j or b?
b
Suppose -4*h = -4*s - 41 + 5, -2*h = -3*s - 21. Suppose h*p - 17*p - 429 = 0. Is p greater than -38?
False
Let x = -14 - -68/5. Suppose 0 = -0*i - i. Let u be (-60)/48 - (i + -1). Is x greater than u?
False
Suppose 4*p + 1 = 5*l + 5, 5*p = 5. Let h be (2/(-12))/(6/(-27)). Which is smaller: l or h?
l
Let q = 3/19 - 0. Let r(h) = h - 5. Let y(a) = -2*a - 14. Let u be y(-10). Let d be r(u). Is q > d?
False
Let o(v) = 73*v - 366. Let j be o(5). Let r(n) = n - 7. Let w be r(7). Is j equal to w?
False
Let z = -242.87 - -243. Which is smaller: -3 or z?
-3
Let l be 18/(-3)*(2 + (-5)/(-2)). Let x = l - -11. Does -16 = x?
True
Let d be (-3)/(-2*(-6)/(-8)). Let j be d - (-4 - -3) - -2. Suppose 24 = -4*n - 3*r, 3*n - 3*r + j*r + 17 = 0. Which is bigger: n or -4?
n
Let p = -2770 + 2771. Let u be 67/9 - (2 - 1). Let l = -629/99 + u. Is p greater than or equal to l?
True
Let x = 3714/11 - 11131/33. Suppose -8*o = -3*o. Let n be -2 + o - (-3 - -2). Which is bigger: n or x?
x
Let s = -9 + -30. Let f be 540/s - 8/52. Is f less than or equal to -13?
True
Suppose 4*c - 3*k = -148, -31 - 6 = c - 4*k. Are -37 and c unequal?
False
Let j be 5/((-16)/4 - (-873)/219). Which is greater: -364 or j?
-364
Let l = 121.62 + -117. Let p = l + -4.5. Let a = 0 - -0.1. Is p bigger than a?
True
Let f be ((-42)/(-28))/(-2 - 4). Is -5/7 <= f?
True
Let i = -3/11 + 29/66. Let g = -0.37 + 10.37. Is g <= i?
False
Let n = 337 + -342. Suppose -4*w = m + 2*m + 9, -15 = 5*w + 3*m. Let r be w/(-8)*(-1 + -3). Is r greater than or equal to n?
True
Let f = -325 - -324.8. Let a = 0.06 - 1.06. Is f equal to a?
False
Let j be -1*34/42 - 12/36. Which is bigger: -0.4 or j?
-0.4
Suppose -4*h - 14 = -2*r, 3*r - 8*h - 19 = -3*h. Let v be 1*6 - -1*r/(-3). Is 6 >= v?
True
Let k = -15.7 + 16. Let t = 4.03 + -4. Let i = 0.07 + t. Is k bigger than i?
True
Let v = 0.85 - -52.15. Let i = v + -54. Is -1 != i?
False
Let f = 544/223 - 349279/2676. Let n = -128 - f. Is 0 at most n?
True
Let a = 55368/47 - 1178. Let u = 3 - 3. Is a less than u?
False
Let l be 6/9*(76/(-22) + 4). Let s(b) = -b**2 - 3*b + 7. Let o be s(-5). Let d = -4 - o. Does l = d?
False
Suppose -3*h = -k - 4, 18*k - h - 36 = 13*k. Suppose 0 = -4*g - 4*t - 0*t + 4, 3*g - t = -5. Is g != k?
True
Let l(h) = -h**3 + 3*h**2 - 3*h + 2. Let n be (-4)/((-12)/15) - 4. Let r be l(n). Is 2/9 greater than r?
False
Let c be (-10)/(-28) + ((-2)/4 - 0). Let p = 5/63 - c. Is -1 at most p?
True
Let m be ((-1)/(-1))/((-5)/(-20)). Suppose m*c - 6 = b + 6*c, b + c = -3. Let a be b/(-4 - 5/(-5)). Which is smaller: a or 2/15?
a
Suppose -4*f - 5*v + 233 = 0, -20*f - 2*v = -22*f + 130. Does f = 60?
False
Suppose -4*t - 8 = -48. Let k be (4/(-5))/((-1228)/t). Is k < 0?
False
Let a(c) = c**3 + 3*c + 4. Let w = 6 - 13. Let y be a(w). Let t be (2/4)/((-12)/y). Which is bigger: t or 14?
t
Let y = -9363/1990 - -1/199. Let k = 33/10 + y. Is -1 at least k?
True
Let q be (-7 - (-23 - -11))/1. Which is greater: -11 or q?
q
Let x = 39 - 0. Let t be x/9 + 2/3. Let r = 5 - t. Which is greater: 2/9 or r?
2/9
Let n(p) = p**3 + 51*p**2 - 71*p - 772. Let g be n(-52). Is 212 > g?
False
Let m = 135 + -207. Let d be 522/m + 1/4. Are -7 and d non-equal?
False
Let s(x) = x**3 - 9*x**2 - 12*x - 22. Let y be s(11). Let h be y/280 - (24/14 - 2). Are h and 0 equal?
False
Let x = -82 + 77. Is -56/9 equal to x?
False
Let b be (-48)/32*(-102)/(-9). Is b at most as big as -17?
True
Let g be -2 + (-64)/(-28) + 0. Let z = -0.11 - -4.11. Let t = 6 - z. Is g at most as big as t?
True
Let s be (-36)/(448/770 - (-4)/(-22)). Is -89 smaller than s?
False
Let t be ((-2)/(-3))/((-1)/6). Let p be 14/t*(-8)/(-20). Let y be (-2)/(-15) - (-28)/(-210). Is p > y?
False
Let u(w) = -w**3 + 17*w**2 + 19*w + 5. Let y be u(18). Is -3 != y?
True
Let a be 18/10 - (-2)/10. Suppose 5*l + k - 17 = 4*k, -3*l = 2*k - 14. Let m be (l/6)/((-4)/48*-5). Do m and a have different values?
True
Suppose 4*n = -43 + 83. Let w be (-4)/(-8)*3/(3/n). Let m = -3 - -6. Which is smaller: w or m?
m
Let q = -10.83 + -0.17. Let a = q - -12. Let w = 10 + -11. Is a <= w?
False
Let w = -213 - -214. Let j be 1/(-3) - (6 + -4). Is w > j?
True
Let f be -7*-15*(-2 - 88/(-42)). Let h(d) = -d**2 - 7*d - 1. Let r be h(-4). Do r and f have the same value?
False
Let m(y) = y**3 - 6*y**2 + 3*y - 2. Let t be m(6). Let x be -3 + ((-6)/(-15))/((-2)/(-70)). Suppose x*h - 23 = 164. Which is bigger: t or h?
h
Let z = -4181/663 - 6/221. Let a(v) = 3*v + 19. Let x be a(-8). Is z less than or equal to x?
True
Let y be (-2 - 33/(-21)) + 0. Suppose -w + 2*w - 5 = -2*s, 3*w - 15 = -3*s. Suppose x + 5*c - 3 - w = 0, 5*c + 7 = 4*x. Which is smaller: x or y?
y
Suppose 4*g - 2 = h + 2, 0 = 5*h - 3*g + 3. Let m be h + 6 + -1 + 2. Let q be (2 + 1)*m/(-21). Which is greater: 0 or q?
0
Suppose 9*h + 31*h - 9440 = 0. Which is greater: 2/9 or h?
h
Let p(h) = 3*h + h + 3 + 4 + 0. Let r be p(-3). Suppose 0 = 4*g + 4*f + 28, g = 6*g + 2*f + 29. Is g bigger than r?
False
Let i = 521 + -570. Which is smaller: i or 0.2?
i
Let u(s) be the first derivative of -s**4/4 + 28*s**3/3 + 30*s**2 + s - 37. Let o be u(30). Let g be 1/(-1) + (-10)/(-12). Is o >= g?
True
Let l = 0.133 - 0.033. Which is bigger: -0.053 or l?
l
Let u = 4406 - 392122/89. Is u greater than -1?
True
Let d = 0.14 - 0.28. Let v = -11.14 - d. Let a = 