16, 4*v + 2*c = 25 - 11. Let d be v*3/(-2 + -1). Is -3/8 >= d?
True
Let s(k) = -k + 13. Let t be s(5). Which is bigger: 10 or t?
10
Let q be (-9285)/(-110) - 2/(-4). Let n = q + -85. Which is greater: 1 or n?
1
Suppose 2*l = -3*t + t - 8, 3*t - 2*l - 3 = 0. Is t greater than -1/3?
False
Let p be (-4)/(-10)*(-5)/(-1). Let d(r) = -2 + 8*r + 0 - r**3 - 6*r. Let b be d(-2). Is p greater than or equal to b?
True
Suppose -2*t + 5*v - 11 = -219, 4*v = -2*t + 244. Let o = t + -1028/9. Which is bigger: 1 or o?
1
Suppose 8*j = 5*j + 9. Is 3 less than or equal to j?
True
Suppose 0*l = -2*l. Suppose -f - 2*f - k + 5 = 0, l = -2*f - k + 3. Let c be f/2*2 - 0. Is 1 >= c?
False
Let d be (-20)/(-50) + 246/10. Do d and 25 have the same value?
True
Let x be (-4)/10 - (-17)/5. Let b(j) = -j**3 + 2*j**2 + 4*j - x*j**2 - 2*j**2. Let t be b(-4). Is 1 >= t?
True
Suppose -r + 30 = 5*r. Let k(w) = w**3 - w**2 - 3*w - 3. Let y be k(3). Is y at least r?
True
Suppose 0 = -k - 5*z + 2, z - 50 = -4*k + 2*z. Let r be -1 - 1 - k/(-5). Which is smaller: 0 or r?
0
Let p = -310 - -30. Let g be (-1)/1 + p/(-294). Which is smaller: 1 or g?
g
Let r = 0.07 + -0.17. Let j be -4 - 3/(-6)*6. Let p be (1/((-3)/2))/j. Is r smaller than p?
True
Suppose -u - 9 = 2*u. Let a(d) = -2*d + 3. Let x be a(3). Is u smaller than x?
False
Let t be ((-2)/192)/(10/(-45)). Which is bigger: t or -1?
t
Suppose 2 = 5*d - 13, -d = -5*z - 8. Are z and 2/163 equal?
False
Suppose 5*b - 4*t - 20 = 0, 4*b + 3*t = -0*b + 16. Let u = b - -1. Which is greater: 4 or u?
u
Let j be -1 + -39 + (-7)/((-42)/18). Which is greater: 1/2 or j?
1/2
Let s = 418 - 21320/51. Let f = 5 - 4. Which is smaller: s or f?
s
Let d be 2/8 - (-76)/(-176). Suppose 3*w + 12 = 2*k, 3*k = -4*w - 0*w - 16. Let m be (-2)/w*(0 - 0). Which is smaller: m or d?
d
Let d = -15 - -18. Suppose 3*n - 6 = d*f, n - 4 = 1. Is 5 equal to f?
False
Suppose 4*s = 14 + 2. Let j = s - 3. Let w = -10/7 + 27/14. Which is smaller: w or j?
w
Suppose -2*m + 4*a = -12, 0*m + a = -2*m - 8. Which is greater: m or -12/11?
-12/11
Let n = -15 - 29. Let q be n/(-28) + (-3 - -2). Which is smaller: q or 0?
0
Let m = 54 + -47. Which is bigger: 52/7 or m?
52/7
Let x = 2 + 3. Suppose 5*t - 10 = x*f, 4*t + 3*f = -0*f + 1. Which is smaller: -1/4 or t?
-1/4
Let d(t) = t**3 + 4*t**2 + 3*t + 1. Let s be d(-2). Suppose 3*z - s = -0. Let c = z - 2. Is c > 2?
False
Let c = 125 + -80. Which is smaller: c or 46?
c
Let y = -17 + 21. Suppose -11 - 3 = -y*z + b, 2*b - 2 = -2*z. Is 2 not equal to z?
True
Let n(r) = r**3 - r**2 + 1. Let d be n(2). Suppose -m + 4*s - 2 = 0, 2*s - s = d*m - 28. Is m not equal to 5?
True
Suppose -4*y = -2*y, 5*f - 410 = -2*y. Which is bigger: f or 83?
83
Let c be (-304)/150 + -5 + 35/5. Which is bigger: -1 or c?
c
Let g = 8 + -5. Suppose 5*k - g - 12 = 0. Let b = -30 - -63/2. Which is smaller: b or k?
b
Suppose s - 5*b - 4 = 4, 29 = -5*s + 2*b. Let o = s + 0. Is o >= -7?
True
Let s be (0 - -2)/((-2)/3). Suppose -14 - 3 = -2*p + 5*l, 25 = -5*l. Is s greater than p?
True
Let i = -9 + 18. Is 9 bigger than i?
False
Let o be ((-3)/(-27))/(-2 - 32/(-6)). Is o <= 1?
True
Let j be 2*1 - (-2)/1. Let r(q) = -q. Let m be r(-6). Let i be ((-5)/6)/((-1)/m). Which is smaller: j or i?
j
Let w = -0.26 + 0.16. Is 0 bigger than w?
True
Let p(g) = 2*g - 24. Let d be p(14). Let u = 37/2 - 15. Which is smaller: d or u?
u
Let g = 7002/17 - 412. Which is smaller: g or -2/3?
-2/3
Let t be (28/(-12) + 1)*18/(-28). Which is smaller: -2 or t?
-2
Let c = 6 + -2. Suppose -c*a - 4*m = 4, 3*a + m - 1 - 2 = 0. Suppose -5 - 1 = -3*b. Is b < a?
False
Suppose -26 = -4*f + 2*f - 5*v, 8 = 4*f - v. Suppose 8*m = f*m + 10. Which is smaller: 3/4 or m?
3/4
Let s = 3.61 + 13.09. Let h = -0.7 + s. Is h < 2/3?
False
Let t be 5/10 + (-45)/162. Let z be (-2)/2*(-2)/(-2). Is t <= z?
False
Let s be (-2)/(-4) + 14/(-4). Let x(l) = -l**3 - 2*l**2 + 3*l + 4. Let f be x(s). Is -2/5 bigger than f?
False
Let g(z) = -z - 4. Let c be g(-6). Suppose 2 + 0 = -c*o. Let s = 196 - 2154/11. Which is smaller: o or s?
o
Suppose 0 = -l - 3*l - 108. Let n be (-2884)/(-18) - (-6)/l. Let g be ((-45)/n)/((-3)/4). Do g and 0 have the same value?
False
Let h = -693/1240 - -15/31. Is 0 at least as big as h?
True
Let o(j) = -j**2 - 11*j - 1. Let q be o(-5). Let l = -3673/3 - -1196. Let f = q + l. Which is bigger: f or 3?
3
Suppose b = -4*f, 5*b = f + 3*f. Does b = 1/15?
False
Let f = 1 + -3. Let q = 36 + -37. Is q >= f?
True
Suppose -3*l - 2*f = 66, -74 = 3*l + l - 2*f. Is l smaller than -22?
False
Let m = -1 - -1. Let d(j) = -j**2 - 5*j + 5. Let p be d(-7). Let u be m + (-3)/(p/(-12)). Are u and -4 unequal?
False
Let d = -5 + 7. Let s be 0 + ((-2)/(-1) - d). Let u be 1/4*16/(-6). Is u equal to s?
False
Let n = 25 - 25. Is 1/25 <= n?
False
Let x be (14/35)/((-1)/(-25)). Suppose 9*l - 4*l + x = 0. Is l not equal to 0?
True
Suppose 0 = -f - 2*f + 60. Suppose -3*i = -7*i - f. Is i smaller than -5?
False
Let f = -9 - -8. Let o be 2*-6 + (f - -2). Is -11 not equal to o?
False
Suppose -4*d + 6*d + 8 = 0. Let v be (-8)/5*(-15)/6. Suppose 3*u + 6 = -4*o - 1, -2*o + v*u - 20 = 0. Is o bigger than d?
False
Suppose -5*i + 111 = 6. Suppose -4*p + 2*c = c + i, 27 = -5*p + 2*c. Is -5 >= p?
True
Let t = -372 + 358. Suppose 3*n - 4 + 43 = 0. Which is greater: n or t?
n
Let i be 2 - -4*(-1)/4. Is i greater than or equal to 1/5?
True
Let i be (-4)/22 + (-24)/(-11). Let z be 4/8*i/(-5). Is z smaller than 0?
True
Let o(x) = -2*x**3 + x**2 - 2*x - 1. Let u be o(2). Let k = u - -31. Suppose -4*p = m - 5 + k, 5*p = m. Which is smaller: -2/33 or p?
p
Let z = 1937/10 - 391/2. Which is bigger: z or -3?
z
Let z be 3/(-2) + (-7)/(-2). Is z smaller than 2?
False
Suppose 4*r - 16 = -0*r. Let v be -24*(10/3)/(-5). Suppose v = -3*a - 5*q, -4*a + 0*q + 7 = q. Which is bigger: r or a?
r
Suppose 20 = -0*r - 4*r. Let o = -6 - r. Which is greater: -2/11 or o?
-2/11
Let t be (-2 + (-1)/(-2))*2. Let l be (-5)/(20/16) + 2. Which is greater: t or l?
l
Let x = 1.03 - 1. Let r = x + 0.07. Which is bigger: 7 or r?
7
Let r = 4 + -6. Let o be r/(-8) - (-7)/(-4). Suppose 0 = 4*m + 8, 0 = -5*f + m - 3*m - 14. Which is bigger: f or o?
o
Let g = -2.4 - -2.4. Is 3/7 equal to g?
False
Let g(x) = -x**3 + 5*x**2 + 8*x - 7. Let i be g(6). Let h = 10 + -19/2. Is i smaller than h?
False
Let l(n) = -n**3 - 8*n**2 + 9*n - 1. Let b be 6/4*(-8 + 2). Let v be l(b). Which is greater: v or -3/10?
-3/10
Suppose p + 4*p + 35 = 0. Which is smaller: -6 or p?
p
Let m = 5 + -5. Is m >= 1/5?
False
Let n = 1 + 2. Is n >= 22/5?
False
Suppose -5*u + 0*u + 2*q - 30 = 0, q = -4*u - 24. Let f be 6/(-4) + 9/u. Suppose -a - 12 = 2*a. Is a greater than f?
False
Let r = -38 - -37.8. Which is smaller: r or -6/5?
-6/5
Let u = 4.161 + 0.039. Let d = -2.9 + u. Let m = -0.3 + d. Is -0.4 at least m?
False
Suppose -6*s + 9 = -3*s. Is s less than or equal to 6?
True
Let r = 5 + -6. Let b be 6*3/(-6) - -3. Let t = b + r. Which is smaller: t or -1/2?
t
Let q be 1 - 2 - -8 - 1. Let w be (4/(-3))/((-4)/q). Which is greater: 1 or w?
w
Suppose 2*u = v + v + 10, 4*u = 5*v + 23. Is -7/2 at least v?
False
Let g(t) = -t**3 - 11*t**2 + 13*t - 19. Let o be g(-12). Which is smaller: o or -32?
-32
Let d = -1817/4 + 452. Which is smaller: -3 or d?
-3
Let h be ((-1)/(-7))/((-5)/(-35)). Which is bigger: -2 or h?
h
Let r be 1*1/((-3)/(-6)). Suppose -2*l = r*n - 4*l - 20, 3*n = 4*l + 35. Let w = -5 + n. Are 3/7 and w non-equal?
True
Let w(r) = -r + 12. Let o be w(0). Do o and 14 have the same value?
False
Suppose 25 = b + 5*r, 2*b + 4*r + 12 = 38. Suppose -4*f + b = -2*t + 1, 3*t + 3*f - 3 = 0. Is t greater than -1/9?
True
Let m = 0.089 + -0.089. Let h = -0.1 + 0. Do h and m have the same value?
False
Let r be 0 - (-1 + -1 + -2). Let z be -2 - (-1)/(r/6). Which is smaller: -2/5 or z?
z
Let r = -43 - -42. Is r bigger than 2/25?
False
Suppose -x + 5*z + 20 = 0, -4*x + 2*z = -0 + 10. Are -19/5 and x non-equal?
True
Suppose b + 4*l = -9, 0 = 2*b + 3*l + 2 + 6. Let y be 24/8*(-1)/7. Is b less than y?
True
Let d = -1.1 - -8.1. Let i = -7.8 + d. Is i less than -1/3?
True
Let t = -79/12 + 29/4. Which is smaller: 3 or t?
t
Let f(l) = -l**3 + 12*l**2 + 14*l - 20. Let v be f(13). Suppose 22 = -2*t - 2*a, 17 - 1 = -4*a. Are t and v equal?
True
S