 8/67. Let s be 0 + 0/1 - -7. Let q be s/4 - 12/16. Is q > k?
True
Let j be -1 + 2 - 40/(-6). Let c = -8 + j. Is -1 not equal to c?
True
Let b = 3 + -4. Let s = b - -4. Suppose 9 = 2*m + 3*q, 0*q - 5 = -2*m + q. Is m not equal to s?
False
Let b(j) = 3*j**2 + 5*j. Let s(k) = 7*k**2 + 11*k. Let o(z) = -9*b(z) + 4*s(z). Let i be o(2). Let w be 4/(-6) - 8/(-3). Is w bigger than i?
False
Suppose -18*p - 8 = 28. Which is smaller: p or -10?
-10
Let z = -1384/11 - -126. Which is greater: 0 or z?
z
Suppose 0 = -z + 3*h - 5*h - 22, 0 = 3*z + h + 76. Is z less than -24?
True
Suppose 0 = 7*j - 2*j - 65. Suppose 2*f - 4*n + 8 = -9*n, j = 5*f - 4*n. Suppose t - 2 = -t. Do t and f have different values?
False
Let i be 4*-14*(-1)/8. Suppose 0 - i = y. Let r be y + (0 - 3) + 4. Which is bigger: -5 or r?
-5
Let g be (-9)/6*(-7)/42. Let q be -1 - (50/(-8))/5. Let k = g + q. Which is greater: k or 0?
k
Let h = -2 + 2. Suppose 5 - 1 = 2*k. Let x = k - 2. Does h = x?
True
Let i be (-3982)/(-8) + (-2)/(-8). Let t = 8463/17 - i. Which is smaller: -1 or t?
-1
Let y be (-60)/9*24/20. Let f be (-40)/22 - 6/33. Is f greater than or equal to y?
True
Let o = -3.7 - -4. Let g = -0.5 + o. Let c = g - -0.1. Is 0 <= c?
False
Let p = 23 - 15. Let s = 0.01 - 7.01. Let x = s + p. Are -1/2 and x unequal?
True
Let u = -11 + 11. Do u and 3/31 have the same value?
False
Let x be 0 - (-2 + 0 + -2). Let b = x - 6. Let u be 5/b - (-2 - 0). Is 0 > u?
True
Let y = 13 + -10. Suppose 2*n = 4*i - 16, -13 = -n + 2*n - y*i. Which is smaller: 2/5 or n?
2/5
Let t = -440/651 - -2/217. Is t equal to -11?
False
Suppose 2*h - 4*y - 8 = 0, 2*h + y - 1 = -3. Let k = -2 + 3. Let l be 3 + k + h + 3. Is l less than 7?
False
Let f be ((-1)/((-2)/6))/(-2 - -5). Which is smaller: -2/127 or f?
-2/127
Let a be (-4054)/6930 + (-6)/(-15). Let c be (0 - 948/(-945)) + -1. Let y = a + c. Which is bigger: 0.1 or y?
0.1
Suppose 0*g + 2*g - 10 = 0. Let a(x) = x**2 - 1 + 4*x + 2 + 4. Let u be a(-4). Is g <= u?
True
Let g = 4.8 + -0.8. Suppose 5*s = 6*s. Which is greater: g or s?
g
Let g(s) = s**3 + 8*s**2 - 7*s - 32. Let y be g(-8). Do 24 and y have different values?
False
Suppose 0 = 3*c - 32 + 29. Let x be 4/(2*18/(-4)). Which is bigger: c or x?
c
Let j(l) = -3 + 6 - 6*l - 5*l**2 + 0*l**2 + l**3. Let o be j(6). Let x = -2 + o. Is 1 < x?
False
Let h be (0 - 1)/(14/(-42)). Is h > 10?
False
Let w = -52.3 - -58. Let q = -3 + 9. Let n = q - w. Are 0.1 and n equal?
False
Let a = -2236/105 - -106/5. Let n be (0/2)/(2 - 1). Which is smaller: n or a?
a
Let x(q) = -q + 5. Let w be x(5). Let u(t) be the second derivative of t**5/20 + t**4/4 + 2*t**3/3 + 3*t**2/2 + t. Let s be u(-2). Which is smaller: s or w?
s
Let b be 9/(-15*(13/(-3) + 4)). Which is smaller: 1/2 or b?
1/2
Let w be 5*(1 - 1/(-5)). Let s = w + 6. Suppose 0*h - s = 4*h. Which is bigger: -4 or h?
h
Let h = -10 + 6. Let r = 0.19 - 4.19. Let t = h - r. Which is greater: -0.1 or t?
t
Let q be 6/(-15) - 27/(-5). Suppose -w = -q*w. Which is bigger: -2/11 or w?
w
Let u = -18.85 + 18. Let c = 0.8 + u. Let l = 0.15 - c. Are 1 and l equal?
False
Let j = -10 - -18. Let u = j - 3. Which is bigger: -1 or u?
u
Suppose -3*m + 4 = -8. Suppose 2 = 2*b + m. Let v be ((-12)/(-45))/(6/5). Which is smaller: b or v?
b
Let a be 2 - 4 - 8/(-18). Is a smaller than -2?
False
Let c be (-1)/1*(-13)/2. Which is greater: c or 8?
8
Let y(l) = l**3 + 3*l**2 - 6*l - 8. Let q be y(-4). Which is smaller: 3 or q?
q
Suppose 2*k = 4*b - 178, -3*b + 2*b = 2*k - 57. Is b greater than 49?
False
Let d = -86 + 83. Is d greater than 2?
False
Let g = 3 - 5. Let l = 0 - g. Is l greater than 2?
False
Let j = 1/6 + -1/2. Suppose w - 4*x = -10, -4*x = 2*w + 2*w + 20. Let t be 1/6 + w/(-36). Which is smaller: t or j?
j
Suppose 6 - 18 = -4*l. Suppose -2*q + 1 + l = 4*z, 0 = 2*z - 3*q - 10. Which is bigger: z or 3?
3
Let f be 54/8 - (7 - 3). Which is bigger: 4 or f?
4
Let k(z) = -z**2 + 6*z - 6. Let l be k(4). Let g(x) = 3*x - 26. Let b be g(10). Is b not equal to l?
True
Suppose 8*f - 339 + 19 = 0. Does f = 41?
False
Let h = -3 - 1. Let v = 0.32 + -2.32. Is h greater than or equal to v?
False
Let q(m) = -6*m**3. Let j be (-5)/(-15) - 4/(-6). Let n be q(j). Let t be 0/(-2) + (-3)/n. Is t not equal to 0?
True
Let f = 3.5 + -3.6. Is f less than or equal to 0.26?
True
Let k = -1238 + 12407/10. Which is bigger: 2 or k?
k
Let w be ((-2)/4)/(2/12). Let i be (-18)/w + 1*-1. Does i = 4?
False
Let v be (-20)/(-40) - ((-30)/4 + 1). Let t = -2.1 - -2. Is t not equal to v?
True
Let q(u) = -u**2 + 6*u + 1. Let p be q(7). Let f be ((-10)/(-6))/((-2)/p). Let g = 4 - f. Is -1 != g?
False
Let w = 0.12 - -0.58. Let i = w - -0.3. Which is bigger: i or -0.1?
i
Suppose -10 = 4*i - 2*p, 13 - 3 = -i + 2*p. Which is greater: i or 8/9?
8/9
Suppose 9*a - 12 = 3*a. Which is bigger: a or 1?
a
Suppose -27 = 3*z - 0*z - 3*t, 5*t = -10. Which is greater: -10 or z?
-10
Let c = 713823/117572 + 1/16796. Let g = -2321/42 - c. Let x = g - -62. Is 2 greater than or equal to x?
True
Suppose 0 = 5*b - 2*b - 42. Suppose -2*f + 2*t + b = -f, -4*f + 3*t = -36. Which is smaller: f or 1?
1
Let z = 14.2 - -2.8. Which is greater: z or 0.1?
z
Suppose -k - 3*k - 2*o = -1274, 0 = -5*o - 5. Let w = k + -4144/13. Which is bigger: 0 or w?
w
Let k = 66 + -62.1. Let t = k + 1.1. Let b = t - 6. Is 1 > b?
True
Let l(q) = q - 12. Let s be l(9). Suppose -5*v + 33 = 4*u, -4*v + 7*v = -4*u + 23. Suppose 4*f = -v*a - 33, -4*f - 5*a + 2*a - 23 = 0. Is s equal to f?
False
Let v = -5 + 2. Let s = v + 3.2. Let z = 0.1 - s. Do z and -0.1 have the same value?
True
Let g(y) = y + 7. Let w be g(-9). Let r be (w + 9/6)*0. Let z = 23/10 + -12/5. Which is bigger: z or r?
r
Let b = -21/4 - -23/4. Let v = b + -1. Are 0.05 and v equal?
False
Suppose l = 3*l + 58. Let g = 115/4 + l. Which is bigger: g or 5?
5
Suppose 2*n - 2*k + 1 = 3, -2*k = 0. Does n = -2/17?
False
Let k = -1 - 1. Let p = 1 - 1. Which is smaller: k or p?
k
Let m be ((-1416)/(-28))/(1/7). Let y = m - 5308/15. Which is smaller: y or 0?
0
Let t = 323/116 + -30/29. Let l = t + -5/4. Let o = -0.007 - -1.007. Is l less than or equal to o?
True
Let i = 3492/7 - 498. Is 1 at least as big as i?
True
Let l = 10 + -14. Suppose 4*u + 20 = -4*x, -4*u - 14 = x - 3*x. Is l < u?
False
Suppose -2*c - 2 = -26. Suppose 0 = -5*n - 2 + c. Let f be ((-6)/10)/(3/(-15)). Which is smaller: f or n?
n
Let f = 7 - 22. Let m be 21/f - 2*-1. Is 0 less than m?
True
Let y(b) = b**2 - 2*b - 2. Let o be y(3). Let n = -1045/7 - -150. Which is smaller: o or n?
n
Let z = 896675 + -12546993/14. Let k = 461 - z. Which is greater: k or 1?
1
Let o(i) = 6*i - 3. Let m(r) = -17*r + 10. Let b be (-202)/(-18) + (-2)/9. Let a(c) = b*o(c) + 4*m(c). Let j be a(5). Is j >= -2?
False
Suppose -9*i + 5 = -4*i. Suppose l = -0*l + i. Which is greater: 2/5 or l?
l
Let v be 4*(-20)/8*(-8)/(-14). Which is smaller: -6 or v?
-6
Let m = 35/246 + 1/41. Let a = 1.1 + -1.1. Is a at least as big as m?
False
Let c(y) = -2 + 11*y**3 + 3*y**2 - 8*y**2 - 1 - 12*y**3 - 5*y. Let k be c(-4). Is k >= 2?
False
Suppose -y + 2 = 1. Let j be (-99)/(-12)*7*y. Let q = 58 - j. Which is greater: 1 or q?
1
Let c = 0.8 + 0.2. Let n = c + -0.8. Let r be (-6)/(-120) - (-1)/10*2. Which is smaller: n or r?
n
Let t = -0.51 - -5.01. Is t > 0.1?
True
Let b be (4 - -81)*(-1 - 20/(-24)). Which is greater: -13 or b?
-13
Let u(f) = -10*f**3 + 7*f**2 - 7 + 0*f + 11*f**3 + 2*f. Let c be u(-6). Suppose -3 = -5*z + c. Which is greater: z or -0.1?
z
Let v be 6/(-9) + 2/(-6). Let o = 4 + v. Let m be (3 - 3) + 1*2. Is o at most as big as m?
False
Let j(k) = k**2 + 9*k + 6. Let l be j(-8). Let m be (l/(-4))/(8/4). Let s be (-2)/8 + (-1)/(-4). Are m and s equal?
False
Let h(w) = -3*w + w + 0*w + 4 - 3. Let f be h(1). Are -2/11 and f equal?
False
Let g = 392777869/92 + -4269389. Let p = 257/4 + g. Is p <= 1?
True
Suppose -3*q + 2*h - 20 = 0, 3*q - 5*h + 0*h = -23. Let u be (-2)/5 - q/40. Let a = -39 - -38. Which is smaller: a or u?
a
Suppose 5*p = -3*c + 4*c - 8, 3*c + 6 = 0. Let s be 6/(-15) + (-66)/10. Let a = s - -4. Which is smaller: a or p?
a
Let o(z) = -4*z**2 - 10*z - 5. Let d(r) = -7*r**2 - 19*r - 11. Let g(v) = -3*d(v) + 5*o(v). Let p be g(-6). Which is smaller: 3/2 or p?
3/2
Suppose 4*i - i = 2*j - 21, -5