1)). Is -3 at least d?
True
Let b = 1 + -1. Suppose 0 = 5*q + 2*c + 3, 2*c = -5*q + 5*c - 8. Is b less than q?
False
Let w be (-3)/((-1)/(2/3)). Which is smaller: w or 7/12?
7/12
Let q be 140/(-3) + -1 + 2. Let g = 46 + q. Let p be (2 + -2)/(-3 - -2). Is g less than or equal to p?
False
Let d be -2 + -1 - (-8 - -5). Suppose d = 3*q - 3 - 3. Let m be 1/(-6) - (-26)/12. Is m at least q?
True
Let p be 2/(-5) - (-14)/10. Let s = -828/7 - -118. Is s less than p?
True
Suppose -27 - 153 = -10*b. Do 0 and b have different values?
True
Let k = 3 + 0. Suppose p - 4*p = -k. Let u = -185/4 + 46. Is p < u?
False
Let u = 22 - 22. Which is smaller: u or -1/17?
-1/17
Let z = -1.9 - -6. Let o = -4 + z. Let g = 3 + -2.8. Which is bigger: o or g?
g
Let i be 81/2 + 2/(-4). Which is smaller: 39 or i?
39
Let b be 6/6 - (-11)/(-5). Let p = 32/35 + b. Which is smaller: 0 or p?
p
Suppose 5*a - 21 = -v - 0*v, -a = 4*v - 27. Let x be (v/20)/(9/12). Let g(h) = -h**3 - 11*h**2 - 24*h + 1. Let u be g(-8). Is x > u?
False
Let g be (6*-1)/(-3) + -2. Let y be (-3 - (-1 - g))*-2. Suppose 0*t = y*t - 4. Is 1 at least as big as t?
True
Let a = 24 - 24.5. Which is greater: -3 or a?
a
Let f = -22 - -34. Does f = 12?
True
Let f = 1.94 + 0.06. Let m = f + -1.9. Let b = 4.03 + -0.03. Which is smaller: m or b?
m
Let n = 19 - 21. Which is smaller: n or -4?
-4
Let h(r) = r**3 + 7*r**2 - r - 4. Let o be h(-7). Suppose 0 = -2*g - t - o - 3, 3*t = -3*g - 12. Let k be (3/(-2))/(1/2). Which is greater: g or k?
g
Suppose 0 = -4*n + 12, 3*v + 2*n + 36 = 9. Does -11 = v?
True
Let n = 20 + -13. Let q = n - 14. Which is smaller: q or -6?
q
Let f be (0/(-1 - -4))/(-2). Is -6 smaller than f?
True
Let g = -116/63 + 14/9. Is 1 < g?
False
Let s be (-160)/23 - -6 - 1*-1. Let o(m) = -m**3 + 2*m**2 + 4*m - 2. Let l be o(3). Are l and s equal?
False
Let o = 7 + -8. Which is greater: o or -2?
o
Let v = -158.98 - -162. Let b = v - 0.02. Is b < -0.2?
False
Suppose -4*n + 3 = -5*n. Let l = 2 + -2. Which is smaller: l or n?
n
Let a(d) = -2*d - 9. Let o(j) = -j + 1. Let x(v) = a(v) - o(v). Let s be x(-10). Which is smaller: s or 2/11?
s
Let h(v) = v**2 + 2*v - 10. Let x be h(-5). Is -3 greater than x?
False
Let h be 20/14 + 6/(-14). Is h greater than -1/6?
True
Let i be 0 + -2 + -1 + 5. Suppose -2*v = 2*p + 3*v - 26, -16 = -4*v. Suppose i*h - h = -p. Is 0.1 at most h?
False
Suppose -x - 2*x = 0. Suppose 0 + 5 = k + c, x = -3*k - c + 7. Which is smaller: 0 or k?
0
Let h = -10 - -10. Which is smaller: h or 12?
h
Let s = -4 - -6. Suppose 6 = 2*c - 3*c + y, 9 = -5*c - s*y. Suppose -5*z = -z + 5*g + 23, -4*g = 12. Is c bigger than z?
False
Suppose -6*i + 230 = -4*i. Suppose i = 5*l - 0*l. Suppose -2*n = 3*n + 2*s - 25, 4*s - l = -n. Which is greater: 4 or n?
4
Let q = -7 - -7. Which is smaller: q or -1/13?
-1/13
Let r be (-12)/30 - (-6)/(-10). Which is greater: r or 1?
1
Let f be ((-4)/(-10))/((-2)/120). Suppose 0*g + 3*g = -6, 3*g = 2*c + 6. Let m be (f/(-63))/((-4)/c). Is m at least 0?
True
Let z = 187 + -2993/16. Are 0.1 and z equal?
False
Suppose -2*k + 2*m - 3*m = 0, 8 = 2*k + 5*m. Suppose 0 = 5*j - 66 + 21. Suppose 2*l + 4*z = 5*l - 12, 3*z + j = l. Which is greater: l or k?
l
Suppose -4*y - 273 = -5*i, -2*i + 4*y - 45 = -3*i. Is 53 greater than or equal to i?
True
Let h be -1*(4 + 1 + 0). Is h at most -5?
True
Let z = -1/3 + 11/15. Which is smaller: z or -1.6?
-1.6
Let m = -2 - -3. Let z = m + -1. Let p = -1/71 - 139/213. Is z less than p?
False
Let f = 5 - 3. Let y be (1/8)/(2 + 21/(-14)). Which is bigger: y or f?
f
Let r = 0.6 + -0.1. Let y(f) = f**3 - 15*f**2 - f + 16. Let a be y(15). Which is smaller: r or a?
r
Suppose 0*u + 5*u = 10. Suppose 0 = -3*m + 8 - u. Let x be (1 - m)/(1/1). Which is smaller: -2 or x?
-2
Suppose 0 = 2*s + 8, -s + 54 = 4*q - 26. Which is greater: q or 22?
22
Suppose -2*l = -2 - 2. Suppose -l*d + 12 = -5*d. Let y(z) = -z**3 - 4*z**2 - z - 4. Let n be y(d). Which is greater: n or -1?
n
Suppose -3*c - 21 = -6. Do -7 and c have different values?
True
Suppose 2*n = -3*n - 200. Let s be (4/10)/(n/75). Is s less than 0?
True
Let h = -0.3 - -0.5. Let c = 0.3 - h. Let m = -2 - -3. Does m = c?
False
Let m be 8/(-8)*6/(-9). Which is bigger: m or 3/7?
m
Let i = -664 + 5305/8. Which is bigger: i or -2?
i
Let m = -1/174 + -515/1218. Let q(f) = -f + 10. Let y(k) = -k + 11. Let t(o) = -7*q(o) + 6*y(o). Let v be t(5). Is v at least as big as m?
True
Let s(l) = -l**2 - 10*l - 18. Let g be s(-5). Which is smaller: g or 5?
5
Let q(y) = y**3 - 4*y**2 - 3*y - 2. Let x = 6 + -3. Let p be q(x). Let k be -2 - (p/6)/2. Which is smaller: k or 2/5?
k
Let v = 10 + -14. Is v != -1/16?
True
Let j = -456 - -11398/25. Is j bigger than 0?
False
Let m(y) = -30*y**2 + 2*y - 1. Let x be m(2). Let w be (-4)/18 + x/(-648). Which is smaller: 1 or w?
w
Let p be 2/10 + (-279)/45. Is -3 < p?
False
Suppose 7*v + 24 = 17. Which is smaller: v or 2/19?
v
Let v be (-2)/(-8) + 30/8. Let w be 2/6*v/(-2). Let c = -0.8 - -0.8. Which is smaller: w or c?
w
Let t(q) = -q - 5. Let v(r) = -r**3 - 5*r**2 + 7*r + 5. Let a be v(-6). Let u be (a - (-1)/2)*0. Let p be t(u). Is p smaller than -5?
False
Suppose 8 + 1 = -3*l. Is l at most 3?
True
Let l be (-1)/(-2) - 3/6. Let a = 60 - 57. Which is smaller: l or a?
l
Let j = 116/165 - 10/33. Which is smaller: j or 12?
j
Let x be 12/(-99)*3/(-2). Suppose -4*s - 3*y = -7 - 33, 0 = -3*s + y + 17. Let b be (s + -3)/2 + -2. Is x at least b?
True
Suppose 4*n - 15 = 69. Let x be 2*(-1 - n/(-18)). Let s be 2 - (-4 + 2 + 5). Is s smaller than x?
True
Let q(o) = 4*o**3. Let u be q(1). Suppose u*y + 50 = -y. Is y not equal to -9?
True
Let v = -1.98 - 0.02. Let k(q) = q + 4. Suppose 0 = -3*l - w - 7 - 5, -23 = 4*l - w. Let p be k(l). Which is smaller: p or v?
v
Let u = 2 + -1. Which is smaller: u or -1/7?
-1/7
Let d(k) = k - 5. Let z be d(10). Let m be z/7*(-8)/20. Which is smaller: -3 or m?
-3
Let c = 5.6 - 6. Let s = -3.6 + c. Let g = -3 - s. Which is smaller: g or 2?
g
Let i(v) = -v + 1. Let p be i(7). Let b(y) = -y**3 - 6*y**2 + y + 4. Let g be b(p). Let z = -2/25 + 12/25. Which is smaller: g or z?
g
Let s be -3*(-1)/6*(-12 - -12). Let p be 0 + ((-13)/(-8) - 1). Is p > s?
True
Let l be (-2)/(-7) - 6/21. Let m be l + (2 - (0 - -3)). Let u = -25 + 126/5. Which is bigger: u or m?
u
Let j = 0.29 + -0.29. Which is greater: j or -4?
j
Suppose 0 = -5*b - 69 + 324. Which is smaller: 50 or b?
50
Suppose -1 + 11 = 5*t. Let b(f) = 7*f**t + f**3 - f**2 + 2 - 1. Let m be b(-6). Is -1/4 smaller than m?
True
Let w = -7 + 26. Let s be 2/(-6) - (-76)/(-4). Let f = w + s. Are f and -1 non-equal?
True
Let g(d) = 7*d - 38. Let i be g(5). Is -7 bigger than i?
False
Let u = 0.2 - -0.2. Let q = 0.5 - u. Let h be 4/6*6/24. Is h bigger than q?
True
Let a(q) be the first derivative of q**4/4 + 7*q**3/3 - 9*q**2/2 - 4*q + 1. Let r be a(-8). Suppose -r*u + 2*m + 6 = 0, -2*u + 2*m + 9 = -u. Is -2 < u?
True
Let j = -42 + 41. Suppose -17 = h + 2. Let g be -4 + 5 + 21/h. Is j > g?
False
Let q = 176/5 + -35. Suppose 3*n + 48 = 7*n. Let p be 3/n + 6/8. Which is smaller: q or p?
q
Let s be 4*6/(144/(-246)). Is -83/2 at most as big as s?
True
Let s = -235/87 - -1/29. Let k(i) = 2*i. Let f be k(-1). Let g = s - f. Are -2 and g equal?
False
Let z = -14 - -14.05. Let i = -2.5 - -3.45. Let h = z + i. Are h and -3 equal?
False
Let n(c) = 3*c**3 - c**2 + c - 1. Let s be n(1). Suppose 3*h = -1 - s. Is h equal to 1?
False
Let o = 4.95 + 0.05. Let b = -0.066 + -0.034. Is b less than o?
True
Let u be (-35)/45 - (-2)/(-9). Is 0.42 not equal to u?
True
Let v = 0.24 - 0.34. Is -0.05 at most v?
False
Suppose 3*r - 3*g = -45, -8*r - 2*g - 15 = -7*r. Is -8 <= r?
False
Let a(z) = -z**3 + 4*z**2 - 2*z - 2. Let c be a(2). Suppose 0 = -3*r + 4*r - 2. Is c >= r?
True
Let o = 1.97 + -2. Let n = o - 0.07. Let w be (-8)/10 - 1/5. Is w != n?
True
Let i = 0.08 - 0.08. Let u = 18.58 + -20.6. Let h = u - -0.02. Which is smaller: i or h?
h
Let p = -9248/7 + 1316. Let f = p - -151/28. Which is smaller: f or 1?
f
Let g = -0.48 + 0.38. Is g at least as big as -0.19?
True
Let r = -940 - -91178/97. Which is smaller: 1 or r?
r
Suppose 2*g - 39 = -g. Suppose 5*l - g = 7. Suppose -5*x + x - l = 0. Which is greater: 0.07 or x?
0.07
Suppose 2*j - 5*j = -5*u - 1, -2*j + 4 