9 - 11.811. Which is greater: d or -1?
-1
Suppose 0 = 28*s - 33*s - 1015. Let v be (-7 + (-1407)/s)/(-16). Which is greater: v or 0?
v
Let d(h) = 4*h**2 + 143*h + 1091. Let r be d(-63). Is 7957 smaller than r?
True
Let a = -8 + 20. Suppose -a = 3*h - 6. Do h and -26/9 have the same value?
False
Let u be -17 - (-8)/(10 + -9) - ((-288)/28 + 1). Let c = 539 + -535.03. Which is greater: c or u?
c
Let n = 120.56 - -12036.44. Is -0.1 at least as big as n?
False
Suppose 25*u - 147 = 428. Let o(y) = y**2 - 12*y + 13. Let p be o(11). Suppose p*i = -2*m, 0*i + 2*i - 3 = m. Are i and u non-equal?
True
Let l(k) = -k**3 - k**2 + 2*k - 3. Suppose 3*x = 3*f, 6*f - 3*f - 3 = 4*x. Let n be l(f). Let h(d) = 6*d**2 + 61*d + 13. Let r be h(-10). Is n != r?
True
Let m(f) be the third derivative of f**5/30 + f**4/8 - f**3/3 + 21*f**2. Let t be m(-2). Suppose 13*s - 10*s = t. Which is bigger: s or -6/35?
s
Let o = -951878/708021 - 11/8741. Is -2 <= o?
True
Let v be (0 - (-10)/105*7)/((-1)/282). Are v and -188 nonequal?
False
Let c = 92 + -87. Suppose c*g + 29 - 24 = 0. Which is smaller: g or 16?
g
Let k = 6284 - 3666. Suppose -k = -23*s + 12*s. Is s less than 238?
False
Let r be (2*369/(-180))/((-4)/(-10)). Let d = r - -151/12. Which is greater: 3/8 or d?
d
Let x(q) be the third derivative of q**5/60 + q**4 - 49*q**3/2 - 107*q**2. Let i be x(-29). Let v be (0 - -1) + -1 + -3. Is i smaller than v?
False
Let c be (4 - 6)*-3 + (-15561)/378. Which is smaller: c or -35?
c
Let l = 60.38 - 128.29. Let s = l - -68. Let i = 9/11 - 41/77. Which is bigger: s or i?
i
Suppose -56 = -5*n + 4*p, 2*n + 5*p - 4*p = 25. Suppose n*s + 2119 = -377. Is -207 < s?
False
Let t = 3/143 - 487/286. Which is bigger: -1 or t?
-1
Let c = 274 + -260. Let q be (-1)/(-2)*384/15. Is c < q?
False
Suppose -4*g = -g. Let o = 157538/5 - 31504. Is g smaller than o?
True
Suppose 0 = -36*i + 56*i + 59*i + 16985. Which is smaller: i or -3/2?
i
Suppose k = -2*o - 3 - 7, k = -o - 9. Let c be (1209/52)/(3*(-1)/k). Let b = c - 62. Is -2/23 > b?
False
Let v(a) = -61*a - 2303. Let u be v(-34). Which is greater: u or -220?
-220
Let o = -12.05 + 3.45. Is o <= 13?
True
Suppose -5*z = -6*j + 3*j - 17, -j - 2*z = -9. Let t be (-8)/1*(-1)/j. Suppose 2*h + 34 = 4*n, -h = 3*n + 2*h - 39. Which is bigger: t or n?
n
Let p(r) = r**3 + 10*r**2 + r + 13. Let q be p(-10). Let u be q/2*(-16)/444. Is u greater than or equal to 7?
False
Let r(f) = 333*f + 5221. Let y be r(-8). Are 2558 and y non-equal?
True
Let h(j) = j**2 - 6*j + 15. Let x be h(6). Let z be x/(-657)*(-38)/95. Are 0 and z equal?
False
Let i = 2628.4 - 2628.8. Is -1.273 > i?
False
Suppose -63*j - 26220 = -78*j. Are 1750 and j unequal?
True
Suppose 12 = 5*v - m + 4, -4*v + 3*m = -13. Is v at least as big as 2/83?
True
Let z(a) = a + 6. Let f be z(-3). Suppose -3*v = -n - 33, f*v - 48 = 2*n - 6*n. Is 12 greater than or equal to v?
True
Suppose 3*n = -2*z + 108, 53 = z + 7*n - 6*n. Let d = 662/13 - z. Which is bigger: d or 1?
1
Let d be (3/6)/(-1) - (-11)/22. Suppose 9*b = -d*b. Which is smaller: b or 113?
b
Let i = -0.028 - -0.01. Let h = -0.033 - i. Let d = 0.055 - h. Which is smaller: d or 0.2?
d
Let b be (9/105)/(48/160). Which is smaller: 1/4 or b?
1/4
Let i = 0.355 + -0.655. Which is greater: -22/17 or i?
i
Let a = 8 - -46. Let b = 39 - 99. Let l = b + a. Which is smaller: l or 2/7?
l
Suppose 2*a + y + 249 = -2*y, 2*a + 256 = 4*y. Let i = -90 - a. Suppose 0 = -3*d - d - i. Are d and -9 nonequal?
False
Suppose 4*j - 5*y + 4736 = 0, -20*j = -8*j - 2*y + 14312. Which is smaller: j or -1200?
-1200
Let k(b) = 2*b**2 - 11*b + 9. Let w be k(7). Let h = 354.9 - 366. Let s = h - -11.2. Is s equal to w?
False
Suppose -r + 24 = 2*l, -10*r + 6*r + l + 123 = 0. Suppose 0 = r*h - 28*h. Which is greater: h or 118?
118
Let q be (-74)/(-14) + -5 + 8 + 160/(-70). Suppose -c = -5*x - 10, -x = 2*c - 4*x - 13. Suppose -1 + q = c*u. Is u <= 0.071?
False
Suppose o = -5*n + 2377, 5*n + 2*o - 1691 = 678. Let l = -307 - -784. Is n not equal to l?
False
Let o be (-1 - -2) + (11 - (-3736)/(-312)). Which is smaller: o or 93?
o
Let a(h) = h - 10. Let u be a(12). Suppose 8 - 12 = u*y. Let i = 0.0035 + -7.0035. Are i and y equal?
False
Let v = -16161 - -16525. Is 3633/10 less than v?
True
Let m(z) = -z**2 - 11*z - 4. Let t be m(-11). Let w = t - -4. Let y be (-9)/(-14) - 9/(-18). Is y greater than w?
True
Let a = -3255 - -3254. Let n = 83 - -362. Which is greater: a or n?
n
Suppose -27*l - 10*k + 39 = -14*k, 14 = 2*l - 4*k. Does -1/1875 = l?
False
Let a = -391 - -118. Let o = a + 272. Which is bigger: o or 287?
287
Let c be 24/(-120) + (48/(-80) - 4/(-6)). Are c and 23 non-equal?
True
Suppose -44*n + 123*n = 0. Which is bigger: -5/32 or n?
n
Let d(k) = -3*k + 2. Let p be d(-4). Suppose -2*f = 5*n - 32, -f = -0*f - 5*n + p. Suppose 8*l = 6*l - f. Which is greater: 2 or l?
2
Let v = -12 + 55. Suppose -5*p = 3*b - 141, -3*p + 44 = b - 39. Let r = v - p. Which is smaller: r or 18?
r
Let p(z) = 12*z**2 + 5*z - 50. Let r be -9 + (-14)/((-6)/6). Let q be p(r). Which is bigger: q or 274?
q
Suppose -3*l + 2*l = -5*i - 223, -2*i + 1088 = 5*l. Let a = -274 + l. Which is bigger: a or -54?
-54
Let v = 159 + -259. Suppose 0 = -4*m - 2*i - 386, -3*i + 78 + 135 = -2*m. Which is smaller: m or v?
v
Suppose p + x - 346 = 0, 0 = -2*p - 5*x + 726 - 49. Is 348 at most p?
True
Let h = 8325/29 + -186364/145. Let g = h + 1002. Suppose 0*k = -3*k + 12. Do k and g have the same value?
False
Suppose -n + 1884 = -4*g + 1776, 80 = -3*g + n. Which is smaller: -488/17 or g?
-488/17
Let y = -57/4 - -16. Let o be (-1)/7 + 4460/(-140). Let v = 34 + o. Which is smaller: v or y?
y
Let w = 14020333/162 - 86545. Are w and -1 equal?
False
Suppose -2*g - 4*i + 1340 = 0, 0 = -g + 242*i - 238*i + 622. Which is smaller: 657 or g?
g
Let y be (29 - (52 - 16)) + 640/(-2). Are y and -329 unequal?
True
Let l(y) = -3*y**2 + 10*y + 10. Let x be l(4). Let z be x/(-10 + 2 + -2). Let b(f) = -f**2 - 6*f - 1. Let j be b(-6). Is j greater than or equal to z?
False
Let p(a) be the first derivative of -a**4/4 + 8*a**3/3 + 5*a**2 - 6*a - 5. Let c be p(9). Suppose -c*f - 89 = -2*v + 2*f, -9 = 3*f. Is 37 greater than v?
False
Let c = -158 + -106. Let z = 263 + c. Which is bigger: 38 or z?
38
Let s(v) = 11*v**2 + 2*v + 8. Let i be s(2). Let p be 9/48*-6 - (-7)/i. Is -36/67 at most p?
False
Let b be 4/(8*(-4)/(-16)). Let s be (5726/770 - b/(-10))*-1. Which is smaller: 2 or s?
s
Let a(z) be the second derivative of z**4/12 + 2*z**3/3 + z**2/2 + 82*z. Let q be a(-4). Which is greater: 2/195 or q?
q
Let n(a) = -a**2 + 22*a - 69. Let k be n(9). Is 56 < k?
False
Let n = -639 - -699. Let c = n + 145. Are 2 and c unequal?
True
Let h be (2 + -1 - 1)/2. Let x(u) = -4*u**3 - 3*u**2 - 2*u - 1. Let n be x(-1). Let j be ((-24)/(-656))/(1 - (n - 4)). Is h >= j?
False
Suppose 187 - 72 = -5*q. Let y = 511 - 533. Which is smaller: q or y?
q
Suppose -3*u - 6 = -0. Suppose -3*l + 6*w = 5*w + 75, 2*l + 5*w = -33. Let b be 12/16 + 186/l. Is b smaller than u?
True
Suppose t - 25 = -2*s, 4*s - 4*t = -18 + 50. Let i(k) = -11*k**2 - 5*k + 9431*k**3 + 20 + 17 - 9430*k**3. Let m be i(s). Which is smaller: -19 or m?
-19
Let i = -26899/14945 - 2/14945. Is i at least -10?
True
Suppose -16*s + 25 + 23 = 0. Let v be -3 - (-2236)/372 - s. Are v and 1 equal?
False
Let g be (-14)/(-10) + 11687/(-155). Let p = -18/119 + -17695/238. Do g and p have different values?
True
Suppose -2*m = k - 20, 3*m - 30 = -0*m + 4*k. Suppose 1159 = -m*i - 81. Is i > -125?
True
Let l(u) = -2*u**3 + 26*u**2 + 4*u + 14. Let s be l(13). Let i be (-2)/10 + s/60*22. Let q be (0 - 3) + (i - 14). Is q greater than 6?
True
Let g = 157/182 + -1/182. Let u = 57 - 34. Let y = 24 - u. Is y at least as big as g?
True
Let u(v) = 3*v - 2 + 2456*v**3 + 10*v**2 - 9*v**2 - 2399*v**3. Let k be u(1). Is 353/6 at most k?
True
Let t(f) = f**2 + 17*f - 350. Let m be t(12). Which is bigger: m or -102/95?
-102/95
Suppose -27*g = 350 - 323. Is -13/17 less than or equal to g?
False
Let n be (-243)/(-162)*(-1 - 1) - -4. Which is greater: 26/187 or n?
n
Let j = -15256 + 12687. Is j greater than or equal to -2/21?
False
Let z be -6 + 2132/338 - 674556/39. Which is smaller: z or -17298?
-17298
Let u(b) = -b - 14. Let x be u(-7). Let w 