 m(p) = -6*p - 109. Let x be m(-20). Let c be 2/(-4)*(8 + (5 - x)). Is c less than or equal to -74?
False
Let r = -773 - -7723/10. Let o be 3/40 - (-44)/88. Let p = o + r. Which is smaller: p or -1/2?
-1/2
Let o(f) = -57*f**2 + 2*f + 4. Let c be o(-2). Let b = -72 - c. Which is smaller: 155 or b?
155
Let b = -27983/15 - -4816/5. Let f = b - -903. Is 14 greater than f?
True
Let p = 6400 - 57598/9. Is p less than -203?
False
Suppose 2*k = -5*f - 22, -5*f - 3*k = 2*k + 10. Let j be (-4)/(-14) - (-1)/f. Let p = 377/2814 - j. Which is greater: -1 or p?
p
Let t be 2/(-12) - (-1)/(28/(-154)*3). Is -38/33 at least as big as t?
True
Let c = 6496 + -38975/6. Which is smaller: 20 or c?
c
Let g = -1221855/208 - -74836/13. Which is bigger: -117 or g?
-117
Let p(w) = 6*w - 102. Let k be p(18). Let q be k/55*1/3. Do q and 0 have the same value?
False
Let t be 6379/(-9) - ((-220)/(-99) + -2). Let z = t + 81532/115. Is z not equal to 0?
True
Suppose 3*t + 3*k - k = -242, 0 = -t + 2*k - 94. Let u = t + 83. Let s be (1 - u - -7)*(-2)/16. Are 0 and s non-equal?
True
Let i(u) be the second derivative of -u**5/20 + u**4/3 + u**3/6 + 4*u**2 + 4*u. Let a be i(4). Suppose -10*y - 4 = -a*y. Is y < -3?
False
Let s(r) = -161*r**2 + 33*r - 56. Let u be s(-8). Are u and -10626 nonequal?
True
Suppose 4*a = 5*o - 240, 0 = a + 5. Suppose 0 = 551*p - 8842 - 14851. Are o and p unequal?
True
Suppose -4*k + 2*k = -12. Let g be (324/10)/((k + -15)/(-45)). Which is bigger: g or 161?
g
Suppose x - 6 = 2*y - 5*y, 0 = 4*y - 5*x + 11. Let t(s) = -s**2 + 12*s + 10. Let o be t(13). Let c be y + o - 2/4. Are -2/5 and c equal?
False
Suppose -11 - 1 = -3*r, 3*q + 3*r = 0. Let k(w) = -w**3 - 5*w**2 - 5*w - 4. Let n be k(q). Let p = 3 - 4. Which is smaller: p or n?
p
Suppose 31 = -4*v - 61. Suppose -1020 = 1674*u - 1691*u. Suppose -y + 38 = u. Which is bigger: v or y?
y
Let u = 3636766/495 + -7347. Let q = 9627 + -9626. Which is smaller: u or q?
u
Suppose -3*b = 7 + 5, -5*z + b = -149. Suppose -5*w + z - 6 = 3*l, w = 4*l. Suppose 5*p + 69 - 4 = -4*v, 0 = -2*v + w*p. Are -2 and v equal?
False
Let b be 2196/(-10) + (-36)/270*1*-3. Which is greater: -220 or b?
b
Let i = -34458 - -13150. Is -21307 equal to i?
False
Let r(z) = -78*z + 534. Let t be r(4). Is t greater than or equal to 223?
False
Let d = 2164.3 + -2164. Is d at least 34/7?
False
Let c = -30257696 + 2753412937/91. Let z be 2/3 + (-2462)/(-6). Let v = c + z. Is 0 at most v?
True
Suppose g - t + 4*t - 75 = 0, 5*g = -t + 389. Suppose -14*m + g = -m. Suppose -12 = -3*q - 0. Is q < m?
True
Suppose j + 5*l - 5 = 0, -3*j - l - 49 = -2*l. Let p = -9 - j. Suppose 4*t - t = 30. Is t < p?
False
Let f = -1054561/146 + 7223. Is 1 > f?
True
Let i = -0.157 - 117.843. Let m = i - -123.7. Let o = m + -5.6. Which is smaller: o or -2/5?
-2/5
Let l(u) = -u**3 - 11*u**2 - 7*u + 34. Let a be l(-10). Suppose -4 = a*f - 2*w, 0 = 4*f + f - 2*w + 5. Is -4/45 less than or equal to f?
False
Let v(p) = 194*p**2 - 686*p - 12. Let n be v(3). Which is greater: n or -318?
-318
Let u be (-81632 - -6)/((-114)/(-5)). Let x = 3580 + u. Is x equal to -1?
False
Let m(d) = -d**3 - 13*d**2 + 22*d + 121. Let v(t) = t**3 + 14*t**2 - 24*t - 122. Let y(a) = -4*m(a) - 3*v(a). Let g be y(-9). Is g > 104?
True
Let r = -2.39 + 4.66. Which is greater: r or 2/5?
r
Suppose 13*h = -3*m + 18*h - 2872, -6*h + 12 = 0. Which is smaller: m or -955?
-955
Let w = 5406 - 5803. Which is smaller: -407 or w?
-407
Suppose -5*j = 2*t + 29, -4*t + 7*j - 18 = 9*j. Let a(n) = 23*n - 38. Let h be a(t). Which is bigger: h or 0?
0
Suppose 7*c - 35 = -0. Suppose -7*p = -c*p - p. Is 9 not equal to p?
True
Let r be (-19)/114 - (-3)/2. Suppose 5*z - 23 = -4*m, -3*m - 4*z + 18 = -0*m. Suppose -24 = 5*l - m*l + 3*o, 0 = -5*o - 15. Is r < l?
False
Suppose 48*c - 1190 - 6220 = -30*c. Which is greater: 78 or c?
c
Let j = -1947.8804 - 1.1196. Which is smaller: j or -3/5?
j
Let h be (-10)/65 + 21068/(-624). Let p(c) = -c**3 - 30*c**2 - 3*c - 56. Let k be p(-30). Let n = h + k. Is n < 1?
True
Let h = 15 + -12.3. Let i = h - 7.8. Let p = 554 - 554.1. Which is smaller: i or p?
i
Let z = 242 + -243. Let c be 6 - z - (-246)/(-9). Let q(f) = -f**2 + 2*f + 4. Let o be q(-4). Which is bigger: o or c?
o
Let o be 3*(-932)/48 - 6/8. Let p = o - -59. Which is greater: p or -13/5?
p
Let i = -15928 + 16302. Is i at most -5?
False
Let n = -21 + 14. Let p be ((-1)/7)/(317/11095). Which is smaller: p or n?
n
Let y be 7/3*3 - 8. Is -9174 smaller than y?
True
Suppose 5*f - 98 = -4*w - 95, 2*f = w - 17. Let q = 11 + -7. Is q <= w?
True
Let c = 1.466 - 1.569. Is c at most -2?
False
Let h = 12301 - 12291. Is -8.6 not equal to h?
True
Suppose -51 = -5*b - 1. Let h = 48702/11 + -4418. Which is smaller: b or h?
h
Let z = -1235.1 - -1235. Which is smaller: z or 2120?
z
Let y be 6/9 - (-7327)/1326. Let l = y + -22/13. Is l greater than 5?
False
Suppose 504 - 656 = -4*h. Is h <= 42?
True
Let p = -9264 + 27790/3. Is p less than 2/7377?
True
Let p(f) = 30 + 3*f + 21 - 15 + 32. Let w be p(-22). Which is bigger: 11/16 or w?
w
Let i = -66 - -114. Let d = -367 + 430. Let q = d - i. Is 15 <= q?
True
Let n be (3/42)/((-2)/16). Suppose -4*o = 4*i - 16, 5*i - 86*o + 25 = -82*o. Which is smaller: i or n?
i
Suppose -4*u + 95 = 5*a, 5*a + 1411*u - 175 = 1415*u. Let z(i) be the first derivative of -15*i**2/2 - 3*i - 1. Let l be z(-2). Is l >= a?
True
Suppose 0 = 5*t + 2*m, m - 7 = -4*t - 2*m. Let i(d) = d + 2. Let r be i(t). Suppose 4*u - 6*c = -c, r = -2*u + c. Does 2/107 = u?
False
Let a = 15.5 + 135.5. Let p = 149 - a. Is p < 1?
True
Let h = 5110 + -5103. Is h greater than or equal to 16?
False
Let v be 213/(-1988)*(-6148)/6. Is v equal to 110?
False
Let j(o) = -2720*o**3 + 4*o**2 + 18*o - 36. Let q be j(2). Which is smaller: -21743 or q?
q
Let v = -1 + -1. Let f be ((-148)/(-8))/((26 - 31)/10). Is f >= v?
False
Let i be (-65)/(-26)*16/(-2). Let p be 6/40 + i/50. Let u be (92/102 + 30/(-45))/(-2). Which is greater: u or p?
u
Let z = 631 - 616.3. Let l = -23 - -38. Let i = z - l. Is i < -5?
False
Let r = 66 + -66. Let s be ((-1 - 99/(-19)) + -4)*3. Which is smaller: s or r?
r
Let q = -33 + 29. Let t = -192 - -148. Let n be 14/t - (230/55 - 4). Which is bigger: n or q?
n
Let d(m) be the first derivative of -2*m**3/3 - 11*m**2 - 16*m + 9. Let i be d(-10). Suppose 5*s = 9*s - i. Is s >= -3/28?
True
Let o be (1692/(-1645))/(43/10). Which is smaller: o or 1?
o
Suppose 4*g + 23 = k, 3*g + 3*k + 11 = -10. Let u be g/(-4)*18*12/41958. Which is smaller: -1 or u?
-1
Let y(x) = x**2 - 3*x - 5. Let u be y(8). Let g be (36/21)/((-5)/u). Suppose -41 = 6*b + 31. Is b greater than g?
False
Suppose 0 = -n + 2*d - 21, 0 = 354*d - 358*d + 44. Let h = -5 + 9. Let q be h/(-12)*(-3)/37. Which is smaller: n or q?
q
Let b be 875/(-375) + (-4)/(-3). Are -1/3696 and b nonequal?
True
Suppose 24*z - 25*z - 28 = -4*u, 4*z = u - 22. Which is smaller: u or 68/11?
u
Let j be 78/130 + 8719/35. Let r = -250 + j. Which is bigger: r or -2/3?
r
Let o = -299 + 321. Let w = o - 49. Which is smaller: w or 6?
w
Let v = -6.8 + 57.8. Let m = -83 + 30. Let u = v + m. Are u and -13 unequal?
True
Let o = 15789 + -15802.391. Let u = -0.109 + o. Which is smaller: u or 1/2?
u
Let o be ((-213)/5)/(76/20 - 1). Let i = o + 21/2. Which is bigger: i or -6?
i
Let w(k) = k**2 + 15*k - 51. Let x be w(-18). Suppose 2*s + h = -0*h, x*h = -s + 10. Which is smaller: s or -4/3?
s
Let i be ((-25)/(-21) + -1)*(-14)/(-4). Let f be 66/5*420/(-126). Which is greater: i or f?
i
Let o(g) = g**2 - 5*g + 7. Let j be o(2). Let x be ((-7)/(-3) - -3)*18/j. Is 96 greater than x?
False
Suppose 5133 + 3547 = -35*u. Which is bigger: u or -109?
-109
Let x be ((-15)/549)/(1/(-2)). Which is smaller: 0 or x?
0
Let i = 46 + -32. Suppose -3 - 11 = -i*m. Are -2/181 and m equal?
False
Suppose -2*y = 3*y. Let w be 3*6/(-104)*(-156)/39. Is y less than w?
True
Let f(i) = 12*i**2 + 925*i + 9. Let k be f(-77). Which is greater: k or -693/10?
k
Let f = 1700074 - 18685189/11. Let u = -1422 + f. Suppose 7*o - 4*o + 4*d + 14 = 0, -10 = 5*d. Which is bigger: u or o?
u
Let k = 2070 - 2070. Which is smaller: k or -57?
-57
Let b = -407/960 - -29/320. Is 1417.4 bigger than b?
True
Let y be (-2)/(-28)*(-1)/(-1). Let r(w) = w**3 + 32*w**2 - 3*w - 97