s i at most q?
True
Let n be -2 + 1*8 + 0. Let c(s) = s - 1. Let f be c(n). Let k(w) = 2*w + 18. Let g be k(-7). Is f not equal to g?
True
Suppose -5*o = 2*k - 5, k - 2*o - 10 = 3*o. Is 1 not equal to k?
True
Suppose a + 9 = -7. Which is greater: a or -74/5?
-74/5
Suppose 4*m + 3*v - 4 = 0, -5*m - 8*v + 9*v = -5. Is m bigger than 1/9?
True
Let s(o) = -3*o**2 + o**2 + 3*o**2 - 5*o - 4. Let j be s(6). Let t = 1247 + -3739/3. Is j >= t?
True
Let a be ((-28)/(-10))/(8/20). Is 8 greater than a?
True
Suppose -2 = -4*y + 3*x, 3*y + 3*x = -3 - 6. Let s(z) = z**2 + z + 1. Let u be s(y). Are 1/11 and u equal?
False
Let u = -29 - -20. Which is smaller: -5 or u?
u
Suppose 0 = 2*v - 0*v + 2. Is v != 1?
True
Let a(h) = -65*h + 2. Let u be a(-9). Let g = u - -120. Let j = -7771/11 + g. Is j at least 2?
False
Let f(w) = -2*w. Let k be f(-5). Does k = 11?
False
Let j be (-16)/30 + (-6)/(-30). Which is smaller: 1/3 or j?
j
Let k = 2.5 + 0.5. Let o = -3.1 + k. Let d = 12 - 12. Which is bigger: d or o?
d
Suppose 18 = -2*w - 5*t - 4, 2*w + 2*t + 10 = 0. Is 3/28 smaller than w?
False
Suppose -4*j = 3*f - 3 - 2, -5*j - 2*f + 8 = 0. Is j > 1/2?
True
Let o = -39 - -54. Is 2 at least o?
False
Let r = 0.1 - 0.3. Let y = 10 + -9.9. Which is bigger: y or r?
y
Let v be (-2)/(-10) - 256/(-20). Suppose 3*t + v = 1. Which is bigger: t or -5?
t
Let u(j) = j**3 + 6*j**2 + 4*j - 6. Let n be u(-5). Is n smaller than -6/23?
True
Let g = -11 - -15. Let t = -8 - g. Is -11 > t?
True
Suppose -k + 5*k = 2*r - 12, 4*k = 3*r - 20. Which is greater: -1 or r?
r
Let m = 5 + -5. Suppose 3*v + v = m. Suppose -a + 3 - 2 = v. Is a smaller than 4/5?
False
Suppose 0 = 3*n - 23 - 1. Let g = 19 + -12. Is n < g?
False
Let t be (2 - 1) + 1 - 1. Let d = -2/75 + -211/525. Is d less than t?
True
Let i be (-10)/(-35) + 24/14. Let h = -344/3 + 116. Is i < h?
False
Let r = -22 + 38. Which is smaller: 18 or r?
r
Suppose 3*q - 2*s - 3*s = 28, -6 = 4*q + 2*s. Does q = 1/37?
False
Let k be 1 + (0 + -1 - 0/6). Which is smaller: k or -8/7?
-8/7
Suppose 0*z = z - 2*c - 6, -2*c = -4*z + 18. Let a = 1 - -3. Let t = z - a. Is 1 at most as big as t?
False
Suppose 6 + 4 = -k. Do k and 0.2 have the same value?
False
Let n be (236/354)/(1/(-9)*2). Suppose -2*q = 2*q. Suppose q = 2*f - 2*y - 4, 0*f - 3*f + 2*y = -3. Is f less than n?
False
Suppose -3*b + 4*q + 4 = 20, -3*b - 4*q + 16 = 0. Suppose -y + 1 = 0, 3*y + 2*y = -5*g + 10. Suppose z - g = -b*z. Is 0 less than z?
True
Let c be (-5)/((-3)/(1 - -2)). Let p be 16/(-60) + (-2)/c. Which is smaller: p or -0.1?
p
Let d be 5/25 + 51/(-105). Is -2/5 < d?
True
Let y(j) = -j**2 - 7*j - 6. Let s be y(-4). Suppose -s = -4*v + 6. Let x = v - 3. Which is smaller: x or 2/15?
x
Let u = -9 + 13. Which is smaller: u or 2?
2
Let m(t) = -t**3 + 8*t**2 + 8*t - 1. Let i be m(9). Let g(p) = -p**2 - 10*p + 5. Let f be g(i). Is 5 at most f?
True
Let q be 1/(-3) - 0/(-1). Let p = -16/183 - 2485/183. Let g = 14 + p. Is q greater than or equal to g?
False
Let o(l) = -3*l**3 + l**2 + l + 1. Let g be o(-1). Let c(j) = j**3 - 3*j**2 - 3*j - 4. Let f be c(g). Let h = 51 - 407/8. Which is bigger: f or h?
h
Let p(r) = -r**3 + 8*r**2 - 8*r - 3. Let v be p(7). Which is smaller: v or -6?
v
Let b = 26 + -40. Which is greater: 0 or b?
0
Let t be 2/((-21)/(-28)*52/(-6)). Is t less than or equal to 1?
True
Let t = -11 - -12. Do t and 1 have the same value?
True
Let v(g) = g**2 - 5*g + 9. Let i(r) = -r**2 + 5*r - 10. Let f(n) = 5*i(n) + 6*v(n). Let d be f(4). Is 2 bigger than d?
True
Let h = 1.1 - 1. Let f(l) = l**2 + 6*l + 2. Let c be f(-6). Suppose -x = c*x + 3. Which is greater: x or h?
h
Let q = -7.7 + 7.9. Let m be (4/(-2))/(0 + -3). Is q at most m?
True
Let m(l) = -l**2 + 4*l + 1. Let a be m(4). Let c be (-4 - -8)*(a + 0). Suppose -k = -c*t + 13, -k = 4*t + 2*k - 9. Does 3 = t?
True
Suppose -3*u = -2*t - 14, -4*u + 0*u + 24 = -4*t. Suppose u*d = d. Are d and -1/2 equal?
False
Let y(l) be the second derivative of l**3/6 + 5*l**2 + 8*l. Let k be (0 + -2 + 3)*-7. Let u be y(k). Is u <= 3?
True
Let c(a) = a**2 + 19*a - 5. Let f be c(-19). Does -22/5 = f?
False
Let g be 50/4 + 2/(-4). Is 11 less than or equal to g?
True
Let z be (-1 - 0)/(1/(-4)). Let m = z - 5. Let c be (0*(-1)/2)/3. Which is bigger: m or c?
c
Let j(q) = -q**2 + 5*q + 5*q**2 - 3*q**2 + 3. Let h be j(-4). Is h less than or equal to -4/5?
True
Let d = -15/22 + 133/66. Suppose 4*s - 14 = 6. Suppose s*m + 0*m = 0. Are d and m equal?
False
Let m be (-165)/(-56) + -2 - 1. Let w = -81/56 + m. Are w and 2 unequal?
True
Let g(b) = b**3 - 9*b**2 + 9*b - 11. Let f be g(8). Let w(o) = -o**3 + o + 1. Let u be w(2). Is f at least as big as u?
True
Let p = 338/7 - 48. Suppose 12*a + 4 = 13*a. Suppose 2 = -2*y - 4*q, -a*y = -3*q - q - 8. Which is greater: p or y?
y
Suppose -2*m + 114 = m - 2*d, m + 3*d - 38 = 0. Are m and 38 equal?
True
Let c(r) = r**2 + 6*r - 8. Let m be c(-7). Does 1/5 = m?
False
Let z(s) = s**2 - 8*s - 7. Let q be -12*3/(-24)*6. Let n be z(q). Let h = -3 - -2.9. Which is smaller: h or n?
h
Let b(a) = -2*a**3 + 7*a**2 - 2*a + 2. Suppose 0 = 4*k - 3*k - 5. Let n be b(k). Let p = n - -579/7. Which is smaller: p or 1?
p
Let z be (-24)/(-20) + (-2)/10. Suppose l = -1 - z. Let o be (-1)/l - 28/24. Which is greater: -2 or o?
o
Let s(h) = 138*h + 9. Let r be s(7). Let z be 70/r + 1/(-5). Let j = z + 6/13. Do j and 1 have the same value?
False
Let d = -14.66 - 0.34. Let s = 23 + d. Are 1 and s non-equal?
True
Let b(o) = o**3 + 13*o**2 - 15*o - 30. Let i be b(-14). Is -16 less than i?
False
Suppose 4*p = w + 3, -p - 25 = -6*p - 3*w. Let q = 8 + -6. Are q and p equal?
True
Let h be -4 + 3 - (8 + -2). Let o = -22/3 - h. Let z(y) = -y**2 + 5*y + 5. Let s be z(6). Which is smaller: s or o?
s
Suppose 5 = 4*h - 3. Let o = 3 - h. Let s = -36 - -179/5. Is s <= o?
True
Let y = 76 + -103. Which is smaller: y or 0.2?
y
Let w = -1.5 - -2.5. Which is smaller: w or -0.25?
-0.25
Let h be (10/(-7))/5 - 120/(-28). Let w(u) = -5*u - 1. Let p(j) = -j**3 + 7*j**2 - 7*j + 5. Let d be p(6). Let x be w(d). Are h and x equal?
True
Let d be 1*31 + -8 + 5/1. Does d = 29?
False
Let a(n) = -n**3 - 3*n**2 + 5. Let s be a(-4). Let j be (-10)/14 + (-6)/s. Let i be j/(-2) + (-29)/50. Is 1 at least as big as i?
True
Let p = 23 + -25. Let u be (-14)/6 - (-1)/3. Is p not equal to u?
False
Let z(y) = y**2 - 6*y - 10. Let j be z(7). Let c be (-66)/4*2/j. Suppose -9 = -3*a - 5*o, -5*o + c + 12 = -4*a. Which is smaller: 0 or a?
a
Let h be 56/5*(-9)/114. Let a = h + 19784/21945. Let n = a + 1601/924. Which is bigger: 3 or n?
3
Suppose -7*q = 3*q - 20. Suppose 4*z = z. Let l be (q + -1)/4 - z. Is 3 at least l?
True
Let a = -64/3 + 21. Which is bigger: a or -6/5?
a
Let q = -48 - -22. Which is smaller: q or 0.2?
q
Let h(i) = 3*i + 2. Let t be h(-1). Is t greater than -1?
False
Suppose -3*k + 0*r - 16 = -2*r, 4*r = 20. Let z(l) = l - 4. Let j be z(3). Which is bigger: k or j?
j
Let m(y) = y**3 + 5*y**2 + 2*y - 5. Let k be m(-4). Suppose -4*q = 4*v - 0*q - 4, 0 = 3*q + 3. Which is greater: k or v?
k
Let s be 10/8 - (-5)/(-20). Let y = -1/166 + 181/2490. Which is smaller: y or s?
y
Let u(v) = -2*v - 1. Let q be u(-4). Let i = 10 + -2. Which is smaller: i or q?
q
Let a = 7 - -4. Let h = a + -11.1. Which is smaller: 1 or h?
h
Let v = 1 - -6. Suppose -5*r + 37 = v. Is 7 smaller than r?
False
Let h = -0.31 + 0.31. Which is greater: h or -19?
h
Suppose p = 5*f + 16, -4*f = -f + 9. Suppose a - 4*h - 13 = 0, 0 = -3*a + 3*h - 2*h + 50. Let y be ((-1)/a)/(1/2). Does y = p?
False
Let t be (-8)/(-74)*-7*(-1)/14. Is -1 greater than or equal to t?
False
Let f = 1.3 - 1.1. Suppose 3*c - 9*c - 18 = 0. Which is smaller: c or f?
c
Suppose -56 = -3*o - 2*f, -2*o + 35 = -2*f - 19. Is o != 24?
True
Let g(y) = -y + 5. Suppose -4*s = 4*m - 36, 4*m + 0*s + s - 24 = 0. Let b be g(m). Do 4/3 and b have different values?
True
Suppose 0 = -3*o + 3*k, -4*k = o + o + 12. Is o less than 8/11?
True
Let y = -7 + 9. Which is bigger: 0.1 or y?
y
Let v be 0 + -1 - (-2)/1. Let u = 721 + -402. Let x = u + -5425/17. Are x and v unequal?
True
Let p = 3 - 2. Suppose -p = b + 3. Let r = -4 - b. Are r and -2/3 non-equal?
True
Let x be -27*2/(-4)*-1. Suppose -2*o - 2*o = 52. Let m = o - x. Which is smaller: 0 or m?
0
Let g be