qual?
False
Let r be (-38)/(-133) + 88/(-14). Is -19/3 at least as big as r?
False
Let u be 26 + 2*2/(-4). Suppose 3*o - 5*a = 20, 0 = -2*o + a - 0*a + u. Let i be (-2)/1 - (-32)/o. Is i < 1?
True
Let r be 2/5 - (-172)/20. Let k = r + -5. Let l be 1 + 2/((-1)/(-1)). Which is greater: k or l?
k
Let t = -6.9 - -5.9. Is -1/6 greater than t?
True
Let f be ((-8)/10)/(4/(-10)). Suppose i + i = -f*z - 4, -4 = 2*i - 4*z. Let p = -0.3 + 0.5. Which is bigger: p or i?
p
Let s = -116/3 - -38. Suppose 29 = 4*u - 4*l + 1, l - 11 = -5*u. Suppose 0*d = u*d. Do s and d have different values?
True
Suppose -f + 2*f + 7 = z, 2*z + 2*f = 6. Let x be 14/6 - z/15. Suppose -x*p = -0*p + 5*h - 14, 6 = 5*p - 2*h. Is 2 < p?
False
Let f = 3 - 2.6. Let h = f - -0.6. Let c = 0.9 - h. Are -1 and c nonequal?
True
Let l = 15358/13 - 1182. Is 0 != l?
True
Let n = 2 + -3. Let p = n + 0.8. Let h = 0.03 - -0.97. Is h >= p?
True
Suppose 0 = 5*h - z + 35, 3*z = -h - z + 14. Is -7 at least h?
False
Suppose z + 8 - 24 = 0. Suppose 4*u = -4*a + z, a + 3 + 5 = 2*u. Let p = -1008/5 + 201. Is p != a?
True
Let a = -0.8 - -0.9. Is a greater than -12?
True
Let x = 12 + -7. Suppose 4*i + x = -i. Let u be (-2 - 0) + (-3 - -4). Is u less than i?
False
Let o(v) = v**3 - 8*v**2 - 8*v - 10. Let d be o(9). Suppose -4*c = 13 - 1. Which is greater: d or c?
d
Suppose 3*m + 2*m = -25. Suppose 2*k = 162 - 168. Which is smaller: m or k?
m
Let t(o) = o + 7. Let d = 11 - 19. Let u be t(d). Is -7/5 at most u?
True
Let r be 0 + 0 + (-1)/(-1). Let c = 47085551/193405065 - -2/389145. Let d = c - -3/71. Is d not equal to r?
True
Let p be ((-36)/28)/((-2)/(-7)). Let k(o) = -o. Let t be k(-5). Suppose -d = -0*d - 4*i + 6, 0 = t*i. Which is smaller: d or p?
d
Suppose 3*q + 2 - 11 = -3*r, 4*q = 2*r. Let d be (r/(-5))/((-7)/(-15)). Is d >= -1?
True
Let i(p) = -2*p + 5. Let q be i(-5). Suppose -3*s = 2*s + 5*t, -q = -2*s + 3*t. Suppose 0 = -s*j - 0 - 3. Is 4/9 at most j?
False
Suppose -5*w = 7 - 2. Let r be 2 + (-2)/(w + 3). Is 3 bigger than r?
True
Suppose -6*o = -4*o + 4*s + 164, 62 = -o + 2*s. Let l be (-38)/o*-2*-94. Let j = l - 99. Is 0 <= j?
True
Let l be (0 + -1 + 1)/2. Let h = -19 + 24. Suppose l*d = h*d. Which is bigger: 1 or d?
1
Suppose 2*f + 3*r + 1 = -12, -3*r = f + 11. Is 2/9 less than or equal to f?
False
Let h be -26 - -23 - (0 - 0 - 3). Which is greater: h or 2/17?
2/17
Let c be -1 - 0*3/(-6). Which is smaller: -1/4 or c?
c
Let a be -2 + -1 - (-2 - -4). Is -5 at most a?
True
Let w(d) = -d + 2. Let r be w(-3). Suppose r*i = -19 - 16. Let v = 10 + i. Is 2 greater than v?
False
Let x = -12 - -10. Let b be ((-3)/(-22))/(x/4). Is b > -1?
True
Let v = 1 - 5. Let m(c) = 30*c**2 - c - 27*c**2 + c**3 + 2 - 3*c. Let o be m(v). Is 3/2 >= o?
False
Let o(m) = 3*m - 2. Let y be o(1). Let b = -3816/7 + 546. Is y at most b?
False
Let q(x) = 2*x**2 + 3*x - 22. Let a be q(3). Let w be (-2)/3 + (-40)/(-6). Which is greater: w or a?
w
Let r = -22 - -13. Let u = 8 + r. Which is smaller: -0.2 or u?
u
Let u = 73 - 103. Are u and -31 unequal?
True
Let q = 650 - 1287/2. Let s = 1 + 7. Which is bigger: q or s?
s
Let v = -4 - -6. Let i(y) = 6*y**2 + 5*y + 1 - 2*y + y**3 + 2*y. Let o be i(-5). Which is smaller: v or o?
o
Suppose 3*z + 1 = 4. Which is bigger: z or -1/3?
z
Suppose o - 11 = -3*d, o + d = 10 - 5. Suppose -2*a = -3*u - 1 - 0, -6 = -4*a + 2*u. Let i be a/(-9) - (-49)/18. Are o and i non-equal?
True
Let b = -6281 + 163325/26. Let u = b - 3/13. Is u at least 1?
False
Let l(u) = 2*u + 9. Let y be l(-6). Let f(p) = -p + p + 2*p - p. Let x be f(y). Is -3 not equal to x?
False
Let y = -11 - -16. Suppose 2*v + 3*z = 6*v + 9, -y*v - 5*z + 15 = 0. Which is smaller: v or -2/3?
-2/3
Let g = 2102/9 + -234. Is g >= 0?
False
Suppose 3*o = 3*s + 9, s = -0*s + 2*o. Let q = s - -8. Let m be ((-26)/10 + 3)/((-1)/(-5)). Is q less than m?
False
Suppose -l + 5 = -2*z - 5, -z = 5*l - 6. Let g = l + -2. Which is greater: -1 or g?
g
Let w = -149 + 145. Do -25/7 and w have different values?
True
Suppose 0 = a - 6 - 10. Is 16 less than a?
False
Suppose -61 = 6*h + 5. Which is smaller: -12 or h?
-12
Suppose -5*c = -9 - 11. Suppose c*m + 4*h - 8 = -0*m, -2*m - h + 1 = 0. Which is bigger: m or -2/5?
-2/5
Let v(c) = 5*c + 8. Let m be v(8). Let t be -3*(m/27 - 2). Is -2 greater than t?
False
Let y = 22.1 + -23. Let a = -4.1 + y. Which is greater: 0.1 or a?
0.1
Let x = 89 + -76. Which is bigger: -0.1 or x?
x
Suppose 0 = 4*f - 2*f - 2. Let q be (18/15)/((-2)/10). Does f = q?
False
Suppose 2*d - 1 = -3*l, -2*l = l - d + 5. Which is bigger: 4/11 or l?
4/11
Let u be 2 - (1 - 66/(-68)). Let i be ((-231)/(-2295))/(2/5). Let m = u - i. Is m less than or equal to 1?
True
Suppose -16 = -4*w + 2*w. Suppose 3*v - w = -4*x, 0 = -5*v - x - 3*x + 8. Are 0.1 and v equal?
False
Let x be -3 + 246/75 + (-4)/20. Which is greater: -2/3 or x?
x
Suppose x = -3*z - 0*x - 119, -2*z - 90 = -2*x. Let i = z - -289/7. Which is smaller: 1 or i?
i
Let a = 0.7 + 0.3. Let g(h) = -h**2 - 2*h + 2. Let k be g(-3). Let u be (-2)/7*k/1. Which is greater: u or a?
a
Let j be ((-26)/(-60) - (-2)/(-4))*-177. Is 11 != j?
True
Let l(t) = -t**3 + 6*t**2 + 7*t + 2. Let m be l(7). Let p = 87 - 785/9. Is p less than m?
True
Let f be 1*0/(3 + 1). Do f and -0.09 have the same value?
False
Let g(u) = u**2 + 6*u + 7. Let v be g(-5). Suppose -q = 5*m - 31, -3*q + 74 = 2*q - v*m. Which is greater: 17 or q?
17
Let z(s) be the second derivative of s**5/20 + s**4/3 - s**3 - 7*s**2/2 + s. Let i be z(-5). Which is smaller: i or -0.2?
i
Let n(v) = -v**3 - 4*v**2 + 5*v + 3. Let f be n(-5). Let t = f - 3. Which is bigger: -5 or t?
t
Let x = 11 + -11. Let r = 1 + -1. Let n = r - 4. Is x equal to n?
False
Let t = 4.8 - 5. Let o = 27/76 + -2/19. Let h = o + 1/4. Which is smaller: h or t?
t
Let s = 0.923 + 0.077. Is s not equal to 49?
True
Let a = 0.3 - 0.6. Which is bigger: -0.1 or a?
-0.1
Let j = -0.1 + 0. Let x = -25.1 - -22. Let r = 0.1 + x. Are j and r non-equal?
True
Let v be (7/(-21))/(3/2). Let m = 0.3 - 0.5. Let t = -0.3 - m. Which is bigger: v or t?
t
Let r be (0 - (-6)/(-12))/((-2)/(-32)). Is r equal to 3?
False
Let h = 44 + -44. Are h and 1/88 nonequal?
True
Suppose 5*g + 2*l = 47, -5*l + l = -g + 5. Let u be g/6 - 1/(-2). Which is greater: 6 or u?
6
Let b = 15.4 - 0.4. Let m = 8 - b. Let o = 8 + m. Which is bigger: -4 or o?
o
Let b(c) = -c**2 - 18*c + 14. Let l be b(-15). Do l and 59 have the same value?
True
Suppose 6 = 4*w + 2*j, 6*j - j + 17 = -2*w. Which is bigger: 5 or w?
5
Let y = -0.131 - 0.069. Which is smaller: -1 or y?
-1
Let z be 4 + 2 + (-488)/81. Which is smaller: z or 1?
z
Let p = -0.1 + 0.2. Let i = p - 0.2. Let l = -64 + 64.3. Is l equal to i?
False
Let d(t) = -t - 2. Let x be d(0). Let i be 0 - (-2 + (-2 - x)). Suppose -i*r = r + 3. Which is smaller: 3/11 or r?
r
Let q = 0 + 3. Suppose q*f + 8 = -4. Let b be ((-6)/(-4))/(3/(-6)). Are f and b unequal?
True
Suppose -8 = 4*b + 12. Suppose r - 6*r = 15. Do r and b have different values?
True
Let l = -668/15 + 44. Which is greater: l or -1?
l
Let z be -12*((-1)/2 + 1). Let f = z - -11. Suppose -3*l + 20 = 4*c, -f*l + 5 = -l + c. Which is greater: l or -1/2?
l
Suppose 3*u + 0*p - 62 = -p, 0 = 2*u + 4*p - 48. Let q = -249 - -270. Which is smaller: u or q?
u
Let x be ((-16)/(-32))/(13/(-11656)). Let s = x + 448. Is 0 bigger than s?
True
Let d = -9 - -10. Suppose -k = 4*k + 5. Let z be k + d + (-8)/28. Which is greater: 1 or z?
1
Let u = 5 + -5. Which is greater: 7 or u?
7
Suppose 0 = 2*j + 3*j + 3*o - 11, 0 = -5*o - 15. Suppose -i = -j*i. Is i at most as big as 0?
True
Let v be 6/4*88/(-6). Suppose -6 = 2*f + 3*k + 24, 5*f - 2*k + 113 = 0. Which is smaller: v or f?
v
Suppose -9 - 3 = 4*y. Do y and -9/5 have different values?
True
Let b(u) = 39*u - 6. Let c be b(10). Let h = -6530/17 + c. Which is smaller: 0 or h?
h
Suppose -4*h = -5*p + 10 + 6, 20 = -5*h - 4*p. Is h != -2?
True
Let r be ((-44)/(-224))/(-11) + 0. Is r <= 1?
True
Let r = -4 - -10. Suppose -4*j + r = -10. Do j and 2 have the same value?
False
Let l(y) = -2*y**2 + 4*y + 1. Let o be l(3). Which is greater: -3 or o?
-3
Suppose 3*k + 3*j - 27 = -3, -4*j + 23 = k. Which is smaller: k or 1?
1
Let b = 11.04 + -0.04. Let n = 10.2 - b. Let c = -0.9 - n. Is -1/2 at least c?
False
