qual?
True
Let m be (1/100*-4)/(3/2). Does 0.1 = m?
False
Let i be (-5)/5 + (2 - 1). Let d be (-4)/6 - (-2 + (-203)/(-105)). Is i at least as big as d?
True
Let m = -49 + 247/5. Let w be 0/2 + 24/4. Suppose 4*q + 2 = -p - w, p + 2*q = -4. Which is bigger: p or m?
m
Suppose 3*g + 5*i - 3539 = 0, 0 = 3*g - g - 4*i - 2374. Is 1184 at least as big as g?
True
Let v be 40/(-140) - (-570)/231. Is 2 less than v?
True
Let j be (-42)/4*12/9. Let w be j/(-2) + -1 + -2. Suppose 9 - 11 = 7*a - 44. Which is smaller: w or a?
w
Let p(y) = -y**3 + 3*y**2 + 5*y - 1. Let v be p(4). Suppose -v*c = -36 - 18. Let d = -17 + c. Is 4/3 < d?
False
Let d = 271.98 + -269. Let o = 0.02 + d. Suppose -5 = -4*u + 9*u + 5*t, -t - 1 = -4*u. Is u >= o?
False
Suppose 3*h = -12, -h + 44 = 2*k + 50. Is k bigger than -3/1165?
False
Let w be (2 + (-4 - -2))/1. Let q(b) = -b**3 - b**2 + 2*b - 2. Let n be q(-3). Let p be (2/(-39))/(n/(-6)). Which is bigger: w or p?
p
Suppose 2*v - 27 = -m, 39 = 7*v - 3*v - m. Suppose 9*a = v*a. Let j = -4 + 3. Is a < j?
False
Let p be (-4464)/108*3*2/(-8). Is -1 smaller than p?
True
Let o = 417 - 398. Is -1/3 greater than o?
False
Let r be (-12)/(-14)*(7 - 0). Suppose -4*y - b + 9 = 0, 4*y - 3*b = 5 - 0. Suppose -o + 3 = a - y*o, a + 3*o + 13 = 0. Is r greater than a?
True
Let x be 2/6 + 58/51. Let m = -541/391 + x. Let v(p) = -65*p - 66. Let i be v(-1). Which is smaller: m or i?
i
Let d = -83 - -101. Is -3 <= d?
True
Suppose -2*c - 39 = -219. Which is bigger: c or 181/2?
181/2
Suppose 26*c - 31*c + 3*a + 14 = 0, 5*a - 26 = -4*c. Suppose 0 = 2*p - 17 + 1. Which is smaller: p or c?
c
Let d = 1582 + -11052/7. Suppose 0 = 2032*q - 2029*q - 12. Which is greater: q or d?
q
Let z = -61 - -59. Let o = -34496/19 - -1814. Is o greater than z?
True
Let d = -0.024 - 8.976. Let r = 8 + d. Which is smaller: 2.9 or r?
r
Let a = 2379 - 11897/5. Let p(l) = l**2 - 6*l - 7. Let o be p(6). Is a smaller than o?
False
Let h be ((-4)/448*-18)/((-9)/1245). Let f = h + 153/7. Is 5 at most f?
False
Let r(o) = o**3 + 5*o**2 - 68*o + 13. Let q be r(6). Is -2/5861 at most q?
True
Let i = 528433/630 + -14645/18. Let a = i + -128/5. Let s(v) = -v**3 - 7*v**2 + v + 7. Let q be s(-7). Which is smaller: a or q?
a
Let h = 4.88 - 4.6. Let v = h - -0.12. Which is greater: -0.1 or v?
v
Let u be 7135/(-40) - (-3)/8. Let q = u - -1249/7. Which is greater: q or -1?
q
Let f(y) = y**3 - 22*y**2 + 19*y + 43. Let r be f(21). Is 14/55 equal to r?
False
Let q(s) = -s**3 + 2*s**2 + 7*s - 6. Let a be q(4). Let n = 18 + a. Suppose 4*t = 3*t + n. Is 7 < t?
True
Let r be -3 + (0 - (2 + -4)). Suppose 0 = -4*h - 2*b + 8, 0 = -3*h + 2*b - 8 + 14. Which is bigger: r or h?
h
Suppose -61*w = -65*w + 40. Does -1 = w?
False
Suppose -j = -9*j. Is -4/173 at most j?
True
Let h be 4/(-26) + 186/195. Which is smaller: h or 1?
h
Let h = 27 - 24. Let q(x) = x**3 - x**2 - 4*x - 1. Let s be q(h). Let j(i) = -2*i**2 + 13*i - 8. Let n be j(s). Which is greater: 4 or n?
n
Let j = 20.1589 + -20.06. Which is greater: j or -0.1?
j
Let l(r) = -r**2 + 3*r + 2. Let g be l(7). Let m be 3 - g/(-10) - 21/15. Is m <= 24?
True
Suppose 2*k = 5*k - 15. Suppose -3*n - k = 28. Is n less than -10?
True
Let b(g) = -g**3 + 121*g**2 + 3*g - 365. Let v be b(121). Suppose 0 = -3*x + 1 - 22. Is x at least v?
False
Let c = 134/5269911 - 843519529204/321464571. Let j = -2624 - c. Is -1 > j?
False
Let i be 34/(-85) + (-9)/(-25). Suppose -54 = 3*p - 5*p. Suppose 3*z = -5*y + 6 - 28, -5*y = -2*z + p. Is z not equal to i?
True
Let i(v) = v**2 + 5*v - 4. Let r be i(-5). Suppose 0 = -5*w + 6 + 24. Suppose -2*s + l = w, 11 = -2*s - s + l. Are s and r unequal?
True
Suppose 0*z - 4*z = 20. Let o be 4*(-1)/(-30)*z. Let n = 4872 + -4872.13. Which is smaller: n or o?
o
Let t = 2544489/449 + -5667. Let j = -1539/14368 + t. Which is greater: j or -1?
j
Let r = -1657923/14 - -118495. Let g = 221 - 293. Let a = g + r. Which is greater: -1 or a?
a
Let y be ((-1)/(-2))/1*2. Let q = -1977496/111 - -17815. Let i = q - 2/37. Which is smaller: y or i?
i
Let k(j) = j**2 + 149 - 172 + 4*j + 2*j + 9*j. Let a be k(-16). Is -8 smaller than a?
True
Let h = 530.1 + -530. Is h at most as big as -0.0849?
False
Let s = 1.7 + -0.7. Let q = -451 - -135. Let z = q - -5370/17. Which is smaller: s or z?
z
Let q = -32 + 146. Let g = q - 117. Let v = 1 + -1. Are g and v non-equal?
True
Let x = -25 + 24.85. Let v = 0.15 - x. Let a = 6 - 10. Is v less than a?
False
Suppose 120 = 4*j - 4*i, -3*j + 3*i = -8*j + 174. Suppose 3*o = 3*m + j, -2*m - 5*o = -4*m - 22. Let w = 2020 - 2019. Is m at least w?
False
Let q = 1.8 - 19.8. Let k = 17.5 + q. Let t = 0.1 + k. Are t and -0.1 non-equal?
True
Let k = -3504 + 41909/12. Let a = k - -34/3. Let h = 5 + -4.98. Which is greater: h or a?
h
Let g = 687 - 690. Is g != -1?
True
Let t be ((-3)/9)/((-434)/(-56)). Is t > -1/2?
True
Let l = 8.9 + -9. Suppose -2*t - 2*t + 5*c - 92 = 0, -4*t = -4*c + 96. Is l equal to t?
False
Let z = -11 + 40. Let p be ((-40)/16)/(2/(-4)). Suppose 0 = p*l + z - 4. Is -7 at most as big as l?
True
Let s = 4 - 3.7. Let m = -253 + 249. Do s and m have the same value?
False
Let w = 1.11 + 43.89. Let x = w - 43. Are 1/4 and x non-equal?
True
Let t(c) = -5*c - 23. Let a be t(-6). Let q = -34 + a. Is 0.1 <= q?
False
Let t = -387.747 - 1.253. Is t > 0.1?
False
Let l be 0 + (1949/1215)/1. Let s = -649783/243 - -2674. Let p = s + l. Are 2 and p equal?
False
Let q be 0 - ((-24852)/(-21) - -1). Let n = 1179 + q. Which is bigger: -4 or n?
-4
Let i(m) = m**2 + 21*m - 150. Let h be i(-25). Is -50 greater than or equal to h?
True
Let v = 425/2 - 14437/68. Which is bigger: v or -1?
v
Let o = -54.5 + 46.5. Which is smaller: o or 26?
o
Let v = 7.69 + 17.31. Is v <= 35?
True
Let h(t) = 7*t + 14. Let j be h(-8). Let l = j - -43. Which is greater: l or 50?
50
Let u = -2.01 + -71.99. Is -0.1 less than u?
False
Let y = -27 - -28. Let i be 588/(-8)*y/(-3). Let b = 25 - i. Which is bigger: b or 2?
2
Let c(p) = -p**3 + 2*p**2 - p - 10. Let z be c(0). Let g be (7/14)/((-2)/z). Which is smaller: 3 or g?
g
Let o = 482 - 326. Is o != 156?
False
Let u be ((-128)/80)/(2/5). Let i be (30/(-5) - u) + 1. Which is smaller: i or 1/12?
i
Suppose 46 = -15*l + 1. Which is smaller: l or -10?
-10
Suppose 2*t - 5*l - 2 = 0, t = 2*t + 5*l + 29. Let b be 8 + (-2)/6*t. Is b less than 13?
True
Let m(d) = -30*d + 19 - 28*d + 49*d + d**2. Let j be m(6). Is j less than 4?
True
Let r = -2.5 - 0.5. Let s = 3 + r. Let o = 6 + -9. Is s less than or equal to o?
False
Let a be (-4*9/14)/(75/17850). Are -613 and a unequal?
True
Let j be 1*3/(6/28). Suppose j*f = 10*f. Suppose 7*u - 4*u = 24. Is u > f?
True
Suppose -10*t = -6*t - 4. Let h be -7 - (-20)/(3 + t). Is 0 <= h?
False
Suppose -5*z - d = -3*d - 84, -4*z - 3*d + 58 = 0. Which is smaller: -0.4 or z?
-0.4
Let f be (-9 + 9)*2/4 + -20. Which is greater: -21 or f?
f
Let d be (-9)/6 + (-13)/(-6). Suppose 3*l - 1 = f, f = -2*f - 2*l + 8. Suppose -2*i = f*i. Which is smaller: i or d?
i
Let h = 1592 + -1606. Does 2 = h?
False
Suppose 9025 = 6*z + 2563. Let y = z - 98006/91. Are y and -1 non-equal?
True
Let k = -340 + 143. Is -197 greater than k?
False
Let a = 76 - 218/3. Suppose 5*j + 33 - 43 = 0. Is a greater than j?
True
Let b be 57/(-342) - 5/6. Which is smaller: b or 1/380?
b
Let s be 1/(24/60)*164/5. Which is smaller: 81 or s?
81
Let y = -18685/657 - -256/9. Are 1 and y equal?
False
Let l = 1/16804 - 17858/63015. Let q = -8/15 - l. Is q less than or equal to 0?
True
Let q(b) = 8*b + 0 + 4*b + 0*b**2 - 2*b**2 - 2. Let d be q(6). Which is greater: -7 or d?
d
Suppose 10 = l - 19. Let w = -27 + l. Which is smaller: w or 1?
1
Let y be (-176)/(-33) - 1*4. Suppose 3*m = 6*k - k + 10, -4*m + 15 = -5*k. Is y equal to k?
False
Let w(x) = -x**2 + 2. Let u be w(0). Suppose n + k = -0*n - 3, -u*n + k = 9. Let z be (-2)/8 + (-57)/12. Which is smaller: n or z?
z
Let i be 24/15*(-2 - -7). Suppose t + i = -22. Let y be 5/(-6)*4/t. Is y bigger than 1?
False
Let t = -9 - -14. Suppose -t*c = -0*c + 5. Let w be (-8)/(-4)*9/(-30). Which is bigger: w or c?
w
Suppose 3*h + 2*h - 5*j = 60, -h - 5*j = 18. Suppose 4*k - 28 = 2*o + o, 0 = -k - o + h. Suppose 2*x + 5 = k*x. Which is greater: x or -2.2?
x
Let k = 3 - 4.9. Let x = k + -0.1. Let g = -1