qual?
True
Let p be -4 + 0 - (-112)/8. Let h be (-58)/(-20) + 1/((-25)/p). Which is greater: 4 or h?
4
Let h be (-33)/82412*(-12)/9. Which is bigger: h or -1?
h
Let g = 271985/191 + -1424. Let m = -413/5921 + g. Suppose 4*u + 0 = 4*b + 4, -2*b - 5 = -5*u. Do m and u have the same value?
False
Suppose 9*s - 5*l = 6*s - 385, 0 = 3*s + l + 373. Which is smaller: s or -124?
s
Let v(z) = -z**3 + z**2 - z. Let c be v(2). Let j be -2 + 3/c*-2. Let i be (j/(-3))/((-15)/(-27)). Are 1 and i nonequal?
True
Let g be (-2)/13 - (-42650)/910. Let i = -47 + g. Which is smaller: i or -15?
-15
Let l be (-118)/(-8) + 9/36. Suppose 5 = -4*w - l. Let v = 2 + w. Which is bigger: -1 or v?
-1
Let t = -125.04 + 125. Is t greater than or equal to 1/4?
False
Suppose -f = 2*a - 3 + 12, -15 = 2*f + 3*a. Let i = 3 + f. Which is smaller: i or 1?
i
Let t be 12/(-72)*(1 + -5). Let f = -1.1 - -2.9. Let n = 1.9 - f. Which is bigger: n or t?
t
Suppose -6*k + 9*k = 18. Let p be -6 + k + 2*1. Let u be (p/(-9))/((-12)/(-72)). Which is bigger: u or -1?
-1
Let m = 5761843/168 + -34295. Let k = -1/56 + m. Does 1 = k?
False
Let i = 32 - 3.5. Let c = 29 - i. Are -7 and c nonequal?
True
Let t = 36/299 + -14264/108537. Do 0 and t have the same value?
False
Let o = 247 - 127. Which is greater: o or 1?
o
Let k = 220 - 219.9. Which is smaller: 2.04 or k?
k
Let b = 14 - 6. Suppose -4*o - 12 = 4*a, o + 3*a + 1 + b = 0. Suppose o = 2*k - 4*k + 12. Are k and 6 unequal?
False
Suppose 5*z = 5, -5*w + 10*z - 8*z - 322 = 0. Is -63 greater than w?
True
Let i = -0.592 - 2.32. Let o = 0.088 - i. Which is bigger: o or -1.3?
o
Let b = -267 - -268. Let n = -489/8585 + 4/85. Is n greater than or equal to b?
False
Suppose -3*i + 75 = -5*l, 3*l + 3*i + 60 = -l. Let c be (3/l)/(1/(-35)). Suppose 0 = 6*d - 4*d - 16. Is c at least as big as d?
False
Let o be ((-3)/6)/((-1)/(-24)). Suppose -2*d + 4*m = 2*d - 480, -4*d + 3*m + 480 = 0. Let r be (d/(-12))/(1 + 0). Does o = r?
False
Let r be (-1)/(4/(-2 - 6)). Suppose 1 = -d + r*d. Suppose 4 = -5*k - d. Is -2/3 greater than or equal to k?
True
Suppose x = -t - 60, -2*x + 154 = -5*t - 146. Let d = t - -49. Is d != -12?
True
Let t = -22 + 11. Suppose 56 = -4*f + 12. Is f <= t?
True
Let t = -577 + 572. Is -1.5 < t?
False
Let k = -179358/5 - -36063. Let c = k - 192. Which is smaller: -2 or c?
-2
Let z = -5 - -8. Let w(n) = -2*n**2 + 19*n - 18. Let b be w(8). Is b not equal to z?
True
Let x be (-8 - -10)*(-29)/(-2). Suppose g - s + 47 = 3*s, 2*s + x = -g. Does g = 0?
False
Let o = -74/57 + -26/19. Let t be (3/(-9))/((14/12)/7). Which is bigger: o or t?
t
Let w be 33/6 - 4/8. Suppose -w = -4*b + 3*b. Suppose -4*h = -5*f - 35, -6*h + h = b*f - 10. Which is greater: h or 7?
7
Let f be (0 - 12)*(-1)/2. Suppose 4*n = 3*j + 18 - f, 0 = -n - 4*j + 3. Suppose -n*l - 14 = -l. Is l at most 1/4?
True
Let n(j) = -j**2 - 18*j - 14. Let q be n(-17). Suppose -q = -5*v - s, -v - 2*s + 11 = -7*s. Which is greater: v or -8/19?
v
Let w = 51 + -56. Let l = 9 + w. Are 0 and l nonequal?
True
Suppose 3*w = 5*z, 4*z - 23 = 3*z - 4*w. Suppose z*u + 3*s = -0*u, 5*s - 7 = 2*u. Let x be 2/78*(u - -4). Which is greater: 1 or x?
1
Let o = 10 + -5. Suppose a + 4*f = -3, 16 = -5*a - o*f - 29. Let h = a + 8. Which is bigger: h or -18/11?
-18/11
Let a = -11 - -75. Suppose 4*z - a = -0*z. Suppose -3*s - v - z + 5 = 0, 4*s = -4*v - 28. Which is smaller: 0 or s?
s
Let c = 5.93 - -0.07. Let t(u) be the second derivative of -u**3 + 13*u**2/2 - u + 9. Let f be t(2). Which is greater: f or c?
c
Let v = -689 - -689. Is v smaller than 12/89?
True
Let d = -15 + 24. Suppose -3*a + 8*a - 10 = 0. Suppose d = l + a. Is l greater than or equal to 7?
True
Let x(u) = 174*u + 109. Let c be x(-2). Which is bigger: c or -240?
c
Let y = 21 - 31. Suppose -o - s = 6, -o - 2*s - 3 = -0*o. Which is smaller: y or o?
y
Let k = 302/5 - 59. Which is smaller: k or -3?
-3
Let y be (-2 + 20/8)*36. Let c be 2/y + (-74)/18. Suppose 3 = 3*h - j, 5*h + 0*h = 2*j + 6. Which is smaller: h or c?
c
Let k = 724 - 722. Is k <= 3/26?
False
Suppose 0 = -4*y + 96 - 16. Let c be (3/65)/((-4)/y). Which is greater: c or -1?
c
Let i be (-685)/(-930) - 3/(-18). Does 1 = i?
False
Suppose 6*r + 49 = -713. Is -128 at most r?
True
Let y = 1069 + -980. Which is greater: 629/7 or y?
629/7
Let n = -250 + 1501/6. Are -4 and n nonequal?
True
Suppose 2*i = -5*y - 14 + 45, 0 = -4*y - 3*i + 29. Suppose y*f - 35 = -0*f. Suppose 2*o = -3 + f. Is o bigger than 3/2?
True
Let b = -124 - -125. Let j be (1 - 1)/((-1)/b). Which is smaller: 3/23 or j?
j
Suppose 0*p - 2*p + 10 = -5*f, 2*f = -3*p + 15. Let y be (p - (0 - -4))/(-1). Are y and -1 unequal?
False
Let n(o) = o**2 + 4*o + 1. Let g be n(-5). Suppose -66 + 18 = g*z. Is -5 at least z?
True
Let n(k) = k - 2. Let a be n(-1). Let r = a + 4. Let f be r/((-2 + 3)/1). Which is greater: 0 or f?
f
Let m = 1201524/22795 - 2467/47. Let d = m - 2/97. Is -24 >= d?
False
Let a be 0/(-2) + 15/1. Suppose -3*r + 10 = -5*t - 2, -r - 5*t + 4 = 0. Let m be 10/a + r/3. Is 3 less than m?
False
Let p(z) = 7*z**3 - 2*z**2 + 2*z + 6. Let l(c) = -c**3 + c**2 - c. Let k(b) = -6*l(b) - p(b). Let g be k(-5). Let f = -864 - -6046/7. Which is bigger: f or g?
f
Let c = 116383/153 + -6989/9. Is -17 at least as big as c?
False
Let l be (-12)/(5/60*4). Let q be (-63)/l*(-3)/7. Which is bigger: 0 or q?
0
Let a be 42/(-189) - 2/(-9). Let u be (a + (-3)/15)*-3. Which is bigger: u or 2?
2
Let a = -1759 - -1754. Is 88 > a?
True
Suppose 0 = -4*j - 3*j + 322. Let k(s) = -s**3 - 2*s**2 + s + 47. Let z be k(0). Which is smaller: j or z?
j
Let u be 0 + (25/(-20))/(-5). Let b = -0.21 + 0.01. Let o = 0.8 - b. Do o and u have different values?
True
Suppose 114 + 516 = 5*m. Are -2 and m nonequal?
True
Suppose h - y = 0, -3*h - 3*y + 2*y = 8. Let i(a) = -a**2 - 5*a - 3. Let u be i(h). Which is smaller: u or 16/5?
u
Let z = 1.3 - 1.54. Let r = -96.94 - -97. Let y = z - r. Which is smaller: y or -2?
-2
Suppose 11*j + 682 - 561 = 0. Let t(m) = m**3 + m - 7. Let y be t(0). Which is smaller: y or j?
j
Let n = 10 + -6. Let c be ((-14)/27)/(n/12). Let h = c - -25/18. Is -1 equal to h?
False
Let l(d) = -d**2 + 25*d - 32. Let c be l(23). Which is greater: 5 or c?
c
Let n be 0 + -3 - (-395)/25. Suppose -37 = -4*o + 15. Let k = o - n. Do 2/7 and k have the same value?
False
Suppose 4*x - 3 - 5 = 0. Suppose -q = 4*l - x, q - 1 - 1 = -l. Suppose 2*r + 6 = 4*u + 18, -q*u = r - 2. Is r bigger than 4?
False
Suppose -5*d + 16 + 22 = 4*j, 0 = -5*d + 5*j + 20. Let u be (-1)/3*1 - d/9. Which is smaller: 1/48 or u?
u
Let u = -34 + 27.2. Let j = u - -1.8. Let a = -5.7 - j. Is -0.2 not equal to a?
True
Suppose 0 = -2*k - 3*k - 75. Let p be k*2*12/10. Are p and -35 nonequal?
True
Let h be 679/(-133) + 4/38. Is h less than -34/7?
True
Let r be (-2)/(-8)*(-40)/20. Which is greater: r or -7?
r
Let h(v) = -v**2 + 14*v - 22. Let a be h(10). Let s be ((-1)/2)/(27/a). Which is smaller: -0.08 or s?
s
Suppose 5*g + 9 = 49. Suppose -t = -3*t + g. Let s be ((-12)/(-8))/(1/2). Are t and s non-equal?
True
Let z be 749/4277 + 4/(-26). Let m = 89/235 + z. Which is smaller: m or 0?
0
Suppose c - 5*j = 126 + 162, 1086 = 4*c + 2*j. Let m be (-2 - -1)*(0 - 2). Let i be (-13)/(c/(-90)) - m. Which is bigger: 3 or i?
3
Let r be ((-16)/20)/((-14)/(-35))*2. Is -26 at least as big as r?
False
Let f = 103007/11 + -9355. Which is smaller: 10 or f?
f
Let c(m) = -m**2 + 3*m - 1. Let f be c(1). Let p be f/(-2 - -3) - 1. Let s be 732/122 - 40/7. Which is smaller: s or p?
p
Let v(s) = 157*s + 48. Let j be v(5). Which is smaller: j or 832?
832
Let l = 116.8 + -130.8. Let w be 9/(-7) - (-2)/2. Are l and w unequal?
True
Let y = 62 + -129. Does 1 = y?
False
Suppose 2*t - 12 = -t. Suppose f - 5*y = -4*f + 50, 5*f - t*y = 47. Is f at most as big as 8?
True
Suppose 2*t + 8 = -6. Let d = t + 15. Let p(u) = u**2 + 4*u - 3. Let y be p(-6). Which is bigger: y or d?
y
Let k = 419638/128915 + -192/59. Are 0 and k equal?
False
Suppose 2*k = 3*t - 95, -k - 66 = 3*t + 4. Which is smaller: -166/3 or k?
-166/3
Suppose 3*j - 20 = -2*j. Let l = 0 - 0. Let r = l - -4. Is j less than r?
False
Let y be 5/((-30)/(-4)) - (-424)/(-6). Let i = y - -63. Is i at least as big as -7?
True
Suppose b = 6*b - 4*n + 35, -5*b - 2*n - 5 = 0. Let s(t) 