less than m?
True
Let r(u) = -u**3 - 8*u**2 + 10*u - 10. Let f be r(-9). Let t = f - -22. Let q be (t - (1 + 10)) + 4. Are -4 and q equal?
True
Let f(y) be the third derivative of y**6/120 + y**4/12 - y**3/6 + 13*y**2. Let m be f(0). Let r be (1/30)/(4/10). Is r > m?
True
Suppose -3*s + 2*s = -26. Suppose -2*w = -4*f + 82, 5*f + 0*w - 3*w = 101. Let j = f - s. Is j greater than -1?
False
Let u be 5*(2/5)/1. Let m be u + (0/3)/(-1). Suppose -m*k + k + 4*c - 10 = 0, 0 = 3*k + c - 35. Is k greater than or equal to 10?
True
Let h = 2161 - 2160. Let v = 8/7 - -4/21. Which is bigger: h or v?
v
Let f be (-459)/93 + 2 + 3. Let s be (2/(-6))/((-4)/(-12)). Are s and f equal?
False
Let r(v) = -v**2 + 2*v + 4. Let u be r(-3). Let d(t) = t**3 + 15*t**2 - 20*t + 17. Let s be d(-16). Let f = -93 + s. Which is greater: u or f?
u
Let q = 1948 + -1962.2. Is -1 equal to q?
False
Let q be ((-1)/2)/(4/(-40)). Suppose -20 = 4*b, -4*b + 10 = q*h - 6*b. Suppose h = -p + 5*p + 4. Which is bigger: p or -2/3?
-2/3
Let u = 0.52 + -21.52. Let m = u - -21.05. Let d = m - 0.35. Which is smaller: -5 or d?
-5
Let g be (-10)/6*(-9)/6. Let b = 12 + -7. Suppose b*x - 5 - 5 = 0. Is g at most as big as x?
False
Suppose 2*u - 25 - 75 = -5*g, 2*g + 3*u - 29 = 0. Let r = 20 - g. Suppose 13 = -5*x + 3. Is r bigger than x?
False
Let d be (133/(-7) - -2) + -2. Which is smaller: d or -20?
-20
Let n = -1.19 + 0.19. Let w be (-3)/(-2) - (-68)/24. Which is bigger: n or w?
w
Let n(o) = -5*o + 3. Let d be n(0). Is d smaller than -8?
False
Let u(d) = d**3 + 6*d**2 + 6*d - 8. Let b be u(-6). Let p = 40 + b. Which is smaller: p or -6?
-6
Suppose -5*z = -f + 1, -f = 2*f + 5*z + 17. Let j be f/6*225/(-6). Let b = j + -126/5. Which is smaller: 2 or b?
b
Let z be -3 + (5 - 3)*1. Suppose -3*q = 9, 3*r + 24 - 3 = -2*q. Let b be (-4)/5*r/(-30). Which is smaller: b or z?
z
Let n = -84 + 80.6. Is n > 0.2?
False
Suppose -153*a = -156*a + w - 97, 4*a = -10*w - 186. Let c = -2 + 0. Are c and a equal?
False
Let h = 1903 - 1970. Which is bigger: 1/4 or h?
1/4
Let g = 883 + -778. Is g less than -1/5?
False
Let b be 435/(-696)*(-4)/3. Is -20 not equal to b?
True
Suppose 0*g = -3*g - 12. Let l(c) = -c**3 - 21*c**2 + 47*c + 29. Let q be l(-23). Let o be (-4)/24*q/g. Is o smaller than 3?
True
Let v be ((56/6)/(-4))/((-2)/(-42)). Is v at least as big as 0.2?
False
Let x(k) = -2*k**2 + 11*k - 43. Let s be x(4). Which is smaller: s or -35?
-35
Let x = 2774.36 + -2774. Is -7 < x?
True
Let o be -5*7/280*(-7 - -1). Is 1 smaller than o?
False
Let k be (-18)/15 - 119/(-85). Which is smaller: k or 0.033?
0.033
Let i be 13 + (-16)/12*3. Let v be i/(-30)*4/(-3). Let t = -0.06 + 0.22. Is v greater than or equal to t?
True
Let z = -107691697/10185 + 147957/14. Let i = -2140595/582 + 3678. Let s = i + z. Which is smaller: s or -4?
s
Let c be (-1)/9 - 122728/(-522). Which is smaller: 231 or c?
231
Suppose -1842 = 2*h + 2*c - 638, -2*c + 2975 = -5*h. Is -598 greater than h?
False
Let p = -875.5 + 876. Is p bigger than 25?
False
Suppose -25 - 10 = 5*c. Let b(v) = 15*v - 874. Let w be b(58). Is w < c?
False
Suppose 16*g = 15*g - 2. Let x be (1 - 1)*g*3/(-12). Is 0 at most as big as x?
True
Suppose 5*u - 10 = -4*j + 15, 3*u - 15 = 4*j. Suppose -f + 2*f - 2 = j. Let h = f + -2. Is h less than or equal to -4/7?
False
Let z(l) = -2*l**2 - 7*l - 9. Let u(t) = 3*t**2 + 15*t + 19. Let o(k) = -3*u(k) - 5*z(k). Let f be o(11). Is -3/4 at most f?
False
Let c = -3 + 3. Suppose -3*l + 0*l = c. Let n be -1 - l - 21/(-19). Is n < 0?
False
Let b(d) = 7*d + 8. Let a be b(6). Let r = -901/18 + a. Is -1 greater than or equal to r?
False
Suppose -h - 4 = 0, 5*j - 8*h + 12*h + 81 = 0. Which is greater: -1/2 or j?
-1/2
Let q = -111 + 237. Let m = q + -128. Which is smaller: m or -3.5?
-3.5
Let u(q) = q**2 - 2*q. Let n be u(2). Let v(p) = -3*p**2 + n*p**2 + 2*p**2 + 6*p + 5*p - 1. Let m be v(11). Do m and -8 have the same value?
False
Suppose q - 4*i - 14 = -7*i, 3*q = -i + 34. Suppose -q*s = -5*s + 12. Is -10/11 smaller than s?
False
Let b = -1.13 - -0.23. Let k = -19.1 + 19. Is b at most as big as k?
True
Suppose 3*t - 780 = 6*t. Are -261 and t nonequal?
True
Let k = -0.88 - -0.47. Let g = -2.31 - k. Which is smaller: g or -0.1?
g
Let c be (-1)/(-3)*3 + -4. Let j be 0/c*2/2. Suppose -u + 10 = -j*u. Is 10 smaller than u?
False
Suppose 7*s = 145 - 19. Let a be (-4)/s - (-178)/(-9). Is a smaller than -19?
True
Let w = 198430 + -4565249/23. Suppose 2*y = -3*y + 2*l - 297, 3*l + 233 = -4*y. Let d = y - w. Which is bigger: -1 or d?
d
Let o be (-2 - (-556)/28) + (-2)/(-14). Does 35/2 = o?
False
Suppose -5 = -4*t - 41. Let u = 9 + t. Is u bigger than -2/33?
True
Let m = -3 - -7. Suppose -2*w = 3*q - 11, 17 = m*w - 3*q - 32. Let g = 39 + -30. Is g smaller than w?
True
Suppose 0 = 2*f - 5*f. Let s = -200542674/115 - -1743838. Let r = s + 58/5. Do r and f have the same value?
False
Let r(d) = 8*d + 15. Let c be r(-6). Let v = c - -661/20. Do -1 and v have the same value?
False
Let i = 44 - 42. Suppose -7*m = -i*m. Which is smaller: 3/22 or m?
m
Let h = -5 - -10. Let b be (-11)/(-33) + h/3. Suppose -b*k = -0*k + 20. Which is smaller: k or -9?
k
Suppose -25 - 50 = -25*c. Which is greater: c or -6?
c
Let i = 9.8928 + -0.0928. Is i bigger than -4/7?
True
Let w = 0.502 - 0.402. Which is smaller: 9/2 or w?
w
Let c = -1186 + 1185.9. Which is smaller: 292 or c?
c
Let x be 1*2*3/2. Let w = -43/3 + 337/21. Is x greater than or equal to w?
True
Suppose -3*x - 15 = 0, 5*x = -0*w - 4*w + 19. Suppose 5*t - w = 4*t. Which is smaller: t or -2/11?
-2/11
Let u = -33305/78 + 427. Which is smaller: -2 or u?
-2
Let n = -3 - -15. Let y = n + -4. Let w be (-1)/14*(-4)/1. Which is smaller: y or w?
w
Let w = 0.263 + -19.363. Let m = -21.8 - -0.8. Let c = m - w. Which is smaller: -1/4 or c?
c
Let l = -838/5 + 167. Let i = -17 + 35. Let u = i - 19. Is l equal to u?
False
Let v be 4/(-22)*(-3 - (-202)/68). Which is greater: -1 or v?
v
Let d be 42/(-14)*(-5)/((-45)/1704). Do -568 and d have different values?
False
Let y = -0.068 - -0.168. Let z be ((-20)/(-12) + 1)/(-6). Is y >= z?
True
Let w = -185/4 + 14175/304. Let i = 5/76 - w. Which is bigger: i or 1?
1
Let k = -15.973 - 0.027. Is k at most 6?
True
Let f = -7/20 - -9/140. Is 163 bigger than f?
True
Suppose 3*o + 2*q = 11, o - 4*o + 5*q = -4. Let w be (-1)/o + (-168)/18. Let c = w + 9. Does 0.07 = c?
False
Let u(n) = -n + 19. Let f be u(14). Suppose f = -v + 8. Suppose -d + v = -1. Which is smaller: 2 or d?
2
Let y = -25 + 28. Suppose -2*f = -n - 7, -y*n + 9 = -5*f + 27. Let x be (3/(-14))/(6/(-8)). Which is greater: x or n?
x
Let z = -1344.2 - -1344. Suppose 5 - 3 = -g + 3*r, g - 4*r + 2 = 0. Is g bigger than z?
False
Let u = -141 + 147. Which is smaller: 19 or u?
u
Suppose -j + 8 = 3*j. Suppose -3*q = j*q + 10. Suppose 2*z - 8 + 16 = 0. Do q and z have the same value?
False
Let g = -12 + 21. Suppose -2*b = b + g. Let f be (b - -12)/(-3) - -2. Which is smaller: f or -5/4?
-5/4
Suppose 4*g + 4*b = 188, -4*g + 2*b + 154 = -34. Suppose -2*p + 2*v = -34, 0 = 3*p - 7*p - 3*v + g. Let l be 2/(-3)*2/4. Which is bigger: l or p?
p
Let r(p) = -p**2 - 5*p - 12. Let g be r(-5). Let n be (7/21)/(1/g). Let i(u) = u + 2. Let t be i(-2). Are t and n non-equal?
True
Let i = 4/9 + 1/18. Let u = 127 + -121. Is u greater than i?
True
Suppose -h = -4*x - 2 + 17, -3*h + x = 12. Let i be ((-34)/(-13))/(-8 - h). Let f = i - -12/13. Which is greater: -2 or f?
f
Let i = -8 - -6.5. Let o = 0.0099 - -0.1901. Which is bigger: o or i?
o
Let g be (-1236)/(-28) + 2/(-14). Let i = -8 + 13. Suppose i*d = d - g. Which is smaller: -21/2 or d?
d
Let i = 1.3 + -1.044. Let x = -0.056 + i. Which is bigger: x or 1.7?
1.7
Let r be (-39)/6*(0 + 2). Which is greater: -330/23 or r?
r
Let x(q) = 12*q + 31. Let n be x(-6). Let d = n - -37. Are -5 and d equal?
False
Let g be ((-8)/6)/((-1)/6). Let k(f) = 0 - 2 - g*f + 8*f**2 + f**3 + 10 + 0*f**2. Let z be k(-9). Which is smaller: 4/17 or z?
z
Let j(y) = -y**2 - 42*y + 136. Let u be j(-45). Which is bigger: u or 28?
28
Let r be 1/(-4) + 30/(-8). Let c be 108/(-345) + r/(-10). Suppose -o - 3*n = 4, 5*o = -48*n + 53*n. Is o equal to c?
False
Let v = -0.0464 + -1.9536. Is -0.69 equal to v?
False
Suppose 0 = -i - t + 42, 0 = 3*i + 2