 s*p - 16, 2*x = -3*p - 11. Which is smaller: -4/83 or p?
p
Let j be (-3)/(-2)*(-1 - 3/((-81)/4005)). Which is bigger: j or 83?
j
Let i = -226 + 226. Let u = 43/7 - 781/126. Is u less than or equal to i?
True
Let g = -5113 + 5113. Are g and -10/113 non-equal?
True
Let y = -5095 + 8730. Is y >= 3636?
False
Let o(a) be the third derivative of -a**5/60 - 9*a**4/8 - a**3/6 + 52*a**2. Let j be o(0). Is -3/242 less than or equal to j?
False
Let t(c) = 2*c**2 + 15*c + 12. Let d be t(-8). Suppose -3*q = 45 - 132. Which is greater: q or d?
q
Suppose 6*x - 36 = -0*x. Suppose x*z - 125 = z. Suppose 5*i + 5*w = -95, -5*i + 4*w - 129 = -z. Is -19 < i?
False
Let t = -585/130667 - -575146256/251533975. Let b = -1/275 - t. Suppose 3*u + 18 = 3*z, 16*u = 15*u - z. Which is greater: b or u?
b
Let y be (-1043 + -108)/(2 - 1). Which is bigger: y or -1150?
-1150
Suppose -3*d = -5*a + 2*d - 30, -26 = 5*a - 4*d. Let i be (138/9)/((-8)/(-6))*a. Let v = 35 + i. Which is smaller: v or 49/4?
v
Suppose 0 = -3*g - 4 + 7. Let a be (g + -6)*(-1 + (-8)/(-5)). Let k be a/2*(0 + 35/(-20)). Which is greater: 2 or k?
k
Let r = -618 + 702.26. Let j = 84 - r. Do j and -3 have different values?
True
Let o = 2/115 - -44/115. Suppose 0 = 2*i + 2*l, i = l + 3*l + 20. Suppose -k - 5*z + 11 = 0, 2*k = -i*z - 3 + 13. Which is smaller: o or k?
o
Let k = 2995/2 - 1305. Is k smaller than 192?
False
Let x = -15 + 237. Suppose 4 = x*l - 223*l. Do -12 and l have different values?
True
Let i(h) = -h**2 + 27. Let j be i(5). Suppose 0 = -5*k + 5, -2*c + 3*k = -j*k + 1. Suppose 4*s = -c*d, 0 = -d + 2*d + 3*s. Which is bigger: d or 1/55?
1/55
Let v(m) = m + 2. Let a(i) = i**3 - 2*i**2 - 3*i + 2. Let g be a(3). Let o be v(g). Suppose 5*k - 4*u = -o - 11, -20 = -5*k - 3*u. Is k <= 5/24?
False
Let p = -43 + 85. Let u be ((-4)/p)/((-2)/(-24)). Let l = -2072.1 - -2072. Is l bigger than u?
True
Let y(o) = -o**2 - 204*o - 5992. Let j be y(-162). Which is smaller: j or 814?
j
Suppose -132*h = -138*h + 18. Let s be -1 - (698/(-294) + 4/h). Let z = -0.06 + -0.04. Is z at least s?
False
Let c = -0.068 + 0.06. Let b = -55.008 - c. Let j = -94.1 + 94. Does j = b?
False
Suppose -43 + 93 = 3*k - 5*t, -3*k = -2*t - 20. Let v = 1 - -1. Does k = v?
False
Suppose -12*b + 13 + 131 = 0. Let j = -31 + 34. Suppose b*z - 18 = j*z. Which is smaller: 3 or z?
z
Let f(l) = -2*l**3 - 10*l**2 - 4*l - 6. Let v be f(-5). Suppose -v*y + 851 = -325. Are y and 84 nonequal?
False
Let u(l) = -2*l**3 + l**2 + l + 6. Let m be u(2). Let a be m/(28/105)*63/(-15). Which is smaller: a or 61?
61
Let o(s) = -5*s**2 + 338*s + 784. Let c be o(70). Is -29 at most as big as c?
False
Let x = -2856 + 3158. Is x >= 303?
False
Let t = 680 + -634. Is 53 less than t?
False
Let h be (-1)/(-5) - ((-348740)/900)/(-47). Is -9 < h?
True
Let r be 12/(384/14260) - (-42)/112. Which is greater: r or 431?
r
Let c be ((-24)/108)/((-5)/180). Let v be 80/(-612) - c/(-18). Do v and 0 have different values?
True
Let c = 69.58 - 113.58. Is -6.1 bigger than c?
True
Let f(h) = -6*h**2 - 7*h + 71. Let m(p) = -p**2 - p + 12. Let k(n) = -6*f(n) + 39*m(n). Let c be k(-6). Is 2 equal to c?
False
Suppose -4*m + 10*m = 72. Let g(h) = -m*h**2 + 76*h**3 - 3 - 11*h + 75*h**3 - 152*h**3. Let j be g(-11). Is -11 less than or equal to j?
True
Let i be 569811/2387 - (1/5 - (-34)/(-70)). Which is smaller: i or 236?
236
Let z be 3/21 - 1755/37765. Is z at most 0?
False
Suppose 2*j - 4*u + 409 = 415, -3*j - 9 = 3*u. Let x be (7/16)/(0 + -1). Is x less than j?
False
Let g(f) = 290*f**2 - 137*f - 276. Let c be g(-2). Which is bigger: 1154 or c?
c
Let k be (32604/(-234))/((-2)/(-3)) + -4 + -4. Suppose 361 + 77 = -2*o - 2*f, 5*f + 227 = -o. Is o > k?
False
Suppose -95*r - 80 = -100*r. Let k be ((-4)/r - (-653)/4)/1. Is k >= 163?
True
Let o be (2/(-7))/((-3)/(-7)). Let j be 10*((-60)/(-70))/(15/14). Let g be 84/(-21)*10/j. Which is smaller: g or o?
g
Let k be 87/27 - 3 - 1934/36. Suppose -3*n - 27 = 132. Is n > k?
True
Let t(i) = -i + 12. Suppose r + 19 - 54 = -3*w, -5*r + 35 = w. Let c be t(w). Suppose -11 + 9 = -c*p. Is -1/8 >= p?
False
Let j be ((-29)/2)/((-3)/6). Let u = j - 29. Which is greater: u or 20/17?
20/17
Let d = -2673 + 13377/5. Let s(u) = -2*u. Let b be s(-2). Suppose 5*x = -3*h - 24 + 4, 2*h - b = x. Is d bigger than h?
True
Let i = -0.501 + -96.199. Let x = i + 5.7. Let q = 91.4 + x. Is 0 not equal to q?
True
Let o(r) = -r - 7. Let s = 72 + -81. Let b be o(s). Suppose 5*d = -5*h - 20, -2*d + d + b*h = -5. Does 5 = d?
False
Let b = -236 - -322. Let z = -904.2 + 990. Let q = b - z. Which is greater: q or -6/13?
q
Let b be (8 - (-168)/(-18))/(4/456). Which is smaller: b or -1980/13?
-1980/13
Suppose -50 = 6*t - t - 5*z, -4*t + 2*z = 48. Let f be (14/21)/(t/(-45)) + -3. Suppose 0 = 2*i - 0*i. Is i not equal to f?
True
Let r = -17 - -19. Suppose -4*w + 0*w = -64. Suppose -2*v + 5*i + 3 + 15 = 0, -w = -2*v + 4*i. Does v = r?
False
Let j be -4 - (-22494)/8988 - (-3)/2. Is j greater than or equal to -1?
True
Let w(l) = 2*l**3 - 10*l**2 - 12*l + 40. Let p be w(8). Suppose 1313*j - 1309*j - p = 0. Let g be (-2)/6 + (-500)/(-6). Is g <= j?
False
Let v(i) = 23457763*i**2 - 8*i + 19. Let l be v(5). Let z = 1873688734636/3195 - l. Let b = -2/3195 - z. Which is greater: b or 5?
b
Let s be 1 + 350/10*-2. Let h = s - -197. Which is smaller: 129 or h?
h
Let s = -32 - -31. Let x be 964/160 + -3 + -4. Let u = x + 9/8. Do s and u have the same value?
False
Let a be 0/(-5 - -3 - 0). Suppose 10*d - 3*d - 175 = a. Suppose 0 = -27*u + d*u. Which is smaller: 2/219 or u?
u
Let f = -1667 - -1638. Let p be 0 - (-1 + (-20)/(-5)). Which is smaller: f or p?
f
Let d(v) = -v**2 - 12*v + 181. Let k be d(-20). Suppose -k*s = 737 - 3026. Which is smaller: 110 or s?
s
Let o(t) be the first derivative of t**4/4 + t**3 - 3*t**2 + 9*t - 3. Let n be o(-5). Let s be 7/14*(-21 + -1). Is s < n?
False
Let d be 18 + 14/(-56)*73. Is d > 1655?
False
Let v = 23349 - 23306. Are 302/7 and v equal?
False
Let s(t) = t**2 + 10*t + 14. Let r be s(-9). Suppose 4*v - 10 = -3*y, 0 = -4*v + r*y - 4 - 2. Let b be -2*(v/(-3))/1. Are 18 and b nonequal?
True
Suppose 87210 = 134*f - 247656. Is 2499 greater than or equal to f?
True
Let d(q) = -4*q**2 - 31*q - 21. Let u be d(-7). Let c be 4/(-6) + 2880/4336. Which is greater: c or u?
u
Let a = 164.7 + -165. Let x = a + 0.5. Is x smaller than 0?
False
Let f be (4 - 0) + (8 - 10). Suppose k - 25 = -5*v, 3*k - f = 5*k - 3*v. Is k at least 5?
True
Let x(w) = -w**3 - 23*w**2 - 44*w - 39. Let s be x(-21). Let b = 17 - 9. Let l be (b - 4) + 3/(-5). Which is bigger: s or l?
l
Let d = -62.94 - -52.84. Is d greater than 8/5?
False
Let o(z) = 2*z**2 - 6*z - 2. Let g be o(5). Let d be 2*g/(-4) + 3. Let n be ((-168)/(-18))/(d/(-9) - 0). Which is bigger: n or 15?
15
Let a = 118 + -115. Suppose 6*x - 2*x - 2*o = 406, -a*x + 305 = -o. Let m = 101 - x. Is m bigger than 1/178?
False
Let h = -20366 + 20455.94. Which is greater: -1 or h?
h
Let d = 308.797 - 309. Let v = 0.303 + d. Is 50 at least v?
True
Let s = -0.6616 - -0.7616. Let f = 22 - 23. Which is bigger: f or s?
s
Let f = -56198/189 + 892/3. Suppose -30 = -3*c - 33. Which is smaller: c or f?
c
Let p = -12695/84 - -1062/7. Is p at least as big as -1/20?
True
Suppose 4*w = -2*u - u + 24, -3*w + 2*u + 1 = 0. Suppose -2*o = 3*o + 150. Let q = -26 - o. Which is greater: q or w?
q
Let b be 28/(-9) - (-2)/18 - -354. Let g = 2461/7 - b. Is g greater than or equal to 5/13?
True
Let f = -29.98 - -30. Let b = f - -3.78. Let h = -3.82 + b. Is h at least as big as -1/6?
True
Suppose -62*y + 57 = -23 + 18. Which is smaller: y or -17/101?
-17/101
Suppose 5*m = -20, 0 = -y + 3*m - 4*m + 14. Suppose -2*n + y = -x + 2*n, -2*x - n = 0. Let r be 22/(-30) - (x - (-20)/12). Is -2/33 less than r?
False
Let t = 15/4331 + 1792599/125599. Which is smaller: t or 15?
t
Suppose 0 = 3*w + w - 140. Let o(t) = -29*t - 282. Suppose 273 = -6*j + 207. Let m be o(j). Which is smaller: w or m?
w
Let i be 3/5 + (-765)/(-225). Suppose v + 2*o = -2*v - 22, 0 = o - i. Let p = -14 - -5. Which is smaller: p or v?
v
Let l(j) = -j**2 - 38*j + 42. Let q be l(-39). Suppose -q*i = -2*o + 1151, -o = o + 4*i - 1172. Is o less than or equal to 579?
False
Let h = -1911 - 1355. Let d be h/(-46)*(-2