2/5 and j non-equal?
True
Suppose 0 = -g - 0*g. Suppose -2*i - 9 + 3 = g. Is i equal to -3?
True
Let f = 1 + -16. Which is smaller: f or -17?
-17
Let s = 21.8 - 22. Which is smaller: s or 2/9?
s
Let b be (4/3)/((-13)/(-3)). Let u be ((-24)/130)/((-16)/(-40)). Let i = u + b. Which is bigger: i or -1?
i
Let t = -140 + 71. Which is smaller: t or -68?
t
Suppose 4*w = -i - 6, -i - 6 = 2*i. Is -2/9 equal to w?
False
Let j = 18389/195 + -283/3. Suppose -3*r - 5*g = 5, -r + 3*g = 6*g + 3. Which is smaller: j or r?
j
Let p = 58 - -1. Let s = -33 + p. Let i be (s/(-10) - -2)*-1. Which is greater: -1 or i?
i
Let f be 88/3*33/22. Suppose 0 = 4*r + f - 12. Which is smaller: 0 or r?
r
Let o = 1 - -4. Let v be o*3/(-18)*-2. Is v at most as big as 1?
False
Suppose 0 = -a - a + 8. Let x = a + -2. Suppose -x*t + 1 = -3*t. Which is smaller: 1/7 or t?
t
Suppose -4 - 15 = -2*f - 5*g, -5*g + 85 = 5*f. Which is smaller: f or 24?
f
Let h = -0.16 - -0.2. Let z = h - -1.96. Let o(c) = -c + 7. Let p be o(7). Is p smaller than z?
True
Let x(g) = 10*g**3 - g. Let n be x(-1). Let d be (-2)/n - (-6)/(-27). Is d greater than 1?
False
Let x be (-127)/2*(-8)/(-14). Let z = 36 + x. Suppose 5*r + 15 = -8*w + 4*w, 5*r - 25 = 4*w. Is r bigger than z?
True
Suppose 6 = 2*q + 14. Let r be 3/12 - (-1)/q. Let m be 3 + (-6)/3 - r. Is 2 less than m?
False
Let c be 1709*3/(-1530) - -2. Let h = c - 5/102. Which is greater: 0 or h?
0
Let d be 5/3 + 20/(-20). Are d and 0 unequal?
True
Let j(s) = -2*s**2 - 12*s - 2. Let r be j(-3). Which is bigger: r or 18?
18
Let t(l) = -4*l. Let b be t(-1). Suppose b*p - 2*s = -0*s - 10, -p - 2*s = 10. Suppose 0 = -2*f - 3*q - 7, 0 = -0*f - f - 2*q - 3. Is f not equal to p?
True
Let x be -1 + -8 + (-5 - -6). Let w be (-7 - x) + (-50)/54. Which is smaller: 1 or w?
w
Let j(g) = -20*g - 27. Let q(y) = 7*y + 9. Let i(h) = -6*j(h) - 17*q(h). Let r be i(-9). Is -2 equal to r?
False
Let j = 331/3 + -112. Is j equal to -2?
False
Suppose 5*o = -5*g, -4*o + 5 - 3 = 3*g. Which is smaller: 0.7 or g?
g
Let a = 4 + -4. Do a and 1/5 have the same value?
False
Suppose 4*j + 2*p + 0 = 12, 0 = 5*j - 2*p + 3. Let x be (j - 23)*(-1 - -2). Let a be x/18 + 2/9. Which is smaller: -2/3 or a?
a
Let a = -8 - -8. Which is greater: 1/5 or a?
1/5
Let o = -17 - -45. Which is greater: 0.1 or o?
o
Let a = -134/3 - -45. Is 7/5 less than a?
False
Let l be (-2 + (-8)/(-12))*3. Which is smaller: -3 or l?
l
Let n be 2 + (0 - (-22)/(-12)). Which is bigger: 1 or n?
1
Let p be 2 + (0 - (1 - 4)). Suppose 2*f + 3*a + 4 - 16 = 0, -4*a = -5*f + 7. Suppose 5 = -2*c + 2*n + n, 0 = -3*c - f*n + 30. Is c bigger than p?
False
Let x be (-6)/(-60)*(7 + 1). Suppose l + 0*l - 1 = 0. Is l bigger than x?
True
Let j(o) = 6 - 4*o - 2 - 1 - o**2. Let b be j(2). Do b and -10 have the same value?
False
Let u = 97/65 - -30/13. Let z = 1683/5 - 340. Let q = z + u. Which is greater: q or -1?
q
Let t be 21/14 - 9/2. Is -3 <= t?
True
Suppose 3*x - n - 10 = 0, 4*x + 4*n - 40 = -16. Let h(s) = -s**3 + 4*s**2. Let z be h(x). Which is smaller: 1/9 or z?
z
Let b = 18 + -18. Is b at least -2?
True
Suppose n - 3*b = -18, n + b = -3*b - 4. Let s = n + 14. Is s bigger than 2?
False
Let i be 1*8/2*-1. Let r(c) = -c**3 - 5*c**2 - 4*c + 2. Let f be r(i). Suppose a = f*a + 2. Which is greater: -1 or a?
-1
Let v be (-2)/(-1 - (-1 - 1)). Let d be -1*(0 + 2 + 4 + -5). Which is bigger: v or d?
d
Let r(f) = f. Let b be r(2). Suppose t = b*t - 1. Let a be (5 - 2)*(t + 1). Is 6 > a?
False
Let j(g) = -g - 6. Let d(n) = -n**2 - 2*n + 7. Let l be d(-5). Let r be j(l). Are 4/5 and r equal?
False
Let t be 3*-1 + 0/1. Let r = -1/10 - 7/5. Which is bigger: r or t?
r
Let k = 177 + -1945/11. Let t = 0 + 1. Is k < t?
True
Suppose 3*o - 4*d = d + 9, 5*o - 5*d - 15 = 0. Is 3 equal to o?
True
Let z(q) = q - 1. Let n be z(4). Suppose -4*r + r + 3*t = -3, -2*r + 2 = n*t. Is 0 equal to r?
False
Let m = -281/410 - -5431/4305. Let o = -1/42 - m. Is -2 <= o?
True
Suppose -2*l - 30 = l. Let r = 12 + l. Does r = 4?
False
Let m = -6.4 - -6. Let x = 0.3 - -0.2. Let w = x + m. Which is greater: 1/4 or w?
1/4
Suppose -5*z - 31 = 5*i - 76, i = -4*z + 21. Suppose u - 3*b = 7, 4*u - i*b = -2*b + 1. Suppose 3*q = -3*n - 9, -7*n - 13 = 4*q - 2*n. Is u not equal to q?
False
Let p = -0.532 - -0.032. Let t = 0.08 + 0.02. Are t and p non-equal?
True
Let q = 2.89 - 0.09. Let h = -3 + q. Is h greater than or equal to -0.2?
True
Let i be (-1)/2 + (-2)/(-4). Suppose i = -2*v + 2*w, 0 = -0*w + 3*w + 9. Suppose x = -5*d - 22, 0 = -2*x + 1 + 5. Which is smaller: d or v?
d
Let a = -2 + 0. Are 2/5 and a equal?
False
Suppose 2*k = -4*y + k + 16, 3*k + 12 = 0. Suppose l + 0*q - 5*q = -22, y*q = 2*l + 24. Let u = 6 + -6. Which is smaller: l or u?
l
Suppose -5*u = 2*o + 22, -4*u + 3*o = o + 32. Let h(a) = -a**3 - 2*a**2 + 4*a. Let n be h(-3). Which is smaller: u or n?
u
Let r = 1/32 + -9/32. Suppose 0 = 2*u - 5*u. Which is bigger: r or u?
u
Suppose -4*l + l = 5*s + 2, 3*s = -2*l - 2. Let t be 86/(-5) + l/(-20). Is -18 at most as big as t?
True
Let z be 142/708 - 1/6. Suppose -4*r - 7 = n, -3*r - 3*n - 3 = 9. Which is greater: z or r?
z
Let l = 743/20828 + -641251553/4061460. Let q = -789/5 - l. Which is smaller: q or 1?
q
Let k be 54/(-10) + (-4)/(-10). Let t(i) be the third derivative of i**6/120 + i**5/10 - 5*i**3/6 - 8*i**2. Let l be t(-6). Is k greater than l?
False
Let w = -0.085 + 0.005. Is w bigger than 0?
False
Let v be (5/20)/(1/(-5)). Which is bigger: -2 or v?
v
Let u be (0 - 0)/(-3 - -1). Is u > -3?
True
Suppose -4*u + 126 = 78. Which is smaller: 5 or u?
5
Let x be ((-9)/(-4))/((-1)/4). Let a be (-29)/x + (-6)/27. Suppose -5*k - a*i = -0*i - 1, -5*k + 3 = 4*i. Which is bigger: -3 or k?
k
Suppose 3*g = 2*g - 1. Are -35 and g non-equal?
True
Let f = 127 + -127. Which is smaller: 1/71 or f?
f
Let a = -0.065 + -2.935. Are a and 15 unequal?
True
Suppose -5 = 7*z + 2. Is z at most 1/43?
True
Let t = -0.04 + 0.44. Let o = 4.5 - t. Let w = o + -4. Does -2/3 = w?
False
Let y = 31 - 30. Which is smaller: -3/25 or y?
-3/25
Let y = 31 + -19. Which is greater: y or -1/2?
y
Suppose -c = 3*b - 7*b - 3, -2*b = -3*c + 39. Which is greater: 17 or c?
17
Let n(t) = t**2 - 8*t + 14. Let x be n(6). Is x != 2?
False
Let z be (1 - 94/(-3)) + 2. Let q = -35 + z. Which is smaller: q or -1?
-1
Let r(c) = 2*c**3 - c**2 - c + 6. Let u be r(0). Which is bigger: u or 44/9?
u
Let b = -9 + 22. Let w = b - 38/3. Suppose -1 = 3*q + 2. Which is greater: q or w?
w
Let q = -1.18 - -1.3. Let z = q - -0.08. Which is smaller: z or -4?
-4
Let k(m) = m**3 + 6*m**2 - 6*m + 7. Suppose 5*q + 2 = -33. Let w be k(q). Which is bigger: 1/5 or w?
1/5
Let b = 10557 - 4191127/397. Let o = b - 2799/3970. Let f = 67/110 + o. Which is greater: f or 1?
1
Let u = 8.6 + -2.7. Let s = u + 0.1. Let b = 6 - s. Which is bigger: 2 or b?
2
Let f = -0.8 + 1.4. Let b = -4.4 - f. Let y = b + 2. Which is greater: y or 0?
0
Let x = -0.4 + -0.6. Which is bigger: x or 2?
2
Let y(k) = -10*k + 10 + 1 + k - 2*k**2 + 3*k**2. Let q be y(8). Let i be (1 + 1)/((-4)/(-6)). Is q greater than i?
False
Suppose 4 = -r + 1. Let j be 16/r + (-1)/(-3). Let t be 4/j + (-1 - -1). Is t at most as big as -2?
False
Let b = -25 - -30. Suppose d - 10 = -b*g, -2*g + 4*d = -g - 23. Which is smaller: g or 1?
1
Let p = -460/5481 - -2/203. Is -1 != p?
True
Let p be ((-3)/(-2))/(1/2*1). Which is smaller: 6 or p?
p
Let x be (4/12 - 1)*-48. Suppose -4*f - x = -2*k - 4, 5*k - 18 = -3*f. Is 6 at least k?
True
Suppose 4*g - 5 = -p, 3*g + 0 - 1 = 2*p. Which is smaller: 1/14 or g?
1/14
Suppose 0*z = -3*z + 4*f + 1, z - 5*f = 4. Which is smaller: z or -7/3?
-7/3
Let f(j) = 4*j**3 - j**2 - 7*j - 1. Let a(u) = -5*u**3 + 8*u. Let q(b) = 5*a(b) + 6*f(b). Let k be q(-6). Let x = k - 5. Is 2 equal to x?
False
Let s(x) = x**3 + 7*x**2 - 8*x + 2. Let v be s(-8). Suppose 2*y + v*d - 6*d + 4 = 0, 4*y = 4*d - 8. Which is smaller: 3 or y?
y
Let z = 625/37 - 17. Is z bigger than 0?
False
Let w be 10/(-45) + 7/(-9). Let z be 0/(-2 + w) + 0. Do -4 and z have different values?
True
Let f = -22 + 27. Suppose 5 = -3*h + 2*x, f*h = 2*x - 6*x - 1. Let i(w) = w**3 - 5*w**2 - 6*w - 1. Let u be i(6). Is u not equal to h?
False
Let c = 27 - 30. Which is smaller: -4 or c?
-4
Let r = 62 + -24. Is 39 > 