Let l be (-2)/n - (133/(-196))/19. Is l > 0.52?
False
Suppose 106*b = 17*b - 3*b. Which is greater: -52/667 or b?
b
Let f(i) = 10*i + 10. Let m be f(-3). Let u(p) = 5*p - 57. Let o be u(-9). Let v = 716/7 + o. Does m = v?
False
Let z(w) = 17*w - 20. Let y be z(-1). Suppose 2*x + 2*x = u + 150, -2*x + 3*u + 70 = 0. Let s = x + y. Is 3 <= s?
False
Let m be 56999/(-44) - (-5)/(-5 - -25). Let o = m + 1297. Let g be 21/9 + 2/(-6). Are o and g non-equal?
True
Let w(t) = -t**3 + 17*t**2 - 19*t + 68. Let o be w(16). Let x be (125/o - 7)/((-1)/(-2)). Is x at least as big as 11?
False
Suppose -4*z + 11 + 92 = 5*k, -z + 7 = -5*k. Let c = z - 6. Let b be (11 - 15) + 58/c. Which is greater: b or -1?
b
Suppose 2*p = 4*h + 34072, -3*p + 13*h - 11*h + 51132 = 0. Are p and 17048 equal?
True
Let r = 0.24872 - 1.24872. Is 3963 at least r?
True
Let y = 2.0776 - -0.0271. Is y greater than or equal to -0.1?
True
Let d = 3237 - 3369. Is d smaller than -134?
False
Suppose 4*y = -0*y - 104. Suppose w + 150 = 307 - 185. Which is greater: w or y?
y
Let o(r) = 14*r**2 - 4*r + 11. Suppose 25 = 5*s - 2*i, s - 4*i = -0*s + 23. Let m be o(s). Which is smaller: 126 or m?
m
Suppose -3*x + 2*n + 8 = 1, -3*x - 5*n - 7 = 0. Is x bigger than -32/129?
True
Let w be (-2)/15 + (3 - 28046/30). Let i be (2/(-21))/(-5 - w/196). Which is bigger: -1 or i?
i
Suppose -2*y + 10 = 0, 335 + 3 = k - 5*y. Let w = 260 - k. Is w bigger than -104?
True
Let h = -895786/191 - -4690. Which is greater: h or 1?
1
Let v = 0.39 - -59.61. Let y = -82 + v. Let u = 9 + y. Which is smaller: u or -0.1?
u
Let b be (-4)/(-12)*(5 + -2 + -6). Which is smaller: 8/239 or b?
b
Suppose -3*z - 23 = -h, -h - 6*z = -z - 15. Let q(w) = -2*w**3 + 39*w**2 + 21*w - 22. Let r be q(h). Is r < -7.3?
False
Suppose 5*d = 4*g + 432, -4*d + g = -128 - 222. Which is smaller: 90 or d?
d
Suppose -3*f + 22 = -4*f. Let n(i) = -i**3 - 14*i**2 - 25*i - 35. Let c be n(-12). Which is greater: c or f?
f
Let z(l) = -l**2 + 3*l + 7. Let c be z(8). Let m = -219 + 291. Suppose -76*w - 128 = -m*w. Which is smaller: c or w?
c
Suppose -n + 66 = -3*s, -3*s + 13*n - 57 = 15*n. Which is greater: -24 or s?
s
Suppose -760 - 630 = 5*a. Let q = -278 - a. Let i = 2576/2847 + 4/219. Do i and q have the same value?
False
Let k(p) = -24*p**2 - 353*p - 2104. Let c be k(-6). Are -855 and c non-equal?
True
Suppose -4 = 8*j + 28. Let i be 5/(-1) + (-68)/j. Let y = 1 + -1. Which is smaller: i or y?
y
Let h = -48452/13 + 3729. Is 2 greater than h?
True
Let t = 24/205 + -1748/21935. Suppose 4*f + 4 = 2*y, -8*y = -9*y - 0 - 0. Is f bigger than t?
False
Let f = -14.514 - -14.55. Is 364 not equal to f?
True
Let w = -15110 + 44618/3. Suppose 5*s - 207 = 3*j - 1367, -2*j = 5*s + 1185. Let b = s - w. Which is smaller: 2 or b?
2
Let h = -37/1009 - -29421/582193. Which is smaller: h or 1?
h
Suppose -5*a = 4*i + 8437 - 4646, -a - 2*i - 769 = 0. Which is greater: a or -1503/2?
a
Let u(f) = -f**2 - 27*f + 12. Let o be u(-9). Suppose v + 0*v = 2*j - 85, -5*j = -2*v - o. Is v bigger than -155/2?
True
Suppose -504*l = -150 - 253 - 101. Is l < 4/9541?
False
Let i(d) = -d + 13. Let s(p) = p + 6. Let w be s(-3). Let a be (14/(-21))/(w/(-27)). Let k be i(a). Are 6 and k non-equal?
True
Let b be (-39*40/(-62400))/(((-2399)/4)/(-1)). Which is bigger: b or 1?
1
Let h = 0.2131 + 1.7869. Let i be ((-1)/13)/(3/18). Which is bigger: i or h?
h
Let g be 18/56 - (-42)/98. Let h = 6.273 + -0.073. Let p = h + -6.2. Is p less than g?
True
Let z be -5 + 3*((-24 - -30) + (-935)/261). Is z equal to 3?
False
Let y = -345.13 + 345. Let h(a) = -9*a**2 - a - 2. Let t be h(2). Let m be (-16)/t - 12/5. Is y greater than m?
True
Let k be 960/100 + ((-7)/7 - -4). Which is smaller: k or -3/2?
-3/2
Suppose -5 = 3*t - 5*z - 21, 3*z = 4*t - 3. Let w be (0 + 3 + t)/(-1). Which is bigger: -4 or w?
w
Let s be 5/(15/18) + -4. Suppose 2*o = s*a - 4, 4*a - 2 = -0*o - 2*o. Let d be (-49)/(-35)*2/((-4)/o). Is -0.1 bigger than d?
False
Let a = 4702 - 4756. Suppose 4*g = h - 15, -2*h - g - 9 = 4*g. Suppose -4*y + x - 221 = 0, 4*x + 105 = -h*y - 56. Which is bigger: a or y?
a
Let u = 44449 + -44498. Which is bigger: u or -6/133?
-6/133
Let x(p) be the third derivative of -p**5/60 + 19*p**4/24 - 6*p**3 - 16*p**2. Let s be x(17). Let c be (s - -5)/3 - (-33)/(-3). Which is smaller: -4 or c?
c
Let z be 1*(-3 - -5 - 3). Let j = -1064/3 + 11719/33. Is z > j?
False
Suppose 0 = 8*l - 16. Let i be l + 104/(-40) - (-147)/(-5). Suppose -3*p + 3*q - 96 = 0, -p - q - 38 = -4*q. Is p greater than i?
True
Let p(l) = 41*l**2 + 75*l + 452. Let z be p(-6). Is z greater than or equal to 1478?
True
Suppose -5*j + 121 = 31. Suppose -19 = j*d - 1. Let y = 9800/33 + -297. Which is bigger: d or y?
y
Let g = 12822 - 13744. Is -923 at least as big as g?
False
Let p = 654.2 + -651.81. Do -7 and p have different values?
True
Let y be 9/21 + 42392/(-588). Is y >= -72?
True
Let h(r) = 5*r**2 - 2 - 67*r + 29*r + 15*r. Let v be h(6). Which is smaller: v or 41?
v
Let a(j) = -34*j + 1623. Let l be a(46). Are l and 32 equal?
False
Let u be (-1588)/(-8)*(-2 - (1 + -1)). Let z = -1240/3 - u. Let j be (-8 + 13)/(4/6 + -1). Are z and j nonequal?
True
Let a = 1475/29638 + 1/511. Let d = 2825486/29 + -97442. Let s = d - a. Does s = -13?
False
Let d = 319 - 258.1. Let c = 5.9 - d. Let k = 55.09 + c. Which is bigger: -1/2 or k?
k
Let o = 56 + -42. Let w = 20 - o. Suppose -5*y - 3*k = 10, -y - w*k + 2*k = -15. Which is bigger: -7 or y?
y
Suppose -3*k + 1891 - 1810 = -2*d, 0 = 2*d + 12. Which is bigger: 49 or k?
49
Let d = 248 + -246. Let i(o) = -o**3 + 8*o**2 - 5*o - 7. Let s be i(7). Suppose 3*b - 5*x - 52 = 0, 0 = -s*b + d*b - 2*x + 66. Is b < 10?
False
Let w = 1181 + -1268. Which is bigger: -33 or w?
-33
Let y = -265060381/58839762 + 49/129603. Let f = y - -1/227. Let j = f - -77/16. Is j greater than 0?
True
Let l = 619906.033 + -618640. Let r = l - 1260.8. Let n = -0.067 - r. Which is bigger: 0.1 or n?
0.1
Let v(m) = 13*m**2 + 2*m - 3. Suppose 0 = 4*t - 9 + 5. Let o be v(t). Let a be 13/(-26)*-2*11. Which is smaller: a or o?
a
Let q = -666/5 + 132. Suppose 2*z = a + 56, -4*z = 5*a - 0*a - 140. Let o = 32 - z. Is o bigger than q?
True
Let i = -862/3 - -3191989/11109. Is i not equal to 0?
True
Suppose 88*r + 216 = 76*r. Let f be (8/(-6))/(3/(-36)). Let a be 2*((-23)/r - f/(-72)). Which is greater: a or 6?
6
Suppose -f - 2*f = -54. Let m = -305 - -325. Let n(z) = -9*z + 197. Let q be n(m). Which is bigger: q or f?
f
Let f = 11020.329 - 11020. Which is bigger: -0.2 or f?
f
Suppose 9124*j = 9146*j - 2178. Is j greater than or equal to 106?
False
Let i be (-3)/2 + (-2981740)/920. Let r = -3243 - i. Which is smaller: -1 or r?
-1
Suppose 91*m = 90*m + 2*z - 2, -2*z + 14 = 2*m. Let v be m/((-24)/(-82)) + 30/6. Which is greater: v or 20?
20
Let g = -0.0286 - -0.0398. Let f = -53.0112 + g. Is -1 greater than or equal to f?
True
Let u be (-2)/17 + 17472/544. Suppose -14 + 4 = -5*a, -2*x + u = a. Is x less than or equal to 5?
False
Let r = -0.0122 - -111.0122. Let h = -110.9 + r. Is h smaller than 3.25?
True
Let q(l) = -35*l**2 - 11*l + 31. Let c be q(0). Let v = 29 - 26. Which is smaller: c or v?
v
Let w be 1656/420*-5*-7. Which is bigger: w or 140?
140
Suppose 5*j + 3 = -7. Let p(n) = 27*n - 74*n + 33*n + 27 + n**2 + 25*n. Let q be p(-7). Which is greater: q or j?
q
Let x(a) = -213*a - 2462. Let c be x(-12). Are 94 and c nonequal?
False
Let y = 204515/9 - 22724. Which is greater: 0.5 or y?
0.5
Suppose -c = -4 - 14. Let z = -15 + c. Suppose 4*a + 11 = z*a. Which is bigger: -10 or a?
-10
Let u = 14 - -79. Let a = -0.068 - -93.068. Let b = u - a. Which is greater: -58 or b?
b
Let j be -32*(5 - 4)*26. Let t = -119809/144 - j. Is t smaller than 0?
True
Let z(a) = -7*a + 14. Let w be z(2). Let k be 1/(-279)*30/(-15). Is w > k?
False
Suppose i + 24 = 5*v, 5*i - 5*v = -3*v - 28. Let n be 3*1/(-12)*i. Let x = 1088/9 + -11788/99. Which is smaller: x or n?
n
Let j = -146.7 - 2.3. Let z = j - -148.9. Suppose -x + 3*x = 3*f + 201, -183 = 3*f + 4*x. Is z equal to f?
False
Let g be ((-122)/(-244))/(2428/6). Is 0 smaller than g?
True
Let x be 1998/(-10090) + 220/(-25) + 9. Which is smaller: -8 or x?
-8
Let z(d) = -d**2 - 13*d + 36. Let b be z(-12). Let f be b/84*4/(-8). Which is gr