Let l = 0.1 - 0.3. Let r = l + -0.1. Which is bigger: 2 or r?
2
Suppose -2*b - 1 + 7 = 0. Which is smaller: b or 7?
b
Let j(n) = -n**3 + 11*n**2 - 8. Let g be j(10). Let k = 551/6 - g. Is -1 >= k?
False
Let k = -0.02 - -2.02. Is k bigger than -4?
True
Suppose -2*k + 15 = u, -2*u + 4*k = 3*u - 5. Suppose u*f = 3*f - 3*p + 159, -5*f - 2*p = -392. Let b be 1/4 + f/(-24). Is b > -3/2?
False
Let i be (-1)/(-3)*-3 + -2. Let p be i/7 + 104/14. Which is bigger: 5 or p?
p
Suppose 0 = -10*k + 5*k. Suppose k = u + 2 - 9. Suppose 4*l - 2*l = 14. Is l bigger than u?
False
Let j = -0.08 + 0.05. Let z = j - -0.03. Is z at most 0.1?
True
Let u = -6 - -9. Suppose -u*r = y + y - 3, -3*y - 18 = -3*r. Which is smaller: y or -2?
y
Let j be 7294/(-144) + 4/(-18). Let o = -51 - j. Which is greater: 1 or o?
1
Let m = -9 - -9.01. Let i = m + -9.01. Let k = 7 + i. Is k greater than 0?
False
Let u be (2/(-8))/((-6)/72). Let g be 1/15*-3*u. Let b be (6/4)/(3/(-4)). Is b < g?
True
Let u(j) = -j**2 + 7*j + 5. Let s be u(7). Suppose -10 = -0*k - s*k. Let h be 96/198 - k/3. Which is greater: -2/3 or h?
h
Let w = 0.7 + -0.6. Let l = w - 0.2. Are l and 0.2 unequal?
True
Let u(c) = -2*c**3 - 2*c**2 + c - 1. Let b be u(-2). Suppose 5*s + 9 + 6 = b*r, 2*s = 5*r - 9. Let h = 5 - 8. Is h greater than or equal to s?
False
Let t = 0.17 + -0.27. Let o = 1.3 - 1. Let q = 0.5 - o. Is q >= t?
True
Suppose -5 = -4*j - 1. Which is smaller: 7/3 or j?
j
Let h = 0.2 + -0.4. Let f = 0.3 + h. Is -0.2 smaller than f?
True
Let m be -7 + 12 + (-4)/2. Are m and 9 equal?
False
Let m = -37 - -25. Let c = -11 - m. Is 1 at most c?
True
Let v be 2/(1 - (-2 - -1)). Suppose 3 = -2*l + 1. Let c = v + l. Are 1 and c unequal?
True
Let v be (8/(-20))/((-1)/5). Is v less than or equal to 0?
False
Let y = 0.4 + -0.3. Let a be (8/66)/(2/3). Which is greater: a or y?
a
Let d be -1 - 8*(-1)/(-2). Suppose i + 5*b = 11, 0*i = -5*i + b - 23. Which is bigger: i or d?
i
Suppose 0*p = -2*p + 2. Let c = 0 + p. Let g be 8/10 + (-1)/5. Is g > c?
False
Let x = -36 - -28. Is x smaller than 0.3?
True
Suppose -l + 2*l + 24 = 0. Is l at most -24?
True
Let y(b) be the third derivative of -b**5/60 + b**4/8 + 5*b**3/6 - 4*b**2. Let o be y(4). Let a be 5/15 - (0 + o). Which is smaller: a or 3?
a
Let l = -0.134 - -2.424. Let w = -0.09 + l. Let z = w + -0.2. Do z and 0 have different values?
True
Let z = 1 - 0. Suppose -3*n + 10 = -8*n. Let l be (n/(-14))/(4 - 3). Do z and l have the same value?
False
Let c be 3 + -1 + 1 + -1. Let k = 4 - c. Is 0 at most k?
True
Let n be 24/16 - 7/4. Which is smaller: n or 2/3?
n
Let t = -31 - -29. Do 1/2 and t have the same value?
False
Suppose 2 = -4*v - 6. Suppose 3*y - 1 - 2 = 0. Let s = v + y. Which is greater: s or 2/5?
2/5
Let t(u) = u**3 - 4*u. Let y be t(3). Suppose 0*s + y = -5*s. Let v = s - -7. Is 1 at least v?
False
Let w be ((-8)/3)/(16 - 15). Is 0.1 equal to w?
False
Let k be (32/20)/((-2)/(-10)). Let g be (-6)/k*2*-4. Is g > 4?
True
Let b(a) be the third derivative of -1/8*a**4 - 1/15*a**5 + 1/120*a**6 + 0 - 2*a**2 - a**3 + 0*a. Let o be b(5). Is o < 2?
False
Let a be (0/(3/3))/(-2). Let y = 4 - a. Suppose -3*t - 2*h + 15 = 0, h + 10 - 1 = y*t. Which is greater: t or 4?
4
Let o = 5 - 6. Do o and -2 have different values?
True
Let m = 19 - 22. Which is greater: -26/5 or m?
m
Let d be (744/9)/(-4) + (-3)/9. Which is greater: d or -20?
-20
Let g be (-6)/(-4)*20/(-6). Let j be g/(1 + 0/4). Which is bigger: j or -4?
-4
Let w = 3 + -4. Let i = -6 - -5. Are i and w nonequal?
False
Let x be (4/12)/(19/(-63)). Let u = 277/285 + x. Let n = 3 + -4. Which is greater: u or n?
u
Let z = 3.3 + -1.3. Which is smaller: z or -4?
-4
Let c = -100 - -108. Let v = 20 - 12. Do c and v have the same value?
True
Suppose -2*f + 13 = 3*r + 2*r, r = 4*f - 15. Suppose f*x + 2*g - 22 = 0, 3*g - 6 = 3. Suppose w + 16 = -x*c, 3*w - 9 - 8 = c. Which is smaller: w or 2?
2
Let q be (-113)/234 + (-6)/27. Let y = 20/9 + -529/234. Let a = q - y. Is -1 equal to a?
False
Suppose 0 = -6*a - 4 + 16. Suppose t = 6*t - 35. Let x = t - 4. Is x greater than or equal to a?
True
Let k = -1.1 - 3.9. Let a = k - -4.4. Let q = a + 0.4. Is -0.1 equal to q?
False
Let l be (-3)/(-9)*30/55. Which is greater: 1 or l?
1
Let w = -1.26 - -0.26. Which is smaller: w or -2/11?
w
Let s be (-28)/(-6)*(-24)/(-16). Is s < -3?
False
Suppose 6*c + 17 = 5. Is 30 not equal to c?
True
Suppose -5*r + 8*r + 39 = 0. Is r >= -15?
True
Let a = -22 - -64/3. Let s = 0 - 1. Is s at most as big as a?
True
Let s be 2 + -2 + 2/(-6). Which is greater: 6 or s?
6
Suppose 3*d + 17 = 5*f, 3*f + 1 + 0 = -d. Suppose 6*y - 18 = 9*y. Let j be (-10)/(-6) - 2/y. Are f and j equal?
False
Let b = -3/26 - -8/13. Which is smaller: -4 or b?
-4
Let w = 0.19 + 2.41. Let r = w + -2.4. Which is smaller: r or 1/2?
r
Let l be (-1)/4*(-8)/(-3). Is -3 less than l?
True
Let c(p) = -3*p**3 + 2*p - 3. Let b be c(2). Let t be (-2)/7 + b/(-7). Let n(h) = h**3 - 4*h**2 - 6*h + 7. Let s be n(5). Is s less than or equal to t?
True
Let r = -102 + 101. Which is smaller: r or -7/17?
r
Let i be (-1664)/36 - (-4)/18. Let l be ((-1)/2)/(i/(-4)). Let p = 37/207 - l. Is 1 greater than or equal to p?
True
Suppose 2*c + 3*c - 25 = 0. Let m be ((-20)/30)/(2/(-18)). Is c equal to m?
False
Let t = -10.9 - -11. Let q = t + -0.1. Are q and 0.6 equal?
False
Suppose -2*x - 3*p = 8, 3*x + p = 2 - 7. Do x and -1 have the same value?
True
Let d = 6.3 + 1.7. Let l = 8.1 - d. Which is greater: l or 5?
5
Suppose -3*h - 19 = 4*i, 3*i = -2 - 1. Let q = h - 25. Let f be (q/(-20))/(2/(-4)). Is -2 < f?
False
Let m = 242/5 - 51. Is m greater than -2?
False
Let a(h) = 0*h + 0 + h - 3 - 1. Let n be a(0). Let u be (n/(-8))/((-21)/(-36)). Which is bigger: u or 0?
u
Suppose 3*s - 5*w + 5 = -7, 3*w = -2*s - 8. Let u = -40 + 37. Is s at least as big as u?
False
Let i be (2 + -1 - 5)/13. Let s = -1123 + 1122. Is s <= i?
True
Let q(v) = 19*v - 1. Let i be q(-1). Let a be i/28 + 8/(-28). Is a at least 2/15?
False
Let n be 13/52 - ((-51)/(-60) + -1). Which is smaller: -15 or n?
-15
Let p = 8 - 8. Suppose p = -s + 6 + 2. Suppose w - 8 = -4*d, 2*w + s*d - 10 = 3*d. Is 3/7 > w?
True
Let z = 4.9 + -5. Which is smaller: -5 or z?
-5
Let t be (2/36)/((-4)/(-8)). Let r be 3*(3 + -4)*-1. Suppose -r*g = -g. Which is smaller: g or t?
g
Let k = 6.6 + -6. Let w = -0.7 + k. Which is smaller: w or -3/4?
-3/4
Let g be (-1)/3 + (-5)/12. Let a = 1 + -3. Let h = a + 1.9. Is h greater than or equal to g?
True
Let a = -44.95 + 45. Is a at most -1?
False
Let d = -7 + 8. Let z = 3 - d. Which is smaller: 0.1 or z?
0.1
Let c = -16 + 15. Which is bigger: 5 or c?
5
Suppose 0 = -3*f - 3*y + 1 - 13, 5*y + 20 = 2*f. Let c be 1 - -2*(-1)/(-2). Suppose -c*n + 5*v = -5*n - 22, -n - 5*v = 24. Which is smaller: n or f?
f
Let c = 0 - -2. Suppose -2 = -12*h + 11*h. Let i = h - c. Which is greater: i or -3?
i
Let w = 2 + 7. Is w != 0.1?
True
Let c = 184 + -184.08. Which is bigger: -1 or c?
c
Suppose -6*g + 3*g - 6 = 0. Let i = g - -3. Which is bigger: i or -1/16?
i
Let c be (0 - (1 - 34))/(9 - 7). Is c < 17?
True
Let o = 178 - 182.92. Let b = 0.08 - o. Is b > 1/2?
True
Let o(v) = -v**2 + 7*v + 6. Let b = -11 - -17. Let m be o(b). Let a be 3/m + (-33)/100. Which is greater: 0 or a?
0
Let v(p) = p + 7. Let w be v(-6). Let m be ((-8)/28)/(2*-1). Which is smaller: w or m?
m
Let f = 74 + -74. Which is greater: f or 6/11?
6/11
Let a = -5.5 - -4. Let n = a + 1.4. Which is bigger: -0.3 or n?
n
Suppose 0 = -4*c - c. Suppose c = -4*a + a. Let l = -2203/9 + 245. Is l less than or equal to a?
False
Suppose 11*o + 7*o = 5*o. Is o > -7/5?
True
Let w = 3.5 + -0.5. Let s = 179 - 178.7. Which is bigger: w or s?
w
Let b = 3 - 2.96. Let d = 11.6 + -13.56. Let g = d - b. Which is bigger: 2/7 or g?
2/7
Let h = -182649/44 + 16487/4. Let b = h + 29. Which is bigger: 1 or b?
1
Let q = -13 + 18. Let t = 1 - q. Let h be -2 + ((-56)/6)/t. Which is smaller: 3 or h?
h
Suppose 5*d = -5*w - 70, 3*w - 2 = 4*d - 9. Is -9 < w?
False
Let m = -6 + 8. Let n be 18/(-20)*(-10)/6. Is m bigger than n?
True
Let y = -0.01 - -5.01. Let t = -6 + y. Let q = -0.2 - 0. Which is greater: t or q?
q
Let v = 186 + -169. Which is greater: -1 or v?
v
Let u(j) = -j. Let h be u(-2). Let a be (-3)/(20/12 - h). Does 10 = a?
