ppose -5*l - 59 = -5*h + n, 5*h + 2*l = 426. Let g = h + -86. Which is smaller: g or 1/29?
g
Let s(u) = -u**3 - 9*u**2 - 15*u + 18. Let y be s(-6). Let j = 641723/7491 - -2/2497. Let i = j - 3323/39. Is i >= y?
True
Let w be (1 - 15/21) + (-11184)/42. Let l = -266 - w. Let g = -31/5 - -274/45. Which is smaller: l or g?
g
Let s(v) = v**3 + 3*v**2 - 35*v + 20. Let x be s(6). Let f = -66 - x. Is f at least 0?
False
Suppose 175 = -4*s - 53. Let h = -603 - -546. Let j = s - h. Is -2/33 >= j?
False
Let f(p) = -p**3 - 30*p**2 - 33*p - 95. Let g be f(-29). Let z(o) = 2*o**2 - 6*o + 3. Let s be z(5). Let j = -1 + s. Is j < g?
False
Let s = -884.6 + 884.6. Is -138.8 at least as big as s?
False
Suppose 4*j - 4*q = 2131 + 105, 1693 = 3*j + 5*q. Let w = j + -566. Are w and -17/4 nonequal?
True
Suppose 2145 - 561 = -9*p. Let j = p + 538/3. Is j at least as big as 3?
True
Let q = -12832/11653523 - -3/2309. Is -1 < q?
True
Let d = 2504 - 17498/7. Let b(g) = -g**2 + 7*g + 34. Let r be b(10). Suppose r*q + 86 - 106 = 0. Is q at least as big as d?
True
Let q(p) = -257*p + 6281. Let c be q(26). Is 1 less than c?
False
Let d = -3273 - -3667. Which is smaller: d or 0?
0
Let s = -9132 + -9864. Is -18996 greater than s?
False
Let m = -23.7 + -21.3. Let k = m - -44. Which is bigger: k or -84?
k
Let q = -758874 + 30333841/40. Let j = q - -528. Let f be (6/14)/3*2. Is f <= j?
False
Let n be ((-20)/(-15))/(1/(-55)). Let g(k) = -86*k + 13. Let s be g(1). Let z = s - n. Are 52 and z unequal?
True
Suppose -9 = 3*g + 57. Let c be ((4301/44)/(-17))/(2/8). Let o = c - g. Which is smaller: -2/7 or o?
o
Let x = -0.108 - -44.108. Let z = 114.895 - 113.895. Is x > z?
True
Let d(y) = 40 - 11*y - 14*y + 31*y. Let p be d(-6). Let h be (-3)/p*2/(-6)*1. Which is bigger: 1 or h?
1
Let z = -3/19019 + 255025783/76076. Which is smaller: 3353 or z?
z
Suppose -5*q + 3*o - 970 = 0, q - 3*o - 28 = -222. Let n = -3676/19 - q. Let k = 5304 - 5303. Which is bigger: k or n?
k
Let q = 2225/4426 - 6/2213. Are -196.7 and q equal?
False
Let q(z) = 3*z + 1. Let c be q(4). Suppose 0 = -3*p - 3*n - 12, -2*p + 7 + c = -5*n. Is 1/41 bigger than p?
True
Let s = -1418 - -516. Let n = -894 - s. Let b be ((-4)/16)/((-2)/66). Which is smaller: n or b?
n
Let b = 2332 - 2332. Are b and -3/2492 equal?
False
Let r(w) = 3*w**2 + 16*w + 46. Let u be r(-4). Let v be u/(-117)*-6*(-2 + 3). Let n be 4 + -1 + (1 - 2). Is n bigger than v?
True
Let x = -28709/12 - -7700/3. Let i = 387/2 - x. Which is smaller: i or 18?
18
Suppose 7*p = 8 + 27. Suppose k - 2*r = 5*k - 38, p*k = 3*r + 64. Let s = k - 12. Is s >= -1?
True
Let z(t) = -19 - 8*t + 22 + 24. Let l = 799 + -790. Let r be z(l). Is r at least -45?
True
Let q = -2 - -3. Suppose 0 = -6*a - 48 + 906. Let d be 62/a*1 - (-8)/44. Is d at most as big as q?
True
Let q be ((-911)/4)/(182/(-312) - 20/(-24)). Are -912 and q unequal?
True
Let f(j) be the third derivative of -j**6/120 + 11*j**5/60 + 11*j**4/24 - 25*j**3/3 + 97*j**2. Let k be f(11). Is 70 at most k?
True
Let f be 3/(-25)*(-65)/26. Let z(w) = -w**2 + 11*w + 13. Let v be z(13). Let x be (v/(-26))/(10/(-8)). Is f at least x?
True
Let i = 5836 - 1040. Let v be 1207/i + (-13)/52. Is v != 0?
True
Let x = -330 + 327. Which is smaller: 38/5 or x?
x
Suppose i + 6680 - 6668 = 0. Does -137/12 = i?
False
Let c = -20137 + 27509. Is c < 0.1?
False
Let s(a) = 5*a**2 - 206*a - 167. Let n be s(42). Is n at most 158?
True
Suppose 5*v + 22 - 14 = 13. Are 258 and v nonequal?
True
Let c = -547459/25639948 - -74/3583. Which is greater: 0 or c?
0
Suppose 0 = 38*z + 141 - 939. Suppose -z + 3 = -2*k. Which is smaller: k or 55/6?
k
Let h = 2417 + -116021/48. Suppose -3*z - 4*p + 8 = 0, 0 = -4*z - 4*p + 3*p + 2. Which is smaller: h or z?
h
Suppose 533 = 2*r + a - 229, a = 2*r - 770. Suppose -6*z + r = 17. Which is greater: 60 or z?
z
Let b be -21 + 15 + 13 - 7. Is 4/605 at least b?
True
Let b be (-28)/(-4)*((-1834)/49 + -14). Is 14 greater than or equal to b?
True
Let j = 61.7 - 40.7. Which is smaller: j or 199?
j
Let g be (-553)/(-189) - (-9)/(-3). Let x = -41/189 - g. Suppose -2*b + 4 = k + 2*k, -k + 1 = b. Which is bigger: x or b?
x
Let i = 27.674 - 28.674. Is i equal to 71/10?
False
Suppose l - 36 = 4*l. Suppose 2*q + 2*q - 27 = -5*m, -5*q + 5*m = -45. Let g = q + l. Which is greater: -3 or g?
-3
Suppose 4*v = 3*c + 3822, 3369 = 4*v - c - 465. Which is smaller: v or 964?
v
Let i = -119.95 - -120.3443. Is -1/2 at most i?
True
Let r = 72055273/81874 + -451/18894. Let h = r + -880. Let y be 0/(2 - 8/2). Which is bigger: y or h?
h
Let n = 15355 + -26168. Which is smaller: n or -10815?
-10815
Let g be (-61605)/35372 + 21/12. Which is greater: -11 or g?
g
Suppose -3*p + h = 34, -4*h + 6 = -2*p - 0. Let b be 6 + (1*(5 + -5) + 1)*-9. Is b at most as big as p?
False
Let t = 0.5139 - 0.2939. Let m = -0.2 + 0.19. Is t at least m?
True
Let t = 0.13 - -125.87. Let i = -110 + t. Let k = -0.1 - -0.1. Is i less than k?
False
Let n = -3.7 + 3. Let p = -119.6 + 119.6. Does n = p?
False
Let l = 4.4 - 3.4. Let h = 10.32 - 1.3. Let f = -0.02 + h. Is f equal to l?
False
Let n = -3.95 + 3.448. Let a = n + -0.198. Which is smaller: 2 or a?
a
Let g(s) = 69*s + 545. Let j be g(-8). Is 11 smaller than j?
False
Let i = 1.186 + -0.186. Let p = 280 + -280.274. Let t = p + -0.036. Is i smaller than t?
False
Let w be -3*2*1/(-2). Suppose -2*b = w*d - 18, 0*b + 2*b = d - 6. Let a = -2448.8 + 2449. Is d > a?
True
Suppose 2*i + 6 = 2. Let g be (i/1 - 2) + -38. Let n be g/30*6/(-21). Which is bigger: 0.19 or n?
n
Suppose 0 = 53*v + 147854 - 19859. Are -2414 and v unequal?
True
Let f(a) = -4*a - 6. Let x be f(-19). Let o be x + (-35)/20*-4. Is o at least 75?
True
Let x(n) = n**2 - 272*n + 1334. Let q be x(5). Is q <= 7/662?
True
Let o(j) = j**2 - 15*j + 57. Let x be o(14). Suppose -5*m - 12 - x = 0. Is m at least -11?
True
Suppose -85 - 95 = -9*h. Let n = -17 + h. Suppose 4*u = 0, 2*b + 5 = u + n. Is b != 2/41?
True
Suppose -93 = 6*i - 33. Is 22 >= i?
True
Let j = -0.1 - -0.1. Let m = -31515 + 535757/17. Is j less than m?
True
Suppose -2*k = -3*f - 10, 0 = 7*k - 2*k + 2*f - 44. Let w be -5*k/(-10)*63/28. Let r be (-2)/w - 7/(-21)*0. Are 1 and r non-equal?
True
Let c(p) = 60*p - 1229. Let b be c(23). Which is greater: 1049/7 or b?
b
Let k(i) = -i**3 + 6*i**2 - 4*i - 7. Let s be k(5). Let w(p) = 4*p**2 + 3*p + 4. Let f be w(s). Suppose 40 = -2*b - 4*u, 36 = -2*b - 2*u - f. Is -31 <= b?
True
Let f(q) = 2*q**2 - 3*q - 6. Let v(n) = 3*n**2 - 2*n - 8. Let b(c) = 4*f(c) - 3*v(c). Let j be b(-6). Let d = -15 - -14.7. Are d and j non-equal?
True
Suppose 59*t - 630 = -220*t - 351*t. Which is bigger: 13/244 or t?
t
Suppose 0 = 4*u + 3*z - 68 - 235, -171 = -2*u + 5*z. Let q be (96/(-14))/(u/42 + -2). Which is smaller: 49 or q?
q
Let v = 2475 - 2474.8. Let h = 0.12 + 24.88. Let f = h - -24. Which is greater: f or v?
f
Let b(n) = -12*n**2 + 155*n + 14. Let y be b(10). Let u = -364 + y. Let i be 2/7 - 646/2310. Which is smaller: u or i?
u
Let b = 21/146659 + 509779439/50597355. Let a = 157/15 - b. Which is greater: a or -1?
a
Let f(r) = 2*r**2 + 7*r + 3. Let k be f(-7). Let s be (44/3)/(k/234). Is 66 at least as big as s?
True
Let k = -1147 + 1632. Suppose 0 = -481*j + k*j + 4. Is 7/85 at most j?
False
Suppose 6235 = 3*i + 94*u - 93*u, -5*u + 8295 = 4*i. Which is bigger: 2082 or i?
2082
Let v(j) = -9*j - 36. Let t be v(-5). Let r be (0 - 292/12)*t. Which is smaller: r or -220?
-220
Let k = -70 - -78. Let v be (-2)/((-8)/(-4114)) - 4/k. Let j = -108047/105 - v. Is j not equal to -1?
True
Let a(v) = -892*v - 7505. Let o be a(-19). Are -0.2 and o unequal?
True
Let v(w) = -29*w - 319. Let j be v(-11). Is j smaller than -25?
False
Suppose -1798 + 609 = -29*o. Let b = 122/3 - o. Is 2/41 < b?
False
Let m = 2.839 + -2.719. Which is bigger: -65 or m?
m
Let v = -3053.51 - -3066. Let t = -12.5 + v. Are t and 2/19 nonequal?
True
Let f = 3 + -2.926. Let u = f + -0.169. Let j = u - -0.395. Is -10 bigger than j?
False
Let j = 100.3 + -100.46. Which is greater: 352 or j?
352
Let s = -42.532 + 0.532. Let i = 26.6 + s. Is i less than or equal to -2/9?
True
Suppose -5*x = -x + 20, 5*a - 4*x = 15. Let l be (10/(-3880)*12)/((-7)/7)*2. Is a equal to l?
False
Suppose 2*x - 56 - 36 = 0. Suppose 0 = 196*w - 1