u. Is -8 equal to u?
True
Let g(h) = -558*h + 3349. Let s be g(6). Which is smaller: -5/324 or s?
-5/324
Let b be 580/30*(-342)/(-6). Suppose -1103 + b = -p. Let g be (-1)/((2 - 3)*-1). Do p and g have the same value?
False
Let a be (-48)/(-481) + 4/(-26). Let i = 130783 - 101618312/777. Let u = a + i. Which is smaller: u or 1?
u
Suppose 41*b + 4150 = 115*b - 12796. Is b less than 2/29?
False
Suppose 5*u - i - 975 = 0, 4*i = -11*u + 13*u - 372. Let c = -210 + u. Is -12 < c?
False
Let o(w) = 7*w + 414. Let u be o(-62). Is u greater than -2?
False
Let z = 26905 + -80714/3. Which is smaller: 735 or z?
z
Let c(w) = -w - 7. Let b be c(-10). Suppose 2*k + 65 = -b*l - 108, 4*l = 2*k - 226. Is l > -61?
True
Suppose 0*v + 77 = 5*v - 3*s, 2*v - 4*s - 28 = 0. Let h = 16 - 12. Suppose -t = h*t - 85. Which is greater: v or t?
t
Let g = 641.1 - 262.1. Is g at most as big as 0.1?
False
Let n(g) = 2*g**2 - 3*g + 1. Let u(z) = -3*z**2 + 18*z + 15. Let p(f) = -2*n(f) - u(f). Suppose -3*t - 23 = 7. Let x be p(t). Which is bigger: 6 or x?
6
Let v = -92 - -98. Suppose 212 - 2 = -v*c. Let n be (-217)/5 + 7/(c/(-2)). Is n at least -44?
True
Suppose 13*a = 3*a - 73*a - 183513. Which is greater: a or -2210?
-2210
Suppose t + t + 42 = 0. Let u be (-4 - -6)/2 - -4. Suppose -5*y + 0*y - u = 0. Is t < y?
True
Suppose -157*x + 7680 = -137*x. Let p be 14/(6/(x/(-88))). Which is greater: -10 or p?
-10
Let h = 258/31 + -39172/155. Is h at least as big as -243?
False
Suppose -4*g + 12*c = 16*c + 12, -3*c - 11 = 5*g. Is -2/1071 <= g?
False
Suppose -3*q + 0*q - 3*n + 2496 = 0, 2*q - 2*n - 1664 = 0. Let p = 700 - q. Which is bigger: -130 or p?
-130
Let z = 5729 + -5746. Which is bigger: 19.7 or z?
19.7
Suppose -4*x - 65 = 15. Let y(p) = 10*p + 27. Let h be y(0). Let n be h/(-11) + 2 - (19 + x). Which is smaller: 1 or n?
n
Let x(t) be the third derivative of -t**4 - 139*t**3/6 + 251*t**2. Let h be x(-6). Let w = 141/22 + -21/11. Is h smaller than w?
False
Let h = 165.8 + -41.8. Which is smaller: 3/5 or h?
3/5
Let n = 248.76 + -230. Let b = -1.76 + n. Is 2/25 bigger than b?
False
Let c be (-68)/(-85) - 12/15. Suppose -1127 = -3*r - 34*i + 29*i, c = 2*i + 10. Is 384 less than r?
False
Suppose 0 = -4*y + 5*d + 140, 8*y - 3*y - d - 175 = 0. Suppose 19*u - y*u = 0. Which is smaller: u or 13/67?
u
Let i(b) = 2*b**3 + 109*b**2 - 58*b - 101. Let q be i(-55). Suppose h + h = 126. Is h > q?
False
Let l(p) = p**2 + 10*p - 75. Let a be l(-21). Let q be (-76)/1802 - a/(-1326). Suppose 4*d = -0*d. Is d equal to q?
False
Suppose 2*y + 7 = 5*o + y, 0 = 3*o - 3*y - 9. Let t(p) = 4*p**3 - 2*p**2 + 2*p - 3. Let v be t(2). Suppose -8*a + v = -3*a. Which is smaller: a or o?
o
Suppose -4*l + 6*o = 8*o - 16, 0 = 3*l - 3*o - 3. Suppose 0 = -5*q + 2*w + 3, 4*q + l*w + 4 + 12 = 0. Let y be q*(-2 - -1)*(-4)/48. Is y equal to -1?
False
Let a = 335 + 323. Suppose 230 = -6*k - a. Does k = -148?
True
Suppose -315 = -13*o + 4*o. Suppose 0 = r - 6*r - o. Let u be 2*(-1)/(-4)*(7 + r). Which is greater: u or 1/3?
1/3
Suppose 536*q - 528*q = 0. Which is bigger: q or -23/93?
q
Let d = 348 - 248. Suppose i + 4*i + d = 0. Let b = i + 19. Which is smaller: -2/21 or b?
b
Let t = -833 - -840. Let c(d) = d**3 - 3*d**2 + 29*d - 5. Let q be c(t). Is q > 394?
False
Let k = 4472 + -4466. Let f be -1 + 3/(18/7). Are f and k equal?
False
Let p = -19 - -10. Let m be 0 - p/(-7) - -1. Let x = -13.064 - -13.064. Is x <= m?
False
Let a be (-4)/((-24)/23) + (-3)/(-18). Suppose -3*c + 4*b + 8 = -a*c, c = 3*b + 6. Which is greater: c or -5/72?
c
Let p be (77943 - 2)/((-966)/140). Let z = -11296 - p. Is z less than 0?
True
Let d(y) be the first derivative of -y**3/3 + 6*y**2 + 124*y - 144. Let q be d(-9). Are -66 and q equal?
False
Let n = -705 + 395. Let o = 309 + n. Does -11.8 = o?
False
Let j = -15970 - -13101. Is -2869 > j?
False
Let s(d) be the first derivative of -3*d**2 + 397*d + 130. Let q be s(-11). Which is smaller: q or 464?
q
Let w = -268 - -58. Let v = 218 + w. Is v > 57/8?
True
Let j be 4 - (415206/7384)/9. Let b = j - 2/923. Suppose -3*d + 2*q - 13 = 0, -8*d = -3*d + 2*q - 5. Which is smaller: b or d?
b
Let q be -1 - -3 - (-4195837016)/(-10160). Let m = q + 4150841/10. Let k = 2110 - m. Is -1 smaller than k?
True
Suppose 3*b + b - h = -16, -12 = 3*b - 5*h. Suppose -3*g - 3*t - 2 = -8*t, -2*g = 3*t + 14. Let k be g/(-2 + 4) + 1*-3. Is k less than or equal to b?
True
Let m = -2012623421/205823904 + -6001/151008. Let b = -1/14993 + m. Which is smaller: -9 or b?
b
Let q be 4 + -5 + (-29)/(1305/30132) + 7. Is q != -665?
True
Let z(c) = -c**3 - 6*c**2 + 18*c + 12. Let i be z(-19). Let b = 48173/11 - i. Let n = 1003/66 - b. Are n and 2 unequal?
True
Let y = 54 - 54.032. Let n = y - 59.968. Which is smaller: -2/3 or n?
n
Let c be (-309160)/(-2397760) + 2/(-16). Let a = -4 - -3. Which is smaller: a or c?
a
Let j = 1303 - 861. Do j and 438 have the same value?
False
Suppose 244 = -9*c - 134. Let g(y) = 1 - 2*y + y**3 + 2 + 6 + 7*y**2 + 9*y. Let t be g(-7). Is c not equal to t?
True
Suppose -87 = -8*v + 97 - 120. Let q(f) = -3*f**2 - 6. Let p(u) = -u**2 + u. Let t(d) = -4*p(d) + q(d). Let y be t(6). Is y greater than v?
False
Suppose 2*h + v = 5*h - 17, 17 = -2*h - 5*v. Suppose 2*c + h*c + 174 = 0. Is -26 at least c?
True
Let q be 33 + -38 - 11825/(-2360). Let i = -46296695629/336536 - -4264626/31. Let z = q + i. Is 1 less than or equal to z?
False
Let j(d) = d - 52. Let r be j(42). Let z be 0/((-7 - r) + -1). Let g be 372/(-187) + 3 + -1. Is z greater than or equal to g?
False
Suppose -2*l + 42*z - 46*z + 24 = 0, 0 = -4*l - 4*z + 28. Let g be -13 - (7 + -9)/l. Which is greater: -11 or g?
-11
Let u be 4/32 + (-78)/(-16). Suppose -5*c = 20, 3*f - u*c = -f + 44. Let b be f/20*-2*40/(-56). Is -1 > b?
False
Suppose -1056*n = -1044*n + 3576. Which is greater: -1491/5 or n?
n
Let a be -6 + 25120/30 + (-3)/9. Is 833 bigger than a?
True
Let x(o) = 23*o - 123. Let t be x(6). Suppose -305 = t*g + 1255. Which is smaller: g or -103?
g
Let d = -5769.769 + 5821.8. Let x = 0.031 - d. Let w = -51 - x. Is w bigger than -94?
True
Let g be (2 - 19316/9663)/(((-986)/(-87))/(-17)). Is 1 bigger than g?
True
Let g = -9103 - -9115. Which is bigger: 80 or g?
80
Let k = 156308 - 6497879869/41571. Which is bigger: 0 or k?
0
Let f(y) = -y**3 + y**2 + 5*y - 5. Let a be f(2). Let c be (-1 - a)*21/42. Let i be c/1*(-3 + 2). Is 1 less than i?
False
Suppose 11*c + 33 - 44 = 0. Let k be c + 0 + (-10 - (-56)/7). Which is smaller: 1/21 or k?
k
Let i be (0 - -1*1)/(69/(-207)). Let p(q) = -12*q + 47. Let o be p(i). Are 83 and o equal?
True
Suppose -4*t + 4 = -2*f, -3*t + 2*f + 2 = -0*f. Suppose 2*d + 12 = -t*i + 54, -d = -i + 31. Is i greater than 27?
False
Let c = -174 + 178. Let v = 146 - 145.31. Let u = 0.7 - v. Which is smaller: u or c?
u
Let l(z) be the second derivative of z**4/12 + 11*z**3/6 - z**2/2 - 11*z - 4. Let w be l(-11). Is w greater than or equal to -1?
True
Let g = 8.7 - -241.3. Let b = g - 249.8. Which is bigger: -0.044 or b?
b
Let q = 4496.89 - 4497. Which is smaller: q or -22?
-22
Let v = -5776 - -3899. Which is smaller: -1879 or v?
-1879
Suppose -5 = -4*v - 19*i + 24*i, 5 = 3*v - 5*i. Which is smaller: -1/268 or v?
-1/268
Suppose 3*l + 862 = 5*w, 3*w - 329 = 4*l + 197. Which is greater: w or 685/4?
685/4
Let h = 135 + -2875. Which is bigger: h or -2741?
h
Let i(f) = 15*f**3 - 3*f**2 + f. Let v be i(1). Suppose 0 = -2*a + 4*x - 18, -3*a - 5*x + v = -4. Let c be -3*(-1)/(-24)*(-2 + a). Is 0.06 at least c?
False
Suppose 3*b - 117 = p, -4*p - 140 = -2*b + 328. Let x be 52/(-6)*5*p/130. Let g = 94 - 55. Is x smaller than g?
False
Let u = 3383 - 3388. Is -45/8 smaller than u?
True
Suppose -3*j - 5*t - 33 = 0, 0 = 3*j - 4*j + 8*t + 47. Is 753 <= j?
False
Let d(n) = -2*n**2 + 10*n - 2. Let r be d(5). Let b be r/(-24)*(-12 + (-98)/(-7)). Which is smaller: 0.13 or b?
0.13
Suppose 0 = v + 4*n - 16 + 7, -21 = 3*v - 4*n. Is -139/35 at least v?
False
Suppose -153 = t - 6*c + c - 13, 3*c = 0. Is t equal to -139?
False
Suppose 4*f + 271 = f + 2*m, 3*m - 6 = 0. Suppose -16*v - 2515 + 131 = 0. Let d = v - f. Is d != -59?
True
Suppose 96 = -8*h + 208. Which is smaller: h or 17?
h
Let p(d) = 6*d**2 + 16*d - 7. Let a be p(-4). Suppose 11*w - a*w = -17*w. Let h = 9/2