2/95 - -1514/285. Which is bigger: k or 6?
6
Let i = -28 + 28. Is i >= -9/8?
True
Let c = 302/35 + -46/5. Let p = c - -6/35. Is p < -1?
False
Suppose n = -2*n - 6. Let y(g) = -2*g**2 + 1. Let h be y(1). Are h and n nonequal?
True
Let k(i) = -2*i**2 + 2*i + 2. Let d be k(2). Let n = 1 + -2. Let p be (-2 + 1 + 1)*n. Which is smaller: d or p?
d
Let o = -9.07 + 0.07. Let l = 16 + o. Is -1 less than or equal to l?
True
Let b(p) = p - 1. Let s be b(2). Let h be -2 - (-3)/9*27/(-3). Do s and h have the same value?
False
Let z = -0.56 + 0.26. Which is smaller: z or -2/5?
-2/5
Suppose -4*z = -3*z - 5*w + 10, -2*z - 4*w = -22. Suppose z*c + 0*p = -5*p - 55, -19 = -c + 5*p. Let v be ((-1)/3)/(1/c). Which is greater: 1 or v?
v
Let i = 2/145 + 5071/290. Let d = i + -109/6. Suppose -3*m + 4*m = 0. Does d = m?
False
Suppose -2*h + 4*n - 4 = 6, 0 = -2*n + 8. Suppose -g + h + 0 = 0. Let s = -2 + g. Which is bigger: s or -2/7?
s
Let p(b) = b + 10. Let t = 9 - 17. Let n be p(t). Suppose -n*c - 3 - 5 = 0. Is -3 != c?
True
Let b = -16993 - -1053531/62. Let m = b + 2/31. Which is bigger: m or 0?
0
Let z = 7 + -6. Let v be z - 2/(-2) - 0. Is 3/5 < v?
True
Suppose -5*h + 16 = 1. Which is greater: h or 4?
4
Let r be 4/14 + (-13)/21. Is r at most as big as 0.2?
True
Let f = -139/5 - -28. Which is bigger: -0.2 or f?
f
Suppose 5*r + 5 = 0, 0*j = -j - 3*r - 7. Are -2 and j non-equal?
True
Let m = 4 - 2. Suppose 6 + 9 = 5*o. Suppose -o*t = m*t. Is 0.05 not equal to t?
True
Suppose 4*x - 3*x + 6 = 0. Suppose 2 = -2*c - 8. Let m = c - x. Which is bigger: m or 2?
2
Let k be 1/(-5) + 84/(-30). Let z be (-8)/5*90/36. Are z and k non-equal?
True
Suppose 0 = -9*d + 359 - 89. Is 33 at most as big as d?
False
Let q = 1 - 1. Is q < 0.06?
True
Let x = -2 + 6. Suppose -4 = -4*t + x. Let s = -1 + 2. Do t and s have the same value?
False
Let u = -175/3 + 60. Let t be 3 + 6 + (-1 - 2). Suppose -q = q - t. Is u at most as big as q?
True
Suppose 5*w = 2*w. Let i be 2/(-2) + w + 11. Is 10 != i?
False
Suppose -8 = -4*b, 2*v - 2*b = -2*v - 8. Which is greater: v or -6/5?
v
Let v = 23 + 3. Do 26 and v have the same value?
True
Suppose 0 = w - 5, -t + w = 1 + 1. Let n be 5/(-12) + t/(-12). Is -1 > n?
False
Suppose -5*a = -29 + 109. Is 0 >= a?
True
Suppose o + 11 = 2*s, 3*s - 29 = 3*o - 5. Suppose -z = -s*z. Let u = -0.2 - -0.5. Is z >= u?
False
Let g = 10740/17 - 632. Let r = -1 + 0. Is g less than r?
False
Let h be 20/15 + 2/(-6). Which is smaller: h or -1/7?
-1/7
Let c = -0.4 - -0.48. Let o = -0.08 + c. Which is greater: o or 0.5?
0.5
Let n = -15 - -2. Let q(t) = -t**2 - 11*t + 8. Let p be q(n). Is p at least -18?
True
Suppose 2*h - 43 - 24 = g, -h + 50 = 5*g. Is 35 bigger than h?
False
Let h = 1.4 - 1.55. Let y = h + 0.15. Which is bigger: -5 or y?
y
Let r be (3 - (-66)/(-12))/((-2)/(-12)). Are -17 and r equal?
False
Let j(d) = d**3 + d**2 - d + 1. Let v be j(-2). Suppose 4*l = 5*h + 2*l + 26, -2*l - 14 = 5*h. Let z be (-8)/h*(-1)/12. Which is smaller: z or v?
v
Let f = -48 + 45. Which is greater: -0.2 or f?
-0.2
Let n(c) = -c**3 - 6*c**2 - 8*c + 8. Let p be n(-7). Let m = p + -344/3. Is m equal to -3?
False
Suppose -3*l + 1 = -5. Suppose l*b - 4 = -0. Let r = 3 + -2. Which is greater: b or r?
b
Let c = -40 + 92. Is 52 at most as big as c?
True
Let b be (2/(-3))/((-6)/9). Let n = 1 - b. Let z = -78 - -547/7. Is z equal to n?
False
Let x = 23 + 5. Is x equal to 29?
False
Let a = 320 + -50. Let f = a + -1894/7. Which is smaller: f or -1?
-1
Suppose -2*r - 3*r = 45. Which is greater: r or -12?
r
Let r = -25 - -24.3. Let d = 257/4 - 64. Which is bigger: d or r?
d
Let h be ((-3)/4)/(4/160). Let o be (6/h)/(2/(-5)). Let j = 3 + 0. Which is greater: j or o?
j
Suppose -6*x + 37 = 3*t - x, 2*t - 2*x - 46 = 0. Suppose -2*b - 27 = t. Let k = 45/2 + b. Which is smaller: -2 or k?
-2
Suppose 3*m - 7 - 2 = 0. Suppose j + 8 = -j, -g + m*j = -12. Which is bigger: -2/11 or g?
g
Let r be (-10)/(-3)*(-27)/(-18). Let w be -1 - (-2 - r/(-3)). Is -1 equal to w?
False
Suppose 5*b - 41 = -3*d, 2*d - 18 = -4*b + 2*b. Do b and 2 have different values?
True
Let j(a) = a**3 + 4*a**2 + 2. Let b be j(-4). Are 2 and b unequal?
False
Let x be 0 + (-1)/((-2)/30). Let d be (-9)/x - (-6)/10. Is 4/7 < d?
False
Let m be (-2 + 9)*18/(-7). Is -18 >= m?
True
Suppose a = -2*g - a + 18, 3*a = -g + 17. Is g at least 7?
False
Suppose 14*f = 21*f - 266. Is f at most as big as 38?
True
Let h = 552 + -8835/16. Is 0 smaller than h?
False
Let i be -80*2/258 + 4/6. Is i greater than 1?
False
Let g = -25/7 + 89/21. Suppose 2*m + 10 = 2. Let h(y) = -y**3 - 4*y**2 - 2*y - 6. Let c be h(m). Which is bigger: g or c?
c
Suppose 2*c + 2*h + 6 = 0, -c + 35 = 4*c - 5*h. Let a = c + -2. Let d be (-20)/(-8) + 2/(-1). Which is smaller: a or d?
a
Let o = 0.53 + -0.43. Is o at most as big as -45?
False
Let t = -0.04 - 6.96. Let n = 7.2 + t. Let c = 0 + 2. Are c and n equal?
False
Let b(d) = 2*d. Let s be b(1). Suppose -2*o = 3*u - o + 26, -s*o + 20 = -3*u. Let c be 19/4 - 2/u. Which is smaller: c or 4?
4
Suppose q + 5*z - z = -21, 2*z + 13 = -3*q. Let l(n) = -n + 1. Let s be l(-3). Let m be (q - s)*(-4)/10. Are 3 and m equal?
False
Let h(d) = d**2 - 20*d + 86. Let z be h(14). Suppose -s + 2 = -1. Is s less than z?
False
Let q = 15 + -19. Let f = -4 - q. Which is bigger: f or 1?
1
Suppose c = -5*o + 16, -2*c + 4*c - 5 = -o. Suppose -2*g + 7 = c. Suppose -d - 4 = -3*d. Is g greater than or equal to d?
True
Let g = -1.68 + -0.19. Let v = 0.13 - g. Is v at most as big as -4/11?
False
Let n = 0.8 - -0.2. Let h = -2.068 + 0.018. Let p = h + 0.05. Is n at least p?
True
Let n be (22/10)/((-4)/10). Let q = 53/10 + n. Let x = 6 + -7. Which is smaller: x or q?
x
Suppose -5 = -2*n + 3. Let u be 28/(-8) + 2/n. Which is greater: u or -5?
u
Suppose 5*p = 2*p + 3. Let v be (3 - 3) + (-7)/(-105). Which is smaller: p or v?
v
Suppose 5*c - 2*o = -43, -c + 3*o + 3 = 9. Is c < -4?
True
Let y = 3 - 11. Let q = 7.9 + y. Which is smaller: q or 1?
q
Let d = 0 + 6. Let z = d - 5. Which is smaller: -2 or z?
-2
Let h = -0.02 + -0.08. Let m = 0.2 + h. Is m < -1?
False
Let f be 0 + 1089/15 + 1. Let v = f + -74. Suppose 2*g = 3*g. Is g less than v?
False
Suppose -4*t + 7*t + 12 = 0. Which is greater: -5 or t?
t
Let k(j) = j**3 - 1. Suppose 4*o - 1 = -5. Let s be k(o). Let h be (-10)/(-15)*(-27)/12. Are h and s unequal?
True
Let f = -1.8 - -2. Let x = -10/223 - -18539/669. Let y = x + -28. Which is smaller: y or f?
y
Suppose -2*i = -i + 4. Let f = i + 6. Is f less than 1?
False
Let z(p) = -2*p + 4. Let x be z(-2). Which is greater: 5 or x?
x
Let j = -35 + 36.8. Which is smaller: j or 1?
1
Let u be 2*2/(-24)*2. Let f = -11/24 - u. Which is bigger: f or 1?
1
Suppose 0*t = 2*t. Suppose t*m + 6 = -2*m, 0 = 4*y - 5*m - 3. Let b be y/2*2/3. Which is smaller: b or -2/9?
b
Suppose 13 = 2*c + 2*n + n, 0 = 2*c + 5*n - 19. Suppose -5 = -u, -c*k - 5*u = -4*u - 21. Let v be 1/36 + (-2)/k. Which is smaller: v or 0?
v
Let b = 158 + -42. Let u = b + -39. Let w = u - 233/3. Does 1 = w?
False
Suppose -i - 1 = 2*j - 3, -2*i = -2*j + 14. Which is smaller: -1 or j?
-1
Let r = 14 - 8. Suppose -4*n - r = -2. Is n not equal to 1?
True
Suppose 2*r - 4*o = 4, 7*r = 2*r - 3*o + 10. Suppose -7*m = -r*m - 10. Is m at most 2?
True
Let j(g) = -g**2 - 3*g + 5. Let i = 3 - 7. Let r be j(i). Is 2 > r?
True
Let w = -24 + 24. Let d = -176/15 + 34/3. Which is smaller: w or d?
d
Let j = -7.1 - -1.1. Let n = j + 5.9. Is n at most -2?
False
Let i(s) = -s**2 - 3*s - 2. Let p be i(-3). Which is bigger: p or -7/4?
-7/4
Let k = 14 - 16. Which is bigger: -1 or k?
-1
Let r = 17/18 + -7/9. Suppose 18 = -4*j + s, 2*j - 3*j = 2*s. Let v be 0 + j - 12/(-4). Which is smaller: r or v?
v
Let t(w) = w**3 + 6*w**2 + 4*w - 3. Let j be t(-5). Suppose 3*y + 0*y = -v + 8, 0 = -j*y + 6. Does v = 0?
False
Let l be 3/((-2)/56*-6). Is 13 greater than l?
False
Let w be (-510)/12*(-2)/(-40). Is -2 less than w?
False
Let m = 1.07 + -1.17. Which is bigger: m or 85?
85
Let p(n) be the first derivative of -n**3/3 + n**2/2 - 1. Let i(y) = -y - 3. Let h be i(-3). Let l be p(h). Which is bigger: 1 or l?
1
Let z(j) = -j**3 - 6*j**2 + 8*j + 1. Let h be z(-7). Let k be 15/(-126) + h/(-21). Which is smaller: 1 or k?
k
Let q = -111 + 449/4. Let d(b) = -b - 9