
False
Let t(v) = -19*v**3 + v**2 + 2*v + 2. Let n be t(-1). Suppose 0*m - 2*q - 6 = m, 4*q = n. Is m <= -17?
False
Suppose -2*d = 4*g + 6, 5*d = 2*g + 2*g - 29. Let l = 368/7 + -1108/21. Which is smaller: l or g?
l
Suppose 0 = -2*w + 3*w - 30. Suppose 2*n + w = 5*n. Suppose -59 = -5*i - 3*u, 3*u + 17 + 24 = 5*i. Is i bigger than n?
False
Let q = -80 + 80. Suppose h = -3*h + 8, q = -j + 4*h + 5. Is j at most as big as 17?
True
Let c = 2.831 + -0.982. Let z = c + -0.049. Is 3 at most z?
False
Suppose 0*i + 4*i - 20 = 0. Suppose v + 4*k = 7*k + i, -5*k = -5*v - 5. Is -25/6 at least as big as v?
False
Let t = -81 + 80.7. Is -2 equal to t?
False
Let b be 2115/(-12) + 2/8. Let d = 117 + b. Let c = d - -298/5. Is c at most as big as 2?
True
Let l = -4693/5 + 939. Which is smaller: 538 or l?
l
Let h = -108 - -111. Suppose 6 = -0*f + h*f. Is f <= 4/3?
False
Let w = -36 - -55. Suppose 0 = 6*m - 2*m + 5*l + 57, -4*m - 84 = -4*l. Let n be (-6 - 84/m)*54/(-4). Is n at most as big as w?
True
Let n(h) = 12*h - 370. Let l be n(31). Which is bigger: 21/13 or l?
l
Let r be (-3)/(-2)*(-1)/75*2. Let x(q) = 6*q + 60. Let z be x(-10). Which is smaller: r or z?
r
Let o be 4/2 + 1 + 70/(-2). Let b be ((-33)/9)/((o/36)/8). Are b and 32 unequal?
True
Let g be 13/(-18) + (-2)/(-9). Let o = 0.09 + -17.09. Let k = o + 17.1. Which is bigger: g or k?
k
Let f(q) = -q**3 + q**2 + 2*q + 5. Suppose -u + 5 = -2*g + 6, u + 1 = -3*g. Let b be f(g). Which is greater: b or 8?
8
Let v = 4.05 - 4.15. Which is greater: v or 70?
70
Let c = -39 - -23. Let y be (-146)/(-144) - (-2)/c. Which is greater: y or 1?
1
Let b be 2/6*(9/14)/3. Suppose 0 = -0*v - v. Which is smaller: v or b?
v
Let c be 46/(-230)*15/18. Which is bigger: c or 6?
6
Let a = 130.23 - 130. Let i = -3.07 - -3. Let k = i - a. Is k greater than 3?
False
Let n = -2041/6660 - 47/180. Is n less than or equal to -1?
False
Let b be -2*(0 + (-6)/(-328)). Which is bigger: 0 or b?
0
Let q = 6 - 6.26. Let t = q - -13.26. Let d = 13 - t. Which is bigger: 2/3 or d?
2/3
Let k = 27 - 28. Let b be k*19 + 12/3. Is -13 < b?
False
Let a be 1*(-1)/1*(-2)/1. Suppose -s + 5*s = 0. Do s and a have the same value?
False
Let u = 97/124 + -1/31. Suppose 58 + 7 = 5*j. Let n = 14 - j. Is u at least as big as n?
False
Let c(x) = -6*x**3 - 2*x**2 + 2. Let r be c(-2). Suppose -3*y + 6 = 2*j, -2*y = -y + 4*j + 8. Let q be (r/y)/(-7)*-2. Which is smaller: 2/5 or q?
2/5
Let c(z) be the second derivative of -z**4/12 - 13*z**3/6 - 2*z**2 - z. Let l be c(-11). Is 18 at least as big as l?
True
Let d = -541 + 541.011. Which is bigger: d or 1?
1
Let l = 10 + -14. Let n = 33/112 + -5739/1232. Are n and l equal?
False
Let o = -3 - -8. Suppose 4 = o*w + 14. Let i be (3 - 9)*(-1)/w. Is -3 at most i?
True
Let k = 0.21 - -5.39. Let q = k - 2.6. Is q at most 0.2?
False
Let w = -0.491 + 0.811. Which is smaller: w or 1?
w
Let p = -0.434 - -4.434. Let w = 1 - -2. Do p and w have different values?
True
Let h be (-3 + -18)/(-3) - 2. Suppose 5*y + h*d = 2*d + 6, 0 = 4*y - d + 2. Do 3 and y have the same value?
False
Let p = 11.7 + -6.6. Let w = p - 10. Let b = 5 + w. Which is greater: b or -2?
b
Let c = 15626 - 1765750/113. Is 1 at least as big as c?
True
Let c = -298 - -204. Let j = -95 - c. Are 0 and j equal?
False
Let a(b) = 4*b + 19 - 5*b + 0*b. Let i be a(8). Are i and 12 unequal?
True
Let t(z) = z**2 + 7*z - 10. Let s be t(-9). Suppose s*d + 35 = 3*d. Which is smaller: -2 or d?
d
Let p be (3 + -2)*2/1. Let g(d) = -d**p + 4*d + 6 - 2 + 2 + 2*d. Let y be g(7). Is y != -1?
False
Suppose 2*o - 2*z - 918 = 0, z = -5*o + 841 + 1484. Is 464 bigger than o?
False
Let p be (-9)/(-7) - 2/7. Let y be 3 + 0 + (-2 - p). Let x be (3/(-36))/(y - 1). Are -1 and x equal?
False
Let q(o) = -2*o**2 + 22*o - 19. Let p be q(11). Is -24 at most as big as p?
True
Suppose 0 = -6*o - 6*o - 240. Let i be ((-16)/o)/4*25. Are i and 3 unequal?
True
Let j = -71 - -72.6. Let l = 1.4 - j. Which is smaller: l or 1/4?
l
Let u be (22 - 2) + 23 + -10. Suppose 0 = -2*o - x + 71, -3*o + 4*o + x = 38. Is u at most o?
True
Let j = 44 - 26. Let y = -2 - j. Let i = y - -26. Which is smaller: 7 or i?
i
Let h = 160.82 + -161. Which is greater: h or -3/4?
h
Suppose -4*k + 86 = 5*z, 0 = -z - 9*k + 10*k + 10. Do z and 6 have the same value?
False
Suppose -3*c = -4*t + 8*t + 1063, 0 = 2*t - 2*c + 514. Let v = t - -1027/4. Which is smaller: -5 or v?
v
Let w = 989/37934435 + 9/13315. Is w greater than or equal to 1?
False
Suppose 3*f = 3*t - 7*t + 35, 0 = 4*f - 3*t - 80. Suppose 4*d + 2*y = -98, -4 - 21 = 5*y. Let u = f + d. Is -5 less than u?
False
Let t be (-39)/(-12) - (-2)/(-8). Let v be (-80)/(-35) + t + 23/(-7). Which is bigger: 3 or v?
3
Let b = -23 + 14. Let x = 37 - 33. Let j be ((-132)/x)/3 - -3. Which is smaller: j or b?
b
Let o = -4 + 8. Let x be (-1)/(o/12)*-10. Is 29 not equal to x?
True
Let x(w) be the first derivative of -17*w**4/4 - w**3/3 - w**2/2 + 10. Let b be x(-1). Let d = b + -24. Which is bigger: d or -5?
-5
Let s be (-15 + 7 + -4)*2/(-4). Let v(w) = w**3 - 6*w**2 + w - 8. Let y be v(s). Are y and -13/5 unequal?
True
Let a(u) = -2*u**3 - 10*u + 10. Let m be a(3). Which is smaller: -76 or m?
-76
Let g(j) = j**3 + 5*j**2 - 15*j - 7. Let m be g(-7). Let x = -14 + -14. Which is greater: x or m?
m
Suppose -4*u + 17 = 5*r, -u - 1 = r - 4. Let c be 0 + -3 - (1 - r). Let m be 0/((-1 - 1) + 1). Is c not equal to m?
True
Let j = 9 - 9. Suppose -u + 2 = -j*u. Let b be 7/(-98)*8/u. Is 0.05 at most as big as b?
False
Let r = 1650.339 + -1650. Which is smaller: 2/7 or r?
2/7
Let s = 27856/29 - 962. Is s < -2?
False
Let d = 10722 + -2991443/279. Which is smaller: d or 0?
d
Let n(b) = -3*b**2 + 9*b - 12. Let w be n(5). Let r be w/9*2/(-4). Let d = 5 + -2. Does d = r?
False
Let f be ((-15)/(-27) - 1)*(-1638)/84. Which is bigger: f or 9?
9
Suppose 2*u - 5 = -3. Suppose -3*z - 56 + 131 = 0. Let q be ((-12)/135)/((-30)/z). Which is smaller: u or q?
q
Let h = -4.4 - 13.6. Let a = 18.2 + h. Is a <= -5?
False
Let w = 2104 - 2107. Which is smaller: w or -86/27?
-86/27
Let b = 16/93 - 298/651. Which is greater: b or 431?
431
Suppose -w = -14 + 1. Suppose 2*b + o - w = 0, 0 = -4*b - 3*o - o + 32. Which is greater: 0 or b?
b
Suppose 0 = -p + 16. Let t = p + -16. Let f be 3 + t + (1 - 4). Is f greater than 2/25?
False
Let s be (-8380)/50 - (-28)/(-20). Which is smaller: s or -170?
-170
Let o = -283 + -970. Is o at most -1254?
False
Let u(o) = o**2 - 4*o - 3. Let a be u(5). Let v be (3 - a - 5)*-2. Let h be (-2*1)/(v - 10). Is -1 less than or equal to h?
True
Let t = 19 + -4. Let m be -1*(-12)/8*(-1)/(-3). Which is smaller: t or m?
m
Let y(w) = -65*w + 45. Let l be y(2). Which is bigger: -84 or l?
-84
Suppose -7*p + 35 = -35. Suppose 0 = -p*q + 5*q + 65. Is q less than or equal to -1?
False
Let a = 602 - 601.98. Does 3 = a?
False
Let l(o) = o**2 + 109*o + 619. Let p be l(-6). Which is smaller: 1/290 or p?
1/290
Let j = 93 + -98.7. Let a = j - 6.3. Is a smaller than 4?
True
Suppose 0 = -0*b + 2*b - 4*z, 4*b = -z. Which is bigger: -13 or b?
b
Suppose 0 = -j - 4*t - 165, -5*t + 825 = j - 6*j. Let r = 2144/13 + j. Which is bigger: r or -1?
r
Let y = -1.2 - -1.2. Let b = y - -5. Let n = 7 - b. Is 2/5 <= n?
True
Suppose 31*l = -3*l. Which is smaller: 14 or l?
l
Let x be 5241/(-15777) - (-1)/3. Is x less than or equal to 0?
False
Let p(q) = q**3 + 10*q**2 + 3*q - 5. Let u be p(-10). Let h = 13 + u. Is -23 equal to h?
False
Let w = -15 - -26. Suppose 0 = 4*n + w - 63. Which is bigger: 12 or n?
n
Let o = 0 - 0.01. Let m = 1390 + -1389. Which is smaller: o or m?
o
Let w = -23.08 + 23. Let x = w - -0.14. Which is smaller: x or 3/5?
x
Let g(d) = -d**3 + d**2 + d. Let l be g(3). Let p = -11 - l. Let k = 3161/2 + -1578. Is k < p?
True
Let k = 518 + -518.2. Is 43 greater than or equal to k?
True
Let w = -19 + 6. Let f = 14 + w. Let q be f*2 - (2 - 1). Which is bigger: 2/5 or q?
q
Let c = -51 - -299/6. Let r = -4 + 2. Which is smaller: r or c?
r
Let x = 0.56 + -4.46. Let o = x + -9.1. Which is smaller: o or 2?
o
Let u be (-148)/(-4 - (7 - 13)). Is -74 >= u?
True
Let x(k) = k**3 + 4*k**2 - k - 14. Let p be x(-5). Is p < -32?
True
Let u(v) = -2*v - 2 - 3*v**2 + 2*v**3 + 0*v**2 + 3*v. Let t be u(2). Suppose -473*x = -500*x + 108. Is t <