 + -0.6. Let m = 0.5 + b. Which is bigger: 0 or m?
m
Let v = -123099/2296 + -3/287. Let w = -7485/136 - v. Let z = -99/34 - w. Which is bigger: z or -1?
-1
Let j be 5*(0 - (-12)/15). Suppose 3*f = 12, j*m - f = -2*f. Is m greater than or equal to -1?
True
Let h be 70/(-25) + (-1)/5. Is h at most -3?
True
Suppose 0 = m - 0*m + 2. Let i(c) be the first derivative of c**3/3 + c**2/2 + c + 6. Let f be i(m). Is 3 <= f?
True
Let b = 0.07 + -169.07. Which is smaller: b or 1?
b
Suppose 4*k = 2*y - 2, -5 = 3*k - 8*k + 5*y. Is k <= -3?
False
Suppose 3*i = -2*g - i + 14, 0 = -3*i + 15. Is g > -5/3?
False
Let k be 2*2*2/(-152). Let w = -11/152 + k. Is 0 < w?
False
Let w = 21 - 20. Let j = 0.1 - 0. Let p = j - 0.1. Is w < p?
False
Let v be -1 + 1*(-372)/(-92) + -3. Are v and 1 nonequal?
True
Suppose 3 - 15 = -4*y, -2*y = -2*n + 30. Let b be 40/18 + (-4)/n. Is b bigger than 1?
True
Let c = -66 - -31. Which is bigger: -36 or c?
c
Let o = -0.087 - -2.087. Let c = -2 - -1. Let p = c + o. Which is greater: -1 or p?
p
Let q be (15/(-9))/((-1)/(-3)). Let n be -3 - q - 45/24. Is n greater than or equal to -1?
True
Let x = -0.4 + -1. Let c = -0.4 - x. Let o = -6 + 5.6. Is o at least as big as c?
False
Suppose 0*u = 2*u + 36. Is u smaller than -1?
True
Suppose -8*c - 2 = -7*c. Which is bigger: -5/6 or c?
-5/6
Let y = 3 - 2. Which is greater: y or -2?
y
Let t(z) = -z**2 + 8*z + 1. Let h be t(9). Let m = h + 7. Let u(s) = s**3 - s**2 - s - 2. Let j be u(0). Which is bigger: m or j?
m
Suppose -2 = 5*m + 2*z + 40, -5*m = -z + 39. Is -7 not equal to m?
True
Let y be 1*-2 - 0/2. Let x be 9/60*4 + y. Which is bigger: x or -1?
-1
Let t = -0.22 - -1.22. Is 2/13 > t?
False
Let b = -58.2 - -54. Let i = 4 + b. Let k = i - -0.4. Which is bigger: 1 or k?
1
Let z = 0 + 0.4. Let q = -0.6 + z. Let p = q + 0.1. Which is smaller: 2 or p?
p
Let i = -7 - 4. Let r = i + -5. Let q = -46/3 - r. Which is smaller: 4/3 or q?
q
Let h = 8 - 12. Let y = h + -1. Let j = y - -4. Which is smaller: j or 2/11?
j
Let i be 2*(0 + (-5)/10). Let d = -5 - -3. Is i less than or equal to d?
False
Let g(k) = k**2 - 13*k - 28 + 10 + 15 + 0*k**2. Let m be g(13). Which is smaller: -3/2 or m?
m
Let u(y) = 2*y**3 + 2*y**2 + y + 2. Let h be u(-2). Let v be 0/1*(-4)/h. Let z = 0 - 1. Is z smaller than v?
True
Suppose 5*x = -2*c + 10, -4*c + 25 = -3*x + c. Which is smaller: x or -0.05?
-0.05
Let b = 19917/380 - 262/5. Which is smaller: b or -1?
-1
Let m be (280/147 - 2)*-3. Let h(u) = u - 1. Let d be h(2). Is m greater than d?
False
Let l = -1.2 + 0.6. Let x = -1 - l. Is 1 <= x?
False
Let s(y) = -y + 3. Let o be s(13). Is o equal to -10?
True
Suppose 4*h + 19 = -m - 3, 3*m + 48 = -3*h. Let a = -8 - m. Let r = a - 8. Are r and -2 nonequal?
False
Let c be (1 + 1/2)/(2/(-4)). Which is bigger: 4/5 or c?
4/5
Let g = -44 + 66. Let q = -26 + g. Which is smaller: 2 or q?
q
Let g = 43 + -41. Let h = 0.6 + -0.3. Is h greater than g?
False
Let t be (-10)/(-2) + -2 + -2. Which is smaller: -2/7 or t?
-2/7
Let d be -3 - (1 - 0)*-4. Let o(c) = -2*c - 3. Let y be o(-4). Suppose -y = -10*q + 5*q. Is d >= q?
True
Let x = 17.9 - 18. Does x = 7?
False
Let t be (-369)/27 + (-2)/6. Are -14 and t nonequal?
False
Suppose 4*c - 120 = -5*s, 2*c = -0 + 10. Let m = -31 + s. Is -11 <= m?
True
Let v be 4/8 + (-34)/(-4). Let l be 2/v - (-14)/(-63). Which is bigger: l or -3/11?
l
Let z(u) = -4*u - 18. Let s be z(0). Is -18 != s?
False
Let v be (5 - 2)/((-6)/8). Let p(c) = c**3 + 4*c**2 + 3*c - 4. Let k be p(-3). Does v = k?
True
Let a(u) = -u - 15. Let l be a(-8). Let r be ((-1)/(-3))/(l/42). Which is smaller: r or 2/7?
r
Let r = -16319/633 + 24/211. Do r and -26 have the same value?
False
Let r = -1693/88 + 155/8. Which is smaller: 1 or r?
r
Let i = -10537/17 + 620. Let c(y) = y**3 - 9*y**2 + y - 9. Let r be c(9). Which is smaller: i or r?
r
Let b(g) = -2*g + 1. Let w be b(1). Let c be (-6)/11*w/(-3). Is -1 at most as big as c?
True
Let u = 0.13 + 2.87. Is 15 less than or equal to u?
False
Let y = -8 - -10. Suppose -3*k = 2 - 5. Do y and k have different values?
True
Suppose 4*n + 22 = 5*x, 4*x - x + n - 20 = 0. Suppose x*j + 4*s = 2*j + 12, 5*s = -2*j + 15. Which is smaller: j or -1/17?
-1/17
Suppose -3*b + 0*x = x - 4, 10 = 4*b - x. Let y be (b + -1)/(-3) + 1. Is y bigger than 0?
True
Let g(z) = z**3 - 6*z**2 - 3*z - 14. Let s be g(7). Is s at least 14?
True
Let g = 0.1 + -0.2. Let u(r) = r**2 - 6*r - 7. Let m be u(6). Let s = -5 - m. Is g smaller than s?
True
Let w(a) = 2*a - 6. Let c be w(5). Let s be (-1 + 2)/(c + -5). Is -1 > s?
False
Let b = 6680/21 - 318. Let j = -2 - -3. Which is bigger: b or j?
j
Let w be 1 - 2/1 - (-10 + 9). Are w and 8 non-equal?
True
Let s be (-12)/3*(3 + (-49)/4). Which is smaller: s or 35?
35
Let r(g) = -3*g**2 + g. Let n be r(-1). Is -5 >= n?
False
Let g = 7/10 - 31/30. Which is smaller: g or -3/2?
-3/2
Suppose -6*g - 27 = -3*g. Let a be (g + 19)*(-8)/(-10). Is 7 > a?
False
Let u be (-1)/((-12)/(-9) + -1). Let z be u - 6/(-9)*-3. Let k = -5 - z. Which is smaller: -2 or k?
-2
Suppose 0 = -2*l + 3*p + 3, 5*p = -2*l - 5 + 48. Let a be (-2 - 7)*3/l. Let q = -1 + 2. Which is smaller: q or a?
a
Suppose -2*r + 8 = -4. Let m(x) = x**3 + x**2 - x. Let s(y) = 3*y**3 - 4*y**2 - y - 5. Let b(l) = 2*m(l) - s(l). Let o be b(r). Which is smaller: o or 1?
o
Let p be 8/16*6/411. Which is smaller: -2/5 or p?
-2/5
Let z = -1/216 + 445/2808. Let v be 0/1 - (3 + -4). Is z <= v?
True
Let z = 2570/9 + -286. Suppose 3*b - 2*m + 12 = 25, -3*b = -4*m - 23. Which is smaller: z or b?
z
Let f = -3 - -5. Let o = 0 + -3. Let g be ((-2)/o)/(4/(-6)). Is f smaller than g?
False
Let x = -20 - -19. Is -4 at most x?
True
Suppose 2*v + 3*n = 6*n + 10, v + 3*n = -13. Suppose 0*j - 5*j - 40 = 0. Let t = j + 23/3. Which is smaller: v or t?
v
Let o(d) = d**3 + d**2 - d + 3. Let z be o(0). Suppose 7*i - 12 = z*i. Suppose 20 = -p + i*p - 5*a, 0 = -4*p + a + 4. Are p and 4/3 equal?
False
Suppose 0 = -2*o - 3*o + 10. Suppose -3*m = -2*m - t - o, 0 = -2*t - 4. Which is bigger: -3/8 or m?
m
Let a = 158 + -629/4. Do a and 1 have different values?
True
Let y be 16/30*126/(-24). Which is smaller: y or -1?
y
Suppose 4*r + 1 = 3*t, 5*r - 4 = 5*t - 3*t. Suppose -4*z + 3*w = 2, 0*w - 6 = -t*w. Is 4/3 greater than or equal to z?
True
Let r(a) = 4*a + 1. Let v be r(1). Suppose -v*l = -10 - 50. Is l at most as big as 11?
False
Suppose 2*l + c + 12 = -l, 3 = -c. Is -3 less than l?
False
Let d(i) = -i**2 + 2*i + 3. Let h be d(3). Suppose -4*u + 8 = -h*u. Suppose -6*l = -u*l. Does 1/4 = l?
False
Suppose 5*a - 15 + 5 = 0. Suppose 0 = -a*u + 3*u + 2. Let s(w) = -2*w**2. Let i be s(1). Is u greater than or equal to i?
True
Suppose u = -3*z - 6, 2*u + 4*z = 2*z. Suppose -1 = -i + 2. Suppose -3 + 0 = -i*o. Is o at least u?
False
Suppose 160 = -5*q + 10. Let r be 3/((q/(-4))/(-5)). Let s be (r - 5/(-3))*-2. Is 2 >= s?
True
Let k be 2/6 + 109/(-159). Let f = 1/53 + k. Let z be 2/(-5)*20/28. Which is greater: f or z?
z
Suppose 0*n + n = 4*x + 13, -3*x - 10 = -n. Which is bigger: n or -5/22?
n
Let l = -2.5 - -1.2. Let d = -0.08 - -0.38. Let o = l + d. Which is smaller: o or 2?
o
Suppose -4*u = -4*y + 4, 0 = -5*u + 3*y - y + 1. Let x = -147 + 3089/21. Is x at most as big as u?
True
Let t = 10 + -10. Is 8 at least t?
True
Let v = -0.12 + 0.02. Let u = -29 - -89/3. Which is bigger: v or u?
u
Let u(k) = -2*k**3 + 15*k**2 - 7*k - 1. Let n be u(7). Is -1/2 equal to n?
False
Suppose -2 + 14 = 4*w. Let h be (1 + w)/((-1)/(-2)). Let x = h - 12. Is x greater than or equal to -3?
False
Let l = -3.5 + -13.5. Let k = l + 17.9. Let a = k - 1. Which is smaller: -3 or a?
-3
Suppose 0*b + b - 18 = 0. Let z be 6/(-10) + b/5. Let l be 2/z + 4/3. Is l > 3?
False
Let o = 20 + -9. Suppose -2*s - o = f, -2*f + 10 + 8 = -4*s. Which is smaller: f or -2/7?
f
Let u(j) = -j**3 + 3*j**2 - 3. Let r be u(3). Which is bigger: -5/3 or r?
-5/3
Let l = 25 + -23. Let k = -87 + 263/3. Which is smaller: k or l?
k
Let n = 4 - 3. Let f = 1 + n. Let x = -0.2 + 0.3. Is f less than x?
False
Let g be 6/(-9) + 16/6. Suppose -3*d + g*j = 52, -4*d = 5*j + 34 + 20. Is d at least -16?
True
Suppose -4*l - l + 5 = 0. Let o(k) = 9*k - 35. Let a be o(4). Is l at least as big as a?
True
Let r = 512/11 + -48. Which is bigger: -2 or