(-27). Is g at least 2/21?
True
Suppose 4*p - 31 = -y + 30, 0 = 2*p. Let z = 61 - y. Suppose 2*o = 5 - 1. Which is smaller: z or o?
z
Suppose -l + 17 = 4*u - 8, 0 = -5*u + 5*l. Suppose 9 = 3*w + 3*d + 3, u*d + 10 = 0. Let i be (-52)/(-24) + w - 4. Are 2 and i nonequal?
True
Let j be 9*(6/2 - 0). Let p be (10/(-3))/((-9)/j). Let o be 2 + 2 + (3 - -3). Is p > o?
False
Let g be ((-4)/(-1130))/((-87)/290). Which is bigger: -1 or g?
g
Let p = -251.2 - -307. Let n = p + -56. Is n smaller than 4/3?
True
Let l(c) = 2*c**2 + 25*c - 152. Let f be l(-18). Which is bigger: 45 or f?
f
Let h be (-61)/7 + 4/(-14). Let o be 49/4 - -4 - (-1)/(-4). Let k be (51/(-340))/(h/o). Is k equal to 0?
False
Suppose 8 = 3*n + 2*s, -4*n + 5 = s + 1. Let f = -5 + 6. Let i be f - (0 - 7/(-6)). Which is bigger: i or n?
n
Let d(i) = -1 + 4*i**3 - 12*i - 3*i**3 - i**2 + 5*i**2 + 0*i**2. Let v be d(-6). Let z = -58 + 61.1. Is v greater than z?
False
Let q = -24.954 + 25. Let w = q + 0.054. Is w not equal to -1.6?
True
Let y = -58 + 86. Let z = y - 30. Which is smaller: 0 or z?
z
Let r(w) be the second derivative of w**4/12 + w**3/3 - w**2/2 + 8*w. Let c be r(-1). Which is bigger: c or 2?
2
Let m(q) = 7*q - 27. Let t be m(-5). Let l(y) = y**3 - 9*y**2 - 15*y + 50. Let c be l(10). Which is greater: t or c?
c
Let i = 221.7 + -231. Let f = 1.3 + i. Let h = -10 - f. Which is smaller: -1 or h?
h
Let g = -92 + 100. Let d be (-2)/7 - (-92)/28. Suppose -d*r = -g - 10. Is 6 less than r?
False
Let o = -201 - -201.2. Suppose 0 = -u + 5, -2*r + 4*u - 5 = 9. Are r and o non-equal?
True
Suppose 0 = -0*h - 6*h. Which is bigger: h or 2/1369?
2/1369
Let q = -251/170 - 2/85. Suppose 15 = -3*w - 3*y, -w - 4*y - 48 = -34. Is q at least w?
True
Suppose 0 = -2*j - 5*m + 114 - 27, 2*j = -4*m + 88. Let o be (-1)/(-1)*(-92)/(-2). Is j != o?
False
Let z be (-11)/((-11055)/7080) - 7. Suppose 0 = -4*q + q. Which is smaller: z or q?
q
Let v(u) = -4*u**2 + 38*u + 9. Let r be v(4). Is r at least -2/3?
True
Let z(t) = -32*t - 635. Let a be z(-20). Let w = 3 - -3. Let s = 12 - w. Is a at most s?
True
Suppose 127*k = 118*k. Which is greater: k or 14/27?
14/27
Let j = -1007 + 1006. Which is greater: 19 or j?
19
Suppose -6*v = 145 - 1. Let r be (v/(-9) - (7 + -5))*-3. Which is bigger: r or -13?
r
Suppose -3*k + 2*m - 9 = -17, 4*m + 16 = 4*k. Which is greater: 21/41 or k?
21/41
Let n(w) = 3*w**2 + 6*w + 3. Let x be n(-2). Let q be -3 - (8/x)/1. Which is smaller: q or -5?
q
Let l be (-15)/(-45) + (-118)/3. Is l < -37?
True
Suppose -26 = -14*i + 16. Suppose -4*l + 3 = v, -5*v = -v - 4*l + 8. Let t = 0 - v. Is t at least as big as i?
False
Suppose -5*r + 3*o - 579 = 0, 5*r + 5*o + 361 = 2*r. Let v = -117 - r. Which is smaller: -10/9 or v?
-10/9
Let h be (-1608)/16*28/21. Is -133 greater than h?
True
Suppose o + 3*h = -9, 9*o + 6 = 8*o - 2*h. Is o less than 1/50?
True
Let x = -215 - -214.94. Is x less than or equal to -19?
False
Let c = 1135085 + -694671857/612. Let v = -3/68 + c. Are 2/7 and v nonequal?
True
Suppose -5*n - 3*g = 228, -2*n - 81 = -3*g + 27. Is -58 not equal to n?
True
Let n(a) = a**3 - 4*a**2 - 3*a + 1. Suppose 0 = 3*g + 49 + 23. Let t be g - -31 - (2 + 0). Let d be n(t). Is 13 at least d?
True
Let i = -0.034 - -0.134. Which is smaller: i or -7/6?
-7/6
Suppose 2*b = 4 - 12. Let i be (10/3)/(b/6). Let m = 3 - 5. Is i greater than m?
False
Let n(r) = 4*r**2 + 13*r - 1. Suppose 0 = 2*h - 4*s, -h = -5*h + 3*s - 20. Let q be n(h). Let v = 758/5 - q. Which is smaller: v or -2?
-2
Let c be 1650/22 + (0 - -1). Does 1/3 = c?
False
Let f = -1932 + 1932. Is f greater than -4/157?
True
Let d be (-6)/9 + (-110)/(-561). Is 1 != d?
True
Let a be (60/105)/(24/28). Let o be 3 + 3*1/3. Let t be (-13)/(-84) - 1/o. Is a less than or equal to t?
False
Let u be 0 - 0 - (-14)/7. Suppose -u*g = -5*g - 18. Let i be 3/g*(-17 - -3). Is i bigger than 7?
False
Let t = -77.3 + 77. Let y = -54 + 51.7. Let z = y - t. Is z at most as big as -5?
False
Let c = 137.6 - 138. Let p = 184315/288131 + -5/11841. Let w = -2/73 - p. Which is bigger: c or w?
c
Suppose 0 = -9*p + 20*p + 11. Let z = -181 - -2343/13. Is p at least z?
False
Let m = 0.036 - 21.036. Let o = m - -31. Let q(u) = u - 9. Let a be q(9). Which is bigger: o or a?
o
Let a = -20/143 - -3/13. Let v be 0 + (-38)/133*(-14)/22. Is v <= a?
False
Let h = -3.51 - -3.41. Which is smaller: -6/25 or h?
-6/25
Let i = 96 + -191/2. Which is smaller: i or -0.59?
-0.59
Let k(q) = 3*q**2 + 12*q + 20. Let h be k(-6). Are 55 and h non-equal?
True
Let i = 3 + -2. Let c = -1.955 + -0.126. Let z = c + 0.081. Which is smaller: i or z?
z
Let u = 8 - 6. Let g be 40/24*18/15. Suppose -g*w - 11 = 3*r, -2*w + 3 - 11 = 2*r. Is w not equal to u?
True
Let f = -56 - -54. Let l be f + (-6)/(-2) + -1. Which is smaller: -1 or l?
-1
Let d = 3/5 + -43/55. Suppose -5*g = -4*m + 12, 5*g + 3*m - 6 = 3. Are d and g nonequal?
True
Let y = -1344 + 1344. Is y less than -14?
False
Let x = -7.98 + -0.02. Let u = x - -8.8. Is -2 at least as big as u?
False
Suppose 16 + 14 = u. Let g be (-6)/(-10)*1/(12/u). Is 10 not equal to g?
True
Let g = 19 - 4. Let r be (10/(-100))/(8/g). Let z = r - -11/16. Is -19 at most as big as z?
True
Let z = 552 + -847. Which is bigger: -0.1 or z?
-0.1
Let t(l) = -l**3 + 7*l**2 - 10*l + 21. Let s be t(6). Let x be (-80)/96 - (-1)/s. Is -2 greater than or equal to x?
False
Let o = 98 - 96.67. Let d = -1.2 + o. Let r = d + -1.13. Are -1.3 and r equal?
False
Let r = 2 - 1. Let o = -16 - 9. Let z = o + 25.06. Is z greater than or equal to r?
False
Let x be 6/(-4280)*(73 + -69). Is x greater than 0?
False
Let m be (-2)/((-4)/8 + 5/2). Let j = 35 + -25. Which is smaller: m or j?
m
Let h be 1 + -1 + 11 - 1. Let u be (9 - h)*(0 - 2). Suppose -4*l - 4 = -u*l. Do -2 and l have the same value?
True
Let f(n) = -n**3 - 7*n**2 + n + 38. Let y be f(-5). Let v be (-12)/3 + (-80)/y. Is 0 less than or equal to v?
True
Let u = 16.3 + -20. Let c = 3.7 + 0.3. Let w = c + u. Is -2/3 at least w?
False
Let a = 1320 - 1321. Suppose 5*z + 2*q + 0*q = 0, -5*z + 3*q + 25 = 0. Which is greater: a or z?
z
Let p be (10 + -6)/(2/2). Let t be p/2*2/30. Which is greater: t or 1?
1
Let h be -4 + (-2 - -4) - (-1552)/784. Which is smaller: h or 1?
h
Let i be (6/(-2) - 5)/1. Let a be 38/(-4) + 1 + 0. Which is greater: a or i?
i
Suppose 2389 = -16*r - 411. Let i be (-11)/(-3) + 2/(-3). Let k be 2/i + 112/r. Which is smaller: -1 or k?
-1
Let z = -2.2 + 3.2. Let a(k) = 34*k**3 - 2*k**2 + 1. Let g be a(-1). Let m be 10/35 + 24/g. Which is smaller: m or z?
m
Suppose -8*x + 3*x = -2*x. Let l be 4024/(-10) - 4/(-10). Let h = l + 6032/15. Which is smaller: h or x?
x
Suppose b - 7 = 2. Suppose -17*y = -18*y + b. Which is smaller: -3/2 or y?
-3/2
Let s(d) = d - 1. Suppose 5*l - 2*n = 42, 0 = 5*n + 4 + 1. Let c be s(l). Let u = c - 9. Which is bigger: -2/3 or u?
-2/3
Let k = -38 - -52. Which is smaller: k or 16?
k
Suppose 0 = 4*i + 2*z - 13 - 3, z + 16 = 2*i. Suppose 5*a - l = 3, -4*a + l = i*l - 14. Does 7/10 = a?
False
Let y be 20*(-2 - (-42)/15). Let z = y - 18. Let m be (-64)/(-72) - z/(-2). Which is greater: 0 or m?
0
Let d be ((-64)/(-20))/(3/(-15)). Let g be (d/306)/(10/105). Let q = g + -2/17. Which is greater: q or 0.03?
0.03
Let v = -3.32 + 3.59. Which is smaller: 2/5 or v?
v
Let o = 23.26 - 59.26. Which is smaller: 1 or o?
o
Let w = 0.7 - 0.3. Let k = w + -0.4. Is -0.06 smaller than k?
True
Let f be 2/(-8) + 490/40. Let r be 26/f - 1/6. Which is bigger: r or 1?
r
Let l = 14646/175 - 585/7. Let o = l + 7/25. Is o greater than or equal to -1/4?
True
Let t = 3 + -5. Let m = t - 1. Let k = -229 + 231. Is k bigger than m?
True
Let x = 55 - 45. Let t be 16/(-7) + 2/7. Is t greater than x?
False
Let j(y) = y + 2. Let b be j(2). Suppose b*k - 27 = -3. Let q be (-3 + 1)/(4 - k). Is -2/17 less than q?
True
Let m be (-16 - -14)*(-15)/(-2). Let d be m/35 - 4/7. Suppose 1 = -4*a - 3. Is a bigger than d?
False
Let g be -123*(-12)/(-9)*(-5)/12. Let a = g + -65. Is a at least 4?
False
Let p = -0.02 + -0.03. Let g = 0.15 - p. Let o = 0.17 - g. Is 0 <= o?
False
Suppose -4*w + 9*w - 5 = -4*q, 3*q - 2 = -2*w. Which is greater: -3/97 or w?
w
Let l be (10/(-12))/(2 - 548/270). Let h = -57/2 + l. Let s = -0.3 - -0.2. Is h greater than s?
False
Suppo