**3 - 66 + 10*a**2 + 30 + 2*a + 28. Let p be k(10). Suppose -p*s - 12 = -15*s. Is 6 at most s?
False
Let d be ((-2625)/450)/(2/(-12)). Are -31 and d nonequal?
True
Let p = -355 - -358. Let r be ((-351)/(-6))/(p/6). Is 117 at least r?
True
Let x = 537 - 575. Suppose 3*b = -117 + 6. Let v = b - x. Does 2/83 = v?
False
Let n be (-14971)/(-180895) - (376/92 - 4). Which is smaller: n or 0?
n
Let n be -116 - (6/(-2) + 6). Let z(k) = -k**3 - 21*k**2 + 56*k + 1058. Let b be z(-21). Which is greater: n or b?
b
Let p = -23 + 43. Suppose -x - p = -11*x. Suppose -2*l + 24 = x*l - 4*i, -l - i = -4. Which is bigger: l or 4?
l
Let p(m) = -29*m + 65. Let b be ((-38)/57)/(1*(-3)/9). Let h be p(b). Which is greater: 2 or h?
h
Let x(d) = -d. Let q be x(-2). Suppose 46 = 12*y - 10*y + 4*g, q*y = -5*g + 51. Which is smaller: y or 124/9?
y
Suppose 0 = -5*z + m + 15, 2*z + m = -3*z + 15. Let x(f) = 34 + 27*f - f**2 + 2*f**3 - 28*f**2 - f**z. Let k be x(28). Is -2/3 > k?
False
Let d = -29367 + 17859. Let t = 11486.988 + d. Let b = t - -0.012. Is b bigger than -1?
False
Let s be (1 + -3)/((-2)/4). Suppose -s*w = 7*w. Which is smaller: -4 or w?
-4
Let z = -604.8 + 632.03. Let u = z + -4.23. Let p = -1.9 - -2. Is p less than or equal to u?
True
Let h be 1888/(3 - -13) + -4. Is h less than or equal to 102?
False
Let q = 2 - -2. Suppose 4*y - 2*l = -q*l + 4, 3*l = 4*y + 16. Let t be 2/7 - 4366/12390. Which is smaller: t or y?
y
Let d be ((-182)/(-39))/14*6/(-268). Does 1 = d?
False
Let i(p) = -p**2 + 11*p. Suppose -2*q - 22 = -4*q. Let r be i(q). Let w = -51.52 - -15.52. Which is greater: w or r?
r
Let a = -437.1265 + 437. Let c = a + 0.0465. Is c < 3/5?
True
Suppose -2*l = j + 139, -12*l + 8*l - 3*j = 277. Which is bigger: l or -687/10?
-687/10
Suppose 4*r + 2*a - 2558 = 868, 7*r + 2*a - 5982 = 0. Is 852 <= r?
True
Let b(z) = -394*z + 8580. Let f be b(15). Are 6/7 and f nonequal?
True
Let z(i) = -7*i**3 - 113*i**2 - 119*i - 4. Let k be z(-15). Which is greater: k or -724/41?
-724/41
Let j = 3568/391 - 198/17. Is j greater than or equal to -2?
False
Suppose -5*y - 8 = m, -m + 3*y = m - 10. Let z be 2 + 2 + m + -5. Let n = -23/382 + 2057/8786. Which is smaller: n or z?
n
Let k(a) = a**2 + 11*a + 19. Let g be 6*((-14)/4 - -2). Let u be k(g). Which is bigger: u or 0?
u
Suppose 88 = -3*r + 4*j, -2*r - 3*r + 4*j - 136 = 0. Let t be 2/r*2 + 6/(-36). Which is smaller: t or 1?
t
Let j be (-2995)/(-1797)*(2 + 2804/(-1399)). Is j smaller than 0?
True
Let c = 2.4 + 11.6. Let z be 9/(-186)*(-12)/(-27)*3. Let r = 83/155 - z. Which is bigger: c or r?
c
Let u = -36.7 + 33.95. Let q = u + 2.47. Is q less than 5?
True
Let s be 2 + (44025/270)/(1/(-3)). Which is smaller: s or -487?
s
Let y(z) = -2*z**3 + 43*z**2 + 14*z + 210. Let k be y(22). Let d be (3/(9/111))/1. Which is bigger: d or k?
d
Let y = 157 + -146. Suppose -y*v - 107 = 575. Is v less than -61?
True
Let p = 7266 + -7266. Is p at least 10/987?
False
Let a be -8 - (1 + (-674)/(-58))*6670/2001. Which is smaller: -49 or a?
a
Let c(t) = 156*t**3 + t**2 + 10*t + 9. Let q be c(-1). Is -145 at least q?
True
Let i(h) = -3*h**2 - 38*h - 108. Let a be i(-5). Let c(b) = 4*b - b - 10 + 0*b. Let f be c(a). Which is greater: 9 or f?
f
Let d = -84.38 - -16.38. Let v = 351.9 - 284. Let h = v + d. Is h at most as big as -29?
False
Let h be 2/6 - (-286)/33. Let w be (-129)/2*(-66)/99. Suppose -w = -n - h. Is n at most 33?
False
Suppose j + 2*w = 240, 2*j + j + w - 710 = 0. Let p = -189 + j. Which is smaller: 46 or p?
46
Suppose -3*l + 5*x = -391 + 1163, -3*x + 1011 = -4*l. Let y be ((-18)/10)/(132/18260). Are y and l non-equal?
False
Let j = 21.459 + 0.441. Let i = j + -24.9. Which is smaller: -0.77 or i?
i
Let k = -4586 - -1557. Is -3030 at least as big as k?
False
Let g(x) = 2*x**2 - 52*x - 952. Let c be g(49). Which is smaller: 6517/5 or c?
c
Suppose 91*d - 85*d - 504 = 0. Which is greater: 0.44 or d?
d
Let m(t) be the second derivative of -t**5/20 + 3*t**4/4 - t**3 - 37*t**2/2 + 25*t. Let o be m(8). Is o bigger than -104/5?
False
Let p be 2/(-4)*0 - (-126186)/(-120). Suppose -3*l = 1573 + 1583. Let f = l - p. Are f and 0 unequal?
True
Let o be (-6)/4*16/(-12). Suppose o*h + h + 2*p - 28 = 0, -5*h - 2*p + 40 = 0. Suppose -2*z = -3*z + 6. Is h >= z?
True
Let u = 168 - 3527/21. Suppose 18 - 261 = -3*y. Let r = -81 + y. Which is greater: u or r?
u
Let u = 525 + -930.8. Let l = 406 + u. Which is greater: -109 or l?
l
Let k = -1396 - -1391. Let u be -7*18/(-14)*k. Suppose 0 = 2*b - 6*b - 172. Is u bigger than b?
False
Let i = 110 - 73. Suppose 19 = x + 4*t - 23, 0 = t. Let p be x + (-20)/(-15)*-3. Are p and i unequal?
True
Let f = 11621/19 + -611. Let b be 1 - 3/6*-2. Suppose -4*j - x + 5 - 1 = 0, 0 = b*j + x. Which is smaller: f or j?
f
Let y(g) = -4*g**2 + 2*g - 1. Let f be y(2). Let i be 1 + 36 - (-65)/f. Suppose -5*w - o = 224, w - o + i = -14. Which is bigger: w or -89/2?
-89/2
Let n = -1.1 - -1.1. Let m = -4 - -4. Let a be (5 - 3) + (-4 - m). Is a > n?
False
Let h = 16 + -14. Let c be 24/15*5/h. Let p = 329.5 + -330. Which is smaller: p or c?
p
Let i(m) = -65*m**3 - 3*m + 2. Let z be i(1). Let n be (-1)/(-6) - 1/z. Let j = 1.07 + -11.07. Is n < j?
False
Let d be (-23)/(-5) + (-2)/(-5). Let q be (0 + (-12)/10)/(1/(-5)). Let w be ((-10)/q)/(3 + (-57)/18). Which is smaller: d or w?
d
Let w = -514 - -514.963. Which is smaller: -1 or w?
-1
Let d be ((-39)/(-5) + -8)*5. Let y be (5/(-4))/(865/40). Which is smaller: y or d?
d
Let y = -216134827/240 - -900564. Let h = -11/5 + y. Which is bigger: h or -1?
h
Let x(u) = u**3 - 2*u**2 - 4*u + 1. Let g be x(4). Suppose 14*n - 153*n - 8*n = -2205. Which is bigger: n or g?
g
Suppose 0 = -70*l + 66*l + 12. Let n be (9/135)/((-59)/l)*3. Which is smaller: 0 or n?
n
Let i(u) be the first derivative of 2*u**2 + 33*u - 28. Let f be i(-8). Which is smaller: 1/19 or f?
1/19
Suppose -46*d + 42*d + 532 = 0. Suppose 17*o - d - 54 = 0. Do o and 3 have different values?
True
Let w = 130754/115 + -1137. Is w smaller than -9?
False
Let d = 213 + -136. Suppose 413 - d = -16*s. Which is smaller: -16 or s?
s
Let s = -134220/19 + 51407818/7277. Which is smaller: 1 or s?
s
Suppose 14*d + 621 = 15*d. Let m = d + -347. Let r = -2195/8 + m. Is -1 > r?
False
Let x(o) = 5*o**2 - 23*o + 93. Let m(a) = 27*a**2 - 118*a + 464. Let z(w) = -2*m(w) + 11*x(w). Let l be z(6). Which is smaller: l or 17?
17
Let o be (99/165)/((-82)/10 - -2). Let k = 26 + -26. Is k greater than or equal to o?
True
Let h be -11 - (3 + -8 + -4). Let f be 129/(-15) - -4 - (h - 3). Which is smaller: f or 5.79?
f
Let y(q) = q**3 + 5*q**2 + 5*q + 5. Let j be y(-2). Let m = -22 + 81. Let u = -59.2 + m. Which is bigger: j or u?
j
Let n(o) = o + 8. Let h(b) = -2*b**3 + b**2 - 4. Let l be h(-2). Let u = 9 - l. Let c be n(u). Which is bigger: c or 3?
3
Let x = -15.07 - -1.625. Let a = x + -0.155. Let i = a + 13.65. Is i at least -1/4?
True
Suppose 8*w = -226 - 222. Let z = w + 58. Let c be z + (-66)/30 - (-16)/5. Is 1 at least as big as c?
False
Let c = -12060 - -12061. Which is smaller: c or -6/551?
-6/551
Let h = 15 - 13. Suppose 0*p - 2*o - 359 = -3*p, -5*p = -h*o - 605. Suppose 5*x = 3*u - 156, 2*u + 0*x + 3*x - p = 0. Is u at least as big as 56?
True
Let r = 15.381 + -18. Are 0 and r nonequal?
True
Let u = -1.37 - -1.504. Let m = -0.834 + u. Let i = -3 + 2.8. Which is greater: m or i?
i
Suppose y = 3*k - 1, -y + 7*k = 3*k + 2. Let r be ((-588 - -9)/(-4 - -1))/y. Let v = 98 - r. Is 11 > v?
True
Let k be 1 + -5 + (-142)/(-45). Let n = k + 3389/3960. Do n and 0 have the same value?
False
Let u = 0.15 - -0.45. Let m = 52.6 - u. Let l = m + -51.9. Which is smaller: l or 3?
l
Let q = 1794 - 1795. Is q equal to -1/38950?
False
Let b be ((-7)/(-21) + 0)/((-2)/(-12)). Let p be 108/(-20)*b/3. Which is smaller: -4 or p?
-4
Let a(m) = 3*m + 17. Let j be a(-4). Let f be (41/2)/(j/50). Let b be f/(-2)*4/(-5). Is b equal to 82?
True
Let v be (105/20)/((-3)/(-8)). Suppose -11*k - 3 = -v*k. Which is bigger: 1/125 or k?
k
Let s be 34/(-136) + 5/8 + 10810/16. Is s at most as big as 676?
True
Let g(s) be the first derivative of -s + 3/2*s**2 + 8. Let m be g(6). Which is smaller: 14 or m?
14
Let y(j) = -326*j + 1747. Let z be y(6). Is -18 bigger than z?
True
Let v = 1299/44 - 322/1