et h = -30 - -35. Is 4 at least h?
False
Let q(o) = -o + 9. Let h be q(9). Let a be -5*(h - -1)*-1. Let l be 2/a + 3/(-20). Is 0.1 not equal to l?
True
Let o = -0.425 - 0.125. Is o > 0?
False
Suppose -4*y + 274 = -3*v, -5*v - 537 = 5*y - 92. Let g be 110/v + 4/18. Is g greater than or equal to -1/6?
False
Let v be (-8)/12 + 39/(-9). Let t = 0 + v. Let c = -3 + -3. Which is bigger: c or t?
t
Let x be -6 + 3 - (-11)/3. Is -1/6 equal to x?
False
Let q = 126 - 158. Which is smaller: q or 1?
q
Let v = 3 - -1. Let a be (7/(-3))/((-4)/6). Is a <= v?
True
Let w = -0.82 + -3.18. Is w > -10?
True
Let b = 17 - 15. Let d be (b*12/16)/3. Let y be 0/(-1) - (-1 - 0). Is y greater than or equal to d?
True
Let a(b) = 2*b**3 - 1 + b**3 - 2*b**3 - 5*b**2 + b + 0*b. Let z be a(5). Suppose -5*w = z + 1. Do -2 and w have different values?
True
Suppose c = 4*j - 18, -4 = -3*c - c - 3*j. Which is smaller: c or 0?
c
Let k = 0.19 - 0.09. Let p(b) = 6*b**2 - 1. Let h be p(1). Suppose -8*l - h = -3*l. Which is smaller: l or k?
l
Let x be 6/9 - (-17462)/(-20658). Let t = x - 1/313. Suppose a = 5*a. Is t at most as big as a?
True
Let f be 8/(-14) - (-6)/21. Do f and -1/5 have different values?
True
Let s = 0.2 + 1.8. Are s and -0.3 equal?
False
Let b(x) = 15*x - 3. Let v be (-6)/(-6) + -2*4. Let d(j) = -22*j + 4. Let y(w) = v*b(w) - 5*d(w). Let h be y(-1). Is h <= -5?
False
Suppose -4*f + 4 = -2*f. Suppose -f*g + 1 = -g, -1 = -4*q - g. Which is smaller: q or -2?
-2
Let f = 17 + -18. Which is greater: f or 2/99?
2/99
Let q(t) = t**2. Let s be q(7). Let v be 14/s*(-2)/8. Is v at least 0?
False
Let y(o) = -o**3 - o**2 + 8. Let r be y(0). Suppose 3 = 5*b + r. Let v be (2/(-24))/((-9)/24). Which is smaller: v or b?
b
Let o = -2.95 + -0.05. Let p = o + 2.9. Is p >= -0.11?
True
Let h = -0.5 - 5.5. Let u = h - -4. Let m = 1.1 + -1. Which is smaller: u or m?
u
Let j(k) = 14*k**3 - k**2 + 1. Let t be j(1). Let u be 4/t - (-88)/(-210). Suppose 0 = 5*c + 3 - 8. Are u and c equal?
False
Suppose -3 + 1 = -u. Suppose -u*d + 35 = -7*d. Does -6 = d?
False
Suppose -4 = -8*q + 10*q, -4*b = -3*q - 6. Which is bigger: 1/65 or b?
1/65
Let t = 0.2 + -0.2. Let g = -38 - -39.9. Let y = g + -2. Is t < y?
False
Let d be 1/3*297/(-11). Is d < -9?
False
Suppose 5*v - c = 4*c, -v - 4*c - 10 = 0. Let w be (v/(-4))/((-4)/(-56)). Suppose 0 = -3*m - 1 + w. Is -0.2 < m?
True
Let q = -4 - -11. Which is greater: q or 6?
q
Suppose 2*m - c = 1, 4*m + 0*c = -4*c + 8. Let l be -7 - -5 - -3*m. Which is bigger: 1/19 or l?
l
Let r = 0.22 + -0.26. Which is smaller: -2/3 or r?
-2/3
Let a = 62 - 684/11. Let i = 12 - 10. Suppose i*q = 10, 0 = 4*x - 3*q + 7*q - 24. Which is greater: x or a?
x
Let t = -119 + 1075/9. Do 1 and t have different values?
True
Suppose s = -w + 3, -2 - 2 = -2*w. Let k be 0 + (1 - -1)/12. Is s != k?
True
Suppose 2*j - 6*j = n - 16, 0 = 4*j - 2*n - 4. Suppose -4*p = g + 12, -2*g - 3 = -j*g + p. Suppose -4*q - 5*o - 20 = -0*o, 5*q + 8 = -2*o. Is q greater than g?
False
Suppose -5*a = 4*v - 2*a + 1, 2*v - 2*a = -18. Let w be (9/4 - (-9)/(-36)) + -7. Which is smaller: v or w?
w
Suppose -4*v = 1 - 17. Let o be ((-3)/v)/(4/16). Is -3 < o?
False
Let v = 7.02 + -7. Let i = v + -0.22. Is -0.4 >= i?
False
Suppose 0 = 2*o + 3*o - 5. Let s be (-8)/15*6 - -3. Is s at least as big as o?
False
Let x = -1 - -8. Let o be x/3 - (7 - 4). Is o >= 5?
False
Let v be (-6)/(-1) + 2/1. Let q(p) = -p**2 + 9*p - 7. Let y be q(v). Is y != 2/29?
True
Let a = -13 - -15. Let m be a/(-1) + 6/3. Which is smaller: 2/19 or m?
m
Let y = 2 - 2.1. Let x = -0.2 + 1.1. Let v = y - x. Is v less than or equal to -3?
False
Let j = -41/4 + 213/20. Which is smaller: j or 23?
j
Let w = -38 + 39.7. Let y = w - 0.7. Is y at most 1?
True
Suppose 4*a = t - 13, a + 4 = 4*t - 3. Let c be 5*-12*(-2)/115. Let g = 74/115 - c. Is g at least t?
False
Let l = -0.8 + 1. Do l and 1/2 have different values?
True
Let i = -1.9 + 2. Let r = -4.164 + 0.164. Is i greater than or equal to r?
True
Let h = -1.5 + -2.7. Let m = -4 - h. Let z = -0.1 - -0.1. Which is bigger: m or z?
m
Let r = 17 + -17. Which is bigger: -0.1 or r?
r
Let c = -21.89 + 22. Is c greater than 1?
False
Let g = -97/3 + 32. Which is greater: -2/7 or g?
-2/7
Let i be ((-2)/2)/((-4)/((-10)/5)). Which is bigger: i or -2?
i
Let y = 2687/9 + -299. Suppose 7*k - 4*k - 6 = 0. Suppose -5*m + 9 = b, 3*m + k - 6 = -2*b. Is b at least y?
False
Let a = -19 - -2. Let y = 11 + a. Is -5 at most y?
False
Suppose -z = -v - 6*z + 7, 0 = 3*v - z - 37. Let s = v - 16. Let h(j) = j - 1. Let p be h(-1). Is s greater than p?
False
Suppose -t + 2*t - 4 = 0. Suppose 0*f - 4 = -4*k + f, 0 = t*k + 4*f - 4. Let u be 0*(-1)/(k + 0). Which is smaller: u or -2/7?
-2/7
Let r = 691.94 + -679. Let k = -13 + r. Which is greater: k or 0.1?
0.1
Let r be 2/3 + (-7 - 204/(-18)). Which is smaller: 7 or r?
r
Let k(q) = q**2 - 18*q + 91. Let a be k(9). Let l(y) = 2*y + 2. Let p be l(4). Is p greater than a?
False
Let u = -1 - -1. Let j(a) = -a**3 + 6*a**2 - a + 2. Let k be j(6). Is u not equal to k?
True
Suppose 0 = 2*w - 8. Let v be (2/(-3))/(2/(-9)). Is v at most as big as w?
True
Let j(m) = m**2 + 9*m - 6. Let p be j(-10). Suppose -2*v - 3*d = -8 - 0, 5*d = 0. Is v at least p?
True
Suppose 24*s - 22*s = 0. Which is smaller: s or 12/17?
s
Suppose 4*z = -12, 3*m + 5*z = -2 + 8. Let u be m*-3*2/(-6). Let f be 16/u + (-2)/7. Which is smaller: f or 3?
f
Let a = -15 - -29/2. Let f = 4.3 - 4. Is f <= a?
False
Suppose -3*d = 2*d + 25. Let f = -6 - d. Let m be (f/4)/(3/4). Is 1 less than or equal to m?
False
Suppose 4*g + 2 = 10. Suppose -2*p = -h - 0 + 1, 2*h - g = 3*p. Which is greater: p or -3/7?
p
Suppose 4 = f + 3. Is f at most as big as 0.1?
False
Let z = -1 - 0. Let r = 6 + z. Suppose -5*d - r + 0 = 0. Which is smaller: d or -2/11?
d
Let a be (2 - 1) + 4 + -2. Let w = 3 - a. Is w >= 1?
False
Suppose r = -16 - 2. Do -22 and r have different values?
True
Let o be ((-28)/5)/(7*6/210). Is o at most as big as -28?
True
Let z be 1*(-1 + -3)*1. Do z and -2 have the same value?
False
Suppose 3*y + 5*p + 1 = 0, -4*y - 5 = -3*y - 3*p. Suppose -2*u = -0*u + 2. Which is greater: u or y?
u
Let t(u) = -6*u**2 + 2*u. Let z be t(-2). Let j = z - -83/3. Which is smaller: -1 or j?
-1
Let i be (-2)/2*0/(-2). Let x be 2 - (i + 1/1). Let y be (x/3)/(1/(-3)). Which is greater: 2/15 or y?
2/15
Let z = -31 - -46. Suppose z - 12 = 3*x. Which is bigger: -1/8 or x?
x
Suppose -4*u + 5*y = 3*y + 4, 4*y = 3*u - 2. Is 16 != u?
True
Let x be 9*(-1 + -2 - -2). Which is greater: x or -1?
-1
Let p = 10 - 11.92. Let y = p + -0.08. Let l = 2 + y. Does 0.08 = l?
False
Let s = 8 - 11. Let p = 5 + s. Which is smaller: -0.1 or p?
-0.1
Let m = -21.2 + 21.3. Suppose -f - 12 = -5*f. Which is smaller: f or m?
m
Suppose 0 = -3*n + 3*q, 0*q - 6 = n + 5*q. Which is greater: n or -2?
n
Let k = 1 - -1. Let z be (-85)/(-15) - (-2)/6. Let f be ((-4)/z)/((-20)/15). Which is smaller: k or f?
f
Suppose 2*o = -t - 0*t, 9 = t - o. Suppose -3*k - t = -5*v - 1, 3*v = 3*k + 3. Which is greater: v or 2/59?
v
Let q = -4 + 4. Suppose -32 = -5*k + k + 4*n, 2*k - 4 = 5*n. Suppose -o - 3*o + k = 0. Is o at least q?
True
Let k = -460/3 - -152. Let h = -13 - -16. Suppose -2*i - 5 + h = 0. Is i greater than k?
True
Let q = -39 - -39.21. Let n = 1.79 + q. Is n equal to 1/3?
False
Let i = -0.03 - 0.07. Is i at most 3/5?
True
Let v = -18 - -17. Suppose 2*b = -b. Which is bigger: v or b?
b
Let y = 37/4 + -43/4. Let s = 8 + -9. Are y and s unequal?
True
Suppose 1 + 5 = q. Is 1 smaller than q?
True
Suppose 0 = m - 2 - 2. Suppose -3*t - m*u = -9, 3*t + 2*u + 0*u = 3. Is -1/4 at most t?
False
Suppose -2*s = -4*w - 4*s - 4, 0 = 5*w + 4*s + 8. Let n = 5/2 + -2. Is w not equal to n?
True
Suppose 0 = 2*y - 2*m - 10, -y - 2*y + 15 = -5*m. Suppose 3*a = y*d - 3 - 4, -3*a - 10 = -2*d. Are -4 and a unequal?
False
Suppose 3 = -q, 4*q - 1 = v - 10. Suppose 3*j - 5*j = 0. Let r = j - 2. Is v > r?
False
Let b = -1/192 - 283/960. Which is greater: b or 1?
1
Let y = 1 - 1. Suppose i - 6 = u, y*i - u = -5*i + 10. Suppose i + 3 = 4*n. Which is bigger: -2/5 or n?
n
Let y(k) be the first derivative of -k**4/4 - 2*k**3/3 - 3. Let p be y(-1). Let v = 2 + p. Which is smaller: v or -1/6?
-1/6
Let z(b) = -b + 4. Let r be z(-8