 be u(-1). Which is greater: c or j?
j
Let q(v) = v**3 - 32*v**2 - 64*v + 151. Let g be q(34). Suppose -4*j - 1438 = -5*o - 6*j, 3*o - 5*j = 869. Is g > o?
False
Suppose -2*r - 4*d = 20, -r - 4*d - 26 = -8. Let v = -17 - -16.2. Let c = -1.1 - v. Is c at most r?
False
Let o = 1 - -22. Let i = -44006 + 44019. Which is bigger: o or i?
o
Let z be 3*1*(-4 + (-284)/(-12)). Let x = z - 79. Let b = 29 + x. Is 9 bigger than b?
False
Suppose 6*g - 20 = 2*g, -61 = -4*n - 5*g. Let o = 6 - n. Let a be (8 + o)*1*5. Is a less than or equal to 25?
True
Let d = 131 - 128. Suppose g = -d*h + 11, 6*h - 3*g = 2*h + 6. Suppose 16 = -q - h*r, q - 4*r = -q + 18. Is -1.6 less than q?
True
Let g = 25.1 + -40. Let h = 78.9 + g. Let m = h - 47. Does -0.1 = m?
False
Suppose 53*r = 49*r + 4. Let w = r + 4. Suppose 0 = w*b - 5*k, 0 = -5*b - 4*k + k. Is b greater than -2/19?
True
Let t(n) = 2*n**2 - 4*n - 71. Let w be t(19). Suppose w*o + 186 = 573*o. Are -2 and o equal?
False
Suppose 4*b + 648 = 3*x, 82*b = -4*x + 86*b + 872. Suppose 421 = 2*p - 5*t, -4*p - 4*t = -5*t - 887. Is x at least as big as p?
True
Let v be 2/(-9) + (3 - 3*721/(-189)). Which is bigger: v or 14?
v
Let x = -406/1121 - -40/59. Suppose -2*q + 12 = -2. Suppose -3*o + 3*p - 7 = -1, -q = 3*o - 4*p. Is o at most x?
True
Suppose -64*n = -61*n - 2*b + 12477, 2*b = -n - 4175. Is -4163 <= n?
True
Let n(y) = y**3 - 29*y**2 + 26. Let f be n(29). Suppose 0 = -i - f + 34. Let d = -6 - -12. Does d = i?
False
Let x = -129 + 131. Suppose -4*j - x*q + 28 = -6, 0 = 5*j - 5*q - 5. Which is smaller: 21 or j?
j
Let t = -252 + 251.8. Which is bigger: t or 818?
818
Let l = -3 + -2. Suppose -2*j = a + j + 5, -13 = a + 5*j. Let d(n) = -5*n + 29. Let w be d(a). Which is greater: w or l?
l
Suppose 509 + 12049 = 5*k + x, -x = -18*k + 45195. Is 2509 at most k?
True
Let u = 27.971 - -0.029. Let x = 28.71 - u. Let y = -1388.1 - -1388. Which is smaller: x or y?
y
Let w(a) be the first derivative of a**4/4 - 2*a**3 - 4*a**2 + 3*a + 1. Let m be w(7). Let z(n) = 6*n + 12. Let s be z(m). Is s at most -14?
False
Let m(h) = -143*h + 2666. Let g be m(24). Is g less than or equal to -766?
True
Suppose 41*o - 996 + 11287 = 0. Is -246 less than o?
False
Let y be 2385/(-1060)*694/3. Which is greater: -521 or y?
y
Let m = 27.218 - 49.018. Is -5 at most as big as m?
False
Let r = -8/75 - 689/25. Let n = -1 + -27. Let y = r - n. Is -1/4 smaller than y?
True
Let n = 14 + -18. Suppose 0*g - 25 = -5*g. Let f be n/((-12)/g) - 2. Are -5 and f equal?
False
Let m(v) = -v**2 - 2*v + 11. Let f be m(-5). Let i be f*(6 - (-91)/(-14)). Which is greater: -9 or i?
i
Suppose 11*z = 23 + 10. Suppose -5*n + 16 = d, 6 = 3*d - 6*d + z*n. Let l be 220/(-121) + 2 + (1 - d). Which is greater: l or -1?
l
Let v(l) = -3*l + 17. Let t(x) = 4*x - 16. Let d(h) = 2*t(h) + 3*v(h). Let q be d(19). Suppose q = -16*i + 20*i + 72. Which is bigger: -17 or i?
-17
Let x = 10 + -9. Let w = 5.086 + -1.805. Let d = w + -0.181. Which is smaller: d or x?
x
Let u be 6664/14 - 25/(-5). Let l = 489 - u. Is l < 8?
False
Let q be ((-2)/(8/(-3)))/(35/336*-9). Which is smaller: 762 or q?
q
Suppose 0 = 4*d - j + 7, 107*d - 109*d - 3*j + 7 = 0. Let u be 261 + 0 + 1 + -3. Let f be 14/(-49) - (-76)/u. Is d less than f?
True
Suppose -16*m - 365 = -21*m + 2*a, 4*a = -4*m + 292. Suppose 0 = -m*k + 82*k - 18. Which is smaller: 7 or k?
k
Let p be 7 - 4 - 19 - 3/(-1). Let k be (3 + -5)/(4/6). Let b be 40/k + (-4)/(-36)*3. Is b at least as big as p?
True
Let r(t) = -11*t - 7. Let o be r(-5). Suppose -4*p - o = -2*g, 5*p + 2*g + 63 = 3. Let y be (p/(-8))/(3/6). Which is greater: 13/6 or y?
y
Suppose -50*q + 49*q = -4*i - 86, i - 1 = 0. Is q at most 96?
True
Let f(p) = p**3 - 12*p**2 + 11*p + 4. Let l be f(11). Let g be (20/(-15))/(l/(-6)). Let u = -418 - -2097/5. Is u at least as big as g?
False
Let r be (3 - (-20)/(-4))/(-6). Let h = 1557 + -1531. Which is bigger: h or r?
h
Let r be -2 + 8 - (20/2 - (-2576)/2). Are -14208/11 and r nonequal?
True
Let p be 7/(-12477)*(2/42)/(17/102). Which is smaller: p or -1?
-1
Let m(c) = -c**2 - 8*c. Let a be ((-16)/20)/(3/(-30)) - -4. Suppose -3*q + 7*q + a = 0, 4*v = -5*q - 51. Let j be m(v). Is j greater than -2?
False
Let f = -1541 + 5644. Let h = 4055.34 - f. Let v = h + 47. Which is bigger: 1 or v?
1
Let p = -12102 + 12623. Does 524 = p?
False
Suppose 26*s - 134 = -1304. Which is greater: -41 or s?
-41
Let n = -0.107 - 99.893. Let m = 70 + n. Let l = 0.27 - 0.37. Which is smaller: m or l?
m
Let q(s) be the first derivative of s**4/4 - 11*s**3/3 - s**2/2 + s + 19. Let u be q(11). Let c be 26/(-28)*u - (-4)/(-14). Which is smaller: c or 2?
2
Let n = -59 - -115/2. Let v(d) = 87*d + 434. Let x be v(-5). Which is bigger: x or n?
x
Let p be 1/2*5/((-990)/(-82404)). Is p < 207?
False
Suppose -45 - 39 = -7*k. Suppose 8 = -2*l, k*q - 14*q = 2*l + 10. Are -4/39 and q nonequal?
True
Let z be (4170/72 - 5/(-15))/(12/(-336)). Is -1628 > z?
True
Suppose 5*a - 5*s + 15 = 0, 0*a + 4*a - 2*s = -10. Let x be a*(-1)/((-4)/(-6)). Let p be ((-4)/(-10))/((-9)/(-20)). Is x > p?
True
Let i = 1/306613 - -6549253673/2146291. Which is greater: 3050 or i?
i
Let u(s) = -15*s + 29. Let g be u(2). Let j = -1596 + 1544. Which is bigger: g or j?
g
Suppose 7*m + 134 - 498 = 0. Are m and 12 nonequal?
True
Let s = 0.0004 - 0.1104. Suppose -8 = f - 4*a, -f - 3*a + 20 = -0*f. Let l be (2 + -3)*2/f. Is l smaller than s?
True
Suppose s = 6*s + 25, 0 = 6*n - 2*s - 46. Let b be (164/n)/((-24)/(-18)). Suppose 0 = x - 5*a, 5*x + 2*a = 7*a + 80. Is x less than or equal to b?
True
Let u be ((-87)/6)/(2/(-20)). Suppose 2*v - u = -3*v. Suppose 36 - 816 = -26*n. Which is smaller: v or n?
v
Suppose 0 = -45*q - 36*q - 66420. Is -5736/7 at least as big as q?
True
Let o = 33338 - 33334.4. Which is smaller: 64 or o?
o
Let v(r) = -r + 2. Let n be v(8). Let o be ((-46)/69)/((-2)/n). Let z be (-2)/6*-1 + -1. Which is smaller: z or o?
o
Let s(u) = -u**3 - 5*u**2 - 2*u - 11. Let c be s(-5). Let i = -2104/195299 - 3/2353. Is c smaller than i?
True
Let g be (-24 + 16 + 7)*(0 - -1). Let s be 1/7*1431958/(-58). Let v = 3527 + s. Which is greater: v or g?
v
Suppose 329 = 13*g - 10*g - 2*u, -4*u = 3*g - 359. Suppose g = 19*h - 77. Is 55/6 < h?
True
Let a = 16 - 3. Let k = -4760 + 4772. Which is smaller: k or a?
k
Let o(r) be the first derivative of 10*r**2 + 276*r + 131. Let d be o(-14). Does -3 = d?
False
Let n(i) = 185*i**2 - 249*i + 19. Let l be n(-9). Which is greater: l or 17246?
17246
Let d = 985/2 + -6907/14. Let n = 14.6 - 14. Let x = n + 0.4. Is d >= x?
False
Let v = 25764827/112 - 230045. Is v smaller than -3?
False
Let z be (-6)/8*2 + (-12733)/(-34). Suppose 5*u - z = -298. Let y(w) = -w**3 + 8*w**2 - 7*w + 9. Let i be y(7). Which is smaller: i or u?
i
Suppose -29*w + 99*w - 140 = 0. Is w greater than 126/55?
False
Let n(x) = 10*x**2 + 59*x + 5. Let k be n(5). Let c = k + -693. Do c and -143 have different values?
False
Let m = -5 + 10. Suppose -3 - 1 = -m*c + 2*x, -2 = -4*c + x. Let p = -3/169 + -2671/1859. Are p and c non-equal?
True
Let j = -5707/69775 + 5/2791. Let c = -0.2 + 0. Let v = -0.2 - c. Is j >= v?
False
Let f = -20680/9 - -136345/63. Let g = f + 134. Let k(c) = 16*c**2 - 78*c - 11. Let l be k(5). Which is greater: l or g?
g
Let o be ((-44)/6)/(7/105). Let p be (-20)/o + 159/33. Suppose -5*z = -p*c - 30, -4*c - 6 = 3*z + 4. Which is smaller: c or -1?
c
Let a be (0 - (-324)/21) + 36/(-84). Let o be (-5)/(-7) - (-8)/28. Let d be o/4 - 55/(-4). Is d bigger than a?
False
Suppose 0 = 4*c - 3*t + 20 + 27, -4*t - 18 = 2*c. Let r(q) = q**3 + 11*q**2 - 7*q + 8. Let l be r(c). Let p be (-80)/3*102/l. Is -0.1 smaller than p?
False
Suppose -t + 4325 = -2*h, -8623 = -1385*h + 1389*h - 5*t. Is h not equal to -2173?
True
Let v = 265.5 - 263. Let d = -2.4 + v. Let c(m) = m**2 + 13*m + 15. Let l be c(-12). Is d less than l?
True
Let m = -0.704 - -0.404. Which is greater: -332/13 or m?
m
Let z = -5618 + 16876/3. Is z smaller than 7?
False
Let l be ((-15)/(-7758))/((-100)/(-30) - 4). Is l at most 0?
True
Let l(c) = c**3 + 10*c**2 - 9*c - 1. Suppose 7*g - g + 12 = 0. Let w(m) = 2*m**3 + 21*m**2 - 18*m - 3. Let s(v) = g*w(v) + 5*l(v). Let n be s(-9). Is n <= 2/33?
False
Let u be 4 - 13 - 9113484/(-1009722). Let h = u - 5