e f and a equal?
False
Suppose -4*h = -20 + 72. Let v be h/(-20) + 5/(-20). Which is greater: v or 0?
v
Let j(d) = -2*d**2 + 3*d - 4. Suppose 14 = -6*r + 3*r - 4*a, 5*a = 4*r - 33. Let q be j(r). Let i = -6 - q. Which is greater: i or -5/4?
i
Let k(w) = 336 - 3*w**2 - 343 + 0*w**2 + 6*w. Let i be k(4). Which is greater: -32 or i?
i
Let g be (-3 - -1)/2*(12 + -7). Which is greater: -15/4 or g?
-15/4
Suppose -12*q = -426 + 1482. Is -91 less than q?
True
Let l be -11 + (5 - 153/(-27)). Let r(f) = f**3 - 6*f**2 + 3*f + 2. Let p be r(5). Let m = -17/2 - p. Is l >= m?
True
Let o = 0.261 - 0.361. Is -2.4 smaller than o?
True
Let q be ((-8)/(-3) + -2)/((-4)/(-12)). Suppose 0 = 3*f + 2 + 1. Let d be f + (-2)/(2 + -4). Is q less than d?
False
Let n be (-6)/(-3) - (9 + -6). Let f be (-2)/5*-30*(n + 2). Which is smaller: 14 or f?
f
Let k = -11747919/458456 + -2/57307. Which is bigger: k or -25?
-25
Let s(m) = 2*m**3 + 12*m**2 + 6*m - 19. Let d be s(-5). Are d and -1/757 equal?
False
Let n = -0.0971 - -132.0971. Which is smaller: -1 or n?
-1
Suppose 3*k - 5 = 2*j, j - 3*k = -11 + 13. Let x be (j/(-3) - 1)/((-814)/(-111)). Which is greater: x or -12?
x
Suppose -d = -y + 2*d - 30, -3*d = -12. Let l = -11 - 3. Let t = l - y. Which is greater: t or 5?
5
Let j = 20 + -20. Suppose 0 = -2*t + 4*w + 10, -4*w - 2 - 5 = -5*t. Is j > t?
True
Let g = -34.9791 - 0.0209. Which is greater: -4 or g?
-4
Let k(h) = 12*h + 5. Let z(o) = -36*o - 14. Let a(f) = 8*k(f) + 3*z(f). Let l be a(5). Which is smaller: -61 or l?
l
Let h be 590*(4/10 + 0). Is h equal to 236?
True
Let w = 10 - 22. Let a = w + 16. Let m = -3.9 + a. Is m <= -0.03?
False
Let b(n) = -4*n**2 + 11*n - 35. Let g be b(5). Is -82 at most g?
True
Let q = 98 - 97. Let a be (-27)/12 - q*9/3. Is a bigger than -2/5?
False
Let u(o) = -3*o. Let f be u(1). Let s = f - -6. Let n = 1944 + -1941. Is n at most as big as s?
True
Let s be -3*1 + (-9)/(-4). Let f be (-105)/10*(-4)/(-6). Let v(t) = t**3 + 6*t**2 - 6*t + 7. Let k be v(f). Is k < s?
False
Let p = -128 - -183. Let k = p - 55.03. Is k at most 0?
True
Let u = -1586 - -17460/11. Let v(n) = n - 4. Let y be v(4). Which is greater: y or u?
u
Let c = -10369/23940 - -59/532. Let p = 14/39 - 68/117. Let t = c - p. Which is bigger: -1 or t?
t
Let v be ((-70035026)/(-584))/((-9)/24). Let n = 319794 + v. Let s = n - 2/73. Do -2 and s have the same value?
False
Let v = -1756 + 1726.96. Let w = -23 + 52. Let j = w + v. Do 1 and j have the same value?
False
Let k be 554/(-6) - 14/21 - 3. Which is greater: -95 or k?
-95
Suppose 0 = r - 31 + 34. Let g be (-12 - r) + 0 + 3. Is -6 > g?
False
Let c = 493.17 + -180.05. Let g = c - 323. Let p = 10 + g. Which is smaller: p or -1?
-1
Let z be ((-33)/(-33))/(((-2)/(-1))/4). Is 2 != z?
False
Suppose 2*i + i - 30 = 3*q, -3*i = -6. Suppose -5*x = 33 + 17. Which is greater: x or q?
q
Let p be 2/(-3) + (1888/2760)/1. Is p less than 1?
True
Let z = -15 - -19. Suppose 5*m = 4*a - 1 + 11, -8 = 2*a - z*m. Let r = -130/7 + 499/28. Which is bigger: a or r?
a
Let w = -3.8 - 14.2. Let n = w + 19. Which is bigger: n or 10/9?
10/9
Let j = -157 - -174. Is j >= 17?
True
Let t = -293.99 + 294. Which is smaller: -8 or t?
-8
Let d be 3/(-7) - 360/(-56). Let p be (-4)/d - 4/3. Let f = -1 - p. Which is smaller: 4/11 or f?
4/11
Suppose -5*o - 140 = -0*o. Let l = o - -53/2. Suppose 5 - 8 = 3*w. Which is greater: w or l?
w
Let h = -182 + 196. Which is smaller: 5 or h?
5
Let d = 0.012 + -14.212. Let u = d + 19. Do 0.1 and u have the same value?
False
Let g = 0.28 - 0.19. Let q = -0.06 + g. Let r = q - 0.13. Is r less than -2/19?
False
Let h = 1644 - 1640. Is h bigger than 148?
False
Suppose 0 = 6*o + 1183 - 3307. Is o less than 705/2?
False
Let k be (6/8)/(828/(-96)). Let d = 7 - 3. Suppose 0 = d*o - 4 - 0. Is k less than or equal to o?
True
Let y be -4 - -74*(-15)/18. Let q = y - -67. Are q and 1 unequal?
True
Let c = -59 + 48. Let s be 196/(-21)*(-6)/(-4). Which is bigger: s or c?
c
Let v be -31*(-1)/(-10) + 3. Let p(f) be the first derivative of f**3/3 - 7. Let l be p(1). Is v at least l?
False
Let c be ((-2568)/6)/(-4) + 1*-3. Let l = c + -104. Which is smaller: l or 10/13?
l
Suppose 21*k + 141 = -111. Which is greater: -77/6 or k?
k
Let s = -30.5 - -17. Let b = -13 - s. Is -3 greater than b?
False
Let z = 793/7 - 113. Let x(n) be the first derivative of -n**2/2 - 7*n - 31. Let i be x(-7). Is i greater than z?
False
Let n(a) = a**3 - 13*a**2 - 11*a + 3. Let u be n(14). Suppose 29*z = 44*z + u. Suppose -25 = 3*q - 7. Which is bigger: z or q?
z
Let a = 454 + -455. Which is bigger: a or -3/98?
-3/98
Let v(d) = 3*d - 11. Let c be v(13). Let r be 720/(-42) - (-4)/c. Do -16 and r have the same value?
False
Suppose 319 = 9*f - 11*f + 3*d, -2*f - 5*d - 279 = 0. Which is smaller: f or -158?
-158
Let s = 31 - 35. Let w be 3/(s - -5) + -2. Which is greater: w or -2/53?
w
Suppose -s - 39 - 17 = 0. Let f = -37 - s. Is 18 < f?
True
Let u = -1.355 - 430.645. Which is bigger: u or 1?
1
Let w(u) = u**2 + 14*u. Let y be w(-14). Is 47 smaller than y?
False
Let v be 482*(0 + 1 - (-87)/(-116)). Is v at least 121?
False
Let b be (-127)/7 - (-2)/14. Which is greater: -20 or b?
b
Let i = 4 - 12. Let h be ((-12)/(-42))/(i/(-7)). Which is smaller: 30 or h?
h
Let o = 4 - -3. Suppose 4*k - 7*v - 47 = -4*v, 2 = -k - 2*v. Is o > k?
False
Let h = 13 - 18. Let w = 144 + -137. Let r = h + w. Is 1 greater than r?
False
Let k be ((-1 - -1)/5)/1. Let i = 331/66 - 46/11. Which is greater: i or k?
i
Let l = -54464/335 - 323/67. Is -166 at most as big as l?
False
Let m be (-1131)/18 - 2/12. Let q be (-21)/m*6/2. Let p = 14 + q. Is 16 <= p?
False
Let i(q) = q**3 + 41*q**2 - 46*q - 174. Let h be i(-42). Are -6 and h non-equal?
False
Let i(n) = -n**2 - 6*n - 5. Let k be i(-4). Suppose 2*b + 2*y - 17 = -y, 0 = b - k*y + 5. Suppose -b*f = -6*f. Is f >= 1/16?
False
Let p(y) = -y**2 - 27*y - 14. Let k be p(-26). Let b = -5 + 8. Suppose 0 = -b*d + 8*d - 60. Do k and d have the same value?
True
Suppose 0 = -4*l + 8, 2*w - 5*l + 6 = -2. Which is greater: 30/67 or w?
w
Let z be 12/2*(-18)/(-54). Let n be -2 - z/(-2)*1. Is n smaller than 3?
True
Let l = 583 + -569. Suppose -1 = -2*f + 7. Are l and f unequal?
True
Let p be (3632/28)/((-2)/(-7)). Let j be -4 + p/(-342)*-3. Is j greater than or equal to -1?
True
Suppose 6 = 4*q + 2*f - f, -5*f = -10. Which is bigger: -10/31 or q?
q
Let a = -58 - -34. Let o = -222 + 199. Is o not equal to a?
True
Let g(q) = 3*q**2 + 19*q - 9. Let r be g(-12). Let j = r - 11504/59. Is j < 1/3?
True
Suppose 0 = 2*f - x + 48209, -4 = 3*x + x. Let b = -723077/30 - f. Let g = b - 17/6. Which is smaller: g or -0.08?
g
Suppose -26 - 6 = -4*o. Let w = -11 - -1. Let u = w + o. Which is greater: u or -3/4?
-3/4
Let p = 55 + -56. Let w = 12 + -8. Let d = -4.03 + w. Is p bigger than d?
False
Let j be 4 + -5 - 62/(-2). Suppose 5 + j = 5*a. Suppose 0 = 3*d - 2*d - 6. Are d and a equal?
False
Let f be (-354)/350 + -1 + (69 - 67). Which is smaller: 0 or f?
f
Let j be (-2)/(1/(-11 + 3)). Let m be (j/12)/((-3)/27). Let v = -17 - m. Is -5 > v?
False
Suppose -5*t - 7 = 18. Let l be 22580/(-25)*t/11. Let a = l + -410. Is 1 at least as big as a?
True
Let i(b) = b**2 + 13*b - 12. Let a be i(-14). Suppose -3*x - 3*v - 12 = 0, -2*x + 20 = 2*x - 5*v. Is a less than or equal to x?
False
Let d = 7 + -4. Let u be (-262)/48 + d - -3. Let l = u - 5/12. Which is greater: 0 or l?
l
Let r = -9 - -14. Suppose 7*m = 2*m + 10. Is r greater than or equal to m?
True
Suppose 38 - 54 = -4*l. Suppose 0*i = 2*i + f + 17, 0 = -5*i + l*f - 10. Are i and 5 equal?
False
Let g = 5 - -4. Suppose -3*p - g = 0, p + 128 = 2*u + 41. Suppose -2*z + 12 = -x, -2*x = 5*z - u + 3. Are z and 6 non-equal?
True
Let z = -0.33 - -0.39. Let n = 8.94 + z. Which is smaller: 2/7 or n?
2/7
Let l = -3154/11 - -287. Let k be (24/(-27))/4 - (-145)/45. Let u = 4 - k. Is u not equal to l?
True
Suppose 75 - 15 = 10*y. Let u = -3 + 3. Suppose -5*o + 2*r = 4*r - 31, u = 5*o + r - 28. Is y bigger than o?
True
Suppose -3*q + 7 = -g - g, 4*g = 3*q - 5. Suppose -h = s + q, 5*s - 6*h - 5 = -h. Are s and 1/27 equal?
False
Let d(v) = v**3 - 3*v + 2. Let q be d(2). Suppose -4*s + q*i = 0, -5*i = -s + 13 - 1. Let z = -47 - -46. Is z at least as big as s?
True
