5*m + 630 + 2257 = y. Which is bigger: y or 2926?
y
Let m = -28634 + 28633.36. Which is smaller: m or 0.1?
m
Suppose 3 = f - 6. Suppose -l = 3*b + l + 27, -f = b + l. Let p = -9766 - -9765. Is p < b?
False
Let s(u) = u**3 + 8*u**2 + 25*u + 10. Let z be s(-5). Let w = 43 + z. Is w not equal to 34?
True
Suppose -c = -5*k + 5 - 25, -3*c + 2*k = 5. Let n(a) = 10 - 3 + 4*a + 14. Let g be n(c). Is g at least as big as 7?
False
Suppose -11*k = -5*k. Let t be ((-12)/(-18)*-3)/(1/(-238)). Let r be (-132)/t + (-6)/(-21). Is r < k?
False
Let y be 10/4 - (-8088)/(-16). Let k = -331 - y. Suppose 0 = 2*d - 14 + k. Which is smaller: d or -78?
d
Let p(z) = -z**2 - 27*z - 21. Let y be p(-26). Let f be y - (6 - -4)/(-2). Let n = 19 + -8. Is n smaller than f?
False
Let y = 124 + -128. Let c be (-2)/(-95)*-5*y/(-3). Is c less than 1?
True
Let n = -3/2692 + -5357/24228. Is n greater than or equal to -2/359?
False
Suppose -4*l = -9*l - 290. Let h be (0 + (-88)/50 - -2)/(78/(-18720)). Is h > l?
True
Let r(a) = a**3 + 7*a**2 - 4*a. Let m = -17 + 9. Let j be r(m). Let f be (18/j)/((-4)/(-8)). Which is greater: 0 or f?
0
Let i = -12.4 - -11.4. Are i and -4001 unequal?
True
Let p(j) = -j**3 - 16*j**2 + 136*j + 71. Let t be p(-22). Let n(a) = -a**2 + 4*a - 8. Let r be n(4). Which is smaller: t or r?
t
Let t(h) = 22*h - 2. Let w be t(6). Let x(v) = 100*v - 2270. Let l be x(24). Is l < w?
False
Let s be -4 - 640/(-726)*20/250*-15. Is -6 greater than or equal to s?
False
Let z be ((-4)/87)/(-57 - (13 + -72)). Let a = 2 - 1. Do z and a have different values?
True
Suppose -4*a + 3*f + 1813 + 4212 = 0, 3*a + 4*f - 4550 = 0. Is 4 > a?
False
Let t be (10/(-3))/(192/(-288))*41. Is t bigger than 214?
False
Suppose 4*i - 4*h - 38 = -50, 0 = -3*h + 9. Let t be (-4)/(-6)*(4 + -1). Suppose b = t*o - 16, -2 = -b - 4. Which is greater: i or o?
o
Let c be -2 + 2 + (-3)/3. Let h be (12/(-4815))/((-129)/86 - 54/(-20)). Is c > h?
False
Let h(d) = 5*d**3 + 64*d**2 + 56*d + 748. Let s be h(-13). Which is greater: s or -116?
-116
Let a be -1*2 - (-1 - (6 - 4)). Let q = -283/6 + 29119/618. Is a at least q?
True
Suppose 0 = -3*u - 0 - 3. Suppose 0 = g + 4*y - 11, 4*g + y - 3*y = -28. Let q be (-4)/6*g/(125/3). Which is greater: q or u?
q
Suppose 8 = m + 4*q, -3*m + 4*q + 0 - 8 = 0. Let j = 13.05 + -13. Let d = j + -0.04. Which is smaller: m or d?
m
Suppose 5*p + 2*t = -2754, -9*t - 549 = p - 8*t. Let v = -581 - p. Is -32 smaller than v?
True
Let w(s) = 89*s + 27 + 0*s**2 + 20 - 2*s**2 - 48 + 18. Let h be w(45). Does -86/3 = h?
False
Let j(f) = 248*f + 14831. Let l be j(0). Is 14830 bigger than l?
False
Let u = -38351 - -38350.7532. Which is smaller: u or -0.1?
u
Let d = -390 + 554. Suppose -2*p + 64 = z, -9 = -5*p + 4*z + d. Which is greater: p or 12?
p
Let m(k) be the first derivative of k**3/3 - 7*k**2 + 14*k + 1. Let q be m(12). Suppose 0 = -5*r + 15, 3*j + 9*r - 11*r + 30 = 0. Which is bigger: j or q?
j
Let n be 1551/(-22)*(-5)/((-15)/2). Let y = 47 + n. Let t be 66/15 + ((-2)/5 - y). Is t at least 0?
True
Let p = -812/561 - -218762/137445. Let z = 6/49 + p. Which is bigger: z or 1?
1
Let z(o) = -o**3 - 15*o**2 - 3*o + 7. Let j be z(-7). Let b be (-1 - (-1 - 0))/(-88 - -79). Which is smaller: j or b?
j
Let b be (((-138)/(-12))/23)/((-1172)/(-80)). Is b greater than or equal to 0?
True
Let t be 48207*(13 + (-874)/69). Is t greater than 16069?
False
Let p be -4 - (109 - (-21)/(-21)). Is p > -109?
False
Suppose h + 0*k + 353 = 4*k, -2*k = 4*h + 1322. Let p = h - -357. Is p at most as big as -0.3?
False
Let g(u) = -2*u**3 + 2*u**2 - 2*u + 2. Let k be g(1). Suppose 3*p - 12 = -3*m - k*p, m - p = -6. Is 2/475 at most as big as m?
False
Suppose 52077 = 6*u + 17*u - 4181. Do 2446 and u have the same value?
True
Let z = 1618.4 - 1560.4. Which is greater: z or 82?
82
Let r(y) be the second derivative of -y**5/20 + 25*y**4/12 - 7*y**3/3 + 21*y**2/2 + 17*y. Let s be r(24). Suppose -37 = -4*v - s. Is -55 >= v?
True
Suppose 9 = 3*k - 3*u, -23 = 3*u - 14. Suppose -16*m + 2*a - 5 = -11*m, 4*m + a + 4 = k. Which is smaller: m or 3/59?
m
Let k = 1/155865 + -35138/618004725. Which is smaller: 1 or k?
k
Let f be -1*(0 + 3 - -94). Let n = 107 + f. Let y be 6/7*n/20. Is y less than 1?
True
Let b = -47397577/230 + 206076. Let n = b + 1/46. Is n less than -1?
False
Suppose 0 = -4*h - 3*i - 70, 3*h + 0*i = -4*i - 56. Let v be (2/10)/(h/(-1720)). Which is bigger: v or 22?
22
Let j = 467549/75 + -6234. Is -1/3 <= j?
True
Let v(p) = -10*p**2 + 19*p + 821. Let f be v(44). Is f bigger than -17703?
False
Let k = 0.0917 + -0.5917. Which is smaller: k or 1.57?
k
Let o = -145.34 - -122.9. Let i = o - 0.56. Let h = -26 - i. Which is bigger: h or -0.1?
-0.1
Let u = -186 - -170. Suppose -2*h = h + z - 20, 0 = 3*h + 3*z - 30. Suppose -h*o = 4*q + 49, -5*o = q - 0*o + 1. Is u < q?
False
Let x be ((-1376)/215)/((-2)/(-290)). Is -926 not equal to x?
True
Let j be -3*(1 + 16/(-14)). Let u = 105.774 - -0.226. Let r = 105.6 - u. Which is smaller: r or j?
r
Let l = -0.62 + 29.62. Let c = -270 + 241. Let i = l + c. Which is smaller: i or 2/107?
i
Let r be 3/4*(-6 + -6). Let v be 3/r*1*-321. Let d = -3421/32 + v. Which is smaller: d or 1?
d
Suppose -3*g + 5*t - 1 = 10, -5*g = 5*t + 5. Let d be 1/(g/(-14)) + (-18)/(-9). Let n be d/3 + -5 + (-9)/(-3). Is -1/15 < n?
True
Let v be 39 - 407 - (0 + -2 - -8). Which is greater: -376 or v?
v
Let j = -28 - -37. Let z be (j - 3) + 2 + -3. Suppose 2*v + 0*p = -5*p - 88, 4*v + z*p + 156 = 0. Is v < -35?
False
Suppose -11*c - 20 = -c. Let k = 5.6286 - 0.8516. Let b = k + 0.223. Which is bigger: b or c?
b
Let m = -2.84 - -2.75. Which is smaller: m or 57?
m
Let x(t) = -t**3 - 55*t**2 - 50*t + 47. Let l be x(-54). Let f = l - 304. Is f greater than or equal to -472?
False
Let w = -69.95256 + -0.04744. Is w < -1/91?
True
Let j = 5019 - 5017. Which is bigger: j or 523?
523
Let s = -187 + 132. Let g = s + 54. Let i be (1227/(-249) - g) + 4. Is -1 <= i?
True
Let n(p) = p**3 + 4*p**2 - 6*p - 11. Suppose 0 = -v + 4*t + 7, 8 = 4*t + 20. Let a be n(v). Which is smaller: a or -2?
a
Let j = 49 + -52. Let m be j/((-9)/(-6)) - (-8 - -2). Let h be ((-14)/(-18) - m/(-18))*3. Which is smaller: h or -3?
-3
Let w be 3/(-23)*(-28)/21. Let t = 1.97 - -0.03. Let r = -3 + t. Is w less than r?
False
Let b = -31 + 31. Suppose b*p - 2*w + 42 = 3*p, -w = 4*p - 56. Let x(h) = -16*h**3 - 2*h**2 - 2*h. Let o be x(-1). Is p <= o?
True
Suppose 0 = 2*b + 174 - 182. Suppose y = b*w + 7, -4*y = -2 + 6. Which is smaller: -50/21 or w?
-50/21
Let b = -29.1 - -34. Let u = 5 - b. Let i = 683 - 665. Which is smaller: i or u?
u
Let k be (2/2)/(3/15). Suppose 868 = -187*o - 1880 + 4244. Is o > k?
True
Let h(b) = b**2 - 13*b - 702. Let c be h(38). Which is greater: c or 1236/5?
c
Let m = -526 + 525.9. Let f = -2/2581 + -51558/80011. Which is smaller: m or f?
f
Suppose 3*k = 4*k + 15. Let r = k - 0. Let s = 0.112 + -0.012. Which is smaller: r or s?
r
Let g = 4339 - 4375. Is g > -40?
True
Suppose 6246 = 22*r + 6224. Is -20/83 less than r?
True
Suppose 0 = -73*y - 8*y - 29079. Is -359 smaller than y?
False
Let v = 5973.365 - 5974. Which is greater: v or -0.5?
-0.5
Let v = -3.7 - -196.7. Let h = 193.7 - v. Which is greater: 4 or h?
4
Let t = 52401/7 - 157663/21. Let k = -158/7 - t. Which is smaller: 93 or k?
k
Suppose 27 = 4*d + q + 2*q, 5*d = -2*q + 32. Let i be d/8 + ((-9)/(-8) - -2). Which is bigger: 3 or i?
i
Let r(a) = -a**3 - 3*a**2 - 3*a - 3. Let l be r(-2). Suppose 4*m - 332 = 880. Let y = 304 - m. Is l equal to y?
False
Let j(z) = -z**2 + 4*z - 1. Let k be j(2). Let m = 67094/17085 + 166/201. Let l = -6/17 + m. Which is greater: l or k?
l
Let p = -727 + -1055. Which is smaller: p or 2/7?
p
Let r(m) = 58*m + 415. Let s be r(-8). Let w be ((-2)/(-21))/((-13)/6513). Which is greater: s or w?
w
Let f = 398 - 203. Suppose -22*v + 27*v + f = 0. Which is smaller: v or -37?
v
Let r(f) = -f**2 - 22*f - 22. Let y be r(-21). Let j be (y - 0) + (1 + 7)/4. Let a be (j + -3)/((-78)/(-6)). Are 1 and a equal?
False
Suppose 20 = -5*b, -2*y + 5*b = -y - 22. Let w be 8/(-2) + (2 - -4). Suppose y*z = w*g, 0*z + 4*z + 25 = -g. Does 0 = g?
False
Let t = 308 - 328. Let j be -1*6/10*t/54. Suppose -4*x = -2 - 2. Which is smaller: x or j?
j
Let k(w) be the thir