(-215)/k. Suppose p + 4*p = 5*w + 10, -o*p + 2 = -3*w. Which is smaller: p or -3?
-3
Let j = 2645.01 + -2624. Let m = -0.01 + j. Let p = m - 21. Which is smaller: p or -5?
-5
Let f be ((-8)/(-7))/((-667)/51359). Let y be -88 + 2*(-2)/4. Is y at least as big as f?
False
Let l = 13.52 + 3.88. Let q = -10.6 - l. Which is smaller: -2/7 or q?
q
Let l(s) = 2*s**2 - 42*s - 1892. Let t be l(43). Which is greater: t or 48/1537?
48/1537
Let u(k) = -k**3 - 18*k**2 + 19*k - 2. Let f be u(-19). Let l be 43/(-2*f/(-24)). Let q be (36/(-16) + 2)/(l/24). Which is smaller: q or 0?
0
Let d(i) = -i + 1. Let l(b) = -b**3 - 10*b**2 + 24*b - 31. Let c(z) = -4*d(z) - l(z). Let v be c(-12). Let t be 0/3 - (-115)/(-5). Which is greater: v or t?
v
Let p be (-1)/2 + (-6)/(-8). Let f = -294 - 6. Let d = f - -310. Are d and p equal?
False
Let m = -7706 + 7706.2. Which is smaller: m or -4321?
-4321
Let o be 18575 + (-27)/(5 + -2)*8/12. Which is greater: 1 or o?
o
Let o be (-40 + -2)/((14/21)/(68/(-6))). Which is bigger: 715 or o?
715
Let n(a) = 17*a**2 - 1044*a + 35 + a**3 + 1032*a - 21*a**2. Let u be n(5). Which is smaller: u or -163?
-163
Suppose -472 = 2*n - 158*r + 155*r, -2*r = 3*n + 695. Which is greater: n or -465/2?
-465/2
Let s be 98/42*(-292361)/(-209). Let r = s + -3264. Is -1 greater than r?
False
Suppose 12 = 4*c, -3*c + 30 = 2*m + 13. Let k be -1*1/m - (-34)/72. Is k at most -2/33?
False
Let y = -6181 + 4388. Is -1795 at least as big as y?
False
Let r = 10808.7 + -10809. Is 15.72 bigger than r?
True
Let w = -25795 + 25774. Which is smaller: w or -0.33?
w
Let v be -3 - ((-15)/((-270)/4) - 3455/(-45)). Do -65 and v have the same value?
False
Let o be (5/(-70) - 225/(-42))*7. Does o = 34?
False
Let c(h) = 3*h**3 - 47*h**2 - 65*h + 11. Let z be c(17). Are 62 and z equal?
True
Let i = -1.316 - -3.316. Which is smaller: 1430 or i?
i
Suppose -2*i - 2*i + 1936 = 0. Suppose -i - 484 = 8*h. Do -120 and h have different values?
True
Let b = 1.4 + 0.6. Let f = b - 1. Let x = 19.48 - 32.48. Which is bigger: f or x?
f
Let d = 81 - -1495. Is d equal to 1576?
True
Suppose -191*d - 761 = 956 - 7065. Which is greater: 78 or d?
78
Suppose -3*m + 30 = 2*m. Let k(l) = l**3 - 5*l**2 + 6*l - 4. Let i be k(m). Let o(z) = z**3 - 67*z**2 + 468*z + 305. Let v be o(59). Is i <= v?
True
Suppose 4*y - 2*y - 3*x = -527, 2*x = -y - 260. Let w = 281 + y. Is 19 at most as big as w?
True
Let p be 459/6*(5 - (168/(-9) - -11)). Is p > 958?
True
Let k be (0 + 5)/(15/(-8760)). Let c be 2/11 + -8 + k/(-374). Suppose 5*u = u + 20, -10 = 4*a - 2*u. Which is bigger: a or c?
a
Suppose 1180*d - 1183*d = 2517. Is d less than or equal to -842?
False
Let d(a) = a**3 + 29*a**2 + 28*a - 76. Let s(x) = x**3 - 2*x**2 - 2*x + 11. Let p be s(-3). Let b be d(p). Do -75 and b have the same value?
False
Let h = 1065.186 + 6.814. Which is smaller: h or 3?
3
Let c = -503351 + 985553/2. Let w = -2009059/190 - c. Let p = 2/19 - w. Is 0 != p?
True
Suppose 0 = -11*b + 1092 + 503. Suppose -146*h + 20 = -b*h. Suppose k = h*k. Which is smaller: k or -5?
-5
Let r = -103.1 + 109. Let q = -5.8 + r. Is q not equal to -0.028?
True
Let v(a) = -14*a - 6. Let p be v(2). Let z = p - -216. Let o be (-2)/z*70/(-20). Do o and 1 have different values?
True
Let n = -25442/23 - -1106. Let i(k) = -2*k**3 - 3*k**2 - 2*k + 1. Let w be i(-2). Let g = w - 8. Is n at most g?
True
Let n = -401 - -1474. Suppose -n = 7*i + 187. Which is smaller: 1 or i?
i
Let r be ((-27)/45)/(738/820). Let o = -7 - -58. Is r bigger than o?
False
Suppose -y - 9 = -5*y + 3*v, -3*v = 2*y - 9. Suppose -y*i + 5*h + 43 = -i, -i + 2*h + 20 = 0. Suppose j - 25 = -3*d + 5, -55 = -4*j + d. Is j equal to i?
False
Suppose -2*x - 3*x + 190 = 0. Suppose -20 = -5*z, v - 3*v + x = -4*z. Let a = -21 + 46. Is a <= v?
True
Suppose -12*i + 15*i - 11*i + 176 = 0. Suppose c = -2*c + 306. Suppose v = -q + 26, -5*q - 2*v + c = -4*v. Is i greater than q?
False
Suppose 5*h - 15462 = -2*a, -499*a - 7730 = -500*a - 3*h. Is a smaller than 7735?
False
Suppose 15*p - 14*p = -3*h + 9, -3*h + 9 = 5*p. Is p less than -2/2821?
False
Let t(b) = -162*b + 36. Let d be t(1). Which is greater: -122 or d?
-122
Let q be (-9 - -3) + 37/(-46)*-4 + 3. Suppose -2*u = 3*u + 2*x + 1, 0 = 5*u + 5*x - 5. Is q less than or equal to u?
False
Suppose 0 = 2*t - 0 - 0. Let w be 144/(1 - -3) - 1. Let l be t*(w/15 - 2). Do 1 and l have different values?
True
Suppose -278 = -3*a - 53. Let c be ((-5)/(a/6))/((-3)/195). Let n be 18*((-136)/24 + 7). Which is bigger: n or c?
c
Let h be 3/(0 + 10/2)*40. Suppose 0*i + h*i = -360. Is i at least -25?
True
Let w = 1 + 0. Let k = 7.9 - 8.107. Let u = k + 0.107. Is w != u?
True
Let k = 5061 + -5026. Let v(c) = c + 2. Let f be v(-4). Let i be (-973)/k - (f - 33/(-15)). Is i at least as big as -28?
True
Let g = -10 + -5. Let y = 13 + g. Suppose 2*h - o = 11, 3*o + 25 = 5*h - 0*o. Is y less than or equal to h?
True
Let b(s) = 2*s + 5. Let p be b(4). Let x = -129 - p. Which is smaller: -141 or x?
x
Suppose 14 + 11 = 5*i. Let d(c) = 4*c**2 + 364*c + 1. Let g be d(-91). Is g greater than or equal to i?
False
Let a be (2984/(-34) - (-9 - 10/(-1)))*-2. Is a greater than or equal to 178?
False
Let t = 414393/1144 + -4726/13. Which is smaller: t or -1?
t
Suppose -4*x = 3*n - 29, -4*x + x - n = -23. Let t(o) = 13 - 5 - x - o**2. Let v be t(0). Which is smaller: v or 41?
v
Let h = -7501 + 7448. Which is smaller: -50 or h?
h
Let r be 4 + -11 + 6 + 46. Suppose -87*x + 96*x = -r. Is x at least -4?
False
Let b be -1*(-84)/(-140) - -147*(-2)/10. Are -92/3 and b unequal?
True
Let b be (11/22)/((-66)/220 + (-2)/10). Is 12/1297 >= b?
True
Let d = -59372437/554598 + -20/30811. Let n = 107 + d. Is 0 smaller than n?
False
Suppose 2 + 26 = -4*b. Let k be -6 + 4 + 39/3*2. Suppose -4*p + 0*p + k = -3*t, 0 = -5*t - p - 63. Is t bigger than b?
False
Let r = -0.02 + -1.48. Let l = 14496.87 - 14496.8. Which is smaller: l or r?
r
Let d be -2*5/20 + (57969/(-12942) - -5). Is d less than or equal to -1?
False
Let n = -18.736 - -31.736. Which is greater: n or 4/111?
n
Let m = -113 + 94. Let s be (-2)/(30/m) - 99/165. Which is bigger: 118 or s?
118
Let u be -4 + 87 + (0 - -2). Are 8 and u unequal?
True
Let f = -1543.0901 - -1543. Let r = -0.0099 + f. Which is smaller: 20 or r?
r
Let b = -291361 - -291362. Let z = -20 - -28. Suppose -3*q + 4 + z = 0. Are b and q non-equal?
True
Suppose 2*v = 27 + 43. Let g be (-3 + 1)/(3 - v/11). Which is smaller: 37/3 or g?
g
Suppose 4510 = 16*i + 574. Which is smaller: i or 261?
i
Let n = -7 + 15. Suppose 2*l + 0 = 18. Suppose -n*p - l = -5*p. Which is smaller: p or -12?
-12
Let f(c) = -8*c**2 + 283*c + 110. Let k be f(34). Which is smaller: 2427/5 or k?
k
Let d = 2.1 - 1.98. Let n = -0.88 - d. Let y = -23.1 + 24. Do n and y have the same value?
False
Let v be -3 - ((-5720)/(-136))/(-5). Are v and 6 nonequal?
True
Let b be -1 + (1038/(-8))/(171/1140). Which is smaller: -1 or b?
b
Let g = 25733 + -25687. Are g and 43 non-equal?
True
Let d = -6.9421 - -0.4421. Let h = 56 + -49.9. Let t = d + h. Which is greater: t or -5?
t
Suppose 2*b + 0*b = -10. Let y be -25 + 47 + (-4 - 15). Which is smaller: b or y?
b
Let y = 1.187 - 1.187. Which is bigger: 175 or y?
175
Let s(x) = 4*x**2 - x - 5. Let l be s(4). Let j = 56 - l. Let t(i) = 75*i**3 + 3*i**2 - i - 1. Let p be t(j). Which is smaller: 77 or p?
p
Let v(n) be the second derivative of n**4/12 - 3*n**3/2 - 5*n**2 + 2*n. Let f be v(10). Let b = -92/385 - -2/35. Is b >= f?
False
Let q(z) = -34*z - 71. Let l be q(-2). Let u(h) = 5*h + 93. Let d be u(l). Which is smaller: 77 or d?
77
Let i = -748 - -766. Let c be 2/(-4) - (-20)/24. Is i greater than or equal to c?
True
Let b be 3*((-20)/12 - -5). Suppose -b + 9 = u. Do -7 and u have different values?
True
Let c = -427/1245 + 4/415. Which is bigger: c or 3/599?
3/599
Let h(s) = s**3 - 63*s**2 + 117*s + 491. Let x be h(61). Let i be 185 - 2*3/(-6). Does x = i?
True
Suppose m - 24*m - 19603 + 72756 = 0. Are m and 2309 non-equal?
True
Let i(z) = -z**2 + 9 + 0 - 2*z + 5 - 11. Suppose 32 = -4*k - 4*a - a, 3 = -5*k + 3*a. Let m be i(k). Which is smaller: m or 5?
m
Let p = 1987.5277 + -1987.6. Is 1/10 != p?
True
Let h = 5755/4 - 1350. Let n be 210/325 + 4/26 + (-7848)/(-90). Which is greater: h 