least -1/28?
False
Let l = -46 + 68. Let t = -49 + l. Let p be 12/(-16)*60/t. Is 1 less than p?
True
Suppose 18*d = 104*d. Is d less than -8/73?
False
Let d = 96 - 95. Let c(v) = -5*v**2 + 2*v + 2. Let s be c(d). Let u = -60 - -359/6. Which is bigger: u or s?
u
Suppose 0 = -2*b + 6, -c - 2*b = -6*b + 10. Is c at most 4?
True
Let m = 6 - 11/2. Let t = -2.065 + -0.035. Let p = -17.9 + t. Do m and p have different values?
True
Suppose 0 = 2*k - 5*o - 21 + 1, 2*o = -k + 1. Suppose -5*d + k = 0, -d - 4*d = -2*z - 1. Is 6/11 equal to z?
False
Let t = 33 + -2. Let q = 9430 - 9430. Do q and t have the same value?
False
Let u = -973 - -653. Is u <= -321?
False
Suppose -18*z + 2 = -19*z, 2*j - 4 = 3*z. Let a be 8/(-8) - 276/(-278). Is j != a?
True
Let s be ((-14)/(-175))/((-68)/(-1955)). Are s and 3 equal?
False
Suppose -8 = 4*l - 4*o, 2*l + 1 = -2*o - 3. Let a be ((-1)/l)/(3*6/(-80)). Is a less than -2?
True
Let r = -800 - -679. Which is smaller: 0.2 or r?
r
Let r = 46 + -41. Let w = -21 + r. Which is greater: w or -1/3?
-1/3
Let s = -0.075 - -0.675. Let f = 0.1 - 0.5. Let h = f + s. Is 3/2 >= h?
True
Let t = 1033 + -1190. Is -155 equal to t?
False
Let k be (104/10)/((-42)/105). Which is bigger: -19 or k?
-19
Let c = 34.9 + -34. Let a = c - 0.93. Do -0.2 and a have the same value?
False
Let p be (26 - 6)/(2/9). Let t = 89 - p. Which is smaller: t or -4/65?
t
Let t(b) = 11*b - 5. Let i be t(-4). Let v = -45 - i. Suppose -g + 4*y = -17, -2*g - 2*g + 2*y + 12 = 0. Which is greater: g or v?
v
Suppose 18*k = 17*k + 4. Suppose -k*y - 4 = -104. Is 71/3 greater than y?
False
Let n(y) = y + 107. Let x be n(0). Let f = 1497/14 - x. Which is smaller: f or 1?
f
Let y = -110/27 - -2584/621. Which is greater: y or -15?
y
Let r be ((-105)/(-280))/(-3 + (-15)/(-4)). Is r >= 331?
False
Let t(z) = 17*z**2 - 27*z + 27. Let k be t(1). Which is greater: 15 or k?
k
Suppose 0 = 36*t + 9*t. Do t and 2/429 have different values?
True
Let w = 53 + -59. Let m(l) = l**2 - l + 6. Let r be m(0). Let t be 16/r*w/(-36). Which is smaller: 1 or t?
t
Suppose 4*a - 4*v = 32 + 4, 0 = -4*a - 5*v. Let x = a + -18. Let b be (-50)/x + 4/26. Is b >= 4?
True
Let a be -374 + (-13)/(39/(-24)). Is -369 greater than or equal to a?
False
Let l be 6 + (-150)/28 + 6/(-42). Let a = -0.25 + 0.3. Which is smaller: a or l?
a
Let t be (-23)/(2 + (2 - 3)). Let p(k) = k**2 - 7*k - 14. Let u be p(10). Let g = u + t. Is g > -8?
True
Let v = 95 + -94.971. Let s = -0.971 - v. Are -1 and s equal?
True
Let c = 58 + -56.96. Let z = c - 0.04. Which is greater: -23 or z?
z
Let n(x) = x**3 - 2*x**2 - 14*x - 5. Let s be n(5). Suppose s*c - 11*c = -1023. Which is smaller: c or 92?
92
Suppose -257*u - 4*d = -258*u, 2*u - 4*d = 0. Let l = -396 - -11479/29. Which is greater: u or l?
u
Suppose -2*s + 319 = 9*s. Suppose -5*d + 2*d + 72 = 3*x, -5*x + 39 = 2*d. Which is greater: s or d?
s
Let c(u) be the first derivative of u**4/4 + 2*u**3 + 3*u**2/2 - 3*u + 4. Let h be c(-5). Let b = h - 6. Which is smaller: b or 1/2?
1/2
Let a(c) = -c**2 - c + 3. Let g be a(0). Suppose g*d - 5*h = -25, 0*d = -4*d - 2*h + 10. Let q = 16522/27 - 612. Are q and d equal?
False
Let c = -18.58 - -15.58. Let d be (-1)/9*(-4)/(-2). Which is greater: d or c?
d
Let l be ((2 - 0)/(6/12))/(13 + -6). Let u = -7 - -5. Is u less than or equal to l?
True
Suppose -4*q + 2*q = -4. Let y be (11 + (1 - 2))*q. Suppose 2*z - 15 = 3*n, 3*n + y = -n. Is 0 smaller than z?
False
Let d = 2 - 23. Let j be (8/6)/((-14)/d). Suppose 0*z - j*z = 3*r + 6, 4*r - 6 = 2*z. Which is greater: -4/15 or r?
r
Let d(f) = -6*f + 25. Let b(k) = -3*k + 12. Let y(j) = 7*b(j) - 4*d(j). Let n be y(5). Let p be ((-6)/(-9))/((-4)/6). Is p at most as big as n?
True
Suppose 9 = -11*l + 372. Which is greater: l or 28?
l
Let w be 24/(-20) - (-224)/120. Is 12/35 >= w?
False
Suppose 77 - 12 = -5*d. Let o = -17 - d. Is -3/5 smaller than o?
False
Let p = 26 - -14. Suppose 3*n + 1 - p = 0. Which is greater: 0 or n?
n
Suppose -95 = 5*f - 2*f + s, 2 = -s. Let a = f + 34. Let i be 5*2/10*2. Which is bigger: a or i?
a
Let w = -36 - -89. Suppose -w + 25 = n. Is n bigger than -28?
False
Let k be (2 - 6) + 3 - -7. Let q = k - -1. Is 10 at least as big as q?
True
Let d be (8608/(-47465))/(-1) - (-52)/(-286). Is d > 1?
False
Let b(w) = 8 + w**2 - w - 4*w + 10*w + 8*w. Let m(f) = f - 13. Let r be m(0). Let d be b(r). Which is bigger: d or -1?
d
Suppose 62 = -3*l - 103. Let a = l + 25. Are a and -30 equal?
True
Let w(q) = -q**3 + 13*q**2 - 34*q + 15. Let a be w(4). Which is bigger: 24 or a?
24
Let t(h) = 2*h**3 + 18*h**2 + 20*h + 12. Let y be t(-8). Let s = -66 - -47. Is s at most as big as y?
False
Let l(u) = u + 5. Let k(v) = -14 - 16 + 20 - v. Let f be k(-5). Let t be l(f). Which is bigger: t or 2/5?
2/5
Let d(s) = -2*s + 8. Let c be d(-8). Let x be c/(-35) + (-12)/(-30). Which is bigger: x or 1?
1
Suppose 4*l - 19 - 1 = 0, -x - 3*l - 116 = 0. Is x less than or equal to -130?
True
Let l = 0.32 - -0.7. Let j = l - 1.21. Is 0.1 <= j?
False
Let l be 17/(-20) + (-2)/5. Let b(j) = -10 + 11*j - 6*j - 3*j. Let a be b(5). Is a less than l?
False
Let x = 44 + -41. Let m(y) = 6*y - 15. Let z be m(x). Which is smaller: 1 or z?
1
Suppose g - 5*g + 12 = 0. Suppose g*a - 25 = 5*s, -2*a + 5*s + 32 = 7. Suppose -5*x = -0*x. Is x not equal to a?
False
Let c be ((-96)/(-56))/((-2)/(-7)). Let b be ((-33)/(-44))/((-1)/c)*2. Which is bigger: -11 or b?
b
Let n = 48.4 - 48.2. Let a = 3.767 + 0.193. Let y = -0.04 - a. Is n less than y?
False
Suppose -52*k + 15 = -47*k. Let h be (0 - 1) + (-58)/(-22). Do h and k have the same value?
False
Suppose -6*h + 10 - 28 = 0. Which is bigger: h or 8?
8
Let d = 258 - 110. Is d < 148?
False
Let l = -84/95 + 27793/31540. Which is bigger: 1/2 or l?
1/2
Let r = 15 + -31. Which is greater: r or 2/5?
2/5
Suppose -10*p + 290 - 2340 = 0. Which is bigger: p or -0.1?
-0.1
Let o(d) = d**3 + 10*d**2 + 7*d - 15. Suppose 0 = 3*m - 7 + 34. Let n be o(m). Suppose -u - n*u - 4 = 0, -10 = -3*b + 4*u. Which is greater: 4/7 or b?
b
Suppose 0 = -8*c + 5*c - 6. Let h be c/28*(-15 - 3). Which is bigger: 1 or h?
h
Let u = 52.09 - 52.9. Is u greater than 0.1?
False
Let q = -57 + 81. Let v be ((-6)/(-12))/(((-10)/q)/1). Let y = 0 + 0. Is v at least y?
False
Let v = -196.01 + 196. Is 2/25 != v?
True
Suppose 0 = q - 16 + 17. Is -2/1153 greater than q?
True
Let x = -0.888 - -0.688. Do x and -1.49 have the same value?
False
Let a(t) = -t**3 - 12*t**2 + 18*t - 19. Let x be a(-14). Suppose -x = -2*u + 71. Let m be 8/20 + u/10. Are 12 and m non-equal?
True
Let s = 1 + 1. Suppose s*b = 4*b - 74. Let k = -40 + b. Is k bigger than -2?
False
Let k = -59 - -26. Is -32 > k?
True
Suppose -3*k + 17*c - 11 = 18*c, 2*k = -5*c - 3. Is k less than or equal to -244?
False
Let s(b) = -b**2 - 18*b - 31. Let z be s(-14). Suppose 0 = -2*g + g + 5. Suppose -z = -7*t + 2*t, 2*t - 70 = g*l. Is -13 > l?
False
Let m be 3 - (-5)/((-2 - -5) + -4). Are m and -20 equal?
False
Suppose -7*i - 3*d = -3*i - 658, -5*i = -2*d - 811. Which is greater: 164 or i?
164
Let b = 21/4 + -4. Let q(p) be the third derivative of p**5/60 - p**4/8 - p**3/3 + 3*p**2. Let h be q(4). Is b > h?
False
Let b = 44 - 14. Let z be -1 + (-3)/b*-2. Let f = 28 + -28. Is f less than z?
False
Let x be (-1)/(-3)*(-129)/(-3827). Which is greater: 0 or x?
x
Let f be (1 - 1)/(-5 - -2 - -4). Let r be (1 + 21/7)/(f - -2). Is 11/5 bigger than r?
True
Suppose -95 = -6*n + n. Suppose 0 = -n*t + 15*t. Let p(r) = -2*r + 1. Let v be p(t). Is v >= -1/4?
True
Let l = 33 - 33.17. Let u = -0.66 + 0.56. Let z = u - l. Is z smaller than 1?
True
Let b = -0.7 + 1. Let y = -0.45 + b. Let c = y - -0.16. Do -3 and c have the same value?
False
Let i be -1 + ((-12)/(-21) - (-3372)/(-70)). Let k = i + 48. Let w be 1 + -4 - -1*2. Which is bigger: k or w?
k
Let b = -1 - -2. Let y = -1366 - -1366.3. Which is greater: b or y?
b
Let q be 0 - (11/22 + 158/(-332)). Is 0 at most as big as q?
False
Let v = -4/61 + 142/305. Let y be 26/10 + (-4)/(-10). Suppose -4*k - y*g - g = 8, -5*g - 10 = -4*k. Is k less than v?
True
Let i = 252.1 + -252. Let y = -1.2 + 0.2. Let h = y + 2. Is i less than or equal to h?
True
Let c(q) = 2 + 3 - 3*q + q. Let f be c(4). Let g = 0.503 - 1.503. Which is greater: f or g?
g
Let d = -5