21 - 3730. Let z be (-1)/(0 - (2 + -1)). Are z and o non-equal?
True
Let j be 12/(-14) + 29568/(-147). Which is smaller: j or 1?
j
Suppose 4*k = -k. Let z = 10 - k. Let f(i) = i**2 - 10*i + 26. Let c be f(5). Is z greater than c?
True
Let f be ((-6)/(-9))/2 + 0/10. Which is bigger: f or -0.085?
f
Let a = -8 + 10. Suppose -a*p + 4*p = 0. Suppose -5*i = -p*i + 5. Is -3/10 >= i?
True
Let n = -29 - -27. Let o = 0 - 2. Are o and n nonequal?
False
Let a = -22 + 22.1. Let j = 0.065 + -0.012. Is a greater than j?
True
Let c(a) = a**2 - 16*a + 28. Let z be c(14). Suppose z = -s - 2*n - 14, 3*s + 23 = s - 3*n. Let k = -1.4 - -1.2. Is k at least s?
True
Suppose -5*r - l = -1, 3*r + 17*l = 21*l - 4. Which is bigger: r or -30?
r
Let t = 0.8545 - 0.1545. Which is smaller: 10 or t?
t
Suppose -3*j + 510 = 3*f - 174, 2*j - 2*f - 440 = 0. Let m be j/510 + 6/(-15). Which is bigger: m or -1/2?
m
Let z be (-2)/(-10) - (-3)/(-30)*2. Suppose 2*t - 3*r - 14 = 0, -18 = -2*t + r - z. Which is greater: t or 12?
12
Let i = 8393/5 + -1681. Suppose 0*r = 5*r - n + 11, 5*r = 3*n - 13. Which is greater: i or r?
r
Suppose 0*w + 1 = -w. Let b be (w + 0)/(1/1). Let i be 1*(3 + 2)*24/390. Is b equal to i?
False
Let i be (-1 + -2)/((-6)/40). Suppose -5*n = 2*z - 71, 0 = 9*z - 5*z - 5*n - 67. Which is smaller: z or i?
i
Suppose 5*o - 5*x = 30, -5*o + 2*x = -7*o. Let h = 8 + -6. Which is smaller: h or o?
h
Let h = -1274 + 1270. Which is smaller: h or 2/77?
h
Suppose -13 = d + 4*u - 3, 0 = 4*d + 2*u - 2. Suppose 13 = -z - 3*l, -6*z - d*l = -z. Suppose -5*m = -z*m. Is 1/4 at most as big as m?
False
Let c(j) = 3*j**2 - 59*j**3 - 3 + 103*j**3 + j - 45*j**3. Suppose p - 6 = -2*p. Let g be c(p). Which is greater: g or 7?
7
Let b be (-18)/(-10) + -1 - 142/40. Which is greater: -2 or b?
-2
Suppose 5*d - 5*x + 2*x + 774 = 0, 5*d + 750 = -5*x. Is -155 >= d?
False
Let o be 63/147 + 18/1. Which is smaller: 19 or o?
o
Let o = 13.112 + -0.112. Let j = -11 + -3. Let a = o + j. Which is smaller: -0.1 or a?
a
Let m = -47 + 34. Let u = m + 16. Suppose u*f - 15 = -0*f. Do 0.1 and f have the same value?
False
Let j = -522 - -27675/53. Which is smaller: 0 or j?
0
Let v = 18 - 21. Let u = -4 - v. Let i(p) = p + 9. Let j be i(-6). Are j and u unequal?
True
Let b = 239 - 243. Is -5 > b?
False
Let n = -20 + 20.1. Let i = 0 - n. Let m = -0.9 + i. Do -0.2 and m have different values?
True
Let w = 73 + -74. Which is smaller: -2/159 or w?
w
Suppose 0 = -4*r + 282 + 74. Is r less than 89?
False
Let m = 10/3 - 79/21. Let p = -150 + 155. Which is greater: p or m?
p
Suppose -5*a - i = 0, 9 + 7 = -4*a - 4*i. Do -1/376 and a have different values?
True
Suppose 3*n - 3*d + 6 = 0, 0 = -3*n - d + 6*d - 14. Suppose 113 + 45 = n*p. Which is smaller: p or 0?
0
Let o be (-7)/(-25 + 24 - (-3 + 1)). Is -10 bigger than o?
False
Let z = -16.2 + 17. Let w = z - -0.2. Is -0.33 at least as big as w?
False
Let o be 0/(5 - (-18)/6). Let a be (2/12)/(2/(-244)). Let j = a + 412/21. Is o at least as big as j?
True
Let d be (120/140)/((-488)/(-42)). Which is bigger: -1 or d?
d
Let g(i) = -i**2 - 2*i. Let o be g(-3). Let v be (-1)/((0 + -9)/3)*o. Is v > -2?
True
Suppose -5*o + 29 = 2*h, 0 = -h - 3*h + 3*o + 19. Which is smaller: 116/19 or h?
116/19
Let z = -11 + -7. Let t(s) = -s**2 - 18*s + 18. Let q be t(-25). Let o = q + 138. Is z at least o?
True
Let z = 3.6 - 4. Let o = 1127.01 - 1127. Is z equal to o?
False
Suppose -j - 59 - 36 = -2*m, -245 = -5*m + 4*j. Let b(x) = x**3 - 9*x**2 - 2. Let k be b(9). Let r be 215/m - k/9. Which is greater: r or 4?
r
Let i = 13.2 - 6.6. Let y = 5 - i. Let z = -2 - y. Do 0.3 and z have the same value?
False
Let j be -4 + ((-50)/(-17) - 4) + 6. Is 0 smaller than j?
True
Suppose -4*k - 4*j = 27 + 1, 28 = -4*k + j. Let s = -340 - -665/2. Is s > k?
False
Suppose 35 = 10*i - 45. Suppose -3*g + 7*g - 12 = 0. Suppose -o = g*o + i. Which is greater: -2/3 or o?
-2/3
Let w = 654 + -669. Which is bigger: 2 or w?
2
Let t be (26/4)/((-13)/(-65)). Let x = t + -32. Which is bigger: x or -2/5?
x
Suppose -f + 39*v = 42*v + 107, 3*f - v + 291 = 0. Is -100 > f?
False
Let o(s) = s**3 - 10*s**2 + 3. Let t be o(10). Let j be -6*t/(18/256). Let r = j + 1033/4. Is r at least 3?
False
Let c be ((3 - -8) + -12)*-12. Is 22 greater than or equal to c?
True
Let b(n) = -n**3 + n**2 - 5*n - 51. Let u be b(0). Let c be -75*(-8)/(-36)*3. Which is greater: c or u?
c
Let f = 13.15 - 13. Let h = f - -0.05. Suppose -c = 2*q + 12, 2*c + 0*q - 4*q = 8. Are c and h equal?
False
Let y be (2/4)/(1/(-2)). Let k = 3406811/22 - 154924. Let o = k - -69. Is y <= o?
True
Suppose -7*v = -2*v + 25. Let w = -758/37 + 35797/1406. Let l = -10/19 - w. Is v less than l?
False
Let d be 4 + (-408)/(-38)*30/(-80). Which is bigger: d or 1?
1
Let k = 23004569/1290 + -17833. Let u = 3973/132870 + k. Is -1 greater than or equal to u?
False
Let t be -8 - 345/(-54) - (-15)/10. Suppose 0 = 3*s - n - n + 5, -5*n = 5*s. Are s and t unequal?
True
Suppose -2*a + 4 = 4*t - 6*t, 3*a = -3*t. Is 667/4 at least a?
True
Let m(h) = -h**3 - 21*h**2 - h - 10. Let l be m(-21). Let k(n) = -11 + 50*n**2 + l*n - 49*n**2 + 1. Let p be k(-12). Which is greater: p or 5/4?
p
Let t = 470 + -469.12. Is t >= -2/9?
True
Let h = 1331 - 1318. Is -14 >= h?
False
Suppose 0 = -5*p - 5*q - 230, -58*p - 5*q = -62*p - 211. Which is bigger: -43 or p?
-43
Suppose -5*m + 18 = -3*p + 2*p, 2*m = 3*p + 2. Let v be m/(-10)*5/(-3). Let k be 1 + -1 - 2/(-3). Is v >= k?
True
Let l be 70/(-490)*(-14)/2. Are -145 and l non-equal?
True
Suppose 2*r = -r + 36. Let c be (2 - r/4)/44. Which is greater: c or -1?
c
Let d be 2/8 - 347865/(-60). Let j be (-2)/9 + d/(-7605) + 1. Which is smaller: j or 1?
j
Let u = -15 - -36. Let b be (-6)/5 - 1998/(-90). Is b less than u?
False
Let h(r) = r**2 - 41*r + 15. Let l be h(41). Which is greater: l or 9?
l
Let m = 33.982 - 34. Let t = 14.982 - m. Which is smaller: t or -1/4?
-1/4
Let n = -275/609 - -2/87. Let i = 0.05 - -0.05. Are i and n unequal?
True
Let o = 3767071/3 + -109106360/87. Let k = -1594 + o. Which is smaller: k or -1?
-1
Let v = -41 - -9. Let t = v + 44. Let w be (-1)/((-1 - -2)*1). Is t at most w?
False
Let f(u) = 125*u + 108. Let n be f(2). Does 359 = n?
False
Suppose 29 - 11 = 3*w + 5*q, 2*w = 4*q - 10. Is -4/53 equal to w?
False
Let j = -13 + 25. Let f(c) = j*c - 5*c - 15 - 6*c. Let m be f(17). Which is bigger: m or 1?
m
Let p(s) = -s**2 + 5*s + 2. Let y be p(5). Suppose 2*l = -10, -4*v + 87 = l + 12. Suppose -h - 5 = -2*j, -3*h + y*j = 3 + v. Is -10 equal to h?
False
Suppose 3*m - 289 = -4*c - 16, 4*c + 5*m = 279. Which is smaller: c or 68?
c
Suppose 2*b = -2*b + 12. Let n(f) be the first derivative of -f**3/3 + 11*f**2/2 - 4*f - 75. Let w be n(b). Does 20 = w?
True
Let d(w) = w**3 + 3*w**2 - w - 1. Let p be d(-3). Let y be -68*(p/(-4))/1. Suppose 9 = 5*x + y. Is x at most -3?
True
Suppose 8*q + 441 = 5*q. Let t be -2 + 0 - (-1496)/10. Let c = q + t. Is 2 < c?
False
Let n(x) = -53*x + 7. Let r be n(-7). Suppose -5*b = 2*b - r. Let t = b - 267/5. Which is smaller: 1 or t?
t
Let s = 34087/7 - 4870. Let i = 73991/22 - 3364. Let l = i + 3/11. Is l at most as big as s?
True
Let z(x) = 15*x - 9. Let u be z(-25). Which is smaller: u or -385?
-385
Let r = -19 - -19.21. Let m = -0.2 + r. Let a = -0.01 + m. Does a = 22?
False
Let h = -180016920 + 3652543329099/20290. Let z = h + 2/2029. Is 1 bigger than z?
False
Let q = 7673/8 + -42599/56. Let l = q - 199. Suppose -4*k = -29 + 33. Is l equal to k?
False
Let c = 616 - 6. Are 610 and c equal?
True
Let d = 282 + -279. Which is greater: -16 or d?
d
Let m = -8660 + 8658. Let q = -1.8 - -10.8. Is m < q?
True
Suppose -n = 2*g + 1 - 7, 3*n - 4*g = 28. Suppose -32 + n = -4*c. Suppose -4 = -2*q + 6. Which is bigger: c or q?
c
Let g = -63281/89 + 711. Which is bigger: -1 or g?
g
Suppose 39*v = 28*v. Is v > -1.98?
True
Suppose -3*n + 34 = -20. Let l(w) = -2*w**2 + 3*w + 5. Let i be l(-1). Let b = i + n. Is b >= 19?
False
Suppose o - 24 + 2 = 0. Suppose 3*u + o = 4. Let x(b) = b**3 + 5*b**2 - 7*b + 1. Let h be x(u). Are h and 6 nonequal?
True
Suppose -4*q + 13 = -11. Let c be ((-8)/q)/((-14)/231). Suppose 3*w - 5*v = 1 + c, -5*w + v + 31 = 0. Are w and 6 non-equal?
False
Suppose -3*o + 2 = -2*t - 0, 2*o = 0. Let u = 11 + t. 