Let i be p(5). Suppose -8*l + 6 = -10*l, -i*j = -2*l - 71. Are j and -0.21 non-equal?
True
Let g(y) = 2*y. Let o be g(-7). Let j(c) = -11*c - 243. Let a be j(-22). Let b be 15/a*(-30)/(-30). Is b less than o?
True
Let m = 14765 + -13200. Is 1568 at most m?
False
Suppose -502 = -2*t - u + 149, 0 = -5*t + 4*u + 1634. Let m = t - 1639/5. Suppose r - 2*z + 7 = 2, -3*z + 6 = 0. Which is bigger: m or r?
r
Suppose i + 3 = 5*d, -d = -1 - 2. Suppose 0 = 5*y - y - i. Suppose 3*a - 4 = -2*a + 4*z, -y*a = 3*z + 3. Is 1/31 <= a?
False
Let q = 329 + -317. Let o be (-21)/q*-2*(-12)/(-7). Is 24/5 at most o?
True
Suppose -v = 10*c - 7*c + 10, v + 15 = -8*c. Which is bigger: c or 1/16039?
1/16039
Suppose 1099 = 9*l + 91. Suppose -5*a + 4*g - 31 = 0, 0*a - 2*g = -4*a - 20. Which is smaller: l or a?
a
Let h(d) = -d**3 - 11*d**2 - 12*d - 14. Let l be h(-10). Suppose 9 = -5*c - o, 5*c + l = -2*o - 7. Are 4/21 and c equal?
False
Let s = -2375077/55 + 43185. Is s less than 2?
True
Let g be -12*(38/(-13) + 3). Let s = -590 - -588. Which is greater: g or s?
g
Let g = 9955 + -9955.4. Is -4434 <= g?
True
Let i = -14035 - -70177/5. Which is greater: i or 0.05833?
i
Let c = -924.9 + 864.9. Is 0.53 <= c?
False
Let g = 742.7 + -742.7. Which is smaller: g or -2396?
-2396
Let a = -746 + 693.9. Let x = -51 - a. Let k = 0.1 - x. Are -2 and k equal?
False
Let g be (-4 - -6)/(1 + (-2 - 1)). Let w be 2*(-2)/12 + (-4351)/(-12882). Which is smaller: g or w?
g
Let g be ((-18)/5 + -3)*(15 - 10)*5. Which is smaller: -151 or g?
g
Let a = 7976 - 7989. Which is smaller: a or -123?
-123
Let g be 0/((-2 - -1)*1). Suppose g = -29*r + 63*r - 4692. Which is greater: r or 140?
140
Let g(x) = 35*x**2 + 245*x + 2. Let t be g(-5). Is -348 > t?
False
Let x = 1.81 - -0.94. Let p = 3.22 - x. Is p at most as big as 2/7?
False
Let q = -68.82 - -69. Let a = 3.18 + -2. Let m = a - q. Which is greater: -2/3 or m?
m
Let h(t) = -111*t + 1. Let r(j) = -j**3 + j**2 - j - 2. Let x be r(-1). Let z be h(x). Is -112 bigger than z?
False
Let o(q) = q**3 - 2*q**2 - 5*q - 13. Let s be o(10). Let t be 2/8 - s/(-44). Let u be (-23)/(-5) + -2 + t/(-34). Does 1 = u?
False
Let k be (8 - 516/66) + 538*(-70)/(-264). Is k less than 144?
True
Let w = -10204 - -14445. Is w >= -1/3?
True
Let s = 695/3 + -233. Suppose -928*u = -930*u + 8. Is u smaller than s?
False
Let k = -82 + 86. Let s be ((-87)/2)/((-3)/k). Is s < 58?
False
Suppose -n + 52 = 39. Suppose 4*j = l + 20, -15 - n = -2*j - 4*l. Suppose -j*z - 4 = -58. Which is bigger: 7 or z?
z
Suppose 5*o = 4*f - 1386, -5*f + 1751 = -6*o + 9*o. Which is bigger: 346 or f?
f
Let m(c) = -c**2 - 3*c + 5. Let a be m(-5). Let g be 5 + (0 - a - 8). Suppose -x = 2*i - 2 - 5, g*i = 4*x + 12. Is i != 7?
True
Let s(b) = b**3 - 10*b**2 - 132*b + 1153. Let t be s(12). Is -111 at least t?
True
Suppose 0 = -3*u + 2 + 13, k - 53 = -u. Let o be (2 - k/20) + (-36)/10. Is o at most as big as -1?
True
Suppose -2*q - 1772 = 2*d - 0*d, -2*d = -2*q - 1760. Let i = q + 630. Let x = -1989/8 - i. Is x less than 3?
False
Let z = -182 + 182.29. Let g = z - 1.11. Let b be (-5)/(75/(-39)) - 3. Is b at least g?
True
Let p = -58.2 + 63. Let a = p + -3.1. Let k = 7.3 + a. Which is greater: -1/4 or k?
k
Let f = 143 - 83. Suppose -3*l = 15, 57*l = -a + f*l + 16. Which is smaller: a or 4/177?
4/177
Let f = -218 + 226.3. Let v = f - 10.3. Does -0.1 = v?
False
Suppose -2*x - t + 6*t + 21 = 0, -t = 2*x - 3. Let i be 0/(-2 + (x - -1)). Let d be -1 + i + 4 + (-135)/39. Is d at most as big as 1?
True
Let v be 1 - (-2*23646/(-11040) + -3). Let y = -199/552 + 26/69. Let l = y - v. Which is smaller: l or -1?
-1
Let l(s) = s**3 + 24*s**2 - 15*s + 53. Let q be (-16 + 10 + -4)/((-4)/(-10)). Let x be l(q). Which is greater: x or -1?
-1
Let z = -18 - -13.3. Let f = -62.3 - z. Let u = f - -52. Which is bigger: u or 1/4?
1/4
Suppose 5*x - 8*x = -6. Let d(g) = 6 - 38 + 5*g - x*g + 15. Let u be d(14). Is u at least 26?
False
Suppose 5*n - 13*n + 120 - 16 = 0. Which is smaller: n or 10?
10
Let b be (160/(-252) - (-14)/(-63))*-35. Suppose u = -0*u + 30. Let l = u - b. Which is smaller: l or -1/12?
-1/12
Let r be -3 + 2/1 + -4. Suppose -5*f = -2*b - 88, 23*b = 5*f + 24*b - 76. Let l be f/5*(-725)/638. Which is smaller: l or r?
r
Let r = -279.44 - -279. Let c = -0.26 + r. Do -10 and c have the same value?
False
Suppose -v + 17 = -m, 0 = m - 5*v - 1 + 38. Suppose 52 = 2*p - 11*p - 74. Which is smaller: m or p?
p
Let j be (-45)/((-20891385)/(-2785484)) + 6. Is j bigger than 0?
True
Let i(o) = -10*o + 2. Let k be i(2). Let q(a) = -8*a + 63. Let b be (-637)/(-91) - (-6)/2. Let z be q(b). Is k != z?
True
Let v = -2.86 + 2.624. Let k = 0.036 + v. Is k at most as big as -149?
False
Let h = -877 + 915. Are 42 and h equal?
False
Suppose 0 = -5*w - 4*p + 385 - 3, 0 = -2*p - 4. Let a be (-42)/9*w/(-7). Is a > 54?
False
Suppose -3*t = 3*t - 47904. Let a be -7 + t/664 - 5. Which is smaller: 0 or a?
0
Let v(o) be the second derivative of -o**3/6 + 11*o**2/2 + 32*o. Let b be v(19). Let x = b + 8. Are 1/211 and x equal?
False
Let c be ((-380)/(-8))/((-60)/(-8)*(-4)/(-24)). Which is smaller: c or 257/7?
257/7
Suppose 3948 = -3*g + 2*u, -631*g + 636*g = 2*u - 6580. Is g < -1315?
True
Let f(w) = 15*w**2 + 5*w + 14*w**2 - w - 19 - 15*w**2 + w. Let b be f(3). Which is smaller: 0 or b?
0
Let l = 173 + -158. Let w be 13/l*2*(-3 - 0). Which is greater: w or -5?
-5
Suppose -4*w - 172 = -2*w + y, 4*w - 3*y = -364. Let m be (-2)/(-4) - 177/2. Is m less than w?
False
Let z be 28*((-9)/(-12) + -1). Let n(u) = u**3 + 6*u**2 - 9*u - 12. Let m be n(z). Which is smaller: -8 or m?
-8
Let q = -4687577/40 - -117169. Let z = q + 125/8. Which is bigger: z or -4?
-4
Let p be (1 - 3) + (-169)/4. Let w = 7815 - 7858. Is w less than or equal to p?
False
Suppose -151220 = -11*f + 101230. Let z = f + -3052334/133. Which is smaller: 0 or z?
0
Suppose -3*z - 15 = -8*z. Suppose -c + 3*t = 60, -5*c - 2*t + z*t - 244 = 0. Let d be 1/(-4) - 15/c. Is d greater than or equal to -1?
True
Suppose -2*c + 5*u = 5, 0 = -c + 5*u - 11 + 1. Suppose -446*j - c = -451*j. Let m = -4 + 3. Which is smaller: m or j?
m
Let t = 406 - 472. Let l = 49 + t. Which is smaller: l or -1/4?
l
Let g = 29875.641 + -29876. Is g <= -3?
False
Let q = 987 - 1022. Is q at most as big as -35?
True
Let n = -0.01 - 45.99. Let f(l) = l**2 + 27*l - 1981. Let a be f(-60). Which is smaller: n or a?
n
Suppose 53 = z - 9. Suppose -i - 21 = -85. Which is smaller: i or z?
z
Suppose -3*h - 6*x = -8*x - 17, 0 = 4*h + 3*x. Suppose h*i = -3*v - 57, -v = 2*i + 30 - 7. Are -15 and v equal?
True
Let g = 14576 + -9449. Which is bigger: 5126 or g?
g
Let a(q) = q**3 + 5*q**2 + 6*q + 1. Let n be a(-3). Let t be (18/24*4)/(n/2). Are 7 and t equal?
False
Let f = 257320 + -12094484/47. Which is smaller: -8 or f?
f
Suppose -8791 = -9*d + 12*d - 5*a, 5*d - 4*a + 14669 = 0. Do d and -2938 have different values?
True
Suppose -3684 = -317*m + 323*m. Let c = -612 - m. Let s = -581 + 5239/9. Is c equal to s?
False
Suppose -439 - 113 = 8*p. Let j = 50 - 118. Is j bigger than p?
True
Let z = -133 + 1199/9. Let s = -39 + -97. Let u = -545/4 - s. Which is smaller: u or z?
u
Suppose -8*h - 40 + 424 = 0. Let k be ((-7)/1953*21)/(4/h). Which is bigger: -2 or k?
k
Suppose 0 = -3*o + 10 + 2. Suppose o*i - 2*s = -3*s - 216, 0 = -5*i - 2*s - 270. Let f = i - -55. Is 1 > f?
False
Let m = 46 + -31. Let u be 2/(-8) - (m/(-12) + -5). Which is smaller: 0.3 or u?
0.3
Suppose -6*y = -8*y - 2*m - 24, -2*m - 10 = 0. Which is smaller: y or -123/22?
y
Let z be (8 + (-4 - 4))/(1 + 0). Let i(x) = 4*x**2 + 2*x. Let s be i(2). Let o be 32/(-60) - (-12)/s. Which is bigger: z or o?
o
Suppose 352 = -4*r + 2*m, 8*r + 4*m = 5*r - 264. Let h be (9/(-18))/((-2)/r). Suppose 0 = -2*l + 3*f - 31, -f + 2*f = 5*l + 97. Which is bigger: l or h?
l
Suppose 9*d + 28 = -1295. Let x = d - -127. Is -15 greater than x?
True
Let y(o) = -5*o - 7. Let z(u) be the first derivative of -11*u**2/2 - 15*u - 17. Let k(j) = 13*y(j) - 6*z(j). Let x be k(0). Is -4/3 bigger than x?
False
Let q be (-2)/(-7) - (-11)/(-14). Let z be (-18)/12*-2 + 0 + -1. Suppose -7*m - 14 = -3*j, 0 = -j + 3*m + z*m + 10. Does q = j?
False
Let j be 16/(-21888)*(17/54*-10 + 3). Which is smaller: j or -1?
-1
Let d = -440.3 -