(-6)). Which is bigger: -1 or a?
a
Let j = 2 - 3. Let k be 9 - (j - 0 - -1). Suppose 4*x + k = -3. Is x less than or equal to -3?
True
Let n = -4/53 + -290/371. Which is smaller: n or 0?
n
Let s(p) = p**3 + 3*p**2 + p - 1. Suppose 3 - 1 = a. Suppose 4 = -4*d, a*d - 6 = -3*h + 7*h. Let r be s(h). Which is bigger: 2 or r?
2
Suppose -4*i + 7 = 3. Let y be (4/(-6))/(i/(-3)). Suppose y*b + 3*k - 14 = -k, 3*k = 3*b + 6. Which is smaller: b or 1/3?
1/3
Suppose 2*i = i + 2. Let h be 11/11*(0 - -1). Is i < h?
False
Let n(s) = -s + 15. Let p be n(7). Does p = 8?
True
Suppose 2*m - 4*v - v - 56 = 0, -107 = -5*m - 4*v. Let c = m + -12. Is c <= 11?
True
Let p(b) = -b**2 - 3*b + 2. Let z be p(-3). Suppose 0 = -2*x - 2*l + 4, 2*x + 0*x - z*l = 16. Suppose -x = 5*k - 0. Are k and 2/7 equal?
False
Suppose -4*b = -14 - 10. Let q be -2 + (-2)/(b/(-27)). Suppose 3*m = 3*s - 12, -4*m + s + 0*s = q. Are 2/23 and m unequal?
True
Suppose -4*x = -v - 20, v = -5*x - 24 - 14. Let l = 366/13 + v. Do 0 and l have different values?
True
Let m be 0 + (-1)/(-1) - -3. Let a(b) = b**2 - b + 1. Let f be a(2). Is f at least m?
False
Suppose r = 2*r. Is r less than or equal to -8/7?
False
Suppose -3*j + 5*u = 3*u - 9, -2*j - 4*u + 22 = 0. Let l = j - 1. Suppose -l*a = 4*x - 24, 27 = 5*a + 2*x + 2*x. Is 4 smaller than a?
False
Let b = -101 - -64. Is b greater than -38?
True
Let j = 281 + -275. Let s = -1 - -2. Are s and j unequal?
True
Let a be 34 - 48 - 2/((-2)/(-2)). Is -33/2 greater than or equal to a?
False
Let p = 2956/17 - 174. Let w(v) = -2*v**2 + 5*v - 1. Let q be w(2). Which is smaller: p or q?
p
Suppose r + r = 6. Is r equal to 2?
False
Let m(v) = v**2. Let z be m(0). Which is smaller: z or 2/5?
z
Let j be -2 + (1 - 0) - -1. Let r be ((-16)/(-18))/(3/(-99)). Let k = 29 + r. Which is smaller: k or j?
k
Let q(l) = 10*l**2 - 2*l + 1. Let d be q(1). Let j = 6854/5 - 1362. Let m = d - j. Do -1 and m have the same value?
False
Let h(j) = 1 + 1 + 0*j + j**2 + 0 - 5*j. Suppose 3*y - o - 4*o = 32, -5*y = -3*o - 32. Let m be h(y). Is -3 at least as big as m?
False
Suppose 5*v + 3*z = 24, 5*v + 0*z - 3*z - 36 = 0. Let s be v*(-4)/(-30) - 1. Suppose 2*b - 11 = -3*q - 3, 5*q = 10. Is s bigger than b?
False
Let a be (-8)/32 - (63/(-12) + -2). Is 6 not equal to a?
True
Let v = -1179 + 16519/14. Which is greater: 0 or v?
v
Suppose 5*y = 2*q - 15, 4*y + 7 = 4*q - 17. Suppose q*s - 4*a = -12, -7*s - 9 = -4*s - 3*a. Let l = 2 - 4. Is s less than or equal to l?
False
Suppose a + 5*m = -1, 0 = m + 2*m. Which is smaller: 2/241 or a?
a
Let h be 25/1 - 30/(-6). Which is smaller: h or 28?
28
Suppose 5*h = 9*h. Is h equal to 4?
False
Let s be 16/18*6/12. Let q = 4 + -9. Let f be 2/q - (-6)/(-10). Which is smaller: s or f?
f
Suppose 5*n + 15 = -5*m + 4*n, -2*n = -m - 14. Which is bigger: m or -7?
m
Let j = 5.97 - 6. Let q = j + 3.03. Let z = -2 + 9/4. Is z < q?
True
Let p(m) = -m**3 + 8*m**2 - 6*m - 11. Let k be p(7). Which is smaller: 0 or k?
k
Let n be (-16)/(-6) - 10/(-30). Is n less than or equal to 4?
True
Let w = -3 + -1. Let u be 6/24 + 1/w. Suppose -j + 5 - 3 = 0. Which is smaller: j or u?
u
Let q be (-24)/32 + 3/(-12). Is 2/345 < q?
False
Suppose 3*u + 0*u = 9. Let n(f) = -f**2 + f + 2. Let p be n(u). Which is bigger: -5 or p?
p
Suppose 5*x - 11 - 4 = 0. Suppose t - x = -12. Is t not equal to -8?
True
Let i = -0.017 - 13.983. Which is bigger: 1 or i?
1
Let y = -2.9 + 0.9. Which is bigger: y or -5/6?
-5/6
Let n = 98 - 2256/23. Let h(f) = 7*f**2 - 5*f + 1. Let w(j) = 20*j**2 - 14*j + 3. Let c(k) = -17*h(k) + 6*w(k). Let r be c(0). Which is smaller: r or n?
n
Let w(q) = -q - 7. Let n be w(-4). Let t be (-5)/n - (-2)/(-2). Let g(b) = -b + 3. Let c be g(2). Is t equal to c?
False
Suppose 0 = -9*y + 11 + 313. Which is greater: y or 38?
38
Let u = 1542 - 35456/23. Which is bigger: 1 or u?
1
Let r be 4/(-14)*(-1)/14. Is r smaller than 0?
False
Let d be (1/(-146))/(2/4). Is d less than -1?
False
Let r = -12 - -8. Suppose 4*y = -2*f - 24, 2*f + 56 = -2*f - 4*y. Let u = 11 + f. Is r < u?
False
Let k be (-1)/(3/375 - 0). Let j = 627/5 + k. Which is smaller: 0.5 or j?
j
Let d be (15/(-10))/(264/(-160)). Let l be 14/10 + (-2)/5. Which is smaller: d or l?
d
Let b be (-8)/12 - 2/(-3). Suppose b = z - 0*z. Which is bigger: z or 1?
1
Let i be (336/49)/(-6)*1/(-2). Is 0.1 > i?
False
Let o = -0.5 - -0.4. Let v be (1/(-4))/(2/4). Which is smaller: o or v?
v
Let d = -105 - -106. Let n = -187 + 2059/11. Which is smaller: d or n?
n
Suppose 0 = 2*s - 0*x - 3*x + 89, 0 = -4*s + 3*x - 169. Is -40 smaller than s?
False
Let i = 14 - 20. Let o be ((-4)/i)/((-4)/18). Let b = -11 + 7. Which is smaller: o or b?
b
Let z = 3 - -1. Let q be (-2)/z + 6/60. Let t = -1 - -2. Which is smaller: q or t?
q
Let s = -0.2 - -6.2. Let b = s + -1. Let i = b + -4. Is i greater than -3?
True
Let o(s) = 3*s**2 - 36*s - 57. Let k(q) = q**2 - 12*q - 19. Let v(i) = 8*k(i) - 3*o(i). Let p be v(13). Suppose 0*g = 3*g - 12. Is g greater than or equal to p?
False
Let s = 36 + -21. Let f be 1/(-6) + (-5)/s. Which is smaller: 0 or f?
f
Let q = -66 + 45. Let c be (-2 + (-39)/q)/1. Which is smaller: 1 or c?
c
Suppose 5*y = -5*a - 125, 5*a = y + 3*y + 145. Is -28 > y?
True
Let s = 4 + -3.7. Let n = 0.5 - s. Which is smaller: 1 or n?
n
Let q be 1 + ((-24740)/(-28))/5. Let w be (-4)/(-14) - 1244/(-7). Let b = w - q. Is 0 at least as big as b?
False
Let j(q) = q**3 + q**2 + 4. Let a(z) = z**2 + 10*z + 9. Let r(l) = 9*l**3 + l**2 + 2*l + 1. Let b be r(-1). Let u be a(b). Let c be j(u). Is 3 smaller than c?
True
Let a(w) = -w**2 - 5*w + 5. Let n be a(-6). Let d = -2/141 - 182/423. Is d smaller than n?
False
Let c = -5 - -7. Is -0.1 <= c?
True
Let p be (-1)/(2 + 3/6). Let t = -3 - -6. Let h be 1 - (2 + -3 + t). Is h less than or equal to p?
True
Let u(m) = m**2 + 4*m - 3. Let c be u(-6). Which is smaller: 7 or c?
7
Let h = 0.4 + -2.4. Let s = -5.25 - -5.23. Which is smaller: h or s?
h
Let x = -6 + 4. Let m(w) = -w**2 - 4*w - 1. Let b be m(-3). Let q = x + b. Is 1 less than or equal to q?
False
Let r = 3.05 - 0.05. Let i = 5 - r. Let l = 54 - 54.2. Which is smaller: l or i?
l
Let y be 21/(-28)*(-44)/(-18). Let q = -103/66 - y. Is 0 bigger than q?
False
Let n = 35 - 23. Let v(u) = -u**2 - 7 + 4*u - 1 - n*u. Let b be v(-6). Is 4 less than or equal to b?
True
Let b(m) be the first derivative of -7*m**2 - 8*m + 1. Let r be b(-7). Let f = r + -808/9. Is f smaller than 1?
True
Let x(l) = l**2 - 10*l + 9. Let f be x(5). Is -17 at most f?
True
Let y(i) = -i**3 + i**2 - i - 1. Let k be y(-1). Is 7/13 at most k?
True
Let v(f) = 2*f**3 + f**2 + 2*f + 1. Let j be v(-1). Let d = 8 - 4. Suppose -2*z + y = -z, 5*y + 1 = d*z. Which is smaller: z or j?
j
Let d(y) = y**2 + 2*y + 1. Let n be d(-4). Suppose 4*q + 3*m - 26 = 0, -3*q - 5*m + 22 = q. Which is smaller: n or q?
q
Let v(j) = -j**2 - 5*j. Let u be v(-5). Which is smaller: u or 1/59?
u
Let j = -16 - -23. Let o = 8 - j. Which is bigger: 7/5 or o?
7/5
Let r be ((-3)/(-9) - 740/24)*-2. Which is bigger: 62 or r?
62
Let j = -0.2 + 1.2. Let g = j + -1. Let r = g - 1. Which is bigger: -1/4 or r?
-1/4
Suppose -10 = -2*g, -b - 2*g = -4*g + 10. Let z be -1*1 - 0/(-6). Let p be 0 - (2/21)/z. Is b at most as big as p?
True
Let d = -1.96 - 0.04. Let r = -51.1 + 51. Does d = r?
False
Suppose 2*y = 5*y - 24. Which is smaller: y or 10?
y
Let z be -4 + 7 - (0 + 662/220). Is 0 at most as big as z?
False
Let l be -3 + -2 + 3 + 1. Which is smaller: -1/11 or l?
l
Let h be 45244/36 + 4/18. Let i be (h/14)/((-5)/10). Let g = i + 180. Do -1 and g have the same value?
False
Let t be (-4)/18 - 0/(-2). Suppose 5*f - 4*p = -9*p + 10, f = -4*p - 1. Suppose -1 + 4 = -f*z. Which is bigger: t or z?
t
Let a be (2/(-40))/(4/296). Let c = -21/5 - a. Let u = -1 + 1. Which is smaller: u or c?
c
Suppose 2*w - 4*o - 8 = 0, 4*w - 4 + 0 = 2*o. Suppose 5*s = n + 1 + 2, -2*s - 2*n - 6 = w. Is -1/8 <= s?
True
Let s(p) = -p**2 + 5*p + 12. Let c be s(8). Is -14 at most as big as c?
True
Let x be 1/(-4)*(-5)/(-5). Is x at least 1/11?
False
Let x(m) = -m + 5. Let a be x(8). Let q be a/(-8)*2 - 1. Are q and 0.5 non-equal?
True
Suppose -4*z + 5*g - 21 = 0, 0 = -z - 2*z - g + 8. Let t be (26/30 - z)*5. Which is greater: t or -2?
t
Let x = 19830/37 - 536. Is x > -