 - q. Let i = 11 + r. Are 1 and i equal?
False
Let l be (-4)/48 - 2/(-6). Suppose 0 = -2*i - z + 11, i - 2*i + 4*z = 17. Suppose 0*d + 3*d - 1 = -4*v, i*v - 3 = 0. Is d smaller than l?
True
Let p = -36/71 + 1/142. Let u = 0.1 - 0. Is p greater than or equal to u?
False
Suppose -3*m + 4*m - 5*a = 21, -25 = 5*a. Let d(g) = g - 4. Let b be d(0). Is b at least as big as m?
True
Let l(k) = 4*k**2 - 6*k + 3. Let u be l(2). Which is greater: u or 8?
8
Suppose -5*n = -3*n + 6. Which is smaller: 0.3 or n?
n
Let i = 2 - 0. Let v be i*(45/6)/3. Suppose v*w + 2*q = 4*q + 8, -3*w + 9 = 3*q. Is 2 != w?
False
Let f be 22/76 + 3/(-6). Which is bigger: -1 or f?
f
Let s(i) = i**2 + 6*i - 12. Let y be s(-7). Which is greater: y or -6?
y
Let v = 1 - 9. Let t = 17 + v. Is 10 smaller than t?
False
Suppose 5*i - 169 = -134. Suppose -15 = -l - 8. Is i equal to l?
True
Let y = 94 - 95.94. Let v = y - 0.06. Let f = -19 - -17. Is f less than or equal to v?
True
Suppose 7*p = -p + 8. Which is bigger: p or -3/17?
p
Let v be (3/11)/(3/(-2)). Let n(m) = m**3 + 2*m + 2. Let p be n(-1). Is v equal to p?
False
Let h be 3/(-6) - 7/(-2). Suppose -5*k + 25 = t - 6*t, -h*k = 2*t - 10. Is -1 != t?
False
Suppose -2*q + 3 = -5. Let l be 3/4*q*-1. Let i be 2 + ((-42)/(-4))/l. Is -3 > i?
False
Let o = -3 + 5. Which is smaller: -2.5 or o?
-2.5
Let b = -13 - -19. Let d be 3/b*(2 + -2). Let w be 2 + -1 - 7/4. Is d >= w?
True
Let y = -538 + 30129/56. Which is smaller: 0 or y?
0
Suppose 0 = -4*t - 2*q + 4, 0*q = t + 4*q - 8. Which is smaller: t or -6/5?
-6/5
Let a be 2*(-1 + 0)/1. Let l = a + 2. Which is smaller: 5/6 or l?
l
Let a = 31 + -32. Is -0.12 greater than a?
True
Let p = -5.5 + 7.5. Let j = -248/1485 - 2/135. Do p and j have different values?
True
Let t be (-8)/(-12) + (-58)/6. Let x(a) = -a - 7. Let b be x(t). Is b smaller than 3?
True
Let o = 11 + -1. Let y be ((-2)/10)/((-4)/o). Which is greater: -1 or y?
y
Let j be -1*(-1)/(-4)*0. Suppose 3*v - 4 = 4*n - 3, j = 3*v - n + 2. Is 2 less than or equal to v?
False
Let v(f) = -f**2 + 8*f + 11. Let t be v(9). Are t and 3 non-equal?
True
Suppose 3*l + 2 = -3*t - 4, 4*l + t = -20. Let y = 4 + l. Let w be 1*(-2)/(-2)*y. Is -3 at least w?
False
Suppose s + w = -3*s + 23, 0 = 3*s + w - 17. Suppose 3*b = s*b - 6. Let y be (b/(-2) - 0) + 0. Are -1 and y non-equal?
False
Let w be 0/(-4 - -8) + -10. Which is smaller: 0 or w?
w
Suppose 0*b = -k - 2*b - 7, -b = 3*k + 6. Suppose -5*w = -3*r - 13, -4*w = -2*r - 2*w - 6. Are k and r equal?
True
Let p = 18 + -29. Let w(z) = z + 5. Let i be w(p). Is -6 less than i?
False
Let q = 582 - 13388/23. Is q > 0?
False
Suppose a - 2 + 3 = 0. Let i be 1/(10/(-12)) - a. Let g = -0.9 - -1. Do g and i have the same value?
False
Let y be (-1)/2*0/13. Which is smaller: y or 1?
y
Let f = -9.83 - 0.17. Is f > 1?
False
Let r be (-1 - (-1 - -1)) + -24*1. Is 0 less than r?
False
Suppose c + 4*o = -0*o + 2, 3*o = -c + 1. Let z be c*-2*2/(-8). Do 1 and z have different values?
True
Let h(z) = z**3 + 2*z**2 - 2*z - 2. Let g be h(-4). Let j be 0 - (-2 + g/(-14)). Are j and 1 non-equal?
True
Let f = 26.97 + -27. Is f not equal to 0.1?
True
Let l = 26/203 - 12/29. Which is bigger: -0.1 or l?
-0.1
Let r be (-10)/8 + 2 - 0. Suppose 2*w - 42 = 5*w. Let x be (4/w)/((-4)/28). Which is smaller: r or x?
r
Let o = 44.1 + -41. Let x = o - 3. Suppose 0 = -2*g + 4*j - 10, g + 14 = 3*j + 6. Which is smaller: x or g?
x
Let v be 4/(-18) + (-63)/81. Let a = -922/9 + 102. Which is bigger: v or a?
a
Suppose 4*q + 0*y + 13 = y, 0 = -5*q + 4*y - 8. Let h(s) = -s + 2. Let l be h(5). Which is smaller: l or q?
q
Let p = -4719 + 6858. Let r be p/15 + 2*1. Let m = -144 + r. Is 1 at most m?
False
Suppose 0 = 5*u - 6*u. Is 1/7 less than u?
False
Suppose 10 + 4 = 5*c + 2*m, m = c. Let f = c + -1. Is f <= -3/7?
False
Let u(l) = l + 2. Let h be u(-9). Which is smaller: h or -8?
-8
Suppose 0 = 2*l + 3 - 1. Let u be ((-66)/14 - -3) + 2. Which is smaller: l or u?
l
Let y(r) = r**2 - 5*r. Let m be y(7). Let b be m/4 + (-8)/(-4). Let l = b - 23/4. Which is smaller: l or 0?
l
Let h = -3 - -3. Let m = 2 + 2. Let z = m + -2. Is h < z?
True
Let q be 2/4 - 3/6. Suppose -5 = 5*v, -5*v - 9 = 6*s - 4*s. Which is smaller: q or s?
s
Suppose 3*s - 46 = -2*h, 3*s - 4*h + 2*h - 50 = 0. Is s greater than 17?
False
Suppose 75 - 3 = -3*a. Let g = a + 73/3. Do g and -1 have the same value?
False
Let v be -9 + 5 + 148/(-14). Are -16 and v unequal?
True
Let x be 40/(-25) + 6/10. Suppose 0 = -b - 0 + 3. Suppose -4*t - 1 = -b*t. Is t smaller than x?
False
Suppose 0 = 6*q - 4*q + 4. Let k be (-1 + 2)/(-1) - -1. Let f be (-1 + k)*3/3. Is q at least as big as f?
False
Let h be 4 + (-1 + 4 - -37). Let c be 4/8 - h/56. Which is smaller: -0.1 or c?
c
Suppose 0 = 3*l + 6 - 0. Let r(d) = -5*d**2 - 3*d - 2. Let v be r(l). Which is smaller: v or -15?
v
Suppose 0 = -3*z + 3*u - 6*u + 3, u + 29 = 5*z. Which is smaller: z or 3?
3
Let i be 6/(-5) - 16/20. Let r(h) = h + 6. Let y be r(-3). Let g be y/((-3)/2 + 0). Is g < i?
False
Let w(r) = r**2 - 13*r - 13. Let f be w(14). Which is smaller: 2/37 or f?
2/37
Let f be 0/((-1 + 3)/(-1)). Let a be ((-1)/2)/(-1) - f. Which is bigger: 2 or a?
2
Let a be ((-1)/2)/(5/(-90)). Suppose -b + 4 = -2*j, 0*j + 5*j + a = 2*b. Which is bigger: b or 1?
b
Let r(q) = -q**3 - 4*q**2 + 5*q + 2. Let w be r(-5). Is 0 < w?
True
Let y = 8 + -5. Suppose -j - y*j - 12 = 0. Which is greater: j or -4?
j
Let q = 4.7 - 4.6. Which is smaller: q or 3.2?
q
Suppose -20 = -2*j + 4*p, p - 2*p = 3*j - 2. Let n(q) = -q**3 + 8*q**2 - 8*q + 1. Let d be n(7). Let i be 2/6 - 1/d. Which is greater: j or i?
j
Let z be (6/8)/((-5)/4). Let w be 12 + (1 - (0 - -1)). Suppose 0*i = -i + 4*r + w, 3*i - 4*r = 12. Which is bigger: z or i?
i
Suppose 5*i = 4*i - c - 4, 0 = -i - 4*c + 2. Let y be (-1)/4 - 5/(-20). Let k be i/(-14) + (y - 0). Is 0 greater than k?
False
Let p = 156 - 10762/69. Is p at least as big as 0?
True
Let p = 20/11 + -82/33. Let j = -0.8 - -3.8. Let s = -2.9 + j. Which is greater: p or s?
s
Let n = -9 - -10. Let c be (-1 + n)/(9 - 8). Is c less than or equal to 2/3?
True
Let k = -5.9 - -0.9. Which is smaller: k or -0.03?
k
Suppose 0 = 2*t - 4 - 6. Are t and 6 equal?
False
Let r(t) = t**2 + 11*t + 15. Let k be r(-10). Suppose 0 = k*j + z - 2*z - 51, 0 = 4*j - 5*z - 45. Which is bigger: j or 9?
j
Let w(n) be the second derivative of n**4/6 + n**3/6 - 4*n. Let f be w(-1). Are f and 0 equal?
False
Let r be 1 + 1/((-1)/4). Let m = 5 - 20. Let q be (m/(-6))/(-1 + 0). Which is smaller: q or r?
r
Let i be (6 + -8)/(11*2/(-36)). Which is greater: 2 or i?
i
Suppose 2 - 6 = 4*v. Suppose 5*y + 5*l = 24 + 11, -y - 2*l + 11 = 0. Is v bigger than y?
False
Let q(p) = -p**2 - 7*p - 5. Let b be q(-6). Do 1 and b have different values?
False
Let h(l) = -11*l - 8. Let w be h(-2). Is -1 smaller than w?
True
Let u = 61.48 + -61. Which is smaller: u or 1/3?
1/3
Let b(f) = 3*f - 1. Let g be b(1). Let x be -2 - (0/2 - g). Is x less than -1?
False
Suppose -2*j - 8 = 4*a, -4*a + 2*j - 10 = 3*j. Let o be (-14)/(-21)*a/4. Is o greater than -2?
True
Let c = -2 - 4. Let a = -8 - 1. Let b = c - a. Which is smaller: 4 or b?
b
Suppose 22 = 5*b + 82. Let d be (-3 - 27/b)/1. Is -2 < d?
True
Let u(x) = 3*x + 3. Let b be u(-2). Let y = -12 - -15. Let k = b + y. Is k less than 0?
False
Suppose 0*g = g + 3*r + 11, 0 = 3*g - 2*r - 22. Let i be 92/28 + g/(-14). Let t be ((-52)/(-8))/13 - 3/(-2). Which is bigger: i or t?
i
Let g = -12 + -11. Let k = 33 + g. Which is bigger: -1 or k?
k
Let z be -6 + 5 + (-9)/(-7). Let g = -5 - -7. Let a = g - 4. Which is smaller: a or z?
a
Let l = -0.8 + 0.7. Is l >= 0.26?
False
Let v = -10 - -9. Let n = 2 + -4. Which is smaller: v or n?
n
Let t = -0.12 + -5.18. Let u = t + 0.3. Which is bigger: 0.2 or u?
0.2
Suppose -2*z - 16 = -4*o, -2*z - 2*o + 18 = 2*z. Which is smaller: z or 0?
0
Let q be (0 + (-3)/2)*2. Let k be -1 + 6 + q + 1. Suppose f - 4*h = 0, k*f + 0*h + 3*h = 0. Is -1/3 > f?
False
Let k(b) = b - 5. Let h(a) = -a + 6. Let o(w) = 2*h(w) + 3*k(w). Let t be o(5). Suppose t*y - c + 3*c + 10 = 0, 5*y + 4*c + 21 = 0. Is 2/5 not equal to y?
True
Let f be 1/(-3)*(-6)/2. Let v = -2.04 - -2. Is v at most f?
True
Let c be (((-9)/(-6))/1)/((-15)/20). Which is smaller: -18/19 or c?
c
