t j = 0.43 - 0.43. Is j equal to -9?
False
Let a be (-7)/(-28) + (-11)/(-4). Let d be (a - (4 + -1)) + 1. Which is smaller: d or 1/6?
1/6
Suppose -2*g - 4 = -4*g - 3*y, -2*g + 18 = -4*y. Let r be (-2)/4*-2*g. Let f = 4 - r. Are f and -1 non-equal?
False
Suppose 0 = -7*u + 3*u + 4. Let k(w) = -w**3 - w**2 + 2*w + 2. Let o be k(-3). Let q be (-6 - -2)*(-1)/o. Do u and q have different values?
True
Let q be (-31)/11 - 6/33. Let h be ((-2)/q)/(2 - -2). Let k be 2/(-3) + (-4)/(-6). Is h at most as big as k?
False
Let i be 4/(-10) + (-44)/(-10). Suppose 4*z - 2*k = 12, 4*z = z + 2*k + 8. Is z > i?
False
Let s = -47 - -66. Let d = s - -3. Suppose -4*j = -3*g - d, 2*j - 4 = 4. Is -2 not equal to g?
False
Let n be 4/2 + (30/5 - 8). Is n less than -2/31?
False
Let d(z) = 2*z + 2. Let f(j) = -j - 3. Let i be f(-5). Let o be d(i). Suppose 0 = 8*r - o*r + 10. Is -4 at most as big as r?
False
Let i(s) = 3*s - 10. Let y be i(4). Is y equal to 1?
False
Let k be (6/(-4))/(-3 - 0). Let b = 3.44 - 3.5. Which is smaller: k or b?
b
Let c(x) = -x - 13. Let w be (-2)/3*(-42)/(-4). Let a be c(w). Let t(r) = -r**2 - 6*r + 1. Let l be t(a). Which is smaller: l or 0?
0
Let n be 18/(-12)*(-20)/(-2). Which is greater: n or -14?
-14
Let s be 4/18 - 2/9. Suppose -5*b = 35 - s. Let v(g) = -g**3 - 8*g**2 - 6*g + 8. Let n be v(b). Is n smaller than -2/5?
False
Let r be (3 + -3)*(-1)/(-1). Suppose r*i = 5*i, 3*u = -3*i. Is 1/6 at most as big as u?
False
Let s(f) = -f + 4. Let d = -4 - -7. Let q be s(d). Let c = 7 - 7. Which is bigger: q or c?
q
Let t(f) = f**3 + f**2 - 2*f. Let q be t(0). Does -4 = q?
False
Let q(a) = -a**3 - 4*a**2 + 12*a - 3. Suppose 2*z = -z - 18. Let x be q(z). Which is greater: 0 or x?
0
Let o(t) be the second derivative of -t**3/3 - t**2 + 2*t. Let r be o(-2). Which is smaller: 3/4 or r?
3/4
Let g be ((-8)/(-9))/(0 + 1/6). Which is smaller: g or 5?
5
Let m(c) = -c**3 + 4*c**2 - 6*c + 8. Let p be m(4). Is -17 <= p?
True
Let k be 3/(-12) + 2/8. Let x be k/(0 - (2 + -4)). Suppose 4*d + 0*d - 4 = x. Is 3 bigger than d?
True
Let f = 71 + -1351/19. Which is smaller: f or 1/4?
f
Let b be (-3 - 0) + 2*-1. Let z = b - -4. Is -1 at least z?
True
Let t = -5 + 3. Is 1 at least as big as t?
True
Let q be (-2)/6 + 105/45. Which is smaller: q or 2/5?
2/5
Let w be (18/(-5))/((-3)/10). Let p = w - 5. Is p less than or equal to 7?
True
Let r = -13 + 13. Do r and -2 have the same value?
False
Let t = 1 - 0.2. Is 2/5 bigger than t?
False
Let a = 2/93 + 916/651. Which is smaller: 0 or a?
0
Let g = -0.12 - -0.62. Do g and -1 have the same value?
False
Let k be 5/30*6/(-4). Let x be 2/(-7) + (-44852)/(-182). Let p = 246 - x. Which is bigger: k or p?
p
Suppose 0 = -b + 3*b - 2. Which is bigger: b or 16/9?
16/9
Let h be (9/6)/((-2)/(-12)). Is 0.1 less than h?
True
Let n(i) = i - 2. Let w be n(-5). Let z(m) = m**2 + 10*m - 1. Let v(q) = -q. Let t(b) = -3*v(b) - z(b). Let c be t(w). Which is bigger: 0 or c?
c
Let g = -2 - 0. Suppose p - 6*p = 5. Is g at most as big as p?
True
Let f(m) = m**2 + 8*m + 6. Let n be f(-7). Let q be 5/45*(-1)/n. Which is bigger: q or 0?
q
Let m = -57 - -57.9. Is m at least as big as -4?
True
Let s = -0.05 + -0.15. Let d = s + -0.8. Is d greater than or equal to 0.2?
False
Let y = -6.81 + -0.19. Let k = y + 7. Are 1/9 and k unequal?
True
Let l(n) = -n - 5. Let o be l(-9). Let j be (2*o/16)/(-1). Does j = -2?
False
Suppose 2*f + f - 6 = 0. Let r = -3 + f. Suppose -p - 2 = -4, -t + 5*p = 10. Is t at least r?
True
Let s = -0.29 - 6.63. Let n = 7 + s. Let y = 0.02 + n. Is -0.1 > y?
False
Let l be -2*(8/(-5) + 2). Which is bigger: l or -1?
l
Let z = -10 + 12. Let c be (-65)/70 - (-3)/z. Which is bigger: c or 1?
1
Let i(u) = 2*u + 4*u - 3*u + 2 - u. Let f be i(-4). Which is smaller: f or -5?
f
Let d be 5*-74*(-2)/(-5). Let i be d/(-52) + 4/26. Which is smaller: i or 5?
i
Let x be (-3)/((-2)/2)*1. Suppose -4*l = -4*u + 24, 2*l = -3*u - x*l - 22. Is -1/10 not equal to u?
True
Let w = -0.1 + 0.1. Let c(f) = 2*f - 5. Let p be c(4). Let x be (-1)/3*(p + 0). Is w not equal to x?
True
Let v = 12 - 9. Which is smaller: v or 2?
2
Let s = 5 - 2. Let p = 4 - s. Is -1/10 less than p?
True
Let u = -16.7 + 2.7. Let k = 14.1 + u. Let s = -0.1 + 1.1. Is k > s?
False
Suppose 0 = g + 4*t + 4, 0 = -g + 2*t - 4. Let y be (-6)/4*(1 - 9). Let o = 9 - y. Which is smaller: o or g?
g
Suppose 3*a + a - 8 = 0. Do a and 3.5 have the same value?
False
Let r = -9 + 2. Suppose -5*y = 48 + 7. Let t = r - y. Is 1 bigger than t?
False
Suppose 0 = 3*u - 1 - 5. Let g(y) = -y**3 - 7*y**2 - y + 5. Let m be g(-7). Let o = m - 12. Is u less than o?
False
Let u = 65 + -74. Which is greater: u or -6?
-6
Suppose 0 = 4*h - 9*h - 30. Let b = 11/2 + h. Is b at least as big as 0?
False
Let k(q) = -4*q - 11. Let o be k(-3). Which is greater: 3/26 or o?
o
Let q = 0.2 + -0.3. Let z = 4.7 + -5. Which is smaller: q or z?
z
Let k = -5 + 4.96. Let t = k - -0.04. Which is smaller: -2 or t?
-2
Let t = -23 - -11. Let f be 16/t*(-2)/(-12). Which is smaller: 1 or f?
f
Let s = -17 + 9. Let p be (2/s)/(7/(-12)). Which is greater: p or -1?
p
Let q = 23 + -45. Let g = q - -18. Is g greater than or equal to 0?
False
Let p = -9 + 20. Let h = p - 7. Let y be 2 - (-2*1 + -1). Which is bigger: h or y?
y
Suppose -4*l = -6*l + 3*z + 12, -22 = -4*l + 5*z. Suppose -3*x + 3*f = l, -8*f + 14 = -2*x - 3*f. Suppose -5*w - x - 2 = 0. Which is smaller: 0 or w?
w
Let p = -14 - -14.06. Is p less than -1?
False
Let p = 26 + -25.91. Is -2 greater than p?
False
Let n(r) = -r**3 + 10*r**2 + 10*r + 13. Let j be n(11). Which is smaller: j or -0.054?
-0.054
Let d = -4 + 5. Is 2/13 bigger than d?
False
Let y = -71 + 36. Which is smaller: y or -34?
y
Let m(u) = u - 8. Let i be m(27). Which is smaller: -2 or i?
-2
Let u be 0 + 2 - 2/1. Suppose 3*c + 5 = -o, u*o - 2*o = -c - 11. Suppose -2*z = -5*s + 3*z + 5, 0 = 5*s - 4*z. Is c != s?
True
Suppose -5*t = 4*k + 8, -3 = 3*k + 3*t - 0*t. Is k less than or equal to 0?
False
Suppose -5*a + 7 = -3. Let g be (a + -2)*(-1)/(-2). Suppose -13*b + 4 = -9*b. Is g at most b?
True
Suppose 8*s - 4*s = -40. Let v = -11 - s. Is v at least -4?
True
Suppose 10*i + 92 = 172. Suppose -2*y - 2*y + 31 = -5*b, -y + 3*b = -6. Is y <= i?
False
Suppose 4*g + 19 + 25 = 0. Which is greater: 0 or g?
0
Let j = -21 + -26. Is j less than or equal to -47?
True
Let v(s) = -s**3 - s + 6. Let m be v(0). Suppose 3*w = 6*w + 3*j + m, -w = -j - 2. Is w at least as big as -2/7?
True
Let s = -2/73 - 88/2117. Is 0 at most s?
False
Let u be ((-3)/36)/(3/(-8)). Let x = 0.6 - -1.4. Let v = x + -3. Is u <= v?
False
Suppose 4*w - 23 = -3. Suppose -5*f + w*r + 30 = 0, -7*r + 2*r = -3*f + 28. Let y = f - 0. Which is bigger: y or 2?
2
Let b = -278/3 + 9724/105. Which is smaller: 1 or b?
b
Suppose 2*z + 6 = 4*z. Suppose -2*w - w = -z. Let f be 7/14 - w/(-2). Which is greater: f or 0.3?
f
Suppose s + 12 = -4*f, -f - s + 12 = 3*s. Which is bigger: 2 or f?
2
Let a be (36/24)/(42/40). Which is smaller: 1 or a?
1
Let a = -3.6 - -1.6. Which is smaller: 0.5 or a?
a
Let j = -203/1066 + 3/82. Let d = -23/65 - j. Is d > 0?
False
Let q be (-3)/4 - 22623/(-4404). Let o = q + -1523302/317455. Let c = -2/173 - o. Which is smaller: c or 2/7?
2/7
Suppose 5*x + 2*b = -39, 3*x + 3 = -4*b - 12. Let k be 6/x*9/6. Let u = -0.3 + 0.2. Which is smaller: k or u?
k
Let u be -3 - 2/((-6)/45). Let p = u - 12. Which is bigger: p or 3?
3
Let c = 0.4 - 0.4. Let d = c + -0.1. Let q be (5 - 4)*(1 + -4). Is q less than or equal to d?
True
Let a(r) = -r**2 + 3*r + 4. Let x be a(4). Let o be 3 + (-1 - (x + 2)). Which is smaller: o or 2/11?
o
Let b(m) = 5*m - 3 - 5*m - m**2 - 3*m. Let w be b(-2). Which is smaller: -1/4 or w?
w
Let y be (-2)/15*(3 + 7). Which is smaller: y or -2?
-2
Let s = -3 + -2. Let b be s/(25/2)*15. Suppose -5 = -4*u - 25. Which is smaller: b or u?
b
Suppose -4*r = -5*g + 8 + 4, -3*g = 2*r + 6. Suppose g = 9*o - 5*o + 4. Let j be 6/38*(-6)/(-9). Which is smaller: o or j?
o
Let d = 26 + -15. Which is smaller: 5 or d?
5
Suppose 5*m - 3*m - 15 = 5*b, m + 3 = -b. Suppose -4*n + 24 = 4*i, m*i - 5*i - 30 = -5*n. Suppose 6 = -3*f - n. Do -3 and f have different values?
True
Suppose 30 = -3*x - 9. Let j = 13 + x. Is j != 0?
False
Suppose -3*g + 6 = -g. Let p = g + -4. 