y - 12. Let b be (y/(-10))/(((-2486)/5)/(-11)). Which is greater: 0 or b?
b
Let d be 3880/6 - ((-80)/12)/5. Suppose 2*p - d = 400. Which is smaller: 525 or p?
p
Suppose -5*l + 43*c = 47*c + 1615, 3*l + 969 = c. Which is greater: -330 or l?
l
Suppose 9 = 3*z - 9. Suppose 24 = z*s - 12*s. Suppose 4*q = -2*d + q + 9, d - 21 = 4*q. Is s bigger than d?
False
Let k = -2269 - -3483. Let b = k + -689. Is b >= 526?
False
Suppose -j = -3 + 4. Suppose 0 = 3*f + g - 842, 2*f - 534 = 4*g + 18. Let x be (-1 - f/(-255)) + 2/(-6). Is x at most j?
False
Let v be (2/(-1))/(-1 - (0 - -2)). Let k = -23 - -30. Let l = k - 8. Is v less than or equal to l?
False
Let s be (-8)/(-2) - (342/(-18) - 8). Which is bigger: s or -68?
s
Let p be 19/((-42)/(-84)*(-3)/(-9)*-2). Suppose -4*a - 235 = -3*k, 0 = 3*a - 2*a + 4*k + 54. Which is smaller: a or p?
a
Suppose 5*x = 2*h + 113, 27*h = -3*x + 26*h + 59. Which is greater: 371/19 or x?
x
Let g be 60/200*(-1068)/(-18). Is -1/4 at least as big as g?
False
Suppose -3*b + 283 = 4*y, 3*b - 4*b = 3. Let o = y + -74. Let r be ((-5)/194)/5*(-18)/9. Is o equal to r?
False
Let x(a) be the third derivative of -5/8*a**4 + 0*a + 11/6*a**3 - 29*a**2 + 1/4*a**5 + 0 + 1/120*a**6. Let g be x(-16). Which is bigger: -3 or g?
-3
Let q(n) = 4*n**2 - 22*n - 8. Let f be q(6). Let t(p) = -p + 6. Let h be t(4). Let u be (h/30)/((-6)/f + -1). Is u bigger than 0?
False
Let l be (3/(-7) - 1356/21)*-5. Let m = -307 + l. Which is greater: 15 or m?
m
Let x = -1.9825 - -0.0825. Let h = 0.27 + -0.1. Let k = -0.07 + h. Which is bigger: x or k?
k
Let g(y) = 12*y**2 + 4*y - 3. Let x be g(2). Let c be 0 + (x - -4)*-1. Let u(q) = -2*q**2 - 5*q - 15. Let l be u(-6). Is l > c?
False
Suppose 4*s = -j - 3, 0 = -4*j + 5*s + 2 + 49. Suppose j*q - 293 = 121. Let g = q + -46. Is g <= -1/16?
False
Let g be 1/(((-3850)/(-21))/(-22)). Do g and -0.6 have the same value?
False
Suppose -2*r - 2 = 4. Let j = -2/14707 - 40108/14707. Is r <= j?
True
Let u be (494/184 - 111/148)/(7/42). Which is smaller: 13 or u?
u
Let h(d) = -d**3 + 4*d**2 + 59*d - 126. Let g be h(2). Which is smaller: -2/1003 or g?
-2/1003
Let m(l) = -l**3 + 2*l**2 - l + 2. Let s be m(3). Suppose 2*d + 2*z + 28 = 0, -2*d = 16*z - 17*z + 28. Are d and s nonequal?
True
Let k(g) = -g**2 + 3*g - 10. Suppose 6*f - 236 = 10*f. Let t = f - -53. Let b be k(t). Does b = 2?
False
Let t = -463 - -460. Let r be ((-20)/t)/(-9*(-4)/54). Which is smaller: r or 9?
9
Let o be (-1187)/(-198) - 9/(-20 + 387/18). Let k(i) = -i + 4. Let m be k(5). Which is smaller: o or m?
m
Let y(h) = 4*h - 1. Let c be y(1). Suppose -c*x - 2 = 8*p - 4*p, 12 = -p + 5*x. Is p at most -0.069?
True
Let r = 5/108418994 + 77890698925337/24394273650. Let a = 3193 - r. Let i(k) = 3*k + 19. Let w be i(-6). Which is greater: a or w?
w
Let r(x) = x**3 - 22*x**2 - 20*x + 20. Let b be r(23). Suppose -12*h = -b - 31. Which is greater: -9 or h?
h
Suppose -164*i - 20664 - 16564 = 0. Which is smaller: i or -200?
i
Let h = -2409.8 - -2409.9. Is h less than 0.04558?
False
Let x = 0.942 - 422.942. Let s = -415 - x. Is s greater than 0.8?
True
Let l(y) = -y + 6. Let i = -47 - -48. Let a be -7*((-2)/14 - i). Let v be l(a). Which is smaller: v or -12/13?
v
Let d = 528.5637 - 1.5637. Which is smaller: d or -8?
-8
Let h = -5694.86 + 5695. Which is smaller: 46/7 or h?
h
Let s = -30 - -2. Let h be s/6 + (-12)/36. Let f be h/(-10)*84/(-15). Which is bigger: -2 or f?
-2
Let i = 152 - 321. Let g = -218 - i. Which is smaller: -50 or g?
-50
Let g(j) = -j**2 + 16*j + 10. Let l be g(10). Let w be 50*(-9 - (-936)/90). Is l greater than or equal to w?
True
Let h(s) = -s**3 + 57*s**2 + 179*s + 53. Let y be h(60). Which is greater: -185/23 or y?
y
Let l = -1520 - -1516.2. Are l and 3 unequal?
True
Let x(o) = o + 46. Let k be x(-22). Suppose -10 = 4*f + 2*p + k, 3*f - 2*p = -22. Is -9 greater than or equal to f?
False
Let b be (149188/(-741))/((-124)/(-6) - 0) + 9. Which is bigger: b or -1?
b
Let b = 25 + -25. Suppose -3*r + 4*i - 1454 = -5*r, -2*r + 5*i = -1499. Let p = -9587/13 + r. Which is greater: b or p?
b
Let y = -680 + 587.4. Let u = -40.6 - y. Is u <= 0?
False
Suppose 0 = -8*d + 5*d + 30. Let l be (-8)/d - 36/(-20). Let q be (-12)/(-9) + -1 - -2. Which is bigger: l or q?
q
Let w = -9194 + 13367. Is 2/7 less than or equal to w?
True
Let g(l) = -l + 2. Let t be g(-4). Let i = -49 + 53. Let d be (1/(-2))/(i*3/24). Which is greater: d or t?
t
Let g be (1 + -7)*(9 + -11). Suppose -g = h + 3*h. Let i be (-2)/(-2) - ((-6)/1 + 12). Which is smaller: i or h?
i
Let m be 248/4*((-10)/4 + 4). Suppose -4*w - 3*n = -m, 3*w - 2*n - 26 = 2*w. Let u be (9/(-3))/12*-92. Which is bigger: u or w?
w
Let w = 16193158 + -145030487/9. Let n = -78851 + w. Let s = n + 192. Is 0 greater than or equal to s?
False
Let s be 780668/(-235) - (7 + -12 - -7). Let g = s + 3324. Is 0.1 != g?
True
Suppose -16 = 5*x - 36. Suppose 0 = 5*a + x*y - 2*y - 28, -16 = -3*a - y. Suppose a*j + 161 = -55. Is -52 less than j?
False
Let a(v) = v - 12. Let s be a(9). Let b = s + 8. Suppose 2*r - 3*r = 5*o + b, 3*o + 2*r + 3 = 0. Which is smaller: 1/4 or o?
o
Let l(k) = -k**3 - 9*k**2 - 8*k + 6. Let s be l(-8). Let w be s/21 + (-37)/154. Let u = -2.2204 + 0.2204. Which is smaller: u or w?
u
Suppose -y + 0*z + 2*z + 23 = 0, 9 = -3*z. Suppose 0 = -y*x + 8*x. Is x smaller than -8/29?
False
Suppose 38 = d - 5*b, 0 = 5*d + 5*b - 121 + 21. Suppose -24 = d*w - 1. Is w greater than or equal to 8/39?
False
Let u = 2965 + -2964. Is 406.2 greater than u?
True
Let t be -2*1 - (2 - -20). Let h(p) = p**3 + 11*p**2 + 26*p + 25. Let i(g) = -g**2 + 3*g. Let s(z) = -h(z) + 4*i(z). Let w be s(-14). Which is greater: w or t?
t
Let y be (160/35*-27)/(2*(-6)/(-56)). Which is bigger: -578 or y?
y
Let f(x) = -x**2 + 9*x + 454. Let o be f(-16). Which is smaller: 24 or o?
24
Let j = -5385 + 5478. Is 93 at most j?
True
Suppose 3*m + 21 = -5*w, 4*w + 4 + 10 = -m. Let d(q) = -3*q - 55. Let v be d(-18). Which is smaller: v or w?
w
Suppose -17*f - 116 = -17813. Let y be (-3)/(f/150 + -7). Is y < 50?
False
Let t = -4256/135 + 158/5. Does t = -0.08?
False
Let d = 23 - 23.88. Let v = -37 - -37.38. Let w = d + v. Is 2/3 less than or equal to w?
False
Let d = 318 + -154. Let v = d + -111. Let f be 53*(1/10)/(34/170)*2. Is f > v?
False
Suppose -4*o - 9 = 125*b - 124*b, -3*o + 12 = -3*b. Which is smaller: 2/20007 or o?
o
Let d(c) = -4*c**3 - 10*c**2 + 165*c + 1878. Let f be d(-11). Which is greater: 4179 or f?
4179
Suppose -13*f + 12*f + 96 = 4*d, -4*f - 24 = -d. Suppose -d + 18 = 2*m. Which is greater: m or -45/14?
m
Let m = 4881.1152 + -4881. Which is greater: -0.3 or m?
m
Suppose 3*j - 4*j = j. Suppose 9*f + 162 = -j*f. Let i = f + 687/38. Does 1 = i?
False
Let a = 1.2655 + -5.3765. Which is smaller: a or -1?
a
Let s = 20 - -5. Suppose -21*j = -s*j. Let q = -219419/109 - -2013. Does j = q?
False
Let m = -3.43 + 0.13. Let f = 11509 - 11514. Which is greater: m or f?
m
Suppose -y - 10*h - 34 = -5*h, -2*h = -4*y + 18. Is 11/136 at least as big as y?
False
Let d(s) = -s**2 - 10*s - 5. Let y be d(-7). Let n be (6/(-8))/((-6)/y). Suppose j - 1 = n*j. Which is smaller: 3/7 or j?
j
Let y(s) = 12*s - 2. Let g be y(-2). Let m = g - -29. Suppose -5*r = 3*c + 20, 0*c = -2*r - 3*c - 17. Is r < m?
True
Let t(r) = -6*r**3 - r**2 + 8*r + 12. Let j be t(-2). Suppose -3*m = 3, 3*m + m = 2*d + j. Is -0.4 at most d?
False
Suppose 14*m - 214 = -i + 10*m, 1180 = 5*i - 2*m. Suppose i*h = 242*h + 272. Which is greater: 3 or h?
3
Let r be 3/17*4/6. Let p = -3249 + 3251. Is r > p?
False
Let h be 340/(-5)*-3 + 2*-1. Suppose -20*x + h = -498. Which is smaller: 0 or x?
0
Let a(z) = z**3 + 11*z**2 + 16*z - 13. Let y be a(-9). Suppose y*b - 140 + 140 = 0. Is b less than or equal to -2/249?
False
Let j = -73.8 - -74. Let z = 0.8 + 3.2. Let x = z + 5. Is j at most x?
True
Let g(l) = -21*l - 650. Let t be g(-37). Let z be (1 - 2) + (134 - 7). Which is bigger: t or z?
t
Let m = -1757 + 2520. Let j = m - 764. Is -2/2215 < j?
False
Let o be 138/480 + (-5)/((-40)/(-2)). Let d(n) = n**3 + 10*n**2 + n + 11. Let s be d(-10). Which is smaller: s or o?
o
Suppose 210*i - 27 = 201*i. Let u = 2403/5 + -477. Is u at least as big as i?
True
Let y = -2170 + 1932. Which is bigger: -245 or y?
y
Let y = -4075