ond derivative of o(i). Let r be g(0). Are -2/229 and r unequal?
True
Let o(g) = g**2 - 39*g + 83. Let k be o(20). Are -291 and k unequal?
True
Let t be 6*3/(-21)*(-35)/10. Suppose -i = -3*f + 105, -5*f + t*i + 179 = -0*f. Suppose 0 = j - 2*l - f - 3, -2*j = -5*l - 77. Which is smaller: 32 or j?
j
Let m = -127/9 + 943/63. Is m at least -144?
True
Let x = -18/707 + 6299/53025. Suppose -m = 4*t + 128 - 132, 5*m = -3*t + 20. Which is smaller: t or x?
t
Let g be (-48)/(-1) + 3/((-6)/(-16)). Is g less than 65?
True
Let r(w) = -3*w**2 + 18*w + 5. Let h be r(6). Suppose -4*j - 181 = -5*m, -h*j - 3*m - 77 - 103 = 0. Let t be (-130)/40*(-1 + 13). Is t less than j?
False
Let l(w) = -w**2 + 8*w + 1. Let y be l(9). Let j = 10626 - 13069981/1230. Let m = j - 2017/246. Which is smaller: y or m?
m
Let v(o) = -o**3 - 17*o**2 - 30*o + 7. Let x be v(-15). Suppose -j - b - 2 = -x, 5 = -3*j + b. Which is smaller: j or -2/855?
-2/855
Let t be 3/12 - (-9)/12. Let f be (-2 - t) + 0 + 39. Let x = f + -39. Is x less than -3?
False
Let d(g) = 2*g**2 - 39*g - 668. Let r be d(45). Which is smaller: 1629 or r?
r
Suppose 26199 = -30*i + 9309. Let j = -567 - i. Is 11 smaller than j?
False
Let a be (-3711)/1239 + (-3)/(-1). Let c be (-39)/78 - 15/(-20)*(-2)/3. Is a <= c?
False
Let b = -26610 - -26610. Is -3/22295 <= b?
True
Let z = 2289 + -2327. Suppose 3*r + 4*h = 3*h - 119, 0 = -r - 2*h - 48. Is r > z?
False
Let m = 2282 - 3336. Let s = -3065/3 - m. Is 32 equal to s?
False
Suppose 580*m - 576*m + 14398 = -5*j, -3*j + 5*m = 8587. Is j at most as big as -2871?
True
Let t be (71/(9585/30))/((-10)/18). Which is greater: t or -69/20?
t
Suppose -4*t + 3*d + 16 = 0, 4*d + 10 + 2 = -4*t. Let g be (t - -12)/(4*(-3)/(-12)). Suppose -g*z - 852 = -7*z. Do -142 and z have different values?
False
Suppose 0 = -4*r - 2*b + 102, -r - 19 = 2*b - 49. Let j be ((-12)/(-16))/(3/r - 0). Which is smaller: 23/4 or j?
23/4
Let y = 0.159 + 220.841. Let j = -224.3 + y. Which is greater: -3 or j?
-3
Let g = -3239/6 + 508505/942. Let k = -6 - -6. Which is bigger: k or g?
k
Let o = 418 + -393.4. Let z = 24.8 - -5.2. Let m = o - z. Which is smaller: -1 or m?
m
Let a = 3.24 + -3.44. Let d = -11.2 - -15. Let b = d - a. Which is smaller: 5 or b?
b
Let q be 76/266 + (-5273)/18382. Which is smaller: q or 0?
q
Let s be (-85174)/111 - (-2)/(-3). Let t be 7/(-1) - 5368/s. Suppose -4*i = -3 - 1. Do t and i have the same value?
False
Suppose -683*s + 2*j = -687*s - 24, 0 = -4*s - 4*j - 36. Which is greater: s or -255/104?
-255/104
Let d be (-1 - -5) + (2 - 1). Suppose 0 - 70 = -3*z + b, 2*z - d*b = 38. Suppose 2*h = -3*i + 2 - 0, -2*i = -5*h + z. Is -3/2 > i?
True
Let v be -15 - (16 + -1)/(-3). Let x be ((-20)/425)/(2/v). Let w = 26 + -27. Is w greater than or equal to x?
False
Let x be (15/20)/((-1)/(-4)). Let o = 18 + -6. Let a be (-6)/o - 59/(-22). Is x > a?
True
Let v(l) = -347*l - 3122. Let x be v(-9). Which is greater: x or -33/454?
x
Let a(o) = -9*o + 450. Let z be a(50). Which is smaller: z or -1/16907?
-1/16907
Suppose -7*o + 4*o = -4*b - 656, 1116 = 5*o - b. Let n be (-10)/2 - 16/(o/833). Which is greater: 1 or n?
1
Suppose -2*g - 6 - 4 = 0. Let z(s) = 2*s**3 - s**2 + s + 4. Let o be z(-2). Let j = o + 18. Which is smaller: g or j?
g
Suppose 472 = -4*i + 13*l - 11*l, -484 = 4*i + l. Is -81 bigger than i?
True
Let u = -21.4 + 152.4. Let x = -128 + u. Is x less than -42?
False
Let v = -2814943/323 - -8715. Suppose -111*u - 2*k = -114*u + 17, k + 5 = -2*u. Which is smaller: u or v?
v
Suppose -7*h + 4944 - 1136 = 0. Suppose -h = -32*w - 0*w. Is w < 10?
False
Let l = -1449 + 1758.2. Let r = l - 309. Let m = -129/35 - -17/5. Is m greater than r?
False
Let k be 2*12/(-40) - (-4604)/(-110). Is -42 >= k?
True
Suppose 11*x = 12*x - 31. Let q = -44 + x. Let r = 12 - 23. Which is bigger: q or r?
r
Let h(b) = -b**2 - 14*b - 44. Let z be h(-9). Suppose 2*u = u + z. Is u not equal to 2.3?
True
Let s(y) = -196*y**2 + 304*y - 922. Let t be s(3). Is t bigger than -1773?
False
Let h = -85 + 83. Let f(z) = 3*z**2 - 23*z - 6. Let c be f(12). Let i be c/(-36) - 9/(-3). Which is smaller: i or h?
h
Suppose 4*j - 3*z - 170 = -208, -28 = 4*j - 2*z. Let u be ((-4)/(-1))/(1/(-12)). Is j less than or equal to u?
False
Let a = -2348 + 2399. Let q be 65/(-20) + -2 + 5. Which is smaller: q or a?
q
Let t(w) be the third derivative of -w**5/60 + w**4/2 - 7*w**3/2 + 52*w**2. Let u be t(2). Is u < -6/25?
True
Let m be 4/(-18) - -8*(-2645)/(-45). Which is greater: 477 or m?
477
Suppose -3*r = 3*t - 6, -5*t + 2 = -3*r + 8. Let z be 2 - (34998/7000 - r - 1). Let i = -30623/7000 - z. Which is greater: -4 or i?
-4
Suppose 225*m - 221*m + 3*v + 517 = 0, 379 = -3*m - 4*v. Are -124 and m equal?
False
Let q = 252 - 251. Let k be 456/(-936) - (-2 + q). Do 0 and k have the same value?
False
Let c(r) = r**2 + 26 - 20*r + 5 + 33 - 9. Let w be c(10). Is -43 > w?
True
Suppose 0*n = -4*n - 52. Let r(w) be the third derivative of -w**4/12 - 16*w**3/3 - 5*w**2 - 11*w. Let i be r(n). Which is greater: i or -4?
-4
Let d = 0.0051 - -0.0189. Which is bigger: d or -1/8?
d
Suppose k = 6*k - 2*b - 16477, -3*k + 9883 = 2*b. Let w = k - 382225/116. Which is smaller: 0.1 or w?
w
Suppose -g + 5 = m, -27*m + 25*m + 3*g = 5. Which is greater: 95/61 or m?
m
Let k = -0.1872 - -0.1432. Which is smaller: -41 or k?
-41
Let q = 10.95 + -10.95. Let i = 195 + -93. Is q greater than or equal to i?
False
Suppose -2*p + c + 765 = 134, p + 5*c = 343. Suppose 449*g - 287040 = -248*g - 200*g. Are p and g nonequal?
True
Suppose -44*s + 5341 = -9*s + 14*s. Is s at most 112?
True
Let d be (-1)/4 - 27/24*-66. Let x = 89 - d. Let y = x + -49. Which is greater: y or -31?
-31
Let c = 293521/214389519 - 16/12193. Which is bigger: 1 or c?
1
Suppose 17 = x - 3*u, -2*x - u + 2*u + 9 = 0. Let y = -587 + 593. Suppose -3*o = x*r - 4*o + 1, 5*o = -r - y. Is r equal to -2/17?
False
Let v = 79 + -75. Let y = -131 + 129. Is y at most as big as v?
True
Let z = -50 + 88. Let q(c) = -11*c + 3*c - 19*c - 158 - 3*c - 2*c. Let k be q(-5). Which is bigger: k or z?
z
Let l(t) = 10*t - 6. Let u be l(3). Let a = u + -33. Let y be (0 - (-1)/(-2))*(-2)/a. Which is smaller: y or 0?
y
Let t be (-23 - (-1342)/66)*102*1. Which is bigger: -268 or t?
-268
Let k = -5064 - -5064. Is 2/19827 at most k?
False
Let u be ((-1)/4)/(-27 + (-12610)/(-416)). Suppose -2*q - 3*o = 14, 3*q + 2*q - 4*o = 11. Is u not equal to q?
True
Suppose 5149 = -7*f + v, -4*f + 4*v - 7*v - 2928 = 0. Which is smaller: -728 or f?
f
Suppose k = -4*y + 16, -7*k - 12 = -2*k - 3*y. Suppose k = 19*a - 26*a + 609. Is 0 less than or equal to a?
True
Let t = 6704/3 + -2252. Which is greater: -1/9 or t?
-1/9
Suppose -3*j = 4*i + 26690, 5*i + 12956 + 20423 = -j. Which is smaller: -6676 or i?
i
Let y = 65.94 - -0.06. Let i = 27 - y. Is i equal to 1/2?
False
Let z(j) = -37*j - 333. Let w be z(-9). Which is smaller: w or -1/11066?
-1/11066
Let o be 10/25 - (-193)/5. Let v be o*((-4)/(-6) - 1). Let n = -11 - v. Is 0 bigger than n?
False
Let r = 24284 + -25558. Is r less than or equal to -1279?
False
Let i = -142/11 - -26. Let v be (-98)/(-28)*(1 - (-327)/21). Suppose 5*j - v = -4*t, 4*t = -t - 15. Are j and i equal?
False
Let m(a) = 6*a**2 + 513*a + 244. Let v be m(-85). Suppose -2*q + 7 + 7 = 0. Let z = -5 - q. Which is smaller: v or z?
z
Suppose -4*f + 3*y = -0*f + 20, 2 = 5*f + 3*y. Let l be 84/16 + f - (-6)/8. Which is smaller: l or 12?
l
Let c be (-41545)/20 + (34/(-72) - (-40)/180). Which is greater: -2078 or c?
c
Suppose 52*a - 284 = -19*a. Let x(j) = -j**3 - 4*j**2 + 6*j + 3. Let k be x(-5). Let v be k/a*4/46. Which is smaller: 0 or v?
v
Suppose 0*d - 109*d = 0. Is d smaller than -49/81?
False
Suppose 0 = k - 16 + 14. Suppose o - 45 = -3*w, 3*o - 149 = -k*w + 7*w. Let q = o - 38. Is q >= 14?
False
Let t = 1339 + -1479. Let g be (-1)/2*-6*-47. Which is smaller: t or g?
g
Let k = 4681.06 + -4681. Which is greater: k or -273?
k
Suppose 14 = 2*u + 4*r, 2*u + 22 = 5*r + 9. Is u at least as big as 14/33?
True
Let s = -105704/129 - 23/258. Do -819 and s have the same value?
False
Let y be (-1)/(2/((-4 - -2) + 0)). Suppose -9 = -2*n + y. Suppose -6*g = n*g - 121. Which is greater: 12 or g?
12
Let v = 41090/9 - 15226/3. Let z = 510 + v. Which is bigger: 0.0