 m?
m
Let m = 40 - 39. Which is bigger: m or 0.14?
m
Suppose 4*s - 4*r = -2*r - 2, 5*r = -4*s + 19. Suppose -s = u - 3. Let y be u*-1 + (-16)/(-2). Which is smaller: 7 or y?
y
Suppose -3*r + 6*r = 9. Let b be 1/4 + r/4. Which is smaller: b or -3/8?
-3/8
Let k(f) = f**2 - 5*f - 5. Let i be k(-1). Suppose 2*v - 10 = -3*v. Let t be (1 - -2)/1 - v. Is t less than or equal to i?
True
Let g be (2/7)/(36/21). Is g equal to 0?
False
Let j be (-2)/(-8) + 93/12. Suppose -j = 3*i + 4. Let r be (3 - 1 - -1) + -5. Are i and r nonequal?
True
Let c be 2 + (32/14)/2. Is c not equal to 4?
True
Suppose 0 = -w + 4, -4*w + 34 = 2*d. Let g = d + -2. Let q = g - 4. Which is greater: q or 2?
q
Suppose 23 = 3*i + 5*f, -i + 19 = 2*i + f. Let a = -13 + 28. Let x be 1/(-10) - i/a. Is x less than or equal to 0?
True
Let x be 64/10 + 18/(-45). Suppose -i - i = x. Which is smaller: i or -4?
-4
Let n be 1 + -1*(-76)/60 + -2. Which is smaller: n or 2?
n
Let c(b) = -3*b**3 + b + 1. Let y be c(-1). Suppose -y*g + 1 = -2*g. Suppose 0*r - g = r. Which is smaller: 0 or r?
r
Let r = -5698/5 + 1127. Which is bigger: r or -12?
-12
Let u = -4 + -4. Let s = u + 6. Let x = s + 2.3. Which is bigger: x or 2?
2
Let p be 2/(-1) - 20/(-10). Suppose p = -2*l - 4*a + 17 + 3, 5*a - 14 = 3*l. Let h be l + 2 + -4 + -3. Which is smaller: -3/2 or h?
h
Let f be (5 - 44/8) + 6/4. Is 8 < f?
False
Let h = 53/308 - -5/44. Let k be 6/(-14) - (-134)/(-14). Let m be ((-4)/k)/((-16)/(-40)). Which is greater: h or m?
m
Suppose 2*n = 3*p - 17, -5*p + 35 = -3*n + n. Let t(b) = b**3 + b**2 + b + 9. Let h be t(0). Is p >= h?
True
Suppose -2*l = -5*l + 9. Suppose -2*b = -6*b + 16. Which is greater: l or b?
b
Let f be -5 - (3 + -8)/1. Which is smaller: f or 2/79?
f
Let f = 6.3 - 3.3. Is 1/7 greater than f?
False
Let b = 7 + -35. Let i = -29 - b. Is -1 at least i?
True
Let m = -1536 + 185855/121. Let u = 358/605 - m. Let o(a) = a - 6. Let j be o(6). Is j smaller than u?
True
Let x = -0.06 + -0.34. Let v = -0.3 - x. Let r = v - 0. Are r and -0.1 unequal?
True
Let j be (-3)/(-18)*15/(-7). Let p = -13/42 + j. Let t = 6.6 - 7. Is t >= p?
True
Suppose 0 = -3*x - p - 10, -x - 4*p + 0*p - 7 = 0. Let h = 3 - 5/2. Is x >= h?
False
Let o be (-1)/4 - (-13)/20. Which is greater: o or 6?
6
Suppose -15 = 5*i, 4*l - i = -5*i - 64. Let a = 19 + l. Let t(o) = o**3 - o**2 - o + 7. Let h be t(0). Which is smaller: h or a?
a
Let x(r) = r - 7. Suppose -5*a + 55 = 5*h, 3*a + 3 = 3*h - 0*a. Let z be x(h). Is z at least 1?
False
Let i = 22.82 - 23. Let v = i - -3.18. Which is bigger: v or 1?
v
Let f = -5.4 + 4.4. Is -23/4 >= f?
False
Let g(l) be the third derivative of l**6/120 - l**5/12 - 5*l**4/24 - 2*l**3/3 - 2*l**2. Let u be g(6). Suppose 3*b = 1 - 4. Is b < u?
True
Let p = 1 - -1. Let l(z) = -z + 1. Let n be l(p). Which is greater: 2 or n?
2
Let w = -78 + 77.9. Do w and -0.55 have different values?
True
Suppose -2*m = -3*m. Are 1 and m equal?
False
Let l = 0.06 + 0.04. Let w = -0.1 + 0.1. Are w and l unequal?
True
Let l be 11/(-22)*-1*2. Let g = 1 - 0.8. Let p = 0.1 - g. Is p smaller than l?
True
Let j = 16/9 + -73/36. Are -0.1 and j unequal?
True
Let t = -0.09 + -5.91. Let a = -6 - t. Which is bigger: a or -3?
a
Let g = 11 - 27. Do g and -16 have the same value?
True
Let p = -328 + 230. Is -99 less than or equal to p?
True
Suppose -5*w = -w. Let f be -1 + 1 + -2 + 2. Is w greater than f?
False
Let v(p) = -p**3 + 6*p**2 - 1. Let k be v(6). Let g be (-9)/(-12) + (-2 - (-92)/112). Which is bigger: k or g?
g
Let a = -0.21 - 9.79. Let d = 10.1 + a. Is -9 at least as big as d?
False
Let d be (-1 + 1)/(-1 + 0). Let u = -6 - -10. Suppose v - 4 = 5*x, 0*x - u*x = 3*v - 12. Does d = x?
True
Let a = 7 - 5. Let g be ((-12)/(-15))/(a/(-5)). Suppose -3*x = -2*x. Which is bigger: g or x?
x
Let s = -18 + 27. Which is smaller: 7 or s?
7
Let i(z) = 2*z + 3. Let u be i(0). Suppose -3*g + u*d + 3 = 4*d, -4*d = g - 12. Which is greater: -3 or g?
g
Let i(k) = -k**2 - 7*k + 6. Let n be i(-10). Let r = 97/4 + n. Which is bigger: 1 or r?
1
Let m(t) = t**3 - 7*t**2 + 6*t + 4. Let l be m(6). Let n = -4 + l. Let u = n + 1. Which is bigger: u or 0?
u
Suppose 0*i = i + 3. Let b = 6 + i. Let s(o) = o**2 - 14*o + 4. Let r be s(14). Is b at least r?
False
Suppose 8*w = 3*w. Let f be ((-2)/(-4))/(6/4). Do w and f have different values?
True
Suppose -u + 5*c - 7 = 0, -3*c + 21 = 4*u + u. Is u > 2?
True
Let z be 200/14 - 4/14. Let h be 4/(-6) - z/(-30). Let v = -26 - -25. Which is bigger: h or v?
h
Let c = 23 + -22.64. Let g = c + -0.06. Let d = g - 0.4. Which is smaller: 1 or d?
d
Suppose 3*j - 75 = 5*m, -5*m - 3*j - 100 = -j. Is -16 less than or equal to m?
False
Let h be 1 - (-3 - 0 - -13). Let d be (-19)/h + 10/45. Which is smaller: 3 or d?
d
Let v be -7*(-2 + (-16)/(-14)). Suppose 4*p + v = -10, 5*l + p = 6. Let u = 1 - l. Do u and 1/3 have the same value?
False
Let j(f) = -f**3 + 3*f**2 + 5*f - 2. Suppose -4*d + 17 = 1. Suppose d*m - 11 = 5. Let y be j(m). Is 2 greater than y?
False
Let a be (-18)/(-4) + -4 - 8/4. Let l = -0.58 - 0.12. Let m = 0.3 - l. Which is smaller: m or a?
a
Let y be 4/12 - (-4)/6. Let w = 3 - y. Suppose -3*r + 4 = 5*u + 1, 2*u = -5*r + 5. Is w equal to r?
False
Let g be (6/36)/(4/((-32)/6)). Is 0.1 at least g?
True
Let t be 41/(-2) + 8/(-2). Is t less than -25?
False
Let r = -19 - -15. Suppose 2*n + n - 36 = 0. Let q be 0 + 1 + (-4)/n. Which is greater: q or r?
q
Suppose 2*c - 8 = 0, 3*d + 2*c - 20 = 3*c. Let h(q) = -q + 6. Let w be h(0). Which is smaller: d or w?
w
Let y be 8/(-6) + (-4)/(-12). Let n be 8/3 + y/(-3). Let g = -2 + n. Are g and 0 nonequal?
True
Let y = 22.7 + -23. Is 3 greater than y?
True
Let b = -0.51 - -0.21. Let t = -0.9 + 0.6. Let n = b - t. Which is bigger: -2/5 or n?
n
Let n = -7 + 6.952. Let b = n - 1.002. Let t = -0.05 - b. Which is smaller: -0.1 or t?
-0.1
Let j = 0 + -18. Which is smaller: j or -35/2?
j
Let n(r) = 7*r + 4. Let x be n(-1). Which is smaller: -8/3 or x?
x
Let z = -14 + 22. Suppose 3*y = z*y. Suppose y*o = o. Which is smaller: o or 2/7?
o
Let r be (3/(-4))/((-1)/(-4)). Suppose -15 - 9 = v. Let g be 2/(-1)*r/v. Is -1 at most as big as g?
True
Let z = -14 + 5. Which is bigger: -3 or z?
-3
Let w be (3 + -2)/1*2. Let p be (-2)/12 - -3 - w. Is p at most as big as 0?
False
Let v = -49.44 - 8.66. Let c = 55 + v. Let n = -3 - c. Which is smaller: n or -0.1?
-0.1
Let f(j) = j - 3. Let c be f(3). Which is greater: 8 or c?
8
Let q(v) = -v - 1. Let j be q(0). Let y = -1 + 0. Let p = y - j. Is -2 not equal to p?
True
Let d be (-4)/6*21/(-28). Is 2/55 at least d?
False
Suppose 5*z = -3*y - 33, -14 - 2 = 2*z + 4*y. Let g be (z/(-15))/((-2)/(-70)). Let q be (-9)/(-6)*4/g. Is 1 equal to q?
False
Suppose 0 = -2*v - 5 + 9. Let n be -2 + (40/3)/4. Is v at least n?
True
Let w = 3.7 - -0.3. Which is greater: w or 8?
8
Let j = -3217/9 + 357. Is j < -1?
False
Let c = 18 + -18.7. Let d = c - 0. Let v = d - -0.9. Which is smaller: v or -1?
-1
Let m = 9 - 2. Let g be (0/m)/(0 + -1). Which is greater: g or 4/5?
4/5
Let h = 191/1984 - -1/1984. Let d = h + 72/217. Let u = -1 - -2. Which is smaller: d or u?
d
Let c(z) = -z + 3. Let v be c(5). Let i be (v/(-5))/(12/285). Let x = -8 + i. Do 1 and x have the same value?
False
Let g be 19/7 - 6/(-21). Suppose -126 = -0*l + g*l. Let t be 2/(-7) + 16/l. Is t not equal to -1?
True
Let t(a) = -a - 19. Let r be t(-19). Is r <= -1/9?
False
Let d be 24/(-15) + 1 - (-4)/(-10). Which is greater: 2/19 or d?
2/19
Let q be 8/(-14)*(-14)/4. Suppose 0 = c - p - q*p - 2, 10 = 5*p. Let m = -6 + c. Which is greater: m or 0?
m
Suppose -2*y - 9 = y. Let s be 0/((y/1)/(-3)). Suppose s*p = 3*p. Is -1 at least p?
False
Let n = -1 + 0.7. Let l = n + 0.4. Let p(x) = x**3 - 8*x**2 - 3. Let t be p(8). Which is smaller: l or t?
t
Let d = 6.16 - 0.16. Let k = 7 - d. Which is smaller: 0.5 or k?
0.5
Suppose 0 = -3*d + 2*n + 14, 3*d = -0*n - 5*n + 7. Suppose 4*f - 12 = -d. Let o be 4/(-20) + f/10. Which is smaller: o or 0.4?
o
Let r(y) = y**2 - 6*y + 6. Let x be r(3). Is 17 at least as big as x?
True
Let c(l) = -l**3 - 5*l**2 + 6*l - 7. Let d be c(-6). Suppose -3*z + 4 = -5*k, z - 2*z + 3 = -2*k. Is d less than z?
False
Let a = -6.4 - -6.6. Are a and -30 unequal?
True
Suppose -3 = -3*h - 0. Let r be h - (2 - 