True
Suppose 3*l - l - 2 = 0. Let q be (-4)/(-7) + 22/(-14). Is q at least l?
False
Let j = -86 + 87. Is -4/99 < j?
True
Let n(r) = r + 2. Let s be n(-6). Let f be (-4)/26*s/12. Does f = 2?
False
Let p(l) be the third derivative of -l**4/24 - l**3/2 - l**2. Let m = -8 + 3. Let t be p(m). Which is greater: 1 or t?
t
Let j be (-1)/10*10/4. Let g = -0.04 - -1.54. Let r = g + 0.5. Which is smaller: r or j?
j
Let c = 1 + 0. Is c <= -8?
False
Suppose 0 = 13*a - 12*a - 1. Is -3/14 at most a?
True
Let x = 4 + -3. Suppose 2*p + 2 = -2. Let k(z) = -z**2 + 1. Let t be k(p). Which is greater: x or t?
x
Suppose -8*v = -4*v - 80. Are 20 and v nonequal?
False
Let v = -11 + 10.6. Let q = 3 - 5. Which is greater: v or q?
v
Suppose -8 = -4*b + 8. Suppose 12 = b*z + 4, -2*r + z = -20. Which is smaller: 12 or r?
r
Let y be 2*-1*(-45)/18. Let p = 11 - y. Is 6 > p?
False
Let g(a) = -4*a**3 + 5*a**2 + 2*a + 10. Let t(u) = 9*u**3 - 9*u**2 - 5*u - 21. Let n(s) = 7*g(s) + 3*t(s). Let y be n(8). Which is smaller: -2/5 or y?
y
Suppose -5*t + 3*m = -65, -3*m = t - 4*m - 13. Suppose -2*x + 5*d + 27 = 0, 2*x - 3*d = -6*d - t. Let f be 0*1/x + -2. Which is smaller: -1 or f?
f
Let x be (0/(-2 + 3))/1. Is -7 at most as big as x?
True
Let c be 1/(-3) - 7/(-3). Suppose c*d - 4*d = 2. Which is greater: -2 or d?
d
Suppose -d - 5*s = 0, 4*d - 2*s = -0*s + 44. Which is bigger: d or 1/2?
d
Let g be 0/(0 + 4/(-2)). Suppose g*t + 5 = 5*t. Let j(o) = -o**3 - 4*o**2 + 5*o + 1. Let u be j(-5). Is u at least as big as t?
True
Let g = 56.9 + -57. Which is bigger: -1.1 or g?
g
Let n = 148 + -5478/37. Which is smaller: n or 1?
n
Let z be 42/(8/(-2 - -6)). Suppose -3*l = -3*k - 2*k - 22, 4*l = 5*k + z. Let h be (-1)/(-22)*(0 - -2). Is l less than or equal to h?
True
Let h = 3967/3 + -1293. Suppose 27 = s + 3*p, 2*s - 5*p + 145 = 7*s. Let r = s - h. Do -0.3 and r have different values?
True
Let y(p) = 3*p**3 + 3*p**2 - 2*p + 5. Let b(q) = q**3 - q. Let d(z) = 4*b(z) - y(z). Let k be d(4). Let j be (k/2)/(-8 - -5). Is j equal to -2?
False
Let h = -188 + 190. Does h = -0.02?
False
Let b = 0 - 0. Let c be (-758)/(-12) + (-3)/18. Let v be ((c/(-6))/(-7))/(-6). Which is smaller: b or v?
v
Let f be (-2)/(-9) - (-352)/36. Let r(x) = -x**2 + 10*x + 12. Let i be r(f). Is i >= 13?
False
Suppose m - 4*m + 18 = 0. Let b = -3 + 7. Let f = b - m. Is -2/3 at least f?
True
Suppose -5*i + 5 = -25. Let j = i - 7. Is 1 less than or equal to j?
False
Suppose 2*u + 4 = 2*t, -2*t + 7 = -4*u - u. Let c be (2/2)/1 - -1. Which is smaller: t or c?
t
Let f = 32.6 + -30. Let v = -0.6 + f. Which is smaller: -2/5 or v?
-2/5
Let s = -42 - -50. Is 8 less than s?
False
Let y(c) = c - 2. Let l be (0 - 2) + 4 + 0. Let v be y(l). Which is greater: v or -1/3?
v
Suppose 2*r - 3*n + 6*n = -7, -5*n - 7 = r. Which is bigger: 2 or r?
2
Let v = 45 + -44. Let s be 3034/4*2/(-15). Let b = 101 + s. Which is bigger: v or b?
v
Suppose -o - 2*o = 3. Let m(x) = x**3 - 6*x**2 + 2*x. Let i be m(5). Let d be 80/(-138) - 10/i. Is d >= o?
True
Suppose 3*z + 16 = -29. Is z less than or equal to -14?
True
Let z = -2.04 - -0.04. Let y = z + 1.9. Is y less than -0.1?
False
Let q = 0.6 + -0.6. Let u = -0.1 - -0.1. Is u at least q?
True
Suppose 2*n - j = -4*j - 48, 0 = -n - 2*j - 26. Let i be n/6 + -2 + 0. Let z = i + 5. Which is bigger: z or -4/7?
z
Let x = -1 - -2. Let s = 6 - 3. Let p be s - 6 - (0 - 2). Which is smaller: x or p?
p
Let h be 2 - (-5 + 3)*-1. Let r be (-3)/(-6)*(-2 + h). Do -1/45 and r have the same value?
False
Let y(d) = d - 1. Let s(o) = -22*o**2 + 8*o - 5. Let a(i) = s(i) - 6*y(i). Let v be a(2). Let m = v - -251/3. Which is greater: m or 0?
m
Let m be -1 - (5 - 3) - -2. Which is greater: m or -3?
m
Suppose -2*b = 4*y - 0*b - 10, -4*y = -4*b + 20. Let n(u) = u**2 + 5*u. Let w be n(-5). Is w smaller than y?
False
Let u = -3634/215 - -99/43. Is -14 greater than or equal to u?
True
Let n(d) = -d**2 - 8*d - 5. Let m be 2 + 0 - 2 - -4. Suppose m*t + 7 = 3*t. Let x be n(t). Is x at least as big as 5/4?
True
Suppose -35 = -4*g - y, 5*g + 0*y - 46 = y. Let q = g + -12. Is q < -1?
True
Let m = -9 - -9.5. Let b = m - -0.5. Is b < 1?
False
Let w = -17 + 18. Is w greater than 2/41?
True
Let c = -8.8 - -0.8. Which is bigger: c or -1?
-1
Let q be 0/(2 + (-8)/2). Let d be ((15/27)/5)/(5/(-30)). Is d greater than q?
False
Let q = -26/355 + 88118/1065. Let m = -82 + q. Which is greater: 2 or m?
2
Let j(g) = 6*g**2 + g. Let f be j(-1). Suppose 3*p + 7 = 5*p - 3*b, -2*p = -b - f. Suppose -2*z + p*y - 12 = 0, 3*y - 9 = -z + y. Is -2/17 != z?
True
Let l = 0.48 + 4.58. Let d = 5 - l. Let i = 0.36 + d. Which is bigger: -0.1 or i?
i
Let x(p) = -p**2 - 9*p + 6. Let f be x(-9). Suppose k + 2*i - 2 = 0, -10 = -k - f*i + 2*i. Are -1 and k unequal?
True
Suppose 4 + 12 = 4*t. Suppose -r + b = -4*r - 1, 0 = -t*r - b - 1. Which is bigger: r or -4/7?
r
Let b = 6 + -8. Let m = b - 0. Let x = m - -2. Is -2/5 greater than x?
False
Let h be (6/4)/(-3)*0. Let b be 1 + h + (-10)/4. Let x(k) = k**3 + 8*k**2 - 9*k - 3. Let s be x(-9). Is b smaller than s?
False
Let l be (2 - 10/4) + (-651)/14. Are l and -49 nonequal?
True
Let o = 15 + -3. Let r be o/13*7/(-28). Which is smaller: 0 or r?
r
Let s = -8537/28 + 305. Which is greater: s or -1?
s
Let b = 42 - 127/3. Let w be (-100)/(-70) - 3/7. Are w and b unequal?
True
Let m be (-82)/(-21) - 2/(-3). Which is smaller: m or 5?
m
Let l = 3 - 2. Let r = 1 - l. Let a = r - 1. Are a and -0.2 unequal?
True
Suppose 0 = -4*i - 3 - 1. Do i and 2/5 have different values?
True
Let t be (3/(-2))/((-1)/2). Suppose -t - 9 = 4*x. Are x and 2 nonequal?
True
Suppose b = 2*b - 3. Let d be 4/12*6/b. Which is greater: d or 0?
d
Let c(x) = x**3 + 10*x**2 - 12*x - 11. Let p be c(-11). Suppose -d + 3*d = p. Let r(y) = -y**2 + y. Let h be r(2). Which is smaller: d or h?
h
Let c = 818/5 - 163. Let r = -6 - -11. Suppose -4 = -r*s + s. Is c < s?
True
Let c(f) = -12*f**2 - 2*f - 3. Let m be c(-4). Let r = -800273/7 - -114512. Let b = r + m. Do b and -3 have different values?
True
Let s(z) = 2*z**2 - z - 1. Let x be s(1). Let u be 46/48 - 3/9. Which is greater: u or x?
u
Let v = -460/9 - -19777/387. Which is smaller: 0 or v?
v
Let u be (-28)/10 + -6 + 9. Let p be (-2 - -2*1) + -2. Let o be 2 + -3 - (p - -1). Which is smaller: o or u?
o
Let g = 0.03 - 0.03. Let v = -0.2 - g. Is -0.2 not equal to v?
False
Let y(x) = -x**2 + 5*x + 6. Let i be y(6). Which is greater: -2 or i?
i
Let u be 0 + (-3)/3 - -1. Let g be 1/(-4)*(1 + u). Are g and -2/7 nonequal?
True
Let v = 1.2 + -2.2. Which is bigger: v or -9?
v
Suppose 4*p - 3*q = -1 + 4, -q - 1 = 0. Which is greater: p or -12/11?
p
Let t be 0 - 2/(-52)*1. Which is bigger: t or -1?
t
Let w = 7.953 + 0.147. Let x = -8 + w. Which is greater: 0 or x?
x
Let z = 208/3 - 70. Let d be 2*(-2 - 9/(-2)). Is d less than z?
False
Let m = -126 + 132.9. Let i = 7 - m. Which is smaller: i or -3/10?
-3/10
Let a(w) = 5*w + 9. Let p(i) = -6*i - 10. Let h(b) = -7*a(b) - 6*p(b). Let q be h(2). Is -5/6 not equal to q?
True
Let s = 23 - 36. Are -13 and s non-equal?
False
Suppose 0 = 2*m + 10, 3*m + 16 = -2*d + d. Which is greater: -1/4 or d?
-1/4
Let r = -3 + 1. Suppose 0*k - k - 2 = -2*i, 5*i - 2 = 3*k. Suppose j = -j - k. Which is bigger: r or j?
r
Let s = 2 - 4. Let h = 3 + s. Let d = 0.4 - 2.4. Is d at least h?
False
Suppose -4*k - 3*y = -34, -2*k - y + 16 = -0. Is k at least 31/4?
False
Suppose -8*w = -5*w + 258. Is -87 not equal to w?
True
Let y = -25 - -20. Let k = 10 + -5.2. Let i = k + y. Is i not equal to 3/7?
True
Let t = -0.17 + 0.27. Does 2 = t?
False
Suppose 0*v + 8*v = -128. Which is bigger: v or -18?
v
Suppose v + 1 = 0, 1 = 3*w + 4*v - 4. Suppose -7*g = -w*g - 4. Let k be -5*2/(-4) - 2. Which is smaller: k or g?
k
Let j be (-1553)/663 + (-4 - -5). Let t = -2/221 - j. Suppose -2*s + 4*r = 2*r + 4, -3*s = -2*r + 2. Which is smaller: s or t?
t
Suppose 3 = c + 5. Suppose 3*b = 2*g + 2*b + 16, -g - 4*b = -1. Let w be (-1)/3 + g/42. Which is bigger: w or c?
w
Suppose 3*v + 2*v = 0. Let o = 2 - 2. Is o > v?
False
Suppose -5*d - 18 = -2*i + 97, -3*d = -4*i + 55. Is d bigger than -25?
False
Let b = 13.476 - 0.176. Let l = -13 + b. Which is smaller: -3 or l?
-3
Let w = 2.44 + -2.1. Let i = w - -0.06. Let f = i + -0.7. Which is 