m(f). Is c at most as big as -1/4?
False
Suppose -3*c + 8 = 5*u - 5*c, -3*u = c + 4. Let x = -64 - -450/7. Is u > x?
False
Let j = 47 + -47.07. Are j and 1/2 unequal?
True
Let s be 4/(-24)*2*0. Let x = -4 - s. Let t be (1/2)/(2/(-8)). Is t != x?
True
Let v = 2 + -10. Is v greater than or equal to -23/3?
False
Let a(b) = 2*b - 4. Let o be a(3). Let w be o/(-4) - (-5)/6. Let y be 6/(-4) + 10/(-20). Which is greater: y or w?
w
Suppose 0 = -2*u + 15 - 27. Is u < -7?
False
Suppose -5*l = 6*l + 143. Are -7 and l nonequal?
True
Let d be 4/(-8) - (-45)/96. Which is smaller: d or 0?
d
Let p = 104 - 102. Is 0 at least p?
False
Let n = -35 - -37. Is -3 bigger than n?
False
Let p = -639/5 - -129. Suppose 2*j = 5*n + 14, 5*j - 5*n = 1 + 19. Which is smaller: j or p?
p
Let y = 6 - 5. Let q = -3 + y. Is -2 >= q?
True
Suppose -2*a - 2*q - 8 = 0, -q - q - 14 = -4*a. Let n be a/(-18)*(-1005)/(-10). Let s = 23/4 + n. Which is smaller: 1 or s?
s
Let l be (-3)/(9/(-4)) + (-532)/114. Which is smaller: -4 or l?
-4
Let d(b) = -11*b + 3. Let s be d(-3). Let r = 64 - s. Let o be (-2)/6*6/r. Is 0 at most as big as o?
False
Let p = 35/124 - 1/31. Let y be 3 - 4/(0 - -4). Which is greater: p or y?
y
Let p(q) = 3*q - 2. Let a be p(4). Let f = 9 - a. Which is smaller: f or 1/5?
f
Let d = 0.34 - 0.3. Let n = 0.16 + d. Which is smaller: n or -0.2?
-0.2
Let h = 120 - 1199/10. Let w(c) = -c**2 - 2*c + 4. Let s be w(-3). Which is greater: s or h?
s
Let i(x) = -4*x + 1. Let s be i(1). Let j(q) = q**2 + q - 1. Let y be j(s). Is 6 less than y?
False
Suppose 0*s - 2*p = -3*s + 11, 4*p - 8 = 0. Suppose 8 + 2 = s*h. Let q be (0 - -1) + (2 - h). Which is smaller: q or 2?
q
Let i = -4.328 + 0.028. Let d = i - 0.7. Let u = d + 4.6. Is -1 less than or equal to u?
True
Suppose -5*c = -59 + 14. Suppose 5*s + 4*t - 21 = 29, -20 = -2*s - 5*t. Which is greater: s or c?
s
Suppose -5*p = -2*p - l - 11, 3 = -p - l. Let u = -5 - -5. Which is smaller: p or u?
u
Let v = 9 + 22. Is v bigger than 30?
True
Let x(z) = -2*z - 2. Let l be x(-2). Let i be (1 + -1 + -1)*l. Let q = i + 3. Is q equal to 0?
False
Let l = -10470817/16262272 - 87/43136. Let q = 15/26 + l. Is 1 < q?
False
Let q(h) = -5*h - 35. Let p be q(-7). Is p greater than 1?
False
Suppose -10 = -5*l - 0. Suppose -l*f - 5 = -f. Let g = f + 5. Which is smaller: g or 2/15?
g
Let x(a) = a**2 - 3*a + 3. Let n be x(2). Let b = -1 + n. Let r = 5 - 5. Is b at least as big as r?
True
Let h = 1.7 - 1.9. Which is greater: 0.09 or h?
0.09
Let b(x) = -2*x + 1. Let g = 10 - 9. Let a be b(g). Is a at least -2?
True
Let u(l) = l + 10. Let d be u(-7). Suppose -9 = -y - 3*s, 0 = -0*y - 3*y - s + d. Let m be 4/10 + (-3)/120. Do y and m have the same value?
False
Suppose 0 = -4*t - 22 + 94. Suppose -2 + t = 4*y. Suppose m - y*m - 21 = 0. Is m equal to -7?
True
Let g = -54 + 47. Which is smaller: g or 0?
g
Let g be -2*((-3)/13)/3. Suppose -2*n + 3 = -3*v + 20, 5*n - 2*v = -15. Is n greater than g?
False
Let k = 16 + -15.3. Let n = k - -0.2. Let d = n - 1. Do d and 0.1 have the same value?
False
Let k = -9 + -392. Let d = k - -6017/15. Is 0 smaller than d?
True
Let z = -48.7 + 6.7. Is z greater than 1/5?
False
Let d = -29074/17 + 1709. Is d != -0.1?
True
Suppose -h - 69 = 4*x - 13, 0 = 2*x - 2*h + 38. Which is smaller: -16 or x?
-16
Let p = -2.36 + -0.64. Let w be (-2 - -4) + 694/(-285). Let j = -2/57 - w. Is j equal to p?
False
Let z(a) be the third derivative of -a**4/24 + a**3/6 - a**2. Let w be z(0). Suppose 0 = p + 1 + w. Which is smaller: -1 or p?
p
Let d = -41 + 24. Let i = -31 - -15. Which is bigger: i or d?
i
Let i = 1.3 + -9.3. Let s = i - -8.2. Let r = s + 0.3. Are r and 0 nonequal?
True
Let m be 154/(-33)*3*-1. Which is bigger: 13 or m?
m
Suppose 2*m = 5*d - 41, -4*m + d + 2*d = 61. Let b = 9 + m. Let i be ((-6)/9)/(b/(-6)). Is i at most 1/3?
True
Suppose -2*x = -3*w + 2, -w = -3*w + 2*x. Suppose 0 = -u - w*u. Suppose -5*t + 0 = -5. Which is bigger: t or u?
t
Let z be (-30)/20*8/(-6). Are -38 and z equal?
False
Suppose -5*z + 2*j + 40 = 0, j - 5 = -5*z - 4*j. Let o be (4/(-12))/(5/z). Which is greater: 0 or o?
0
Let i(j) = 3*j**2 + j. Let q be i(1). Let l be q/16 - 42/104. Which is bigger: l or -1/3?
l
Let b = 8 + -6. Let p = -1010 + 1014. Which is bigger: b or p?
p
Let s = 0.31 + -0.3. Let o = 47065/2988 + -1/747. Let x = o - 16. Which is smaller: x or s?
x
Suppose 5*x - 2 = 18. Suppose 0 = -k + x*k - 9. Suppose 2 = -4*y - k*r + 3, 2*r = -2*y + 2. Which is greater: -1/3 or y?
-1/3
Let u = 10 - 9.8. Is u greater than 2/9?
False
Let c(x) = x**2 - 2*x + 3. Let j be c(2). Suppose 0 = -d + 5*p - 14, 0 = -2*d - 4*p + 42. Suppose -d*t - 4 = -13*t. Are j and t unequal?
True
Let g be ((-1364)/(-30))/(12/18). Let t = g - 68. Is 0 at least as big as t?
False
Let p(h) = -h**3 + 11*h**2 - h + 11. Let q be p(11). Let i = -3 + q. Let g be i/(((-27)/(-12))/3). Is g less than -4?
False
Let z be 4/14 - (-36)/(-77). Are 0 and z unequal?
True
Suppose -q + 7*q = 6. Which is smaller: q or 1/4?
1/4
Let p = -2 + 0. Suppose 0*i + i + 5 = 0. Let q = i - p. Is q <= -5/2?
True
Let j = -0.39 - -0.03. Let v = j + -0.04. Let y = -0.3 - v. Which is smaller: y or 2/7?
y
Suppose -n - 33 = -3. Let j be (-20)/n*(-1)/(-9). Do j and 1 have different values?
True
Suppose -3*f = -h + 8, 0*f + 2*f - 2*h = -12. Let w = 1302/13 + -100. Is w less than f?
False
Let q be (15/(-95))/((-3)/4). Is 1 at least q?
True
Let x be (-2)/3*(-33)/(-44). Which is bigger: -27 or x?
x
Let w(u) = 4*u - 3*u**2 + 8 - u**2 - 7 + 3*u**2. Let h be w(4). Which is smaller: h or -2/5?
-2/5
Let p(q) = -q**3 - 14*q**2 + 15*q - 3. Let w be p(-15). Which is smaller: w or -4?
-4
Let h(d) = d**3 - 3*d**2 + 2*d. Let p be h(2). Let z = 19/6 + -23/6. Is z smaller than p?
True
Let o be ((-24)/(-2))/4*(-8)/(-30). Suppose -3*d + 1 = -2. Which is bigger: o or d?
d
Let x(i) = -i**3 + i**2 + i - 8. Let n be x(0). Let d be n/(-15) + (-1)/3. Let l(z) = -z**2 + 2*z + 4. Let t be l(3). Which is bigger: d or t?
t
Let q = -127.8 + 143. Let h = 17 - q. Let r = 0.2 + h. Are 0 and r equal?
False
Let d = 0.14 - -0.36. Let m = 0.5 - d. Let g be 27/(-60) - 1/(-5). Which is greater: m or g?
m
Suppose -3*x + 11 = 2*i, 5*i - 5*x + 2*x + 4 = 0. Which is greater: i or 2?
2
Let y = 2076/7 + -298. Which is smaller: y or 0.1?
y
Let w(t) = t - 23. Let c be w(21). Suppose -3*j = j. Let p = -1 + j. Which is smaller: c or p?
c
Let y be ((-1)/2)/(2 + 0). Let r = 6 + -3. Suppose -r*p + p = -2. Is p >= y?
True
Let v(k) = k**3 + 3*k**2 - 5*k. Let d be v(-4). Suppose -6 = -u - u. Let x = u - d. Does x = 4?
False
Let u = -4 + 7. Let q = u + -2.8. Let o = q - 0.1. Which is greater: 2/11 or o?
2/11
Let j(t) = -t**3 + 3*t**2 - 3*t. Suppose 5*h - k = 6, -4*h + 0*k = -2*k. Let z be j(h). Which is greater: z or -1/2?
-1/2
Suppose 0 = -3*a + 217 - 28. Let i be 39/a + 1/(-3). Is i > -6?
True
Let f = -0.02 - -0.22. Let y = 0.1 - 0. Which is greater: y or f?
f
Suppose -3 = -s, a = -4*a - 4*s + 37. Suppose 4*h - 11 = a*c, -6 + 2 = -h. Are c and 2/47 nonequal?
True
Let k be (10/(-25))/(1/(-25)). Suppose -4*g + 19 = i, 2*g = -4*i + 5*g. Suppose 0 = -4*r + 5*h + 36, h = -i*r - 2 + k. Which is smaller: r or 1?
1
Let s(t) be the third derivative of -t**6/720 + t**5/24 - t**4/24 - 3*t**2. Let n(z) be the second derivative of s(z). Let i be n(4). Is i at least 3?
False
Suppose 2*w + 2*w = 12. Let z(o) = 6*o**w - 5*o**3 - 7*o**2 + 2*o**2 + 4*o + 1. Let h be z(4). Which is greater: 2 or h?
2
Let n be (-30)/(-105)*(4 + -1). Which is greater: n or 0?
n
Let p(b) = b**2 + 5*b - 3. Let d be (10/(-6))/(1/3). Let f be p(d). Let o be (-4)/6*(-3 - -9). Does f = o?
False
Let t(s) = -s + 12. Suppose 0 = -3*x - 2*x. Let i be t(x). Suppose -4*c - 9 = 4*d - d, 3*c + 4*d + i = 0. Which is bigger: 2/7 or c?
2/7
Let t = -1.5 + 0. Let k = t - -0.5. Let q be 2*(2/32 - 0). Is q greater than or equal to k?
True
Let h = 0.47 + -0.47. Is h bigger than -26?
True
Suppose -2*d - 2 - 2 = -4*x, -3*x = d - 3. Is 2/15 greater than d?
True
Let b be 3 + 3 + (-31)/5. Let w = 5642/15 + -376. Let h = b - w. Which is smaller: 0.2 or h?
h
Let h be -1 + 0 + -1 + 3. Suppose 2 = -2*q + t, 0 = 3*q + 3*t - 16 + h. Suppose q = 4*g - 11. Is 3 < g?
False
Suppose a + 2*z - 3 = 0, -2*z = -a - 0*z + 7. Suppose 13 + 27 = a*y 