
True
Suppose 5*w = 4*r - 22, 10 = 3*r - w - 1. Suppose 4*d + 12 = 2*y, -8*y = -7*y - r*d - 9. Which is greater: y or 2?
2
Let c(o) = 3*o**2 + 2*o - o**2 - 5 - 6*o**3 - 6*o**2 - 7*o. Let p(n) = -n**3 + 8*n**2 - 7*n - 2. Let s be p(7). Let g be c(s). Which is smaller: g or 36?
36
Let y(n) = 3*n + 28. Let t(g) = g + 9. Let c(a) = -7*t(a) + 2*y(a). Let x = 512 + -518. Let q be c(x). Which is smaller: -4/29 or q?
q
Let r = -2.4 - -25.4. Let k = -61 - -36. Let y = r + k. Are -9 and y nonequal?
True
Suppose 4*a + d + 140 + 12 = 0, 5*a + 4*d + 190 = 0. Let l = a + 191. Let y be 4/34 - 52/l. Which is smaller: -0.01 or y?
y
Suppose 0 = 5*l, 2*g + 2*l = -0*l - 518. Let b = 12390 - 12650. Is b > g?
False
Let z(y) = y**3 - 26*y**2 + 33*y + 43. Let k be z(25). Let u = -2062451 - -55692739/27. Let t = u - k. Is 0 at most t?
True
Let b = -0.02 - 1.98. Let y be (-1)/1 + (-59)/17. Let w = y - -2542/561. Is w not equal to b?
True
Suppose -t + 247 = m, 4*t - 486 = -6*m + 4*m. Suppose -482 = 2*n - 2*x - 2*x, -n - 3*x - m = 0. Let o be n/380 + 4/(-38). Which is smaller: -1 or o?
-1
Let s = 845/72 - 100/9. Let v(k) = k**3 + 21*k**2 + 24*k + 80. Let b be v(-20). Are s and b unequal?
True
Suppose 5*i - 3*u = -43, i - 2*i - 5*u - 3 = 0. Let a be i/(12/3)*-2. Let c be (-4)/(-62)*(-6 + 25/a). Are c and -1 equal?
False
Let b(u) = 4856*u**3 - 3*u**2 + 4. Let c be b(-1). Does c = -4855?
True
Let t = -84646 - -84400. Let g = -446 + 200. Is g bigger than t?
False
Let a = 0 + 3. Let h = -313 + 307.77. Let c = -5.25 - h. Which is bigger: c or a?
a
Let n = 8910 - 115840/13. Which is bigger: 2 or n?
2
Suppose -3*b + 6*z - 10*z + 32912 = 0, 4*b + 5*z - 43882 = 0. Let o be b/170 - 2/17. Which is smaller: o or 64?
64
Let b(j) = j**2 - 5*j - 10. Let s be b(7). Let u be -1*s + (-2 - -5). Let c be (3/5)/(u/(-15)). Is 8 bigger than c?
False
Let t = -411 + 498. Let f be ((-9)/21*1)/(t/(-58)). Which is smaller: 0 or f?
0
Let a be (2 + -9)/(0 + -1). Suppose -8 = -4*w + 12. Suppose a = w*c - 3*d, -c - 4*d = -2*c + 15. Which is smaller: -3/7 or c?
c
Suppose -3*u + 4 = -2. Let h be ((-3)/6)/(2/u). Let y = 10/7 + -96/77. Is h at most y?
True
Let s = -485953/861 + -161/123. Do -565 and s have the same value?
False
Let k(m) be the first derivative of 3*m**4/2 - 2*m**3/3 + m**2 - m + 6. Let d be k(1). Suppose -15*b - 173 + 233 = 0. Is d > b?
True
Let q = 3725774 - 182621728/49. Let g = q + 1200. Suppose 0 = 4*o - 0*o + o. Which is bigger: o or g?
o
Let f = -3 + 3. Let m be 1/(7/2*(-19)/(1862/4438)). Which is bigger: m or f?
f
Let v be (91/14)/(-13)*(-118 + 0). Suppose -2*o + 4*k - 64 = 0, 5 = -2*o + k - v. Let p be (-1*12)/((-3)/(-8)). Is o < p?
False
Let a = 7.57 + -7.47. Which is greater: -1825 or a?
a
Let y = -304 - -103. Let p = -199 - y. Which is greater: -32 or p?
p
Suppose -2*n + 3*k = 17 - 160, -n = 4*k - 77. Let y = -74 + n. Let w = 35 - 209/6. Are y and w equal?
False
Let g(p) = -2*p**3 + 88*p**2 + 8*p - 68. Let t be g(44). Suppose -153 = -3*f + 699. Is f less than or equal to t?
True
Let a be (0*(-5)/(-15))/2 - (-132)/258. Which is smaller: a or 0?
0
Let z = -607/2 - -6781/22. Is z at most as big as 4?
False
Let s(t) = t**2 - 10*t + 23. Let u be s(7). Suppose 4*l - 2*d - u + 4 = 0, -2*l + 8 = -4*d. Let q be (-12)/(-9)*(-2)/(-6)*l. Are q and -2 non-equal?
True
Suppose 23*l + 844 = 27*l. Suppose 5*y + l = -209. Let h = y + 914/11. Which is bigger: 0 or h?
0
Let m be 58/493 + 18/714. Let n = 87 - 128. Is n at most as big as m?
True
Let t = -6245 - -6278. Is t <= 0.06?
False
Suppose g = 3*d - 16, 12 = 5*d - 2*g - 14. Let k be (-230)/(-180) - (-4)/d*-3. Which is greater: -1 or k?
k
Suppose -2*i + 6*d - 53 = d, 2*i + 2*d + 46 = 0. Let y = i + 8. Let f be -1 + 0 - (1 - (-29)/y). Is f smaller than 0?
True
Let l = -0.191 + 0.13. Let d = 2987.539 + -2988. Let x = d - l. Is x equal to 2/11?
False
Let o(t) = -125*t + 5376. Let h be o(43). Which is smaller: h or 11/456?
11/456
Suppose 0 = -7*s + 32 + 3. Suppose -2*b = -2*p - 26, 0 = 2*b - p + 6*p - s. Suppose -3*n - b = 4*o, -5*n = -o - o - 18. Is o at most as big as -11/4?
True
Let x = 103184595/574 + -1196420313311/6655530. Let l = x - -3/3865. Which is smaller: l or 0?
0
Let w = -183 - -388. Suppose -7*a - 75 = w. Is a bigger than 0?
False
Suppose -k - 992 = -993. Is -2 >= k?
False
Let d(p) = p**3 - 30. Let z be d(0). Let r be (104/z)/(10/(-25)). Let c(h) = h**3 - 24*h**2 + 84*h - 70. Let f be c(20). Is r at least f?
False
Suppose 30 = 5*j - 3*d, 2*j - 2 + 1 = -d. Suppose j*o + 23 = 5. Let x = 0.2 - -0.1. Is o bigger than x?
False
Let a be (-70)/(-25) - 2 - 8/10. Suppose 4*y - 3*f + 5372 = 1897, -y = 5*f + 840. Let c be 855/y + 1 + 0. Does c = a?
False
Let i be ((-4)/(-115))/((-2)/(-15)). Let m(h) = -4*h**2 + 31*h - 22. Let f = -140 - -147. Let s be m(f). Is i greater than s?
True
Suppose 2*d = 4*h - 2, 4*h + 422*d - 427*d - 5 = 0. Let j be (-7)/(-4)*(-8)/66. Which is smaller: h or j?
j
Let u = -5088 - -4547. Is u >= -541?
True
Let g = -175/1016 - -6/127. Let p = 54 + -33. Let d = p - 20. Which is smaller: g or d?
g
Let o = -11795 + 10631. Is -1161 <= o?
False
Let s = 8.073 + -0.173. Let m = 9.9 - s. Let h = -14/65 - -108/1105. Which is bigger: m or h?
m
Suppose l = 3*g - 6*g + 99, 3*g + 111 = l. Suppose -100 = c - l. Let x be 5/100*18 - 2/c. Is 10 >= x?
True
Let j = -19536 + 19536. Is j at most as big as -12/4055?
False
Let u(t) = -2*t - 26. Let k be u(-14). Let n be (3/(-5))/(k/(-10)). Suppose n*h + 3 = 6*h. Are 1 and h non-equal?
False
Let c = 7081 + -7082. Suppose -j = 5*n - 95, 30 = -5*n + 2*j + 110. Let r be 6/n - (-10)/(-84). Is r > c?
True
Let m = 44 + -1755. Is m less than or equal to -1712?
False
Let f = -8782 - -8817. Which is bigger: 31 or f?
f
Let c = 73 - 83. Let t be (-113)/(-35) + c/(-50) + 3. Which is bigger: t or 2/7?
t
Let p = -0.07 + 1.47. Let b be (2/6)/((-3)/(33/5)). Let u = b - -2/5. Is u at most as big as p?
True
Let k = -126 + 131. Suppose 200 + 910 = -5*d - 2*u, -2*d - k*u = 423. Is -225 < d?
True
Let x(w) = w**3 + 15*w**2 + 5*w - 32. Let d be x(-14). Let m = d + -95. Which is bigger: 1/199 or m?
1/199
Let c = 6881 + -502355/73. Which is smaller: c or -1?
-1
Let m = 0.199 - -19.801. Let k = -19 - -38. Let i = k - m. Are i and 11 nonequal?
True
Let w = -17426 - -17049. Which is smaller: w or 9?
w
Suppose 352*k - 2861 = 349*k - 5*r, -r = 4*k - 3775. Which is greater: 1 or k?
k
Suppose 15*l - 4 = 2*i + 13*l, -2*i = -l. Let t = 0 - -1. Let k be (2 - 0)*t*i/(-48). Which is greater: k or -1?
k
Let n = 857.2 - 319.2. Which is smaller: n or 4/11?
4/11
Let v = -82/13978701 + -46727972051/481650121656. Let j = v + 7/472. Are j and 0 equal?
False
Let x = 3495 - 3502. Is x < 40/9?
True
Let u(s) = 2*s**2 - 12*s - 1. Suppose 60*f + 30 = 65*f. Let a be u(f). Let d = -469/38571 - 1/299. Which is smaller: d or a?
a
Let l = 1.77 + -1.9. Let r = -15.9896 + -0.0104. Let v = -16.1 - r. Which is smaller: v or l?
l
Let l(n) be the second derivative of -n**3/6 - 15*n**2/2 - 2*n + 4. Let t be l(-18). Which is bigger: t or 30/11?
t
Suppose 27*o - g = 31*o - 36, 5*g = o + 12. Suppose -101 = o*p - 1277. Which is greater: 146 or p?
p
Let d = 5166 - 2120. Which is smaller: 3047 or d?
d
Let n = -26612/5 - -5304. Let k = -53 + 35. Which is bigger: n or k?
k
Suppose 25*c - 9 = 24*c, -w + 2*c + 18 = 0. Let n = -33 + 68. Which is smaller: w or n?
n
Let l be (-90)/108*(-6)/20. Suppose -3*f = -3*k - 49 + 10, 0 = -4*f - 5*k + 43. Suppose 0 = -f*n + 10*n - 2. Which is greater: l or n?
l
Let g be (-540)/2192 + 3/12. Suppose -54*a + 87 = -141*a. Which is bigger: g or a?
g
Let h be (-2)/1 - (-17 - (-47696)/3179). Which is smaller: h or 1?
h
Suppose -978*p = -895*p - 83. Which is smaller: p or 60?
p
Let t be (-13 + 1214057/93392)*(-6 + 2). Is t less than 1?
True
Suppose 4*m = 16, 172*s - 4*m = 175*s + 11. Suppose 7*a - 5*t + 7 = 3*a, -5*t = 25. Which is greater: a or s?
a
Suppose 112 - 280 = -3*r. Let w be 38/(-57) + 1995/36. Is w at most as big as r?
True
Let v = -4029 - -4029. Which is bigger: -5/1317 or v?
v
Let m = -15207 + 15185. Which is bigger: m or 54?
54
Suppose -52*s + 55*s = 375. Let l = s - 126. Are -1/23 and l non-equal?
True
Let p(q) be the first derivative of q**4/4 - 4*q**3 - 9*q**2 - 11*q + 18. Let i be p(14). Is 129 <= i?
True
Let r = 18.