e 2 - ((-63)/(-24) - 1). Let x be (-12)/40*(-30)/(-8)*12/9. Which is smaller: x or u?
x
Suppose -10*q - 436 = -14*q. Let j = 114 - q. Let p be -2 + j/((-15)/(-26)). Which is greater: 8 or p?
8
Let c(q) = -q - 68. Let a be c(0). Let y(x) = x**3 - 18*x**2 + 54*x - 42. Let s be y(14). Is s greater than or equal to a?
False
Suppose 2979*m + 20024 = 2971*m. Is m smaller than -2501?
True
Suppose -48*d = -43*d - 2*r + 3246, 3*r = -4*d - 2606. Which is greater: d or -4552/7?
d
Suppose 10023 = -114*n - 465. Suppose 2*j = -2*j + 296. Let c = n + j. Is c at least as big as -19?
True
Suppose 4*z = 6*z - 224. Let i be (-28)/342 + z/504. Is 0 at least i?
False
Let d(l) = -306*l + 3979. Let k be d(13). Do k and 1/9667 have the same value?
False
Let r(n) = 5*n - 22. Let l be r(4). Let x be (l + 6)/1 - 0. Suppose j - 2*m + 10 = 2*j, -x = -2*m. Are 0 and j equal?
False
Suppose -44504 = -70*x - 240504. Which is greater: -2797 or x?
-2797
Let v(s) = 6*s**3 + 2*s**2 - s + 1. Let q be v(1). Let u(f) = -6 + f**2 + 3*f + q*f - 10*f. Let o be u(-3). Are -4 and o non-equal?
True
Let q be (-5)/15 + (-37)/(-3). Suppose k - q = 2*k. Let l be (k/(-45))/(1/6). Which is bigger: 2 or l?
2
Let r = -1 + 2. Suppose y - 9 = -p - 1, -y - 7 = -2*p. Suppose -g = -y*g - 5*b - 10, 31 = 3*g - 4*b. Which is bigger: r or g?
g
Let r(t) = -89*t**2 + 63*t + 253. Let c be r(-4). Is c equal to -1426?
False
Let b(q) = -30*q - 222. Let h be b(-6). Let k(n) = -9*n**2 + 4*n + 2. Let r be k(-2). Is r greater than h?
False
Let w = -24.29 - -25.6529. Let p = w - 0.0629. Which is greater: p or 2/7?
p
Suppose -2837 = 17*f + 2110. Which is smaller: f or -289?
f
Let v be 14 + -3 - (13 - 2). Let y = -7 - 1. Let o be (6/y)/(18/4). Which is bigger: o or v?
v
Let o = 53 - 56. Let i(s) = 3*s + 12. Let k be i(o). Is -5 < k?
True
Let u = 0.0403 - 2.2703. Let v = u + 2.1. Let p = 18.5 - 19.5. Is v not equal to p?
True
Let o = -601 + 540. Let h be ((-2)/60)/(o/(-244)). Which is smaller: 0 or h?
h
Let q(r) = 26*r + 41. Let a be q(-2). Let y = -11 - a. Which is greater: -18/49 or y?
y
Let w = 263/762 - 3/254. Let l = 1469 - 1491.62. Let g = 0.38 - l. Which is smaller: w or g?
w
Suppose -3*j = 5*b + 16621, -5*b + 13611 = -5*j - 14184. Do -5552 and j have the same value?
True
Suppose -v + 74 - 8 = 0. Suppose -t + v = -2*y, 0 = 3*y + t + 55 + 49. Let b = 24 + y. Which is bigger: 3 or b?
3
Suppose -5*f - 80 + 70 = 0. Let u = -8 + f. Let w be 4 - (-5)/((-5)/17). Is w bigger than u?
False
Let f be 4862/6358 - (-4)/17. Which is bigger: f or -14/855?
f
Let p be 6/(-3) + 21 + -19. Is p bigger than 3/580?
False
Let p be 470/828 - (-4)/(-9). Let k = 3229/1794 + p. Which is smaller: 3 or k?
k
Let a be (16628/(-723) + 23)/((-3)/18). Does a = 0?
False
Let q(u) = -2*u**2 + 40*u + 85. Let x be q(17). Which is smaller: 189 or x?
x
Suppose -5*k = 5*f + 35 - 330, -2*k + 121 = f. Suppose 3*d - 3*t = 165, -d - 57 = -2*d - t. Let l = k - d. Is l bigger than 8?
False
Let y = 4769 + -33381/7. Which is greater: 346 or y?
346
Let r(x) = x**2 + 2*x + 1. Let f be r(-1). Let t be 135/25*4/30 + 0. Which is smaller: f or t?
f
Let s = 22949/21 + -1093. Let z = -600 + 601. Which is bigger: z or s?
z
Suppose -9201 = -5*c + 2*l + 10004, c + l - 3841 = 0. Is 3841 <= c?
True
Let q = -11195 + 11194. Is q > -2/11085?
False
Suppose -6 + 31 = -5*n, -4*y - 3*n = -181. Suppose 3*z - 3 = 6. Suppose i = z*c - 142, -5*c + 3*i = 10 - 240. Are c and y equal?
True
Suppose 2*n = 7*n - 355. Let i = 239 + -259. Let y(q) = -8*q - 90. Let w be y(i). Is n at most w?
False
Let f(a) be the first derivative of -a**5/120 - 5*a**4/12 + 2*a**3/3 - 10. Let z(h) be the third derivative of f(h). Let c be z(-6). Which is bigger: -9/2 or c?
c
Suppose 3*s = 14 - 8. Let k(m) = -3*m**2 - 140*m - 2 + 2*m**s + 124*m - 3. Let c be k(-17). Which is bigger: -21 or c?
-21
Let t = 8250/63553 + 10800154312/7181489. Suppose -3659 = -4*a + 2357. Let n = t - a. Are n and 0 unequal?
True
Let d be (328/(-388)*53)/190. Let c = d - 1/970. Does -1 = c?
False
Let q be (-2)/8 + ((-4)/(-9) - (-43909)/1908). Which is smaller: 24 or q?
q
Let z be (-24)/(-18) + (-8)/6. Is z greater than -1/2991?
True
Let r = 7604 - 6834. Is r greater than 765?
True
Let j(a) = -a**2 + 15*a + 2. Let w be j(14). Suppose z = 5*z + w, 4*x = 5*z + 24. Let m = -933 + 49447/53. Which is greater: m or x?
x
Let r = 12.834 + -12.734. Which is smaller: r or 118/11?
r
Let i = -14 - -9. Let v = i + 61. Let g = v - 55.6. Are g and 6 unequal?
True
Let j(u) = u**3 + 32*u**2 - 430*u - 94. Let c be j(-45). Are -2/7 and c equal?
False
Suppose -4510 = -34*r - 124. Is r < 129?
False
Suppose 119*z - 6116 - 9527 = -1839. Is 51 less than z?
True
Let k = -3 - -2. Let u = -322 + 325. Let l be (u - 35/15) + 32/(-3). Is l < k?
True
Suppose 1356*v - 477*v = 8917455. Is 30437/3 not equal to v?
True
Let c be 168/(-160)*(-585)/728. Does -4/9 = c?
False
Let w(h) = h**3 - 6*h**2 + 5*h - 3. Suppose 2 = -t + 7. Let q be w(t). Let u be (0 + q)*(-36)/(-21). Is u greater than or equal to -6?
True
Let p = 170 - 166. Suppose 15 = -3*m, 7*x = 8*x - p*m - 24. Is -4 at most as big as x?
True
Let k(p) = -p**3 - 38*p**2 + 2*p + 60. Let g(x) = x**3 - 14*x**2 + 32*x - 27. Let o be g(11). Let h be k(o). Is -21 equal to h?
False
Let y be ((-165)/(-4))/3*4. Let a be ((-5)/(5/(-3)))/1. Let d be (-2 - (-66)/5)/(a/15). Which is smaller: y or d?
y
Let z(x) = -x**3 + 47*x**2 - 68*x + 423. Let r be z(43). Is 4895 bigger than r?
False
Suppose 3*t = 2*i + 87, -t + 0*t + 4*i + 39 = 0. Suppose t*v = 6*v - 735. Which is bigger: -36 or v?
v
Suppose -7*b + 5*g + 77 = -9*b, -5*b - 140 = -5*g. Let k(x) = -5*x - 15. Let a be k(-6). Suppose 7*h + a = 1. Which is smaller: h or b?
b
Let g be (-316 - -294) + 1006/(-26). Which is greater: g or -60?
-60
Suppose 15*n - 383 = 127. Let k be (n/(-8) + 4)/(-1). Is -52 < k?
True
Let y = -5581 - -5580.89529. Is y at least -0.1?
False
Let w be -6*3/(1 - -5) + 11. Suppose -w*m = -10*m - t - 4, m - 16 = 4*t. Which is smaller: m or 7?
m
Let y = -8365 + 8367.2. Are -6 and y nonequal?
True
Let a(f) = -19*f**2 - 13*f - 14. Let l be a(-6). Let p = l + 4328/7. Is p smaller than 12?
True
Suppose 44 = 4*w + 4*g, 4*w = -2*g + 33 + 1. Suppose 0 = w*m - 520 + 520. Is m at most 1/272?
True
Let v(d) = -5*d**2 + 5 - 2*d**2 + 19*d**2 - 9*d**2 - 5*d**2 - 6*d. Suppose 5*w + 11 = 2*t - 6, -2*t + w = -5. Let s be v(t). Which is smaller: -34 or s?
-34
Let b(l) = l**2 + 43*l - 17. Let q be b(13). Is q bigger than 712?
False
Let i be 4/(-9)*(-2 + 97/50). Let u(a) = 7 - 5 - 3 + 3 - 2*a. Let t be u(1). Which is bigger: i or t?
i
Suppose -2*c + 2*g - 10103 = 3685, 2*c + 13698 = 17*g. Is -6900 equal to c?
True
Let c(k) = k**3 + 2*k**2 - 2*k - 3. Let b be c(0). Let j be (3/(-2))/b*176/(-8). Let a(z) = z**2 + 12*z + 6. Let h be a(j). Is h greater than or equal to -27/5?
True
Let m be -40*1 - 1020/85. Is m at least as big as -17?
False
Suppose 4*x - 2134 = 6*y - 3*y, 5 = 5*x. Let m be 1 + 0 + 60/y*12. Which is smaller: 0 or m?
m
Let n = 217 - 120. Suppose 5*l - 11*r = 541, 4*l - 73*r + 76*r - 362 = 0. Is l smaller than n?
True
Let d = 1612868/33141 - 2/11047. Which is bigger: 50 or d?
50
Let s(c) = 92*c + 3783. Let r be s(-41). Which is bigger: r or 637?
637
Let c = 5 - -87. Let l = 90 - c. Let u = 15 - l. Which is smaller: u or -3?
-3
Let n = -8119 + 8119. Let p = 5436 + -168530/31. Is p >= n?
False
Suppose f = -3*o + 16, 3*o + 7 = 5*f - 1. Let d(x) = 24 + 8*x + 10*x**2 - x**3 + 8*x**3 - o*x**3 - 2*x**3. Let a be d(-9). Which is smaller: a or 1?
1
Let r = 25.239 - -232.761. Which is smaller: r or -0.38?
-0.38
Let z = -133 - -133.89. Which is smaller: z or 0.02?
0.02
Let n be (25 - 26)/((1 - 5)/(-4)). Is 521 != n?
True
Suppose -p - 3 = 0, 2*z - 4*z + 3*p + 769 = 0. Let k be (z/30)/((-2)/(-12)). Let h = -76 + k. Which is smaller: -2 or h?
-2
Let f(p) = -193*p + 2502. Let c be f(13). Which is smaller: c or -124/17?
-124/17
Let w = -53.966 - -54. Let t = w + -0.017. Which is smaller: t or -1?
-1
Let s be (10 - 11)*(-4 + -201 + 0/(-2)). Is -1 <= s?
True
Let t = 0.3 - 0.5. Let x = -0.3 - t. Let m = 4286 + -4269. Are m and x non-equal?
True
Let h(t) = t**2 + t + 16. Let q be h(-13). Suppose 0 = l - 3*l + q. Suppose -5*f = 4*v - l, -4*f + 3*f + 2*v = -6. Which is greater: f or 11?
f