- 0.62. Let c = n - -0.22. Is c smaller than -1?
False
Suppose 2*t - 2*q - 6 = 0, 5*t + 2*q - 24 = t. Suppose 2*f + t = 7*f. Let m be (-36)/(-19) + (1 - 3). Are f and m nonequal?
True
Let m be (0 - (-549)/273) + 3. Let s = 34/7 - m. Is s smaller than 1?
True
Suppose -v - v - 2 = 0. Which is greater: v or -1/8?
-1/8
Let b(o) = -o**2 - 9*o + 9. Let z be b(-10). Let p be (-3 + z + 3)*-2. Let l = p - 5. Which is smaller: -4 or l?
-4
Let c = 0.06 - 0.66. Let t = -0.7 - c. Is t at most as big as -1/8?
False
Suppose -i - 3*h = -1, -2*i - 3 = -5*i - h. Let p = 334/5 + -12348/185. Which is smaller: i or p?
p
Let h be 0*((-4)/(-2) - 3). Suppose x = 5*x. Let j = x + h. Do j and -2/3 have the same value?
False
Let p = 2.884 + 0.016. Let v = 3 - p. Let c = -0.4 - -2.4. Does v = c?
False
Let y = 12 + -12. Are -1 and y non-equal?
True
Let d = 14 - 69/5. Suppose 5*v = 0, -k + 4*v = -6*k + 15. Let x = k - 4. Which is smaller: x or d?
x
Suppose 0*i + 5*i = 170. Suppose 0 = -4*b - 2 + i. Let r = -11 + b. Is r less than or equal to 1?
True
Let c = -1 + 3. Let y be 1 + (c/4)/1. Let t be 1 + 1 + (-2)/(-10)*0. Is t less than y?
False
Let n(l) = -l**3 + 8*l**2 - 14*l + 12. Let a be n(6). Is -14/13 less than a?
True
Let g = 1243/4 - 310. Let t = 1 - 1. Is t > g?
False
Suppose 7*q - 3*q + 48 = -z, 4*z - 28 = 4*q. Is -11 > q?
False
Let g = -0.17 - 6.83. Let z = 11 + g. Which is greater: z or 1/2?
z
Let g(m) = m**3 + 5*m**2 - 2*m - 7. Let t be g(-5). Suppose -3*c - 34 = -2*y - 3*y, 5*y + t*c = 16. Suppose -x = -2*a, -x - a = y - 2. Is x less than -3?
False
Let w be (-15)/(-3) - (-60)/(-10). Let m be (-18)/16*(-4)/(-6). Is w smaller than m?
True
Let d be 14/(-21) + (-26)/6. Is -0.1 greater than or equal to d?
True
Suppose 4*a + 13 = 61. Let g be (3/2)/(9/a). Which is bigger: g or 3?
3
Let g(n) = -3*n + 1. Let w be g(1). Let u be (-17 - -2) + (w - -5). Are -13 and u non-equal?
True
Let a be (-4)/6 + 476/561. Let t(b) = -b**3 - 2*b**2 + 2*b - 2. Let d be t(-3). Which is bigger: d or a?
d
Let p be 18/(-189)*(-14)/24. Let s = 0 - 0. Is s > p?
False
Suppose 15*c + 77 = 26*c. Let a be (8 - (1 - 3)) + -2. Is a less than or equal to c?
False
Let b = -4 + 4. Suppose -5*g + 11 - 31 = 0, 5*s = 5*g + 45. Is b at least as big as s?
False
Let o be ((-35)/(-40))/(2/4). Let d be (-1)/(1 - 2) - -1. Are o and d unequal?
True
Suppose -r - 4*r - 80 = 0. Is r at least as big as -18?
True
Suppose -4*n + 4*p = -12, 7*p = 3*p - 12. Which is greater: 2/39 or n?
2/39
Let n = 12 + -20. Let s = -8 - n. Suppose 5 = -5*f - s. Which is bigger: f or -2?
f
Let d be ((-52)/(-22))/(0 + 4). Let w = -29/44 - d. Which is smaller: -1 or w?
w
Let l = -3.7 + 4. Let s = 0 - -0.2. Let r = s - l. Which is greater: r or -0.2?
r
Let d = -1/9 + 1/3. Let u(f) = -2*f - 5. Suppose 3*q = -0*q. Let g be u(q). Which is greater: g or d?
d
Let l = -2 + 2.2. Let i = 0.4 - l. Is 0.1 less than or equal to i?
True
Let n be 2*(1 + (-8)/6). Let t = 2 + 0. Is t at most as big as n?
False
Let j be (-1)/(1 - (1 + -1)). Let o = -7 - j. Let m = -4 - o. Does m = 0?
False
Let u = -15.88 - 0.12. Let j = 17 + u. Is j less than or equal to 7?
True
Let s = -12 - -8. Are -2 and s nonequal?
True
Let o = 0.27 - -0.73. Which is smaller: -0.02 or o?
-0.02
Let o be (10 - 15)*8/(-10). Is 2 bigger than o?
False
Let s = 0.032 + 0.068. Which is smaller: -1/4 or s?
-1/4
Suppose -5*a + 4*a - 2 = 0. Let x = 150/11 - 794/55. Is x bigger than a?
True
Let i be 1/7 - (-928)/(-28). Which is bigger: -32 or i?
-32
Let b(r) = r. Let l be b(2). Let p be ((-8)/(-6))/(2/9). Suppose -2*s = -4, -3*f + 5*s - p = -f. Is l at most f?
True
Let k(h) = h**2 + h - 1. Let f(j) = -6*j**2 - 2*j + 8. Let w(o) = -f(o) - 5*k(o). Let c be w(3). Which is greater: -11/4 or c?
-11/4
Let f be (3 - -1) + (-2 - -1). Let j be (7 - 5) + -1 + f. Suppose -j*t = t. Does -2/17 = t?
False
Let i = 234 - 2576/11. Let a = 22 - 22. Is a at most i?
False
Let z(i) = i**2 - 5*i**2 - 3 - i + 3*i + 5*i**2. Suppose 0 = a - 0*a + 3. Let n be z(a). Are n and 0 equal?
True
Suppose 3*q - p - 14 = 0, -3*q + q = 3*p - 2. Suppose -5*v = -q*a - 10, 3*a - 6*a - 4*v = -8. Which is bigger: 2/35 or a?
2/35
Let v(r) = -2*r**3 + 4*r**2 + 1 + 0*r + r**3 + r. Let o be v(4). Let w(g) = g**2 - 4*g - 4. Let u be w(o). Is u < -1?
False
Let r(u) = -u**3 - 7*u**2 - 8*u - 8. Let k be r(-6). Is k greater than or equal to 5?
False
Suppose -h - 2*h - 21 = 3*u, 0 = -5*u. Is 0 greater than or equal to h?
True
Let k = 79 + -319/4. Is k <= 2/13?
True
Let y = 24/65 + 2/65. Let n = -0.2 - -0.4. Is n > y?
False
Let l be ((-2)/((-4)/6))/(105/14). Does -7 = l?
False
Let g = 7 - 1. Let p = 2 + 4. Let s = p - g. Is s greater than or equal to -2?
True
Let k = 6714/355 + -8/71. Is 20 not equal to k?
True
Suppose -10*o - 13*o + 69 = 0. Suppose 4*d - 6 = 10. Suppose 5*r - 10 = 4*j + 7*r, -5*r - 25 = -d*j. Is j smaller than o?
True
Let w = -8 + 13. Let k = -4 + w. Let u(s) = -s**3 + 4*s**2 - 4*s + 4. Let r be u(3). Are r and k unequal?
False
Suppose 3*i + 8 - 23 = 0. Let n be 3/(-2 + (i - 2)). Which is smaller: 4 or n?
n
Let d = 48075/31 - 1551. Which is smaller: d or -1?
-1
Suppose -3*i = -5*g + 20 + 5, -5 = -g. Suppose -99 = 3*q - 24. Let t be (-4)/10 + (-35)/q. Which is smaller: t or i?
i
Let n = -12.9 + 13. Which is smaller: -0.6 or n?
-0.6
Let p = -343 - -337. Let x be ((-6)/(-8))/(1/(-8)). Do x and p have the same value?
True
Let k = 21 - 47. Let n = k + 17. Let t = n - -10. Is t equal to -1?
False
Suppose -3*q = q - 36. Suppose 30 = q*f - 4*f. Is -2 at most f?
True
Let i(k) = -k + 8. Let u be i(7). Let a = u + 4. Which is smaller: 0 or a?
0
Let w = 57.11 - 57. Which is greater: w or 0.2?
0.2
Suppose 10 + 0 = 2*z - 2*x, -3*z - 5*x = 17. Let w be (4/(-35))/(24/28). Which is greater: z or w?
z
Suppose c + 0 - 1 = 0. Let u be c/((2 - -1)*-1). Which is greater: 0 or u?
0
Suppose -2*c = -7*c - 35. Which is smaller: c or -10?
-10
Let o(g) = -g + 12. Let a(w) = 1. Let p(f) = -5*a(f) + o(f). Let z be p(6). Does z = -2/15?
False
Suppose -8 - 8 = -4*z - h, -4*h = -4*z - 4. Suppose 68 = -z*g + 8. Let l be (-13)/g + 4/(-10). Is -2/5 < l?
True
Suppose 5*c + 15 = 5*y, y - 3 = 2*y + 2*c. Suppose p + y = -0. Is 6/13 >= p?
True
Suppose -5*m + 1 = -29. Suppose n + 1 = -2*u + 4, 4*n = -5*u + m. Is u less than or equal to 3?
True
Let i = 0.5 - 4.5. Let k = i - -4. Is k smaller than 0?
False
Suppose 0 = 5*l - 0*c - 5*c - 20, -27 = 2*l + 5*c. Let t be -2*(2 + 39/(-24)). Which is bigger: l or t?
t
Let h be 34/217 - (-60)/(-210). Which is smaller: 0 or h?
h
Let i be -1 + 1 - -5 - 0. Suppose y + i = 6*y. Let q = 5 + -14/3. Which is greater: q or y?
y
Suppose 5*z - 5*q - 25 = 0, 10 = 4*z - 0*q - 2*q. Let b(g) = g**2 - 6*g. Let c be b(6). Is c greater than z?
False
Let j(t) = t**3 - 13*t**2 - t + 17. Let q be j(13). Suppose -q = -5*c + 1. Which is greater: -2 or c?
c
Suppose -2*m + 7*m - 5 = 0. Is -4/23 >= m?
False
Let o = -4 + 4. Let h = 1 - o. Is -3/2 >= h?
False
Let b = 25.9 - 26. Let c(w) be the third derivative of -w**6/120 - w**5/12 - 5*w**4/24 - 2*w**3/3 + w**2. Let f be c(-4). Is f at least as big as b?
True
Let s be (2/5)/((-6)/(-10)). Let v(h) = h - 6. Suppose -4*d = -7 - 21. Let p be v(d). Which is smaller: s or p?
s
Let v = 3 + 1. Suppose -21 = t - i - 3*i, 2*t - v*i = -22. Is t at most as big as -3?
False
Let b = -15 + -24. Let n = b - -193/5. Is n equal to -1?
False
Let i be (-36)/27*3/7. Is -2 bigger than i?
False
Suppose 234 = y + 238. Is y at most -8?
False
Let z(s) = -s**2 - 3*s. Let x be z(-2). Suppose x*i - i - 1 = 0. Is 0 greater than i?
False
Let u = 0.7 + -0.73. Let i = -0.03 - u. Let x = 0.64 + -0.7. Which is smaller: x or i?
x
Let u(d) = -d**2 + 7*d + 2. Let h be u(6). Does 0.1 = h?
False
Suppose -5*c + 21 = -9. Is c != 4?
True
Let g(j) = -j**3 + 8*j**2 + 21*j - 12. Let l be g(10). Is l >= -8/7?
False
Let u(f) = -f**3 + 6*f**2 - 3*f - 6. Let c be u(5). Let d = -2 - -5. Suppose x + 5*s - 16 = 0, s - 18 = -d*x - c*s. Which is greater: x or 0?
x
Let w(x) = x**2 + x - 1. Let d be w(-2). Let r(k) = -k - 6. Let b be r(-8). Let y = d - b. Which is smaller: y or -2?
-2
Let c(z) = z**3 - 4*z - 1. Let i be c(2). Which is smaller: i or -0.1?
i
Let m(w) = -12*w + 17. Let h be m(5). Is -43 at most as big as h?
True
Suppose 31*u - 28*u = -3. Is u > -