 -2*t - p*x + u. Which is greater: -2/5 or t?
t
Let k = 2/1503 + -3356/263025. Which is smaller: k or 0?
k
Let u = -0.26 - -0.19. Is -0.1 less than u?
True
Suppose -8*b - 4 = 28. Which is bigger: b or -6?
b
Let i = 13 + -16. Let f be (-1)/(4 + i) - -1. Is f >= 2?
False
Let b be (-8)/(-5)*12/48. Let i = -1 + 2. Let z = 0 + i. Which is greater: b or z?
z
Let j = 1 - 1.2. Is j bigger than 0.4?
False
Let q be ((-4)/(-10))/((-84)/(-35))*3. Is q greater than 3/7?
True
Let w(f) = -f. Let c be w(-4). Let q(r) = -2*r + 6. Let d be q(-5). Suppose 4 = p + m - 0*m, d = 2*p + c*m. Is -1/3 at least as big as p?
False
Let m be ((0 - 1)/3)/(35/9). Do m and 0 have the same value?
False
Suppose 5 + 15 = 5*g. Suppose g*q = -0*q. Suppose z - 1 + 2 = q. Is z bigger than -2/27?
False
Suppose 3*w = 5*x + w - 35, 3*x = -3*w + 42. Let z be 3/x*(-1206)/5. Let g = 80 + z. Is g at most -1?
False
Let a = -89 - -90. Do -3/7 and a have different values?
True
Suppose 0 = -3*z + 2*r - 18, -6 = -5*r + 9. Which is smaller: z or -3?
z
Suppose -4*p = -4*o + 16, 5*p = 3*o - 4*o - 26. Let k be (45/(-20))/((-6)/(-16)). Is p greater than or equal to k?
True
Let o = -0.1 + 0.4. Let i = -7.3 - -7. Let l = o + i. Which is greater: -0.1 or l?
l
Let h be (-155)/4 + 1/(-1). Let z = h + 40. Let q(g) = 2*g - 11. Let k be q(6). Which is greater: k or z?
k
Let r be (-3)/(3 + 168/(-52)). Let z = 14 - r. Which is greater: z or 0?
z
Let r(d) = -d**3 - 8*d**2 - 2*d - 10. Let w be r(-8). Let n = -8 - -13. Is n bigger than w?
False
Let u = 3 + -3. Let r(g) = -g + 3. Let d be r(5). Let s be ((-2)/(-78))/(d/(-6)). Does u = s?
False
Let y be (-2)/6 - (-12)/(-9)*-1. Let n = 963/5 + -192. Which is bigger: y or n?
y
Let y = 2218 + -82071/37. Which is smaller: y or 1?
y
Let p be 2/(6*1) + (-34)/(-51). Is 7 equal to p?
False
Let c = 269 - 1881/7. Let w = -0.03 + -0.11. Is c greater than w?
True
Suppose 4*r + 9 + 11 = 0, 0 = -4*u - 3*r - 31. Is u less than 2?
True
Suppose 3*d + 2*t + 398 = -95, -3*d - 488 = t. Let s = d + 647/4. Is s at most 0?
False
Suppose 4*w = w + 6. Let c(y) be the third derivative of -y**6/120 + 7*y**5/60 - y**4/4 + y**3/3 + y**2. Let d be c(6). Are w and d non-equal?
False
Let a(t) = 4*t**3 + 2*t + 2. Let p be a(-1). Let n = 2 + -5. Is p greater than n?
False
Let k = -27 - -27. Which is greater: -1/19 or k?
k
Let y(z) = z - 1. Let q be y(0). Let g(a) = -7*a**2. Let t be g(q). Let d be (-17)/t - (-4)/(-2). Which is smaller: 0 or d?
0
Let n = -5 - -10. Suppose 0*c + 2*c - 10 = -n*u, c - 4*u = -8. Do 0 and c have different values?
False
Let y = 3.2 + -3. Let v = y + -0.4. Do -1 and v have different values?
True
Let u(i) = -4*i - 2. Let t be u(2). Let p = t - -10. Suppose -h - 4 = p, -2*w - 32 = -6*w + 5*h. Which is greater: w or 4?
4
Let f be (-4)/(-16)*1*52. Let u(j) = -j + 12. Let o be u(f). Is o smaller than -3?
False
Let w = -67 + 63. Suppose -5*j + 2*b + 1 = 0, 0 = j - 4*b + 2*b + 3. Which is smaller: w or j?
w
Suppose 0 = -0*z - 2*z + 8. Let f be 0 + (-1)/(-6)*z. Which is greater: f or -2/9?
f
Let n = 82 - 82.37. Let d = -1.7 + 1.73. Let g = d - n. Which is bigger: -2/3 or g?
g
Let i be (((-63)/6)/7)/(-6). Which is smaller: 1 or i?
i
Let h be (-6)/(-9) + (-34)/18. Let b = h + 5/9. Let g be ((-2)/16)/((-9)/(-12)). Which is bigger: b or g?
g
Let s = -1 + 9. Let c be (s/22)/((-4)/(-2)). Which is greater: c or -1?
c
Let f be ((-1)/(-2))/((-1)/(-4)). Let m be (4 - 8) + -1 + -19. Let q be (4/m)/(f/(-4)). Which is greater: q or 0.1?
q
Let t = 109 + -102. Which is greater: t or -4?
t
Let f = -143/8160 - 1/480. Is f greater than or equal to -1?
True
Suppose -5*q + 19 + 71 = -5*p, 5*q - 48 = 3*p. Suppose 10 = -2*g, 2*a - 2*g - g = 11. Let s be 3*(a + p/(-9)). Is -1/5 greater than s?
False
Let l be (-4)/(-12)*(-3)/(-57). Is 1 at most l?
False
Let v be (52/39)/(1/(-3)). Let c = 6 - 10. Is v equal to c?
True
Let c = 74 - 72.5. Which is smaller: c or 1/2?
1/2
Suppose g = -0*g - 2. Let r be 1 + ((-4)/g - 1). Suppose -5*i + 5*o - 6 = 9, -4*i - 7 = -3*o. Is i less than r?
False
Let i = -24 - -22. Which is smaller: i or -0.5?
i
Let o = 24 + -23.9. Which is smaller: 6/11 or o?
o
Let q = 41 + -20. Is 21 at most q?
True
Let v be 4 + 0 + -1 + -2. Which is bigger: v or 3/2?
3/2
Let z be ((-5)/2)/(5/(-70)). Is -0.1 less than or equal to z?
True
Let u = -9 - -6. Let m be ((-2)/15)/(u/(-15)). Let q = -2.04 - -0.04. Is q bigger than m?
False
Let t = -398.99 - -392. Let k = 7 + t. Are 0.1 and k unequal?
True
Suppose -2*a = -6*a + 16. Suppose a*k - 8 = -0. Are k and 2 nonequal?
False
Let i = 3.64 - 0.54. Let q = i + -3. Let b = 1 + -4. Which is greater: b or q?
q
Let p = 2.1 + -2. Is p smaller than -1?
False
Suppose l + 3 - 4 = 0. Let o(w) = 5*w - 8. Let b be o(10). Let h = b - 380/9. Which is bigger: h or l?
l
Suppose 2*y - 6 + 2 = -l, -4*y - 3*l + 4 = 0. Suppose -u + 2*f - 6 = 0, -y*u - 3*f + 0*f = 2. Which is bigger: -6/11 or u?
-6/11
Suppose -a = -4*u + 6, -3*a + 2*u + 4 = u. Suppose 0*q = 4*q - a*h, -3*h = 0. Let o = q + -1/2. Is o smaller than 2?
True
Let c(v) = 2*v**3 + 2*v**2 - 3*v - 3. Let m be c(-3). Let q be 3/(-4) - m/(-24). Let r be (-8)/(-6) + 1/(-3). Is q bigger than r?
False
Suppose -4*j - 22 = 4*v - 5*v, j + 10 = v. Suppose v = -2*n - 0. Which is smaller: n or -4?
-4
Let m = -4381/714 + 112/17. Let k = -1129/42 + 27. Let q = m + k. Is 0 equal to q?
False
Let s = -11 + 10. Let u(b) = -4*b**3 - 3*b**2 - b + 1. Let f be u(s). Is 3 <= f?
True
Suppose 0 = a - 1. Let r be (a/(-4))/(9/(-1488)). Let i = r + -40. Which is smaller: i or 1?
1
Let i = 11/3 + -3. Let h = -26 - -79/3. Does i = h?
False
Let h be (-10)/(-4)*(-12)/10. Which is greater: h or -7?
h
Let x(h) = -2*h - 1. Let r be x(1). Let t = 7 + -11. Let d = r - t. Which is greater: 1/6 or d?
d
Let h be (-4)/8 - 25/(-2). Suppose -h = -3*v - 0*v. Let c(s) = s**3 - 4*s**2 + 5*s - 2. Let o be c(3). Are v and o unequal?
False
Let s = 1902 + -127431/67. Which is greater: s or 1?
1
Let z be 2 + 22*1/(-10). Do z and -13 have different values?
True
Let r be 3/2*8/6. Suppose 4*j = 6 - r. Suppose -2*o = 4*s - 2, -3*o + 4*o + 5*s - 1 = 0. Is j <= o?
True
Let g(x) = -x**2 + 2*x - 1. Let n be g(2). Let m = 14 - 9. Is m less than n?
False
Let w = -4 - -8. Suppose 5*k + 11 = -w. Which is smaller: k or -2?
k
Let v = -67 - -54. Do v and -0.2 have the same value?
False
Let z be ((-10)/(-45))/((-2)/(-6)). Let g = 1 - -2. Suppose 4*i - 1 = g*i. Is z smaller than i?
True
Let t be 20/6 - (-11)/(-33). Suppose -4*c + t*c + 3 = 0. Is 5/3 smaller than c?
True
Let r = 101/92 - 8/23. Suppose -3*v = 7 - 19. Let o = v + -4. Is r less than o?
False
Let i = -1.56 - -1.6. Is i <= -5?
False
Let v be (-972)/28 + (-6)/21. Let a be ((-6)/10)/((-7)/v). Are a and -1 equal?
False
Let o be (-8)/(-60)*(0 + -5). Let k(p) = p**3 - 3*p**2. Let z be k(3). Suppose -y = -z*y. Which is bigger: y or o?
y
Let o be -1*4 + 3 + 1. Suppose 0 = -o*i + 3*i. Which is smaller: i or -3/5?
-3/5
Let z be (-75)/(-21)*(-27)/15. Is -6 > z?
True
Let g be (-5)/(-2)*(-24)/(-10). Let k = g + -6. Let b be (2/(-5))/(4/(-6)). Is k greater than or equal to b?
False
Let r = 41 - 33. Is r < 8?
False
Suppose o - 216 = 4*n - 8*n, 204 = 4*n - 2*o. Which is bigger: 54 or n?
54
Let k = -0.7 + 0.6. Let b = 0.1 + k. Is b at least as big as -3?
True
Let s be (-3)/2 - 2/4. Let g(q) = q**3 + 4*q**2 + 3*q - 3. Let b be -3 - 0/(-3)*-1. Let u be g(b). Which is greater: s or u?
s
Suppose -6*g + 16 + 8 = 0. Suppose t = -3*x - 0*x + 5, 0 = -2*t + g*x - 10. Is 1/9 not equal to t?
True
Suppose k - 4*m + 2 = 0, -3*k + 3*m = m - 14. Let c be (17 - k/(-3))*1. Do c and 18 have the same value?
False
Let b(o) be the second derivative of -7/12*o**4 + 1/20*o**5 - 1/2*o**2 - 4/3*o**3 + 0 - o. Let n be b(8). Which is greater: 2 or n?
2
Let w be 33/(-27) + (-4)/(-18). Let y be w*((-16)/28)/4. Do -1 and y have different values?
True
Suppose -7*r = -5*r. Suppose r*b = -3*b - 39. Is -12 greater than b?
True
Let c = -40.9 + 43. Let o = 2 - c. Let y(b) = b**3 + 3*b**2 + 4*b + 3. Let x be y(-1). Is x at least o?
True
Let t be 12/(-24)*(-2)/2. Let j be (-1 - -2) + (1 - 1). Which is bigger: t or j?
j
Let t = -198 - -130. Let d be t/(-140) + (-2)/10. Do -0.7 and d have the same value?
False
Let g = -9 - -21. Is g >= 12?
True
Let z = 86 - 118. Is z les