er: -1/5 or q?
-1/5
Let d(y) = -y**3 + 8*y**2 + 8*y - 3. Let h be d(9). Which is smaller: h or -13?
-13
Suppose -14*m + 710 = -24*m. Is -70 at least m?
True
Suppose -4*b = -0*b. Let l be (-34)/(-8) - 2/8. Let i be (-1)/l - 2/(-72). Which is greater: b or i?
b
Suppose -t - 4*t = 0. Let a(k) = k + 2. Let d be a(0). Let q be (d/4)/((-1)/6). Is t >= q?
True
Let d = 1 - 0. Let v = 31/3 - 11. Is d less than or equal to v?
False
Suppose 12*w = 16*w + 4. Which is greater: -3/20 or w?
-3/20
Let d = -22.11502 + 0.02502. Let p = 22 + d. Is -1/4 bigger than p?
False
Let l = 7/45 + -3/5. Is -1 at least l?
False
Suppose 2*b = -4 - 2. Let n = b + 3. Are n and -2/5 nonequal?
True
Let m = -181 + 1269/7. Which is smaller: 0.17 or m?
0.17
Let x be 69/(-60) + (-2)/(-5). Let a be 2/5*60/(-24). Which is bigger: x or a?
x
Let j = -117237/106 - -1106. Which is smaller: -1 or j?
-1
Let x be (-9)/21 - 24/(-56). Which is smaller: -1/21 or x?
-1/21
Suppose -39 = 4*l + 29. Is 0.1 smaller than l?
False
Let p = -1.1 + 0.1. Let i = -0.26 - -1.36. Let u = i + p. Are -1 and u equal?
False
Suppose -2 + 0 = a. Let f be (-2)/a - 17/13. Which is smaller: -1 or f?
-1
Let u be (32/56)/((-2)/7). Which is smaller: u or -10/7?
u
Suppose m = -q + 6, 2*q - 2 = -0*m + 3*m. Let u be 4/(-8) + 13/m. Suppose u + 3 = 3*o. Is o smaller than 3?
False
Let u = 10 - 10.1. Is 22 less than or equal to u?
False
Let w(a) be the first derivative of -a**3/3 + 9*a**2/2 - 12*a - 7. Let h be (-1)/(-2) - 15/(-2). Let q be w(h). Which is greater: -2 or q?
-2
Let s = 23975/9 - 2661. Is 3 < s?
False
Let q = 6 + -4. Suppose -q*p + 6*p - 80 = 0. Let b be p/6 - (-2)/(-6). Is 3 less than or equal to b?
True
Suppose f + 4 = -0. Let s be (-40)/12 + 1/3. Do s and f have the same value?
False
Let c = -34.036 + 0.036. Which is smaller: 0 or c?
c
Let w = -0.06 - -2.06. Let j = -2 + w. Do 0.04 and j have different values?
True
Let a be 888/195 - (-8)/(-52). Is a greater than 5?
False
Let d = -4 - -3. Let s(k) = -k + 5. Let a be s(5). Let x be (a - d - -2) + -2. Which is greater: -1 or x?
x
Let m(h) = -h**2 + 6*h. Let z be m(6). Which is smaller: 3 or z?
z
Let i be 1 + (-2 - 0) + -2. Let m = i - -1. Which is smaller: -1 or m?
m
Let m(s) = s**2 - 10*s - 5. Let d be m(8). Let q be (-62)/(-14) - (-9)/d. Is 5 < q?
False
Let p be 1/1*(-3)/(-12)*2. Which is smaller: -1 or p?
-1
Let m = 0 + 0. Suppose m = -j - 2*j + 3. Is j at most as big as 3?
True
Let c be -2*(7/10 + (-16)/(-20)). Suppose q = 3*u - 4, 2*q - 5*q + 12 = 3*u. Which is smaller: c or q?
c
Suppose -11 = -5*t + 9. Let s be 47/9 + (-4)/18. Suppose 2*c + s*a = t*a - 5, 13 = -5*c - 3*a. Which is smaller: -4 or c?
-4
Let d = -54 - -82. Suppose -4*i - k + 24 = 3, 2*i + 4*k = d. Is 3 < i?
True
Suppose 3*d + 4*p + 5 + 4 = 0, 4*p = 0. Which is greater: d or 1?
1
Let r be (-7563)/7 - (-12)/28. Let p be (-5)/20 - 434/r. Let u = -1/54 + p. Is -1 <= u?
True
Suppose 0 = -2*o + 5*d - 48, -4*d = -3*o + 2*o - 30. Do -15 and o have the same value?
False
Let k = 0.02 + -0.12. Let p = -60 - -117/2. Which is smaller: k or p?
p
Let j be (-3)/(-2)*8/6. Suppose j*z - 6*z = -12. Is z greater than or equal to 4?
False
Suppose 5*w + 7 = -y, 4*y - 2*y = 5*w - 89. Is -32 >= y?
True
Suppose j - 2*a = -4*j - 14, -j - 4 = -a. Is -4 greater than or equal to j?
False
Suppose 2*f - 5*y = 8, 0 = 4*f - 3*y - 4 + 16. Let g = 4 + f. Let v = 2 - g. Is 5 bigger than v?
True
Let w be 2/4 + 5/2. Suppose 4 = w*s - 2. Let l be 32/(-176) + (-70)/(-22). Which is greater: l or s?
l
Let o = 36 - 35. Is 7/4 at least as big as o?
True
Suppose 4*c = 2 + 6. Let z be (c/6)/(16/(-192)). Which is smaller: -5 or z?
-5
Let r be (3/(-6))/((-2)/4). Let i be 38/12 + -2*2/24. Which is greater: r or i?
i
Let x = 0.1 + -0.05. Let n = -0.95 - x. Is n equal to 0.01?
False
Let l = -1 - -2. Let b(n) = n**2 - 16*n + 17. Let x be b(1). Which is bigger: x or l?
x
Suppose -5*h - 4 + 2 = -2*x, -x - 14 = 5*h. Are h and -3/5 unequal?
True
Let i = -0.03 + -0.67. Let a = i - 0.3. Let c = 0.8 + a. Which is bigger: c or 1?
1
Let c(q) = q - 2. Let f be c(0). Let s be (2 - 4/(-22)) + f. Which is greater: -1 or s?
s
Let u = -0.8 + 2.1. Let g = u + -0.3. Is -0.1 less than g?
True
Let f(s) = 3*s + 34. Let o be f(-15). Is o > -11?
False
Let v be 3 + (-1 + 5/5)/1. Let r(z) = z**3 - 4*z**2 - 5*z + 4. Let c be r(5). Do v and c have the same value?
False
Let j = -0.2 + 0.2. Let g = -10.96 - -11. Let f = -0.06 + g. Which is smaller: j or f?
f
Let a be 86/4*(-2)/(-10). Let q = a + -9/2. Is q < -1?
False
Let m = -11.9 + -1.1. Which is smaller: m or 2/7?
m
Let l be (3/(-4))/(2/(8/474)). Which is greater: l or 1?
1
Let p be (-1)/(-4) - (-66)/(-8). Which is smaller: p or -9?
-9
Suppose 2*k - 5*k = 0. Let t be -2*(-2)/(-2) - -5. Suppose -g = t - k. Is -2 <= g?
False
Let v(a) be the first derivative of -a**3/3 + 1. Let n be v(0). Let m be (-140)/(-44) + (-4 - -1). Which is smaller: m or n?
n
Let l = 485/4 + -122. Is l != 3/5?
True
Suppose 3*p + w = -3*w - 10, -5*w = -4*p - 3. Let y = 2 + p. Is y bigger than 1?
False
Let i = 0.16 + 6.84. Let j = i - 6. Is 6 less than j?
False
Let f be (1/(-2))/(2/(-12)). Suppose -f*t = 2*t - 5*q - 10, -4*q = 20. Is t smaller than -3?
False
Suppose 8 = 2*m - 10. Let c = m - 13. Which is smaller: -5 or c?
-5
Let t be 4*(-1)/((-20)/(-6)). Suppose 2*x = -x - 4*c + 1, -3*c + 4 = -x. Which is smaller: x or t?
t
Let b = 0 + 1. Let r be 1/(-2)*(3 + -7). Suppose m = r*m. Which is bigger: b or m?
b
Let t = 0.6 + -0.4. Let s = 0.3 - t. Let x = 4 + -6. Which is bigger: x or s?
s
Let l = 7 - 0. Let v = -6 + l. Is -2/19 smaller than v?
True
Let v = -27/76 + 2/19. Let d = -20 + 16. Let r be (2/d)/(1/(-2)). Which is bigger: r or v?
r
Let i = -7 - -5. Let d be (-7 + 1)*1/2. Is i not equal to d?
True
Let t(i) = -i**3 - i**2 + i + 12. Let m be t(0). Let o be (-1 - 0)/((-4)/m). Suppose -2*w = -d + o + 1, 4*w - 2 = -3*d. Which is bigger: 3 or w?
3
Suppose -3*h = 5*m - 8, 0 = -3*h + m + 11 + 9. Let c(y) = -y**3 + 6*y**2 + 2*y - 7. Let g be c(6). Which is smaller: h or g?
g
Let t be -83*(0 + (-1)/30). Let i = 255/82 - -7/123. Let q = i - t. Are 1 and q unequal?
True
Suppose -4*c - c = 0. Let j be -1 + 2 + (-11)/7. Let n = j + 6/35. Are c and n non-equal?
True
Let h = 2 + -2. Suppose -3 = -3*u - h. Let g = u - 3. Which is greater: g or -1/2?
-1/2
Let h = 0.05 - -0.01. Let c = 10.94 + h. Let n = -10.8 + c. Is 0 > n?
False
Let b(q) = -q**3 + 10*q**2 - 4. Let f be b(10). Let p be (-1)/(3/(-12)*f). Let g = -5/16 - -1/16. Which is greater: p or g?
g
Suppose t - 2 = 2. Suppose 14 = t*f + 54. Is f at least as big as -9?
False
Suppose -2*d + 4*a = -16, -5*a = -5*d - 7*a + 100. Which is smaller: d or 19?
d
Suppose -6*k + k + 40 = 0. Suppose -k - 2 = -2*u. Is u equal to 3?
False
Let r(u) = u**2 + 6*u - 2. Let q be r(-3). Let i = 15 + q. Is i >= 4?
True
Suppose -3*r + 13 = -3*n - 20, -5*n = -2*r + 46. Which is smaller: n or -7?
n
Suppose -1 - 5 = -s. Suppose -4*p - 5 = -w - s, 5 = -5*w. Let y = 2 - p. Are y and 1 equal?
False
Let f = 19 - 26. Let d be (1/(-5))/((-3)/(-6)). Are d and f unequal?
True
Let p be (-2*(-11)/(-154))/(0 + 1). Let s = -1 - 0. Which is smaller: p or s?
s
Suppose 2*i = 4*x - 30, -x = -5*i - 4*x - 36. Let h be (5 + 1 - 1) + -1. Let m be h/3*i/(-6). Which is bigger: m or 3?
3
Let p(t) = t**2 - 1. Suppose -14 = 3*i - 2. Let y be -1 + (-2 - (i + 3)). Let c be p(y). Is c less than or equal to 2?
False
Let o = -23798/45 + 2537/5. Let t be (-1430)/(-66) - -1*2/(-3). Let b = t + o. Which is smaller: 0 or b?
b
Let f = -0.04 + -3.96. Let c = f - -4.2. Let v = 3 + -2. Which is greater: c or v?
v
Let q = -113/55 - -82/11. Which is bigger: 5 or q?
q
Let z be ((-39)/9 - -4)*-6 - 32. Is -30 greater than or equal to z?
True
Let t = -69 - -206/3. Is 0 <= t?
False
Let n(a) = a**3 + 5*a**2 - 4*a + 8. Let q be n(-6). Let p be (-55)/(-20) - (-3)/q. Which is smaller: p or 9/7?
9/7
Let v = -2.863 - 0.137. Which is smaller: v or 9?
v
Let z = -9 + 16. Let k = -10 + z. Let o = 0.2 + -0.2. Is k > o?
False
Let u = -14/15 + 3/5. Suppose 0 = 2*r + 8. Let x be r/18 - 7/9. Which is bigger: u or x?
u
Let w = -150.3 - -137. Let z = w - -1.3. Are z and 1 nonequal?
True
Let s = 37/5 - 7. Which is greater: s or -0.1?
s
Suppose -2*a - 3*t - 6 = 0, -4*t = 3*a - t + 3. Suppose