e 3 and u non-equal?
True
Let t(x) = -x**3 + 19*x**2 - 9*x + 52. Let i be t(18). Suppose i = -13*p - 137. Which is bigger: p or -2?
-2
Let f(m) = -2*m**3 + 14*m**2 + 320*m + 336. Let k be f(17). Suppose -83 - 2 = -5*n. Suppose 0 = -4*a - n - 11. Which is greater: a or k?
k
Let d be 6/(-2) + (-4312)/(-1440). Let b = 119/180 - d. Which is bigger: b or 0.43?
b
Suppose 360*o - 184*o - 186*o + 17330 = 0. Which is bigger: o or 1724?
o
Let z be (440/(-25))/(5/50). Is -2 bigger than z?
True
Let f = 13 - 8. Let u = 911/297 + 35/27. Which is smaller: f or u?
u
Suppose 0 = -14*p - 574 - 126. Let w be p/(-6) - (70/(-6))/7. Which is bigger: -4 or w?
w
Let f = 12533 - 12534. Let q = -3449 + 231087/67. Which is smaller: q or f?
f
Let z be (-12)/(-15) - 32/(-10). Let u be z + (-159)/21 - -4. Let p be (-345)/(-24) - 21/56. Is p > u?
True
Let q = -9.5 + 8.9. Let g = -605.43 - -608. Let i = g + -2.6. Which is greater: i or q?
i
Suppose -5*b + 122 = -s - 0, 420 = -4*s + 3*b. Let m be s/(-10) + 9/(-45). Let t = -43.2 + 43. Is m less than t?
False
Suppose 0 = -18*v + 14*v + 2*o + 1056, 3*o = 12. Let y = 434 - v. Is y greater than 170?
False
Suppose 1202*l = 3573*l + 154115. Let n be ((-390)/4)/((-1)/(-2)). Let z = 131 + n. Is l less than z?
True
Let k = -5440 + 5252. Are k and -163 unequal?
True
Let a(c) = 4*c. Let g be a(-1). Let u be g - ((-8)/(-3))/(154/(-189)). Suppose -6*d - 4 = -2*d. Which is smaller: d or u?
d
Suppose -18 = -5*q + 2, -5*l = -4*q - 199. Let i = -9 - 35. Let h = i + l. Which is greater: h or -3/13?
-3/13
Let p(j) = -j**3 - 25*j**2 + 7*j + 718. Let b be p(-24). Is 0.072 != b?
True
Let v be (11/(-11))/(4823/77). Is v >= 0?
False
Let i = 13/5170 + -147841/1225290. Which is smaller: i or 1?
i
Let c(h) = h**2 - 101*h - 975. Let o be c(110). Which is greater: o or -4?
o
Let j(r) = -28*r + 21. Let f be j(24). Let a be ((-48)/(-72))/((-2)/f). Which is smaller: a or 215?
215
Let a = 20233 - 20664. Which is smaller: -7308/17 or a?
a
Suppose 0 = -g - 2*v + 7, -17*v - 5 = -3*g - 19*v. Let a = -501/10 - -50. Which is smaller: a or g?
g
Suppose d = 2*k - 4, -d = d + 4*k. Let u = 950/11 - 86. Let a = -41/22 + u. Which is greater: d or a?
a
Let t = -6069.933 + 6070. Which is bigger: t or -4.9?
t
Let v be 0 - 0 - ((-8 - -3)*1697 + -6). Which is bigger: v or 8492?
8492
Let s = -19.486 + 19.416. Is s not equal to -291?
True
Let l = 5/166 - -133283/498. Let z = l - 267. Let f = -18 + 48. Which is smaller: f or z?
z
Let t be 165/21 - ((-144)/28 - -5). Suppose -2*y - t = 16. Let r = y + 11. Is 2/257 <= r?
False
Suppose 5*g + 2*q = -2, -4*g - 2*q - 6 = -4. Which is bigger: g or 8/293?
8/293
Let l = 301/65 + -133/13. Let k = 12415 + -12422. Is l < k?
False
Let p = -12730 + 4340905/341. Let u = p - 42059/3069. Is -14 greater than u?
False
Let s be 3 + -2 + (-19)/1. Let g be (-3)/(0 + 5 - 6). Suppose -28 - 23 = g*x. Which is smaller: x or s?
s
Let d = -1.5 - 0.5. Let j = 2 + d. Let s = 239.1 + -239.08. Which is greater: s or j?
s
Suppose -r - 52*m = -56*m + 14, -2*r + 5*m = 13. Let u(c) = -c - 8. Let q be u(-4). Let z be (q - 11)*4/r. Which is smaller: z or -2/7?
z
Let o be (-53 - -52)*(13/(39/(-612)) + 1). Is o less than or equal to 191?
False
Let t = -134/3 - -45. Let b = -32 + 31.987. Which is greater: b or t?
t
Let c = -2/164379 + 659842/191172777. Which is greater: -2 or c?
c
Let y = -0.095966 + 61.095966. Let t be 0 + (0 - -1) + 0. Which is greater: t or y?
y
Let f be ((-14)/(-6))/(52/(-48) + 1). Suppose -2*i = -21 - 37. Let u = i + f. Which is bigger: -3/35 or u?
u
Suppose 96 + 141 = -h. Let r = -709/3 - h. Is -13 at least as big as r?
False
Let b(k) = -20*k**2 - 341*k - 15. Let c be b(-17). Which is smaller: 22/21 or c?
22/21
Let u = -0.7 + -0.3. Let o = 4032.6 - 3920.6. Which is smaller: u or o?
u
Let x be -3 + -8 + 15 + (-3 - 1). Let l = -2 - x. Is 1/18 equal to l?
False
Let v = -1627/20025 - -1/801. Let x = -26149/63 + 2907/7. Is v < x?
True
Let b = -20.8652 + 18.7352. Suppose 3 - 13 = 5*n. Which is greater: n or b?
n
Let j = 249 + -109. Let f = 80 - j. Let l = 60.1 + f. Is 14/3 not equal to l?
True
Suppose -55*q = 266495 - 38100 + 87910. Which is smaller: -5750 or q?
q
Let v be -2 + (-192)/(-104) - 3/((-117)/109362). Is v greater than 2803?
True
Let r(f) = 5*f**2 - 97*f + 18. Let j be r(18). Let m = j + 10. Which is bigger: m or -99?
m
Let a be 260/91*((-9)/6 - 2). Let r = 20 + -9. Let x be (r/(-22))/(1/20). Is x at most as big as a?
True
Let w = 29.947 - -0.053. Let d = -1.556 + -34.444. Let j = w + d. Is -0.2 bigger than j?
True
Let t(w) = w**2 + 28*w + 156. Let g be t(-20). Let l(z) = -z + 2. Let m(y) = y - 1. Let j(s) = -5*l(s) - 6*m(s). Let h be j(g). Which is greater: h or -3?
h
Let d = -6201.88627 - 0.11373. Is -0.1 equal to d?
False
Let i = -10530 - -10537. Let c = 67/15 - 34/15. Is c > i?
False
Suppose -s = -8 + 10, -454 = -2*w - 2*s. Suppose 0 = 17*q - 519 - w. Let o be (315/(-28))/(1/(-4)). Which is greater: q or o?
o
Let a = -16 - -15. Let z be (2 + (-38)/20)*6. Let b = -19/15 + z. Which is bigger: b or a?
b
Let v = -0.0504 - 0.4496. Is -4.07 at least as big as v?
False
Suppose -5*g = -3*m - 13, 5*g + 5*m - 3 = 2. Suppose -16 + 7 = 3*i, g*o + 5*i = -19. Let f = 13 + -21. Does o = f?
False
Suppose -294*y - 474 = 6*y - 63*y. Let a(j) = 8*j**2 + j - 1. Let s be a(3). Which is smaller: s or y?
y
Let i be (-222)/(-858) + (-4)/22. Suppose 0 = 10*q - 5*q - 25. Let y be 0/((-3)/(15/q)). Are i and y equal?
False
Let i = -19771 - -19785. Is i equal to 537/37?
False
Let y(f) = 24*f**2 - 175*f - 173. Let l be y(-1). Suppose -4 = -5*t + 151. Which is smaller: l or t?
l
Suppose 5*n = 5 + 5. Suppose 0*h - 10 = -n*h. Suppose -92 + 23 = -3*o + 3*u, -h*u + 17 = o. Is 24 < o?
False
Let s = -0.15 - 0.09. Let y = -4.2639 + -5.7361. Which is smaller: y or s?
y
Let t = 15.251 + -15.98. Let r = -0.79 - t. Let z = r + -4.939. Is 1/2 at least z?
True
Let x = -379.446 - -379. Let u = 0.47 + x. Let l = -0.024 + u. Is -2/7 greater than or equal to l?
False
Let g = -103/35 + 4/5. Let c = -830 + 828. Which is bigger: g or c?
c
Let c = -15049/5 - -2945. Which is smaller: c or -65?
-65
Let y = 1/417 - -617572/2085. Let l = y + -295. Let i(z) = z + 7. Let h be i(-6). Are l and h non-equal?
True
Let z = 110.338 + -111. Let q = z + 0.562. Let r be (5 - (-4 + 2))/(-3). Which is bigger: r or q?
q
Let f be ((-18)/144 - 6/80) + 1. Is -0.577 greater than or equal to f?
False
Suppose 7*r - 21 - 7 = 0. Let o be -2*(18/2)/((-4)/r). Is o >= 19?
False
Let o = 10631 + -10630. Which is greater: 9368 or o?
9368
Let d be ((-156)/(-9))/(-4)*171 - -8. Is d at least -733?
True
Let l be 3/10*-1*2*262/(-786). Which is bigger: -404/5 or l?
l
Let a be (12/14)/(603/(-126) + 5). Suppose a*x + 8*k - 3*k - 85 = 0, 2 = 2*k. Which is bigger: x or 37/2?
x
Let r be -2 + 4 + 44*35/14. Suppose r*v = 117*v - 20. Is v < 0?
False
Let h(v) = 2*v - 23. Let f be h(-7). Let q = f + 39. Suppose 4*s + 3*k = 3, -3*k = -q*s - 5*k + 4. Which is smaller: s or 0.3?
s
Suppose -h - 399 = 5*j, 3*j = 4*h - 7*h - 1149. Let g = 385 + h. Which is greater: 8 or g?
8
Let d be (6 - (3 - -4))/((-1)/(-12)). Let j be (-16)/(-196)*3/d. Is j bigger than 0?
False
Suppose -b + 6 = 4. Suppose -4*q - b*x + 414 = 0, 5*q - 137 - 388 = -5*x. Let w be 9/(-42)*(-4)/3. Are q and w nonequal?
True
Let x be 2/((-18)/117) + (-5 - 0). Let y be 20/(-90) + (-22)/x. Is 1/591 < y?
True
Let g be (19 - (-2)/(-2))*15/(-30). Let u be g/(-30)*5 + 3. Which is bigger: 4 or u?
u
Let d(k) = k**3 + 7*k**2 - 18*k. Let y be d(-9). Let c be (1 + y - 4)*(5 + -8). Let z be ((-28)/(-24)*4)/(30/c). Which is smaller: z or 2?
z
Suppose 54*l + 7*l = -30*l + 4095. Are l and 87 unequal?
True
Suppose 52*o + 10*o - 248 = 0. Suppose -o*l + 3*z + 5 = 8, -z = -l - 1. Are -4/285 and l equal?
False
Let b = 2116 + -1936. Let k = 0.08 - 0.28. Is b equal to k?
False
Let v be (1/34)/((-9)/(-24)). Let f = -161/102 + v. Let t = 182 - 185. Is f greater than t?
True
Let o be 6/21 - 136/(-14). Suppose -16 - o = 2*d. Suppose 0 = 3*p - 3*w + 66, 40*w - 10 = 39*w. Is p at most as big as d?
False
Suppose 0 = 3*t - 2*i + 1, 0 = -4*t + 3*i - 0 - 1. Let z be t/(3/27*(-3)/(-14)). Let j = -41 - z. Is j smaller than 6/7?
False
Let n(q) = 2738*q - 10517. Let k be n(6). Which is smaller: 5909 or k?
590