Let b(h) = -5*h**2 - 146*h - 117. Let k be b(-42). Which is greater: k or -2804?
-2804
Suppose 3*w - 3*b = -54 + 663, 2*w = 3*b + 400. Which is greater: w or 215?
215
Let f(l) = l**2 + 4*l + 2. Let t be f(0). Suppose a = -11*z + 16*z + 2, -t*z = 8. Which is bigger: a or 16?
16
Let z = 5573/13 - 429. Suppose -3*n + 2 = 26. Let q be (-28)/(-224) + (-7)/n. Do q and z have the same value?
False
Let g = 217 + 9. Let u = g - 218. Is -12 at least as big as u?
False
Let l be 23/4 - 70/40. Suppose -y + 2 = -l*o, -4*y = o + 9 - 0. Is y smaller than -129?
False
Let p be 14/(-9912)*10011 + (-2 - (-22)/8). Which is smaller: -13 or p?
p
Let r be ((-6)/(-9) - 1)*(-7 + -8). Suppose -7 = -z + 3*t, -z + 2*t = -r*z. Is z at least as big as 2.5?
False
Let o = -4304 + 4303. Which is smaller: o or 2/13967?
o
Let o(z) = z**3 - 4*z**2 - z - 7. Let m be o(5). Let s = 1171 - 1046.2. Let r = 125 - s. Which is bigger: r or m?
m
Suppose 0*b - 6*b + 528 = 0. Suppose f - 262 = -3*y - 74, 0 = 3*f + 3. Let w = y - b. Is w not equal to -25?
False
Let o = 14354/23 - 624. Let f = 2.6 + -21.6. Let k = f + 18.8. Are o and k unequal?
True
Let z(c) = c**3 + 2*c**2 + 5*c - 389. Let k be z(0). Let j = -497 - k. Which is smaller: j or -110?
-110
Let o = 1109/30 - 542/15. Which is bigger: -0.204 or o?
o
Let c(b) = -2*b**2 + 12*b - 3. Suppose 0*l + 23 = 3*l + 5*d, 3*l - d = 17. Let i be c(l). Let u be 3/1*i/9. Is u < -2/123?
True
Suppose 335*o + 944 = 104*o + 251. Which is greater: o or -163/37?
o
Let x = 80.24 - 79.24. Let k = -3 - -2.7. Let q = -0.4 - k. Which is greater: q or x?
x
Let m be (-14)/(-2) - (-80)/(-10). Let j be (1/(-582))/(5/(-20)). Which is bigger: m or j?
j
Let w = -225 + 236. Suppose -24*h + w*h = -793. Does 64 = h?
False
Suppose 2*n = -23 + 3. Let y be 1*(n + (2 - 5)). Let b be 7 + -4 + -7 + -7 - (-1 - -1). Which is greater: y or b?
b
Let i be (-8)/(-12)*1356/8. Suppose -i*a = -127*a - 4130. Which is greater: a or -296?
a
Let p = 2667 - 2541. Which is greater: 130 or p?
130
Let n = -3696/29 + 9021878/70789. Is n bigger than 1?
False
Let h(c) = -c**3 - 6*c**2 - 1. Let m be h(-6). Let b = -1240166/649605 - -1/59055. Which is smaller: b or m?
b
Let v = 157 - 160. Let t be ((-68)/(-8) - 1) + v. Let x be (1 - 0)*(-1 + 0). Is t bigger than x?
True
Let q(l) = -15 + 17 - 2*l - 28. Let n be q(2). Which is greater: -31 or n?
n
Suppose 0 = 5*k - 5*c - 8 - 37, 1 = 4*k + 3*c. Let t be k/(-8)*2/1. Let j be (10 - (-480)/(-35)) + 4. Which is smaller: t or j?
t
Let u = -25.9 + -0.1. Let x = u + 25.982. Let l = -14.982 + x. Is -0.1 at least as big as l?
True
Let w be (-5)/(-2*2/4). Let m be -3*(0 - w/(-1)). Let v = -1720 + 1706. Are v and m unequal?
True
Suppose -164*l - 161*l + 12656 = -333*l. Is -1582 <= l?
True
Let y be 656/20 + (-4)/20*3. Let j = y + -32. Is -2 at least as big as j?
False
Let y be -1 + 3 - (1 - (-684)/6). Let i = y - -114. Which is smaller: -13 or i?
-13
Let u = -47 + 47. Let z = 1613181/319 - 5057. Is z smaller than u?
True
Let j(t) = -7*t - 17. Let c(i) = 20*i + 57. Let q(x) = 20*x + 56. Let l(g) = 5*c(g) - 6*q(g). Let y(u) = 17*j(u) - 6*l(u). Let a be y(0). Is 16 smaller than a?
True
Suppose -14 = 5*y - 4*y. Let h be (-4)/y - 2230/1190. Let t = -473/255 - h. Which is smaller: t or 1?
t
Let r be 10*2/(-4) - (-4 - -120). Let y be (-5 + 3)*11/r. Is y >= -3/11?
True
Suppose 16 = -5*t + 7*t + 2*v, 0 = -3*t + v + 40. Let j be (-3)/(2829/1255) - (t - 13). Let n = j - -10/41. Which is smaller: n or -1?
-1
Let u(h) = 258*h**2 + 4*h - 2. Let j be u(1). Let y = j - 274. Which is greater: -19 or y?
y
Suppose 4*r = r + 717. Let b = 249 - r. Is b equal to 15?
False
Let t be (-4 + (-874)/(-4))/(1/(-10)). Let o be 4/(-6) + (-1397)/t. Let p(u) = -u**2 + 5*u + 5. Let k be p(6). Is o <= k?
False
Let o = -43382 - -6116863/141. Is 1 greater than o?
True
Let t = -3976 - -3977. Do t and -0.0648 have different values?
True
Suppose v + 8 = -3*t + 5*v, 0 = -3*v + 6. Let g be (-1 - 4)*-4 - (t + 0). Let p be -2 + g/15 + 2/(-6). Is p at most -5?
False
Let v be (6*(-6)/(-27))/(5 - (-22)/(-6)). Do -4/5427 and v have the same value?
False
Suppose 0 = -6*d + 17*d - 3014. Suppose 5*q - 3*o = -5*o - d, -4*o = 5*q + 268. Let n be q/(-32) + -2 + (2 - -1). Do 4 and n have different values?
True
Let f = 80 + -78. Let i(m) = -m**3 - 6*m**2 + m + 3. Let w be i(f). Suppose 0*x - 5*x = 130. Which is greater: w or x?
x
Let q be (0 - (-10)/(7 + -5))/(-5). Which is bigger: q or -1/10591?
-1/10591
Let b(y) = 4*y - 33. Let q be b(-8). Let w = q - -48. Does -1 = w?
False
Let o = -156 - -159. Let f = 1.43 - 1.4. Let v = f + 0.01. Which is smaller: o or v?
v
Let i be 606/(-4)*(-2 + 260/(-5)). Let p = i - 24866/3. Are -108 and p non-equal?
True
Suppose -2*v = -5*w + 3*v - 105, -4*v = 4*w + 108. Let h(o) = -o**3 + 24*o**2 - 63*o - 30. Let t be h(21). Is w bigger than t?
True
Let v = 721.8302 + 0.1698. Let t = 717 - v. Does t = 1/6?
False
Let i = 4221 - 5869. Which is smaller: i or -1646?
i
Let c be 40/16*((-95)/25 - -3) + 3. Is -8/179 smaller than c?
True
Let l be (-2 + 3/2)*-2. Let o = -1348365212/57 - -23656191. Let w = 661 - o. Is l <= w?
False
Let g be 3/(12/15*255/136). Suppose -8*z - 760 = g*z. Is z greater than -77?
True
Let a = -341.1 + 366. Let i = -25 + a. Let c = 337 - 337. Is i at least c?
False
Let f = -4213.9 - -4198. Is 4 less than f?
False
Let v be 201/679 + 50/(-175). Suppose 5*z - 2*z = 0. Is z bigger than v?
False
Let m = -344.37 - -343.87. Does 70/9 = m?
False
Suppose -66*l = 29*l - 339 + 54. Let g(v) be the second derivative of -v**4/12 + v**3 - 2*v**2 - v. Let u be g(3). Is l > u?
False
Let a = -780 - -16375/21. Which is greater: a or -4/9?
a
Let s be (2 - -4)*6/(-24)*98. Let d be (0 + s/(-9))/((-3)/18). Which is bigger: d or -99?
d
Let n = 346 + -2670. Let b = -3928 - n. Let t = b + 139550/87. Which is smaller: t or -1?
-1
Let q = -3 + 2. Let u be 16/128*(-78)/1313*(-64)/(-84). Which is smaller: q or u?
q
Suppose -9*x = 29*x - 1482. Let w = 96 - 58. Which is smaller: w or x?
w
Suppose 4*q + 28052 = -4*n, 3*q - n - n = -21069. Which is smaller: q or -7021?
-7021
Let b = 110601/26 - 4254. Which is smaller: 20 or b?
b
Let r be 10/((25/(-15))/1 + 1). Let y(b) = -b**2 + b. Let q be y(-1). Let g be (-11 - -12)*34/q. Do g and r have the same value?
False
Let y(p) = 625*p - 707. Let b be y(-16). Is b at most -10707?
True
Let o = -19/4 - -4. Let v = 1/4 + o. Is 1 at most as big as v?
False
Suppose -57 = 4*j - 217. Suppose -5*l - 4*a - j = 0, l - 34 = 5*a - 13. Let i be 44/(-16) - (-1)/(-4). Which is smaller: i or l?
l
Suppose 37*n - 42*n - 4*u + 476 = 0, -5*n - u = -494. Is n equal to 16?
False
Suppose -3*t + 11 = -5*y + 1, -y = -4*t + 2. Which is bigger: t or 16/2441?
16/2441
Suppose 0 = -4*l + 5*y - 1643, -92 = -10*y - 22. Which is bigger: -3 or l?
-3
Let k = -8826 - -8877. Is -4 bigger than k?
False
Let y be (-65484)/244090 - 76/(-266). Let a = y - -6/317. Which is greater: 0 or a?
a
Let z be (60/9)/(-5)*6/(-4). Let y(a) = 60*a - 16. Let c be y(z). Is 104 at least as big as c?
True
Let i be (-6)/10 + 21/35. Let x be ((-985)/25)/((-3)/15). Let c = 9260/47 - x. Which is greater: i or c?
c
Let m be ((-11)/22)/((-24878)/(-84)). Which is smaller: 1 or m?
m
Suppose -21*f = 23 + 103. Let k be 2 + (4 + f)*1. Which is smaller: 3/20 or k?
k
Suppose -5*m + 44 = 2*z - z, 4*z = 3*m + 107. Let p = 11843 - 11811. Which is greater: p or z?
p
Let t = -16 - -15.9. Let f = -117.129 + 0.129. Let y = f + 106. Which is smaller: t or y?
y
Suppose -7*n = 44*n - 37*n. Which is smaller: -61/250 or n?
-61/250
Let i(o) = -69*o**2 - 114*o - 68. Let q be i(11). Which is bigger: -9670 or q?
-9670
Let g = -1934.136 + 1934. Which is bigger: g or 0.1?
0.1
Let c = -422.2 - -227.6. Let u = c - -6.6. Is 1/4 greater than u?
True
Let z be 186*(-1)/((-15)/4). Let x = -72355163/155 - -466758. Let f = x + z. Which is smaller: 1 or f?
f
Let r be (-81)/54 + 5/2. Is -1/32477 less than r?
True
Suppose 0 = 14*k - 12*k - 28. Let i = 41 + -40. Let c be 21/(i/((-4)/(-6))). Is c not equal to k?
False
Suppose 3*h - w = 1 - 8, -3*h - 3*w = -9. Suppose -4*s + 155 = 27. Let j be 2/3*s/(-12). Are h and j unequal?
True
Let z = -337.694 + 338. Let g = z - 0.036. Let o = 7.7 + -5.7. Which is smaller: g or o?
g
Let f = -9241 + 9242. Is f greater than 