t o be q(-4). Does o = 1/11?
False
Let r(m) = m - 25. Let c be r(19). Is c smaller than -8?
False
Let l be 98/10 + 24/20 + -1. Which is smaller: l or 0.2?
0.2
Let w be (1372/(-10))/2 + -3. Let d = 72 + w. Let c(i) = -i**3 - 2*i**2 + 2*i + 3. Let o be c(-2). Which is bigger: o or d?
d
Let j = -33 - -329/10. Let u = -14 + 4. Let s = u + 9. Which is bigger: s or j?
j
Let h = -287 - -154. Let m = 663/5 + h. Is -1 at least m?
False
Suppose 9*s + 124 = 8*s. Let q be (4/10)/(s/(-20)). Is q equal to -1?
False
Suppose -3 = -m - 1. Suppose 13*h - 6*h - 63 = 0. Suppose 0 = -c + 3*c - 2*i - 6, 5*c - m*i - h = 0. Which is smaller: 2 or c?
c
Suppose 3*b - 8 = -4*v, -13 = -4*v + 7. Let s be (2 + (-1)/(-2))*-2. Are b and s equal?
False
Let f = 20/17 - 103/102. Let v = 3/98 + -127/147. Let s = f + v. Which is smaller: -2 or s?
-2
Let q = -85 - -78. Which is smaller: q or -6?
q
Let h(o) = o**3 - 4*o**2 - 6*o + 2. Let t be 6 + 0 + 1 + -2. Let z be h(t). Which is smaller: z or -2?
z
Let k = -83 + 56. Is k != -26?
True
Let h = 5.1 - 5. Is h >= 17?
False
Let l be 2 + -3 + (0 - -2). Is l > -1?
True
Suppose 4*d - d = 2*n - 14, 0 = -3*d - 3*n - 9. Let i = -3 - d. Let y(t) = -t - 5. Let r be y(-6). Is i not equal to r?
False
Let g = -0.31 + 1.31. Are g and -0.48 unequal?
True
Let p be -164*5/2695 - (-8)/44. Is 0 bigger than p?
True
Let t = 1.94 + 0.06. Are t and -0.6 equal?
False
Let d(c) = -c**2 + c + 2. Let w be d(2). Is -1/17 less than or equal to w?
True
Let b be (0 + -4)*(6 + -5). Is -7 less than b?
True
Suppose -2*z = 4*p - 14, 2*p - 2 = -7*z + 11*z. Which is bigger: z or 2/133?
z
Let p(a) = -2*a + 4. Let s be p(-8). Let r = s - 178/9. Let h be ((-2)/2)/(1 + 0). Are r and h equal?
False
Let z(k) = k - 3. Let l be z(8). Suppose -5*r + l = -0*r. Suppose f = r, -f - 12 = 2*u - 5*f. Is -3 less than u?
False
Let t(c) = c + 1. Let f be t(-1). Suppose f = -3*z + 2*z. Suppose -3*q + z*q - 2 = -b, 5*b = 3*q - 2. Which is greater: b or 2?
2
Let n = 0.139 + -1.139. Are n and -37/4 equal?
False
Let l = -2.96 + -0.64. Which is smaller: l or 1?
l
Let m = 11 - 10.6. Let x = 0.8 + -0.6. Let d = -2.2 + x. Is m smaller than d?
False
Let r = -3 - -2. Let w be r/(-1 - -2) + 2. Let m = -3 - -4. Is w at least as big as m?
True
Let p be 1/(-2)*(-1 + 1). Suppose -4*f = -p*f - 4*k - 28, -22 = -3*f + 2*k. Let t be (4/f)/(2/(-8)). Is t less than -1?
True
Let y = 11 + -11.1. Which is greater: 0.014 or y?
0.014
Suppose -4*g = -6*g - 18. Is g < -10?
False
Let y be 16/(-20)*(-5)/2. Suppose -10 = 2*u - 5*u - y*t, 2 = -u + 2*t. Suppose -u*b + 0*b = 4. Which is smaller: 0 or b?
b
Let v = 0 + 1. Suppose 5*s = 6 - v. Let a be (5 - 832/168)/((-2)/(-4)). Which is greater: s or a?
s
Let w = -20 - -20. Let k = 0.2 - w. Does -4 = k?
False
Let q be -1*(-70)/(-5)*1. Is q > -13?
False
Suppose 3*j = 7*j + 8. Let k(t) = -t**3 - 3*t**2 - t + 2. Let q be k(j). Is 8 < q?
False
Let b = 2 + -1. Suppose 0 = s + b + 3. Suppose 0*p + 2*p + 4*l = -22, 4*l + 10 = 2*p. Is p > s?
True
Let b = -2 - -5. Let d = b - 3.13. Let z = d + 0.03. Which is smaller: z or 0.2?
z
Let p = -0.33 - -0.3. Let d = -56.9 + 57. Is p less than d?
True
Suppose -9 = -a + 4*a. Is a greater than or equal to 1?
False
Let w(h) = -h**2 - 9*h. Let l(i) = -i**2 + 3*i + 1. Let o be l(5). Let r be w(o). Is r at least as big as 0?
True
Suppose 3*f + 9 = -3*d, 0 = d - 2*f - 2 - 7. Is 57 at least d?
True
Let l = 5 + -2. Suppose -2*r + 6*m - 26 = 2*m, -m = l*r + 4. Suppose 4*i - 3*i + 1 = 0. Is r <= i?
True
Let h be (33/(-4))/(4/(-16)). Is h smaller than 33?
False
Suppose 3*z - 4*z = 3. Is z less than or equal to -8/3?
True
Let b(x) = -2*x - 3. Let n = -5 + 1. Let v be b(n). Suppose 2*j = -3*y + 3, v*j - 14 = -4*y - 3. Which is smaller: y or 2?
y
Let x = -323/6 - -54. Let c be 2/(-166)*(6 - 4). Let k = 77/249 - c. Which is bigger: x or k?
k
Let u be 1/6 + (-75)/(-70). Let k = u + -38/21. Do -2 and k have the same value?
False
Let v = -66.09 + 66. Is v at most 6?
True
Let u(w) = -w**3 + 2*w**2 - 2. Let z be u(1). Is 3/101 greater than or equal to z?
True
Suppose 6 = 3*f + 3. Is f smaller than -6?
False
Let l(x) = x**3 - 4*x**2 + 2*x - 2. Let j be l(3). Which is smaller: j or -11/3?
j
Let t(v) be the second derivative of v**3/6 + 9*v**2/2 - 6*v. Let f be t(-13). Which is smaller: f or -3?
f
Let o = -1/82 - -173/738. Let p be 2 + 1 - -2*1. Let m(y) = -y + 5. Let f be m(p). Is f != o?
True
Let v(t) = t - 2. Let o be v(-2). Let b = -8 - o. Let m be (0 - 2 - b) + 1. Does 3 = m?
True
Let y be 6/9*(0 - -4). Which is greater: 2 or y?
y
Suppose -f = -3*c + 1, -2*c - 2*f = -7*f - 5. Suppose 3*i = 6, -2*j + 2 = -4*i + 6. Is j less than or equal to c?
False
Let g be (3/(-17))/(1/2069). Let j(n) = n**3 - 5*n**2 - 6*n - 5. Let c be j(-6). Let t = c - g. Is t <= 0?
False
Let j be 4/(-117)*11 + (-42)/(-273). Suppose 0 = 2*y - y. Is j at most as big as y?
True
Let g = -271/973 + -1/139. Let a be ((-7)/(-2))/7*10. Let x be 2/a - 171/190. Is g less than x?
False
Let p(q) = -6*q - 3. Let n be p(-3). Let y be n/(-20) + 2/2. Is 0.4 not equal to y?
True
Suppose -p - p = -5*t + 16, 4*t = -3*p + 22. Let y = 0 - p. Which is smaller: -3 or y?
-3
Let q = -2 + 4. Let b be q/(1*-2) + 0. Is b equal to -2/3?
False
Suppose 2*c - 4*z + z - 10 = 0, -3*z - 2 = 2*c. Let b be 8/22*c/8. Is 1 bigger than b?
True
Let s = -164.9 + 165. Is -109 smaller than s?
True
Let t be (-786)/(-158) + -2 + -3. Let r = 152/237 - t. Let v(m) = -2*m + 9. Let j be v(7). Which is bigger: j or r?
r
Let z be (-3)/2*7 - 24/16. Is -23/2 smaller than z?
False
Let b be 1 + -1 + 4/2. Suppose -4*o = t + 7, -5*t = -4*o - 0*t + 11. Let f = o + 2. Is f greater than b?
False
Let q = -1 - -1.1. Let g(t) = -7*t**3 - 2*t - 3. Let c be g(-2). Let u be c/45 + (-9)/15. Is q greater than or equal to u?
False
Let g = -0.69 - -0.7. Let j = g + 0.99. Let o = 8 - 5. Which is bigger: j or o?
o
Let n be 2/2 - (2 + -1). Let o = 0 - n. Let k be 119/28 - 2/8. Is k greater than o?
True
Let w = -64 + 74. Is 7 != w?
True
Let h(q) = 14*q**3 + q**2 + q. Let v be h(-1). Let f = v - -12. Let m be -1 - (4/6 - 1). Is f at most as big as m?
True
Let a = 38 + -23. Suppose -5*r + a = -m, -2*m + 2*r - 16 = -r. Is -4 at most m?
False
Let y = 1.9 + -2. Let r = 1.18 - 1.1. Let q = -3.08 + r. Which is smaller: q or y?
q
Let t(s) = -s**2 + 4*s + 7. Let n(i) = i**2 - 4*i - 8. Let v(o) = 4*n(o) + 5*t(o). Let u be v(5). Is u greater than or equal to -1?
False
Suppose 0*l + 35 = -5*l. Let r(b) be the third derivative of -7*b**6/120 - b**5/60 + b**4/12 - b**3/6 - 2*b**2. Let u be r(1). Is l smaller than u?
False
Suppose -d = 2*d + 27. Let b be (-90)/96*12/d. Which is bigger: b or 0?
b
Suppose -5 = -2*c + 27. Which is smaller: 17 or c?
c
Suppose 10*n + 56 = 6*n. Which is smaller: -12 or n?
n
Let t = -4 + 2. Let k = 40 - 42. Is t at least k?
True
Let c = 4 + -5. Let n be 2 + c - (1 + -3). Suppose 2*q - 2 = n*q. Which is smaller: -2/9 or q?
q
Let s = -0.5 + 2.5. Let b = -5 - -4.92. Let r = b + -3.92. Are s and r non-equal?
True
Let s = -12 + 23. Suppose 13 = -3*y + 6*y + 4*x, -y = 3*x - s. Is 3/7 <= y?
False
Let i = -46 - -90. Does 1 = i?
False
Let y = 16 + -15. Let o = y + -2. Let s = 3.4 - 3. Are s and o non-equal?
True
Let w = 2/149 + 284/1043. Let c = 3 + -6. Is c at least w?
False
Suppose -72 = 5*v - 17. Does 0 = v?
False
Let p = 9 - 9. Suppose 5*v + 5 - 20 = p. Is v >= 2?
True
Suppose -v + 2 + 1 = 0. Which is smaller: 5 or v?
v
Let j = -8 - -8. Which is smaller: j or 2/137?
j
Let d = -129/44 + 11/4. Are 1 and d equal?
False
Let f be 18/(-4)*(-10)/15. Suppose j - 3*p = -8, -3*j - 4*p = -j - 24. Suppose -2*v - 2 = -b - f*v, -j*b - 5*v + 12 = 0. Which is smaller: b or -4?
-4
Let z = 0.17 - -1.83. Let v = z - 2.2. Is v at least as big as -0.2?
True
Let w be 12/(-28) + 216/14. Let b = -13 + w. Which is greater: b or -1?
b
Suppose 3*k + 4 = -k. Let s be (-18)/24 + k/12. Let m(n) = -n - 2. Let y be m(-1). Is s greater than or equal to y?
True
Let n be ((-6)/4)/((-6)/20). Suppose n*l - 6 = 2*l. Suppose -4*a - a + 5 = 0. Is a equal to l?
False
Let f(c) = c + 8. Let d(q) = -2*q - 15. Let s(g) = -2*d(g) - 5*f(g). Let a be s(-9). Is a equal to -1/12?
False
Let t(v) = 0 + 0 + 1 + v - 2. Let l be t(3). Let h = 5 - 2. Is l greater than h?
False
Let g = -34.57 - -21.6. Let 