 y. Let c be 2/(-10) - (-4)/10. Is c < p?
False
Let x = 0.7758 + -1.9758. Let k = -9 + 6. Let i = k - -3. Which is smaller: x or i?
x
Let r = -23097 + 139007/6. Let j = 119/2 - r. Is j less than -11?
True
Suppose 0 = 4*y + 14*y + 8658. Let z = y + 196. Is -286 at most z?
True
Let p = 185 - 184. Let t be (-22)/14 - -1 - (-12095)/18998. Which is greater: p or t?
p
Let j = 125 - 127. Let k(m) = 2*m + 2. Let q be k(j). Let b = -10 - -7. Which is bigger: q or b?
q
Suppose -2*t + 11 = -3*u + 10, 5*t + 2*u + 7 = 0. Let n be (-35)/(-2)*1668/38. Let h = n + -768. Which is greater: t or h?
h
Let m = -7366998/13 + 564894. Let k = -1800 - m. Does k = -1?
False
Let n = -829 + 831.13. Let v = n + -2.33. Which is bigger: v or -147?
v
Let t(k) = -k - 5. Let i be t(-5). Suppose -3*u - 15 = 2*w - w, 5*w + 3*u + 39 = i. Let q be 1/(0 - w) + (-55)/270. Does 1 = q?
False
Let v be 5/(-4) + 245/196. Suppose 0 = 3*x + 2*j - v*j - 56, -2*j = 4. Let q(h) = -3*h - 10. Let g be q(-9). Which is bigger: g or x?
x
Let q = -18085834/315 - -287318/5. Let h = -330/7 + q. Is h greater than 2?
False
Let u = -15 + 19. Suppose -y - y + u*y = 0. Suppose 4*i = -3*d + 13, 3*i + i - 5*d + 11 = y. Does 0 = i?
False
Let m be 128/(-12) - (-4 + (-14 - -7)). Are 850 and m unequal?
True
Suppose 0 = f + 2*n + 65 + 12, 5*f - 2*n = -337. Let y = 84 + f. Suppose 0 = 2*h - y*h - 143. Which is smaller: -1 or h?
h
Let n = 27575 - 220205/8. Which is greater: n or 48?
n
Let k = 142 - 126. Suppose 80 = k*l - 24*l. Which is smaller: l or -13?
-13
Suppose 26*p - 3*p = -138. Let w be p + 85/10 - 10/4. Which is bigger: -6.9 or w?
w
Suppose 2*f - 7*v + 2*v = 0, 4*f + 2*v = 0. Let r be -2*6/12*-1158. Let m = r + -37059/32. Are m and f unequal?
True
Let s be (-194)/(((-8)/(-18))/(-7 + 175/21)). Is -583 > s?
False
Suppose 462*b - 207 = 460*b + g, 4*g = -3*b + 272. Which is smaller: b or 110?
b
Let g = -581411/59 - -9854. Which is bigger: 1 or g?
1
Let k = 50 + -80. Let o be (1444/(-95))/(4/k). Suppose -3*d = -6*d + o. Is 38 at least as big as d?
True
Let o = -7271/680 + 107/10. Let w be 2 - 55/35 - (-1310)/(-917). Is o less than or equal to w?
False
Let m = -80590/3 + 57523/2. Which is smaller: 1898 or m?
1898
Suppose -z - 11*z - 24228 = 0. Let r be (-2 - -5) + z/669. Is r > -1?
True
Let v(m) = m**2 + 12*m + 19. Let o be ((-9)/(81/24) + -1)*3. Let y be v(o). Which is bigger: 12/5 or y?
y
Suppose 9*b - 37 = 53. Suppose -4*u = -30 + b. Let d be ((-1)/4*-18)/(u/10). Is d bigger than 8?
True
Let r(g) = -11*g - 8. Let y(n) = -10*n - 8. Let p(q) = -5*r(q) + 6*y(q). Let a be p(-2). Suppose -a*l + 0*l + 7*l = 0. Are l and 2/85 non-equal?
True
Let c(j) = -j**3 + 12*j**2 + 28*j + 2. Let d be c(14). Suppose 5*r + k = -k - 139, -2*r = d*k + 58. Which is bigger: -19 or r?
-19
Let s = 781/10 - 41323/530. Suppose -35 = 45*j - 80. Which is smaller: j or s?
s
Let q be -13*24/(-2340) - (-5314)/(-30). Let i = q - -194. Which is greater: 0.2 or i?
i
Let q = -2/3157 - 6236/123123. Which is greater: -252 or q?
q
Let q = 2322254940563/11439 + -203012059. Let o = q + 4/369. Which is smaller: -1 or o?
-1
Let z be (-1 - 42/(-52))*20/25*127. Which is smaller: -21 or z?
-21
Let p(k) be the first derivative of k**3/3 - 6*k**2 - 27*k - 86. Let t be p(14). Which is smaller: t or 101?
t
Let i(x) = -62*x + 488. Let u be i(17). Which is bigger: u or 0?
0
Let m = 95.747 - -0.253. Let a = 74 - m. Is 0 equal to a?
False
Let a = -32548 + 32548. Is -32500 equal to a?
False
Let w = -761 - -1397954/1837. Is 0 != w?
True
Suppose 16 = -2*x - 5*o - 5, 30 = -4*x + 2*o. Let s = 267 - 273. Is s at most x?
False
Let l be 88/(-12) - (6/(-3))/6. Let u be (-2)/l + (-1)/(91/8398). Is u > -92?
False
Let m be (3 - 7)/2*(-44)/352. Which is greater: -1368 or m?
m
Let f(p) = 5*p**3 - 15*p**2 + 7*p + 16. Let u(l) = -l**3 - l. Let h(q) = -f(q) - 6*u(q). Let w be h(-15). Let o = 159 - 4769/30. Is o at most w?
False
Let k = -334 + 340. Suppose -6 - 12 = -k*f. Which is smaller: 17/5 or f?
f
Let p(q) = q**2 - 34*q - 50. Let b be p(35). Let j(l) = 4*l**2 - 3*l**2 + 3*l**2 - 13*l - 5*l**2 - 38. Let w be j(b). Does w = -67?
False
Let a be (8/50)/(306/6054975). Is 3165 < a?
True
Suppose -3*r - 9 = 0, 0 = c + 5*r - 0*r - 87. Let p(h) = 0*h**2 - 243*h**3 + 71 + 242*h**3 + 13*h**2 - 27*h. Let a be p(10). Which is bigger: c or a?
c
Let s(o) = 37*o - 37. Let f be s(1). Suppose -2*x + 159*q - 154*q + 46 = f, 3*x - 86 = -q. Let p be (8/(-18))/(2/(-120)). Is x bigger than p?
True
Let k = 15 + -33. Let a be ((-15)/25*1)/(k/(-20)). Let g be (-18)/8 + 1/4. Which is bigger: a or g?
a
Let q be ((-25235)/(-6888) - -4)/(-23) + (-18)/(-54). Is q < 1?
True
Suppose 0 = 36*m - 34*m - 4. Suppose 2*w = -m*z + 60, -5*z + 5 = -0. Is w less than or equal to 25?
False
Let l = 1312 - 1309. Let c be (8/(-12))/(2/(-5)). Do c and l have the same value?
False
Let f(p) = -p**3 + 27*p**2 + 7*p + 60. Let q be f(27). Let c = q - 274. Which is greater: c or 5?
5
Suppose 4 = -2*k, -2*o + 4*k - 49 = -133. Let m be 4 + 0 + o + -5 + 5. Are m and 43 nonequal?
True
Let q be 3 - 896/294 - ((-60)/(-160) - 183/168). Let t = -0.04 - -0.64. Are t and q equal?
False
Let y = -759/10 - -181421/2390. Let d = 488/1195 - y. Which is smaller: d or -1?
-1
Let y be 16*-1*(260 + -264). Which is greater: y or 19?
y
Let x(g) = -37*g**2 + 38*g - 129. Let b be x(-10). Are -8419/2 and b nonequal?
True
Suppose -5*d + 17 = g, d - 5 = -d - g. Suppose d*i - 36 = -220. Is -45 > i?
True
Suppose 17*g - 28*g = 66. Let c be 5/((-15)/4)*g/(-58). Which is greater: 0.1 or c?
0.1
Let y = -48.44 - 8.06. Is -1/3 >= y?
True
Let f be (444/1776)/(1/(-272)). Let b be ((-6)/(-28))/(3/4). Is b at most f?
False
Let k be ((-7)/((-98)/138) + -10)*(-2)/(-2165). Which is smaller: k or 1?
k
Let g = 1492/773313 + 2/3009. Which is greater: -2 or g?
g
Let k = -125 + 298. Let w = k + -171. Is 24 at least as big as w?
True
Let v = 161 + -143. Let i be 2*v/8*1152/(-144). Are i and -36 equal?
True
Suppose -5*u + 0*z - 2*z = -55, -4*z = -u - 11. Let d = u + -6. Is 34 not equal to d?
True
Let r be (2*2/(-6))/(2/(-231)). Let i = r - 74. Suppose 0 = -j + 2*m - i*m + 40, 4*j = 5*m + 160. Which is smaller: j or 41?
j
Suppose 40*l - 17*l = -88*l - 999. Is l less than 884?
True
Let b(k) = k**3 - 26*k**2 - 280*k - 108. Let l be b(34). Are -380 and l nonequal?
False
Let i = -0.049 + 0.349. Suppose -x - 84 = 2*z + 2*x, -z - 45 = 3*x. Let f be -4 + 8 - z/(-12). Is f smaller than i?
False
Let y = 90 - 45. Let i = -61 + y. Let u = 15 + i. Is u > 0.4?
False
Let t = -7 + 7.03. Let y = t + 0.07. Let f(p) = p**3 + 9*p**2 + 18*p + 194. Let b be f(-9). Which is smaller: b or y?
y
Let t = 6006045/248 + -24218. Which is smaller: 0 or t?
t
Let a(j) = j**2 + 148*j + 3517. Let p be a(-30). Are -34 and p non-equal?
True
Suppose 17*n + 79 + 3828 = -4049. Which is smaller: -469 or n?
-469
Let n = 74 - 14. Which is greater: -0.2 or n?
n
Let y = -407/102 - -156955/39338. Is 0 at most y?
False
Suppose -50*x + 231 = -43*x. Let t(y) = -2*y**3 - y**2 + 9*y - 5. Let z be t(-5). Suppose 5*f - z = -3*o, 116 = 4*f - f + 4*o. Is f less than x?
True
Let u = 151 - 119. Let a = 28.048 - 0.048. Let i = a - u. Is i equal to 1/8?
False
Let y = -87 - -96. Suppose 0 = 14*q + y + 19. Which is smaller: -10 or q?
-10
Let r be 5235/525 - (-32)/(-56). Is 8 at least r?
False
Let h = -242 + 237. Let g(a) = 29*a + 4. Let t be g(h). Which is smaller: 1/2 or t?
t
Suppose -3*h - 2*h - 12*f = -47, 8 = 2*h + 3*f. Is -97 > h?
False
Let t be 2/3*(-8)/(110600/(-21)). Are t and 1 nonequal?
True
Let m be (-16)/846*(-3)/(-2). Let f be (451/(-66) - -7)*0. Which is smaller: m or f?
m
Let c = -1063 - -1063. Let z be (2 - 5)*(-4)/(-6). Let b be 5/z*10/(-15). Which is smaller: c or b?
c
Let j = 359 + -352. Suppose -3*z = 3*m - 747, -3*z + 249 = m - j*z. Is m at most 251?
True
Let y(m) = -m**2 + 9*m - 14. Suppose -3*j = 116 - 137. Let a be y(j). Is 3/128 at most a?
False
Let q be (10*24*(-7)/70)/(3/26). Which is smaller: -207 or q?
q
Suppose 2*y = -57 - 25. Let t = y - -45. Suppose -2*s - d - 2*d = 0, 0 = 3*s - t*d - 34. Are s and -3/7 equal?
False
Let c be 125/(-7) + 0 + -1. Let i be (-1216)/(-48)*(-18)/4*3/18. Is i at most as big as c?
True
Let b = 113079/1236089 - 1/5129. Which is smaller: 1 or b?
b
Suppose 0 = -30*q + 2673 + 179