qual?
True
Let o be 2 + (0/3 - 2). Let b = -6 + 4. Which is smaller: b or o?
b
Suppose -8 = -2*i + 5*z, 2*i + 16 = 6*i - 4*z. Suppose 2*d + 3*b - 16 = 0, -2*d + i*d - 2*b + 4 = 0. Are d and 6/11 equal?
False
Let q be (-1)/44*-8 - 10/55. Let p(r) = -2*r - 6. Let s be p(-4). Let x be ((-36)/(-22))/s + -1. Is x at least q?
False
Suppose g - w - 10 = -2*g, 3*g - 3*w = 6. Which is smaller: g or 11?
g
Suppose -5 = -5*q - 0*q. Let t be -4 + q - (-18)/6. Do -2/15 and t have the same value?
False
Let k(g) = g**3 + 11*g**2 + 16*g + 5. Let i be k(-9). Is 22 less than or equal to i?
True
Let n(t) = 3*t + 1. Let d be n(-4). Let l = -19 - d. Which is smaller: -7 or l?
l
Let a = -1.7 + 0.9. Let w = -6.8 - a. Let x = w - -7. Is x equal to 3?
False
Let m(o) = -o**2 - 16*o - 8. Let z be m(-14). Let h = -16 + z. Which is bigger: 3 or h?
h
Suppose 0 = -z + 4, -3*c = -3*z + 22 - 4. Is c greater than or equal to -28/9?
True
Let p = -13 + 21. Let g = -8 + p. Is 1 > g?
True
Let q = -5.95 - -6. Is -1/4 != q?
True
Let h = -2 - -1. Let p = 1950/7 + -279. Which is greater: h or p?
p
Let x(u) = -u - 8. Suppose 2*p = -5*v - 34, v - 3*p + 1 = 2*v. Let h be x(v). Is h > 0.9?
False
Let m be 8/6*9/6. Suppose -f = m*f. Let q = f - 0. Which is smaller: -2/7 or q?
-2/7
Let z be 1/3*3/(-4). Let v = -50.4 + 55. Let c = -5 + v. Which is bigger: z or c?
z
Let i be (-8)/12 + (-4)/(-6). Let j(n) = n**2 + 2*n. Let o(g) = -g - 1. Let m(v) = j(v) + o(v). Let l be m(i). Which is bigger: 2/5 or l?
2/5
Let z be -3 - (1 - 2) - (0 - 2). Is -1 at most z?
True
Let k = -1.051 + 0.051. Let g = -0.01 + 0.01. Which is smaller: g or k?
k
Let z = 2 + -3. Let n be 0 - (-2 - 0/(-3)). Let u be n - 3/(-5)*-3. Which is smaller: z or u?
z
Let f = -6233/67 + 93. Is f greater than or equal to -1?
True
Let v = -3 + 6. Suppose 0 = -v*c + c - 2. Let y = 44/245 - -1/49. Which is bigger: y or c?
y
Let y be (-140)/(-416) + (-1)/(-8). Is y at least 1?
False
Suppose 2*r = -r + 6. Let z be (r/1 - 1)*0. Suppose -3 = -0*y + 3*y. Is y less than or equal to z?
True
Let n = -678/7 + 97. Which is greater: n or -1?
n
Suppose 0 = 13*a - 10*a + 3. Let j be a/7 + (-11)/(-77). Is 4/23 equal to j?
False
Let z be ((-1)/(-9))/(3/(-9)). Is z less than -1/28?
True
Suppose 0 = -4*z + 2*b - 3*b - 12, -5*z - 36 = -4*b. Suppose 330*n + 21 = 323*n. Are n and z nonequal?
True
Let n be 1866*((-3)/24 - 0). Let l = n - -232. Which is bigger: l or -1?
-1
Let v be 4/(2 + 0) - 0. Let s = 6 + -4. Suppose 2*k = t - 3 + 4, -s = v*t - k. Which is bigger: -2 or t?
t
Suppose 8 = 4*j - r - r, -4*j - 4*r + 8 = 0. Suppose -2*v - 3 = j*a + 5, 3*a = 5*v + 20. Let c = 1.1 + -1. Is a <= c?
True
Let k = 82 + -63. Is 19 < k?
False
Let j = 7009/19 + -369. Let u be 1*(-2)/(-6)*3. Do u and j have the same value?
False
Let l(w) = 2*w + 4. Let f be l(4). Let g = 15 + -9. Suppose -2*p = 2*r - 6*r - g, 2*r + 2*p + f = 0. Is r not equal to -4?
True
Let l be 152/16 - (-3)/2. Let n be ((-3)/l)/((-9)/(-6)). Which is smaller: -1 or n?
-1
Let d = -5 - -1. Let p = d + 2. Let y be (1/(-6))/(p/(-4)). Which is smaller: y or -1?
-1
Let b be (-77)/99 - 4/18. Suppose l - 6 = 3*l. Which is greater: b or l?
b
Let v(a) = -5*a**3 + 0 + 4*a**3 - a**2 - a + 2. Let u be v(0). Let t be (-4)/6 - u/6. Do t and 0 have the same value?
False
Suppose q - 4*z + 10 = -q, -3*z + 9 = -3*q. Is q equal to -2/55?
False
Let i be (-32)/(-12) - (-1)/3. Suppose -i*t = 2*t - 15. Suppose n = -2*q + 5, t*q = -q - 3*n + 15. Which is smaller: q or -1?
-1
Suppose -5*v = 5*r - 40, 3*v - 4*v = -5. Let q be r + -1 + 30/(-5). Let d(u) = -u**2 - 3*u + 3. Let f be d(q). Which is bigger: -2/5 or f?
-2/5
Let l be -2 + 5 + (-18)/1. Let h be -1 + 27/l + 3. Which is smaller: -1 or h?
-1
Let a = 0 + 5. Let w = 5 - a. Which is greater: -1 or w?
w
Let u = 724 - 6530/9. Does u = -2?
False
Let o = 2.05 + -0.05. Let m = o + -1.8. Is m < -1?
False
Let u = 0.14 - 14.14. Let t = u + 17. Does 1/4 = t?
False
Let r(q) = 6*q. Let t be r(1). Suppose 3*k - 2 = 3*i + 4, 0 = -3*i + k - t. Suppose 2*x + 0 + 2 = 0. Which is greater: i or x?
x
Suppose 2 + 63 = 5*f. Let o = f + -12. Let r = 0.2 - 2.2. Which is smaller: o or r?
r
Let p = 11 + -9. Suppose 21 = p*k + y, -2*y - 1 - 5 = -2*k. Which is greater: k or 9?
9
Let s(m) = 2*m + 6. Let d be s(-4). Let i = 3 - d. Suppose -k + i = 6. Is k not equal to -1/2?
True
Let s(p) = p - 8. Let r be s(8). Suppose 5*k = -10 - r. Which is smaller: -5/6 or k?
k
Suppose z + 3*z = 0. Suppose 0*p - 4*p = z. Suppose -4*s + p*s + 28 = 0. Is 6 > s?
False
Let o be 0 + (2 + -4 - -2). Which is smaller: 4 or o?
o
Let i = -18/19 - -199/190. Which is greater: 1 or i?
1
Suppose 0 = -20*t + 9*t + 55. Let b be 0 + 2 + -1 + 1. Which is smaller: b or t?
b
Suppose -5*n + 20 = -0. Suppose 0 = n*l + 1 + 3. Are l and -1/4 equal?
False
Let h be (-76)/(-54) + (-16)/12. Which is smaller: h or 0?
0
Suppose -b - 1 = -5. Suppose b*o = o - 15. Suppose -3*d - d - 8 = 0. Are o and d nonequal?
True
Suppose -q = -6*l + l + 36, -4 = -q. Suppose -13*z + l*z = -60. Is z at most as big as 11?
False
Suppose -n = -3*x + 16, -2*x + 8 = n + x. Is -0.2 greater than n?
True
Let i = -8 + 15/2. Let b be (-4)/6 - 8/(-3). Suppose b*c + 0*c = 0. Is c greater than or equal to i?
True
Let v = -13 - -12.7. Let n = 25.2 - 25. Which is smaller: n or v?
v
Let d = -2/161895 - -22503643/19265505. Let x be -2 + ((-147)/51)/(-1). Let q = d - x. Is -0.1 < q?
True
Let o(x) = -x**3 - x**2 - x + 3. Suppose 0 = -y - 5, -4*y + 9*y = -3*s - 25. Let n be o(s). Suppose 4*q + 6 = 2*u, q + 7 = n*u + 3. Is q greater than 0.4?
False
Suppose -11*m - 65 = -208. Which is greater: m or 15?
15
Suppose 11 + 3 = 2*l. Let i be 8 + 1 - 21/l. Is 5 less than i?
True
Let m = -236 + 234. Let j = -1 + 1. Are j and m unequal?
True
Suppose 0 = -k + 5*k - 4. Let o be -2 + -3 + 3 + k. Let m = -2740/9 + 304. Which is bigger: o or m?
m
Let a = -2 - -2. Let h = -0.2 - 3.8. Let p = -3.9 - h. Is a less than p?
True
Suppose -3*z - 5*x + 33 = 0, 55 = 5*z - 0*z - 5*x. Suppose 5*l = 2*m + 17, 0*m + m = 3*l - z. Let q be m/14 - 12/(-56). Which is bigger: q or -2?
q
Let t = -6 - -4. Let a be (-4)/(-14) - 180/42. Which is greater: t or a?
t
Let c(f) = 3*f**3 - f**2 + 2. Let v be c(-1). Is v <= -12/7?
True
Let x = -6 - -1. Let m be (1/x)/((-4)/(-10)). Which is bigger: 1 or m?
1
Let h(k) = k**3 + 2*k**2 - 3*k - 3. Let d be h(-2). Let t(z) = d - 1 - z + 2. Let i be t(6). Is i greater than or equal to -2?
True
Suppose 5*o - 18 = -s - 7, 5*o - 5 = 5*s. Let k = s + -5. Let j = 4 + k. Which is smaller: -1/9 or j?
-1/9
Let h be 1/(1 + 1992/(-2006)). Let a = h + -143. Let j be ((-25)/30 + (-2)/3)/3. Is j smaller than a?
True
Let g(j) = j**2 + 7*j - 1. Let x be g(-7). Let h = x + 3. Let w be 38/8 - h/(-8). Which is smaller: 6 or w?
w
Let k(y) = 2*y**2 + 2*y + 1. Let s be k(-2). Let c(f) = -f**2 + 4*f + 4. Let o be c(s). Let j = 251 - 3265/13. Which is smaller: j or o?
o
Let d be 0*(0 - 1/1). Suppose -u + 2*u = 2*t - 2, t - u = d. Let q be (t/(-3))/(1 + -3). Which is bigger: 0 or q?
q
Let o be 0 - -2*1 - -2. Let v(u) = -u + 4. Let l be v(o). Let j be ((-8)/4)/(8/(-2)). Which is greater: j or l?
j
Suppose -1 = -17*m + 18*m. Does m = 2/39?
False
Let n(v) = -3*v - 7. Let a = 5 - -1. Let l be n(a). Let b = l - -51/2. Which is smaller: 2 or b?
b
Let r = 41/528 - 1/66. Suppose -2*a + 8 = -5*n, -4*n + 3*a - 12 = -7*n. Do n and r have the same value?
False
Let a be 8/2 + (-3 - 1 - -11). Which is bigger: 10 or a?
a
Let l = -115 - -225/2. Let n be 10/(-4) + 1/(-2). Does l = n?
False
Let w(a) = -a**2 + 11*a - 13. Suppose -19 = -3*i + 8. Let f be w(i). Which is bigger: f or 1/2?
f
Let b(y) be the third derivative of -y**5/60 + y**4/24 + y**2. Let x be b(1). Let o = -18 + 18. Is o >= x?
True
Let j be 2/(24/3) + 0. Is -1 bigger than j?
False
Let u be 4/18 + 88/(-216)*3. Is u != 0?
True
Let w = -9 - -6. Let y = 5 + w. Suppose y = 2*o - 4*o. Is 1 greater than o?
True
Let a(z) = z**3 - 3 - 4*z**3 - 3*z**2 + 4*z**3 + 4*z. Let r be a(2). Let u be 2/4 + 5/(-18). Is u != r?
True
Let m = -8 - -20. Let y = 14 - m. Let g(n) = -n**3 - 6*n**2 + 2. Let d be g(-6). Do y and d have the same value?
True
Let w be (-5)/(-2) + 1/(-2). Let c = 4 + -3. Suppose -c - 3 = w*p. Do p and -1 have different values?
True
Let g(h) = -8*h**2 - 7*h - 7.