qual to w?
True
Let m = -306 + 2154/7. Is m at most as big as 1?
False
Let k = -11.9 + 12. Let i = -0.1 + 0.3. Let m = k - i. Which is smaller: m or 0?
m
Let h = 0.1 + -0.2. Let u = 1 + 2. Let a = -2.9 + u. Is a greater than h?
True
Let v = 0.04 - 0.54. Let k = 1.5 + v. Is k smaller than -2?
False
Let i(z) = -z**3 + 21*z**2 - 21*z + 21. Let f be i(20). Let l = 76 + -457/6. Is l > f?
False
Let f be 57/6 - (-3)/(-6). Does f = 10?
False
Let s = 1 - 0. Suppose 4*p = 2*n + 8, -3*p - 8 = 2*n - 4*p. Let x = 4 + n. Which is greater: s or x?
s
Let x be (-3)/(-2) + (-12)/8. Is -2 != x?
True
Let z be (-2)/2 - (-2 - -2). Let w = -184/5 + 37. Which is smaller: z or w?
z
Suppose 4*t - 17 = -5. Suppose -23 = c - 5*r - 1, -2*c = t*r - 8. Let f be 28/12 + c/(-3). Is f not equal to 3/2?
True
Let d(a) = -9*a - 74. Let o be d(-9). Which is smaller: 2 or o?
2
Suppose 0 - 4 = 4*g. Let s be 2/7 + 61401/(-161). Let k = 381 + s. Is g != k?
True
Suppose -3*j + 0 = -3. Suppose -i + 1 = 3*m, 0 = 3*i + 5*m + j. Suppose 0*h + 3*a = 4*h + 15, -4*h - 5*a + 25 = 0. Which is smaller: h or i?
i
Let t(r) = -r**2 + 14*r + 106. Let l be t(20). Suppose 2*d + 70 = -3*d. Are l and d unequal?
False
Let t(w) = -w**3 + 7*w**2 - 6*w + 4. Let l be (-160)/(-28) + 4/14. Let o be t(l). Suppose o*p = 2*p + 8. Which is smaller: 0.1 or p?
0.1
Let t = -0.95 - 0.05. Let v = t - 4. Let c = -3 - v. Which is smaller: 1/5 or c?
1/5
Let l be 2/(1/((-9)/6)). Let y = -21 - -19. Is y >= l?
True
Let j = -33 + 31. Let t = j + -5. Let x = 13 + -19. Is t less than x?
True
Let t be 9 - 7 - (-9 - (-4 - -2)). Is 9 at least t?
True
Let q = -9 + 80/9. Is q at least as big as 1?
False
Let b = -1 - -5. Suppose -r + 3 = b*w, w - 5*r = 3*w - 15. Do w and -1/7 have different values?
True
Let u(w) = w**2 - w + 1. Let j be u(2). Suppose 2*d + 8 - 2 = -2*f, -4*d + j*f = -9. Which is smaller: d or -1/8?
-1/8
Let t(s) = s - 1. Let n be t(-1). Let w = -2 + n. Let k = -21 - -18. Which is smaller: w or k?
w
Suppose 0 = 4*q - 3*q - 11. Let r(g) = -g**3 + 11*g**2 - 1. Let d be r(q). Which is bigger: d or -2/23?
-2/23
Let m be -2*((-18)/8 - -2). Let c = -5.5 - -6. Let i = c + 0.5. Is i at most m?
False
Let o(g) = 10*g - 9. Let a be o(13). Which is smaller: a or 120?
120
Suppose 3*j + 4 + 8 = 2*v, 0 = v - 3*j - 9. Suppose 0 = v*m - 2*m. Which is bigger: m or -3/7?
m
Suppose 468 = 3*a - 0*c - 4*c, 3*c = 4*a - 624. Let p = a - 1089/7. Suppose 0 = 2*q + 5*g + 27, -2*g - 14 = 8*q - 4*q. Is p less than q?
False
Let w = 5/2 + -3. Let d = 0.1 - 0. Which is smaller: w or d?
w
Let k be (3 + 3)*(-4)/(-2). Let v = -13 + k. Which is smaller: 2 or v?
v
Suppose -3*y - 4 = -1. Let b(i) = i**2 - 5*i - 3. Let z be b(6). Let h be ((-2)/(-21))/(2/z). Which is greater: h or y?
h
Let n = 10 - 16. Let z be n/(-5)*(-80)/(-24). Is 3 <= z?
True
Let x be (-2)/(-6)*(-1 + 7). Let q be 3 - (-1 - 2/2). Suppose -q*k - 5*z + 19 = -16, -3*z + 9 = 0. Is x less than or equal to k?
True
Let x be (9/360)/((-2)/5). Let p(f) = f**3 - 5*f**2 - 7*f + 7. Let h be p(6). Are h and x equal?
False
Let s be 2 - -3 - 2/(-2). Let l(y) = y**2 + 5*y - 5. Let f be l(-5). Let p = s + f. Which is greater: -2/9 or p?
p
Let d = -0.1 - -0.2. Are 8 and d equal?
False
Suppose 0 = 3*b + b - 8. Suppose 4*g = b*c + 20, 5*c - 2*c = -5*g + 47. Which is greater: 9 or g?
9
Let b = -0.29 + 11.29. Let v = 11.29 - b. Let c = v + 0.01. Do -0.2 and c have the same value?
False
Let z be (2/(-26))/(2/4). Suppose 2*h + 3*d = -45, h - 4*d + 19 = -2*d. Let j = h - -21. Which is greater: j or z?
j
Let s be (-4)/14 + 62/70. Let h(u) = -u**2 + 3*u - 2. Let x be h(3). Let y = x - -4. Which is smaller: y or s?
s
Suppose v - 6*v = 25, 2*i + 1 = 3*v. Which is smaller: i or -5?
i
Suppose 28*l + 836 = 17*l. Which is smaller: l or -77?
-77
Let s = 1/15 + 71/60. Which is smaller: 0 or s?
0
Let x be (-48)/18*(-6)/(-4). Is -2 >= x?
True
Suppose 2*v + 2 = -4*u, -3*u + 3*v = 4*v. Let w be u + (-1 - 0) - 0. Let y = 0 + -1. Which is smaller: y or w?
y
Let z = 28 + -27. Let d(g) = g**3 + 3*g**2 - 4*g - 1. Let x be d(-4). Which is smaller: z or x?
x
Let i be -1 + (-3 + 2 - 2). Let g = i + 6. Let j = 11 - 9. Is g less than j?
False
Let x = -0.037 + 0.137. Let o = 128 + -2047/16. Is o > x?
False
Suppose 4*d - 7 - 5 = 0. Suppose 0 = -3*w + 2*t - 0 + 6, -4*w + 3*t + 8 = 0. Is w at most d?
True
Let k(t) = -t + 9. Let x be k(8). Is x >= 2/27?
True
Let u be (-8)/6 + (-9)/(-27). Let q = 0.2 - 0.3. Is u greater than or equal to q?
False
Suppose 0 = 5*n - 1 - 4, -n - 104 = -5*t. Which is greater: 20 or t?
t
Let b be (1 + 0)*(0 - -1). Let c be (((-8)/4)/(-2))/20. Is b greater than or equal to c?
True
Let k = 27 + -18. Let r = 9 - k. Which is bigger: r or -2?
r
Let y(m) = -m**3 + 3*m**2 - 1. Suppose 2*u + 3*u - 5 = 0. Let j be y(u). Is j less than 1?
False
Let b(s) = s + 2. Let r be b(-2). Suppose 7*a - 12*a - 10 = 0. Let i be a/((-6)/4 - 2). Which is bigger: r or i?
i
Let r(f) = f - 79. Let o be r(27). Which is bigger: -51 or o?
-51
Let k = 4 + -5. Let w be -3*(246/10 - 2). Let n = -68 - w. Are n and k nonequal?
True
Let s = -3 + -3. Let q be 53/(-91) + s/(-39). Is q not equal to 1?
True
Let z = -960381/28 + 34295. Let m = z + 32/7. Suppose -2 = 4*w + 2. Which is greater: m or w?
m
Let i be ((-1)/2)/(2/(-24)). Suppose i*f + 15 = f. Is -3 at most as big as f?
True
Let l(k) = -1734*k**2 - 8*k + 8. Let j be l(7). Let g = 426499/5 + j. Let v = -287 + g. Which is smaller: -1 or v?
v
Let n = 14 - 19. Let q = 0 + -4. Let o = q - n. Which is smaller: o or 2/9?
2/9
Let g be (2 - (-2)/(-8)) + -2. Let o = -3.8 + 10.7. Let r = o + -7. Which is bigger: r or g?
r
Let c(z) = -z**3 + 5*z**2 - 3*z - 3. Let u be (-1 - (-3 - 2)) + -1. Let y be c(u). Let b be (0 - 3) + y/2. Which is greater: 1 or b?
1
Let q be (-4)/16 + (-58)/(-8). Let h(t) = t - 6. Let m be h(q). Let g = -128/3 + 43. Which is smaller: m or g?
g
Let q = 3.9 - 2.92. Let x = q - -0.02. Which is smaller: x or -3?
-3
Suppose 7 = 3*v + 10. Is v != -2/5?
True
Let q = 6 + -6. Which is smaller: q or -1?
-1
Suppose -3*g = -3*m - 57, 12*g - 9*g = -2*m - 63. Which is greater: m or -1?
-1
Suppose -4*g - 40 = -6*g. Let m = g - 10. Suppose 5*s - 5*l = 10, 2*s - 4*l - m = -0*l. Is s <= 2?
True
Suppose -y + 15 = 2*y. Let q = -10 + 14. Is y equal to q?
False
Let u = -4 + 4. Suppose -3*z + 3 = -u. Let y be (-4)/10*5/13. Which is smaller: z or y?
y
Let h = 2 + 3. Let s = -3 + h. Are s and -0.3 equal?
False
Suppose 3*a = -2*i + 3, -3*a + 6*a + 9 = 2*i. Let z = 0 + 0. Is a equal to z?
False
Let w = -7/10 + 1/2. Is w < 3?
True
Suppose 4*v = -v - 10. Let a be 15/(-20) - 15/12. Are v and a equal?
True
Let x(q) = -q**3 + 11*q**2 + 1. Let b be x(11). Which is smaller: -4/19 or b?
-4/19
Let t = 12 - 13. Suppose -7 = -4*l - i + 18, 5*l = 4*i + 5. Suppose 5*y - 2*a - 3 = 0, -2*y + l*a = -13 - 5. Does y = t?
True
Let t be 5/(-7) - 4/14. Let i = -11 - -3. Let f be 16/22*(-2)/i. Is t greater than or equal to f?
False
Let m = -6 - -6. Is -0.1 less than or equal to m?
True
Let q(h) = 2*h + 11. Let b be q(-6). Let p be b + -1 - 0 - 3. Which is smaller: p or -11/2?
-11/2
Let q be (-1)/4 + 44/(-16). Let c be 1 + -1 + (-10)/4. Are q and c equal?
False
Let x = -28973/66 - -439. Let t = -1/6 - x. Is -1 at least t?
False
Suppose -l + 8 = -5*s, 3*l - 2*s = -6*s + 5. Suppose -2*z - 3*t + 8 = 0, 2*t - 3 = -2*z + l*z. Suppose -3*n - z + 4 = 0. Which is bigger: n or 2/3?
n
Suppose 0 = -5*g + 5*y + 50, 8*y - 41 = -2*g + 3*y. Which is bigger: g or 15?
15
Let d(x) = -6 + 2*x + 3*x - 6*x. Let p be d(-4). Is p greater than -1?
False
Suppose 2 = 3*p - 1. Which is smaller: p or -2?
-2
Let w be (-189)/114 - 6/(-4). Is 0 greater than w?
True
Let u be 9*(-5)/((-45)/6). Let l be ((-18)/(-15))/(u/40). Which is bigger: l or 7?
l
Let j = -4 - -5. Let s be (j/(-1))/((-21)/(-6)). Is -2 > s?
False
Let m be (-8)/(-36)*-3*3. Let q be m/((33/(-3))/(-1)). Let l be (-1 + 1)/(0 - -2). Are q and l non-equal?
True
Let r be (-4)/(-36)*2391/(-5). Let d = r - -209/5. Let u = d + 11. Is u <= 0?
True
Let p(d) = -d**3 + 5*d**2 - 5*d - 1. Let c be p(2). Suppose 0 = -h - h - 2. Let z be (1/7)/(h/3). Is z <= c?
True
Let w(n) = -4*n - 25. Let l be w(-11). Let x = l - 14. Which is bigger: 2 or x?
x
Let v be (-9878 + 2)/((-174)/(-8)). Let d = v - -454. Let u(s) =