f = -0.48 + 0.76. Which is bigger: f or -0.1?
f
Suppose 7*q - 3*q = 0. Is q not equal to -2/25?
True
Suppose 0 = -2*m - 10, 4*d - 120 - 43 = -m. Suppose y - d = 8*p - 4*p, 5*y + 10 = -2*p. Is -9 at least p?
True
Let d = 2.22 + 0.78. Is d greater than 11?
False
Let s = -16 - -1. Let q be (-363)/210 - (-3)/s. Let r = q + 10/7. Are 0 and r nonequal?
True
Let x = 0.92 - 0.88. Is 0.2 bigger than x?
True
Let d = 5.8 - 6.66. Let i = d + 0.8. Let q = i + -0.04. Do -1/2 and q have different values?
True
Let f(i) = 2*i + 6*i**3 - 6 - i**2 + 0*i + 2 + 3. Let m be f(1). Which is smaller: 5 or m?
5
Let t = 26 - -4. Let q = t + -25. Which is smaller: q or 2/3?
2/3
Let i be 3/(-6) - 1/(-14). Let r = -1.6 + 1.51. Let q = 0.19 + r. Is q not equal to i?
True
Suppose -3*n - 20 = n. Is -6 at least n?
False
Let g = -17 + 16.9. Are 2/7 and g nonequal?
True
Suppose 12 = 2*j - 4*j. Let g be (-1)/3*j/(-17). Let p = -0.073 + 0.073. Is p >= g?
True
Let b = 46 + -50. Which is bigger: -6 or b?
b
Suppose h = -h - 4. Let y(r) = r. Let q be y(4). Let i be (q - (2 + 0)) + -4. Do h and i have different values?
False
Suppose 4*g + 4*h = -12, -5*g - 7 = -2*h - h. Which is bigger: -1 or g?
-1
Let y be 384/130 - 12/4. Let c = y + -103/585. Is c < -2?
False
Let d be (-6)/(-3*1) - -2. Let b be (-5)/(-14)*d - 2. Are b and -2 nonequal?
True
Let l(b) = b + 11. Let k be l(-8). Let v be k*(8/(-12))/(-2). Which is smaller: v or 1/4?
1/4
Let r be 6/(-12) - 9/2. Let k = -5 - r. Which is smaller: -5 or k?
-5
Suppose 3*c + 2*c - 10 = 0. Suppose -f - 2*z + 7 = 0, 4*f - 2*z - 72 = z. Suppose 3*l = d - f, -3*l - d = c + 7. Which is smaller: l or -5?
-5
Let a = -10 + 10. Suppose a*f = 2*f. Let j = -0.1 - -0.3. Is j less than or equal to f?
False
Let a = 82 + -49. Does a = 33?
True
Suppose 5*w - w - 4*m + 28 = 0, -3*w + 7 = 4*m. Are w and -3 non-equal?
False
Let l = -14 - -13.9. Let v(y) = 7*y**3 + y**2 - 1. Let s be v(-1). Is l greater than s?
True
Suppose -3*y = -5*x - 31, -2*y + 0*x + 19 = -3*x. Let l(t) = -2*t**3 - t**2. Let w = -2 + 1. Let i be l(w). Is i at most as big as y?
True
Let x be (-302)/(-8)*16/12. Let l = -51 + x. Suppose 3*f - 2*f - 5 = 5*a, -2*a - 2 = -f. Are l and a non-equal?
True
Let s(q) = 0*q**2 - q + 3*q - 2 + q**2. Let d be s(-4). Is d at most 7?
True
Let r(d) = -d**2 - 8*d - 13. Let k(n) = -n**2 - 8*n - 12. Let s(b) = 5*k(b) - 4*r(b). Let z be s(-6). Let h = z + -3. Which is bigger: 1/8 or h?
h
Let z(c) = -c + 4. Let j be z(-1). Suppose 3*o - 10 = 11. Is j >= o?
False
Suppose 0 = 3*l + 2*l - 10. Let j be 60/(-24) + 3/l. Is j smaller than -11/6?
False
Let q be -1 + -3*(-6)/(-2). Let t = -8 - q. Which is smaller: -1/3 or t?
-1/3
Let v = -15 + 9. Let g = 61 + -69. Let k = v - g. Which is smaller: 0 or k?
0
Let w = 81 + -564/7. Suppose 3*a = -5*t + 17, 0 = 3*a - 0*t - 5*t + 23. Are a and w non-equal?
True
Suppose 12 = -q - 2*q. Let v(b) = -b**2 - 5*b - 4. Let u be v(q). Is -2/15 less than or equal to u?
True
Suppose -5*f + 14 = -16. Let q = 7 - f. Let m(z) = z**3 + 4*z**2 - 5*z - 1. Let w be m(-5). Is w <= q?
True
Suppose 3*q + 1 = p - 0, 3*p = 5*q - 1. Which is greater: 2/27 or q?
2/27
Suppose -3*x + 4*c - 1 = 0, x + 2 = -3*c - 7. Let y be 2 - x/(39/(-22)). Let t = 6/65 + y. Which is smaller: 0 or t?
0
Let q(u) = -2*u + 1. Let n be q(-1). Suppose 0 = 5*f - n - 17. Suppose -3*w + 0*w = 0, 4*w = f*y - 4. Which is greater: 0 or y?
y
Let o = -4 - -6. Let s(a) = a**2 + 8*a - 11. Let f be s(-9). Which is greater: f or o?
o
Let l = 31 - 23. Suppose 3*b + 15 = l*b. Which is bigger: 1 or b?
b
Let c(u) = u**2 + 6*u - 6. Let f be c(-7). Is f at most as big as 10?
True
Suppose 2*t - 4*p = 24, -t + 3*t - p = 12. Suppose -20 = -2*w + 2. Let j = -8 + w. Which is smaller: j or t?
j
Let q be (20/8 + -3)*-4. Which is smaller: q or 10/9?
10/9
Suppose 19 = -3*r + 3*j + 4, 0 = r - 3*j + 3. Let w(d) = d**3 + 6*d**2 - d - 2. Let m be w(r). Let q be (-1)/2*m - -2. Is q at most as big as 0?
True
Let h = -129 + 121. Is -12 greater than or equal to h?
False
Let p(x) = -2*x**3 + 1. Let q be p(1). Let i = -50 + 249/5. Which is greater: i or q?
i
Let d = 37143/2380 + -435/28. Which is smaller: d or 1?
d
Let t(z) = -z - 1. Let b be t(-5). Let x be b/(-3) + -1 - -2. Let s = 2 + -1. Are x and s equal?
False
Suppose 3*a + 23 = 8. Let j(o) = -o**3 - 6*o**2 - 4*o + 5. Let b be j(a). Is -2/3 greater than or equal to b?
False
Let c be 5 - 4/(-6)*-3. Suppose n + c*n - 200 = 0. Let j be ((-4)/n)/((-2)/10). Is j greater than or equal to -6/5?
True
Let a = -18 + 28. Suppose d = -4*d - a. Let i = -43 + 40. Is i < d?
True
Let k = -0.3 - -1.3. Let t(g) = 2*g + 3. Let o be t(7). Let x = 15 - o. Which is smaller: x or k?
x
Let x(b) = -b + 2. Let t be x(-5). Let q be (-2)/18*(t + -2). Let k = -1/9 + q. Which is bigger: 4 or k?
4
Let f = 635/6708 - -7/156. Is f <= 1?
True
Let w = 2 + -1. Let p = 1.6 - 1.59. Let f = 1.99 + p. Is w less than or equal to f?
True
Suppose 3*x - 2*x = 5. Which is greater: x or 7?
7
Suppose 3*m - 5*i + 10 = -9, 25 = 5*i. Suppose 4*x - s = 3, 5*s = m*x + 2*s + 11. Suppose -2*b + 4 - 6 = 0. Which is smaller: x or b?
b
Let i = 12.8 - 12. Let z = 3.8 - i. Is z at most as big as 2/7?
False
Let g = 0.22 + -0.29. Is 2 at most g?
False
Suppose c + 0*p - 74 = -5*p, 4*p = c - 119. Let o be 4/(-18) + 1705/c. Which is greater: 18 or o?
18
Suppose 0 = -3*w + 5*w. Suppose -g = 3*g - 8. Is g <= w?
False
Suppose 5*o + 2*d + 22 = -0*d, 22 = -o + 4*d. Which is smaller: o or -8?
-8
Suppose h - 2*h - 3*q = -110, 0 = -5*h - 2*q + 485. Is h less than 94?
False
Suppose h = -5*s + 23, 0*s - 28 = -4*s - 4*h. Suppose -2*a + 3*n - s = -a, 0 = -3*a - 3*n. Is a not equal to 1/6?
True
Suppose 4*x = -2*h + 2, -5 = -5*h - 2*x + x. Is h at least -3/11?
True
Let b be 14 - (4 - 1)*1. Let y(k) = -k + k + k + b. Let q be y(-6). Which is greater: q or -1/2?
q
Let z(d) = -d**3 - 11*d**2 + 11*d - 13. Suppose 10*s - 6*s = 140. Suppose 2*y + s - 11 = 0. Let h be z(y). Is h at most 1?
True
Suppose -4*r - 4 = 12. Let f(o) = 4*o**2 - o**2 + 4 - 3*o - 4*o**2. Let u be f(r). Is u greater than 2/5?
False
Let v = 6 - 4. Let l = 1 - 0.9. Let f = 0.3 - l. Which is bigger: f or v?
v
Let w = 4 + -4.05. Let g = w - -5.05. Let u = g - 4. Is 1 smaller than u?
False
Let z = 0.2 + 0. Let f = 99 - 99.2. Which is smaller: f or z?
f
Suppose 1 = 2*b - b. Suppose 53 = 4*i - 3*i. Let x = -211/4 + i. Which is bigger: b or x?
b
Let z be -1 + 3 - (-18)/(-6). Let w = -23/2 + 11. Which is smaller: w or z?
z
Let f(p) = p**2 - 12*p - 15. Let m be f(13). Let z = -5/4 + -1/4. Are z and m equal?
False
Let t = -1869/5 + 376. Let b = 2 - t. Which is smaller: b or -2?
-2
Let z = 19/20 - 87/100. Let q = -3/25 - z. Let i be ((-2)/((-1)/(-1)))/(-2). Is q at most i?
True
Let d(z) = -z + 9. Let v be d(7). Suppose 2*s = -m + 6, 0 = -v*m - s + 3. Which is bigger: -1/10 or m?
m
Let n = -10 + 18. Let l be n/(-78)*(-3)/(-2). Let q(f) = f**2 - 4*f - 11. Let m be q(6). Is m less than or equal to l?
False
Let a = -5 - -4. Let t = 1.98 + 0.02. Which is smaller: t or a?
a
Suppose -6*z + 310 = 4*z. Is 31 at most as big as z?
True
Suppose -u = n + 2*u - 3, 5 = 5*u. Suppose d + 0 - 12 = n. Which is bigger: -1/4 or d?
d
Let k = 22 - 18. Suppose 4*r = k*i, 4*r = i - 5*i + 40. Is 6 bigger than r?
True
Let w(b) = -3*b + 18. Let v be w(5). Which is greater: 16/5 or v?
16/5
Let d = 213 - 221.9. Let c = -1.9 - d. Is -1 less than or equal to c?
True
Let c = -32 - -39. Let n(l) be the first derivative of l**4/4 - 8*l**3/3 + 4*l**2 - 6*l - 1. Let i be n(c). Are 2/5 and i unequal?
True
Let u = 51 - 53. Is -19/7 > u?
False
Let l be (-1)/(-4) + 10/8. Let s(j) = j**2 + 8*j + 8. Let v be s(-7). Is l < v?
False
Let c = 2 - 9. Let q = c + 6. Suppose -3*b - 2*b = 0. Which is smaller: b or q?
q
Let n be (-4)/(-2) + 1 - -1. Suppose 0 = d - 0*x - 2*x + 2, -22 = -d - n*x. Is 6 > d?
False
Let c(w) = w**2 - 8*w - 8. Let z be c(16). Is 120 != z?
False
Let d = 1 + -2. Let l = -1 - d. Which is greater: 2 or l?
2
Let h = -8 + 3. Let x = h + 7. Let b be (4/(-30))/((-4)/20). Is x smaller than b?
False
Let h be (-1)/3 - 2 - (4 - 4). Suppose 5*k - y = -7, -2*y = 2*k - 5*y - 5. Which is smaller: k or h?
h
Let d = -42.99 + -1.01. Let p = d - -38.02. Let q = 6 + p. Which is smaller: 0 or q?
0
Let y be 7 + -11 - 15/(-4)