g**2 - 7*g + 5. Let d be x(5). Let r = d + z. Is -3 <= r?
True
Let a = -215 + 1503/7. Suppose -24 = 3*l - 0*l. Which is smaller: a or l?
l
Let u = -13264 - -6577. Let o be (u/(-48))/(15/(-10)). Let k = 93 + o. Is -1 greater than k?
False
Let c = -5836 + 5853. Let p(j) = j**2 - 3*j - 1. Let o be p(-3). Is c <= o?
True
Let t(z) = 5*z**2 - 2*z + 7. Let u be t(3). Let d = u - 47. Which is bigger: 2/165 or d?
2/165
Suppose -2*c - 8 = -26. Suppose -p + 0*p + 29 = -5*t, -8 = 3*p + 4*t. Suppose 3*q = -p*o + 33, 0*o + 3*o + 4*q = 23. Is o greater than or equal to c?
True
Let j = -1393 - -1391. Which is smaller: j or -96?
-96
Let x = -36 + 35.6. Let t = -0.3 - x. Which is smaller: -3/17 or t?
-3/17
Suppose -k + 1 = -0*k. Let j be 220/(-12) + k/3. Which is smaller: j or -19?
-19
Let o(a) = a**2 + 2*a. Let t be o(-4). Let m be (-39)/(-52) - (-26)/t. Let d = -3 - -8. Which is smaller: d or m?
m
Suppose 0 = -4*q - 4*s + 7 + 9, -2*q + 5*s = 20. Let u be ((-8)/(-40))/(14/(-5)). Which is smaller: q or u?
u
Let t = -1625 + 1419. Which is greater: t or -208?
t
Let g be 154/70 - (-1)/(-5). Which is smaller: g or 29/31?
29/31
Let d(h) = h - 10. Let c(u) = -9. Let z(w) = -4*c(w) + 3*d(w). Let g be z(-7). Which is bigger: g or -11?
-11
Let c be 6/(-10) + (3 - 28/20). Let u be (2 + 1)*(2 - c). Do u and 15/7 have different values?
True
Suppose 0 = 2*i - 4*t - 32, 2*t - 49 = -5*i - 5. Let j be (0 - 2)*-1 - 26. Let d be ((-2)/i)/(j/40). Is d > -0.15?
True
Let n(k) = -k**2 - 5*k - 1. Let f be n(-5). Suppose -16 = -4*u - 56. Let o be (-5)/(-6)*1*(-2)/u. Which is greater: f or o?
o
Let r = -6.4 + 1.9. Let z = r + 4.8. Suppose 0*b + 4 = 4*b. Which is smaller: b or z?
z
Let w be -123 + 20/5 + 5. Let t = 101 + w. Which is greater: -10 or t?
-10
Let x(b) = 6*b**2 + 8*b - 3. Let f be x(2). Suppose f*k - 40*k + 27 = 0. Which is bigger: -0.6 or k?
k
Let p = 10.6 + -2.95. Let n = -5.8 + p. Let w = 0.15 + n. Which is greater: -1 or w?
w
Let q(x) = -32*x - 406. Let z be q(-13). Is z bigger than 1/5?
True
Let y = 0.229 + -2.289. Let h = 2 + y. Let k be 5/(450/(-24))*3/2. Which is bigger: k or h?
h
Let g(k) = 41*k + 1. Let t be g(1). Let i be (24/126*-18)/((-4)/t). Is i at least 35?
True
Let u(m) = m**3 + 17*m**2 + 44*m + 27. Let d be u(-14). Is 5/11 at least as big as d?
True
Let f = 17 + -12. Let v(y) = -y**2 - 3*y - 3. Let g(q) = 2*q**2 + 5*q + 5. Let r(a) = f*v(a) + 3*g(a). Let h be r(-1). Which is smaller: h or -2/69?
-2/69
Let c = -0.04 - 0.42. Let s = c + 0.56. Let a = -1 + 1.05. Which is smaller: s or a?
a
Let h = -8 + 8.12. Let c(u) = -u**3 - 9*u**2 - 15*u - 4. Let d be c(-2). Which is smaller: d or h?
d
Suppose -640 = -6*z - 112. Let x = 115 + -116. Which is bigger: x or z?
z
Let n = -2 + 1.7. Let w = -0.136 + -12.164. Let k = 12 + w. Is k greater than n?
False
Let m(p) = -p**3 + 13*p**2 + p - 18. Let y = 26 + -13. Let d be m(y). Suppose -3*z + 12 = -5*z. Is z not equal to d?
True
Let i = 5 - 7.4. Let v = -0.4 - i. Let m = 0 - v. Which is greater: m or 2/7?
2/7
Let m = -2/27 - -13/54. Let d = 10.46 - 1.16. Let h = d + -5.3. Is m greater than or equal to h?
False
Let i be 45/(-55) + (0 - 0) + -4. Which is smaller: -5 or i?
-5
Let r = 12 + -5. Let l be r + 5/(5/(-2)). Which is bigger: l or 4?
l
Suppose p + 6*a - 3 = a, 4*p = 3*a + 81. Suppose 3*q + 48 = 2*y, 5*y - q - 102 = 2*q. Is y != p?
False
Let k = -1.07 - -1.04. Which is smaller: -9 or k?
-9
Let t = -73 - -50. Let s = t - -22.8. Is -7 at most s?
True
Let q be (-1*6)/((-12)/32). Suppose 2*z = -o + z + 8, q = 2*o - 4*z. Suppose -o = f - 0*f. Which is greater: -9 or f?
f
Let f = -27 + 27.06. Let c = f - -0.04. Which is greater: c or 9?
9
Let y = 0 + 2. Let l = -2 + y. Let q be (1/(-1))/((-5)/(-10)). Is q less than or equal to l?
True
Suppose -24 = 3*g + g. Let m be 5/3 + g/18. Which is greater: 0 or m?
m
Let r(a) be the first derivative of a**4/4 - 8*a**3/3 + a**2/2 - 3*a + 8. Let z be r(8). Let g be 5 + -5 - z/9. Are -2 and g equal?
False
Let t = 73 - 27. Suppose -7*v + 57 = -251. Which is smaller: v or t?
v
Let d = -3 - 2. Let a = -6 + d. Let o = a + 11. Is 0 < o?
False
Let a = -129 - -132.1. Which is smaller: a or -0.2?
-0.2
Let f = 0.02 + -0.01. Let b be ((15 + 3)/(-6))/((-3)/4). Is b at least as big as f?
True
Let u be ((-56)/8)/(2/4). Let g = 38 + -53. Which is greater: u or g?
u
Suppose -c - 20 = -5*l, 0*c - 10 = 2*c + 5*l. Let o be (-15)/(-2)*(-1 - 1). Let t be 48/o - 2/c. Is -9/5 < t?
False
Suppose -31 = 2*l + 11. Is -26 > l?
False
Let t(f) = 53*f + 253. Let s be t(-5). Which is greater: s or -43/4?
-43/4
Suppose 0 = -i + 2*y + 1709, 3*i + 5*y = -2816 + 7954. Does i = 1710?
False
Let u = -735 - -426. Which is smaller: -310 or u?
-310
Let l be 9190/28 + (-279)/1302. Which is bigger: l or 2?
l
Suppose -3*l - 43 = -7. Let v be l/10*10/(-4). Which is bigger: v or 5/2?
v
Let d be 4/(-18) + 1045/45. Let a = -10 + d. Is a greater than or equal to 2?
True
Suppose 2*p - 75 = -3*p. Let y = p + -12. Suppose 0 = -y*q + 9 + 24. Is 11 not equal to q?
False
Let t be (1/(-2))/((-200)/16 - -13). Which is smaller: -7/34 or t?
t
Suppose -17*c - 821 + 600 = 0. Is -146/11 less than c?
True
Let i = -4 - -8. Let c(k) = -k**3 + 2*k**2 + 12*k - 10. Let r be c(i). Which is smaller: 3/7 or r?
3/7
Suppose 0 = -2*m - 1 - 1, m = 3*c - 55. Is c not equal to 6?
True
Let i(a) = a**2 - a + 18. Let s be 4/(-14) + (-4)/(-14). Suppose -f = -s*f. Let p be i(f). Is p bigger than 17?
True
Suppose -15*f = -10*f + 15. Let p be (-2)/((-16)/(-18)) - 0. Which is smaller: p or f?
f
Let z = -517 - -405. Is z less than or equal to -2/13?
True
Suppose 2*a + 143 = d, -2*a = -2*d - 0*a + 284. Is d at most 141?
True
Suppose 4*b - 560 = -2*y, 2*b = -0*y - 5*y + 1360. Which is bigger: 269 or y?
y
Let p = 33 + -22. Let a = 15 + -5. Let b = a - p. Which is greater: -1/3 or b?
-1/3
Let j(a) = a**3 - 27*a**2 + 28*a - 43. Let s be j(26). Which is bigger: 14 or s?
14
Let t = 4 - -16. Suppose -3*d - 17 = -t. Which is bigger: -2/39 or d?
d
Suppose 0 = 5*q + 12 - 92. Let m be -3 + q/1340*(-1010)/(-4). Which is smaller: -1 or m?
-1
Let n be (-1)/(-1)*0 - (-26 + 340). Are n and -314 non-equal?
False
Suppose 0 = 7*s - 12*s + 95. Let g(p) = p + 4. Let y be g(s). Which is bigger: 22 or y?
y
Suppose 7508 + 436 = -4*d. Let q = d - -158883/80. Is 1 at least q?
True
Let a = -303 + 296. Which is smaller: -1 or a?
a
Let r be (-1)/6 - 38/(-12). Suppose 0 = -0*o + r*o. Are o and 5/6 unequal?
True
Let c(a) = a**2 - 7*a - 2. Let h be c(8). Let d be (2/h)/(2/48). Which is smaller: 9 or d?
d
Let t = 8.91 + -6.91. Are t and 1 equal?
False
Let t = -2729.852 - -2736. Let y = 0.148 - t. Are -6 and y nonequal?
False
Let d(q) = q**2 - 6*q + 3. Let x be d(4). Let f be (-352)/(-20) - 2/x. Which is smaller: 19 or f?
f
Let g be 8*(-1)/(-10)*5. Suppose -5*v + g*v + 6 = 0. Which is smaller: -1 or v?
-1
Let a(g) = -g. Let v(n) = 6 + 7 + 2*n + 9 - 18. Let l(o) = 3*a(o) + v(o). Let h be l(1). Is 3 less than or equal to h?
True
Let j(v) = -v**2 + 14*v - 25. Let x be j(15). Let g = -126 - -86. Is g greater than x?
False
Let y = -3 + 15. Suppose g - 3*z = 4*g + 30, -2*g - 4*z - y = 0. Let i be 6/g*8/12. Which is smaller: i or -0.2?
i
Let k(w) = -3*w + 16. Let f be k(8). Let h be 2/(-1) + 15/5 - f. Is 8 greater than h?
False
Suppose -4*n + 9*n + 5 = 0. Let f = 728/9 - 82. Which is smaller: n or f?
f
Let q(g) = -2*g**3 - 2*g**2 - g. Let a be q(-1). Suppose -3*x + a - 7 = 0. Let d be 57/276 - x/(-8). Is d <= -1?
False
Let r = 114 - 105. Is r at least 29?
False
Let z = -394 - -383. Which is greater: -19/2 or z?
-19/2
Let q be (8 - 112/20) + -3. Which is smaller: q or 0?
q
Let a(u) be the second derivative of -u**5/20 - 5*u**4/12 + u**3/2 + 7*u**2 - u. Let l be a(-5). Is -1/9 equal to l?
False
Let t = 89/117 + 5/39. Suppose -2*l - 2*c - 2 = 0, -c - 5 = -0*c. Suppose 3*q + z + 1 = -0, z = -l. Is q less than or equal to t?
False
Let b = 9.1 + -1.6. Let q = b - 1.5. Let d = q - 7. Which is smaller: 2/11 or d?
d
Let o = 1/123 + -253/861. Is -1797 != o?
True
Suppose 0 = v + 3*z - 343 - 50, -2*z + 4 = 0. Which is bigger: v or 386?
v
Let z(f) = -2*f + 23. Let i be z(1). Which is smaller: i or 25?
i
Let j = -20 + 22. Suppose -4*d = -j*d - 156. Let f be (8/d)/(18/81). Which is smaller: 1 or f?
f
Suppose -12*t + 10 = -10