- y. Let n = 0.1 - 0.16. Are i and n equal?
False
Suppose -45 = -5*u + 5*w, -5*u + 35 = -2*u - w. Is u > 13?
False
Let j = -11 - -28. Let z = j - 17. Do z and -1 have the same value?
False
Let k = 3332/2301 - -16/177. Is k greater than or equal to 2?
False
Suppose 2*x - 40 = -5*s - 3*x, 4*s = -2*x + 26. Let h be 2/(-9) - (-65)/9. Is h at most as big as s?
False
Let i(d) = -d**3 - d**2 + d - 2. Let b be i(-2). Suppose g - 3*s - 11 = b, 5*g + s + 35 = -2*s. Let r be (-3)/(-1*6/g). Which is bigger: -3/4 or r?
-3/4
Let r = 845/7 + -121. Which is greater: 2/33 or r?
2/33
Suppose 0*p + 2*p = 56. Suppose 5*z = -5*m - 35, p = -4*m - m + 2*z. Let w be ((-1)/(-6))/((-4)/m). Are -1 and w equal?
False
Let z = -175276/131 + 1338. Which is greater: 1 or z?
1
Suppose -5*t = -8 - 2. Let q be (-5 - (-4)/t)*1. Let b = -1 - q. Does b = 4/5?
False
Let c be (4/(-50))/((-7)/(-385)). Does -4 = c?
False
Suppose 0 = -9*j + 3*j + 120. Suppose 4*y - 60 = -0*f + f, 5*y = -f + 75. Let v be j/8*(-3)/y. Is v > 0.3?
False
Let u = 4214/17 + -248. Let b(x) = -6*x + 41. Let w(z) = -z + 8. Let v(d) = 2*b(d) - 11*w(d). Let t be v(-5). Is t != u?
True
Let a = -3.96 + -0.04. Let g = 6 + a. Does g = 2?
True
Let u be (-12)/4 + (-15)/(-6). Which is smaller: -41 or u?
-41
Let i(h) = h**3 - 5*h**2 - 6*h. Let g be i(6). Is g equal to -2/29?
False
Let a = -0.7 - -1. Let h = -4.3 + a. Let l be (-9)/36*(-1 + -1). Which is smaller: h or l?
h
Let b = -0.4 - 0.5. Let k = 0 - 0.1. Let g = b + k. Is 0.3 less than or equal to g?
False
Let l be (5115/(-970))/11 - 2/(-4). Do l and 1 have the same value?
False
Let n(q) = -q - 1. Let c(i) = i**2 - 10*i - 3. Let t(o) = c(o) - 3*n(o). Let v be t(4). Let z be (-22)/v - 4/(-6). Is z less than 0?
False
Let m = -91565/6 - -1013365/66. Suppose 0 = -2*r + 3*r + 93. Let h = m + r. Is h equal to -1?
False
Let g(u) = u**3 + 2*u**2 - u. Let d be g(1). Suppose 6*t - d*t + 4 = -3*x, x - 2*t = -18. Let v = 6 + x. Which is bigger: v or -3/5?
-3/5
Let d(p) = -p**2 - 7*p + 17. Let w be d(-9). Let m(g) = 2 + 3*g**2 + g - g**2 - 1. Let x be m(w). Which is smaller: x or -2?
-2
Suppose -2*i + 9 = i. Suppose 0*t = -i*t + 12. Let b = 13/50 - -6/25. Which is smaller: t or b?
b
Let c be (-25)/40*6/10. Does 1 = c?
False
Suppose -8 - 19 = w. Let n = w - -15. Let j be 5/4 - n/16. Which is smaller: j or 2/3?
2/3
Suppose -15 = -5*i - 5*c, -c - 17 = 5*i - 4*c. Let s be (-1 - -3) + (-2)/6. Let h = -2 + s. Which is smaller: h or i?
i
Suppose -26 = -5*r - w, 0 = -2*r + 4*w - w + 7. Let f be 1/((-11)/r + 2). Which is greater: -7 or f?
f
Suppose 0 = v - 2 + 3. Let o be 2/(-7) - (-4)/(-7). Which is greater: v or o?
o
Let i = -8 - 4. Let n = -5 + 8. Let w be n/4*8/i. Which is bigger: w or -2?
w
Let z = 4 + -7. Let g = -0.1 - 0.9. Are g and z unequal?
True
Let m be (-8)/6*3/(-2). Let g = -4 + m. Let y be 2/4 - 1/g. Which is smaller: y or 1/8?
1/8
Let w = 0.12 - 0.1. Let x = -7.22 + w. Let s = x + 7. Which is smaller: s or -2?
-2
Let f be (6/8)/(3/24 + 1). Suppose -4*i - 3*p + 16 = -5*p, p + 6 = i. Let n be 0/(-1)*(-1)/i. Is f equal to n?
False
Let u be (-9)/6*8/(-6). Suppose -2*z - 2*z = -4. Does u = z?
False
Let w = 7 + -2. Let c = 3 - w. Are -2 and c nonequal?
False
Let j(s) = s**3 - s. Let z be j(0). Suppose z = -4*a - 5*h - 19, 14 = -5*a + 3*h - 19. Which is smaller: -5 or a?
a
Let p be 46/(-4)*(-40)/20. Is p at most as big as 24?
True
Let g be 2/(-11)*(-4 - -5). Let f be 2*((-3)/(-6) - -1). Suppose -f*b - 2*v + 3 = 0, -3 + 1 = -2*b + 2*v. Which is smaller: b or g?
g
Let t(j) = 3*j**2 + 15*j + 3. Let q be t(-4). Is -9 >= q?
True
Let k = 7 + -3. Suppose 0*a - 8 = 2*a - k*j, 5*a + 5 = -5*j. Are -2 and a non-equal?
False
Let w be 2/(-4) + (-3)/(-10). Let a = -177 + 1595/9. Is a smaller than w?
False
Let h be 2/(-6) - (-4)/6. Let p be -2 - (2826/(-627))/3. Let z = p - -6/19. Is z bigger than h?
False
Let a(v) = v**2 - 3*v - 3. Suppose 18 - 6 = -r. Let i = -8 - r. Let s be a(i). Is s > 0.1?
True
Let z be (8/4)/(2/5). Suppose -2*p + 0*w = 3*w + 3, -z*w - 5 = 4*p. Let x = -37/4 + 10. Are p and x equal?
False
Let c = -3.21 + 0.21. Is 3 != c?
True
Suppose b - 1 + 4 = 0. Let c = -44 + 42. Is c at least as big as b?
True
Suppose 2*b - 5*b - 4*w + 7 = 0, -w = -1. Let s be ((-3)/8)/((-27)/18). Which is smaller: s or b?
s
Suppose 2*o + 1 = 9. Suppose 5*x = o*x. Let b be (-1 - 5/(-3)) + 4/(-6). Is b less than or equal to x?
True
Let v be (-6)/(-27) + (-58)/18. Let g = 13 + -17. Which is smaller: g or v?
g
Suppose -3*f + 2*x = 0, -x = -3*f + 4*x. Suppose -3*q + 5*q = f. Is q equal to -2/7?
False
Let g be (1 + -4)*(-4)/(-4). Let r = -11/3 - g. Suppose p + p = 0. Are p and r equal?
False
Let w = -3 - -2. Suppose 3*x = b + 37, 4*b + 0*b - 5*x = -169. Let f be (-6)/24 + b/40. Which is greater: f or w?
w
Let r(u) = -u**3 - 4*u**2 + 4*u - 3. Suppose 4*q - 5*q - 5 = 0. Let w be r(q). Is 2 bigger than w?
False
Let s = 1 + 1. Suppose s*u - 1 = y, 3*u - 7*y + 2*y = 12. Is 10 at most as big as u?
False
Let k(i) = 2*i - 3*i + 4 - 2. Let p be k(3). Let r = -180/143 + 13/11. Are p and r equal?
False
Let s = 9 - 10. Which is smaller: s or -7/3?
-7/3
Suppose 0*f - 3*j = -3*f + 45, -2*f + j = -28. Which is bigger: 2/7 or f?
f
Let x = 137/2 - 69. Is -6 not equal to x?
True
Let i = 3 + 0. Let u be 1 + -2*(i + -2). Let h = 0 + u. Is h greater than 3/2?
False
Let s = -6 + 1. Let h(k) = -k**3 - 2*k**2 + 5*k + 3. Let w be h(-3). Which is smaller: s or w?
s
Let u = 90/11 + -8. Suppose 2 = f + 1. Which is bigger: u or f?
f
Let p(m) = m + 6*m**2 + 7*m - 9 - m**3 + 0*m**3. Let y be p(7). Let l be (-6 - -3)/((-6)/(-4)). Is l greater than or equal to y?
True
Let u(d) = -d - 6 - 4*d**3 - 4*d + 3*d**2 + 5*d**3. Let k be u(-4). Does k = -2?
True
Let k be (9244/(-10))/(84/20). Let a = 220 + k. Which is bigger: 0 or a?
0
Let t be -10 + 13 + (0 - 1). Suppose 8 = b - 5*s, -2*s + 10 = 2*b + t*b. Which is smaller: 0.4 or b?
0.4
Let w(o) = -o**3 + 29*o**2 - 55*o + 28. Let d be w(27). Which is smaller: d or -2/75?
-2/75
Let g be 30/20*8/(-18). Let l = 1.2 + 2.8. Which is greater: l or g?
l
Suppose 4*n + 20 = -h, -5*h + 6 = -3*n + 37. Which is smaller: h or -9?
-9
Let y be (-1 + 3)/((-12)/42). Let i(d) be the first derivative of d**3/3 + 3*d**2 - 8*d - 1. Let p be i(y). Which is smaller: 0 or p?
p
Suppose -2*a + a - 6 = 0. Let g(c) = -c**3 - 5*c**2 + 6*c - 4. Let o be g(a). Let z = o + 7. Which is smaller: z or 2?
2
Suppose -98 = -5*t + 47. Suppose -2*h - 1 = -5*j, -4*h = h - 2*j - t. Suppose 4*c - 3 = -2*x + h, 2*x = -c + 10. Which is smaller: c or 1?
c
Suppose 0*w - 4*w + 16 = 0. Is w > 2/3?
True
Suppose 14*f = 15*f + 6. Which is greater: f or 0.1?
0.1
Let n = 19 - 16. Suppose 10 = -n*a + 7. Which is bigger: a or -2?
a
Let i = -1.9 - 2.1. Is i at most as big as -4?
True
Suppose 0 = 2*a + 3 + 5. Let x(f) = f**2 - 8*f + 1. Let q be x(8). Let t be a/120*-4*q. Which is smaller: 0 or t?
0
Let u = 0.02 - -3.18. Let a = u - 3. Is 0.1 bigger than a?
False
Let s = 5639/8750 - 1/625. Is s >= 0?
True
Let m = 46.138 - 0.138. Is m greater than or equal to -1/2?
True
Suppose -12 = -2*t + 4*c, -4*c - 6 = t - 0*c. Let h = -4 + 7. Is h at least as big as t?
True
Suppose 13*h - 3*h + 50 = 0. Suppose 0*t = -2*t - 2. Which is smaller: t or h?
h
Suppose 3*u - 2*u + 7 = 0. Let x = 77 + -85. Which is greater: x or u?
u
Let d = 27 - 36. Is -12 less than or equal to d?
True
Let w(k) = -k**3 + 15*k**2 - 13*k - 11. Let r be w(14). Suppose r*i + 4*y = -26, -4*y = -4*i - 9*y - 34. Is 0 < i?
False
Let j be 8/(-5) + (-4)/(-2). Which is bigger: j or -2?
j
Let t = -7 + -2. Let q be (-8 - t)*(-4)/(-38). Is q less than 1?
True
Suppose n + n - 4*c - 8 = 0, -4*n - 2*c + 16 = 0. Let b = n + -2. Suppose 0 = v + v - 8. Do b and v have different values?
True
Let b(j) = 9*j**2 - j + 1. Let w be b(1). Let k be w/1 + -3 - 2. Which is bigger: k or 2?
k
Let u = -2 + 3. Let t = 1/5729396 - 73937855403/131776108. Let p = t + 561. Is u less than or equal to p?
False
Let g be 32/6 - 1/3. Suppose g*a + 6 = 2*a. Let p be ((-1)/a)/(5/10). Is 0 > p?
False
Let d = -0.82 - 2.88. Let s = 0 + -4. Let a = s - d. Which is smaller: a or 1?
a
Let x = -0.297 + 16.247. Let s = -16 + x. Which is greater: s or 2?
2
Suppose 3*y = -r + 5, 3*y + 3 - 28 = -5*r. Which is smaller: 6 or r?
r
Let a be (-4)/