+ 33/21. Is 5 less than b?
False
Suppose 5 = 3*o + p, -o - 2*p + 10 = -0*p. Suppose 4*g - 3*g + 5*b - 16 = 0, 2*b - 6 = o. Let w be 7/5 - (g + 0). Which is bigger: w or 0.1?
w
Let p = 5.1 + -5. Let i = p - 4.1. Which is greater: 1/4 or i?
1/4
Let y = -0.09 + 1.29. Let f = -1.5 + y. Is 2/5 smaller than f?
False
Suppose 0 = -4*g + 35 + 29. Is g != 15?
True
Let v = -132108709/935 + 706452/5. Let t = -27/11 - v. Do 1 and t have the same value?
False
Suppose 1 = -2*i + 5. Let t(q) = 3*q**2 - 4*q - 10. Let c be t(3). Does c = i?
False
Let z(a) = 13*a**2 - a - 1. Let g be z(1). Which is bigger: 13 or g?
13
Let o(w) be the second derivative of 1/20*w**5 + 2*w - 1/3*w**3 + 0*w**4 + 1/2*w**2 + 0. Let t be o(1). Which is smaller: t or 4/5?
t
Suppose -x + 235 = 234. Is x bigger than 6/35?
True
Let b = 5 - 3. Suppose 0 = -4*j - 5*n - 17, 0*j + 12 = j - b*n. Suppose -10 = 2*f - 2*g - j, 5*f + 5*g = 0. Is f at most -3/2?
True
Let v be (-2 + 10)/2 + -1. Suppose -2*o + 0*o = -6. Suppose o*k = v*i - 3, -5*i = -4*k - 7 + 3. Is 2/15 equal to i?
False
Let q = 0.34 + 1.36. Let j = 1.4 - q. Are j and 2/5 unequal?
True
Let h be (3/2)/((-21)/(-56)). Let s = 121 + -86. Let r be (4/s)/(h/(-10)). Is r at most 1?
True
Let t = 47/2 + -23. Which is bigger: t or 32?
32
Suppose l - 4*l + 3*w + 300 = 0, -3*w = -5*l + 506. Which is greater: 102 or l?
l
Let w = 15/44 + -1/11. Let y be (3 + -2)*-2 + 2. Suppose -4*s - 12 = -y*s - 2*u, -5*u + 24 = -4*s. Which is greater: s or w?
w
Let s(i) = i**2 + 13*i + 15. Let b be s(-12). Is b at least 12?
False
Let c be 312/(-189) + 4/18. Suppose 25 = -4*s - s, -2*s - 15 = 5*b. Is c less than b?
True
Let h(s) = s + 9. Let z be h(0). Let b = z - 10. Is b <= -7?
False
Let j = -96 - -97. Which is greater: 4/69 or j?
j
Suppose -5*f - 71 = 3*v, -2*v + 3*f - 9 = 13. Let g be 9/(-12) - v/12. Which is greater: g or 0?
g
Let v = 17 - 16. Let f = -0.6 + 3.6. Is v at most as big as f?
True
Suppose -k - 2 = -6*p + p, 2*p = 5*k + 10. Let h be 2 - (1 + 9/12). Are p and h equal?
False
Let o be (63/15)/((-6)/(-8)). Let w = -26/5 + o. Which is greater: w or 1/4?
w
Let z be -4*((-2)/(-1) + -1). Let k(x) = x**3 - 6*x**2 + 4*x + 3. Let d be k(5). Let c = d - z. Which is smaller: c or 3?
c
Let o = 11 - 5. Let z be (2 - o)/(2 - 0). Is -2 equal to z?
True
Let g = -115433/99 - -1166. Is -1 > g?
False
Let n be 2/8 + (-49)/(-28). Let t = -0.01 - 0.19. Which is bigger: t or n?
n
Suppose -3*p = 5*x - 4, 0 = p - 3*x - 9 + 3. Suppose -5*b - p*g = 0, b = -b + 5*g. Suppose b - 2 = -2*r. Which is smaller: 2 or r?
r
Suppose -2*q + 26 = -2*t, -4*t - q = -11 + 58. Suppose 5*r - 84 = 12*r. Is t greater than r?
False
Let q be (-3)/12*-1 - (-13)/(-4). Which is bigger: -4 or q?
q
Suppose -q = 2*q - 12. Let i(x) = x**2 - 1 + x + 3*x - 2 - 2*x**2. Let w be i(q). Which is smaller: -2 or w?
w
Let z be (-4)/(-6) - (0 - (-10)/15). Which is greater: -2/33 or z?
z
Let c = -5 + 11. Let t(i) = 6 - 2*i**2 - 3*i**2 + c*i**2 - 7*i. Let p be t(6). Which is smaller: 2/9 or p?
p
Let o = 1602 - 3131/2. Let g = 17/58 - 4123/116. Let i = o + g. Which is bigger: i or 0?
i
Let a = 4 + -7. Let g = -0.2 - a. Let v = g - 3. Is -0.1 greater than v?
True
Let h(n) = -4*n. Let g(q) = 7*q. Let r(m) = -3*g(m) - 5*h(m). Let y be r(-2). Suppose 0 = -5*z + y*z. Which is smaller: z or -1/3?
-1/3
Let j be 2/3 + 13/(-15). Let a = 5 - -3. Suppose -3 + a = 5*n. Is j equal to n?
False
Let h(u) = -u + 11. Let k be h(8). Is 3 equal to k?
True
Let c = -0.6 + 0.6. Let k = 2 - c. Let l = 1.9 - k. Is -1/4 bigger than l?
False
Let j = 4 - -1. Suppose 3 = j*r - 4*q, -4*q + 6*q + 7 = -3*r. Let k = 55/2 - 29. Which is greater: k or r?
r
Suppose 5*v + 7 = -13. Is -11/4 at most v?
False
Let o = -0.3 - -0.7. Let j = 1.5 + o. Let n = -2 + j. Which is greater: n or -3?
n
Let x = -4 + 19. Suppose 0 = 4*f + 3 - x. Let s be (-1 + f - 3)*5. Which is smaller: -6 or s?
-6
Let x be 2/2 + 1/(-1). Let u be 4/3 + 30/(-36). Is u <= x?
False
Let v = 0 - -0.04. Let j = v - 0.04. Is 0 >= j?
True
Let k = -4 + 3.6. Let f = k + 0.5. Do 0.1 and f have the same value?
True
Suppose 5*v - 26 = -3*c + 31, 8 = 2*c. Let o be (-48)/v*1/12. Let z(u) = u - 3. Let j be z(2). Which is smaller: j or o?
j
Let s = -13 - -21. Suppose 4*n - 2*c = 12, 0 = 4*n - c + 4*c + s. Let g be (-5)/(-10)*2/n. Is g equal to 2?
False
Let d = -0.5 + 0. Let g = 15.7 + -16. Let r = d - g. Which is smaller: -1/4 or r?
-1/4
Let n be 24/(-18)*(-3)/(-2). Which is bigger: 1 or n?
1
Let p be 6/(-33) - (-9)/(-11). Let j be 6 + -6 - (p - -1). Which is greater: j or 2/35?
2/35
Let k(i) = i**2 + 2*i - 5. Let a be k(-4). Let u be 9*((-6)/(-2))/3. Suppose 4*g = 7 + u. Is a at least as big as g?
False
Let n be ((-2)/(-9))/(8/(-3648)). Let r = n - -25834/255. Which is smaller: r or 0?
r
Let x(k) = k - 3. Suppose f + 15 + 1 = 5*w, 0 = -4*w - 3*f + 9. Let q be x(w). Let y = -2 - -1. Which is smaller: q or y?
y
Let k = 1.06 + -2.26. Are -4 and k non-equal?
True
Suppose 2*g = -2*y + 4, g - 2*y + 0*y - 11 = 0. Suppose 0 = -g*v + 2 - 7. Are 20 and v nonequal?
True
Suppose 5*v = -25, -2*l - 4*v - 24 = -6. Let p = 3 + -1. Let f be (p/1)/((-1)/2). Which is smaller: f or l?
f
Let u be (-8)/12*(-9)/(-57). Suppose -2*q + 3 + 7 = 0. Suppose -q*b + 9*y + 20 = 4*y, -3*b - y = 0. Which is bigger: b or u?
b
Suppose 0 = -5*r - 3*p + 2*p - 45, 0 = 4*p + 20. Which is bigger: -7 or r?
-7
Let r = 9 - 7. Let w be (r - 0)*(-6)/4. Let x = -1 - -1. Is x equal to w?
False
Suppose 2*o + 152 = 2*x, 373 = -7*o + 2*o - 2*x. Let l be (-21)/o*2/7. Which is smaller: -1 or l?
-1
Let c be 3/12 - (-7)/4. Suppose 0 = -c*v - v. Is v bigger than -2/9?
True
Let l = -18.752 + -0.148. Let y = l + 17.93. Let x = y + -0.03. Which is smaller: x or 2/3?
x
Let h(d) = -2*d**2 + 4*d - 2. Let b be h(2). Let n = b - -3. Does 1/31 = n?
False
Let h be 4/(-24)*35 - -3. Is -3 <= h?
True
Let g = 21 - 153/7. Which is greater: -1 or g?
g
Let t = 2767/3 - 911. Let b = t + -35/3. Let x = -6.5 - -7. Which is greater: b or x?
x
Suppose 14*r = -3*r. Let h = -67281/61 + 1103. Are h and r nonequal?
True
Let q be ((-12)/152)/(6/8). Is q not equal to 0?
True
Let v(i) = 38*i**2 - 37*i**2 - 20 + 5 - 5*i. Let q be v(7). Is -1/2 greater than or equal to q?
True
Let z = -0.4 + 0.8. Let t = z - 0.5. Let g(d) = d - 6. Let a be g(5). Is t > a?
True
Let j(s) = -s - 5. Let n(c) be the first derivative of c**4/4 - c**3 - 2*c + 2. Let b be n(2). Let g be j(b). Is 2/9 >= g?
False
Let k = 1 + -1. Suppose 4*c + 12 = -k*c. Let z = -2 + c. Does -1 = z?
False
Let z = -0.1 + 0.1. Let i = 89/3 - 30. Which is greater: i or z?
z
Suppose 4*y = r + 10 + 8, -4*r + 23 = 3*y. Let s = -1 - -2. Suppose 0 = -l - 0 + s. Is r at least as big as l?
True
Let k(g) = -5*g**3. Let l = 0 - 1. Let s be k(l). Suppose -t = 3*t - h - 1, -s*t - h = 10. Which is smaller: 2/11 or t?
t
Let n(v) = v**3 - 10*v**2 - 2*v + 23. Let c be n(10). Is 3 < c?
False
Suppose -h - h - 18 = 0. Let b be (-20)/(-16) + h/12. Which is bigger: 0.2 or b?
b
Suppose -t + 5 = 5*v + 1, 5*t = 3*v + 20. Suppose -4*w = r + t*r + 162, -4*r = -5*w - 223. Let q = 212/5 + w. Which is greater: q or -2?
q
Suppose -l = 15 - 22. Which is greater: 18 or l?
18
Let q = 4 - -5. Let k = 9 - q. Is k less than 1?
True
Suppose 4*b + 2*j = 18, -4*b + 9 = j - 2*j. Suppose 3*i - 13 = 4*l, 4*l = -3*i + 9*l + 14. Does b = i?
True
Suppose -15 = 5*u, -4*u + 8*u = -z - 14. Let s be -3 + -2 + 2/1. Let x be (z/7)/(s/7). Is 0.1 > x?
False
Let b = -0.3 - -0.3. Let t = -34.9 - -37. Let c = -2 + t. Do c and b have the same value?
False
Suppose -3*t + 13 = -w, 0*t - 11 = 3*t + 5*w. Let s = 11 + -6. Suppose -u + t = -2*b + s*b, -1 = -b + u. Which is greater: 0 or b?
b
Let x(g) = g + 13. Let w be x(-8). Which is smaller: 4 or w?
4
Let a be (3 - 1)/(3/6). Suppose a*j - 12 = 5*m, 0 = -j - 2*j - 3*m - 18. Is j greater than or equal to -2?
True
Let t(p) = -p**2 - 6*p + 10. Let w be t(-7). Let x be (-14)/w*(1 + 2). Let l be x/144 - (-4)/18. Which is bigger: l or 0?
l
Let i be (-3)/((1 + -4)/3). Suppose i*g = g + 6. Which is smaller: g or 8/5?
8/5
Let z = 41/24 + -7/4. Let q be (-4)/7 - (-10)/336. Let o = z - q. Do 2 and o have the same value?
False
Let b = 0.5 - 0.45. Let y = -0.25 - b. Let t = 0.3 + y. Is 0 at least as big as t?
True
Let r = 2 + -4. Let j be 0/(r/(-1)) 