1)). Let d = 11 - -2. Let m be (7 - g)/(1/d). Is -14 less than or equal to m?
True
Let y(q) = -q**3 - 2*q**2 + q + 2. Let t be y(-2). Suppose i + w + w = 0, 3*w = -i. Suppose i = -5*u + 10*u - 5. Which is bigger: t or u?
u
Let o(d) = -5*d + 42. Let u be o(8). Let l be u/3 - 88/(-12)*-2. Is -44/3 at least l?
False
Let y = -3/317 - -661/2853. Is y > 4/35?
True
Let j = 3 - 3. Suppose 4*p - 8*p - 16 = j. Do p and -19/4 have the same value?
False
Let m = 3.1 + 0.5. Let i = m - 3.53. Which is smaller: 0.1 or i?
i
Suppose 2*q + 0 - 8 = 0. Suppose 0 = 5*w + 3*n - 18, 3*w - 9 - 4 = -q*n. Let r be (w - 116/39)*3. Is r smaller than 0.1?
True
Let h(o) = o**3 - o**2 - 2*o - 1. Let p be h(2). Let t be (p + 0)/((-60)/(-12)). Which is bigger: t or -1?
t
Suppose 3*u - 143 = -17. Let y be 3 - (u/8)/7. Which is bigger: y or 3?
3
Let b = 17 + -14. Let r = -109.2 + 94. Let l = -15 - r. Which is smaller: b or l?
l
Let b = -202 - -195. Let m = -3 + 1. Let t = m - b. Which is smaller: -1 or t?
-1
Let m = 803 - 713. Are m and 89 equal?
False
Let k be ((-15)/75)/((-1)/33). Suppose 4*o - 2 - 13 = 3*c, 5*o - c - 5 = 0. Suppose -4*f + 6 + 22 = o. Which is bigger: f or k?
f
Suppose 167*l - 156*l = 0. Is l at least -1/4?
True
Let r = -44 - -44. Suppose 4*n = 16, r = h + h - 3*n + 42. Is h less than -31/2?
False
Let l be (-2)/12 + 1/1. Let o = 59/42 - l. Suppose -j = 1, 3*x + 3*j = 5*x - 7. Which is bigger: x or o?
x
Let a be 8 + -1 - (17 - 13). Let z be 2/((-4)/5)*-2. Do z and a have the same value?
False
Let z = -173027/35244 + 1/3204. Let f = -5 - 1. Which is smaller: f or z?
f
Let t = -98 + 489/5. Let l(j) = j**3 - 8*j**2 + 5*j + 7. Let q be l(7). Let y(v) = -v**2 - 7*v + 1. Let p be y(q). Is t smaller than p?
True
Let r(h) = h**2 - 4*h - 5. Let v be r(-4). Let o be (5 + 1)*(-27)/(-6). Is v < o?
False
Let n(t) = -8*t - 25. Let p(m) = 18*m + 49. Let x(c) = -5*n(c) - 2*p(c). Let a be x(-7). Which is smaller: a or -2/97?
a
Let t = -7/78 + 73/234. Which is smaller: t or 85?
t
Suppose 6*j - 2*j = 24. Let z = 0.3 - 5.3. Let s = z - -4. Which is smaller: j or s?
s
Let r(j) = 3*j + 7. Let h be r(-7). Let c = 13 + -28. Let v = h - c. Which is bigger: 2 or v?
2
Suppose f - 4*h + 2077 = 6*f, -2*f = -5*h - 811. Is 413 less than or equal to f?
True
Let f = 17 + -28. Suppose -2*a - 3*u = -180, 0 = -0*u - 3*u. Suppose -7*d - a = 2*d. Is f > d?
False
Let b = 1.021 + 6.979. Which is smaller: b or 0.79?
0.79
Let a = 3 - 1. Let r = -38 - -38. Suppose -4*k = 0, r*l + 6 = l + 2*k. Which is smaller: a or l?
a
Let k(r) = r**3 - 10*r**2 - 10*r - 19. Let q be k(11). Let u(m) = -m**2 - 5*m - 3. Let l be u(-6). Which is smaller: l or q?
l
Let y = -991 - -8923/9. Let r = -2 - -3. Is r > y?
True
Let m = -1.88 + 1.8. Let n = m + -3.82. Let g = n + 4. Is 2/5 equal to g?
False
Let l = 958/623 - -3/89. Suppose 2*c + 8 = 6*c - 4*r, 0 = c + 5*r - 8. Are c and l non-equal?
True
Suppose -a + 12 = -w, a + 3*w = 6*w + 16. Let j be (a/60)/((-2)/3). Is j greater than -14/5?
True
Let w = 59 + -57. Let q = w - 33. Is -31 < q?
False
Let w = 29062/3171 - 10/453. Is w greater than or equal to -1?
True
Let h = -762 + 762.271. Is h >= -0.1?
True
Suppose -6 = -23*l - 6. Suppose -10 = -2*m - 3*m, 5*w - 3*m + 176 = 0. Let y be 8/w + l/1. Is 1 less than y?
False
Let z be (-6 - -16) + -1 + -3. Suppose 10 = 4*d - z. Is d >= 1?
True
Let s = 0.3 - -1.7. Let p = 2 - s. Suppose -107*n = 95*n - 2293 - 333. Is n not equal to p?
True
Let m = -2014 - -2027. Is 36 less than m?
False
Let c(d) = 35*d**3 - d**2 - 2*d + 4. Let w be c(2). Is w at least as big as 277?
False
Suppose -2*k + 49 = 3*c + 183, 4*c - k = -186. Let j = -26 - c. Let n = j + -20. Which is smaller: n or -1?
-1
Let a be ((-1)/7)/(3366/(-231)). Which is smaller: a or 1?
a
Let x(q) = 6*q + 39. Let l be x(-6). Suppose 74 = -3*p - 4*d, l = -d + 1. Is p greater than or equal to -22?
True
Let l = -299 + 299. Is l less than or equal to 5/9?
True
Suppose 0*n - n = 1936. Let h be n/120 - (-4)/30. Let k = h - -20. Is k at least 3?
True
Let d = 36/5 - 139/20. Let g be ((-4)/(-10))/(4/10). Is d >= g?
False
Suppose -p - 1 - 1 = 2*s, 0 = 5*s + 2*p + 7. Let c be ((-1)/s)/(1/30). Let t = c + -10. Are 6/5 and t equal?
False
Let s = 1209 + -1216. Which is greater: -5 or s?
-5
Let j(l) be the third derivative of -l**6/120 + 13*l**5/60 + 7*l**4/12 + l**3/6 + 7*l**2. Let u be j(14). Which is bigger: 1/34 or u?
u
Let l = -12.1 - -12. Let j = 0.2 - 0. Let k = l + j. Which is smaller: -0.02 or k?
-0.02
Let d = 7.7 - 8. Suppose 15*f - 20 = 10*f. Suppose f*l + 3*l = -l. Which is smaller: d or l?
d
Let a = -39 - -42. Let n be 1*(1 + 3) - (a - 0). Is 1.3 at most n?
False
Suppose 5*h = 15 + 25. Let l be 20/30 - (h/(-30))/(-1). Is l < -2.1?
False
Let y(t) = -t**2 + 2*t. Let o be y(4). Let r = -1 - o. Let q = 12 - 7. Which is smaller: q or r?
q
Let j = -314 - -314. Which is smaller: j or -8?
-8
Suppose -55*f = -56*f - 131. Is f smaller than -529/4?
False
Let q = 1398.15 + -1398. Which is bigger: q or -0.6?
q
Suppose -5 = -4*m - 37. Let r be 11/44 - 126/m. Let q = r - 17. Is q at least -2/27?
False
Let y(v) = 9*v - 30. Let x be y(12). Let t be 2 + 0 + x/(-40). Suppose -4*p + 3*p = 1. Which is smaller: p or t?
p
Let l(n) = -n - 4. Let k be l(-6). Let m be (0 + k/(-5))/((-3)/3). Is -1 != m?
True
Let z = 131 - 138. Which is smaller: z or -0.28?
z
Let k(n) = 12*n - 39. Let t be k(3). Is t >= 44?
False
Let o be ((-49)/7)/(-28)*0. Which is bigger: o or -10/31?
o
Let z(x) = x**3 + x**2 - 4*x + 1. Let j be z(-2). Suppose -d - 64 = -j*d. Let s be -2 + (-3)/(-6)*38. Which is smaller: d or s?
d
Let o(g) = -g**2 - 9*g - 7. Let m be o(-8). Let y be (-12)/7 - (-2)/m. Which is smaller: 18 or y?
y
Let r be 1541/(-134) + (-2)/(-4). Which is greater: r or -15?
r
Let k be (-8)/(-644)*(-7 + 0). Suppose 2*q - 5*q + 15 = 0. Suppose 0 = q*y - 6 + 1. Which is smaller: k or y?
k
Suppose 0 = l - x - 2, l + 0*x + 14 = -3*x. Let v(r) = 105*r + 402. Let f be v(-4). Let b = l - f. Which is smaller: b or 17?
b
Let x be 6*(-24)/39 - -3 - -1. Which is greater: x or -2/5?
x
Let n be ((9 - 1)*7/(-14))/11. Do n and -13 have the same value?
False
Let c = 24 - 26. Let w be 0/(c/2 - 0). Let b = 24 - 42. Which is bigger: b or w?
w
Let b(f) be the second derivative of f**3/6 - 7*f**2/2 - 8*f. Let k be b(-10). Is k > -1/5?
False
Let h(k) = -5*k**2 + 5*k + 5. Let p be h(4). Let y be p/2 + (-24)/16. Is y <= -30?
False
Let j(b) = 12*b + 60. Let y be j(-5). Is y bigger than 19/69?
False
Let g = 1358 + -1363. Suppose 5*d = p - 15, 0 = -2*p + p + 3*d + 9. Suppose 2*n - 24 = 3*x + 2*x, p = -x - 5*n - 21. Is x smaller than g?
True
Let s = -8 - -11. Suppose -33 = -6*b + 3. Suppose -m = -b*m. Is s at most m?
False
Let t(l) = l**3 + 11*l**2 + 2*l + 24. Let v be t(-11). Suppose 5*k + 3 = v*k. Which is greater: 2/21 or k?
2/21
Suppose -3*g + v = 114, -3*g + 6*g + 114 = 5*v. Let y(z) = -11*z. Let b be y(-4). Let w = b + g. Which is bigger: 14/3 or w?
w
Suppose 6*d + 60 = d. Let z be -3 - d/(1 - -2). Let t = 1959/13 - 151. Which is smaller: z or t?
t
Suppose 0*f + 5*f = 15, 4*x - f = 109. Which is smaller: 26 or x?
26
Let m be (1306/326 - 1) + 9/(-3). Is m != 0?
True
Let f = -1 - -2. Let w = f + 4. Let r be (1 + 3)*189/108. Is w equal to r?
False
Let q be ((-2)/402)/(9/(-27)*2). Which is bigger: -1 or q?
q
Let z(k) be the second derivative of 5*k**3/6 + 3*k**2/2 + 3*k. Let o be z(-3). Suppose -8*j = -12*j - 48. Is j < o?
False
Let i(k) = -8*k + 249. Let w be i(31). Which is bigger: w or -6/317?
w
Let g be (-9)/(-9)*(-2)/(-12). Let k = -1/2 + g. Is 1/7 less than or equal to k?
False
Suppose 31*j = -8*j + 17316. Which is smaller: 440 or j?
440
Let k = 30.5 + -30. Let r = 52.4 + -52. Which is bigger: r or k?
k
Let l = -848/3897 - 2/433. Let p = 1027/9 + -114. Let s = l - p. Are 1 and s non-equal?
True
Let b = 83 + -76. Let o = -2 + b. Let l = -4 - -2. Which is smaller: o or l?
l
Suppose 4*c + 3*n + 557 = 0, -n = -0*c + c + 138. Let r = c + 142. Which is smaller: r or 4/69?
r
Let m(z) = -101*z**3 - 2*z**2 - z. Let y be m(-1). Let p be 15/y*(-2)/(-3). Let k = 1 - 2. Is p at least as big as k?
True
Suppose -2*c = -3*x - 5*c + 1293, -5*c = -5*x + 2145. Which is greater: 429 or x?
x
Let y(h) = 2*h. Let g be y(-1). Let q be -1*(g/6)/(-1). Let w(s) = s**2 + 4