 is greater: 54 or r?
54
Let i(n) = -11*n**2 - 223*n - 243. Let l be i(-20). Which is bigger: -173 or l?
-173
Let u = -13158 - -12444. Which is smaller: u or -717?
-717
Let z = -735 + 662.6. Let n = -72 - z. Let f = 30 - 181/6. Is n smaller than f?
False
Let i = 15231 + -15231. Which is smaller: 9818 or i?
i
Let n = -1.8 - 5.2. Let h = -76189/4 + 19367. Let x = -320 + h. Which is smaller: n or x?
n
Let t = -417529/12 + 34814. Which is smaller: 19 or t?
19
Let u be (-130)/(-52)*(-152)/(-10). Is 47 not equal to u?
True
Let p(y) = -22*y + 1787. Let w be p(81). Which is greater: 9 or w?
9
Let j = 29295 + -25921. Which is greater: 3375 or j?
3375
Let k = 265 + -251. Suppose -20*n - k*n = -10*n. Is n greater than or equal to 1/158?
False
Suppose 3*f + 4 = 2*f. Let k = -2/3365 + 30419/225455. Let q = -1411/469 - k. Which is smaller: f or q?
f
Let x = 6594193 + -85653580/13. Let g = 5439 - x. Is g not equal to -16?
True
Let c = -2092025/1719 - -1217. Is 0 greater than or equal to c?
True
Let s(h) be the third derivative of h**6/120 + h**5/5 + 13*h**4/24 + 2*h**3 + h**2. Let o = 122 + -133. Let b be s(o). Which is greater: -11 or b?
b
Let m = -8.57 - 594.43. Let w = -542 - m. Is 0.2 at most w?
True
Let f(q) = 9*q + 1714. Let z be f(-52). Is -2/5 less than or equal to z?
True
Let i be (86/12)/(-1) - 70*(-18)/180. Which is bigger: i or -792?
i
Let v = 10120 - 252999/25. Is v <= 0.088?
True
Let t(q) = 7*q + 12. Let k be t(-8). Let p be (k/20 + 2)/(2/(-30)). Which is smaller: p or 3.8?
p
Let u = 2570 - 2781.4. Let c = 211 + u. Which is smaller: -22 or c?
-22
Let t(w) = -w**2 - 7*w - 2. Let x be 9*(16/(-12) - -1). Let u be t(x). Suppose 0 = -105*r + 91*r + 154. Are u and r nonequal?
True
Let p = 20829 - 19717. Is 4443/4 less than or equal to p?
True
Suppose 2*q + 267 = 5*n, 5*q + 13*n - 10*n + 745 = 0. Which is smaller: q or -111?
q
Let x = 562 - 394. Let s = -252 + x. Is -85 > s?
False
Let m be ((-3)/(-2))/(-3)*-2. Let f be (-12)/(-22) - ((-1959381)/(-10956))/((-6)/8). Which is bigger: f or m?
f
Let x be -5*((-2448)/(-5040) + (-2)/7). Which is greater: 1/14869 or x?
1/14869
Let z be 2/10*((-1022)/(-112) + -11). Which is greater: 0.116 or z?
0.116
Let f = 16.162 + 64.808. Let r = -0.17 + 0.14. Let d = f - r. Is d equal to 1/3?
False
Let a be 1209/(-9)*126/84 - (-7 - -2). Is -196 at least a?
True
Let l(c) = -52*c - 42. Let r be l(-1). Suppose -3*d + 9*j = 4*j - 40, 2*d = -4*j - r. Which is greater: d or 6?
6
Let f(g) = -355*g - 1226. Let k be f(-6). Is k equal to 902?
False
Let m = -0.202 + 83.202. Let z = -82.8 + m. Which is smaller: -92/7 or z?
-92/7
Suppose 0 = -3*g + 4*n + 51, 37 = 4*g + 3*n + 2*n. Suppose 41 = c + g. Is c smaller than 3?
False
Let g(z) = 3*z - 9. Let m be g(4). Let c = 2557/6 - 423. Which is bigger: m or c?
c
Let p be (-186)/(-14) + 4/(-14). Let u be (-3 - -7)/((-27 - -24)/3). Is p less than or equal to u?
False
Let r(c) = -61*c + 2620. Let n be r(40). Which is bigger: n or 4?
n
Suppose 9756 = 237*f - 219*f. Which is smaller: 543 or f?
f
Let y be -3 - (-45)/10 - 15/6. Is y at most as big as 12/61?
True
Let p = -671528 - -7380682/11. Let x = p + 556. Let k = 47/33 - x. Which is greater: 2 or k?
k
Suppose -34*k + 10204 - 3336 = 0. Is 203 at most as big as k?
False
Suppose 4*x = 4*p + 500, -3*p - 368 = 4*x - 0*x. Let s be (2/(-5))/(p/40 + 2). Let o = 26 - 25. Is o at least s?
True
Let u = 15.163 - 15.4. Let o = 0.18 + u. Is -1/2 < o?
True
Let p = 304953/1996 - 16/499. Which is smaller: p or 153?
p
Let z = 70 - 86. Let r be (552/z)/(0 + 3). Let b = -49/4 - r. Which is smaller: -2 or b?
-2
Let n be (21/(-420))/((-8)/(-30)). Let x = -3.713 + 5.713. Are n and x nonequal?
True
Let c = 1369129889/722653 - 32208/17. Which is greater: 0 or c?
c
Let v be ((-28)/16)/((-13)/(-104)). Let i(p) = 2*p + 38. Let n be i(v). Is 10 > n?
False
Let g be 1 + (-16 - 891/(-57)). Which is smaller: 0 or g?
0
Suppose -54*h + 90 = -24*h. Let c(z) = 3*z - 15. Let b(s) = s - 7. Let y(l) = 5*b(l) - 2*c(l). Let a be y(h). Do -1 and a have the same value?
False
Let i = -680 + 624. Let p be -2 + i/8 + (1 - -4). Which is smaller: p or 3?
p
Let m be 68301/(-207) + 9/(-207). Is m equal to -332?
False
Let b(n) = -5*n**2 - 84*n + 16. Let i be b(-17). Which is smaller: -13/219 or i?
i
Suppose 0 = -7*v - 0*v + 2*p + 4625, -1326 = -2*v - 4*p. Is v smaller than 661?
False
Suppose 4742 - 25746 = 4*s + 22328. Are -10833 and s unequal?
False
Suppose 0 = 2*s - 4*s - 2*l + 24, 3*l = 5*s - 52. Let h = -41 + s. Which is bigger: h or -34?
h
Suppose -21 = -5*o + l, l - 5*l - 20 = -4*o. Suppose o*k = 12, -6*q + 2*q + 2*k = 10. Let r be 3/(-2) + (-180)/(-200). Is r at most q?
False
Let f be (-910)/562926*6/(-5). Suppose -l + 1 = -1, -4*h = l - 2. Which is smaller: f or h?
h
Suppose 2*f + 16*f - 147420 = 0. Let v be 1600/f + (-8)/(-52). Is v greater than 0?
True
Let k(j) = -2*j**2 + 8*j - 11. Let f be k(2). Let b be (-1 - 29)*(f - -11 - 7). Is -32 not equal to b?
True
Let a = 3326514 - 199477627/60. Let j = a - 3779/2. Let n = j - -11/4. Which is greater: -1 or n?
n
Suppose 2629 = -26*j + 3709 + 13064. Is -0.2 less than j?
True
Let d = 2992 - 38918/13. Let y = -31 + 36. Suppose 2*h + 2*h = y*v - 10, h + 13 = -4*v. Which is smaller: d or v?
v
Let b be (10/(-4050))/(3/(-6)). Let t = -139/810 + b. Does t = -0.4?
False
Let w = -1.6885 + 22.8119. Let h = -0.0234 + w. Let u = h - 3.1. Which is smaller: u or 1/2?
1/2
Suppose -19175 - 11358 = -19*l. Is l at least as big as 4822/3?
False
Let m = 55 - 54.9. Let i = -0.68 + 40.18. Let g = i + -38. Which is smaller: g or m?
m
Suppose -5*i = q - 2 - 27, 3*q - 5*i - 187 = 0. Suppose -4*l + 34*u - 31*u = 62, -u - q = 4*l. Which is bigger: -0.02 or l?
-0.02
Let f = -227.06459 + 226.98. Are -1/4 and f equal?
False
Let y(i) be the first derivative of i**4/4 - i**3 - 3*i**2 - 10. Let b be y(6). Let u = -72 + b. Which is greater: 1/39 or u?
1/39
Let a = -686 + 680. Let k be (a/(-4))/((-12)/(-14))*124. Is 219 greater than k?
True
Let j be (-6 - 11)*(3 + -2). Let g = 10 - -2. Let c = g + j. Is -38/7 less than c?
True
Let u be 5136/90*(-4)/28*6/(-12). Which is bigger: 5 or u?
5
Suppose -4*y - 16 = -24. Suppose -4*s - 2*w = 2*w + 8, -5*w = y*s + 4. Which is smaller: s or -11/14?
s
Let m = 201.2 - 234. Let f = m + 33.8. Are -2/11 and f non-equal?
True
Let l = 4703 + -4726. Which is smaller: -16 or l?
l
Let q(d) = 16*d**2 + 7*d - 5. Let h be q(5). Suppose 20*g + 16*g - 4141 = 11339. Is h at least g?
True
Let b be (7 + -1)*10/(-4). Let i = -313498 - -2821352/9. Which is greater: i or b?
i
Let d = -285 - -287. Suppose 0 = -n - 3*x + 130, 2*n + d*x - 266 = -14. Is 125 less than n?
False
Let t(r) = 6*r**3 - r**2 + 10*r - 24. Let i be t(4). Suppose -342 = -2*v - i. Let z be ((-66)/(-4))/((-9)/12). Is z at most v?
True
Let c = 166.6 - 159.6. Are 117/10 and c unequal?
True
Let u = -8/1075 - -148726/50525. Which is greater: u or 2?
u
Let s = 110 - 103. Suppose 0 = -5*a + 20, 3*q - 5*a = -s - 10. Is q at most 13/12?
True
Let a = 18 - 19.6. Let c = -1085.3 + 1087. Let x = c + a. Which is bigger: -24 or x?
x
Let i = -459 + 432. Which is bigger: i or 146?
146
Let o = 203 + 238. Let k = 442 - o. Is k at least as big as -2/243?
True
Let n be (-58)/14 - (3 + -2)*-4. Suppose -2*y + 4*c = 4 + 14, 2*y - 10 = -3*c. Let v be (-2)/(-20) + y/2. Are v and n unequal?
True
Let d be (-277)/(-3097) - (-1)/(-19). Is 0 at least d?
False
Suppose -11*r - 11*r = -616. Let q be 2348/126 + r/126. Are 20 and q unequal?
True
Let h be (112/35)/((-8)/20). Let t be h/1 - (118 + 2). Which is smaller: -130 or t?
-130
Let d = -2815 - 275. Let u be 6/(-33) + d/66. Let s = 47 + u. Which is greater: 1/17 or s?
1/17
Let k = 2143 + -2142.634. Which is smaller: k or 6?
k
Let t be 63/(-3) + 1444621/68870. Is t <= -1?
False
Let u = 3165.299 + -3168. Let t = 0.299 - u. Is t > 15/4?
False
Suppose -3*m - 6 = -5*x - 3, -2*x + 3 = -3*m. Let n(o) = -o - 63. Let f be n(10). Let v = 63 + f. Which is bigger: m or v?
m
Let n be (-80)/(-96) + (-3185)/6. Let y be (-3)/((-30)/(-4)) - n/(-50). Which is greater: y or -2/35?
-2/35
Let g = -0.3965 + -333.7035. Let k = g - -334. Which is smaller: k or -175?
-175
Let u = 19.42 + -19. Let z = -1075 + 715. Let h = z + 360.1. Which is smaller: h or u?
h
Let n be (8 - 70/((-56)/(-8)))/