qual?
False
Let y be -3 + (-39)/(-45)*3. Which is smaller: 2/9 or y?
y
Let m = -17 + 33. Let y = m - 15. Is -0.05 bigger than y?
False
Suppose -2*w = -3*i + 6, -5*i = -6*w + 2*w - 8. Suppose -o = 2*a - 13, i*a = o + 42 - 1. Suppose -2*m - a = 3*x, -2*m + 3*x - 2 = 1. Are -3 and m nonequal?
False
Let j be (16/6)/4 - 548/876. Which is smaller: -1 or j?
-1
Let s = -4 - -4. Let a = 102 - 101. Is s > a?
False
Let y = 40 + -32. Is y smaller than 1?
False
Suppose 0 = 3*v - 0*v - 24. Do 12 and v have different values?
True
Let k be (-16)/126*(-18)/168. Is -1 at most k?
True
Let v be (-3)/6 - -3*4/24. Do v and -2 have different values?
True
Suppose 48 = -2*z + 2. Is z > -2/3?
False
Suppose 0*y = y - 7. Let z be (-2)/9 - 650/(-90). Let d = z - y. Which is greater: d or 2/9?
2/9
Let n = -0.383 + 0.383. Let u = 0.02 - 0.62. Is n not equal to u?
True
Let s(c) = -5*c**3 - 4*c**2 - 3*c - 5. Let x be s(4). Let z = x - -4415/11. Which is smaller: -1 or z?
-1
Let l(c) = c**2 - 9*c - 10. Let q be l(10). Suppose -2*s - 16 = -2*a, -2 = -a - 3. Let m be q - (s/(-4) - 2). Is -3 at most m?
True
Let q = -4 - -16. Let a = -6 + q. Suppose 5 = a*t - t. Which is bigger: -2 or t?
t
Let l = 4 - 5. Let i be (-1)/6 - (-244)/(-120). Let k = -27/10 - i. Which is bigger: k or l?
k
Let g = 1.8 + 0.2. Let p = 0.01 + -3.01. Is g < p?
False
Let x = -15/32 + -1/32. Suppose 0 = -4*t - t. Which is greater: x or t?
t
Let x = -603/4 - -153. Which is bigger: x or 1?
x
Let o(t) = -t + 25. Let k be o(11). Suppose z = 3*y - 5, 5*z - k = y + y. Which is smaller: 2 or z?
2
Let w = -1933/73515 - -11/507. Let u = w - 284/1305. Is 0 at least u?
True
Let o be 4/14 + (-450)/(-42). Let z = o + -10. Is z not equal to -2?
True
Suppose 0*a - 2*z = 2*a + 16, -3*a + 1 = -2*z. Let t be (9 + -6)*a/1. Let m be 5/5 - t/(-7). Is m at most as big as 1?
True
Suppose -9*l - 8 = -5*l + 4*g, 8 = -2*l + 2*g. Does l = -5?
False
Suppose -7*l + 2*l + 20 = 0. Let c = 7 - l. Suppose w = -c*w. Is w >= 1/5?
False
Let g be 4/(-8)*(-6)/(-9). Is -3 at least as big as g?
False
Let k = -13/6 - -5/2. Which is greater: -0.3 or k?
k
Let b = -6.93 + 7. Let m = b - -0.13. Is m at least as big as -1/3?
True
Suppose -35 = -0*m + m. Let x be (10/(-14))/(30/m). Is 0 <= x?
True
Let n be 10*(2 + (-44)/90*4). Which is greater: n or 1?
1
Let m = 17.2 + -16. Let o = 1 - m. Let l(t) = t**3 + 7*t**2 + t + 5. Let k be l(-7). Are k and o non-equal?
True
Let z be (-2)/(-4 - -2)*(4 - 7). Which is bigger: -19/8 or z?
-19/8
Suppose 4 = 3*r + 1. Suppose -2*w = -r - 3. Let u be ((-2)/15)/(w/(-6)). Is -2/7 at most as big as u?
True
Suppose -26 = 3*z + 2*u, 0*z = -3*z + 5*u + 2. Is -4 less than z?
False
Let l be 35/56 - (-2)/(-2). Suppose f + 2 = 3. Is f greater than l?
True
Let f(p) = -p**2 + 9*p - 20. Let o be f(6). Which is smaller: 3 or o?
o
Let k = 62 + -37. Is k bigger than 26?
False
Suppose 0 = 5*w - 10. Suppose 3*f = w*f. Which is smaller: f or -3?
-3
Let p = 0 - 3. Let x be 4/156 - p/(-9). Is x less than -1?
False
Suppose -3*f = -24 - 111. Let z = f - 316/7. Which is smaller: z or -1?
-1
Suppose 5 - 29 = t + 3*i, t + i = -14. Let j be (0 + 2/2)*30. Suppose -j = 6*a - 3*a. Which is smaller: t or a?
a
Suppose -4*h - 21 + 449 = 0. Let u = h - 531/5. Suppose -2*a = -5*b + 3 + 11, -4*a = b + 6. Which is greater: u or b?
b
Suppose -19 = -4*o + 21. Is o <= 10?
True
Let w be (-6)/(-2*2/4). Let a(y) = -y**3 + 6*y**2. Let u be a(w). Suppose 7*t - 2*t = u. Which is smaller: 2/5 or t?
t
Let i be 6/40*(-5)/(-6). Suppose -q - k = q - 4, 2*q - 4*k = -16. Suppose 4*r - 8*r = q. Are r and i equal?
False
Let y = 4/23 + 103/69. Let v be (-40)/(-22) + 10/55. Does y = v?
False
Suppose 3*h - 5*n + 34 = 0, -4*h = 5*n - 16 + 3. Let v be ((-4)/h)/(3/(-9)). Let p be 2/v - (-2)/(-12). Which is greater: 1 or p?
1
Let n be (-2)/(3*4/24). Are -2 and n equal?
False
Let k be -18 + (-6)/30 + (-3)/(-15). Is -19 smaller than k?
True
Suppose -2*s - 3*l - 20 = l, 0 = -5*s - 4*l - 32. Let y be 3 + -1 + (-1 - 0). Let n = -5 + y. Is s >= n?
True
Let d = -0.97 + -0.13. Let o = d + 0.1. Let x = o - 0. Which is bigger: x or 1/3?
1/3
Suppose 2*g - 3*v + 2*v + 5 = 0, -v - 1 = g. Let m(l) = -l - 2. Let f be m(g). Let w = 328/7 + -47. Is w greater than f?
False
Let r = -16.3 - -18.3. Is r != -1/3?
True
Suppose r - 2*d = d + 9, 15 = -5*d. Let l = -144/35 + 22/5. Is r greater than l?
False
Suppose 3*q = 2*x + 3 - 9, -4*x = 4*q + 8. Let w(y) = 2*y + 0*y + y - 4 - 4*y. Let s be w(-5). Is x less than s?
True
Let w(n) be the first derivative of n**2/2 + 2*n - 1. Let a be w(-2). Let z = -43/60 - -1/20. Which is smaller: z or a?
z
Let h = -6 + 7. Suppose -5*o = -0*o. Which is greater: o or h?
h
Let n be (-28)/35*8980/42. Let o = n + 171. Which is bigger: 1 or o?
1
Let s(x) = x + 9. Let u be s(-13). Let r = -11 - -7. Is r greater than u?
False
Let b(t) = t**3 - 6*t**2 - 4*t - 7. Let p be b(7). Is p > 15?
False
Let i be 3*((-28)/(-12) + -3). Let o = -6 - -8. Which is bigger: i or o?
o
Let h be -2 - (3 + -1 - 2). Let w = h + 3. Suppose 5*s - w = 4*s. Is 4/5 at most as big as s?
True
Let h = -3 + 5. Let l(c) = 6*c + c**2 + 3 + 2 + 0*c**h. Let p be l(-4). Which is greater: p or -4?
p
Let i = -57 + 229/4. Which is smaller: i or 1/2?
i
Let n be 120/21 - 4/(-14). Let s = n + -3. Let c be s/(-2)*-2*-1. Is -1/2 at most as big as c?
False
Let h = 34286/1359 + -227/9. Do h and -1 have the same value?
False
Let g = 1.21 + -1. Let m = 0.09 + g. Which is bigger: -2 or m?
m
Suppose 3*g = -0*g - 3. Suppose -v + 3*k + 5 = 0, 0*v - 4*k - 7 = -v. Is v greater than or equal to g?
True
Let k = -8/5 - -46/35. Which is greater: -0.6 or k?
k
Let w = -8094 + 32575/4. Let t = w + -50. Is 9 bigger than t?
True
Suppose 0 = -3*k + 4*k - 3*h - 24, 5*k + 4*h - 63 = 0. Let r be (3/(-4))/(k/(-8)). Is -1 > r?
False
Let y = -0.04 + 0.34. Let i = -2.3 + y. Is -3 smaller than i?
True
Let i = 247 - 2215/9. Is i less than 2?
True
Let h be 0 - 1 - 10/(-14). Let x(d) = 8*d**2 + 1. Let c be x(-1). Suppose -c*m = -5*m. Which is smaller: m or h?
h
Let q be (-1)/3 + (-5)/(-15). Which is greater: -1/17 or q?
q
Let d be 2*(-3)/(-2) - 8. Let u = d + 7. Suppose -b + u*b = 0. Do 0 and b have the same value?
True
Let w = -284 - -7666/27. Is -1 at most as big as w?
True
Let t be (-3)/(-2) + 0 + 0. Let z be 3 - -3*(-3 + 2). Let o be ((-3)/4)/(-3 + z). Which is bigger: o or t?
t
Let w be (-4)/(-9)*(-2)/8. Let p = -1 + 1. Is w less than or equal to p?
True
Let q(c) = -c**3 - 3*c**2 - 3*c + 4. Let r be q(-3). Is r > 12?
True
Let i = 34 + -22. Suppose i = 4*u - 0. Are u and 4 equal?
False
Suppose 2*g = 5 + 3. Let z be (-3 - (-2)/2) + g. Let r be 3*7/(-84) - (-2)/8. Is r at least as big as z?
False
Let f = 68338/25 - 2734. Which is bigger: 0 or f?
0
Let f(s) = s**2 - 1. Let p be f(1). Which is smaller: p or -18/23?
-18/23
Let q = 5 - 3. Let c = -7 - -6.97. Let i = c + -0.07. Which is smaller: i or q?
i
Suppose 2*l + 4*m - 7 = -1, 0 = -l + 2*m - 5. Is l less than or equal to 4/3?
True
Let q(u) = 1 - 6 + u + 4 - 2. Let v be q(-4). Which is smaller: -8 or v?
-8
Let b be -2 + (2 - 0) + -3. Let g(l) = l**3 + 5*l**2 + 5*l + 2. Let a be g(-3). Suppose -3*z + 6 = -a*z. Is z at most b?
True
Let y = -2 + 1.85. Is -0.1 at least y?
True
Let d = -1 - -3. Which is bigger: d or 6/13?
d
Suppose -s - 2*s - 15 = 4*m, 2*m + 5*s + 25 = 0. Which is bigger: m or -2/41?
m
Suppose 5*f - 4 = 6. Let h be 3*(f + 10/(-6)). Let k = -3/14 + -5/42. Which is smaller: h or k?
k
Let p = -10.89 - 0.11. Let d = p - -13. Is -5 <= d?
True
Let w = 0.37 - 0.37. Is -2/5 greater than or equal to w?
False
Suppose i = 4*g + 4 - 0, -30 = -4*i + 2*g. Is 8 greater than i?
False
Suppose -3*d = -7*d + 4. Let i = d + 0. Is -2/27 smaller than i?
True
Let j = 8 + -10. Is j at most -14?
False
Let q be 2/6 + 1/(-3). Let a = q + 1. Which is smaller: a or 2/5?
2/5
Let o = -32381047/252 - -128496. Let b be (-374)/(-126) + -2 + -1. Let d = o + b. Is d greater than 0?
False
Suppose h + 4*s = -3*h, -3*h - 2*s = 0. Suppose h = -0*o + 5*o + 45. Let c = o + 6. Is c greater than or equal to -1/3?
False
Let t = -25 - -17. Let r be t/18*6/4. Which is smaller: r or -0.1?
r
Suppose 5*k - 2*x - 62 = 0, -8 = -2*k + x + 17. Are 13 and k equal?
False
Suppose -3*w + 2*w + 3 = -r, 5*r + 5*w + 25 = 0. Let f be r - ((-5)/6 +