 15 = -3*q - 2*v - v, -5*q + 4*v + 11 = 0. Is -1/4 < q?
False
Let j = -0.2 - -0.2. Let b = j + 3. Is b >= 2?
True
Let k be -1*(-1 - (-22)/20). Is 0 smaller than k?
False
Let c = -61 + 245/4. Let p = 0.13 + -0.33. Let v = 0 + p. Is c greater than v?
True
Let i(l) = 3 - 3*l - 2*l**2 + 2*l**2 + l**2 + 6*l. Let x be i(-3). Suppose -4*k = -7*o + 3*o + 12, 5*o + 4*k - 6 = 0. Is o <= x?
True
Suppose -4*a = 3*d + a + 9, -5*d = 5*a + 5. Let l = d + -1. Are l and -1 nonequal?
True
Let j = -72 + 71. Is -8/13 less than j?
False
Let i(t) = t**2 - 14*t - 3. Let u be i(15). Suppose -2 = -u*r + 14*r. Is -3/7 <= r?
False
Let u be -3*((-4 - -4) + 1). Does -4 = u?
False
Let s = -3 - -4. Let w(x) = -x**3 + x**2 - 1. Let n be w(s). Which is greater: 2/23 or n?
2/23
Let a be (9/(-5))/(5 + (-84)/15). Is -22 <= a?
True
Let r = 1 - 1.1. Which is bigger: r or 6/5?
6/5
Let d = -182 - -357/2. Is -5 at most d?
True
Let c(j) = -j**3 + j**2 - 5*j - 1. Let m(d) = -d**3 - d + 1. Let q(k) = -c(k) + 2*m(k). Let w be q(-2). Which is smaller: 2/11 or w?
2/11
Suppose -5*s + 2*v = -3*v - 30, 0 = 2*s + 5*v - 33. Let x(z) = -2*z - 13. Let u be x(-11). Are s and u nonequal?
False
Let l(b) = b**2 - 16*b + 6. Let n = 6 + -12. Let u(i) = -i**2 + 17*i - 5. Let g(q) = n*l(q) - 5*u(q). Let h be g(10). Are h and -4/5 equal?
False
Let f = -27 + 40. Suppose 30 = 5*u - 5*x, -5*u - 5*x - f = -3. Let p be (-63)/(-156) - u/8. Which is smaller: p or -1?
-1
Let h = -5912/11 - -538. Suppose 2*j = 2*v, 0 = -3*v - j + 2*j. Is h equal to v?
False
Let s(d) = -d**3 + 3*d**2 - 3*d + 3. Suppose -2*b + 4 = -0. Let a be s(b). Let h be a + 9*2/(-14). Which is greater: -1 or h?
h
Let u = -325 - -938/3. Suppose 5 = 2*y + 29. Let t = y - u. Is t > 0?
True
Let r be 1/3 + (-69)/342. Let k = r - -2/57. Let b(g) = -g**3 + 8*g**2 - 8*g + 7. Let p be b(7). Is p at least k?
False
Let c(z) = 4*z - 17. Let x be c(5). Which is smaller: x or 9/4?
9/4
Let h be ((-4)/(-10))/((-86)/101). Let r = -3287/45881 + 2/1067. Let l = r - h. Is 2 less than or equal to l?
False
Suppose 4*v = -3*z + 2*z - 12, -3*z + 2*v + 6 = 0. Does z = 4/17?
False
Suppose -2*f + 23 = 3*f - 3*l, 5*f - 2*l = 27. Does f = 4?
False
Let l be 1 + (-7)/(-23)*-3. Let f = l - -15/92. Which is smaller: -1 or f?
-1
Suppose u = -2*u - 2*r + 8, -2*u - 5*r - 2 = 0. Let n = 6 - u. Is n at most as big as 1?
False
Suppose -3*f - 2*t + 17 = 2*t, -8 = 3*f - t. Let d = 35 - 35. Which is bigger: d or f?
d
Let l(o) = -o**2 + 4*o + 4. Let d = 10 - 5. Let w be l(d). Let c be -2*(-2)/4*w. Which is bigger: c or -2?
c
Suppose 0 = 4*s - 3*d + 11, -4*s - 4*d = s + 6. Let j be (14 - 8) + 1 + -3. Do j and s have the same value?
False
Let l be 1 + 4/8*6. Suppose 7 = -l*p + c, 2*c - 6*c = -5*p - 17. Which is bigger: p or 2/11?
2/11
Suppose 0 = 11*n + 34 + 43. Which is smaller: -20/3 or n?
n
Let d(t) be the third derivative of t**4/24 - 5*t**3/6 - t**2. Let v be d(7). Suppose 2*k + 3 = l, -l + v*k = 4*l - 7. Is l less than -2/5?
False
Let h = 2042 + -2028.89. Let r = h - 13. Let j = r + -0.71. Is -1 greater than j?
False
Let a = 0.4 + 0. Let b = -0.4 + a. Which is greater: b or -1/4?
b
Suppose n + q - 28 = 0, -n + 6*q + 18 = 5*q. Suppose u - 2*a + 3*a = n, 5*u = -2*a + 112. Let g be u/(-28) + (-20)/(-70). Is g bigger than 1/4?
False
Suppose 47*q - 50*q = 0. Which is smaller: q or -4/19?
-4/19
Let z be 22/(-6) - -3 - 160/(-105). Are z and 0 non-equal?
True
Suppose z + 2*z + 13 = -o, 2*o - 2*z = 14. Let d be 0/(-1)*(-1)/o. Suppose 0*w - 5*w = 0. Is d <= w?
True
Let w be -2 + (15/21 - -2). Let q = -1 + w. Which is smaller: -0.5 or q?
-0.5
Let i be 2/4*(-1 + 0). Suppose 10 = -3*z + 28. Suppose b - z = 4*b. Which is greater: b or i?
i
Suppose 3*w = -2*w. Suppose -b = -5*o + 8 + 2, -4*o + 8 = -5*b. Suppose h - 4*h = b. Is w at most as big as h?
True
Let b = -45 + 31. Which is smaller: 0 or b?
b
Let p(o) = 0 - o + 0. Let t = -4 + 2. Let u be p(t). Is 0 equal to u?
False
Let c be (-3)/4*8/2. Suppose -7 = -2*o - 5*i, 0 = -2*o - 2*i - 0 - 2. Is c less than or equal to o?
False
Let c(r) = -4*r - 12. Let u be c(-15). Is u at least as big as 48?
True
Let y = 21.1 + 1.9. Let c = y + -23.09. Do c and -0.1 have the same value?
False
Let v be 2/(-3)*3/6. Is -1 <= v?
True
Let a = -3 + 2. Suppose -5*w + 3*w + 6 = 0. Let j = w - 6. Is j at most as big as a?
True
Suppose 0 = -4*r + 5*z - 10, r + 4 = 2*z - 0. Suppose 0*j = j - 5, r = 3*h + 3*j - 27. Is -2/9 bigger than h?
False
Let v = 55426/29 - 1911. Is v greater than or equal to 0?
True
Let a(p) = p. Let j be a(2). Suppose -2*n + n - 4*u = -5, j*u = -n + 1. Is -3 != n?
False
Suppose 0*t + 3*t - 12 = 0. Suppose -p = 0, -60 = -t*a - 2*p + 7*p. Which is bigger: 14 or a?
a
Let f be ((-3)/6 - -1)/(-5). Which is smaller: 1 or f?
f
Let z be -16*((-1)/(-2) + 2/4). Which is smaller: -15 or z?
z
Let o = 2 - 4. Let n = -1 - o. Suppose -4*y - 20 = -5*r, 15 = -r - 3*y - 0. Is n greater than or equal to r?
True
Suppose 10*v = 6*v + 68. Is 14 > v?
False
Let u be ((-4)/(-8))/((-3)/(-142)). Let h = -24 + u. Which is smaller: -3 or h?
-3
Suppose -4 = s + 3*v + 7, v + 9 = s. Suppose 4*k - s = 0, 3*o + 8 = -k - 0. Which is greater: -5 or o?
o
Let t = 5 - 8. Let i = t - -4. Let v = i - 2. Is v at most as big as -2?
False
Let b = -0.7 - -0.4. Is b at least as big as -0.3?
True
Let q be (-202)/(-4) - 1/3. Let f = q - 50. Are 1 and f equal?
False
Let q be ((-160)/(-100))/((-1)/((-5)/(-1))). Is -8 < q?
False
Suppose 10 = 2*f + 3*c, 0 = c + 1 - 3. Suppose -f*x + 3 = -2*p - 1, -p = x - 2. Is p <= 2/19?
True
Let o(y) = -y - 11*y**2 + 10*y**2 + 3 - 2. Let m be o(0). Which is smaller: m or 3?
m
Let t(b) = -13*b + 1. Let k be t(-4). Let y = k + -263/5. Which is greater: y or -2/3?
y
Let u = -384023658/1514373185 + 4/803381. Let t = -12/65 - u. Which is greater: t or 1?
1
Let n be (-240)/198 - 8/(-12). Is n < 0?
True
Let r = -444/1691 + 14/89. Suppose 0 = 4*u + 5*t + 14, 6 = -2*u - 2*t - 0. Let s be (-2 - u)*(-1)/(-1). Is r equal to s?
False
Suppose 0*p = 3*p + 3. Let l = -42213/22 - -7673/4. Let m = -3/11 - l. Which is greater: p or m?
m
Suppose -u - 2*q + 4 = -3*u, 3*u = -q - 10. Is -1 less than or equal to u?
False
Let f = -1463 - -109721/75. Which is bigger: f or 1?
1
Suppose 4 + 0 = -2*z. Let d be (-6 - (-2 - z))/(-2). Suppose 0 = 2*i - 4*m - 14, 4*m = 4*i - 29 + 9. Is i < d?
False
Suppose 2*d + 2 = 3*d. Let l(w) = w**2 + 6*w + 2. Let r be 3/(-6) + (-11)/2. Let s be l(r). Are d and s unequal?
False
Let b(z) = 7*z**3 - z**2. Let a be b(-1). Let v(p) = 6*p + 269. Let o be v(-45). Which is smaller: a or o?
a
Let p = 12 - -6. Let z be 4/18 + (-4)/p. Let c be (4/(-10))/((-8)/25). Is c greater than z?
True
Let m be ((-9)/(-3))/(-15)*5/6. Which is smaller: m or 0?
m
Let y be 6/((-4)/(-4))*-1. Which is bigger: y or -23/5?
-23/5
Suppose -5*h = -h - 64. Suppose t - 55 = -4*u, -3*t - 70 = -4*u + 5. Are u and h nonequal?
True
Let g be (-20)/6*24/(-32). Which is smaller: 2 or g?
2
Let h be 2 - (-1426)/(-312) - -2. Let b be (-30)/(-12)*(-2)/(-12). Let s = b + h. Are 1 and s non-equal?
True
Suppose -j - j = h - 8, -4*j = -h - 22. Let s be (h/(-12))/(-1)*4. Which is bigger: s or 2/3?
2/3
Let h = -8 - -16. Suppose -h = 2*g + 2*g. Which is smaller: g or -1?
g
Let j = 2943/16 - 184. Which is bigger: j or 0?
0
Suppose -16 = -0*q + 4*q. Is -5 bigger than q?
False
Let t be (-8)/36 - 40/(-18). Suppose -2*f = -f - 13. Suppose 3*c + 2 = -f, -5*x = 5*c + 15. Are t and x nonequal?
False
Suppose -b = 3*b - 16. Suppose d = p, -b*d + 2*d - p = 0. Is 0 less than d?
False
Suppose -3*f - 32 = -5*q, 2*q + 4 = -2*f - 28. Is -15 smaller than f?
True
Let f = -4.99 - -5. Let u = f + -0.04. Is u < 1?
True
Let n = -2 + 2.9. Let u = n - 0.7. Is u greater than or equal to -0.1?
True
Let y(h) = -h**3 - 4*h**2 - 5. Let l be y(-4). Is 6 less than l?
False
Let u = 3 + -1. Let r = 0.4 - 0.7. Which is bigger: u or r?
u
Suppose 0 = 6*r + 40 - 10. Is -3 equal to r?
False
Let i = -1.49 + -4.41. Let g = -6 - i. Which is smaller: g or 5?
g
Let r = 35.3 - 36. Which is bigger: r or -0.04?
-0.04
Let z = -57 - -85. Let m be 3/(-12) - (-3)/z. Which is bigger: 1 or m?
1
Let v be -2 + -10*2/(-4). Suppose 0*g + 18 = 3*g. Let t be (-7)/(-3) - (-4)/g. Are v and t non-equal?
False
Let r = -1 + 1.03. Let d = -9 - -9. Which is greater: d or 