-25 + 28. Which is smaller: 0.02 or m?
0.02
Suppose m - s = -1, 0 = 2*s - 6*s. Are m and -3/7 non-equal?
True
Suppose 16 = -3*a + 1, -u + 5*a = -23. Which is greater: -7/8 or u?
-7/8
Suppose -4*k + 5*t - 50 = 0, 34 = -4*k + 2*t - 5*t. Let v(s) = s + 10. Let o be v(k). Which is greater: o or 3/10?
3/10
Suppose -y - 5*j = 18, -3*y + 2*j + 18 = -j. Suppose 4*p - 5*p + y = 0. Suppose 3*r + 5*c - 12 = 0, p*r + 7 = -2*r + c. Is r != 0?
True
Let w be (2 + (-60)/39)/(-11 + 10). Which is smaller: w or 0?
w
Let p(s) = s**3 - 2*s**2 - 3*s - 2. Let g be p(3). Let v be 1 + (0 - g - 3). Which is bigger: v or 1?
1
Let x = -311 + 1549/5. Let y be (0*(-1)/(-2))/1. Which is bigger: y or x?
y
Let o = 277/3 + -91. Is o at most as big as 1?
False
Let n = -755 + 32463/43. Is n != 1?
True
Suppose 3*h - m + 0 = 11, -4*m - 17 = -3*h. Suppose -4*o = -l + 3, 3*o + 0*o = -l + h. Is o at most -2/13?
False
Suppose 5*p = 3*p - y - 5, -4*p - 5 = y. Suppose p = 4*q + 2 - 6. Suppose 4 = 3*l - 2. Which is bigger: l or q?
l
Let d = 23/42 + -3/14. Let a(c) be the third derivative of -c**6/120 + c**5/20 + c**4/6 - c**2. Let u be a(4). Is d less than or equal to u?
False
Let h(u) = -u**3 + 13*u**2 + 15*u - 18. Let y be h(14). Are -3 and y unequal?
True
Let r = 3.6 + -1.6. Let l = r + 5. Is -1/4 equal to l?
False
Suppose -k = -0 - 3. Suppose 0 = -3*f - 3*f. Suppose k = -f*m - m. Which is smaller: 0.1 or m?
m
Let s be 9/(-12)*(-8)/2. Suppose 4*c = s*c + 1. Let a = 0 - -0.1. Is a >= c?
False
Let h(o) = o**3 + 7*o**2 - 2. Let d be h(-7). Suppose 0 = 2*v - 0*y + y - 11, 3*v + 5*y = 27. Suppose v*g = 5*g + 3. Which is smaller: g or d?
g
Let z = -71 - -74. Let w = 46/11 + -344/77. Is w greater than or equal to z?
False
Let f = -3 + 8. Suppose -4*t - t = f. Is 0 equal to t?
False
Suppose -2*w = -w. Is 0 equal to w?
True
Let m = 0 - -0.1. Which is greater: 1/4 or m?
1/4
Suppose -2*d + 195 = d. Is d < 65?
False
Let g = -8.17 - 0.33. Let n = g - -7. Let v = n - 4.5. Do v and 1/4 have different values?
True
Let k = 0.3 - 0.3. Let r = 0 - -1. Let p = k + r. Is -0.1 not equal to p?
True
Suppose 6*b = 2*d + 2*b + 2, 2*b + 2 = 4*d. Which is smaller: d or 2/17?
2/17
Suppose l - 6 + 4 = 0. Which is bigger: 5 or l?
5
Suppose -2*f = 2*x - 3 - 3, 2*f - 2*x = -2. Which is bigger: f or -10/39?
f
Let h be ((-8)/6)/(1/(-3)). Which is smaller: 3 or h?
3
Let h be 6/((-4)/2) - -2. Let o = 237 + -1192/5. Which is bigger: o or h?
h
Let g = 4 - 8. Suppose -2*q - 5*z - 7 = -21, -q + 8 = 3*z. Let o be q/g + (-3)/2. Are o and -2 non-equal?
False
Let s(v) be the second derivative of -v**5/20 + v**4/12 + v**3/3 + v**2/2 - 2*v. Let h be s(-1). Let d be 0 + (1 + h)/4. Are 2 and d non-equal?
True
Let g = 2.056 - -0.044. Let v = 0.1 - g. Let m = 38 + -112/3. Which is bigger: v or m?
m
Let q = 109 - 92. Is 16 > q?
False
Let a = 83/70 + 3/14. Which is smaller: a or 1?
1
Let i = -21 + 16.5. Let m = i + 4. Which is smaller: -1 or m?
-1
Let m = 91/15 - 23/3. Let j = m + 2. Let g = 1 + 0. Is g > j?
True
Suppose -3*x + 6 = -0*x. Suppose x*u = -2*u. Which is smaller: u or 4/7?
u
Suppose -3*p + s - 9 = 0, 3*p - 2*s = -0 - 6. Let t(w) = -w**3 - 4*w**2 - w + 3. Let x be t(-3). Do x and p have the same value?
False
Let q = -122.1 - -133. Let i = 11 - q. Does -4 = i?
False
Let h = -3 + -1. Let n(o) = -o**3 - 4*o**2 - o + 1. Let c be n(h). Suppose 2*f - 8 = -2*l, -4*f + 21 = 5*l + c. Do f and 4 have different values?
False
Let p be 2 + 1 - 4 - 6. Let b(z) = -z - 5. Let u be b(p). Suppose -w = -u + 4. Is -5/2 less than or equal to w?
True
Suppose -4*y + 4 = 12. Let r be 4/(-6) + y/6. Is -1 bigger than r?
False
Let h be ((-1)/(-7))/(2/(-4)). Suppose 6 = 3*q - 2*z, -5*q + 2 = -4*q + z. Let l be (-3 + 2)*0/q. Which is smaller: l or h?
h
Suppose -2*x = 3*n - 11, x = -n - 1 + 5. Let i be (-2)/n*(-3)/(-2). Is -1/5 < i?
False
Let h = -3 + 2.9. Let l = h - -0.2. Let y = -0.07 + -0.03. Do y and l have the same value?
False
Let c = 5 - 0. Are c and 6 unequal?
True
Let j = 0 - -4. Suppose -j = f - 9. Which is smaller: 2 or f?
2
Suppose -2*g = 3*g + 2620. Let a = g + 52925/101. Let i = a - 409/505. Is i greater than or equal to -2?
True
Let u be -3 - -4 - (-1 - 1). Suppose 0 = -5*l + 4*g - 82, -4*l - 3*g = g + 44. Let c be 2/((l/(-4))/7). Do u and c have the same value?
False
Suppose -2*l - 108 = l. Let n be (-8)/l + 1/9. Which is greater: 0.1 or n?
n
Let c = 4 + -1. Let l = -2 + c. Let u be 2/6 + 7/(-12). Which is smaller: l or u?
u
Suppose 4*t - 4*v = 20, 0 = 4*t - 2*v - 11 - 1. Suppose 5 = -3*b - 5*x - 8, -2*x - 14 = -b. Suppose -s - 3*h - 6 = 3*s, -3*h - 6 = -b*s. Is s less than t?
True
Let y(t) = t**2 + 7*t - 5. Let h be y(-6). Which is smaller: -9 or h?
h
Let t = 6 + -9. Let d be (-21)/9*-1 + t. Which is bigger: d or -2?
d
Let x = 4 - 3. Which is smaller: x or 4/17?
4/17
Let t(f) = f + 2. Suppose 4*p - 55 + 19 = 0. Suppose -3*n + 0 = p. Let y be t(n). Is y < 1/4?
True
Let m be -7 - -9 - (3 + -2). Which is smaller: m or 3/2?
m
Let d be ((-10)/(-6))/((-11)/165). Let v = d + 25. Is -6/13 less than or equal to v?
True
Let y(h) = -h + 4. Let u be y(4). Let m(r) = -r + 12. Let v be m(u). Let d be v/(-18)*18/(-4). Which is greater: d or 1?
d
Let h = 5.7 - 0.7. Let m = h - 7. Let y = 6 - 5.9. Is m > y?
False
Let q = -2843028 + 19823959/7. Let o = -10939 - q. Let u = -95 + o. Which is greater: 0 or u?
0
Suppose -24 = 3*x - 4*j, 5*x = -j - 3 - 14. Let t be (2 - (-10)/x)*-10. Let f = -0.9 + -0.1. Which is greater: f or t?
t
Suppose -2*g = -3*g + 14. Is g >= 14?
True
Suppose 22 + 274 = 4*k. Let r be 2/(-8) + k/40. Is 1 less than or equal to r?
True
Let a be (0 - -1)*4/(-4). Which is bigger: a or -1/9?
-1/9
Let f(j) = -j - 5. Let r be f(0). Let u = -3 - r. Suppose 3*z + u = z. Is -1 greater than z?
False
Let j(m) = -m + 3. Let l be j(3). Let c = -37 - -262/7. Which is greater: l or c?
c
Let f = -142/1441 - -1/131. Is f greater than 2?
False
Let g(b) = b - 4. Let d be g(8). Suppose -d*k = k + 10. Which is greater: k or -3?
k
Let t be 6*(-9)/(81/6). Let s = 9 + -13. Is s less than t?
False
Let g(b) = -2*b - 13. Let m be g(-5). Let y = -3 - -2. Let s = y + -1. Which is bigger: s or m?
s
Suppose -35 = -b + 2*c, -3*c - 140 = 2*b - 7*b. Is 28 < b?
False
Suppose -4*f + 4*a + 11 + 29 = 0, f - 6 = -a. Suppose -3*n - 4*z = -20, -2 = -5*n - 3*z + 13. Suppose -2*d + f = -i - i, n = -d + 3. Which is greater: -3 or i?
i
Suppose 4*f - 28 = -h, 4*f - h - h - 16 = 0. Suppose -v + 4*m = m - 18, -v - f = 5*m. Let s be ((-198)/99)/((-2)/8). Which is greater: v or s?
v
Let m be (-1)/(-6)*3/(-2). Let p(g) = g**3 - 6*g**2 - 3*g - 8. Let s be p(7). Suppose -6*y = -y + s. Is m at least y?
True
Let b be 1*(1 + (0 - -1)). Which is smaller: b or 3?
b
Let k(o) = -o**2 + 4*o + 2. Let t be k(4). Suppose -t*u - 4 = -12. Let b be 4/(-21) - u/28. Is -1 < b?
True
Let w(s) = s**2 + 9*s - 57. Let q be w(6). Is 33 < q?
False
Let w be -3 + 7 - (-4 - -6). Is 7/5 <= w?
True
Let s be (12/10)/(4/20). Suppose -10 = -2*g, 2*f - 3*g = -8*g + 39. Let j = s - f. Is j <= -2?
False
Let x = -8 + 3. Which is smaller: x or -6?
-6
Let l = 4 + -1. Suppose 0 = -l*w + c - 1, 3*c = 3*w - 0*c - 3. Let a(z) = -z - 2. Let s be a(0). Is s >= w?
False
Let r = 0.941 - -0.119. Let m = -0.06 + r. Is -0.01 equal to m?
False
Let c = -995 + 12929/13. Is -1 at least as big as c?
False
Suppose 2*f + 4*t = 26, -2*t - 71 = -f - 2*f. Let a be 1/(-4) + f/36. Which is smaller: 0 or a?
0
Let f(z) = z**2 - z. Let m(n) = -7*n**2 + n - 3. Let t(b) = 6*f(b) + m(b). Let w be t(-5). Let q(y) = y - 11. Let v be q(9). Which is greater: w or v?
v
Let y be 2/(-3)*(2 - -1). Which is bigger: -5 or y?
y
Suppose a - 3 = -0*a. Suppose -4*f = -a*m - 4, 4*m + 0*f + 26 = -5*f. Is m at least -5?
True
Let u(x) = -3*x + 1. Let g be u(-3). Suppose -w - 4*w = g. Which is bigger: -5/3 or w?
-5/3
Suppose 60 - 21 = -3*u. Which is greater: 1/3 or u?
1/3
Suppose -2*x - 2 = l + 1, -2*l = 2*x. Do 0 and x have the same value?
False
Let w = -3508 - -6883/2. Let j = w + 65. Is -2 smaller than j?
True
Suppose -7*x = -12*x - 20. Let u be 4/3*3/2. Suppose 0 = 5*r - u*r + 6. Is r != x?
True
Let f be (-6)/21 + 424/14. Let j be (f/(-9))/((-16)/(-489)). Let v = 102 + j. Which is bigger: v or -1?
v
Let d = 11.4 - 11.5. Is -58 less than d?
True
Let m be (-216)/(-130