 q + 0. Let r be d(-1). Do -1 and r have different values?
True
Let v = 11541/2 - 5618. Which is smaller: v or 154?
v
Let v(x) = -73*x - 6. Let f be v(-9). Suppose f = 2*q - 5*q. Let u = q - -2823/13. Which is smaller: u or 0?
0
Let u(a) = 6*a**2 + 2*a + 2. Let q be u(-1). Let p = -2 - q. Which is smaller: -5 or p?
p
Let z(o) = 5*o - 5. Let g(d) = -d**2 + 5*d - 2. Let a be g(4). Let v be z(a). Suppose v*h - 2*c = c - 1, -2*c = -2*h + 2. Which is bigger: h or 2?
2
Suppose 21 + 0 = -z. Let v = z - -31. Let h = 0.4 + -1.4. Is h > v?
False
Let n = -48 - -34. Let c = 1515 - 1528.5. Let v = c - n. Is v bigger than -2?
True
Let p(c) = -2*c + 9*c - 12 - 4*c. Let u be p(5). Which is greater: u or 2?
u
Let d(f) = -16*f + 2. Let c be d(14). Let q = -3551/16 - c. Let m be ((-1)/(-5))/(4/20). Is q less than or equal to m?
True
Let r be ((-147)/(-14))/(6/(-8)). Let h be (2 + r)*18/243. Let z(y) = -y**2 - 5*y - 6. Let i be z(-4). Which is bigger: i or h?
h
Suppose 2*d + k + 1564 = 0, -29*k - 1570 = 2*d - 31*k. Is d less than -781?
True
Let x = 155 + -106. Is 49 >= x?
True
Let b = -1.04 + 0.94. Let o = -0.08 + 0.15. Let k = o + 1.93. Is k equal to b?
False
Let l = -349 - -315. Is l < 0.07?
True
Let j = 5 - 0. Suppose -4*n - 27 = 9. Let l = n - -13. Which is smaller: l or j?
l
Suppose z + z = -2*z. Is 2/395 less than z?
False
Suppose 104 = 5*n - g, 52 = 4*n + 3*g - 16. Let h(d) = -3*d + 41. Let j be h(n). Which is smaller: j or -20?
-20
Let i be (-1 + 2)*(0 - -1 - 10). Let o be (1 - (i/3 - -3))*0. Is o at least -2/23?
True
Let m = -0.197 + 0.237. Are m and -18/5 unequal?
True
Let m = 1 + -3. Let i = 96 - 86. Let y = m + i. Is y >= -0.1?
True
Suppose 0 = 3*j - 7*y + 6*y + 8, 2*y = -j - 12. Is j >= 6?
False
Let k = -2.5 + 0.5. Let u = 3 + k. Let y = 29/5 + -309/55. Which is bigger: u or y?
u
Suppose -3*f + 17 = -5*p - 18, 3*f = -2*p + 49. Let i = f + -13. Suppose -i*z - 4*u = -2*u + 16, 14 = -z - 3*u. Which is smaller: z or -7?
-7
Let l = 0.619 + -0.6539. Which is greater: -2 or l?
l
Let g(t) = 0 + 2*t + 10 - t - 1. Let p be g(-10). Let z be p*(2/(-29))/2. Which is bigger: 1 or z?
1
Suppose -6*b = -10*b + 8. Let y be (-175)/25 - (-4)/b. Which is greater: -7 or y?
y
Suppose -4*i + 3016 = 9*i. Is i greater than or equal to 231?
True
Let l = -0.26 - -1.96. Let u = 1.8 - l. Let x = 5 + -5.1. Is x <= u?
True
Let j = -0.36 + 0.36. Let l = 2 + j. Is l equal to -9?
False
Let g = -21 + 51. Let j = 21.4 - g. Let v = 8 + j. Which is smaller: -1/2 or v?
v
Let p = -42 - -29. Let g = p - -24. Let c = g - 11. Are -14 and c unequal?
True
Let i = -837 - -593. Which is bigger: i or -245?
i
Suppose 0*b = -5*b. Let o = -56477/20 - -2824. Is o bigger than b?
True
Let x be ((-15)/(-5) - -5) + 26. Is x >= 37?
False
Suppose -9*j + 4*j + 3122 = 3*q, -2*j = -2*q + 2060. Which is smaller: 1033 or q?
1033
Suppose 33 = -3*o + 33. Does o = 3/17?
False
Suppose j + j = -5*m - 4, 0 = 2*j + 2*m + 4. Let l be (-3)/3 - (-3 - j). Is l at least 5/16?
False
Let b = 17.822 - 0.022. Let k = b - 2. Let d = 16 - k. Is -6 equal to d?
False
Suppose 12*c = 11*c. Suppose c = 8*z - 8. Which is greater: z or 0.31?
z
Let o(p) = -223*p - 345. Let x be o(-4). Is 548 != x?
True
Suppose 4*f = -20 - 48. Suppose 4*x + 20 - 8 = -2*u, 2*x - 26 = u. Which is smaller: f or u?
f
Let k = 277.6 - 297.51. Let f = -1.69 + k. Let m = 21 + f. Which is smaller: m or 2?
m
Let z be 4/51*(-270)/(-80). Which is greater: z or 0?
z
Let u = -331/107880 + 1/744. Is -1 at most as big as u?
True
Let f = 680168/3381 + -4632/23. Let h = 2/441 - f. Is h greater than 1?
False
Let g be 15*(21/15 + -1). Suppose -2*c + g = -4*n, 2*n + 5*c + 45 = -3*n. Let m be -2 - (0 + -6)/(-3). Are n and m equal?
True
Let m(l) = -2*l. Let z be m(6). Let w(r) = -r**3 - 11*r**2 + 11*r - 15. Let t be w(z). Suppose 5*v + 5 = -5. Do t and v have different values?
True
Suppose 2*h = 6 - 42. Let y be 4/h + (-145)/(-45). Is 11 != y?
True
Let v = -1.06 + -0.34. Let o = -0.077 - 0.123. Is v less than o?
True
Let j = -5 - -8. Let l = 1939/4 - 485. Which is greater: j or l?
j
Let s(h) = 9*h + 5. Let b be s(-3). Let c = -30 - b. Which is smaller: c or 0?
c
Let b(f) = f**3 - 10*f**2 + 8*f + 1. Let n be b(10). Let a(u) = -11*u + 25. Let v be a(-5). Is n bigger than v?
True
Let d = 9.917 + -0.217. Which is smaller: 1/3 or d?
1/3
Let z be ((-6)/21)/((432/(-28))/(-12)). Do z and 2.46 have different values?
True
Let k = 3066 - 2981. Do k and 171/2 have the same value?
False
Let y = -0.863 + 1.863. Let u = 17 + -35. Which is smaller: y or u?
u
Let s(f) = -f - 18 + 11*f + 6*f**2 - 7*f**2 + f. Let z be s(9). Which is smaller: z or -2/77?
-2/77
Let f be (-4)/(-18) - (-3198)/(-54). Let n = -31 - f. Are n and 29 equal?
False
Suppose 0 = -18*o + 5*o - 338. Let z = 27 + o. Which is smaller: z or -2/163?
-2/163
Let l be (5/(-25))/((-876)/174 + 5). Is 0 at least as big as l?
False
Suppose -22 + 6 = 4*r. Let t = -167 + 162. Is t > r?
False
Let v(c) = -c**3 + 7*c**2 - 9*c + 24. Let f be v(6). Let j = -4 + 6. Suppose 0 = 3*q + j*r - f - 0, 5*q - r + 3 = 0. Is q smaller than 3?
True
Let z be (-12)/4*(77/(-38) + 2). Let s = 32 - 31. Is z less than or equal to s?
True
Suppose 0 = 5*j - 3*s - 674, -3*j - 12*s + 387 = -8*s. Is j at least 135?
False
Let o = -356 - -351. Let d be 7/((2/(-2))/(-1)). Suppose -d*z - 30 = -2*z. Which is smaller: o or z?
z
Let x = 68 - 113. Let j = -45.3 - x. Is 1 greater than or equal to j?
True
Let l be 8/3*(6 + -3). Suppose -8 = 4*d - l*d. Let s = -3 - -4. Is d at least as big as s?
True
Let k = 43 + -38. Let l be 1/k + (-6)/5. Which is greater: 7/16 or l?
7/16
Let o(i) = -i. Let m(b) = b**2 - 15*b - 35. Let p(s) = -m(s) + 2*o(s). Let t be p(15). Suppose -4*k + 7*k - 5*h = 18, 2*k = h + t. Is k <= 7/4?
True
Suppose 5*m + 131 = -4*u + 110, 2*m + 5 = -5*u. Is 2/801 < u?
True
Let i(j) = 0*j + 0*j + j + 12. Let l be i(-7). Suppose -l*b = -0*b. Which is greater: b or 2/7?
2/7
Let l be (-365)/(-1 + -4) + 1. Is 78 greater than or equal to l?
True
Let w = -7.9778 + 8. Is w not equal to -1?
True
Let h(v) = v**3 - 12*v**2 - 9*v + 8. Let b be h(12). Is -101 bigger than b?
False
Let g = 0.3 + -33.3. Let j = g - -29. Is 1/3 > j?
True
Let p = -51 - -55. Suppose -3*i = -p*i - 3. Let d = 53/12 - 31/4. Which is smaller: d or i?
d
Let y = -39 + -363. Is -402 less than or equal to y?
True
Let u be ((-8)/5 - -2)/(3/(-135)). Let y be 1/((-54)/51 - -1). Are y and u nonequal?
True
Let y = -1/731 - -1473/8041. Which is smaller: y or 119?
y
Let w = 194.34 - 160.7. Let g = 34 - w. Let t = g - -0.44. Is 1 bigger than t?
True
Let g = 863206/294209 + -702/239. Is 0 equal to g?
False
Suppose 4*b - 90 = -18. Let l = -22 + b. Which is greater: -2 or l?
-2
Let x = 0.062 + -0.031. Let v = x + 27.969. Let z = v + -28. Which is smaller: 0.1 or z?
z
Let g = -3.7 - -1.7. Let s = 1 - g. Let z = 3.1 - s. Which is smaller: z or -5/4?
-5/4
Let c(x) = -x**3 - 6*x**2 - 5*x. Let o be c(-6). Suppose 3*u - 2*q = 39, -2*q + q = 3*u - o. Let f = -11 + u. Which is bigger: 4/5 or f?
4/5
Let t = -183 + 192.9. Let q = 388 + -386.9. Let d = q + t. Is d at most as big as -1/2?
False
Let f = -2 - -11. Let d = -2 + f. Is d at least -2?
True
Let h = -42 + 164. Which is smaller: h or -0.1?
-0.1
Let n = -81 - -159/2. Let y(k) = -2*k + 20. Let r be y(5). Let q = r - 11. Which is smaller: n or q?
n
Let n be 64890/(-8113) + 13 + -5. Is -1 <= n?
True
Let y(o) = o**2 - 4*o + 6. Let a be y(-8). Suppose -x - 2*x + a = 0. Is x less than 34?
False
Let r = -1178777/3458 + 4442/13. Let v = 14/19 - r. Is v equal to -1?
False
Let b(i) = -i**2 + 7*i - 10. Let u be b(5). Let o be 9/(-15) + 4/(-10). Are u and o nonequal?
True
Let h(n) = -12*n**2 + 19*n + 88. Let z be h(-7). Which is smaller: -2 or z?
z
Let t(v) = 33*v. Let a be t(1). Let g = 30 - a. Let j = -500 + 2491/5. Is j bigger than g?
True
Suppose -2*x = -13*x - 11. Which is greater: x or -3?
x
Suppose -10 = 5*u, 22 = -2*k - 3*u + 4. Let s(a) = a + 5. Let g be s(k). Is g smaller than 7?
True
Let o(d) = d**3 + 4*d**2 + d - 2. Let x be o(-3). Let j be 3/12*-2 - (1 + -6). Do j and x have the same value?
False
Suppose 24 = -3*m + 3*c, -3*c = 6 - 3. Let g(j) = j**2 + 12*j + 1. Let f = -8 - 3. Let t be g(f). Is t greater than or equal to m?
False
Suppose 0 = -5*s - 38 + 68, -g - 3*s + 