10. Is f greater than -101?
False
Let y(u) = 72*u**2 - 374*u - 3348. Let x be y(-9). Is -1/2 less than x?
True
Let y(s) = -170*s + 770. Let b be y(7). Which is smaller: 5 or b?
b
Let k = 15 - 12. Suppose 7*g = 3*g - 5*b - 133, -4*g - k*b - 139 = 0. Let r = g + 38. Which is smaller: r or -2?
-2
Let f(d) = -7*d**2 - 80*d - 9. Let b be f(-11). Let a be (4/1)/(-4) + 32. Which is smaller: b or a?
b
Let k = -8706 - -8705. Suppose 2*r = -3*b - 308, -r + 4*b - 172 = b. Which is smaller: r or k?
r
Let x be (-34)/(-12) - (-12)/72. Suppose -x*l - 5*j + 3483 = 0, -5*l = 3*j - j - 5805. Let r be l/582 + -2 - 0. Is r equal to -1?
False
Let b = 1192 - 1201. Is -90 < b?
True
Let g be (-18 - (-405)/(-50))*(-150)/(-4). Which is bigger: g or -978?
-978
Let c be 546/30 - 19 - (-864)/5. Which is greater: c or 174?
174
Let i(z) = 12*z - 3. Let p be i(7). Let f be (p/318)/9*8/3. Are -1 and f non-equal?
True
Let a be (8 + -20)/(-2) - -1447 - 4. Which is bigger: a or 1448?
a
Let r = 1/943 + -8500/12259. Suppose g - 2*n + 20 = 3*g, -5*g - n + 30 = 0. Suppose 2*h - l + g = 0, 2*h - 15*l + 10 = -13*l. Is h bigger than r?
True
Suppose u = 2 - 5. Let v be 3*(-2 + 6/9 - u). Suppose -k - 20 = k - 2*n, -v*k = -3*n + 52. Does 0.2 = k?
False
Suppose d = 37 - 26. Suppose l - d = -4. Suppose l*m - 4*m - 297 = 0. Which is smaller: 100 or m?
m
Suppose -n = -6*n + 605. Let t = n + -849/7. Let g = 0.1 + 6.9. Is t bigger than g?
False
Suppose i = 2*q + 313, 0*q + 3*q = -3*i - 447. Let m = q - -161. Is 7 smaller than m?
False
Let d(i) = 14*i**3 - 2*i**2 + 4*i + 14. Let c be d(0). Let b = 85211/11 - 7731. Is b equal to c?
False
Suppose 3*v + 0 = -p - 11, -4*v = -2*p + 28. Is p > 10?
False
Let g(y) = y**3 + 19*y**2 + 15*y - 28. Let q be g(-18). Let o be 7*14/49 + q/(-2). Suppose 0 = h + 2 + 7. Is h bigger than o?
True
Let p = -18094 + 18081. Is p != 266?
True
Let x(f) be the third derivative of 107*f**5/60 + f**4/12 - 25*f**2. Let n be x(1). Does 109 = n?
True
Let t = 636 - 583. Let h = t + -53.1. Which is bigger: h or 4.18?
4.18
Let z(r) be the first derivative of -r**3/3 - 5*r**2 + 74*r - 111. Let u be z(5). Let p = 0 - -5. Which is bigger: u or p?
p
Let w = -1974666 + 25654630/13. Let y(q) = -369*q + 611. Let r be y(5). Let j = r - w. Which is smaller: -2 or j?
-2
Let z = -6899/3204 + -330/89. Which is smaller: z or -1?
z
Let n = -130 - -129. Is -1/108 less than n?
False
Suppose 0 = b - 495 + 477. Let l be 4/9 + (9 - 152/b). Which is greater: l or 4/225?
l
Suppose 12*i = -29 + 173. Let h be (-21)/6*i/(-63)*3. Are 94 and h nonequal?
True
Let r(q) = -3*q**2 - 10*q + 3. Let o be r(-3). Suppose 3*p = -o*p. Suppose 4*f + 4*w - 88 = 0, p = 5*f + 3*w - 2*w - 122. Which is greater: f or 24?
f
Suppose -2*x - x - 18 = 0. Let g = 253.9708 - 254. Let v = 0.0792 + g. Do v and x have different values?
True
Let j(r) = 4 - 4 - 3*r - 2 + r**2 - 3. Let c = 241 - 237. Let y be j(c). Which is bigger: -2/91 or y?
-2/91
Let q be 1/5 + (-2124)/120 + (-49)/(-98). Does 3 = q?
False
Suppose -4*j + 319 + 389 = 4*z, -5*z + 3*j + 869 = 0. Let t be (((-12)/z)/(-2))/((-9)/(-30)). Which is smaller: t or -1?
-1
Let s be 10/(-4)*(321021/(-212) - 1/(-4)). Is 3785 bigger than s?
False
Let p be (110 + -96)*(-12764)/(-14). Is 12765 > p?
True
Suppose -2*w = 1 - 7, -4*w = -2*j - 16. Let h = 85 + -36. Let f = 51 - h. Is j != f?
True
Let x = -216.924 - -216. Let o = -0.346 + x. Which is greater: -1/4 or o?
-1/4
Let j be (-6)/(18/14 + -1). Let d = -4 + 8. Suppose -2*c + 2*y - 50 = 0, 6*c + y = d*c - 35. Is c bigger than j?
True
Let n = -17744 + 15019. Which is smaller: 0.1 or n?
n
Let l be -4*27/(-72)*-6. Let j be (-27)/(-5)*(-3)/l. Which is smaller: j or 3/17?
3/17
Let a(j) = 2*j + 1. Let r be a(0). Let n be (r - 0)/((-22)/1452). Is n less than or equal to -67?
False
Suppose 9*d - 5*d + 140 = 2*o, 5*o - 53 = d. Let a(g) = -5*g**2 - 75*g - 32. Let x be a(-15). Is d at most as big as x?
True
Let g(s) = -s**2 - 6*s + 1. Let u be g(-6). Let j be 4*(-5)/(-10) - 7 - -245. Suppose -2*x + j = 8*x. Is x bigger than u?
True
Suppose 2*q - 5198 = -4*r - 358, -q = 5*r - 2411. Which is smaller: 2424 or q?
2424
Suppose -6*s + 8*s - 4 = 0. Let w be (1 - 1/s)/(5/(-20)). Let h(c) = c**3 + 4*c**2 - 5*c + 1. Let o be h(-5). Is w at most as big as o?
True
Let k(n) = 32*n**2 - n - 4. Let u be k(2). Suppose 2*x + 3*j - 407 = 0, 85 = x + 5*j - u. Let h = x + -781/4. Are 6 and h non-equal?
True
Let r = 951 - 1746. Let o = r + 795.9. Which is greater: 3/7 or o?
o
Let t = 90013/4 - 22353. Is 149 bigger than t?
False
Let k be (-1192)/(-300) - (-5)/((-75)/(-6))*-10. Is k at least as big as 3/5?
False
Let l be (-819)/(-234)*7770/(-147). Suppose 4*s = -s - 935. Is s smaller than l?
True
Let z be 15/2*10/9. Suppose 2*h = -5*q - 7, 4*h - 5 = -9. Let m = 7 - q. Is m at most as big as z?
True
Suppose 9 = -3*g, 0*n + 3*n - 3*g = 12. Is n at most -2/23769?
False
Let r = 419/102 + -84/17. Let m = -180.06 - -180.19. Which is smaller: r or m?
r
Let j = 1 - 41. Let q = -12 - j. Let z = 26 - q. Do z and -1/6 have different values?
True
Let g(i) = i**2 + 2*i - 8. Let q be g(0). Let h be ((-56)/35)/((q/290)/2). Is h greater than 118?
False
Let z be 7*(-24)/(-56) - 108/22. Let m = z - -125/77. Which is greater: m or 75?
75
Let k be (0 + 0)/(-2 - -3) + 7. Let v be -3 - -3 - (254/38 - k). Which is bigger: v or 6?
6
Suppose 175 - 165 = r. Let m be 34/r + -3 + (-209)/385. Is 1 > m?
True
Let v(g) = -g**3 + 6*g**2 - 3*g. Let t be v(5). Let i be (4 - (-2)/(-2))*(-11)/(561/34)*4. Is t not equal to i?
True
Let p = -109 + 113. Let r be p/150 - (-15 + 15). Is r at most as big as 1?
True
Suppose 3*t + 7*c - 3*c = 13, -t = -3*c. Suppose 0 = s - 4*h + 5, -7*s + 90 = -10*s - t*h. Which is smaller: -31 or s?
-31
Let x(s) = s**2 + 17*s - 35. Let g be x(-19). Let n = -16880/13 - -1297. Let i = 15/52 - n. Is g >= i?
True
Let i = -7 - -19. Suppose 3*l - 7*j = -5*j - 56, l + 5*j = 4. Let r be i*2*(-9)/l. Is r equal to 15?
False
Let u = 19.7 - 102.7. Let r = u + 12. Let m = 64 + r. Is m bigger than -2?
False
Let t = -2416/1455 - 3/485. Let z = -303/26 + 132/13. Which is smaller: z or t?
t
Let f = -2940 - -2937. Which is bigger: f or -2.16?
-2.16
Suppose 2*o + 4*d - 48 = 0, -5*o - 2*d - 21 = -125. Let v be 10/25*(-25)/o. Let h = -2 + 0. Is h greater than v?
False
Let h be -5*((-176)/85 - -2). Let f = -7237 - -7221. Which is smaller: h or f?
f
Let l(s) = 40*s - 1521. Let a be l(38). Which is smaller: 2/349 or a?
a
Suppose 10*l - 22 = 2*g + 15*l, -2*g + 6 = -2*l. Which is greater: g or 1/1694?
1/1694
Let b be (-2)/(-8) + (-214)/(-8). Let z(m) = 2*m**2 - 6*m - 4. Let s be z(4). Suppose -2*h - a + 55 = 0, -s*a + 80 = 4*h - h. Is b less than h?
True
Let b be (0 + -1)*5 + 243/3. Suppose 503 = 3*x + 2*i, 2*i - b = -2*x + 262. Which is smaller: x or 164?
164
Let i(p) = -p**2 - 4*p + 30. Let u be i(11). Let l be 1 + (-1)/(-1) - (-288)/u. Which is bigger: 0.9 or l?
0.9
Let a = -263 - -375. Let t = a + -23. Let j = -26 + t. Is 63 less than or equal to j?
True
Let z(x) be the second derivative of -15*x**3/2 - 180*x**2 + 134*x. Let y be z(-8). Which is smaller: 2/679 or y?
y
Let t = 16.67 + -31.67. Let i = 0.8 - 3.8. Is i not equal to t?
True
Let a(d) = 2*d**2 - 19*d. Let o be a(10). Let x be (-2)/o + (-1 - (-12)/10). Suppose x*u + 53 = 5*u + 2*b, 54 = 5*u + b. Which is smaller: u or 8?
8
Suppose 0 = 6*k - 5*d + 422, 2*k + 4*d = -3*k - 319. Let y(m) = -13*m + 76. Let z be y(11). Are k and z nonequal?
False
Let d be 5*18/15*(-76)/(-57). Let o = -7 - -5. Let x = 9 + o. Which is bigger: d or x?
d
Let h = -0.79 - 3.11. Let a = h - -19.9. Let u = -33 + a. Is -2 smaller than u?
False
Let i = 28 + -53. Let m = 17 + i. Let l = 4 + m. Is l at least as big as -1/7?
False
Let x(l) = -l + 55. Let k be x(13). Suppose 5*i = -o - 49, o + 39 = -2*i - 2*i. Let h be (k/35)/(12/i - 1). Which is greater: h or -1?
h
Suppose -267 = -4*n + 93. Suppose -n*f + 100*f + 370 = 0. Is f <= -35?
True
Suppose 0 = -5*x + 3*x + 6. Let h = 9978 + -9977.09. Which is smaller: h or x?
h
Let i be -6 + (-4)/(-2) + 41. Suppose 18*k - i*k = 19. Is k < 2/551?
True
Suppose 682*r = 689*r - 546. Suppose 7*j - 5*d + 138 = 11*j, 0 = 2*j - 2*d - r. Which is greater: j or 36?
j
Let b(v) = -94*v + 46*v - 137 + 44*v. Let h be b(-34). Let t = -2185/204