 t(4). Let u = -6 + q. Which is bigger: 1/3 or u?
u
Let d = 55/36 - 5/18. Which is greater: d or 0?
d
Suppose 0 = 3*t - 5*t - 3*a + 31, a - 5 = 0. Suppose 0 = -z - t. Is z bigger than -7?
False
Let n = 0.01 + 0.19. Let c = -0.24 - -0.19. Which is smaller: c or n?
c
Let d be 10/(-5) + 5*1. Suppose d = -5*g + 2*g. Do g and -3/5 have the same value?
False
Let y = -1/4214 + 150651/2107. Does y = 72?
False
Let b(o) = -o**3 + o**2 + o + 1. Let u(s) = 4*s**3 + 7*s**2 - 14*s - 3. Let p(n) = 3*b(n) + u(n). Let w be p(-11). Which is smaller: w or 2/7?
w
Let u = -16 + 11. Let z be (-6)/40 + (-2)/u. Which is bigger: 1 or z?
1
Suppose 5*x - 3*g = -2*g + 32, x = -2*g + 2. Let d = -9 + x. Let f = -2 - d. Is -1 greater than f?
False
Let g(u) = u**2 - 4. Let r be g(-3). Suppose 5*o = -0*o + r. Which is greater: 0 or o?
o
Suppose -4*m = m + 130. Let v be (-4)/26 + 230/m. Let c = -9 - v. Is c <= -1/4?
False
Let x be 5/(-3) + 1332/54. Is x >= 22?
True
Let s(v) = -v**3 - 7*v**2 - 2*v + 1. Let j be s(-7). Suppose 2*x + 2*x - 5*z + j = 0, -4*z = 4*x - 12. Is -1 greater than x?
False
Let c = -136 - -52. Let h = c - -250/3. Suppose -4*j - 11 = -3. Which is smaller: h or j?
j
Let c = -2 + 1. Let r(f) = f**3 + 8*f**2 + 8*f + 7. Let o be r(-7). Suppose 4*q - 2*m = 0, -m = -q - o*m + 2. Is c < q?
False
Let j be 0/((-3)/(5 + -2)). Suppose j = 5*f + 2 + 43. Which is greater: f or -8?
-8
Let t = 63 + -65. Is -17/8 at most as big as t?
True
Let z(w) = -2*w**2 + 1. Let g be z(-2). Which is bigger: g or -8?
g
Let o = 36/11 - 97/33. Is -27 not equal to o?
True
Let t(r) = -21*r + 12. Let l be t(4). Is -73 less than or equal to l?
True
Let c be (38/6 + 3)/18. Which is smaller: c or 0?
0
Let v be (69/21 - 1) + -2. Let r(x) = -x**3 - 2*x**2 + x. Let l be r(-3). Suppose 3*p = l*p. Which is smaller: p or v?
p
Let k = 62.47 + -63. Let t = k + 0.03. Which is greater: -0.1 or t?
-0.1
Let c(w) = w + 9. Let z be c(-11). Is z >= -3?
True
Let k be -2 + (-3)/((-129816)/86530). Let a = -293823/2404 - k. Let t = 122 + a. Do t and 0 have different values?
True
Let h = 345/187 + -19/11. Suppose -4*z + 0*z - 3*o + 17 = 0, 0 = 2*z - 2*o + 2. Which is smaller: h or z?
h
Let o = -2 + 7. Suppose -d - 15 = 5*y - o*d, 0 = -2*y - 4*d + 22. Which is greater: y or 2?
2
Let h = -22 + 22. Which is bigger: h or -2/37?
h
Let p = 163 - 7339/45. Is p at least as big as 0?
False
Suppose 3*t - 3 = -v, -2*t - t + 2*v - 6 = 0. Let g = -7 + 4. Let w be 5/g + 2/3. Is t bigger than w?
True
Let o(c) = -3*c + 2. Let y be o(-5). Suppose 3*f - 2*a = -0*f - 12, -4*f = -3*a + y. Is -2 at least as big as f?
True
Let u be (4/(-5))/((-2)/(-10)). Suppose -5*c - 13 = k, -c + 5*k + 23 = -5*c. Is u < c?
True
Let c = 77 - 110. Which is bigger: 0.1 or c?
0.1
Let s = -19 - -16. Which is smaller: 2/7 or s?
s
Let y(s) = -s**2 - 6*s - 1. Let t be y(-6). Let a = -5/11 - -23/99. Is t != a?
True
Let q(r) = -r**3 + 6*r**2 + 2*r - 14. Let f be q(6). Suppose 0*s - 3 = s. Is f at least s?
True
Let m = 4362 - 21891/5. Is m != -17?
True
Suppose 8*w = -0*w. Suppose 3*h = 5*v - 10, 4*v = -4*h - h - 29. Which is smaller: w or v?
v
Let t = -63 + 442/7. Let c(s) = s - 8. Let v be c(6). Let d = v + 2. Which is smaller: t or d?
d
Let h(f) = f**3 + 3*f**2 - 3*f + 4. Let p be h(-4). Let j be (-1 - 0) + (8 - p). Which is smaller: -0.1 or j?
-0.1
Let p(q) = 3*q + 4. Let i be p(-3). Let d = -4 - i. Let f = 4 - d. Is 2 < f?
True
Let j(x) = 3*x + 14. Let o be j(-5). Let i(t) = t**2 - 3*t + 1. Let z be i(4). Suppose z*k = k. Is o smaller than k?
True
Let l = -5.2 - -0.2. Let n = l + 8. Let p = n + -2.9. Which is greater: p or 2?
2
Let t = -1371/14 - -98. Let r = t + -4/7. Suppose 8 = s + s, 2*z + 5*s = 16. Is z greater than or equal to r?
False
Let a = 24 + -32. Which is smaller: a or -10?
-10
Let b(s) = s**2 + 16*s - 24. Let p be b(-17). Is p at most -4?
True
Let y(w) = -2*w - 4. Let b be y(-4). Suppose 5*q + 16 = -9. Let j = q + 8. Which is smaller: b or j?
j
Suppose 4*d - 53 = 59. Suppose -d = -3*v + 2*f - 2, 5*f + 50 = 5*v. Is v smaller than 7?
True
Let u be (168/35)/((-2)/(-1)). Is 2 >= u?
False
Let d be (-12)/102 + 98/(-34). Let o = 16 - 11. Suppose -o*q + 2*k = 29 - 6, -8 = -4*q - 5*k. Is d >= q?
True
Suppose -2*d + 0*d = -12. Suppose 2*s - 2*y = y - 16, -s + y = d. Which is greater: s or -1?
-1
Suppose 5*p - 5 = 0, 4*n - 2*n - p = -13. Is 0.1 greater than or equal to n?
True
Let c be (15/(-1))/(12/(-16)). Suppose 6 + 7 = -3*l + 2*r, -3*r + c = -5*l. Let j = 1 - 0. Is j >= l?
True
Let t = 3.97 - -0.03. Let k = t + -3.9. Let c = k + -0.2. Is 0.1 <= c?
False
Suppose -2*i = 5*n - 2, -4*n = -i - 2*i - 20. Let x(s) = s**3 + 9*s**2 - s - 10. Let p be x(-9). Is p != n?
True
Let j = 6.3 + 11.6. Let p = -16 + j. Do 0 and p have different values?
True
Suppose -z + 28 = -0*h - 5*h, 3*h - 5*z = -30. Let r be -8*(5/2)/h. Suppose -5*l + 5 = -3*u, 3 + 1 = 4*u + r*l. Which is smaller: u or -1?
-1
Let u = -59 + 25. Let x be 4/(-10) + u/(-10). Let y be (-3)/15 + x/(-10). Which is smaller: 0.1 or y?
y
Let g = 0.1 - 0.11. Let q = g - 0.09. Which is greater: q or -9?
q
Suppose 0 = 3*z + 4*j + j + 43, 2*j = z - 4. Let g be (-1)/(-2) - 1/z. Let y be (-1 - -1 - 1) + 2. Is y equal to g?
False
Let m be (-4)/(-14) - 764/28. Let z = 185/7 + m. Which is smaller: z or -2?
-2
Suppose 3*x + 15 = 6*x. Let i = -3 + x. Which is smaller: i or 3?
i
Let g = -143/4 - -36. Let u be ((-6)/2)/((-9)/6). Which is bigger: g or u?
u
Let j be 0 - ((-40)/140)/((-3)/(-7)). Let t be (-1)/2 - (-13)/2. Let o be -2 - (1 - (t - 1)). Is j greater than or equal to o?
False
Suppose 38*f + 3 = 39*f. Is 2 greater than f?
False
Suppose -3*k + 5*k = 0. Suppose k*m + 55 = 5*m. Is m > 9?
True
Let x = 169 - 847/5. Let y = 0.1 - 0.3. Is x <= y?
True
Suppose -14 + 2 = -4*g. Suppose -18 = 3*l + g*h, 4*l - 5*h - 30 = -9. Is l at most as big as -1/29?
True
Let x(c) = -5*c**3 - c**2 + 2*c + 6. Let t be x(-6). Let r be 2/8 + t/8. Let b = 648/5 - r. Which is bigger: 1 or b?
1
Let r = 137 + -56. Is r at most -0.1?
False
Let p = 13 + -6. Let l = p + -7.3. Are 0.4 and l unequal?
True
Suppose 6 = 5*i - 3*i. Are 9 and i equal?
False
Let g = -2.2 - -2.1. Is 2 >= g?
True
Let x = 3739/4 + -946. Let s = -307/28 - x. Which is smaller: -1 or s?
-1
Let c = -626 - -627. Let f be (1/(-4))/((-30)/(-8)). Is c at least as big as f?
True
Let d be (12/(-16))/((-219)/4). Which is smaller: -1 or d?
-1
Suppose 3*j - 2 = 4. Are 2 and j non-equal?
False
Let y(r) = -5*r**3 - r**2 + 1. Let q(b) = -4*b**3 - b**2 + 1. Let g(s) = -4*q(s) + 3*y(s). Let f be g(-1). Is -2 less than or equal to f?
True
Let l = -2 + 2.1. Let w be ((-16)/112)/(10/(-7)). Is l smaller than w?
False
Suppose 3*j = 7*j - m - 11, -j = -2*m - 8. Which is greater: -6 or j?
j
Suppose -2 - 9 = -z. Which is smaller: z or 9?
9
Suppose -k - 5*y - 10 = 0, -y - 25 = 2*k + 22. Is -25 equal to k?
True
Suppose -2*u = -4*u. Suppose -f = -0*g + 5*g - 4, 4 = -4*f. Which is bigger: g or u?
g
Let h be (-8)/(-6)*276/(-8). Is -46 > h?
False
Let p = 7 - 15. Let b be (-1)/(-4)*p/18. Which is bigger: b or 0?
0
Let o be 106/12 - (-2)/12. Let c = o + -5. Suppose 2*w = 4*s + 1 - 5, 0 = -c*s - 4*w - 20. Is s >= 4/7?
False
Let y = -2.24 + 2.5. Let v = -0.04 - y. Is 2/5 > v?
True
Let k(z) = -z**2 + 6*z. Let u be k(6). Is u less than -1/6?
False
Let g(k) = -k**3 + k**2 + k + 3. Let u be g(0). Suppose -5*h - 21 = -u*n, n - h - 4 = 3. Is n <= 7?
True
Let o = 1/738 - 18821/1476. Do -12 and o have different values?
True
Let s = -107/80 + 15/16. Is -2/7 <= s?
False
Let j be -1 - 14/(-60)*4. Which is greater: j or -1?
j
Let y be (-2)/(-14) + 36/(-126). Which is smaller: y or 1?
y
Suppose -2*f + 4*f - 8 = 0. Suppose -3*n - 1 = -5*b, n - 5 = f*n - b. Is -3 at most n?
True
Let h = -1.2 + -1.8. Which is smaller: h or 4?
h
Let v be 2205/(-28) - ((-18)/(-8) + -2). Does v = -79?
True
Suppose 2*a - a = 5*t - 146, 3*t - 98 = -2*a. Suppose 4*n = 2*n + 2*o + 12, t = 5*n + 4*o. Let q be (1 - -1)*3/n. Does -1/5 = q?
False
Let f be (-1)/((-43)/11 + 4). Are f and -21/2 nonequal?
True
Let u be 42/24 - 3/4. Is u != -44?
True
Suppose 4*n - 10 = -n. Suppose 8 = 3*g - 1. Suppose -g*u - 4*j + 24 = u, 0 = -u - 4*j + 21. Is u equal to n?
False
Suppose 3*m + 0*m = 4*i - 5, 0 = -2*i - 2. Is -2 smaller than m?
False
Suppose -4*c = -5*g 