qual?
False
Suppose 3*m + 3*t = -7 - 5, 2*m + 16 = 2*t. Let h = m + 4. Is -3 bigger than h?
False
Let f be 4*(70/8)/(-7). Are f and -5 nonequal?
False
Suppose l - 14 = 5*j, -2*j = 4*l - 3*j + 20. Let r be (-20)/l + (-16)/(-24). Is 1 at least r?
False
Let b be 0 + 4 - (-1 + 2). Suppose -b*h + 4 = h. Is -1/11 at most as big as h?
True
Let j = 2 + -1.9. Let r = 58 + -57.7. Is r bigger than j?
True
Let o = 2 + 2. Let t(a) = -11*a - 4. Let k be t(o). Let v be k/22 - (1 - 3). Which is greater: 2 or v?
2
Let k be 132/21 - (-2)/(-7). Let h = 0 + k. Which is greater: h or 0?
h
Suppose 3*v = -3*m + 24, 5*v - 2*m = m + 32. Let z = v - 6. Suppose -a = -2*a + z. Is 1 greater than a?
False
Suppose 6*i - 16 = 68. Suppose 2*f + i = 3*f. Which is smaller: f or 13?
13
Let x = 75 + -221/3. Let g(u) = -u**3 - 3*u**2 - 2*u + 2. Let j be g(-2). Is j less than x?
False
Let r(u) be the third derivative of -u**5/30 + 3*u**4/8 - u**2. Let a be r(6). Let s be a/15*2/(-6). Which is smaller: s or 4/3?
s
Let l = 0.45 + -0.05. Let k = -0.5 + l. Let n = k - -1.1. Which is smaller: n or 0.1?
0.1
Let k be ((-1)/(-14)*-4)/(-4). Which is smaller: 0 or k?
0
Let t = -0.3 + 0.1. Let a = 6200 + -31652/5. Let z = a + 130. Is z less than t?
True
Let d be -1 - 1*7/(-5). Let m = 15 + -13. Suppose 3*p + 20 = l - 2*p, m*l - 5*p = 20. Is d smaller than l?
False
Suppose -n - 3*n = -4*r - 4, 4*r - 5 = -5*n. Let d = -8 + 14. Let v be (4/d)/((-26)/6). Is v != r?
True
Let h(j) = -2*j + 5. Let n be h(2). Suppose 5*m - 4*t - 21 = 0, -5*m + 6 = 4*t - 23. Suppose -4*k = n - m. Do 1 and k have the same value?
True
Let i = -0.04 - -0.03. Which is greater: -0.1 or i?
i
Suppose d - 105 = -4*d. Let u be (-18)/(-14) + (-6)/d. Let m be 3/(-5)*2/(-3). Which is smaller: m or u?
m
Suppose -20 = 3*l - 7*l. Suppose l*h + 1 = -2*w, 2*h - 2*w + 6*w - 6 = 0. Let i = -6 - -4. Is h at most as big as i?
False
Suppose -9*v + 12*v = 12. Let x = -43 + 139/3. Which is greater: x or v?
v
Suppose -2*q - b - 144 = 0, 2*b + 166 = 5*q + 544. Let r = -366/5 - q. Is 1 <= r?
False
Let q = 2.3 + 0.7. Which is smaller: -2 or q?
-2
Let u be (6 + -4)*(-2)/(-8). Which is greater: 2 or u?
2
Suppose 14 = 3*w + 2*r, -3*w + 4*w + 2*r - 10 = 0. Let h = 2/143 - -1279/572. Let b = h - w. Which is smaller: -2/5 or b?
-2/5
Suppose 2*s - 1 = 3*s. Let h = s + 1. Which is smaller: h or -5/4?
-5/4
Suppose -5*k - 3*s + 3 = 0, 0*s - 18 = -2*k + 3*s. Let c be (-6)/21 - (-6)/21. Let u be 5*(c + (-3)/(-5)). Are k and u equal?
True
Suppose 0 = -5*q - c + 72, 0 = 2*q - 5*q - 4*c + 33. Let s be -87 + (-21)/q + 1. Let k = s - -87. Which is bigger: k or -1?
k
Suppose 16 = -5*z - 4. Let q = 3 - 3. Let a = -1 + q. Are a and z nonequal?
True
Let d(y) = -2*y - 9. Let f be d(-7). Let c = f - 8. Let u = c - -3. Which is bigger: 1/2 or u?
1/2
Let g = 27.1 + -25. Let r = g - 2.1. Which is smaller: 8 or r?
r
Suppose -r + 0*r + 18 = 4*f, -5*f + 29 = -2*r. Let p be (r/(-9))/((-1)/6). Let i be -1 - -1*(-1 + 2). Which is bigger: i or p?
i
Let j be (-9*(-4)/6)/(-1). Let s be 3 - -4*3/j. Which is smaller: -1/4 or s?
-1/4
Suppose -2*h - 3*h - 110 = 0. Let u be 1 - 4/(16/3). Which is smaller: u or h?
h
Let a be ((-10)/(-205))/(0 - 1). Let c = a - 32/1025. Is 0 > c?
True
Suppose -78 - 22 = -5*q. Suppose 7*u + q = 2*u - 5*f, -5*f - 12 = u. Are u and -0.1 unequal?
True
Let t(r) = -r - 4. Let h be t(-12). Do h and 2 have different values?
True
Let g = -112/355 - 6/71. Which is bigger: 0 or g?
0
Let t be 1 + -3 + 8/3. Is t bigger than 14?
False
Let q = -7 - -6. Let t be 2/2 + q + 2. Let a = -4 - -6. Are t and a nonequal?
False
Let h = 0.005 + 0.005. Which is greater: 2 or h?
2
Let y(c) = c + 4. Let d be y(0). Suppose -2 = -2*n + d. Which is greater: n or 2?
n
Let j = 5383/9 - 599. Let z(t) = -t**3 + 9*t**2 - 13*t - 9. Let h be z(7). Is h at least j?
False
Suppose 2*m + 4*w + 38 + 2 = 0, 5*m + 35 = 3*w. Is m bigger than -10?
False
Let v = 6 + -8. Suppose 5*y - 16 = y. Let q = -5 + y. Is v > q?
False
Let s = -1.8 - -8.8. Let w = -5 + s. Which is bigger: w or -1/5?
w
Suppose 17 + 23 = 2*v. Suppose 0 = -5*j - 4*z - 20, j - 2*z = -6*z - v. Let o = 2 - 1. Which is greater: j or o?
o
Let v = -3.6 + 2.6. Which is greater: -8 or v?
v
Let g be 5/((3 - 1) + -1). Let u be (g/2)/(-5)*-2. Is u at least 0?
True
Suppose -5*q = -2*r + 11, -r = -q + 6*q + 17. Let o = r + 1. Let b = 0.3 - 0.3. Is o < b?
True
Let p = -51/98 + 1/49. Suppose x - 16 = 3*i, -4*i + 0*x = x + 33. Let h be -1 + 1 - (8 + i). Which is smaller: p or h?
h
Let r = -0.24 - -0.11. Let v = r - -0.13. Is -2/3 at most v?
True
Let d = -6.5 - -6.2. Let y = -0.3 + 0.3. Let j = -0.1 + y. Which is bigger: d or j?
j
Let k = -1 - -1. Let z be 4 + -5 + 2 - 0. Let h = k - z. Is h smaller than -1?
False
Let p = 1 - 1. Suppose -2*z - 18 = -5*z. Suppose p = z*j - j. Is j not equal to 1/5?
True
Let u be 2 - (-4 + -1) - 3. Suppose 0 = 5*h - u*h. Are -1/8 and h equal?
False
Suppose 4*w = 5*l + 39, 0 = 4*w - 4*l - 4 - 32. Let i be (-858)/(-6345) - w/(-27). Let a = i - -2/47. Is a bigger than -2?
True
Let h(w) = w**3 + 5*w**2 - 4*w - 6. Let b be h(-5). Let d be (1 - -1) + b/(-9). Is d >= 0?
True
Suppose -t + 5 - 2 = 0. Let j be 5*t/(-6) + 3. Let x = 0 - -1. Are j and x nonequal?
True
Let f = -38438/119 - -323. Are f and -1 equal?
False
Suppose -4*l - 10 + 22 = 0. Is 2 bigger than l?
False
Let x be (-2)/(-1) - (-114)/(-6). Let j = 155/9 + x. Which is bigger: -1 or j?
j
Let l = -2032/9 + 226. Which is bigger: l or 0.4?
0.4
Let x be 1 + 4/1 + -3. Let t be 7/(-5) - (1 - x). Which is bigger: -0.2 or t?
-0.2
Suppose 32 = -5*b + 5*l - 13, -3*b = -4*l + 23. Let m = -143/133 + 15/19. Which is smaller: m or b?
b
Let y be (24/72)/((-1)/3). Is 1/158 at most y?
False
Suppose 2*t - 5 = t + 5*u, 3*u = -5*t + 25. Let q = -3 + 8. Do t and q have the same value?
True
Suppose -5*x + 14 = -d - 2*d, 0 = 5*x - 20. Which is smaller: 8 or d?
d
Suppose g = 5*o + 12, -4*o + 7*o - 5*g = -16. Let c = -24 - -22. Are o and c non-equal?
False
Let o = -2 + 3. Let z be o*5 + 1 + -4. Is z <= 3?
True
Let z be (4/6)/(63/(-27)). Is z greater than -1/4?
False
Suppose -38 - 26 = -4*b. Let d = 19 - b. Which is smaller: 13/5 or d?
13/5
Let j be (2 - (-9)/3) + -4. Are 1/5 and j nonequal?
True
Let p be 2/(-6) + 3/9. Suppose 0 = -p*z - 2*z - 12. Let a = z - -5. Is 1/6 smaller than a?
False
Let x = -1291/1086 + 4/181. Are -1 and x non-equal?
True
Let n(u) = u + 4. Let f be n(11). Suppose 9*a - 4*a = f. Let i(y) = -y + 2. Let k be i(a). Which is bigger: -1/10 or k?
-1/10
Let a = 0.03 + -0.03. Let g = -1 - a. Is -4 bigger than g?
False
Let r = -5/12 + 1/6. Which is greater: r or 0?
0
Let b = -30 + 29. Are b and -0.1 equal?
False
Suppose -j = -0*j + r - 2, 0 = 4*r - 4. Let m = 521/4 - 135. Let y = m + 11/2. Which is bigger: j or y?
j
Suppose n + 4 = -0*n. Let q be 2/(-4)*1/n. Are -0.3 and q nonequal?
True
Let v = -1 + 5/6. Is v greater than -1?
True
Let n be (-175)/70*1*(-3)/70. Let s be 254/(-280) - (-4)/10. Let y = s + n. Which is smaller: 2 or y?
y
Let o be (-921)/63 + 4/14. Let y = 14 + o. Which is smaller: y or 1/4?
y
Let q be (12/15)/((-4)/(-20)). Suppose 0 = -3*d - q*w + 1 + 11, 0 = -3*w. Are 4 and d non-equal?
False
Suppose -3*p = -3*h + 38 + 25, p - 2*h + 24 = 0. Let g = 14 + p. Is -10/3 at least g?
True
Suppose -3*k = 2*z + 4, -5*z = -2*z + 3*k. Let d = z - 4. Let n be (-2 + (-4)/(-2))/2. Is n not equal to d?
False
Let q be (-3)/30*(1 + -7). Let w(d) = 5*d + 2. Let u(j) = 24*j + 10. Let r(c) = -3*u(c) + 14*w(c). Let k be r(-2). Do q and k have the same value?
False
Let t(s) = s**3 - 2*s**2 - 2*s + 3. Suppose 2 = -5*w + 12. Let x be t(w). Is -3/2 at most x?
True
Let g = -0.2 + 0.6. Let y = -3.4 + g. Is -1 greater than y?
True
Let v be 0 + 9/((-198)/4). Which is smaller: v or 0?
v
Let j = 0.015 + -0.195. Is j at most as big as -1/5?
False
Let i be (-1)/(-5) - (-63)/35. Suppose r = i*r - 3. Which is greater: r or 1?
r
Let x = 34/3 + -12. Which is bigger: -7 or x?
x
Let p(g) = -10*g. Let s be p(-1). Let n = s + -14. Let u be (-3)/2*n/(-9). Which is smaller: u or -1?
-1
Let z be (-18)/(-36) - (-18)/4. Suppose 3*k - 25 = z. Is 9 greater than k?
False
Let v = -145/693 - 1/77. Which is bigger: v or 1?
1
Let w be 1 + 1/(-6)*10. Which is smaller: w or -1?
-1
Let i(f) = f**3 - 2*f**2 + f -