lues?
True
Suppose -4*b + 2*q = q - 61, 0 = -2*b - 4*q + 8. Let j be (-1 - 0)*10/b. Is 0 at most j?
False
Suppose -15*u = -18*u + 12. Let k be (u/6)/(2/(-24)). Which is bigger: k or -10?
k
Let a(w) be the second derivative of -w**5/20 - w**4/3 - w**3/6 + 3*w**2/2 + 2*w. Let t be a(-4). Suppose 3 = -o + t. Which is greater: o or 3?
o
Suppose 0 = -o - 3*o + 5*y + 3, 0 = -5*o + 4*y - 3. Does o = -3?
True
Let g(r) = -2*r**2 - r - 2. Let m be g(-1). Let a be ((-20)/15)/(m/(-9)). Suppose 0 = 2*k - 5*d - 19, -2*k - 4*d - 26 = -0*k. Is a greater than or equal to k?
False
Let l(r) = -r + 4. Let y be l(3). Suppose o + 0 = h + y, 5*h + 5 = 3*o. Is h not equal to 0?
True
Let s(u) = -7*u + 3. Let y be s(2). Is 2/3 at most y?
False
Suppose 3 - 8 = 2*n + x, -5 = -5*n + x. Suppose 0*b - 3*b = n. Is b at most 0?
True
Let l = -23 + 25.3. Let i = -0.7 - l. Which is greater: 1/3 or i?
1/3
Let g = 0.107 + -84.107. Let f = g - -78.9. Let m = -5 - f. Is m <= 1?
True
Suppose 4*d - 8*j = -4*j, 4*d + 5*j + 27 = 0. Is -7 < d?
True
Let x be 6 - (-1)/2*-4. Let z = -3 + 3. Let p = z - -2. Do x and p have different values?
True
Suppose -3*m - 15 = -0*m. Which is smaller: -2 or m?
m
Let r be -1 + 3 - (-1 - 0). Suppose -q - 2*l - 16 = -r*q, 3*l + 6 = 0. Let w(p) = -6*p. Let b be w(-1). Is b greater than q?
False
Let y = -38 - -37. Which is bigger: 1/52 or y?
1/52
Let y = -148.9 - -149. Is 85 > y?
True
Let j(x) = -6*x**3 - x**2 + 1. Let v be j(-1). Let b be (5 - v)*14/2. Is b equal to -8?
False
Let w = -5 + 5. Let m = w + 2. Let j = -1.2 + 1. Do m and j have the same value?
False
Let a = 0.04 - 0.54. Let h = a - -0.3. Is h at most as big as 1?
True
Let t be (-1)/3 + 7/21. Is -2/247 less than t?
True
Suppose -3*n + 2 = -3*b + 29, b = 1. Let c = -4 - n. Let p = -5 + c. Which is smaller: -3/4 or p?
p
Let k(f) = f**2 + f + 2. Let p be k(0). Let u be p/((-4)/((-8)/2)). Is u < -0.3?
False
Suppose -3*l + u = 5*u - 14952, 3*l - 5*u = 14979. Let h be l/(-90) + 8/36. Let j = -55 - h. Is -1 less than j?
True
Let l be 1/4 + 90/24. Suppose -14 - 2 = -l*z. Which is bigger: z or 5?
5
Suppose -6 - 3 = 3*s. Which is smaller: s or -2?
s
Let i be ((-2)/(-6))/((-1)/3). Let v be 0/(i*(-1 + 3)). Let w = -8/3 - -61/24. Are v and w unequal?
True
Let n(q) = -q**2 + q + 5. Let k be n(0). Are k and 8 non-equal?
True
Let s(z) = -2*z + 1. Let d be s(-1). Suppose 3*q - 20 + 5 = -d*h, -15 = 3*h - 3*q. Let i = -316/2295 - -2/459. Is i greater than h?
False
Let n be 16/32 + (-14)/4. Is -2 greater than or equal to n?
True
Suppose 6 = -2*y - 2*k, -k + 2*k + 4 = 0. Let s be 0*y/(-2)*-1. Let b = 30/11 - 139/55. Is s greater than b?
False
Let g be (-30)/45 + (-26)/24. Is g less than -1?
True
Let i(o) = o - 2. Let x be i(4). Suppose x*c + 3*c = -10, -3*u - c = 8. Let m be ((-1)/2)/(3/6). Which is greater: u or m?
m
Let l = -89935/139 - -647. Let k = 292/973 + l. Suppose 5*m - 4*m = 0. Which is greater: m or k?
k
Let o be (1/(-2) + 0)*-6. Suppose -5*r + 6 = -9. Suppose -2*i - 3 = -r*i. Is i at most as big as o?
True
Suppose 5*v = -2 + 12. Let c be 6/4 - 2/4. Which is greater: c or v?
v
Let p be (3/(-3) - -1) + -4. Which is bigger: p or -16/3?
p
Let x = 2/59 - -45/413. Suppose -j - 1 = -2*j. Is j >= x?
True
Suppose -c = -5, a = c + 2*c - 12. Let f = 4 - 2. Let w = f - a. Is -1 bigger than w?
False
Let w be 2/12 + 1667/(-90). Let b = 94/5 + w. Let x(y) = y**3 + 8*y**2 - y - 9. Let n be x(-8). Is n != b?
True
Suppose 0 = -5*m - 14 - 26. Let z(h) = -h**2 - 7*h + 7. Let c be z(m). Do c and -1/4 have different values?
True
Suppose -4*t + t = -9. Let g be 174/34 - (-4)/(-34). Are t and g equal?
False
Let h = -12281/8 - -1540. Which is smaller: h or 4?
4
Suppose 3*s + 75 = -4*r - 2*s, -s - 120 = 5*r. Let y = r + 39. Let z be 3/(-21)*y/12. Which is smaller: z or -1?
-1
Let n = 13 - 13. Let o = 3.1 + -2.2. Let v = o - 1. Which is bigger: n or v?
n
Let f = 0.03 + 0.17. Let l = -7 + 7.3. Let n = l - f. Which is smaller: 2/5 or n?
n
Suppose 5*i = 3*i. Let j be (-9)/(-252) - 4/14. Is i bigger than j?
True
Let t be (0 + 0)/(1 - 0). Are t and 7/10 equal?
False
Let j = 11 - 6.9. Which is bigger: j or -0.1?
j
Let a = 5.1 - 5. Let s = a - 0.14. Let c = -1.96 + s. Which is bigger: c or 0?
0
Let k = 18 - 16. Suppose -k*c + 4 = -0. Which is smaller: c or 14/5?
c
Let i = -137/3 - -46. Let a = -2 - -3. Which is smaller: i or a?
i
Suppose 0 = -2*w - 0 + 2. Suppose -i - w = -2*i. Which is bigger: i or 0?
i
Suppose -4*t + 2*v + 7 = -45, -2*v = 0. Let i = 93/7 - t. Do i and -0.05 have the same value?
False
Let u = -15007/22 + 682. Let c = -29/110 + u. Which is smaller: c or 1?
c
Suppose o - 1 = 3. Let b(k) = k + 10. Let c be b(-5). Which is smaller: c or o?
o
Let l = 2/13 - -46/39. Which is greater: -6 or l?
l
Let b = -26 - -9. Let x = -28 - b. Which is bigger: -12 or x?
x
Let p = -152 - -148. Which is smaller: p or 0.24?
p
Let x be -4*3/12*-2. Let t be (1 + -1)*1/(-2). Let m be x/(2 - 4)*t. Is m equal to 1/2?
False
Suppose -27 = 4*q - 7, -4*q - 40 = -k. Is 77/4 at least k?
False
Suppose -5*q - z + 9 = 0, -4*q = -3*q + z - 1. Let f = -321 + 2251/7. Is f greater than q?
False
Let v = -2.98 - -0.98. Which is greater: -3 or v?
v
Let h be (8/10)/((-1)/35). Let d = -16 - h. Let u be 1*2/d*-1. Which is greater: u or 1?
1
Let m be (-3)/(-2)*(-8)/6. Let n = -1/8 - 9/56. Which is smaller: n or m?
m
Let w be (-3 - -1)*2/(-4). Which is greater: 2 or w?
2
Let z = -36 + 28. Is 1 greater than or equal to z?
True
Let z = 19 + -18. Which is smaller: z or 0.12?
0.12
Suppose t - 5*i = -2*t + 76, 5*t - 106 = -2*i. Is 24 equal to t?
False
Let s(i) = i + 13. Let z be s(-10). Let w = z - 5. Let u be (-3)/(-2)*1/(-3). Which is smaller: u or w?
w
Let z = 0 + 1. Let w = 43 + -47.3. Let d = -4 - w. Which is smaller: z or d?
d
Let z(p) = p**2 - 7*p - 11. Let g be z(7). Which is smaller: -12 or g?
-12
Let i be (-8)/24*(8 + 1). Is i not equal to -0.1?
True
Suppose -3*t + 3 = -n, -t + 3 = 2*t + n. Which is bigger: -1/10 or t?
t
Let a = 11.52 - 7.6. Let l = -4 + a. Which is greater: -2 or l?
l
Let o = -1 + 1. Let x = o + 9. Let g be (0 + 1)*(x - 4). Is 4 at most as big as g?
True
Let k = -20 - -26. Let l = k - 6. Which is greater: l or -1/7?
l
Let w(y) = -y**2 + 5*y + 7. Let d(a) = -2*a**3 - 4*a**2 - 4*a - 2. Let v be d(-2). Let h be w(v). Is h at most 1/3?
False
Suppose -116 = -d - 0*d + 2*f, 5*d - 536 = -f. Let h be 3/d + (-1)/4. Which is smaller: -0.1 or h?
h
Let r(v) = v**3 + 3*v**2 - 3*v - 9. Let a be r(-4). Is a greater than -11?
False
Let z = -4 - -8. Suppose -3*o + 13 = z. Suppose -6 + 3 = -o*l. Which is smaller: 1/10 or l?
1/10
Suppose -5*i + 2*q = -14, -i - 2*i = 2*q - 2. Suppose -3 = -4*k - p, -4*k + i*k + p = 3. Suppose k = -4*l + l. Is 1 <= l?
False
Let k = -5 + 9. Suppose -6 = -k*l + 2. Do l and 2 have different values?
False
Let s(p) = 4*p - 15. Let n be s(7). Is 13 less than n?
False
Suppose 10*n - 330 = 7*n. Which is smaller: 111 or n?
n
Let l = -0.03 - -12.03. Let o = l - 13. Which is bigger: o or 1.1?
1.1
Suppose 0*c - 12 = -3*c. Suppose 6*b - 2*b = 4*j + c, 5 = -5*b - 5*j. Let i = -1 - b. Is -2/7 > i?
True
Suppose 2*a + 4 - 10 = 0. Suppose -5*p + 4*m - 25 = -a, 13 = p + 5*m. Let g be -1*(0 + 0/2). Which is smaller: p or g?
p
Let g be -1 + (-8)/((-2)/1). Suppose 0*r - 15 = g*r. Suppose 4*a + 4 = 3*a. Is a at most r?
False
Let h be (-1 - -2)*2 + -23. Let t be (-12)/(-7) - 6/h. Suppose -4*y = -5*u - 3*y - 17, t*u - 4 = -5*y. Is u greater than -2?
False
Let d = 0.3 - 0.3. Which is bigger: d or -0.24?
d
Let j be 2/(67/(-17) - -4). Is j > 34?
False
Let j be (4/3)/(6/9). Let q be (-1)/(j/((-6)/1)). Is 3 less than or equal to q?
True
Let o(h) = h**2 - 11*h + 2. Let p be o(5). Let m = p - -20. Let k be (-12)/m*28/6. Which is greater: 8 or k?
8
Let z(t) = 2*t**2 - t - 2. Let f be z(-1). Are f and -2/13 equal?
False
Suppose -5*v - 7 = 28. Let s = 3 + v. Let w = s + 11. Does 7 = w?
True
Let h be (-2)/(-56) - 40/140. Which is smaller: 53 or h?
h
Let l = -27/14 - -3/7. Which is greater: -3 or l?
l
Suppose -9*d + 112 = -d. Is d less than 14?
False
Suppose -2*v - q - 11 = -1, 4*v - 5*q = -6. Let i be (-2)/9 - 100/36. Is v less than or equal to i?
True
Let n = 0.5 + 2.5. Let c = 73 + -76.3. Let w = n + c. Which is bigger: w or 1?
1
Let j(h) = 7*h - 23. Let w be j(4)