 be n(-6). Let z = 83/7 - 12. Is b at most z?
False
Let t(r) = r**2 + 5*r + 3. Let j be t(-4). Let p = 4 + -12. Let h = 9 + p. Which is smaller: h or j?
j
Let j be (3/(-6))/(1/12). Let p(c) = -c**3 - 6*c**2 - c - 1. Let d be p(j). Does d = 5?
True
Let h = -372 + 366. Let g = 2.8 + -3. Let m = 0.1 + g. Is h greater than or equal to m?
False
Let z = -4 - 0. Let v be 0/((0 - z)/2). Suppose 5*x = -2 + 12. Is x at least v?
True
Let y be 3/(-7) + (-68)/(-28). Let o be y/(2/114*6). Is o less than or equal to 19?
True
Suppose 0 = 17*r - 462 + 139. Which is smaller: 22 or r?
r
Let m be ((-14)/(-20) + 6/(-12))*-1. Are 0 and m non-equal?
True
Let g = -3.3 + 1.3. Which is bigger: -0.1 or g?
-0.1
Suppose -2*z + 1 = -3. Let q(c) = -c**3 + 2*c**2 + 4*c - 1. Let a be q(3). Let b be 2 + (-3)/(3/a). Is z > b?
True
Let p be 2/6*(-1 - -2). Suppose -8*k = -2*g - 3*k + 16, -16 = 4*k. Is p at most as big as g?
False
Suppose 0*n + 5*w + 64 = -3*n, 20 = 5*w. Which is smaller: -26 or n?
n
Suppose 3*y - 2 = 16. Let t be (-2)/4*y + 2. Which is smaller: -2 or t?
-2
Let r = 58 + -92. Is -69/2 less than r?
True
Suppose -w + 3*v = -0*w - 16, -w = -4*v - 21. Is 1/4 > w?
False
Let j be 1/(3 - (-28)/(-24)). Which is greater: j or 2?
2
Suppose r - 15 = 4*r. Suppose -11 - 17 = 4*l. Let c = 1 + l. Which is greater: c or r?
r
Let t = -1.58 - -1.6. Let v = t + -5.02. Is v != 0?
True
Let a = 1 - 1. Suppose -4*x + 6 = -10, -j = -x + 1. Suppose 0 = 4*m + 2*c - 6, -2*m = -c - a + j. Which is smaller: 0.2 or m?
m
Let b = 1.8 - 1.9. Let v = -2 - -2.1. Let j = v - b. Which is smaller: -2/19 or j?
-2/19
Let j = -60 - -61. Is j > -3/52?
True
Suppose -5*h - 3 = 32. Is -7 at least as big as h?
True
Let o = -42 + 41.8. Which is smaller: o or 3.4?
o
Let h(m) = -m - 8. Let y be h(-11). Let t = 7 + -2. Is y smaller than t?
True
Let f be 2/(-3)*(-9 + 6) - 3. Which is smaller: -4 or f?
-4
Let f = -1 + -7. Let x be (14/f)/(2/(-16)). Let n be 0 - 1*(-4)/x. Which is smaller: 1 or n?
n
Suppose 0*v = -2*v. Which is bigger: -3/10 or v?
v
Let a(o) = o**3 - o**2 + o + 1. Let h be -2*(-6)/15*5. Let u be h/(-14) - 6/(-21). Let x be a(u). Which is bigger: -1/5 or x?
x
Suppose 4*l - 6 = 18. Suppose x + i = l, 5*i - 20 = x - 2. Suppose n - 3 = -x*n. Is n at least -2/17?
True
Let x(r) = -r**2 - r - 1. Let q be x(-2). Suppose 2*k + 0*k = 2*s - 6, 4*k + 6 = s. Which is smaller: k or q?
q
Suppose -2*z + 3 = -5*v, -2*v = 4*z - 4*v + 18. Suppose 7 + 3 = -2*w. Is w at least as big as z?
True
Let i be 155/(-210) - 1/(-6). Suppose -2 = -2*x - 5*l - 14, -2*x - 4 = l. Which is greater: x or i?
i
Let j be (2 + -1)/(1/(-28 - -3)). Is j bigger than -22?
False
Let i(p) = -p**3 + 6*p**2 + 6*p + 5. Let u be i(7). Which is greater: 1 or u?
1
Let a be (26/(-8))/(((-21)/(-112))/(-3)). Which is smaller: a or 53?
a
Suppose -q + 8 = -0. Is 8 < q?
False
Let o = -127 - -122. Is 2 at most as big as o?
False
Let r(f) = -f**3 - 7*f**2 + f + 1. Let n be r(-7). Let t = n - -7. Are 1 and t equal?
True
Let n be 0 - 5/((-15)/6). Suppose -4*m + 192 = -2*u, 6*u = n*u + 4*m - 380. Let l = u - -371/4. Is -1 greater than or equal to l?
True
Let c = 4 - 2. Suppose 3*p + 30 = -c*p. Let d be (-7)/1 - (-2 + -5 + 4). Which is bigger: d or p?
d
Let h(g) = g**2 - 3*g + 2. Let p be h(5). Suppose -5*v + 4 = -11. Suppose 0 = -3*a + 5*q - 39 + 7, 0 = v*q - p. Is -3 <= a?
False
Let f(u) = -u**3 - 30*u**2 - 29*u - 29. Let o be f(-29). Is -30 less than or equal to o?
True
Let q be (-36)/15 + (-2)/(-5). Let m be (1 - -1)/((-6)/(-9)). Let h = m + q. Is h bigger than 1?
False
Suppose -13 - 2 = -4*o + 3*r, 3*r = -o. Suppose -m = o*m + 8. Let t be (-72)/33 + 4/22. Are m and t non-equal?
False
Let y = -2.06 + 0.06. Let g = -1.8 - y. Let m = -5/4 + 1. Is g bigger than m?
True
Suppose 0 = -2*z - 5*w - 17, -3 = -2*z - w - 0. Suppose 0 = z*u - 4 - 0. Is 7 less than u?
False
Suppose 3*k = -3*j + 4*k - 14, 5*j + 5*k = -50. Does -7 = j?
False
Let t = 0.065 + -8.065. Is t greater than 7?
False
Let a = 6 + -2. Let t = 6 + -3. Is t at least a?
False
Let x = 2.4 + -2. Let r = 0.4 - x. Is 3 bigger than r?
True
Let o(c) = -c - 5. Suppose 5*w - 8 = n, -2*n - 8 = -2*w - 4*n. Suppose -3*g - 13 = w. Let x be o(g). Which is bigger: 1 or x?
1
Let v(f) = -f + 5 + 11*f - 2*f - 6*f**2 - f**3. Let j be v(-7). Are j and -2 non-equal?
False
Let z = -9 - -6. Let y = -8 - z. Let l = y + 4. Is l >= -2?
True
Let b = -9 + 24. Let z = -14 + b. Which is smaller: z or -1/4?
-1/4
Let x = 19 - 10. Let b = 9.3 - x. Let l = -0.1 - 0.9. Is l greater than b?
False
Let l = -0.85 - -1.87. Let b = l - 0.02. Does b = -6?
False
Let f(l) = -l + 19. Let h be f(18). Is h equal to -1/26?
False
Let g be (-1 - 0) + (4 - 5)*-3. Suppose 3*m - 34 = -5*j, 2*m + 2*j - 10 = 6. Suppose 4*q - 2*q - 4*f - 18 = 0, m*f = -g*q - 10. Which is bigger: q or 2/5?
q
Suppose 4*n - 4*c = 2848, 1453 - 33 = 2*n - c. Let u = n + -21946/31. Is 0 at least as big as u?
False
Suppose -32 = n + 3*n + 3*h, 4*h - 16 = 0. Do n and -11 have the same value?
True
Let k = 5.02 - 5. Let a = 0.08 + k. Is a at most as big as 2/7?
True
Suppose 5*f + 0 = -5. Let m = 183 - 1279/7. Are f and m non-equal?
True
Let b(r) = -r**2 - r. Let n = 1 + -2. Let i be b(n). Is -0.06 > i?
False
Let l = 159.1 - 159. Is l at least as big as 76/7?
False
Let j(r) = r**2 - 3. Let l be j(-2). Is l <= -3/10?
False
Suppose 5*t + 258 = 4*k, 5*t + 171 = 2*t - 3*k. Which is greater: t or 1?
1
Let f(d) = 10*d + 28. Let x(n) = 3*n + 9. Let g(i) = -2*f(i) + 7*x(i). Let r be g(-8). Is 0 smaller than r?
False
Let t be 30*1*(-4)/(-12). Is 8 != t?
True
Let x be (0 - -1) + 0 + -2. Let v(p) be the second derivative of p**5/4 + p**4/12 - p**3/6 - p**2/2 + 2*p. Let k be v(x). Is k greater than or equal to -4?
True
Let j = -92 - -91. Which is bigger: j or 0.64?
0.64
Suppose -14 = -3*v + 1. Suppose -p - 5*k = -2*p + 8, 6 = -v*p + 2*k. Is p at most -5?
False
Suppose 5*p - 22 = 2*n + n, 7 = 2*n + p. Let y be (-2)/(3*(0 - n)). Is y at least 0.2?
True
Suppose 4*x - 2*i = 170, 0 = 5*x - x + 3*i - 195. Let p be (-2)/(-1) + (-117)/x. Let m be 0/2*(-1)/2. Is p < m?
True
Let a = -0.58 - -0.55. Which is smaller: a or 2?
a
Suppose 0*m + 3*m + 9 = 0. Let f be (3/m - 0)*11. Is f greater than -12?
True
Let q be (10 - 4) + -4 + 1. Let l(f) = -f + 2*f**q + f - f**3 - 2*f**2 - 3*f. Let t be l(3). Which is smaller: t or 2/7?
t
Let p = 0.03 - -3.97. Let q = 169.9 + -170. Do q and p have different values?
True
Let b be 45/18*4/(-5). Suppose 0*j + 4 = 4*j. Let s be (-3)/(j/2 + 1). Are s and b nonequal?
False
Let k(j) be the first derivative of -j**4/4 + 2*j**3 + 4*j**2 - 7*j - 1. Let h be k(7). Are -1/10 and h non-equal?
True
Let k be ((-790)/(-54))/(-5) + 3. Suppose -11 = 3*v + 1. Let d = v + 3. Is d at most k?
True
Let r = -129 - -388/3. Do r and -1/14 have the same value?
False
Suppose 2*l + 996 = -2*l. Let j = l + 2736/11. Which is greater: j or -2/3?
j
Suppose k + 1 = 3. Suppose k*u + u = 0. Let q be (0/(-6))/(-1 + 0). Is u smaller than q?
False
Suppose -10*g + 11*g = 12. Are 56/5 and g non-equal?
True
Let c = -5 + 5. Is 24 smaller than c?
False
Let o = 2 - 1. Let a be ((-80)/105)/(3/(-9)). Is o < a?
True
Let r(k) = -k**3 + 2*k**2 + 3*k + 1. Let i be r(-1). Does -15 = i?
False
Let d = -162.7 - -150. Let s = d + -4.3. Which is smaller: s or -1?
s
Let l = 5 + -3. Let v = l - -3. Suppose -4 = -3*s + 8. Which is smaller: v or s?
s
Let w = 4 - 4.05. Let l = -0.05 + w. Which is smaller: -1/4 or l?
-1/4
Suppose 0 = -3*b + 4*l - 49, -5*b = -0*b - l + 59. Let t = -10 - b. Is -1/13 bigger than t?
False
Suppose -2*l + 5*l = 21. Suppose -2*w + 3 = -4*p + l, -3*w + 2 = 2*p. Let j(b) = -b**3 - 5*b**2 + 7*b + 7. Let u be j(-6). Is p > u?
False
Suppose -5*x - 9 = -2*n, 5*x - 3*n + 1 = -10. Which is smaller: x or -4/5?
x
Let r be (5 - 8) + 2357/(-77). Let k = -354/11 - r. Is k at least as big as 1?
True
Let r = 1361 + -6942/5. Let y = 26 + r. Which is smaller: -2 or y?
-2
Let r be 69/(-3)*4/40*-2. Which is smaller: r or 6?
r
Let w = -385/4 - -96. Is w <= -6?
False
Let q = 1.86 - 2.1. Let g = 0.26 + -0.3. Let v = g - q. Which is bigger: 3 or v?
3
Let y be 20/(-9) - (-2)/9. Let g be (-1 + -2)*y/(-6). Suppose -4 = -n - 2*b + 4, -3*n + 4*b - 26 = 0. Is g >= n?
True
Let k be (-10)/55*(-2 - -1). Which is smaller: -1 or k?
-1
Let