Is l >= v?
True
Suppose a = -5*u + 24 + 5, -2 = 2*a - 2*u. Suppose s + 5 = 4*s + 4*d, 2*s = a*d + 10. Suppose y - 22 = -5*r, -2*y - 3*r + 22 = 3*y. Is s smaller than y?
False
Let z = -0.6 - 1.4. Let u = z + 4. Which is smaller: u or 1/4?
1/4
Let v(q) = -q + 1. Let m(f) = -6. Let n(d) = m(d) - v(d). Let w be n(5). Is w at least -2?
True
Let q be 6/(-2) - -5 - 22. Is q at most as big as -20?
True
Let g = -2913/2 + 20607/14. Let o = g + -106/7. Which is smaller: -0.4 or o?
-0.4
Suppose 27 = -24*c - 3*c. Is -9/10 not equal to c?
True
Let q = -392780/9 - -43575. Let p = 67 + q. Let t(g) = -g + 6. Let k be t(5). Is k smaller than p?
False
Let u be (-1)/(-4) - 558/504. Is -1 not equal to u?
True
Suppose 3*g = 5*j - 25, 0*j = 3*j - 5*g - 31. Suppose -2*v + 12 = 5*h, -7*v + 7 = -j*v + h. Are v and 1 unequal?
False
Suppose 25 = 5*g, 4*t + 4*g - 7 = 9. Is t <= 1?
True
Let l(u) = -28*u. Let j be l(1). Let h be 0*(j/12 - -2). Is h > 0?
False
Let y(l) = -4*l + 3. Let r be y(2). Let x be (-621)/15 + (-2)/r. Let f = -163/4 - x. Is f smaller than 0?
False
Let q = -42 - -42.5. Is q at least as big as -3/7?
True
Let o = 0.1 - 0.3. Let q = 0.2 + o. Let c = -18 - -19. Is c greater than q?
True
Suppose -v = -6*v, -5*y = 3*v + 55. Which is smaller: -10 or y?
y
Let c = -1/60 - -1/10. Let l = c + 37/36. Which is smaller: l or 0?
0
Let a = -0.3 + 0.5. Let b = 13.5 + -11. Let l = b + -1.5. Is a less than or equal to l?
True
Let a = 589 + -142. Let z = 8491/19 - a. Is z != 1?
True
Suppose -5*j = j + 6. Is -2/17 > j?
True
Let h = 25/2 - 37/3. Which is greater: h or 0?
h
Let a(u) = -u - 4. Let m be a(7). Let l = -14 - m. Is -2 at most l?
False
Let x be (-3 - -2)*(-1 - 2). Suppose -x*u - u + 2*y - 10 = 0, 5*y - 20 = 5*u. Let m be 0*(-1)/2*u. Is 0 less than or equal to m?
True
Let i = -9 - -12. Let c be 4 + ((-16)/(-6))/(-4). Are i and c non-equal?
True
Let g be 18/24*7*(-1)/3. Are -2 and g unequal?
True
Let j be (2 - 3)*(-4 + 0). Which is greater: j or 7?
7
Let t(h) = 1 - 8 + 2*h - h. Let l be t(7). Suppose 0 = -l*z + 3*z - 3. Are -2/15 and z unequal?
True
Suppose 2*q = 4*q - z + 2, -2*z = 5*q + 14. Which is smaller: q or -8/5?
q
Suppose 4*z - 5*f - 17 = 0, 4*f + 0 + 4 = 0. Suppose -3*w + v + 26 = -z*v, 2*w + 4*v = -16. Let p = -0.29 + -0.71. Is w greater than p?
True
Let d be 2/(-5) - 179/(-660). Let t = 4/33 - d. Let y = -0.1 + 0.3. Is y >= t?
False
Let x(i) = -i - 4. Let u be x(-6). Let p be 0 + (u + -4 - -2). Are p and -2/27 equal?
False
Let d = 1.7 + -0.7. Let q = 4.06 + -4. Let s = q + -2.06. Is s equal to d?
False
Let n be (-96)/56 - 6/21. Let c be 2 + 3/(3/14). Let o be (n/c)/((-30)/24). Is 1 less than o?
False
Suppose -2*y + 5*y = 5*q + 3848, 4 = 4*y. Let x = q - -25375/33. Which is smaller: x or -1?
-1
Suppose -16 = r + r. Is -6 smaller than r?
False
Let h be ((-1)/4 - 0)/1. Let s(o) = -2*o**3 + o**2 + 2*o + 1. Let l be s(-1). Suppose -i + f - 5 = -5*i, 0 = -l*i + 5*f - 3. Is h equal to i?
False
Let s be ((-80)/(-30))/((-1)/(-3)). Do s and 7 have different values?
True
Let w be ((-12)/20)/((-3)/(-15)). Which is smaller: -4 or w?
-4
Let y(s) = s**3 + 11*s**2 - 7*s. Let c be y(-12). Which is smaller: -61 or c?
-61
Let j = -0.247 - 0.153. Which is smaller: -0.8 or j?
-0.8
Let i be (-11 - -15)*(-2)/(-8). Is -1/63 at least i?
False
Suppose -2*b + b = p + 2, -4*b - p - 11 = 0. Is b < -13/5?
True
Let m = -5 + 7. Let s = 2 - m. Let q be -2*(-3)/(-6) - 0. Are s and q equal?
False
Suppose -6 = 2*d - 2*j, -2 + 0 = 2*d - j. Let i = -4 - -1. Let a be i/10*45/54. Which is greater: d or a?
d
Suppose -4*o = 4*h - 4, 3*h - 3 = -4*o + 5. Suppose -j = -u + 2*u - 7, -2*u = j - 10. Which is smaller: u or o?
u
Suppose 2*r = 6, -38 = -2*d - 0*d - 4*r. Let y = d - 18. Which is greater: y or -4?
-4
Let i be -2 - 1*(-3 - -5). Let t be 2/(i/6 - 2). Which is bigger: 2 or t?
2
Let n be 0/(2/(-10) - (-9)/(-5)). Suppose 3*w + 0*w = 12. Let s be (-6)/40*(-10)/w. Is n at most as big as s?
True
Let w be ((-1)/(-5))/(4/10). Let k = -0.21 - 0.89. Let h = -1 - k. Which is greater: h or w?
w
Let k be (-2 - -4) + (-1 - 0). Let p = 2 - k. Is 2 bigger than p?
True
Suppose 4*x - 5*x + 13 = 4*f, 3*f - 6 = -2*x. Is f greater than or equal to -4?
True
Let g = -13/12 - 1/4. Which is greater: 2/3 or g?
2/3
Suppose 2*n = 5*m - 8 - 0, 0 = 4*n - 4*m + 4. Let g be 4/14 + 16/(-7). Let j be (g/(-8)*1)/n. Which is smaller: j or 1/2?
j
Let n = -125/4 - -32. Which is smaller: 1 or n?
n
Let p = 0.04 + -0.12. Which is smaller: -3 or p?
-3
Let o = -6 - -3. Let i = 6 + o. Let u be (i/2)/((-3)/(-4)). Which is smaller: 1 or u?
1
Suppose 65 - 25 = 5*h. Let j be -2 - -12 - (3 - 1). Is h less than j?
False
Let i(m) = -m**2 + 5*m - 3. Let d be i(5). Let n = d + -1. Let q be 7/n + 2/(-8). Do q and -2 have the same value?
True
Suppose -z - 2 = -11. Is z equal to 9?
True
Let k = 70 + -59. Let n be -2*(-1)/(-2)*0. Is n != k?
True
Suppose -2*w - 4*c + 6 = -10, c = -4*w + 18. Let x = w + -5. Let d be ((-2)/(-2 - x))/2. Is 3/8 < d?
True
Suppose 5*z + 23 = -3*q, 3*q = 6*q + 2*z + 29. Which is greater: q or -0.3?
-0.3
Let n(z) = -2 - z**2 - 2 + 3*z + 2*z + 0*z. Let a be n(3). Let k be (-2)/(-14)*10/a. Is 2 less than k?
False
Let d be 12/2*(-8)/(-12). Which is bigger: 5 or d?
5
Suppose t + 0*t = 4. Is t at least as big as 5?
False
Let t = 2191 + -11048/5. Is t < -19?
False
Let m be ((-79)/(-3) - 0)*3. Suppose -3*s - 74 = m. Let n = s - -358/7. Is n >= -1?
True
Let s be -1*(0 + 2) + -1. Is 3 equal to s?
False
Suppose 5*a - 25 = 2*v, 8*v - 5 = 3*v - a. Let i(h) = h**2 - 4*h + 1. Let r be i(4). Let q be (-1)/((-52)/(-8) - r). Do v and q have different values?
True
Suppose 69 = y + 67. Is y less than 7?
True
Suppose 0 = 2*x + 3*g + 2, -2*g - 3 = 2*x + 1. Let l be (22/x)/((-54)/84). Let y = 26/3 - l. Which is greater: -1 or y?
y
Let k = -3/1349 + -2203/222585. Is k > 1?
False
Let y(h) = -2*h**2 - 9*h + 2. Let v be y(-7). Let r be 39/v - (-1 - 0). Which is smaller: r or 1?
r
Let n = 5 - 1. Let h be (-8)/36 - n/(-18). Let q = -51 - -253/5. Which is greater: h or q?
h
Let p = -20.983 + -0.017. Let u = -30 - p. Is u greater than or equal to -1?
False
Let i be ((-3)/(-9))/(3/54). Let m be ((-3)/i)/(2/(-24)). Suppose 0 = 2*v - 0*v. Is m greater than or equal to v?
True
Suppose 0 = -c + 4*c. Are 1 and c equal?
False
Let u = 5 - 31. Let p = -16 - u. Is 11 at least as big as p?
True
Let s = 5 + -1. Suppose -4*b = -36 + s. Suppose -2*w = b, -3*x + 5*x - 5*w - 18 = 0. Are x and 2 equal?
False
Let p = -1021/14 - -73. Let o = -4 - -3. Is o at most p?
True
Let k = 0.11 + 2.89. Let x = -11 - -7. Let q = x + k. Is 0 >= q?
True
Let g(y) = y**3 - 5*y**2 + 5*y - 6. Let m be g(4). Let b be 6/((-1)/(1/m)). Suppose -5*f - 2 = b. Which is smaller: 2/11 or f?
f
Suppose -9 = 3*c + 36. Let j be c/(-18) + 2/3. Do j and 2 have the same value?
False
Let t(h) = 78*h**3 - h + 1. Let c be t(1). Which is bigger: 77 or c?
c
Let d(n) = -n**3 - 4*n**2 - 5*n - 4. Let f be d(-3). Suppose 0 = -4*a - 0*t + t - 1, 0 = 4*a + f*t - 14. Let w = 0 - a. Is -1 smaller than w?
False
Let w = 1.6 - 0.2. Let k = 0.42 + -0.02. Let n = k - w. Which is bigger: 2 or n?
2
Let r = 4 + -2. Let j be (-3)/((18/(-4))/(-3)). Let u be (j/(-6)*4)/2. Is u > r?
False
Suppose 4*k = 3*k + 2. Suppose 4*o - k = -18. Is -5 > o?
False
Let s be (2*-2 - 2)*3/60. Is s < 2?
True
Let u = -0.03 - 9.97. Which is smaller: 1/4 or u?
u
Let n(i) = 2*i**3 - 4*i**2 - 15*i. Let s be n(-2). Let z = -8 - -3. Is z >= s?
False
Suppose -3*d = -3*j - 339, 2*d + j = d + 119. Let r be (-4)/16 - d/48. Which is smaller: r or -2?
r
Let k be (-1)/2*(-6)/(-12). Let x = -4 + 2. Let n = -1 - x. Which is greater: n or k?
n
Suppose -4*z - 4 = -8*z. Is z less than 2/17?
False
Suppose 9*q + 63 = 2*q. Is q < -9?
False
Let h = 20 + -14. Which is smaller: 4 or h?
4
Suppose -554 = -3*v - 4*b - 6, b = -2*v + 362. Let z = 6297/35 - v. Let h = z - -97/315. Is 1 less than h?
False
Let k = 31/71 - 19955/45866. Let r = k - -5807/4522. Let n = r - 25/14. Is 0 > n?
True
Let a = 0 - 1/3. Let h be (-2)/7 - 34/(-70). Which is greater: h or a?
h
Let z = 10 - 9.1. Let i = z - 0.3. Which is greater: -2/5 or i?
i
Let j(w) = w**3. Suppose 2*a - 5*s = 17, 4*a - 4*s - 14 - 2 = 0. Let x be j(a). Let i = -0.5 + 0.56. Which is smaller: i or x?
i
Let k be (5 - (-35)/