
Let i be 2 - (-2)/(2/(-1)). Do i and 1 have different values?
False
Suppose -28 - 12 = -4*n. Which is bigger: n or 11?
11
Suppose -5 = -4*b - b. Let o be (9/(-18))/(3*(-3)/(-6)). Does b = o?
False
Let y = 3 - 4. Is 1/8 > y?
True
Let p = 17 - 25. Let h = 5 + p. Is h at least -1/4?
False
Suppose -4*i - 1 = -5, -2*y - 4*i = -10. Which is smaller: y or 2/9?
2/9
Suppose 0*a - 5*a = -85. Which is smaller: a or 16?
16
Let y be (-5)/2 - -1*1. Let r(g) = -g**3 + 6*g**2 + 8*g - 8. Let v be r(7). Let n = -2 - v. Is y at most as big as n?
True
Let n(i) be the first derivative of -i**2/2 - 8*i + 4. Suppose 0 = -4*m - 4*b - 48, -4*b + 22 = -7*m + 4*m. Let w be n(m). Does w = 4?
False
Let d be (15 - 11)*(-2)/(-4). Let u be ((-15)/(6/(-2)))/2. Which is bigger: u or d?
u
Let r(z) = -z**3 - z - 4. Let b be r(0). Let j = b + 7. Let q be j/12 + 3/4. Which is greater: -1/7 or q?
q
Let l = 4 + -38. Which is smaller: l or -2/7?
l
Let t = -3 - -9. Let d(u) = -u**2 + 8*u - 4. Let v be d(t). Let h = 15 - v. Is h > 6?
True
Suppose 2*d = 5*b + 52, -4*d + 0*b = -5*b - 114. Suppose -f = 3*x + 3*f - d, -f = -2*x + 6. Let s be (-2 - (-1 - -1))*-3. Which is greater: x or s?
s
Suppose -4*r + 9 = -u, -4*r + 2*r = 3*u + 13. Let l = 0 - r. Let v(q) = q**3 + 4*q**2 - q - 3. Let x be v(-4). Which is greater: x or l?
x
Let p be 1/(-7)*6/3. Which is smaller: -10 or p?
-10
Let x = 0.8 - 1. Let r = -0.12 + -12.88. Let a = 12.9 + r. Is x at least a?
False
Let a = -15.9 - -16. Let m(f) = -2*f. Let l be m(1). Which is bigger: l or a?
a
Let h = 0.092 + -0.192. Are -16 and h non-equal?
True
Let l = 0.3 + -0.31. Let c = l + -0.99. Which is smaller: -4 or c?
-4
Let c be 38/14 + 4/14. Let g be (-2)/((-4)/(-2)) + 4. Let x = g - c. Which is smaller: -1 or x?
-1
Suppose 0*q - 2 = -2*q. Let m be q/5*45/(-30). Which is greater: 1 or m?
1
Let o(v) = -2*v - 10. Let u be (2 + 4)*(-3)/(-6). Let h(k) = -3*k - 11. Let m(a) = u*h(a) - 4*o(a). Let q be m(5). Is 1 greater than q?
False
Let m(i) = 3*i**3 + i + 2. Let z be m(-1). Is z equal to -2?
True
Let b = 9932 + -1191821/120. Let p be (-28)/(-21) + (-28)/15. Let u = p + b. Which is greater: u or 1?
1
Let r be (0 - -11)*(-3 - -2). Which is smaller: r or -13?
-13
Let h = -689 - -13087/19. Is h at most as big as 0?
True
Let j(k) = -k**2 + 6*k + 1. Let v be j(5). Let r be (-22)/v*(-4 + -1). Let o = r - 19. Is o < -2?
False
Let v be (-14)/6 + (-1)/(-3). Let q be 5/((-30)/9)*2. Do v and q have the same value?
False
Let n(u) = -3*u + 3. Let i be n(2). Let v(c) = -2*c - c**2 + 1 - c**2 + 2*c**3 + 0*c - c**3. Let q be v(2). Is i < q?
False
Let i = -74 - -71. Is i not equal to -20/9?
True
Let t(p) = -p + 4. Let l be t(3). Let b = -75 - -674/9. Is l greater than or equal to b?
True
Let l(c) = c - 1. Let n(i) = i. Let p(m) = -2*l(m) + n(m). Let t be p(8). Which is bigger: -5 or t?
-5
Suppose 0 = 5*p - 10*p + 15. Suppose -p*z - z = 0. Suppose h + 21 = -3*c + 4, z = -2*h - c - 9. Is -1 at least h?
True
Let m = -0.1 + 0.14. Let z = m - 0.05. Do 0 and z have the same value?
False
Let r = 40.6 - 37. Let y = -4 + r. Let a = y - -0.5. Is -1/4 < a?
True
Let h = 6/29 + 86/145. Is h equal to 0?
False
Let s be (-90)/387*(-6)/(-10). Which is bigger: s or -1?
s
Let j(o) = 9*o + 1. Let i be j(1). Let c be (4/6)/(i/15). Let k be 2*(6/8 - c). Which is smaller: -1 or k?
-1
Let p(y) = -y**2 + 3*y + 8. Let m be p(5). Which is greater: m or 10?
10
Let j be (12/160)/((-270)/(-56)). Let w = j + 1/25. Is w not equal to 1?
True
Let b = 713/5 - 143. Is b bigger than 0?
False
Let h be 2*(-1)/(-5)*(-15)/(-2). Which is greater: h or 4?
4
Let f = 2.3 + -2.4. Let c = 1 - 1.1. Let j = 0.5 + c. Are f and j unequal?
True
Let z be (-2)/(-5) - (-134)/(-10). Let r be (-15)/(-5) - z/(-4). Is -2 not equal to r?
True
Suppose 2*o = -2*r - 8, -2*r - 4 = 5*o + 7. Is o at most -2?
False
Let h be 0 - (-1 + 1) - -3. Let j = 7 - h. Is j less than 3?
False
Let m = -3 - -4. Let f = -2277 - -11673/5. Let d = f + -57. Which is greater: d or m?
m
Let v = 15 - 15.6. Let s = 0.7 + v. Which is smaller: 5 or s?
s
Let b = 20 + -22. Is -2 greater than b?
False
Let r = -7993 + 56044/7. Is 13 less than or equal to r?
True
Let z = -394/7 + 28776/511. Is 1 >= z?
True
Let d = -61 + 59. Which is smaller: -3 or d?
-3
Let v = 8 + -15. Is -0.1 less than v?
False
Let p = 139.1 - 145.89. Let d = p + -0.21. Let c = -1.2 - -0.2. Which is bigger: d or c?
c
Let k(h) = 3*h - h**2 - 4*h**2 + 3*h**2. Let p be k(2). Let r be p + (0 - -2*1). Is 5/4 at least r?
True
Suppose l + 0*u + 5*u = 23, 0 = -l + 3*u - 9. Suppose 0 = -l*g + a + 5, 0*a + 3 = -5*g - 4*a. Let h be (28/56)/(-1 + 23/4). Which is smaller: h or g?
h
Suppose 0 = -0*c - 4*c. Suppose -2 = j - s, c*j - 5*s = 3*j - 34. Suppose -d = -f - 1, -3*f + d + 4 = j. Is -2/3 not equal to f?
True
Suppose -5*h - 21 = -n, 0 = -5*n + 2*n + 5*h + 33. Let q be (-16)/(-3) - (-4)/n. Suppose -q*s + s = -5. Is s bigger than 2?
False
Let g be -2 + (-115)/(-7 - -2). Does g = -1?
False
Let j = -0.12 - -18.12. Let r = 17.86 - j. Let y = r - -0.04. Which is smaller: 4 or y?
y
Let j = -0.14 + 25.14. Is j less than or equal to -0.1?
False
Suppose 0 = 5*l - 14 - 6, 4*y + 2*l = 8. Suppose 0 = -4*d + c - 2*c - 36, y = -2*d - 4*c - 18. Which is smaller: -10 or d?
-10
Let n be -2 + 6/3 - -1. Let s be 4/30*n*3. Let x(t) = t + 11. Let c be x(-10). Are s and c equal?
False
Let u(q) = -q**2 - q + 1. Let k be u(0). Let d be 2/8 - 89/(-104). Let l = -16/13 + d. Is k at most as big as l?
False
Let p = -67 - -80. Is p greater than or equal to 20?
False
Let u = 11 - 8. Suppose -3*n - u*p + 12 = 0, -3*p + 9 + 3 = 5*n. Let l be 12/(-18)*(-6)/(-14). Which is smaller: n or l?
l
Let r = -7/4 - -127/68. Is r <= 6?
True
Suppose -2*s = -4*s + 10. Let i(h) = h**3 - 6*h**2 + 4*h + 7. Let c be i(s). Suppose -z - 3*z + 8 = 0. Do c and z have different values?
False
Let d be ((-4)/4)/((-391)/(-135)). Let h = d + 12/23. Which is bigger: h or 0?
h
Let q(n) = n**2 + 8*n - 9. Let h be q(-9). Let w be 26/4*(4 + -2). Suppose -3*g + w = 2*f - 4*f, h = 2*g + 2*f - 2. Are g and 3 non-equal?
False
Let b = 22 - 23. Is b at most as big as 22?
True
Suppose -4*f = -t - 6, -13 = -2*t - 4*f + 11. Let v be t/52*(-4)/3. Which is greater: v or 0?
0
Suppose 5*n + 5*a - 10 = 0, -a + 14 = 3*n + 2*n. Suppose 3 = 4*s - 9. Does s = n?
True
Suppose 0*w - w + 3*m + 8 = 0, -14 = 5*w + 3*m. Which is smaller: -3/22 or w?
w
Suppose 0 = -2*n + 4*n - 7*n. Which is smaller: n or -2?
-2
Let t(i) = 3*i**2 - i + 1. Let q be t(1). Let r = 63/26 + 14/13. Which is smaller: r or q?
q
Let z(c) = -4*c**2 + c. Let r be z(-2). Let d be 0 + (-40)/r - 2. Suppose t + 2*g + 6 = 0, -3*t + 0*t = -4*g - 12. Which is smaller: t or d?
t
Let g be (-30)/(-20)*(-4)/9. Let t = -1 + 0. Which is smaller: g or t?
t
Let o be 40/(-22) - (10 - 12). Which is greater: 0 or o?
o
Suppose 4*b - q = -247, 0 = -2*b + 3*q + q - 106. Let i be 12/8*(-12)/b. Which is smaller: -13 or i?
-13
Let j be (-12)/(-36) - 40/3. Which is greater: -86/7 or j?
-86/7
Let c be (1 - 2) + 3046/4. Let k = c + -7821/10. Let v = k + 22. Which is smaller: v or 1?
v
Let h(x) = x**2 - 2. Suppose 3*n = -2*n + 10. Let p be h(n). Suppose p = 4*b - 2. Which is bigger: b or 2?
2
Let q = -0.5 + 1. Let a = q + 0.5. Which is smaller: -3 or a?
-3
Let x = 245 - -29. Let g = 5204/19 - x. Is g < 1?
True
Let d = -16/15 + 5/3. Let y(x) = x + 8. Let c be y(-5). Suppose -c*r = -3*p - 6, -4*p - 3 = -2*r + 1. Which is smaller: d or p?
p
Let t(x) = 13*x**3 - 23*x**2 - x + 11. Let y(a) = 7*a**3 - 12*a**2 - a + 6. Suppose 0*k + 33 = -3*k. Let i(h) = k*y(h) + 6*t(h). Let v be i(5). Is v < -1/3?
False
Let y = -6 - -6. Are y and -2 equal?
False
Let s be -1*((-6)/1 + -3). Which is bigger: 8 or s?
s
Let u be (-2 - -3)/((-2)/(-2)). Let b be -4 - (-1 - (-1 + u)). Let g(a) = -a**3 + a - 3. Let t be g(0). Do b and t have the same value?
True
Let t = -16 + 7. Let b be ((-2)/(-3))/((-6)/t). Is 1/3 at least b?
False
Let d = -151 - -152. Let u = 0.2 + -0.7. Which is smaller: d or u?
u
Suppose 3*u - 28 = 2. Which is bigger: u or 8?
u
Suppose 11*q - 4*q + 7 = 0. Which is greater: q or -7?
q
Let t = 4 - 12. Let v = -12 - t. Let g(i) = -i**2 - 6*i + 1. Let y be g(-6). Which is greater: v or y?
y
Let c be 11/(-13) - (-6)/(-39). Is -29 at most c?
True
Let r = 4 - 