e z(-13). Is g less than a?
False
Let s(c) = -16*c + 134. Let l be s(8). Is -0.003 not equal to l?
True
Let g(z) = 2*z - 3. Let p be g(4). Suppose 4*y - p*f + 9 + 21 = 0, 4*f + 12 = -4*y. Suppose -5*b - 2*j - 10 = 0, -2*j - 11 = 4*b - j. Is b at most as big as y?
False
Let z(c) = -c**2 - 24*c - 22. Let w be z(-23). Let f = 2 + -88. Let p = -600/7 - f. Which is smaller: w or p?
p
Let g = -5 - 37. Let q(d) = -d**3 - 44*d**2 + 89*d - 180. Let v be q(-46). Is v less than g?
False
Let n = 252.8 - 251. Which is smaller: 2/31 or n?
2/31
Let l(g) = -g**3 - 18*g**2 - 20*g - 68. Let c be l(-17). Is -19 > c?
False
Suppose -3*d = 2*s + 213, 0 = -d - d + s - 149. Let r = -69 - d. Let f = -1 + 2. Which is bigger: r or f?
r
Suppose -4*i = -4*t + 22 + 22, 4*i - 1 = -t. Let w be 5/t*3*(-6)/4. Is -4 at least as big as w?
False
Let n = -29 - -8. Suppose 3*i - 67 = 4*b, 3*b - 4*b - 4*i - 31 = 0. Which is smaller: n or b?
n
Let v = 13.04 + -0.04. Let g = -180.8 - -168. Let b = g + v. Which is smaller: -9 or b?
-9
Let f be (8/(-15) - 6/(-30))*-321. Is 106 > f?
False
Let x = -9095/14 + 650. Which is greater: x or 0?
x
Let y = -2 - 1. Let t = 881 + -4424/5. Is t equal to y?
False
Suppose -2*y - y = 63. Let g = y + 1. Let q be (g/24)/(9/(-6)). Is 2 at most as big as q?
False
Suppose -59 = -5*r - 0*y + 3*y, 0 = -2*r + 2*y + 26. Suppose -6*b - 8 = -r*b. Let t = 0.1 - -0.1. Do t and b have the same value?
False
Let o = 0.574 + -0.674. Is -8.5 less than o?
True
Let k be (-330)/(-77) + 2/(-7). Let j be k/(8/6) + -29. Is j greater than or equal to -26?
True
Let t be 13 - (-380)/(-30) - 1076/(-3). Are t and 358 unequal?
True
Let c = 214 - 130. Let f = 92 - c. Which is smaller: 0 or f?
0
Let t(h) = h + 8. Let p be t(-4). Suppose -p*w - x = -1, w = 3*w - x - 5. Which is smaller: 0 or w?
0
Let s be -9 + 18/3 + -3. Let x = 1013 - 5092/5. Which is smaller: x or s?
s
Let x(m) = m - 7. Let v be x(10). Suppose -s - v*s - 3*y = -61, -90 = -5*s - y. Suppose -5*t = -2*f - 31, 3*f + 2*t + s = 4*t. Which is smaller: f or -3/2?
f
Suppose -4*f = 2*b + 4 + 4, -3*f - 5*b = -8. Let p be (4 - 7 - -4)*4*f. Which is bigger: -11 or p?
-11
Let w be -2*(-2)/(-14) - 102/84. Are w and -2 equal?
False
Let t be 124/(-6) + (-2)/(-3). Let z(q) = -5*q + 46. Let s be z(13). Is s at least as big as t?
True
Let k = 0.0817 + -0.0017. Let t be (-76)/18 + 4/18. Which is greater: t or k?
k
Let t = 37 - 20. Let x = 131.8 - 148. Let p = x + t. Is 2/9 greater than p?
False
Suppose 0 = 3*b - 7*b. Suppose -4*i = j - 30, b*j + 100 = 4*j - 4*i. Suppose 4*l + 2 = -j. Which is smaller: -6 or l?
l
Suppose -2*p - 5 = -3. Let q be 5 + -1 + -2 + p. Let c be (-11 - 525/(-45))*(-6)/(-118). Do q and c have the same value?
False
Suppose 4*q - 11 = -g, -3*q + 5*q + g = 7. Suppose 35*o - 10*o + 25 = 0. Which is greater: o or q?
q
Let t = 739.8 - 738.8. Let p = 45 + -83. Which is bigger: p or t?
t
Suppose -45 = -2*q - 17. Let g(z) = 6*z**2 - 6*z + 4. Let t be g(1). Suppose j - 3*a - q = -6, -3*j - t*a = 15. Is j greater than or equal to -1?
True
Let y = -5 + 17. Let r = -11 + y. Let z = -1.1 + r. Is z at most as big as 3?
True
Suppose 28 - 7 = -3*q. Let m(k) = k**2 + 10*k. Let p be m(q). Let u = p + 16. Is -6 != u?
True
Suppose -13*c + 160 = -178. Is c <= 25?
False
Let h = -40.4 - -87. Let m = h + -44. Which is bigger: -1 or m?
m
Suppose 20*a - 3*n = 18*a - 2557, -4*a + 5*n = 5119. Are -1286 and a non-equal?
False
Let w(g) = g**3 - 6*g**2 - 10*g + 37. Let q be w(7). Is 11 < q?
True
Let q = -154 + 153.976. Let l = 0.124 + q. Which is bigger: 2/55 or l?
l
Let t = 0.2 - 0.17. Which is smaller: 3 or t?
t
Let y be 50/(-12)*((-468)/8520)/(-13). Which is greater: y or -1?
y
Suppose -x + 0*x = -12. Suppose 4*w = 2*l + x, -3*w = -2*l + 4 - 17. Let u(t) = -t**3 + 4*t**2 + 26*t - 93. Let a be u(6). Which is smaller: l or a?
a
Suppose 3*h = 3*u + 6, -3*h - 75*u + 80*u + 8 = 0. Which is bigger: h or 4/69?
h
Let l be (-208)/(-130) + (-6)/10. Let j = -13/528 - 1/48. Are l and j nonequal?
True
Let g(y) = -y**3 - 7*y**2 + 3. Let u be g(-7). Let d(o) = -o**u - 5 - 2*o - 1 - 2*o**2 + 14*o + 9*o**2. Let w be d(8). Which is greater: 27 or w?
27
Let o be ((-1)/5)/((-1)/(-7)). Suppose -r + 7*v = 5*v + 6, 9 = 5*r + 3*v. Which is bigger: r or o?
r
Let a be -1 - -1 - 9/696. Is -1 less than or equal to a?
True
Let n = 139 + -971/7. Which is smaller: -156/17 or n?
-156/17
Let h(m) = m**3 + 9*m**2 + 13*m - 2. Let u be h(-6). Let t be u/105*(-6)/(-16). Let j = t - 3/5. Which is bigger: j or 0?
0
Suppose 33 = -4*r - w + 115, 5*r - 3*w - 94 = 0. Which is bigger: 53 or r?
53
Let v be -1 + (-132)/(-28) + 4/14. Suppose -v*o - 17 = 3*x, 0*o + 3 = -3*x + 3*o. Which is bigger: x or 3?
3
Let w = 222 + -5552/25. Which is greater: 2 or w?
2
Let y = -2.77 - -2.87. Is -1/14 >= y?
False
Suppose 52 = -5*o + 3*v + 14, -4*o = 4*v + 56. Let d = o - -18. Which is bigger: 7 or d?
d
Suppose -4*u + u = 3*v, 4*u + 2*v = -2. Which is greater: u or 1/184?
1/184
Suppose -2*q - 8 = -2*r, 12 = q - 5*q + 5*r. Let w be ((-6)/64)/(2/q). Suppose -h = -3*o - 0*h, -4*h = 3*o. Is o > w?
False
Let o = 5642/15 - 376. Let d be 2/24*27/18. Is d greater than or equal to o?
False
Let s(q) = -5*q**3 + 5*q**2 + 2*q + 4. Let c(r) = -4*r**3 + 5*r**2 + r + 5. Let o(v) = 6*c(v) - 5*s(v). Let g be o(-6). Let i = -10 + 9. Is i equal to g?
False
Let o be 4 - (-2 - (4 - 13)). Let d be o/(-3)*1/(-1). Which is bigger: d or -13?
d
Let d be 0*(1 - (0 + 2)). Let b be 1/(d + (-3)/9). Let n = -87 + 82. Is n <= b?
True
Let u(m) = m**3 - 6*m**2 + 5*m + 2. Let o be u(5). Let j = 1 + 3. Suppose -j*g + 19 = 7. Which is smaller: o or g?
o
Suppose 0 = x - r - 37, -4*x - 4*r + 149 = x. Let n be 1/(x/(-40)) - 2/(-3). Which is smaller: -1 or n?
-1
Let a be ((-39)/18 - -2)*1. Suppose -h - 2 = -1. Which is bigger: h or a?
a
Let y = -2471 - -2480. Let b be ((-46)/(-8))/((-6)/(-8)). Which is bigger: y or b?
y
Let z(w) = -24*w + 200. Let p be z(9). Is p bigger than -16?
False
Let j(c) = c - 12. Let a be j(-8). Let w be ((-20)/8)/(a/16). Let o be (8/(-12))/(w/(-9)). Is 1 less than o?
True
Let t(f) = -f - 2. Let o be t(-6). Suppose -82 = 2*v - 4*j, -o*v + j = -4*j + 158. Which is bigger: v or -38?
v
Let q be 2/6 + 4/15. Let n be (-6)/(-4) + -1 + 78/12. Let k = 8 - n. Is q at least k?
False
Let d = 10.16 + -10.56. Is d less than -128?
False
Let r(j) = -5*j - 24. Let a be r(-6). Let l be (-84)/24 + (-3)/a*2. Is -5 > l?
False
Suppose -7*f = 214 + 185. Let z = 57 + f. Which is greater: z or -1/6?
z
Suppose 9*i + 21*i = 9*i. Let j = -3 - -3. Are i and j equal?
True
Let k(z) = -z**3 + 4*z**2 + 6*z - 4. Let y be -1 + 2 + 0 - -4. Let c be k(y). Which is bigger: c or 14/11?
14/11
Let c be -2*(-915)/(-4)*12/(-9). Is 609 less than or equal to c?
True
Let i be (15/10)/((-2)/16). Let p be 3912/(-30) + (-6)/(-15). Let w be (i/(-130))/((-39)/p). Is 0 greater than or equal to w?
False
Suppose -4*p = 5*c - 38, 4*c = -4*p + 2*p + 28. Let k be 260004/684 - 2/c. Let q = -380 + k. Which is smaller: 1 or q?
q
Let h(l) = -l**2 + 49*l + 1048. Let o be h(-16). Let w = 363 + -1069/3. Is w equal to o?
False
Let f(a) be the first derivative of a**3/3 + 9*a**2/2 + 10*a - 3. Let x be f(-7). Is -8 at most as big as x?
True
Suppose -3*p + 3*f = -2577, -1553 + 4973 = 4*p + 4*f. Let u be (-10)/45 - p/(-9). Suppose n + r + 66 = 5*n, -5*r = 5*n - u. Is 17 greater than n?
False
Let z = 265/4 + -2891/44. Let p = 0.03 + 0.27. Which is smaller: p or z?
p
Let q be ((-9948)/(-24168))/(-1*(0 - 1)). Let f = 26/53 - q. Which is greater: 0 or f?
f
Let r(c) = 8*c - 212. Let b be r(26). Suppose -2*o = -h - 2, 2*o - h + 4*h - 18 = 0. Is b at most o?
True
Suppose -q - 22*r - 9 = -24*r, -2*r + 3 = 5*q. Which is smaller: 23 or q?
q
Let b = -0.169 - 92.831. Is 0 smaller than b?
False
Let g(k) = k**3 + 3*k**2 - 4*k - 8. Let v be g(-3). Suppose -2*s + 2*p = 0, -1 = v*s + 2*p + 5. Let n = -3567/44 - -321/4. Does s = n?
False
Let r be 1/((-1)/(-2)) + -2. Let i be (-15 - 1) + (r - -2). Suppose u + 3*g + 9 = 0, -579 = 3*u - 5*g - 524. Is i greater than u?
True
Let s = -658.7 - -678. Which is greater: -2 or s?
s
Let m be (-1478)/(-1192) - (-485)/(-388). Which is smaller: 0 or m?
m
Let y = 164 + -131. Suppose -4*s + 155 = s. Which is smaller: y or s?
s
Suppose z + 2*q - 7 = 4, -3*z - 5*q +