t p(q) = q**2 + 7*q - 1. Let f be p(-7). Let b be f - (-8 + 3) - 2. Does -1 = b?
False
Let s = 120 + -67. Which is smaller: s or 54?
s
Let v = 6.9 + -6.7. Which is smaller: 6/17 or v?
v
Let h = 82 - 80. Which is greater: h or 0.08?
h
Let h = -3 + 2. Let t = 6 - 6. Is h not equal to t?
True
Suppose -3*h + 13 = 1. Let m = 8 + -15. Let q be 4/(-14) - 23/m. Is q not equal to h?
True
Let r(g) = -g**2 + 8*g - 15. Let j be r(4). Which is greater: j or -2/119?
j
Suppose -3*w = -2*w - n + 2, 4*n = 0. Is -1 <= w?
False
Let m be -12 + 11 + (-4)/(-2). Let q be (-14)/42*(m - -26). Is q less than or equal to -9?
True
Suppose 1 = 2*p - 2*v + v, -5*p = -4*v - 4. Suppose 2*m = -p*m - 22. Is -12 smaller than m?
True
Let v be (-2)/1 - (4 + -1). Suppose -2*m = -4*o - 6, -3*m - 19 = -4*o + 5*o. Let y = o - v. Is y greater than 1?
False
Let i(q) be the third derivative of q**5/60 + 3*q**4/8 + q**3/6 - 3*q**2. Let s be i(-9). Let d = 407/5 + -81. Does s = d?
False
Let f be 57/6*4*1/(-10). Are f and -5 nonequal?
True
Let d = -905/7 + 129. Let u(y) = y**3 - 3*y**2 + 2*y + 2. Let w be u(2). Suppose f = w*f + 1. Which is bigger: d or f?
d
Let z = 26 - 25. Let q be 6/4*z*2. Which is bigger: 6 or q?
6
Let b = 54.9 - 62. Let t = b + 1.1. Are t and 0 nonequal?
True
Let a(n) = -n**3 + 8*n**2 - 11*n + 22. Let l be a(7). Suppose q = 2*f - 8, 3*f - 7 = q + 2. Does q = l?
True
Suppose 0 = -3*l - 3*t, 0*t + t + 8 = l. Let b = -7 + l. Let o = -3 - b. Which is smaller: o or -1/4?
-1/4
Let b be (81/(-6))/3 + -7 + 4. Is -7 less than b?
False
Let o(l) = -l. Let s be o(-1). Let d be (97/1380)/(4/(-12)). Let q = 1/92 + d. Which is bigger: s or q?
s
Let j = 12 + -11. Which is greater: 2 or j?
2
Let d = -9 - -15. Let n = d + -6. Is n at most 0.2?
True
Let s be (-2 - 0 - -1)*-1. Suppose 3 = -3*y - 9. Let k be y/6*3/7. Do k and s have the same value?
False
Suppose l = -5*c, -3*l = 2*c + 2*l. Suppose -4*z - 3*u = -z - 12, c = 3*z - 4*u + 23. Which is bigger: -5 or z?
z
Let h be (-6)/4*(-510)/(-27). Are -28 and h equal?
False
Let s(x) = 4*x**3 - 2*x**2 + x. Let a be s(1). Suppose 2*h + 8 = -n - 2*h, -4*n = a*h + 19. Which is smaller: n or -2?
n
Let c(z) = z. Let t be c(-1). Let h be t*(-3 - 10/(-3)). Which is smaller: -2 or h?
-2
Let i = 0.006 + -0.406. Which is smaller: 1 or i?
i
Let y(m) be the second derivative of m**4/12 - m**3/2 + m**2 - m. Let c be y(3). Do c and 3 have the same value?
False
Let z be (-10 - -1) + 2/(-4). Is z less than or equal to -9?
True
Let s be 1 + (-2 + 0 - 1). Let o be (-63)/39*s/9. Let q = o - 68/117. Is q < -1?
False
Let a be -2*(-3)/(-6)*-3. Suppose 5*j = 5*b - 5, 1 = 4*j + 4*b - a. Suppose 0 = -2*m - j*m. Does m = -1?
False
Suppose 65*k - 66*k = 0. Let i be 1*2*1/(-8). Which is smaller: k or i?
i
Let g(x) = -x**2 + 2*x + 2. Let i be g(3). Let z(l) be the second derivative of l**3 + l**2/2 + l. Let t be z(i). Which is greater: t or -4?
-4
Suppose 1 = 2*r - 3*r. Let x(o) = o**2 - 7*o - 8. Let f be x(6). Let b be 1/3*(-6)/f. Which is smaller: r or b?
r
Let c = 67 + -67. Are 2/69 and c nonequal?
True
Let l = 424/63 - 58/9. Do -1 and l have different values?
True
Suppose -5*g = 5*w, 2*g - 2*w = -3*g. Which is greater: -4/17 or g?
g
Let l = 6 - 6.4. Suppose 2*a + 2*a + 2*i = -100, 4*a + 4*i + 100 = 0. Let t be (4/a)/((-4)/10). Do l and t have different values?
True
Let u = 8 + -7. Let b(w) = 7*w**3 - w**2 - 3. Let y(q) = 13*q**3 - 2*q**2 - 5. Let n(v) = -5*b(v) + 3*y(v). Let o be n(u). Does o = 3?
True
Suppose 5*y + 10 = 2*d + 50, -2*d = 10. Suppose 3*j + 12 + y = 0. Is j at most as big as -7?
False
Let s = -313/30 + 65/6. Let n be 18/(-4)*4/(-6). Suppose n*v - 2 + 5 = 0. Which is bigger: s or v?
s
Let l be 2/(-40)*(-16)/(-6). Let r be 8/20 - 7/5. Which is smaller: l or r?
r
Suppose -3*o = -3*h - 18, 2*o = 3*h + 6*o + 11. Let j = 7 + h. Suppose 2*q = 4*q - 6. Which is bigger: j or q?
q
Let p = 40 - 38. Let m(r) = 4 + r + 0*r + 0*r. Let u be m(-3). Which is smaller: u or p?
u
Let z = 32 + -31.9. Let w = 0.3 + -0.2. Let i = w - 0.1. Is z bigger than i?
True
Let s = -0.16 - 5.84. Let k = s + 5.96. Let r = k - 0.36. Is 0 <= r?
False
Let n = 11 - 7. Suppose -n*g + 24 = -4. Suppose 0 = 3*b + 2*j - 1 + g, -3 = 3*b + j. Which is greater: b or 1/2?
1/2
Suppose 278 = -22*t + 24*t. Is 139 at most t?
True
Suppose 0*j + 9 = 3*j. Let q(m) = 3*m**2 + 2*m + 1 + 2*m**3 - 3*m - 2*m**3 - m**3. Let c be q(j). Does 0 = c?
False
Let c(t) = t**3 - 5*t**2 - 4*t + 3. Let x be c(6). Let j be (4/(-21))/((-10)/x). Which is greater: -3 or j?
j
Let f(r) = r**2 - 5*r + 5. Let b be f(4). Let y(q) = -8*q**2 + 2*q. Let o be y(1). Which is smaller: b or o?
o
Suppose 2*l - 4*l = 2. Let q be 3 + 0 - (-5)/1. Suppose a + 3*a = -q. Which is bigger: l or a?
l
Suppose 7*o - 3*o = 28. Which is greater: 2 or o?
o
Let o be (-1*(-4)/(-4))/1 - -1. Are o and -5/6 nonequal?
True
Let x = 17 - 13. Let j = 5 - x. Does j = -1/4?
False
Let d be (4/287)/((-16)/(-56)). Which is bigger: -1 or d?
d
Let q(k) = 2*k + 6. Let h be q(-3). Does h = 3?
False
Suppose -5*j + o = -2*o - 26, -5*j + 50 = 5*o. Suppose -j*u + 6 = -4*u. Is 2 smaller than u?
False
Let k be 2/4*(0 - 2). Which is smaller: -2/35 or k?
k
Suppose 5*l = 7*v - 2*v - 5, -l = 5*v - 17. Suppose v = 5*c + 8. Is c less than -2?
False
Let b = -49.3 + 50.3. Let y = -1 - -1. Which is greater: b or y?
b
Let o(m) = -m**2 + 7*m + 10. Let p = 2 - 0. Suppose -l = p*l - 24. Let a be o(l). Is a bigger than 2/3?
True
Suppose 6*f - 2*f = -80. Let w be (4/(-15))/((-8)/f). Which is bigger: -0.2 or w?
-0.2
Let x = 4 - 0. Suppose -z + x = -2*z. Is -3 >= z?
True
Let n(h) be the first derivative of -h**2/2 - h - 2. Let p be n(-1). Is 4/9 at least p?
True
Suppose 284 = -5*j - 161. Let x = j - -185/2. Is x greater than or equal to 5?
False
Let i be (4/(-10))/(2/(-50)). Let o be 8/(-6)*(-15)/i. Which is smaller: o or 3/5?
3/5
Let r = -4 - -8. Let b = -13.8 + 12.8. Is r >= b?
True
Let r(a) = -a**2 - a + 24. Let m be r(0). Let h be (-90)/m + 3/1. Which is smaller: -1 or h?
-1
Let k be ((-1)/(-8))/((-3)/(-2)). Let m = k - -1/4. Is 2 <= m?
False
Let g = -36 - 20. Let r = -61.9 - g. Let a = r - 1.1. Is 1 equal to a?
False
Let q = 0.9 + 0.1. Let v = 1.5 + -1.69. Let g = v - 0.01. Is g greater than or equal to q?
False
Suppose 4*c = c + 3. Let r = 25 + -426/17. Which is greater: c or r?
c
Let z = -1/199 - 181/3582. Let u = z + -5/18. Does u = 0?
False
Let r = -3 - -6. Let f be (-6)/9 + (-25)/r. Let y be (-15)/(-36) - f/(-12). Is y at most as big as 6?
True
Let m = 0.16 + -0.06. Is 0.06 > m?
False
Let p = -28 - -22. Which is smaller: 2/5 or p?
p
Let a = -1916/3 - -644. Let p = -5 + a. Which is bigger: -2 or p?
p
Let j = -12 + 24. Let m be 0 + j - (4 + -4). Suppose -5*c + m = -c. Are c and 4 equal?
False
Let n = -12.3 - -12. Is n at most as big as 1/4?
True
Suppose -z - 6 = -3*s, -5*z - 2*s + 3 = -1. Which is smaller: -2/109 or z?
-2/109
Suppose -y = -t + 4, 0*t - 8 = -2*t + 4*y. Suppose -8 = a + t*a - 3*p, -3*p + 4 = -a. Is a less than or equal to -4?
False
Let i = 1.2 - 2.1. Let l = 0.6 + i. Which is greater: l or 2?
2
Let k(u) = u - 3. Let s be k(2). Which is smaller: 1/10 or s?
s
Let x(y) = y + 6. Let u be -2*-7*(-1)/(-2). Let b be x(u). Which is smaller: b or 12?
12
Let c = 2028 + -105439/52. Let m = c + -1/13. Is 3 greater than or equal to m?
True
Suppose 2*f + 7 = -j, 5*f - j - 2*j = 10. Suppose -g + 120 = g. Let z = -241/4 + g. Are z and f unequal?
True
Let b be (24/(-16))/((-6)/20). Is 17/3 at least as big as b?
True
Let c = 89 - 1601/18. Let i = c - 11/36. Is 6 less than or equal to i?
False
Let y = -1/74 + 79/370. Let u be (-3 + 3)/(-2)*1. Suppose -5*r - 4*a - 16 = 0, u*a - 12 = 5*r + 3*a. Which is smaller: y or r?
r
Let q be (-7)/(-3) + 6/9. Suppose 3*r = -3 - q. Which is smaller: -1 or r?
r
Let w = 53 - 93. Is w at most as big as -2/3?
True
Let o = 1311/7 + -187. Let m be -1*(-3 + 0/(-3)). Suppose 0 = -5*n - m - 2. Which is greater: n or o?
o
Let l = -54.968 + -0.032. Which is smaller: l or 0.1?
l
Let q(n) = n - 7. Let h be q(-10). Does -16 = h?
False
Let r = -9 - -11. Suppose -r*a + 12 = 2*v - 2, 2*a - 24 = -4*v. Is a less than 4?
True
Suppose -3*x + 20 = 5*c - 3, -x + 13 = 3*c. Is x greater than 3/5?
True
Let w = -337/11 - -92/3. Is w not equal to 0?
True
Let h(n) = n**2 + 7*n