n?
True
Suppose s = 5*s - 140. Suppose -5*v - 10 + s = 0. Suppose -5*o - 2*j = -2, 0 = o - 0*j - 5*j + v. Are 5/4 and o nonequal?
True
Let k = 1081 - 1131. Which is bigger: k or -55?
k
Let r be (-1 + -2)/((-10)/(4 + 6)). Let x(c) = -c**2 - 4*c + 2. Let j be x(-5). Let y be (j/(-6))/(2/8). Does r = y?
False
Let d be 9/11 - (2 - 1). Suppose 0*j = -2*j - 2*p, -j + 5*p = -24. Let u be (1 - (-16)/j) + -2. Which is smaller: u or d?
d
Let t be (-72)/(-38) - (-6)/(-3). Let j = 59 + -38. Suppose 3 = 2*y - d, -5*y = 4*d + 4 + j. Is t at least as big as y?
True
Let n = 320/3 + -1271/12. Which is greater: -41 or n?
n
Let b be 1 + -13 - (-7110)/585. Which is greater: b or -30?
b
Let x be (-2)/(-6)*(-3)/(-1). Let z be -1 + (-1)/7 + x. Is -1 < z?
True
Let s = -28 + 32. Let u be 4/((-80)/3) - s/(-10). Let j = 12 - 9. Which is smaller: j or u?
u
Let p = -0.87 + 0.07. Let m = p - -2.8. Let z = -18/5 - -224/65. Is m equal to z?
False
Suppose -5*u - 3*q + 503 = 0, 0 = 5*u - 3*q - 127 - 400. Is u at most as big as -0.1?
False
Let z(s) = -17*s**3 - 35*s**2 - 27*s + 7. Let o be z(-1). Let r(k) = -12*k + 1. Let w be r(-1). Which is bigger: w or o?
o
Let k = -0.85 + 1.24. Let a = k + -0.89. Are a and -1 non-equal?
True
Suppose 4*i - 8*b - 2 = 6*i, -2 = -i - b. Let p be 4/8 - 110/228. Is p greater than i?
False
Let i be -3 + 1417/7 - 12/28. Which is bigger: 200 or i?
200
Suppose 12*o = 9*o. Suppose o = -w + 3*w. Is w at least as big as 8/15?
False
Suppose -19*d - 10 = -21*d. Suppose 30 = 2*a - 42. Suppose d*r - a = 2*f, 5 = 4*r + f - 16. Which is bigger: 5 or r?
r
Let d = 11 + -21. Let t(m) = -m - 1. Let p be t(9). Is p not equal to d?
False
Let w(p) = -p**2 - 7*p + 1. Let d be w(-7). Let g(k) = k**3 + 16*k - 1 - 3 - d + 17*k**2. Let f be g(-16). Does f = -5?
True
Let b = -327 - -335. Let z be 2 + 1 - (-20)/(-7). Which is bigger: b or z?
b
Suppose 5*b - 3*q = 115, 0*b + 2*q = b - 30. Let u = b + 1. Which is smaller: u or 0.1?
0.1
Let m be 0 + (0 - 1) + 4. Suppose 0 = m*t - 7*t. Suppose -2*x + 5*f - 2 = 19, t = -5*x + 5*f - 45. Do -7 and x have the same value?
False
Let z(f) = 34*f. Let g be z(0). Which is smaller: g or -4/377?
-4/377
Let c(m) = -m**3 + 2. Let z be c(0). Suppose 4*h + 14 = 2*b, 0 = -5*b - 24*h + 25*h + 8. Which is bigger: z or b?
z
Let c = -5.965 + 0.965. Which is greater: 40 or c?
40
Let m(t) = -6*t + 3. Let q be m(0). Suppose -25 = 5*n, -g - 26 = q*n - 6*n. Is g at least as big as -42?
True
Let t = 14 - 14. Let d be ((-6)/(-9)*3)/(-14). Is d less than or equal to t?
True
Let s = -122 - -121. Let x = 0.8 + 0. Let g = x + s. Which is greater: g or 0?
0
Suppose 48 = 8*i - 4*i. Let p be 3/(i/(-17)) - -1. Let y = p - -3. Is -1 != y?
True
Let a = -5246 - -57652/11. Is a less than or equal to -5?
False
Let y = -0.429 + -7.471. Are -3 and y nonequal?
True
Suppose 2*v + 2 = 24. Suppose -l - 44 = -5*l. Do l and v have the same value?
True
Let o = -3 - -11. Let g = -9 + o. Is g smaller than -4/25?
True
Let f = 6.8 + -7.8. Is f > -6.1?
True
Suppose 4*x = 2*x - 10. Let k be ((-1)/(-1)*(x - -5))/2. Is -2/55 greater than k?
False
Let z = 70 - 70. Suppose z = 6*m + 27 + 21. Which is smaller: -13/2 or m?
m
Let u(p) = 2*p**2 - 4*p - 7. Let i be u(-6). Let h = 59 - i. Let j be 22/h + (-6)/(-9). Is j >= 0?
False
Let a be -3 + (22/154 - 13/(-7)). Is 2/91 > a?
True
Let t = 8/425 + -1181/58225. Which is greater: t or 0?
0
Let r = 0.85 - -22.15. Let d = -24.1 + r. Which is bigger: d or 0.1?
0.1
Let n = -800 - -485. Let o be (-1)/1 - n/305. Is 2/7 at least o?
True
Let c = 6.88 + -7. Let b = -3.17 - -6.29. Let k = c + b. Do k and 2/9 have different values?
True
Let s be 5/18 - (-3 + (-150)/(-54)). Which is smaller: s or 0.46?
0.46
Let n be -1*2/(-5)*(-70)/(-8386). Is n not equal to -1?
True
Let u = 2.201 + -2.081. Which is bigger: u or 5.2?
5.2
Let v = -0.25 + -11.75. Let j = v - -12.2. Does 6 = j?
False
Suppose 2*q + 5 = 7*q, 3*q = -2*z + 19. Suppose 13 = -f + 4*o, 5*f - 2*o + z = -o. Which is greater: f or -3/49?
-3/49
Let m be (-472)/52 - 0 - -9. Which is smaller: m or -1.2?
-1.2
Let f = -149.52 - -146. Let l = f + 19.42. Let m = l - 16. Which is smaller: 4 or m?
m
Let f(r) = -r**3 + 4*r**2 - r - 1. Let g be f(2). Let p be (-4)/((-40)/25)*6. Suppose -g*t = -5*b + 25, -2*t + 5*t - p = -3*b. Which is smaller: -6/13 or t?
-6/13
Let g be (-3536)/5760 - (6/10)/(-1). Let k = -17/72 + g. Which is smaller: -1.3 or k?
-1.3
Let n = -31/156 + -7/52. Is 7/10 > n?
True
Suppose 0 = -5*w + 16*w + 33. Is w >= -40/13?
True
Let x = -2.3 - -3.2. Suppose 15*o - 875 = -215. Let t = o + -43. Is x < t?
True
Let b be (8/66)/((-18)/(-36)). Are b and -1 equal?
False
Let o be ((-11)/22)/(3/(-30)). Which is smaller: -24 or o?
-24
Suppose 21 = 5*k - 2*k + 3*d, -3*k = 2*d - 24. Suppose a = -v - k, 0*v - 3*v + 3*a = 12. Are v and -1 equal?
False
Let d = -0.042 - -0.292. Let x = d + -1.25. Are x and 3/14 equal?
False
Let p(x) = -20*x + 10. Let u(k) = 3*k + 26. Let b be u(-7). Let g be p(b). Does g = -89?
False
Suppose 0*i + 104 = -4*i. Let z(c) = c**2 - 1. Let a be z(-1). Which is smaller: a or i?
i
Let k = -0.18 + 3.18. Let d = -6 + k. Let i = -1.01 + 0.01. Is d greater than i?
False
Let q = 43 - 48. Let a(i) = -3*i - 15. Let v be a(q). Which is bigger: v or 2/23?
2/23
Let z = -8 - -49. Suppose 0 = 2*k + 5*p - 10*p + 21, -p = -5*k - z. Let r be 4/5*75/(-6). Does k = r?
False
Let q = 1302.9 + -1303. Suppose -4*g - 4*j + 27 = -7*g, 0 = -4*j + 12. Let v be g/(-7) - 6/(-21). Is q greater than or equal to v?
False
Let g(h) = -h**3 + 2*h**2. Let i be g(0). Let x be i*(3/9)/1. Is -4 at least as big as x?
False
Let o(f) = -12*f. Let l be o(1). Let i = l - -2. Let r = -3 - -3. Are r and i equal?
False
Let i = 0.043 + 0.467. Which is smaller: 0.1 or i?
0.1
Let q(h) = -h**2 - 10*h. Let o be q(-15). Let g = -374/5 - o. Is -1 greater than g?
False
Let a be 7 - 11 - 2 - -2. Which is smaller: a or -14?
-14
Let f = 2080 - 2081. Let k = -154/65 - -13/5. Are f and k non-equal?
True
Let x = 8351/9 + -927. Let i(a) = a**3 - 20*a**2 + a - 20. Let p be i(20). Is p greater than x?
False
Let y be (2/5)/(1/5). Let d be 11/((-253)/(-48)) - y. Which is bigger: d or 2?
2
Suppose -2*i = 5*h + 1, -3*i - 7 = 2*h - 0*h. Suppose h + 0 = -4*m + l, -5*m - 2*l + 15 = 0. Let y be 7/6*54/(-168). Is y > m?
False
Let h = 863 + -35380/41. Is -0.1 < h?
True
Suppose -5*k - 4*a = 383, -3*a + 156 = -2*k - 6*a. Let g be (16/(-70))/(3/k). Which is smaller: 6 or g?
g
Suppose 7 = -i + 4*x, -7 = i + 2*i - 5*x. Let z be i - 3 - (-12)/4. Let f be (12 - 3)*z/1. Which is bigger: f or -1?
f
Let m be (-4 - (-1 - 0))*-1. Suppose m*d - 19 = 17. Let l = -10 + d. Are l and 8/3 non-equal?
True
Let r = 2.85 - 2.84. Is r >= -85?
True
Let o = 1.7 - -0.3. Let r = o - 1. Suppose -9 - 1 = 3*l + 2*m, 0 = 4*l - 4*m + 40. Do r and l have the same value?
False
Suppose 5*j = -409 + 509. Is j equal to 0?
False
Let d(g) = -g - 2. Suppose -2*x - 2*x = 0. Let z be d(x). Let l be (3/30)/(z/5). Is l not equal to 1/16?
True
Let s = 45782/27 + -1696. Is 1 equal to s?
False
Suppose -2*n = -22 + 8. Suppose 22*z = 23*z - n. Suppose z*x + 0 = -21. Which is smaller: -4 or x?
-4
Suppose -3*z = z + 40. Let f = z - -12. Let v = -409/4 + 103. Which is greater: f or v?
f
Suppose 0 = -o - 153 - 31. Are -186 and o unequal?
True
Suppose 3*p = -9, -16 = 2*o + 5*p - p. Is -13/15 >= o?
True
Let s(v) = 18*v - 15. Let w be s(-7). Let a = -431/3 - w. Which is greater: -2 or a?
-2
Suppose b - 3 = 0, -3*o + 4*b = 2 + 7. Is o equal to -7/66?
False
Let d = 301/3315 + -4/39. Suppose -11*s - 6 = -5*s. Is d > s?
True
Suppose -50*p = -1843 + 6643. Which is smaller: p or -1050/11?
p
Suppose -3*a - 20 = 2*c, 4*c + 28 = -0*a - 3*a. Let u be 153/27 - a/(-6). Suppose -18 = -2*b - 5*k, -14 = -4*b - 2*k + 6. Which is greater: b or u?
u
Let v = 1359 + -1323. Which is bigger: v or 1?
v
Suppose -6*x - 4 = 20. Suppose -4*h + 4*n - 2*n + 28 = 0, 5*h + 2*n = 26. Let d = h + x. Is 2 at most d?
True
Let f = 69 + -68.6. Is -13/4 > f?
False
Let x(h) = 83*h - 3. Let y be x(2). Let o = y + -811/5. Let p = -2879 + 2881. Are o and p equal?
False
Let r = -12/77 - -113/231. Are 41 and r equal?
False
Suppose 4*z + 2*j + 248 = -3*j, z = -2*j - 59. Which is bigger: z or -65?
-65
Let x = 104 + -101. Suppose -16 = -4*s + 2*y, 0*s -