n or equal to g?
True
Let s(w) = w + 5. Let p be s(-5). Which is smaller: p or 3/4?
p
Suppose -j + 7 = -10. Let g = j - -10. Let p be (-4)/6 + 126/g. Is p > 1?
True
Suppose 5*s - 3*s - 6 = 0. Which is greater: 0 or s?
s
Let t = -5 + 14. Let a(y) = y**3 - 9*y**2 - 2. Let m be a(t). Let s = -3 - -2. Is s smaller than m?
False
Suppose -9 = -3*i, -7 - 5 = -5*c - 4*i. Is c smaller than 3/49?
True
Suppose 109 = -i - 51. Is -160 bigger than i?
False
Let f be (1/(-2))/(3/(-4)). Which is smaller: f or 0?
0
Suppose -y - y = -8. Suppose -5*r + y*r = -3. Let d be 8/7 + (r - 4). Are d and 0 unequal?
True
Let u = -1 - -9. Suppose -n + 3*n + u = c, -4*c - 5*n = -32. Let m = -2 + c. Is 6 greater than m?
False
Let x(o) = -o**3 + 7*o**2 - 6*o - 2. Let d be x(6). Let z(i) = i**2 + 7*i + 5. Let s be z(-4). Let v be 8/(-12)*3/s. Which is bigger: d or v?
v
Let x(t) = 2*t**3 - t**2 - t + 4. Let p be x(3). Let q = -137/3 + p. Let r = -393/5 - -79. Which is greater: q or r?
r
Suppose -5 = -3*i + 4. Let u = -5 - -5. Are u and i equal?
False
Let q = 52 + -53. Which is bigger: q or -2?
q
Let a = 32 + -31. Do a and -5 have the same value?
False
Let w = -55 + 59. Suppose n = -2*n + 3*h + 3, n + 5*h = 19. Do w and n have the same value?
True
Let n be 2 - (-2 + 44/10). Let i be ((3 - 3)/1)/(-2). Is i at most n?
False
Let j = 0.2 + -0.1. Let g be 327/(-18) + (-4)/(-6). Let v = g + 179/10. Which is greater: v or j?
v
Let n be (-6)/(-4)*42/9. Suppose -3*j = -n*j. Which is bigger: j or 2/21?
2/21
Let n be 9/(495/(-10))*(3 + -2). Is n at most -1?
False
Suppose -2*s = 3*x - 31, s + 2*x - 1 = 16. Is s >= 11?
True
Let x = -0.14 + 0.15. Which is greater: x or -3?
x
Let d(o) = o - 4. Let b be d(8). Suppose -4*x + 0*x - b = 0. Is x != -2?
True
Let t be (-8)/16 + 10/12. Which is greater: t or -1?
t
Let j = 21/2 + -10. Is 0 greater than or equal to j?
False
Suppose 2*p - 3*s + 33 = 5*p, -4*p = 3*s - 47. Is 15 at least p?
True
Let t = -70 + 78. Let q = 20 + -11. Which is bigger: t or q?
q
Let x be 1 - -3 - (2 + 0). Is x at most as big as 5/9?
False
Let n(s) = -s - 3. Let y be n(-3). Let a(o) = -o**2 - 16*o - 5. Let z be a(-11). Let h be (z/54 - y) + -1. Is 1 < h?
False
Suppose -2*k - 66 = k. Is -22 not equal to k?
False
Let r = -0.13 - -0.03. Let i = 2 + -1. Let s = -1 + i. Is s <= r?
False
Let f = 4 + -6. Let k = f + 2. Let v(a) = a + 5. Let y be v(-3). Is y at least as big as k?
True
Suppose 5*s - 6*n = -2*n + 3, 2*s + 3*n = -8. Is s bigger than -6/5?
True
Suppose -q - 7 = 2*j + 22, 70 = -5*j - 3*q. Let w = -10 - -9.9. Are w and j nonequal?
True
Suppose -40 = -15*v + 20*v. Is v at most -41/5?
False
Let k(t) = -t**2 + 19*t - 23. Let w be k(18). Is w >= -5?
True
Let p = 0.52 - 9.02. Let v = 2 + -10. Let x = p - v. Which is smaller: x or -1/4?
x
Suppose -2*w + 10 = -c - 1, -c = 5*w + 46. Suppose -4*p + 0*m = 3*m + 7, 5*p + 3*m = -5. Let o be p/6*18/c. Is 1 at most o?
False
Let n be 23/3 + 2/(-3). Let u = n + -6. Which is bigger: -1/3 or u?
u
Let o be 53 + 15 - 0/1. Which is smaller: 66 or o?
66
Let b(k) = k**3 + 7*k**2 + 5*k - 6. Let s be b(-6). Suppose s = -5*p - 4 + 19. Suppose 4*f = p - 7. Which is greater: -3/4 or f?
-3/4
Suppose j - 5*j + 28 = 0. Is 8 smaller than j?
False
Let h be ((-24)/(-36))/(32/3). Which is bigger: 1 or h?
1
Suppose 5*o = -0*x - 4*x + 6, 5*o = x + 11. Suppose o*h + 3 = h. Which is smaller: 3/4 or h?
h
Suppose 2*i + i = 0. Let w be (-11)/(308/(-8)) - (-156)/(-399). Is i smaller than w?
False
Let k(j) = j**3 - 6*j**2 - 7*j + 2. Let c be k(7). Let s be 6/15 - c/5. Suppose -2*m = -0*m + 5*f + 15, -2*m - 4*f = 12. Is m > s?
False
Let q(w) = -w**3 - 4*w**2 - 3*w + 1. Let f be q(-3). Let j be 6/(-5)*(-1)/3. Which is greater: f or j?
f
Let x = 21491/39 + -551. Is x at least 1?
False
Let f = 2.98 - -0.02. Let c = -34 + 34. Which is bigger: f or c?
f
Suppose -18 = 4*n - n. Let a = n - -5. Which is smaller: -2/11 or a?
a
Let r be (8 - 2)/(30/357). Let m = 71 - r. Let q(s) = s - 4. Let k be q(5). Which is smaller: m or k?
m
Let x(i) = -4*i + 10. Let j be x(4). Are j and -4 non-equal?
True
Let c = 7 + 1. Suppose 4 - c = 2*p. Suppose 2*h - l = 3*l - 6, 4 = 4*l. Are p and h non-equal?
True
Let u = 35 - 7. Let p be -2 - ((30 - 0) + -2). Let q be (-1)/(-3) + u/p. Is -1 != q?
True
Let q = -3 + 5. Let c = -3 + q. Let g = c + 1. Which is smaller: g or 1?
g
Let w = -60 + 70. Which is greater: 3/5 or w?
w
Suppose h - 4*y + 5 = 0, 3*h + 2 = -0*y - y. Let g be 8 - 1 - (-1)/(-1). Suppose -t + 4 = 5*r, -4*t + g*t + 4 = 2*r. Is h smaller than t?
False
Let d be ((-3)/(-12))/((-2)/(-8)). Is 2/25 less than d?
True
Let j = -401/3 + 1385/9. Let p = j - 20. Which is greater: p or 0?
p
Let t(u) = u - 3. Let f be t(6). Suppose -f*c + 2*c = 0. Suppose -4*n - n - 18 = 3*m, 5*m + 17 = -4*n. Is c greater than or equal to m?
True
Let g = -10 - -3. Let r = g - -8. Which is greater: 1/4 or r?
r
Let g(h) = h**3 + 2*h + 1. Let i be g(-1). Suppose 3*y - y = 16. Let k be (2/i)/(y/40). Is -5 greater than or equal to k?
True
Let t = 142 - 2841/20. Are t and 1 unequal?
True
Let m be (-1)/(90/93 + -1). Let z = m - 30. Let d = 19 + -77/4. Is z less than or equal to d?
False
Suppose 22 = -5*s + a, -2*s + a = 6*a - 2. Let i be (1 + -3 - -1) + 0. Let c be (i - 0/1)*4. Do s and c have different values?
False
Let h = 252 + -246.92. Let z = -5 + h. Is z equal to 0.1?
False
Suppose -2*g + g = -12. Let j be (3/14)/((-9)/g). Is j less than 1?
True
Let m = -1 - -3. Let r be m/5 - (-24)/(-10). Let d be -1 - r/(-3) - -1. Which is bigger: d or 1?
1
Let m = 2046/5 + -321212/785. Let w = m - 324/785. Let h be 1/3*(-2 + 1). Which is greater: h or w?
h
Let j = -8 + 8. Let r = -43 - -127/3. Is r <= j?
True
Let d = -0.13 + 0.13. Let m = -1 - d. Which is smaller: m or 1/3?
m
Let h = 25 - 18. Suppose 3*w - 7 = -10. Is w at least as big as h?
False
Suppose -2*y = y + 4*q - 1, 2*q = -3*y - 1. Let o be 12/20 + 52/(-120). Does y = o?
False
Let y(x) = x + 1. Let a be y(-1). Is a equal to -1/12?
False
Let f(u) = -5*u**3 - u**2 + 7*u + 10. Let t(r) = 4*r**3 + 2*r**2 - 7*r - 9. Let k(l) = -3*f(l) - 4*t(l). Let d be k(-6). Let o be (1/(-1))/(1 - d). Is o <= 1?
True
Let m be 2/(-7) + 1404/63. Let w be (-84)/m - (-14)/(-77). Which is bigger: -2 or w?
-2
Let c(v) = -v**3 + 5*v**2 - 5*v + 4. Let a be c(4). Are 2/49 and a nonequal?
True
Suppose 7*u = 4*u - 3. Which is greater: u or 0.2?
0.2
Suppose 5*b + 30 = -4*t, b + 4*t = -5 - 1. Let d = 3 - 4. Which is smaller: b or d?
b
Let m(u) = -u - 14. Let a be m(-15). Are 14/13 and a equal?
False
Let g = -197 + 192. Which is smaller: 4/19 or g?
g
Let q(l) = -l**2 - 10*l - 10. Let k be q(-7). Let g be (-40)/22 + (-2)/k. Is g <= -4/5?
True
Let j = 65.2 + -74. Let b = j - -9. Which is greater: 1/4 or b?
1/4
Let r = 1467 - 11721/8. Let m = r - 29/24. Which is smaller: 0 or m?
0
Let p(m) = 7*m**2 - 6*m + 7. Let d(c) = 3*c**2 - 3*c + 3. Let t(x) = 9*d(x) - 4*p(x). Let z be t(-2). Is z at most 0.1?
False
Let s = -14696/5245 + 2/1049. Is -3 less than s?
True
Suppose 0 = n + 4 - 3. Let b be (2/5)/(n/5). Let y be 4/12 - (-1)/(-21). Which is smaller: b or y?
b
Let i = -2 + 1.6. Let d = i + 0.3. Let t = -2.99 - 0.01. Is d at least t?
True
Let q be 3/(-6)*(-6)/(-128). Let v = q + 277/896. Do 2/7 and v have the same value?
True
Suppose 0 = i + 3*o - 13 - 2, -i = 5*o - 25. Let w(t) = 2*t - 18. Let a be w(12). Suppose 2*h + i*h - a = 0. Is h smaller than 3?
False
Let a(u) = u**3 - 3*u**2 + u - 1. Let b be a(2). Let g(r) be the first derivative of r**3/3 + r**2 - 2*r - 2. Let x be g(b). Which is greater: -1/5 or x?
x
Let d = -5 - -7. Let v = 2 - d. Let u = v - 1. Is u less than or equal to -1/3?
True
Let k = 78 + -115. Does k = -37?
True
Let b(y) = -y + 21. Let s be b(17). Suppose -5 = -4*w + 3. Which is greater: w or s?
s
Let p = -3 + 3.1. Let s = 0.1 - 0.3. Let c = p + s. Are 0 and c non-equal?
True
Let j be (-1475)/20 + 0/(-2). Let i = j - -72. Is i < -2?
False
Suppose f - 21 = -h, 3*f + h - 39 = f. Is 20 less than f?
False
Suppose 0 = -3*n + 5*f + 31, 0 = -n + 2*n - 3*f - 17. Suppose -n*l = 5*d, 2*d - 3*l - 19 = -0*d. Suppose -17*s - 25 = -22*s. Are d and s equal?
False
Let u = -29 - -20. Which is smaller: -7 or u?
u
Let v be (1/(-5))/((-4)/10)*2. Which is smaller: -11 or v?
-11
Suppose 8 = 2*y + 32. Let p be 1 