**2 - 9*y + 10. Let n be z(1). Let q = -1352707/393 + n. Which is greater: -1 or q?
q
Let j = 12129 + -12118.6. Which is smaller: j or 0.1?
0.1
Let g = -0.04 - -1.04. Let t = 477.739 + -478. Let q = t + 0.361. Which is smaller: g or q?
q
Let w = -0.266 - 12.834. Let i = 10830 + -10816.8. Let l = w + i. Which is bigger: -71 or l?
l
Suppose r = -4*r - 180. Let d = -18 - r. Let o be (-10)/(-12) + 3/d. Which is bigger: 10 or o?
10
Suppose g = -g + 62. Let u = g + 16. Let y = u + -13. Which is greater: 67/2 or y?
y
Let c = -26339.67 - -26503. Let r = 2878 - 2714. Let j = r - c. Are j and -1/3 unequal?
True
Let i = -7 + 3. Suppose -7*k = -k - 2976. Let c = 1472/3 - k. Which is bigger: c or i?
i
Let m = -9729760/121 - -80412. Which is smaller: m or 0?
0
Suppose -4*o + 5 = -3*v + 1, 0 = 3*o + 2*v - 20. Suppose 6*z - o*z = 232. Suppose -4*r - z = -4*h, -4*r - r + h = 165. Is -34 less than r?
False
Let y be (-1)/3 - (-116)/(-12). Let l(b) = -b**2 - 10*b + 6. Let r be l(-6). Suppose 0 = 31*u - r*u + 9. Is y at most as big as u?
True
Suppose 4*x = 24, 2*x - 7*x + 6868 = 2*p. Is 3420 < p?
False
Let b be -1 + (6 - 2) + (-953 - -6). Let a = b + 945. Which is bigger: a or -5/43?
a
Let p = -4519 + 2667. Is -1853 at most p?
True
Let h(p) = -15*p + 6. Let j be h(4). Let u be -1*3 - ((-32410)/126)/(-5). Which is bigger: u or j?
j
Suppose 0 = -3*y - 5*n - 1065, 16*n = 18*n + 6. Is y smaller than -350?
False
Let o(n) = 11*n - 1. Let q be o(5). Let z(f) = 243*f - 69929. Let u be z(288). Are q and u nonequal?
True
Let a(g) = g - 4. Let l be a(4). Let i = 2 + -10. Let u be (i/(-35))/(10/25). Is l at most u?
True
Let y = -1109 + 1115. Which is bigger: y or -177?
y
Let q = 51 - 50. Suppose -l + q = -m, -7*l = -3*l + 8. Let c be -7*(-4 - -1)/m. Is -9 > c?
False
Let z = -8863 + 8965. Which is bigger: z or 105?
105
Let w = -2.9 - 13.1. Let x = w - -14.3. Let j = 462.8 - 463. Which is greater: x or j?
j
Let f = -1009/6 - -169. Let o be ((-2)/1)/10 - (-19)/95. Let v be (-11 - -11)*(o - -1). Which is bigger: v or f?
f
Let r = 0.096 - -11.904. Let q = -0.2501 + 0.7501. Which is greater: r or q?
r
Let h = -6 - -10. Suppose 3*n - 3*l - 2 - 76 = 0, h*n + 3*l - 104 = 0. Suppose -20 = -3*o - n. Which is greater: 29 or o?
29
Let n(a) = a**3 - 20*a**2 - 10*a - 214. Let z be n(21). Let j = 15 - 10. Suppose u = m - j, -2*m - z = 5*u + 8. Is m < -2.9?
False
Suppose -27*y - 1141 - 209 = 0. Let x be (-6)/(-4)*(-28)/(-273). Is y at least x?
False
Let u(c) = 2*c**2 + c + 8. Let s be u(-7). Suppose -4*z - 243 = -s. Suppose 158*l + 5973 - 2287 = 61*l. Which is smaller: l or z?
l
Let b = -631321/231 + 2733. Suppose 0*x - 3*x = -h, 3*h - 2*x = -7. Let j be -4 - (3 - (-20)/h). Is j greater than or equal to b?
False
Let y = -256 - -254. Let z be y/(5/65 + 0). Which is smaller: z or -27?
-27
Let y be 3 + (1*(-102)/(-17) - 39/3). Is -90/19 > y?
False
Let i(m) = -487*m**2 - 41*m + 63. Let f be i(3). Is f smaller than -4444?
False
Suppose 0*k + 3*k = 2*f + 33, -4*f + k = 61. Let t be (2 - 3*f/(-20))/47. Is 0 at most as big as t?
False
Suppose 0 = -5*n + 25. Let x = 15772 - 15769. Which is greater: n or x?
n
Let o be -860 + (-6)/(-27)*27. Is o at most as big as -853?
True
Suppose -2*a - s = 5 - 40, 5*a = 2*s + 74. Suppose -a = 8*g - 10*g. Let q be (74/(-36) - -2)/(1/g). Which is greater: 3 or q?
3
Let o(w) = -1 + 0*w + 2*w + 14*w**2 - w**3 - 16*w**2. Let d be o(-3). Suppose 4*z = -p + 6*p + 42, -4*p - 24 = -d*z. Are 3 and z equal?
False
Let v = -1145/4 + 286. Suppose m + 17 - 69 = 0. Let d = -30 + m. Is d less than v?
False
Let k be 5 + -2 + 49 + -1. Let n be 30/(-5) + 312/k. Is n >= 2?
False
Let p = -1513 + 1419. Are p and -381/4 nonequal?
True
Let d(h) = -2*h**3 - 54*h**2 - 17*h - 910. Let k be d(-26). Are -1820 and k equal?
True
Let i(u) = -u**3 - u + 1. Let m be i(0). Let h = -50/39 + 389/273. Which is greater: h or m?
m
Let i be 4/(-108)*(-24)/10. Let m = 166/45 - i. Is m less than 5?
True
Suppose -o - 2*n - 10 = 0, -4*n - 13 = -4*o + 7. Suppose o = s + 4*s - 5. Let r be (6/(-12) - 1)*(s + -9). Is 12 >= r?
True
Let f = -0.69 - -0.5495. Which is bigger: -1 or f?
f
Let c(k) = 21*k + 211. Let p be c(-10). Are p and 69 equal?
False
Suppose -43*o = 5681 + 8552. Is o at least -329?
False
Let v be (-1 + -5)*(10/(-6) + (-4610)/12). Is v at most as big as 2315?
True
Let c(j) = -13*j - 18*j - 7*j - 59 - 3*j. Let q be c(-9). Which is bigger: 309 or q?
q
Let r(w) = -w**3 + 2*w**2 - 11*w - 59. Let z be r(-4). Suppose -z*v + 65*v = -304. Is v at most 11?
False
Suppose 0 = x + 50*z - 48*z + 112, 0 = 2*z - 2. Is -117 > x?
False
Let l be -19 + 8 - 1416/(-132). Let d(v) = v**3 + v**2 + 1. Suppose -u = -2*x - 0*u + 1, -3*x = 4*u + 4. Let b be d(x). Which is greater: l or b?
b
Let f = -5.949605 + -0.050395. Let u be ((-1)/13)/(2/(-4)). Is f less than or equal to u?
True
Let r(v) = -125*v**2 + 4*v + 2. Let t be r(-1). Let s = t - -129. Let f be (s/(-2))/((-13)/(-104)). Is f at most as big as -13?
False
Let z = 2347 - 2338. Suppose -11 = -3*u + 22. Which is bigger: u or z?
u
Let l = 0.5445 + 0.4555. Which is smaller: 0.01135 or l?
0.01135
Suppose -12*q = -17*q, -m = 4*q - 922. Which is bigger: 923 or m?
923
Let q(g) = 3*g + 52. Let m be q(-22). Let s(t) = 2*t + 19. Let o be s(m). Suppose 21*b = 18*b - 27. Is o less than or equal to b?
True
Let j(i) = i**3 - 8*i**2 - 4. Let c be j(8). Suppose -234 - 2682 = -27*s. Suppose -10*y = 2*y - s. Which is greater: y or c?
y
Let s be 152/3762*(-6)/(-4). Suppose 0 = -3*g + 2*r - r + 22, 4*g + 5*r = 61. Is g >= s?
True
Let j be (23/((-483)/14010))/((-2)/14). Which is greater: j or 4668?
j
Let b be (14 + (-7 - -1))*-12. Which is bigger: b or -1054/11?
-1054/11
Suppose 158*x - 128 = 190*x. Let o = 35633 + -890939/25. Which is greater: x or o?
x
Suppose 0 = 2*k + 308 - 54. Let t(i) = 15*i + 15. Let c be t(-7). Let j = k - c. Is j bigger than -38?
True
Let k = 16923/5 - 3385. Is k >= -735?
True
Suppose 5*s - 57 = -t, -4*t = -6*s + s + 47. Suppose s = 3*g - 10. Suppose -c - j = -4*c + g, 0 = 3*j + 12. Which is smaller: c or -2/143?
-2/143
Suppose 0 = -n - 2*n + 3*r + 87, r = 4*n - 128. Let v = -34 + n. Is 7/20 not equal to v?
True
Suppose -3*o - 2*t - 5 = 0, 231*t = -o + 230*t - 3. Let b be -3 + ((-1071)/(-213) - 2). Is b <= o?
True
Suppose k - 65 = -j - 58, -47 = -5*k - 3*j. Is 444/35 at least k?
False
Suppose -73*a = -2*i - 74*a - 32, -a = -2*i - 32. Is -63/4 at least i?
True
Let q = 29703479654273/97493348892 + -5/112449076. Let f = 914/3 - q. Is 0 <= f?
False
Let i be 48/32*1010/21. Let g = 4181/63 - i. Which is smaller: -6 or g?
-6
Let q be (-2)/(-3) + (-3)/(-36). Let l = 61/76 - q. Let y = 645 - 646. Is y < l?
True
Let q be (-620)/22 + (453 - 436). Which is smaller: -2 or q?
q
Let n = -9.4 + 11. Let r = 290 - 283. Suppose 0 = -4*c - r*c + 22. Is c at least n?
True
Let i = -3918 - -15770. Is 11852 <= i?
True
Let i(s) = s**2 - 12*s + 4. Let x be i(12). Let y be (8/2)/x + -1. Suppose 28*f - 25*f - 3 = y. Which is greater: f or 2/33?
f
Suppose 12 = 4*w, 2*j - 3*w - 7 = j. Let c be (-41487)/(-300) + 12/j. Let t = 139 - c. Is 0 at least as big as t?
True
Let f = 17 - 104. Let y = f - -87. Let c = y - 0.3. Is 5 greater than or equal to c?
True
Let o be (-22306)/1292*1*2547/6. Let q = o - -7329. Is q at most as big as 0?
False
Let c = -84.95 - 0.05. Let m = 85.1 + c. Is m > 0.02?
True
Suppose -516 = -28*n - 40. Suppose -5*m - n*j - 168 = -14*j, j + 1 = 0. Which is greater: m or 2/9?
2/9
Let m = 420088/15 - 85511/3. Which is smaller: m or -499?
-499
Let v = -362.609 - 0.391. Let f = v - -363.2. Is f greater than -1/4?
True
Let m = -1352899 + 9448234/7. Let l = m - -3144. Which is greater: -8 or l?
l
Let w = 20 + -35. Suppose -2*o = -43 - 67. Let d be 6/15 + (-902)/o. Which is smaller: d or w?
d
Let c be (5/((-5)/16))/(9 + -11). Suppose -4*l + 0 + c = 0. Suppose -5*s + k = -190, -5*s - l*k = -5*k - 200. Is 38 less than s?
False
Let o be ((-2)/(-1 - 1))/2*-8. Let y = o + 6. Which is greater: y or -13?
y
Suppose 6*t + 125 - 217 - 736 = 0. Is t greater than 127?
True
Let x = -327 - -327.001. Let b = -4.999 - x. Which is smaller: 11 or b?
b
Suppose -16*h + 180 = -11*h. Let m = 514 - 479. Is h bigger than m?
True
Let n = -36425 - -36775. Which is bigger: 374 or n?
374
Let d = -82 - -84. Su