-0.2?
True
Let p = -5 - -5. Do p and -2/21 have different values?
True
Let x(b) = b**2 + 7*b + 6. Let z be x(-5). Is z bigger than -5?
True
Suppose 0 = -4*c - 2*z + 3*z - 8, -29 = 3*c + 5*z. Suppose 4 - 2 = -f. Is f not equal to c?
True
Let o = -43 + 214/5. Is o at least 3?
False
Let d = 2 - 3. Let t = -167/3 + 659/12. Which is greater: d or t?
t
Let q = 137 - 961/7. Let t = 3377/15 + -225. Is q >= t?
False
Let w be (-2 - -14)*1/(-2). Let i be 5/3 - (-4)/w. Let q(y) = 2*y**2 + y - 1. Let f be q(i). Is 2 not equal to f?
False
Suppose -f + 144 = 2*f. Suppose -3*r - f = 3*b, -9 = 3*b - 2*r + 14. Which is bigger: b or -2?
-2
Let v = -4 + 7. Suppose 2*r + f - 3*f = -4, 0 = r - 3*f + 8. Is v at most r?
False
Suppose -r + 21 = 2*r. Let s be (-4 + (2 - 5))*-1. Let g = r - s. Is 3 >= g?
True
Let w = 13 + -12. Let p = w + 5. Which is greater: 2/5 or p?
p
Suppose 3 = -2*s + 3*s. Suppose p - 2*p - 9 = 5*t, 0 = 5*t + s*p + 7. Which is smaller: t or -1?
t
Let u be 1/(-4) + 27/12. Let d = -5 + 9. Let p be (-4)/(-6)*4/d. Is p bigger than u?
False
Let x(r) = -r + 1. Let t(j) = 3*j + 2. Let m(i) = t(i) + 4*x(i). Let o be m(4). Which is smaller: o or 1?
1
Let x = 7164 + -63322/9. Let i = 128 - x. Are 0.2 and i equal?
False
Let w = 0.04 - 0.04. Let a = -27/2 - -15. Which is smaller: w or a?
w
Let p(y) = -y**2 + 6*y + 7. Suppose 18 + 3 = 3*v. Let g be p(v). Let k = 1/9 - -7/18. Which is smaller: k or g?
g
Let c(u) = -7*u + 1. Let f(s) = 4*s + 6. Let q(d) = 5*d + 7. Let t(l) = 6*f(l) - 5*q(l). Let n(w) = c(w) - 6*t(w). Let b be n(-7). Which is greater: 1 or b?
b
Let o(w) = 6*w - 128. Let j be o(21). Let q be (-28)/30*(-6)/(-4). Is j smaller than q?
True
Let v = -8.4 + 10. Let m = v - 1.62. Which is smaller: m or 0.1?
m
Let m = 0.03 + 0.27. Let v = -37 - -34. Let d = v + 10/3. Is m at most as big as d?
True
Let p be 65/(-1) - (-1 + 3 + 0). Is -67 at least as big as p?
True
Let m = -0.14 + -0.56. Let h = 1 + m. Let t = h + -0.1. Which is greater: 2/7 or t?
2/7
Let g = 30 - 91/3. Is 11 at least g?
True
Let t = -0.34 - -0.25. Which is bigger: t or 0?
0
Let n = -6.98 - -7. Let w = -0.32 + n. Which is greater: -3 or w?
w
Suppose 0 = -3*n - 2*x - 1, 0 = 3*n - 3*x - 0*x + 21. Let z be n/(-15) - (-4)/(-20). Is -2/37 less than z?
True
Suppose -8*t = -11*t. Suppose -c + 0 = -3*x + 5, t = 2*x - 4*c. Which is bigger: x or 3?
3
Let j(v) = v + 3. Suppose -5*n = 2*c + 62, 8 + 2 = -n - c. Let o be (-6)/n - 114/21. Let f be j(o). Is -2/3 smaller than f?
False
Suppose n + 3*n - 120 = 0. Is 30 smaller than n?
False
Let x be 2*52 + 2 - 0. Let c be (-8)/6*9/x. Let h = c - 64/371. Are h and 1 nonequal?
True
Suppose 3 = -4*u - 1. Let v(z) = -2*z**3 - z - 1. Let r be v(-1). Which is smaller: u or r?
u
Let b(w) = w**2 + 3*w + 2. Let m be b(-3). Suppose -m*d + 10 = 2*t, 3*d + 5*t = -d + 25. Which is smaller: -1/11 or d?
-1/11
Let y(b) = -3*b + 22. Let u be y(8). Is -10 >= u?
False
Let b be (-70)/63*(-25)/(-31). Let u be 2/(-8) + 100/(-496). Let l = u - b. Is 0 > l?
False
Let n(b) = b**3 + 5*b**2 - 5. Let q be n(-5). Which is smaller: -6 or q?
-6
Let d = 16 - 15.8. Let h be (-6)/3 + 2 - 3. Is d greater than or equal to h?
True
Let n(l) = -l**3 + 3*l**2 + 4*l. Let b be n(4). Let f be ((-2)/(-6))/(8/(-6)). Does f = b?
False
Let k = 5.845 - -0.055. Let n = k + -6. Which is bigger: n or 8?
8
Let d = -0.04 - -0.04. Suppose -1 = l - 6. Suppose 0 = l*p + r - 13, 4*p - 2*r - 2 = -7*r. Which is smaller: p or d?
d
Let d = 27.055 - 0.055. Which is greater: d or 1/2?
d
Let g be 3/(1 - (-1)/2). Suppose 0 = -g*m - 0*m + 10. Is m greater than 4?
True
Let z be (4 + -25)/3 + 4 + 17. Which is smaller: 9 or z?
9
Let d = 1 + 0. Let o be 1 - ((-13)/(-21))/d. Let q = o + 2/105. Does -2 = q?
False
Suppose -4*v + 9*v = 0. Let r = -131/4 - -33. Is r greater than v?
True
Let y = -1.8 - -2.8. Let m = 2/457 + 403/12339. Is m <= y?
True
Let f = -437 + 441. Let u be (-16)/(-12)*1/2. Which is bigger: u or f?
f
Let l = -1 - 1. Let z = 1.8 + l. Are z and -0.1 equal?
False
Let o(v) = -v**2 - 11*v + 2. Let u be o(-12). Let t = -7 - u. Suppose 0 = -t*w - 3, 5*w + 3 + 6 = -4*f. Do -3/8 and f have the same value?
False
Let c be 12/9 + 2/(-6). Let b(s) = 5*s**2 + 1. Let w be b(c). Let d be 3*(1 + (-8)/w). Which is smaller: d or -2?
-2
Suppose -4*k - 19 = -3. Let z be k/(-25)*2/(-8). Which is bigger: z or -1?
z
Let h be (-4)/12 + 0 - 0. Is 3 at most h?
False
Let v(g) = g - 4*g**3 + 0*g + 3*g**3. Let l = 2 + -2. Let q be v(l). Which is smaller: 2/11 or q?
q
Let r = -24 - -17. Is r at most -10?
False
Suppose w - 4*q + 0*q + 10 = 0, 4*q = -2*w + 4. Let p = w - 6. Let g be (-12)/p*(-2)/(-12). Is g greater than 0?
True
Let j be -1 + 1 - (-18 + 3). Let i be (-1)/(-2) + j/(-6). Let b be 0 - -2 - (-1 - i). Which is smaller: b or 1/3?
1/3
Let m = -15/14 + 197/210. Which is bigger: m or 1?
1
Let l = 64.1 + -64. Which is greater: 19 or l?
19
Let l(b) = 2*b + 4. Let p(c) = 2*c + 5. Let m(z) = -3*l(z) + 4*p(z). Let s be m(-7). Which is greater: s or 1?
1
Let t = 188/25 - 19464/2575. Let g = t - 43/1545. Which is smaller: 1 or g?
g
Suppose 0 = 4*k - k - 12. Let d(g) = g**3 - 4*g**2 + 2*g - 4. Let l be d(k). Let y = l - 5. Are 0 and y equal?
False
Let c(j) = 3*j - 42. Let w be c(23). Is w >= 1?
True
Let n be (7 - (-6)/3) + -3. Let p = -4 + n. Let v = -7 + p. Are v and -4 nonequal?
True
Suppose 34 = 3*h - 26. Let w be (-5)/h*(-16)/14. Are 2/5 and w unequal?
True
Let i = -1 - -4. Suppose i*x = 2*x - 2. Is x bigger than -2?
False
Let r be (-1 - -3)*(-1)/13. Suppose -2*y - 2*y + 8 = 0. Let c be -2 - y - -1 - -3. Is r greater than or equal to c?
False
Let k(v) = 4 + 4*v - 7*v**2 + 4*v**3 - 3*v**3 + 0*v**2. Let c be k(6). Which is bigger: c or -9?
c
Let z = -34045/21 + 1626. Let d = -33/7 + z. Which is smaller: -1 or d?
-1
Let j = 7 - 5. Let y(n) = j - 2 + n. Let k be y(-3). Are -3 and k unequal?
False
Let d = -9 + 5. Let l = -6 - d. Is -1/2 at least as big as l?
True
Let p = -72/185 + -2/185. Let r = 3 - 7. Which is smaller: r or p?
r
Let i be -2 - 1*(-1 - -1). Let y be 6/i + (-18)/(-2). Let z = 7 - y. Which is bigger: z or 0?
z
Let v be 30/8 - (-1)/4. Suppose 4*s + 4*p = s - 135, v*p = -2*s - 86. Let x = 145/3 + s. Which is smaller: x or 0?
x
Let i = 7803859/35212 - -1/70424. Let u = 222 - i. Is u < 1?
True
Let f be (-6)/(0 + -3) + 0. Suppose 2 = z - 0. Is z at most f?
True
Let n(d) = d**2 + 2*d - 1. Let o be n(-3). Suppose -5 = -5*s - f + 14, -3*f + 12 = 0. Suppose -s*u = o*u. Is 1 != u?
True
Let l be 2/3*9/6. Let j be 2 + -1 + -4 + l. Which is greater: j or -4/7?
-4/7
Let h(r) = -4*r**2 + 2*r + 1. Let v(q) = -7*q**2 + 5*q + 1. Let o(g) = -5*h(g) + 3*v(g). Let t be o(5). Let b be ((-1)/t)/((-2)/(-4)). Are 2 and b nonequal?
True
Let o = -2 + -2. Are o and -1 unequal?
True
Suppose -10 = -5*f - 4*l, -4*f + 4*l + 4 = -2*f. Suppose 6*h - 18 = f*a + h, h = -4*a - 14. Let y be (2/(-10))/(5 + a). Which is greater: 1 or y?
1
Let d = 6 - 3. Let v = d + -4. Is v smaller than 0?
True
Let f(v) = v + 4. Suppose 5*k - 43 = 3*o, 3*k - 15 = -0*k. Let r be 16/o*3/2. Let t be f(r). Which is bigger: t or -1/3?
t
Let n(b) = b - 4 - 3*b + 4*b + 4*b. Let c be n(3). Suppose -2*s - 2*q - c = q, 2*s = 3*q + 10. Which is bigger: s or -1/4?
-1/4
Suppose 0 = -4*y - 86 + 18. Let a = y + 29. Let f be 8/a + (-19)/24. Which is smaller: f or -1?
-1
Let x be 2 - 1 - (-478)/(-344). Let s = x - -6/43. Is s > 1?
False
Let i = -1.4 - -1.2. Is i greater than 1?
False
Let f = 126 + -140. Which is smaller: 3 or f?
f
Let c(n) = n**3 - 13*n**2 - 14*n + 8. Let r be c(14). Are 3 and r unequal?
True
Let x = -4 - -11. Let u be 22/10 - 6/30. Let n be 72/(-105) - u/(-5). Which is bigger: x or n?
x
Let c be 184/(-345) - ((-9)/(-5) + -2). Let t = -3 + 6. Suppose -o = t*o. Which is smaller: o or c?
c
Let f(m) = -m**3 + 3*m**2 - m + 3. Let t(n) = 8*n + 1. Let h be t(1). Let g be (-12)/(h/(-3)) + -1. Let w be f(g). Which is smaller: w or 2?
w
Suppose 5*y + 24 = -s, -3*s - 12 = y + 2*y. Let b be 52/120 + (-1)/3. Which is smaller: s or b?
b
Let m = 97 - 92. Which is smaller: -0.07 or m?
-0.07
Let d = 1.2 + -0.2. Which is smaller: -1 or d?
-1
Let d be 105/(-25) + (-3)/(-5). Which is smaller: -4 or d?
-4
Let a be 12/(-117)*2/4. Which is smaller: a or 1/3?
a
Let n be (-2)/(-4)*3 - 1/(-2). Is n not equal