er: -2 or w?
w
Let p = 66 - 66. Which is smaller: p or -22?
-22
Let r(s) = -s**2 + 5*s - 4. Let n be r(4). Suppose -2*i - 2*u = 0, 0*i + i - 4*u = n. Let d = -125/14 - -17/2. Is d equal to i?
False
Let h = -187350985/4557834 + 1/239886. Let g = -41 - h. Let s(j) = -2*j - 1. Let n be s(-1). Which is smaller: g or n?
g
Let l be (4/(-3) + 1)/(10/20). Which is bigger: 23 or l?
23
Let w = -12 + 7. Let i = -2 - w. Let r = -3 + i. Is -2 at most r?
True
Let x(z) = z**3 + 7*z**2 - z - 4. Let k be x(-7). Let m be k/(-6)*(-36)/(-39). Is m != -1?
True
Suppose -r = -b - 2*r - 18, -4*b - 36 = -5*r. Let g = b - -13. Is g < -2/7?
True
Suppose -6*f + 2*f + 12 = 0. Are f and 26/7 nonequal?
True
Let f(m) be the third derivative of -m**6/60 - m**5/30 - m**4/24 + 3*m**2. Let j be f(-1). Which is greater: j or -2/3?
j
Let u be 4 + (-8 - -4) + 4/(-6). Which is greater: u or 16?
16
Let n(c) = -c**3 - 5*c**2 + c + 3. Let p be n(-5). Suppose 0 = 5*k + 5*t - 25, -8 + 1 = k + 4*t. Let s = 7 - k. Is p < s?
False
Let g = 79 - 552/7. Which is bigger: 0.2 or g?
0.2
Suppose 3*j = -2*k - 9, -k + j + 3 = -0. Suppose 3*c + 1 = w, -4*w - 9 = c - k*c. Which is smaller: c or -3?
-3
Let g = -3 - -1. Let x = 7 + g. Suppose -4*f = -3 - x. Is 3/4 less than f?
True
Let q = -59/12 - -15/4. Which is greater: q or -2?
q
Let f(m) = -m**3 + 9*m**2 + 9*m + 11. Suppose -2*h - h = -4*l - 50, 0 = -2*h + l + 25. Let y be f(h). Is y greater than or equal to 2?
False
Let q be 3/(2/(-4) - -2). Is 3 equal to q?
False
Let i be (-2)/(-2)*-2 + 7. Let x be (-3 - -4)*(-2 - -6). Is i > x?
True
Let h(j) = 1. Let x(w) = w. Let l(d) = -5*h(d) - x(d). Let k be l(-5). Let o = k + 4. Are o and 4 unequal?
False
Let p = 5 - 5. Suppose -3 - 8 = y - 5*r, p = r - 3. Suppose h - 5*k = 9, -3*k = h + h - 5. Are h and y unequal?
False
Let g be 12/((-2)/8 + 1). Suppose -2*d = -4*d + g. Is 8 smaller than d?
False
Let v be 9/(-3) + (1 - 1). Is v < -5?
False
Suppose 2 = 3*v - a, 2*v + 3*a - 8 + 25 = 0. Is v > -1/8?
False
Let o be (4/(-8))/((-1)/(-8)). Which is bigger: -5 or o?
o
Let w = 82 + -82. Is w less than or equal to -6/67?
False
Suppose c + 2 = -c. Suppose 9*v - 4*v = -5*h, 0 = -2*v + h - 9. Which is bigger: c or v?
c
Suppose -23 = -3*v - 2*w, 5*w + 83 - 14 = 4*v. Let i = 443 - 444. Is i less than or equal to v?
True
Let d(q) = -q**2 - 8*q - 9. Let i be d(-6). Let z be (i/3)/((-1)/(-5)). Suppose 2*w = -4*y - 0*y + 14, z*y - 22 = -4*w. Is 2 at least as big as y?
True
Let w = 0 + -0.9. Let x = w + -3.1. Let v = -1.3 - -1.2. Which is bigger: x or v?
v
Suppose -3*n + 449 = -2*h - 11, -3*h - 305 = -2*n. Which is smaller: n or 153?
153
Suppose t - 2 = 3*t. Is 0 at most t?
False
Let i = 43.2 + -47. Let v = i - -0.8. Which is bigger: 0.1 or v?
0.1
Let g be (-9)/(-6)*14/(-91). Is 0 less than or equal to g?
False
Let r = -40/11 + 127/44. Let a(u) = -2*u**2 + 10*u + 12. Let f be a(6). Do r and f have the same value?
False
Suppose -4 = 2*b - 0*b. Let u = 1 + b. Let p(g) = g**3 + 2*g**2 + g. Let a be p(u). Which is smaller: -1/9 or a?
-1/9
Let c = -12 - -13. Let b be ((-12)/21)/(2/1). Is b equal to c?
False
Let i = -397/231 + 1/231. Which is bigger: -1 or i?
-1
Let l = 0.05 + 0.95. Which is smaller: -3/11 or l?
-3/11
Let v = -7/22 - 79/11. Is v less than -9?
False
Let d = -0.51 + 0.24. Let s = -0.13 + d. Which is smaller: -0.2 or s?
s
Let u(c) = c - 3. Let x be u(7). Let n = x + -1. Suppose 0 = n*v - 0 - 3. Is v equal to 0.3?
False
Let u = -1 - 0. Suppose -5*s = k + 29, -6*s + 5*s - 2 = 4*k. Let b be (9/s - -2)/(-2). Which is smaller: u or b?
u
Let m be 2/100*1*-4. Let w = -31/75 - m. Which is smaller: w or 0?
w
Suppose -5*c - 18 = 4*u, -4 = 2*c - 5*u + 23. Is c less than -6?
False
Let t = 0.35 - 0.05. Let d = 0.31 - t. Let n = 0.09 + d. Is n != 2/7?
True
Let i = 5.5 + 0.5. Let j = i - 8. Which is smaller: j or -1?
j
Let l(f) = f**3 - 4*f**2 - 4*f - 2. Let n be l(5). Let r = 13 - -1. Suppose -4*t = -4, r = n*g + 3*t - t. Which is greater: g or 3?
g
Let v(q) = 2*q - 2. Let f be v(2). Suppose -2 = a - 4*l, f*l = a - 0*a + 2. Let r = -11/8 - -7/8. Which is greater: r or a?
r
Let c(m) = -14*m**2 + 2*m. Let q be c(3). Let t = q + 843/7. Let i be (-30)/26 + 6/39. Do t and i have different values?
True
Let j = 33.41 + -1.41. Which is greater: j or 0.1?
j
Let l = 92 - 91.6. Which is smaller: l or -4/5?
-4/5
Let l = 6.1 - 6. Let o = -13 - -12.8. Is o smaller than l?
True
Let p = -6.8 + 2.8. Let t = -2.1 + 2. Is p > t?
False
Let w = 1/3 + 1/6. Let d = -9 + 0. Let u = 11 + d. Is w less than u?
True
Suppose -b - 4 = b. Let n be b/9 + (-4)/(-18). Let c be ((-1)/(-1))/1 - 1. Is c at most n?
True
Suppose 7*z - 8*z - 8 = 0. Which is greater: -9 or z?
z
Let d = 2.06 - 0.06. Suppose 2*i + 3*i = 0. Is d greater than i?
True
Let x be (-16)/64 + 27/(-4). Suppose -1 + 5 = -2*y. Let s = x - y. Is -4 at most as big as s?
False
Let a be 296/(-138)*4/40. Let t = -8/23 - a. Suppose 0 = 2*r - 3*r - f + 2, -2*f + 2 = 0. Is t less than r?
True
Let l = 0.6 + -1.1. Let k = l + 0.6. Is k bigger than -0.07?
True
Let v = -2.18 - -0.18. Which is greater: -3 or v?
v
Let y be ((-30)/(-21))/((-3)/(-21)). Let m be 27/(-18)*y/3. Does m = -7?
False
Let k = 0.4 - 0.3. Let c(x) = -x + 1. Let w be c(7). Do k and w have the same value?
False
Suppose 16 - 4 = 4*g. Suppose 4*d = -g*h + 4, 2*d + 3*d = 2*h + 5. Suppose 4*j + 4 = 3*y + y, -2*j = y - 4. Is j greater than or equal to h?
True
Let m = 9 - 6. Suppose -3*q - 3*i + 25 = -2, q - 19 = -m*i. Which is smaller: 3 or q?
3
Let i = 1.8 - 8.6. Let v = i - -7. Which is bigger: -1/4 or v?
v
Let o be (-6)/33 + (420/(-99))/(-5). Which is bigger: 0.06 or o?
o
Let a = -1984 + 83315/42. Let i = -513 - -7187/14. Let y = i - a. Which is greater: y or 2?
2
Let p = -14 - -27. Let f be p/(-5) + 6/(-15). Let n be f/(6/(-4) + 3). Which is bigger: n or -3?
n
Let s be (-188)/(-20) - 2/5. Let i = s + -12. Suppose 2 = -3*d - 1. Which is greater: d or i?
d
Let i(l) = -l + 14. Let k be i(15). Let b be (-3)/(1 + (-58)/4). Which is smaller: b or k?
k
Let d = 0.6 - 0.1. Let i = -1 + d. Let o = 2.7 + -2.6. Is o > i?
True
Let o(f) = -f**3 - 13*f**2 + 12*f - 57. Let c be o(-14). Which is smaller: c or -25?
c
Let z be 6/15 + 18/30. Which is smaller: -4 or z?
-4
Let y = -0.34 - -0.19. Is -2/7 bigger than y?
False
Suppose t - 4 = y, 4*t + t + 4*y + 25 = 0. Do -7/11 and t have different values?
True
Let j = 0.32 + -0.02. Let r = 0.1 + -0.1. Which is greater: r or j?
j
Let a = -31 + 27. Let o = 0.1 + -0.1. Which is smaller: a or o?
a
Let h(a) = a**3 + 7*a**2 + a + 4. Let p be h(-7). Is p greater than -2?
False
Let y = 42853/50 - 857. Is -1 greater than or equal to y?
False
Let f = 0.4 - -0.1. Let q = f + 1.5. Let h = q - 1. Do h and -1 have the same value?
False
Let n = 0 - -2. Are 5 and n non-equal?
True
Suppose -r + 2*r = 0. Suppose r = h + 2*k + 8, -3*k - 27 = 5*h - 8. Is h bigger than -4?
True
Suppose -3 = j - 2. Which is bigger: -4/7 or j?
-4/7
Suppose -2*w + 2*m = 5*m + 25, 5*w = 3*m - 94. Is -17 at most as big as w?
True
Suppose -s - 5*s - 126 = 0. Is s less than -2?
True
Suppose -4*a - q = -2*q - 110, -3*q = 2*a - 48. Suppose 0 = -2*o - 3*w + a, 3*o - 3 = -0*o + 3*w. Let l be ((-2)/9)/(8/o). Which is bigger: l or 0?
0
Let z = 8 - 7.1. Let c = z - 1. Is -0.1 at most as big as c?
True
Suppose 3*n - 2 = j, -2*n = -4*n - 3*j + 5. Suppose 5*l - 1 = -8*c + 4*c, -2 = 3*l + 5*c. Is l at least as big as n?
True
Let k = 0.2 - 0.4. Let h = 0 + -0.2. Do h and k have the same value?
True
Suppose 0 = -4*s - 5 + 13. Let b be 0/(2 - (s - 2)). Which is smaller: 1 or b?
b
Let v be 6 - -2*1/2. Is 7 at most v?
True
Let r = 15 + -11. Suppose i = 0, g = 2*g - r*i - 52. Let j = -158/3 + g. Is 4 < j?
False
Let y = 0.4 - -0.1. Let w = y + 0.8. Let v = 0.3 - w. Which is smaller: 0.3 or v?
v
Let i = -2.8 - -3. Suppose 14 = -3*j - 82. Let x = j + 61/2. Do x and i have the same value?
False
Suppose 2*u = -t - t + 2, -4*t = -4*u + 4. Are 2/27 and t non-equal?
True
Let w = 80 - 79. Which is greater: -27 or w?
w
Suppose -3*m - 5 + 8 = 0. Is m bigger than -1/14?
True
Let h = -49 + 53. Is h less than -1?
False
Let d(g) = g - 1. Let x be d(4). Let l be ((-12)/(-5))/(6/20). Suppose -4*h - 24 + l = 0, -4*v + 20 = -h. Which is smaller: v or x?
x
Suppose 3*h = -h. Suppose -3*x + 12 = h