 most as big as t?
False
Let r(k) = -k + 21. Let a be r(20). Which is bigger: 12/7 or a?
12/7
Suppose 4*x - 4*k + 3 = -5*k, -2*k + 10 = 0. Let u(o) = -2*o**3 - 9 - 7*o - 2*o**3 + 5*o**3 + 5*o**2. Let v be u(-6). Which is smaller: v or x?
v
Let v = -113/56 - -15/8. Let a(t) = 4*t - 20. Let n(r) = r - 7. Let x(l) = 2*a(l) - 7*n(l). Let m be x(-9). Which is smaller: m or v?
v
Let m = -18 - -11. Let d = -26 - -11. Let h = -16 - d. Is h > m?
True
Suppose -u - 1 - 1 = 0. Let n(y) = y**3 + 3*y**2 + 2*y - 1. Let i be n(u). Let o = i - -3. Which is smaller: o or 3?
o
Suppose -7*n + 4*n = -3, -3*g - 7 = -n. Let s(k) be the third derivative of k**4/8 + k**3/3 - 5*k**2. Let m be s(g). Is m at least as big as -2?
False
Let i = -2.74 - -0.14. Are 2/7 and i non-equal?
True
Let b = -2 - -3. Let w be (3 - 1)/(7*b). Does 3 = w?
False
Let n be (-8)/(-6) + (-1 - 0). Are -2/9 and n non-equal?
True
Suppose 4 = -t + 2*t. Suppose -37 = t*r - 5. Are -7 and r non-equal?
True
Let s be 2*2/(2 - 0). Suppose s*r = -r. Which is bigger: -1 or r?
r
Suppose -u + 16 = -n, -43 = -4*u - 3*n + 21. Which is smaller: u or 67/4?
u
Let t = 0 - -5. Suppose -1 - t = -u. Which is bigger: u or 4?
u
Let r(g) = g + 4. Let z be r(-5). Which is smaller: -3/5 or z?
z
Let p = 8 - 3. Let y(n) = n + 7. Let c(l) = -l - 7. Let b(q) = p*y(q) + 4*c(q). Let m be b(-8). Which is bigger: m or 2/13?
2/13
Let b = 23.9487 - 0.0487. Let n = b + -24. Is n greater than 0.09?
False
Let j(d) = 0*d - 1 - d + 2. Let u(p) = 5*p - 5. Let r(k) = 6*j(k) + u(k). Let v be r(-3). Which is smaller: v or 5?
v
Suppose -2*u + 11 = v, -2*u - 4*v - v + 15 = 0. Suppose 3*d - d = -5*w - 25, u*w = 5*d - 25. Are d and 0 equal?
True
Suppose 5*s = s + 228. Let o = -28 + s. Let b = -201/7 + o. Do -1 and b have the same value?
False
Suppose c + 4*w + 13 = 0, -5 + 21 = -4*c - 4*w. Does -2 = c?
False
Let q = -12 + 9. Which is smaller: q or 0.1?
q
Let a(p) = -12*p + 2. Let s be a(1). Let b be 11*-1 - (6 + s). Which is greater: b or -10?
b
Let m = -62/5 + 66/5. Let x(v) = -v**2 + 2*v - 1. Let u(o) = -o - 7. Let r be u(-8). Let s be x(r). Is s smaller than m?
True
Let h(m) = -m + 14. Let u be h(10). Let x(l) = l**3 + l**2 - 2*l. Let n be x(-2). Suppose n = 2*f + 2*f - u. Is -2 < f?
True
Let l be (-83)/(-16) + -5 + 2/(-8). Do l and 0 have different values?
True
Let l = -20.034 + 0.034. Let f = l - -20.1. Which is greater: -9 or f?
f
Suppose 0 = -11*g + 85 + 69. Which is bigger: g or 1?
g
Suppose 0 = -2*r + 2*t + 4, 5*r + 2*t + 2*t = -8. Let i = r - -1. Let z = -2 + i. Which is greater: -2 or z?
z
Let j = 13 + -13. Let n be (-2 - -3)/((-26)/6). Let m = 7/26 - n. Does m = j?
False
Let n(r) = -r**3 - 9*r**2 + 11*r + 9. Let m be n(-10). Are 1/18 and m equal?
False
Let m be (-6)/(-4)*4/(-3). Let v be (-4)/(-33)*m/(-4). Which is smaller: 0 or v?
0
Let c(k) = -k - 1. Let z be c(-4). Let r be z*((-3)/(-9) + 0). Let s be (1 + r)*1/2. Is s less than or equal to 0?
False
Let k be (200/101)/(-2) - -1. Let y = -1199/1313 - k. Let s = 62/39 + y. Is s greater than 2?
False
Let l = -22 - -27. Is l < -2?
False
Let u = -1 - -1.1. Let g = u + 0. Let v = -0.1 - g. Is 1/4 greater than or equal to v?
True
Let p = 7 + -4.7. Let v = p + -2. Let n = 0.5 - 0.2. Is v at least as big as n?
True
Let l(s) = 6*s - 5. Let y be l(5). Suppose -j + 6*j + y = 0. Which is bigger: -4 or j?
-4
Suppose -2*f - 3*f = -15. Suppose -6*h + f = -3*h. Suppose 0 = -0*u - 4*u - 4. Which is bigger: u or h?
h
Let n = -65/4 + 337/20. Which is smaller: n or 1?
n
Let a be (-13604)/(-160) - (-2)/(-5). Let r = a + -85. Suppose -5*m = -3*i + 5 - 11, -2*m = 5*i + 10. Which is smaller: r or m?
r
Let g(s) = 2*s - 6. Let z(d) = -d**3 + d + 5. Let k be z(0). Let c be g(k). Let t be 4/6*(-42)/c. Is t less than -6?
True
Let u = 9 + -8. Is u less than 1/6?
False
Let p = 571/46 - 25/2. Is p not equal to -2/9?
True
Let d = 0.1 + -0.1. Let a = d - 0.1. Let w = -0.11 + -0.09. Is a less than w?
False
Suppose 4*v = 3*m + 103, 5*m - 4*m - 59 = -2*v. Let z = -1/335 - 18423/670. Let j = z + v. Which is smaller: 2/23 or j?
2/23
Let x = 44.06 - 44. Let y = 3 + 0. Is x greater than y?
False
Let i = 1.4 - 1. Let b = -0.25 + i. Let d = b - 0.05. Does d = 1?
False
Suppose 0 = -2*f + 4*u - 12, 10 = -2*f + f + 3*u. Let r be f/(-6)*15/5. Which is greater: r or 3/7?
3/7
Suppose -3*i = -4*i. Suppose -3*g - 2*g = i. Let w be (-2)/(-8) - 2/8. Is w greater than g?
False
Let n be ((-1)/(-3))/((-4)/(-24)). Suppose -2*x + 3 = x, 0 = n*l - 4*x. Is 1/5 at most l?
True
Let x be (-44)/8 + (-3)/(-6). Let t = -12 - x. Suppose 5*l + 24 = l. Is t less than l?
True
Let b(i) = -i - 12. Let m be b(-9). Let q = 6 + -4. Suppose 3*l = q*s - s - 10, -3*s + 4*l = -10. Is m bigger than s?
False
Let f be (-9)/(-2) - (-5)/(-10). Let n be 4/(-2) + (-32)/(-2). Let z = n - 9. Which is bigger: z or f?
z
Suppose -4*p - 99 = j - 7*p, j + p + 111 = 0. Let m be (-75)/j + (-8)/12. Which is bigger: -1 or m?
m
Let h be (-14)/(-12) - 3/18. Let v be -2 + (-21)/(-9) - h. Which is greater: v or 0.2?
0.2
Let d = -19 + 15. Let s be ((-34)/6)/(1/6). Let b be s/35 + d/(-10). Is b at most -2?
False
Let c = -1 + 0.9. Which is smaller: -2 or c?
-2
Let t(h) = -h**2 + 2*h - 9. Let z be t(4). Is z at least as big as -17?
True
Let d(h) = -3*h - 3. Let a be d(-4). Let m = -13 + a. Suppose 0*z - 2*j - 2 = 3*z, -5*z - 2*j = 10. Is m smaller than z?
False
Let k(r) = -r**2 + 2*r + 3. Let p be k(3). Which is smaller: p or 1/8?
p
Let w be -2*62/(-4) + 3. Suppose -4*m - 2 + w = 0. Is m != 8?
False
Suppose 0 = 5*a + 15. Is a >= -1?
False
Let f = -1 + 5. Suppose 1 - 13 = -f*i. Suppose -4*u + 8 = 2*h, 8 + 3 = 3*u + 4*h. Is i != u?
True
Let y(g) = g**3 + 6*g**2 + g - 7. Let m be y(-6). Let p = -14 - m. Let b = 700/13 - 54. Is p less than or equal to b?
True
Let g(z) = 3*z - 7. Let c(m) = m**3 + 8*m**2 + 6*m - 3. Let h be c(-7). Let u be g(h). Which is smaller: u or 7?
u
Let o = -6.62 + 0.42. Let b = 6 + o. Is b bigger than -1/5?
False
Suppose -4*z + 0*z = -32. Is 7 <= z?
True
Let w(r) = -r**3 + 2*r**2. Let a be w(3). Let u(q) = -q**3 - 10*q**2 - 9*q + 2. Let g be u(a). Let c = 4 - g. Is 2/3 bigger than c?
False
Let o(x) = -3*x**2 + x + 3. Let i be o(2). Which is bigger: -8 or i?
i
Let q = -114 - -86. Is -26 equal to q?
False
Let m be (-16)/(-12) + 6/9. Suppose 3*w = 3*u + 4*w - 6, 0 = -2*u - 2*w + 4. Are m and u unequal?
False
Let h be (1/2)/(25/10 + -2). Which is smaller: -14/5 or h?
-14/5
Let h(d) = 1 - 8 + 3*d - d**2 + 4*d. Suppose 0 = 6*q - 11*q + 30. Let p be h(q). Which is smaller: -1/5 or p?
p
Let t = -4610 - -239695/52. Let n = 3/13 + t. Is 0 > n?
True
Let c = 72/5 + -14. Which is greater: c or -0.06?
c
Let b be -3*(-1)/(-114)*4. Do -1 and b have the same value?
False
Suppose -3*v - 42 = -t, -2*t + 5*v + 40 = -t. Is t > 45?
False
Let x(y) = y**2 + 9*y - 10. Let k be x(-10). Which is greater: -1 or k?
k
Let f be 18/171*(-2 - (-5)/3). Which is smaller: f or -2?
-2
Suppose i - 5*p = -0 + 4, p = -3*i - 4. Let t(q) = 9*q**3 + q**2 + q + 1. Let c be t(i). Let r be c/2*2/(-28). Is -1/17 < r?
True
Suppose 2*k = -2*k + 4. Which is smaller: -1/10 or k?
-1/10
Let u = -0.05 + -14.95. Is u smaller than 2/5?
True
Let m(f) = f**2 - 6*f - 8. Let h(b) = -2*b**2 + 12*b + 16. Let q(p) = -4*h(p) - 9*m(p). Let t be q(7). Is t smaller than -2/13?
False
Let y = 23/25 - -414/175. Let c = -3 + y. Let p = 30.3 - 30. Is c smaller than p?
True
Let v = 10 - 18. Let d(o) = -14*o**2 - o. Let k be d(-1). Let g = k - v. Is g less than -6?
False
Let i(u) = u**3 - 2*u + 1. Let y be i(2). Let k = -6 + y. Suppose -2*n - 2*z - 4 = -4*n, 3*n = -4*z - 15. Is k not equal to n?
False
Let b(h) = h**2 - 7*h - 1. Let i be b(7). Let y = 0.6 + -1.4. Let j = y + 0.8. Which is smaller: j or i?
i
Suppose 7*y = 3*y. Suppose y = -0*x - x + 3. Suppose 4*b - 2*b - 6 = 0. Is b bigger than x?
False
Let n be 5 - 3 - (-14)/(-5). Is n bigger than 0?
False
Let l = 5 + -4.8. Which is greater: l or 2/29?
l
Suppose 5*d + r - 34 = 53, 0 = -4*r - 12. Which is greater: d or 20?
20
Let n be 0 - ((-40)/46)/(-4). Let g = n - -7/138. Which is greater: g or 0?
0
Suppose 0 = 28*s - 23*s + 50. Which is smaller: -6 or s?
s
Let w = -6.4 - -5. Let s = 0.33 - -0.07. Let c = s + w. Which is smaller: c or 2?
c
Let c(b) = -2*b**3 - b**2 + b - 2. Let 