n + -83. Let l = s + -12.005. Which is smaller: l or -1/4?
l
Suppose 3*c = -2*y + 552, 0 = -57*y + 55*y - 12. Do 140 and c have the same value?
False
Let c = -883.46 + 92.46. Which is smaller: c or 6/11?
c
Suppose -40*v + 44*v - 16 = -b, v - 4 = -4*b. Suppose -4 = -6*z + 2*z + 3*k, 3*k = -4*z + v. Let s = 3 + -5/2. Are z and s equal?
False
Let k = -4 + 3.63. Let p = 0.362 + k. Let r = p - -2.008. Which is smaller: r or -1?
-1
Let u(o) be the first derivative of -2*o**2 - 3*o - 1. Let g be u(2). Let m = -165 - -163. Which is greater: g or m?
m
Let k be -44*(-20)/(12 - 14). Is k < -441?
False
Let z be (-32 - -33)*740/34 + -3. Is z >= 19?
False
Let n(j) = -5*j + 1322. Let i be n(-18). Is i greater than or equal to 1412?
True
Let q be 2/(-8) - (-8442)/8. Are q and 1052 nonequal?
True
Let w(y) = -13*y**2 - 194*y - 16. Let z be w(-14). Is 157 > z?
True
Let s = -0.06 + 0.319. Let z = -0.559 + s. Which is smaller: 23/2 or z?
z
Let c(i) = -4*i + 1. Let p be c(3). Suppose -32 = -3*q + 7. Let w = p + q. Which is greater: 9/5 or w?
w
Let g = 2.8653 - 2.8753. Which is smaller: -0.09 or g?
-0.09
Let j(l) = -5*l - 94. Let n(h) = 4*h + 94. Let q(o) = 7*j(o) + 6*n(o). Let t be q(-6). Which is smaller: -133/5 or t?
t
Let a = 4080 + -3896. Is a > -1.9?
True
Let i = 0.392 - 11.492. Let c = 16.21 + -0.11. Let a = i + c. Which is smaller: a or -7?
-7
Suppose 4*f = -3*z - 1022, -2*z + f + 1341 = -6*z. Let w = -20375/61 - z. Let c = w + 137/915. Which is smaller: c or 1?
c
Suppose 5*d - 2*n + 76 = 84, 5*d - 5*n - 20 = 0. Which is smaller: d or 2/177?
d
Let h be 942/157 + 2*14*1/(-4). Which is smaller: 6/6509 or h?
h
Let s = 4853 + -1325. Is 3530 at least s?
True
Suppose -5*l + l - 20 = 0. Let w be (-70)/40 - -2 - (-5)/(-4). Let i = l - w. Do -3 and i have the same value?
False
Let r = 389/442 - 13/17. Suppose -9 + 0 = -9*d. Suppose -5*z + 6 = d. Which is greater: z or r?
z
Let t = 1.3842 + -1.368. Is 1 bigger than t?
True
Let x(t) = -169*t + 43. Let c be x(-3). Let p = 654 - c. Which is greater: 105 or p?
105
Let o = 64 - 62. Suppose o*r - 20 = -3*r. Suppose -r*b + 1 + 3 = 0. Which is greater: -7 or b?
b
Let s be (-49 - -46) + 3/1. Is s greater than or equal to 9/439?
False
Let h = 977782/4835 - 29/967. Let p = 192 - h. Let v = 73 + -83. Which is smaller: p or v?
p
Let i = 764 + -1303. Let f = -150.745 + 149.745. Which is smaller: i or f?
i
Let b = -9367 - -9358. Let h = -9.6 + 10. Is h at most as big as b?
False
Let a = 3.09 - 3.09. Let y = 0.05 - 13.05. Let g = -18 + y. Are a and g nonequal?
True
Let x be (4/(-14) - (-2101676)/4162977) + (-8)/36. Which is greater: 0 or x?
0
Let h(u) = -2*u**3 + 4*u**2 + 3*u + 2. Let w be h(3). Let o be (8 + w)*(-16 + 2). Let b(n) = 6*n + 15. Let f be b(-5). Which is smaller: f or o?
f
Suppose -n - 107 = i, 3*i = 87*n - 83*n + 393. Is n <= -117?
False
Suppose 3*r + 11 = -t, 0*r - 2*r - 3 = 5*t. Let d be 652/20*1408/490144. Let u = 1/1445 + d. Is u bigger than t?
False
Suppose -5*l = -10*l + 1175. Suppose -10*v + 1385 = l. Is 114 less than v?
True
Let b = -585 + 310. Let h = b + 273. Let n = -2 + 2.04. Is h less than n?
True
Suppose -3*v + 4*v = 4*v. Suppose v*o = -5*o + 45. Let x be (-152)/(-171) + (-2)/o. Is x <= 0.12?
False
Let n(x) be the third derivative of 0*x - 3/2*x**3 - 8*x**2 + 0 - 5/24*x**4. Let o be n(4). Are o and -28 unequal?
True
Suppose 3*c - 4*l + 470 = 0, 6*c + 2*l = 4*c - 290. Suppose -48*w - 2550 = -31*w. Is w less than c?
False
Let y be (-2)/(-6)*2*9/6. Let t be y/(-9072)*-6661 + (-48)/84. Let c = t - -2/81. Are c and 0 equal?
False
Let p = 32.432 - 6.432. Which is greater: p or 1/2?
p
Suppose 8*g - 330 = -3*g. Let n = g - 30. Let u be ((-2)/52)/1 - n. Do u and -1 have different values?
True
Let x = 0 - 0. Suppose 1569 + 577 = -29*n. Let s be n/(-172) + ((-120)/16 - -7). Do s and x have the same value?
False
Suppose -3*t = 5*f - 40, f + 2*t - 8 + 0 = 0. Suppose -26 = -2*m + f. Suppose -4*i - 3*z = -1, -7*z + 2*z - m = 2*i. Is 6 bigger than i?
True
Let p = -3.56 - -4.9. Let u = p - 1.34. Is 13 greater than or equal to u?
True
Let a = -383 - -664. Let h = -174 + a. Let y = -106.35 + h. Which is greater: 1 or y?
1
Let m = -4985.4 - -5136. Let l = -21.5 - -171.5. Let w = l - m. Are -8/3 and w nonequal?
True
Let m(r) = -r**2 - 63*r + 272. Let h be m(-29). Which is greater: 1259 or h?
1259
Let q = -2646 - -18770/7. Is 35 < q?
True
Let b = -3548 - -56650914/15967. Does b = 1?
False
Let y(f) = 10*f**3 + 3*f**2 + f. Let d be y(3). Suppose 15*x + d = -5*x. Which is bigger: -41/3 or x?
-41/3
Let y(l) = -19*l + 6. Let v be y(3). Let o be v/(-4) + 3/12. Let m = 7 - o. Does -0.1 = m?
False
Let w = 1580 - 2861. Is w > -1274?
False
Let a = -111 - -227. Let w = 100 - 48. Let k = w - a. Is 0 at least as big as k?
True
Suppose -x = -15 + 105. Let q be -4 + x/(-25) - 27/(-5). Suppose -q*b - 6 = -6. Which is smaller: -1 or b?
-1
Suppose 4*l - w = 35, -4*l - 3*w = l - 31. Let p be ((-2)/5)/((-80)/l). Suppose 5*o - i + 5 = 0, -3*o + i - 20 = -3*i. Is p smaller than o?
False
Let s = 405 + -353. Are s and 56 equal?
False
Let a = 25681 - 18617. Is 7064 at least a?
True
Let q be 0*((-7)/2 - -3). Suppose -94*a = -90*a + 8. Let z be (-6)/(-4)*(1 + a + q). Is z at least 5?
False
Let z = 33.2 - 36.2. Let t = -37 + 38. Is t less than or equal to z?
False
Let c be -43 + 48 - (-3)/5*-9. Let p be 75/(-2)*15/(-270). Which is smaller: p or c?
c
Let z = -7 - -11. Suppose x - 32 = -z*f + 5*x, -2*x = 5*f - 40. Let g = -8/113 - -4334/565. Which is bigger: g or f?
f
Let k = -671 + 5353/8. Let m be 180/21 - (-4)/(-7). Suppose 0 = -5*v - 2 - m. Are k and v equal?
False
Let q be (-395160)/(-24) + 0/13. Which is bigger: 1 or q?
q
Let a = -7/1891 + 3817/9455. Which is greater: a or 1016?
1016
Suppose 0 = -4*n + 7*n + 3*j + 120, n - 2*j + 28 = 0. Let d be (-12)/n + (-5)/(-39). Is -1 bigger than d?
False
Let t be 53 - (-8 + (-90)/(-10)). Suppose 45*y = t*y + 60*y. Which is smaller: y or -1/221?
-1/221
Let h be -12*(2695/(-105) + 23). Let u be -4*1/(-4)*31. Is u greater than or equal to h?
False
Let v be ((-918)/425 + (2 - 0))*10. Let o be -22*(2 - 3) - 1. Let y = o - 23. Is v at most y?
False
Let x = 78185 + -776142497/9927. Which is smaller: x or -1?
-1
Let v = 64234/327 - 120/109. Let f = v - 196. Are 0 and f equal?
False
Let s be 6 - 9/(90/7460). Which is smaller: s or -746?
-746
Let y = -1018 - -5258/5. Which is greater: 34 or y?
34
Let u = -1 + 2. Let k be 2185/380 + 6/(-8) - 2117/423. Does u = k?
False
Let l = 8 + -3. Suppose -13 = 3*d + l. Let b be (1 + 1)/(d/48). Does b = -18?
False
Let r be (1 - -7) + 3196/340 - 4. Which is smaller: r or -0.12?
-0.12
Suppose 0 = 2*f - 4*i - 1289 - 151, 3*f - 5*i = 2165. Suppose -732*q + f*q - 2 = 0. Let t = 56/5 + -799/70. Which is smaller: q or t?
q
Let t be ((-12)/(-21))/2 - 3132/(-63). Suppose -t = -3*d + 5*d. Let y be 3/(-1)*5/d*1. Which is smaller: y or 1?
y
Let n be 450/180*228/(-1). Which is smaller: n or -569?
n
Let s be 2/11 + (-8541)/2145. Which is smaller: s or -3?
s
Let t(x) = -x**2 + 15*x + 2. Let a be t(15). Suppose 4*q = 3*c - 13, a*q - 34 - 31 = -5*c. Let y = -173 + 183. Which is smaller: y or c?
y
Let x(m) = m**3 + m**2 + 7*m + 1. Let b be x(-6). Suppose -100*g = -318*g - 47742. Is b < g?
True
Let p = -7.123 + 4.713. Is p less than 0.4?
True
Let c = 21542 - 21498. Let a be 16/((-2)/(16/(-3))). Is a at most c?
True
Let w = 288 - 267. Let l be (-63)/6*180/w. Is l smaller than -92?
False
Suppose 4*c - 248 = 25*f - 21*f, 0 = -4*c - 3*f + 290. Is 71 at least as big as c?
True
Let z = 93.94 + -82.94. Which is bigger: -0.57 or z?
z
Let j = 2/211 + 183/2954. Does j = 109?
False
Let f = 168742/65 + -2596. Is -1 != f?
True
Let k = -34227 - -152481286/4455. Which is bigger: 1 or k?
1
Let y be (-6198)/126 + 1/(-7). Suppose 6*k - 7*k + 50 = 0. Let d = k + y. Which is smaller: d or 0?
0
Let t = 1941 + -1937. Is t less than or equal to -0.116?
False
Let n = 1.2727 - 1.3727. Which is greater: n or 0.09127?
0.09127
Let i(a) = -a**3 - 23*a**2 - 23*a - 21. Let y be i(-22). Let t be (-1)/(-4)*-1*y. Which is smaller: t or -2?
-2
Let y = -10723/1490 - 1/298. Let o be 1/((-20)/(-2)) + (-441)/(-90). Suppose -o*t - 5*t = 70. Is y >= t?
False
Let q = -6.65 + 16.3. Let i = q + 1.35. Is 4 bigger than i?
False
Let k = -1820/5