qual?
True
Let z = -12 - -9. Let k be z + 1 + 0 + 6. Which is smaller: 0.2 or k?
0.2
Let i = -47 + 47.07. Is i greater than 2?
False
Suppose 10 = 3*k + 2*z, -5*z - 6 = -k - 3*z. Let m be 2/(2/((-8)/k)). Which is smaller: -1 or m?
m
Let s be 3/(-2 + (-2)/(-4)). Let g = 64 + -194/3. Is s at least g?
False
Let v = -12 - -6. Let u(j) = j**3 + 7*j**2 + 7*j + 6. Let w be u(v). Is 0 > w?
False
Let i be 3*(0 + (-1)/3). Let m be 2 - (-4)/(64/(-60)). Which is bigger: i or m?
i
Suppose -3*w = -0*w - 15. Suppose j + 5 = 3*g + 23, 0 = -w*j - 3*g. Suppose 2*l - f - 2*f = -15, 0 = 4*l - j*f + 15. Is -2/3 at most as big as l?
True
Let j be (0 + 2/2)*5. Let w(v) = 1 + 5 + 0*v - v. Let b be w(j). Which is greater: 2/11 or b?
b
Suppose -y - 5*m = -2*y + 1, 0 = 5*m - 5. Is y > 6?
False
Suppose 6*j = j. Let q(g) = 7*g - 5. Let u be q(-6). Let v = -142/3 - u. Which is smaller: j or v?
v
Let l be (-7)/3*(-2 - 15/(-12)). Which is bigger: l or 1?
l
Suppose 2 = -6*w + 44. Suppose 0 = -4*r, -4*f + 4*r + 2 = -22. Is w != f?
True
Let l = -12 + 4. Let c(j) = j**2 + 8*j + 2. Let f be c(l). Let i(w) = -w**2 + 3*w - 3. Let o be i(f). Is -1/3 <= o?
False
Suppose 7 = -4*z + 3. Let i(x) = 5*x. Let g be i(z). Does g = -4?
False
Let c = 182 - 181.9. Which is greater: 6/5 or c?
6/5
Let k = 15 - 18. Is k smaller than -3?
False
Let i(p) = p**2 - p + 1. Let o be i(3). Let s = 56 + -40. Suppose 2*x - z + s = 0, -o - 13 = 2*x - 2*z. Which is smaller: -5 or x?
x
Let w(q) = -q**3 - 3*q**2 + 3*q - 5. Let k be w(-4). Let r be ((-4)/20)/(k/1). Which is smaller: 0 or r?
0
Let c = -123/262 - 4/131. Let w be (0 + 0)*1/1. Which is smaller: w or c?
c
Let h = -10 - -15. Suppose -j + h = 4*j. Does j = -2/29?
False
Let k = 3144/11 - 286. Let c = -1/11 - k. Which is bigger: c or 1?
1
Let a = 10 - 14. Suppose -4*y + 2*s + 18 = 0, 0 = -5*y - 5*s - 22 + 7. Suppose d = -2*g - 8, 3*g + y*d - 6*d + 1 = 0. Is a <= g?
True
Let z be (-6 - -7)*0 - 24/(-34). Which is bigger: z or 2?
2
Suppose -w + 5*l - 23 = 0, 5*l + 0*l - 35 = -5*w. Let y be (-1 - w/(-4))*-2. Which is smaller: -1/6 or y?
-1/6
Let z(f) = f**3 - 5*f**2 - 6*f + 1. Let s be z(6). Let x(b) = b + 1. Let r be x(s). Suppose -r*d + 2 = -3*d. Which is greater: -1 or d?
-1
Suppose 2*f - 9 = -3*m + 12, 5*m + 5*f = 30. Is m >= 0?
True
Suppose 4*b - 5 = -b. Let f be (19 - b) + 0/2. Suppose 5*n = -25, 2*n = 4*l - 0*n - f. Is 0 less than or equal to l?
True
Let y = 0 - -2. Let z(u) = 4*u**3 - 2*u**2 + u - 2. Let n be z(y). Suppose -5*r = 5*d, 4*r - d + n = 3*d. Which is smaller: -2 or r?
r
Suppose 2*p - 83 + 5 = 0. Let l be 6/(-15) - p/(-35). Is l not equal to 2?
True
Suppose -2*h + 4*u + 8 = 0, -2*u = h + 4*h - 8. Suppose -2*k = -0*a - 5*a + 2, 0 = -5*a - k + 14. Let x = a - h. Is -1/4 <= x?
True
Suppose -v - v - 5*f + 12 = 0, -f + 2 = 0. Are v and -2/13 unequal?
True
Let l = 44 + -48. Which is greater: -6 or l?
l
Let p = 17 + -12. Is -3 at least p?
False
Let c be 8/(-5) - ((-51)/(-15) + -4). Let b = -2559/16 - -160. Which is greater: c or b?
b
Let l = -40 + 25. Is l != -15?
False
Suppose -6 = 3*v + 4*z, 4*z + z - 9 = -v. Let c be (2/v*0)/1. Suppose c = -3*n + 2*n. Which is greater: -1 or n?
n
Let d be (-1 + 3/15)*5. Let y be -1 - (5 - -1)*-1. Let j = d + y. Is 1/5 smaller than j?
True
Let g(m) = m**3 - m - 2. Let l be g(2). Suppose l*n + 1 = 7*i - 2*i, 1 = i. Which is smaller: n or -1/40?
-1/40
Let c = -1 + 0. Let j = c - 0. Let m be (-1)/(1/(-4)*-4). Is j smaller than m?
False
Let o = -0.079 + 6.079. Which is greater: -0.2 or o?
o
Let n = -64 + 65. Which is greater: n or 2/533?
n
Let c be (-30)/(-9) + ((-7)/3 - -3). Are -2/3 and c equal?
False
Suppose 4*a - 4 = -8. Which is smaller: -4 or a?
-4
Let m be (26/(-4))/(2/(-8)). Let g = m + -18. Suppose -5*c = 2*w + 2*w + g, -2*c - 2 = 2*w. Are 4 and w nonequal?
True
Let k = 13/10 + -17/10. Which is smaller: 0 or k?
k
Let s be 4 + -1 + (0 - -1). Let x(c) = c**2 - 3*c + 4. Let v be x(3). Is v at most as big as s?
True
Let u be (-1)/(-3)*3 + -3. Which is smaller: -2/3 or u?
u
Let j(m) = -5 + m**3 - 2*m**3 + m - 6*m - 5*m**2. Let l be j(-4). Let b be (-10)/(-7) + (-8)/(-14). Which is smaller: l or b?
l
Let s(y) = -2*y - 2. Let v be s(-4). Is v < 8?
True
Suppose -2*y + 5*y + 33 = 3*k, -2*y = -4*k + 26. Let d be y/(-4)*16/6. Let t be (d/(-9))/(2/(-3)). Is 3 at most as big as t?
False
Let n be (-15)/(-2) + -1 + 3/6. Which is greater: 3 or n?
n
Let u = -1.2 - -7.5. Let r = u + -6. Let a = -0.4 + r. Which is greater: a or -2?
a
Let g = 8/57 + 1/57. Which is bigger: g or 1?
1
Let s = 8 + -10. Is -5/6 greater than or equal to s?
True
Let q be (4 + -5)/(2/(-8)). Let f = 5 - 0. Let c be (f - q) + (-1)/3. Which is smaller: 2 or c?
c
Let r be 8/(-6)*(-2)/(-12). Let w be (5/(-10) + 0)*-1*2. Is r >= w?
False
Let p = 0.1 - 0.16. Which is smaller: -1 or p?
-1
Let z be -2*86/4 - 2. Let a = z + 136/3. Which is greater: a or -2/7?
a
Let o = 8.3 + -8. Let q = o - -0.8. Let l = q + -2.1. Is 0.09 <= l?
False
Suppose 5*j - 84 + 13 = 2*q, 0 = 3*j - q - 43. Is 15 != j?
False
Let j = 0 - 4. Let t = 5 + j. Let f be 1/(t + 8/(-7)). Is -7 <= f?
True
Let v(o) = -17*o**2 - 2*o - 3. Let b be v(-1). Is -17 bigger than b?
True
Let q(i) = -2*i - 4. Let w be q(-6). Which is smaller: 6 or w?
6
Let z = -629 - -27046/43. Which is smaller: z or -1?
-1
Let v(y) = 3*y**2 + 7*y + 3. Let t be -2 - (4 + -4 - 0). Let p be v(t). Let u be 1/(-4) + 2/8. Which is greater: u or p?
p
Suppose 0*a = -3*a - 9. Let k be -7*(-1)/(a/(-3)). Suppose 4*s + 3 + k = 2*z, -14 = 5*s - 4*z. Is -3 at most as big as s?
True
Suppose -5*r + 25 = -5*p, 0*p = -4*r - 3*p - 8. Let s = r + 0. Suppose 2*g + s - 3 = 0. Is 1 at most as big as g?
True
Let g = -2984/7 + 427. Let q = g + -6/7. Suppose w = 3 - 2. Which is bigger: w or q?
w
Let n = -874 - -868. Let l(d) = -d**2 + d + 4. Let o be l(-3). Which is smaller: n or o?
o
Suppose 42 = -7*j + j. Which is smaller: j or -8?
-8
Let l = 1 + 2. Let k = 3 - l. Which is smaller: k or -0.5?
-0.5
Let t be 2/7 - (-297)/63. Are t and -2 equal?
False
Let o be (1 + -2)/(-2 - -1). Let s = 0.2 - 0.3. Which is bigger: o or s?
o
Let k = -9 - -9. Suppose -t + k = 1. Which is smaller: t or -3?
-3
Let m = -2 - 4. Let b be m/(-21) + (-23)/7. Is -3 bigger than b?
False
Let x(d) = 2*d - 1. Let t be x(2). Suppose 3*v - r + t*r - 7 = 0, 0 = 2*r + 2. Suppose 3*z + u = v - 17, 0 = -3*z + u - 4. Is -3 not equal to z?
False
Let m = -0.4 + -2.6. Let z be (-4)/18 - 7/9. Which is greater: m or z?
z
Let t(o) = o**3 - 4*o**2 - 2 - 2 + 1 + 5*o + 1. Let y be t(3). Suppose 5*f - 5 = 0, -2*i + 4*f = 2*i + y. Does i = 0?
True
Let l be (1 - -19)*(0 - -2). Let a be (-2)/l*45/6. Let k be -2 + 0 - -2*1. Is k < a?
False
Let j = 24/137 + -1261/3288. Is 1 greater than j?
True
Let t = -30 + 30. Which is smaller: -0.17 or t?
-0.17
Suppose -3*t = 3*k - 132, -3*t + 5 - 29 = -k. Let g be k/21 - (-2 + 3). Let s be 4/10 - 2/5. Which is smaller: g or s?
s
Suppose 0 = -b + 3*s + 10, 2*b + 5*s + 24 = -0*s. Suppose -4*n = -3*n. Let w = -1 - n. Which is greater: w or b?
w
Suppose 7*u + 482 = 90. Which is smaller: -55 or u?
u
Suppose 2*y + 4*z = -z - 5, 5*z + 5 = -5*y. Let b(a) = a - 5. Let o be (-6)/7*(-6 - 1). Let q be b(o). Is q not equal to y?
True
Let l = 0 - 2. Suppose j + j = 4. Let t be ((-14)/4 - -2)*j. Which is smaller: l or t?
t
Suppose 2*x + 12 = 3*j, -2*j + j + 11 = -3*x. Let r = 1 - j. Let s = 6/7 - 16/35. Are s and r unequal?
True
Let p = 5.86 + 0.14. Let d = p + -6.3. Let b = -2 - -1.9. Is d <= b?
True
Suppose m + 4 = 0, -i - m + 2 = 2*i. Let c = -14 - -7. Let t = c - -7. Which is bigger: t or i?
i
Let y be (5 - 1)*304/64. Does y = 16?
False
Let c = -70 - -54. Is c not equal to -13?
True
Suppose 2*y + 7 = 3*y. Suppose -5 + y = q. Which is bigger: 0 or q?
q
Suppose s - 5*s = 936. Let t be 2*(1 + s/(-5)). Let r = t - 96. Is -0.3 at least as big as r?
True
Let c be (10/4)/(-1)*-2. Suppose 0 = -3*n - 8 - 1. Let m = c + n. Is m greater than 3?
False
Let u be (0 - -1)/((-6)/(-18)). Suppose -u*y + n - 5*n = 41, 0 = 5*y - n + 30. Is y < -5?
True
Let x = 68 - 1087/16. Is x >= 1?
False
Let q = -13 - -16. Suppose 0*x - 3*x = q. Is -1/8 less than or equal to x?
False
Suppose -8 = -2*n - 0. Which is smaller: 1 or n?
1
Let c(n) = 2*n**2 - 1. Let l be c(1). Suppose -4*v - 5 + l = 0. Which i