o 30?
True
Suppose -4*n = -2*h + 20, -4*h + 2 = n - 11. Let g be (-4)/10 - 718/5. Let u be (-4)/g*-2*4. Are n and u non-equal?
True
Suppose 2*b - 4*d = -182, -2*b + 3*d - 31 = 155. Which is smaller: b or -100?
-100
Let n = 8/15 - 13/15. Suppose -u + 0 + 1 = 0. Is n < u?
True
Let b be 0 + (-2)/148*-6. Is 0 >= b?
False
Let a be -1*4 - 24/12. Let l = a - -2. Is l greater than -1?
False
Let p(t) = -3*t**2 - 10*t. Let n be p(-4). Is -7 at least as big as n?
True
Suppose -4*g = 2*c + 22, 2*g = -c + 4*g + 9. Let z be c - -1 - 8/2. Suppose -1 = -f - 0*f - 3*r, 3*f = -4*r - 7. Which is smaller: z or f?
f
Let t be (-3)/(-6)*(19 - 7). Which is bigger: t or 7?
7
Let r = -643/23 + 28. Is r at most as big as 1?
True
Let m be -2*(-1 - (-9)/6) + 1. Is -4 less than or equal to m?
True
Let p be 47 - 36 - (2 - 1). Which is greater: 9 or p?
p
Let o be 280/(-15) + 3/(-9). Let p be (-1)/5 + (-890)/50. Which is smaller: o or p?
o
Let g = -53/42 + 5/6. Is 1 less than g?
False
Let q = 31.5 + -31. Which is greater: 0.1 or q?
q
Let g = 4 + -1. Suppose -26 = 4*q - 10. Let o = g + q. Which is bigger: o or 2?
2
Let g be 2/7 + 78/21. Let w(u) be the third derivative of -u**6/120 + u**5/12 - u**4/8 - 5*u**3/6 + 2*u**2. Let x be w(g). Which is smaller: 0 or x?
x
Let o = 3.1 - 3. Let h be (-40)/5*1/(-2). Let m = -3 + h. Which is greater: o or m?
m
Let q = -6 - -6. Suppose 3*d = -q*i + 5*i - 19, -6 = 2*d - 2*i. Let o = -1 + 1. Which is greater: o or d?
d
Let i = -4 - -2. Let x be i/6 + (-5)/3. Let p = x - -1. Which is smaller: -2/9 or p?
p
Let o = 0.08 + 1.02. Let m = -1.9 + o. Which is smaller: -1 or m?
-1
Suppose 0 = 2*f + 4 - 12. Suppose f*y - 2*y - 4*z = 0, 3*y - 2*z = 0. Does y = -2?
False
Let s = 0.32 - 0.02. Let r = 0 - -7. Let a be 0 + 0 - (-7)/r. Is a < s?
False
Suppose 0 = -0*l - l + 4*j + 7, 0 = 4*l - 3*j - 2. Which is smaller: 1/9 or l?
l
Let o = -18 - -24. Let w be (-15)/(-90)*4/o. Is 0 greater than or equal to w?
False
Let d(l) = -l - 3. Let z be d(-8). Suppose 12 = -3*p, 4*w - 2*p = z*w + 9. Is w greater than -1/2?
False
Suppose -12 = 3*m - 4*h, -m = -5*m + 5*h - 15. Is m at least 6?
False
Let s = 88/9 - 10. Is s equal to 1?
False
Let a = 0 - -1. Let s = 85837 - 946805/11. Let p = s - -236. Is p at most as big as a?
True
Suppose -5*d - 24 + 3 = -3*p, 2*d + p + 4 = 0. Let a = 8 + -7. Let b(n) = -3*n**2 + n. Let r be b(a). Is d smaller than r?
True
Suppose 0 = -2*g - g - 27. Let q be ((-3)/(-27))/(3/g). Is -1 equal to q?
False
Let j = 0.78 - -0.02. Let c = 19.8 - j. Do c and -1 have the same value?
False
Suppose 64 = -2*y + 42. Which is smaller: -13 or y?
-13
Suppose -2 = -2*n + 4*n. Is n <= -1?
True
Let u = -143/3 - -47. Let a be (0/1)/(3 - 1). Which is smaller: u or a?
u
Let r(d) = d**2 + 15*d + 23. Let y be r(-13). Let q be (-30)/8 + (-3)/12. Which is smaller: y or q?
q
Let s be (-15 - -18)/((-3)/17). Is s < -17?
False
Let x be 6/(-2) + 48/12. Suppose y + 1 = b, 3*b = y - 0 + 5. Does x = b?
False
Let a = -0.07 + 0.07. Let t = -0.1 - a. Let p be -2 + (42/(-8))/(-3). Which is greater: p or t?
t
Let b(n) = -n**2 + 11*n - 3. Let a be b(8). Is a at most 20?
False
Let q(v) = -2*v**3 - 3*v**2 - 3*v - 2. Let w be q(-2). Let m be 305/45 - 6/(-27). Which is bigger: m or w?
w
Let l = -0.041 + -0.289. Which is smaller: l or -0.1?
l
Let w = 11 + -101/9. Let n = -1134/65 - -88/5. Which is bigger: n or w?
n
Let h be 3/3*1 - 4. Suppose -7 = 3*y + 2. Is y != h?
False
Suppose 6*p = p + 5. Does p = 1?
True
Suppose 0*j = -j + 5*i - 17, 4*j + 20 = 4*i. Let m(f) be the first derivative of -f**3/3 - 5*f**2/2 - 6*f + 2. Let y be m(-4). Is y not equal to j?
False
Suppose 37 = 5*i - 33. Is 13 equal to i?
False
Suppose -636 = 11*b + 46. Is b < -62?
False
Suppose -2*o - 1 - 1 = 0. Let j = -11 + 22. Let h = -12 + j. Is h smaller than o?
False
Let k(c) = -8*c + 2. Let r be k(6). Let v = r + 324/7. Suppose 3*b = -4*g - 9, 6*b - 2*g = 3*b + 9. Are b and v non-equal?
True
Let g = -7 + 6.3. Let l = 0.2 + g. Let d be (-1)/(3/5) - -1. Which is bigger: l or d?
l
Suppose -2*n + 0 + 2 = 0, 0 = 2*l + 3*n - 7. Suppose 2*d - p = 15, -2*p - 27 = -l*d - 9. Let t be (3/(-18))/((-3)/d). Is t at least 0?
True
Let o(f) = -5*f - 4*f**3 - 2 + 17*f - 10*f. Let v be o(1). Let t = 4 + -6. Which is smaller: v or t?
v
Let u(z) be the first derivative of z**3/3 - 5*z**2/2 + 5*z + 3. Let p be u(4). Which is smaller: p or -7?
-7
Let w = 259/72 - 27/8. Which is smaller: -0.1 or w?
-0.1
Let a(s) be the third derivative of s**4/24 - 11*s**3/6 + 4*s**2. Let r be a(9). Which is smaller: 0 or r?
r
Suppose 4*k - 3 = 1. Let u be 0/k - 3/(-3). Which is bigger: u or 4/7?
u
Suppose -4*y = 3*j - 3*y, -j - 4*y = 0. Which is smaller: -1/8 or j?
-1/8
Let y = 37/30 + -19/10. Which is smaller: -4 or y?
-4
Let n = 31/78 - -4/39. Is -12 equal to n?
False
Suppose 0 = u - 4*b - 28, -5*u + 0*b - 5*b + 15 = 0. Let v = -7 + u. Is v equal to 0.1?
False
Let l = 87 - 91. Let j be 1/((-6)/(-8))*-3. Is l at most as big as j?
True
Let g be (1 + 14/(-16))*-2. Let u be (0/((-4)/(-2)))/(-2). Which is greater: g or u?
u
Let s = -24 + 36. Let y be s/(-8)*2/(-3). Which is greater: -1/8 or y?
y
Let u(y) be the third derivative of y**4/8 + 2*y**3 - 4*y**2. Let v be u(-8). Let m be (6/5)/(v/30). Is m < -4?
False
Let r = 9/2 - 4. Suppose 4 = j + 12. Let a be ((-12)/j)/(3/2). Which is smaller: a or r?
r
Let t(u) = u**2 - 4*u + 4. Let c be t(3). Which is bigger: -4/9 or c?
c
Suppose 3 = -2*t - 1. Let r be 323/(-85) - 8/(-10). Is r at least as big as t?
False
Let h = 81 - 80.3. Is h equal to -2/9?
False
Let t = -8 - -4. Let f(v) = 3*v - 4 - 2*v - 2*v. Let l be f(t). Is 0 bigger than l?
False
Let s = -10 - 1. Let b = s + 10. Which is smaller: b or -9?
-9
Suppose 20 = 3*c - 1. Let x = c - 4. Let r = 0.29 + -0.39. Is x > r?
True
Let v = 0 - -2. Let n = 1 + -1.1. Let h = 0 - n. Is h != v?
True
Let n = 4/31 + -82/155. Is -2 bigger than n?
False
Let s = -2 - -2.1. Is -2.5 equal to s?
False
Let t(q) = q**2 + 8*q - 18. Let f be t(-10). Which is smaller: 6/7 or f?
6/7
Let d be 2/(-5)*574/(-28). Which is smaller: 9 or d?
d
Let s be -5 + (0 - 6)/(-2). Let x = 1 + s. Are -2/7 and x nonequal?
True
Let d be (5/60)/((-2)/(-28)). Which is smaller: d or 2?
d
Suppose 3*s + 2*s + 16 = -3*j, -2*s = -j + 13. Let q be (2*6/(-8))/j. Which is greater: 0 or q?
0
Let m = -0.44 + 0.09. Let i = m + 3.35. Let z = 1.94 + 0.06. Which is smaller: z or i?
z
Suppose 5*x - 26 = -d, 4*d = -6*x + x + 29. Suppose -5*m - 21 = -6. Let k be (1/(-3))/(m/27). Which is smaller: k or d?
d
Let j = -427 + 8116/19. Is j != -1?
True
Let y(o) = -5*o**2 - 5*o + 8. Let m(j) = 11*j**2 + 11*j - 16. Let p(z) = -4*m(z) - 9*y(z). Let k be p(4). Which is smaller: k or 13?
k
Suppose l = 4*v - 2*v + 11, -3*v = 5*l - 16. Is 7 at most l?
False
Let h = 31 + -31.2. Which is greater: 8 or h?
8
Let s = 24 - -2. Do 26 and s have the same value?
True
Suppose 4*w + w - 17 = 3*a, 2*a + 53 = -5*w. Is a greater than or equal to -25/2?
False
Suppose 2 = b - 2*n + n, -3*n = 15. Let t(y) = y**3 + 5*y**2 - 6*y - 3. Let f(k) = -k**3 - 7*k**2 - 5*k. Let i be f(-6). Let d be t(i). Is b < d?
False
Let q = 3 + 2. Let b = q - 4.9. Let o be (-4)/(-6) - (-22)/(-6). Is o at most as big as b?
True
Let l(c) = -c - 1. Let z be l(-9). Is 6 bigger than z?
False
Let n = 7/3 + -13/6. Let h(w) = w**2 - w. Let o be h(2). Let k = -2 + o. Which is smaller: k or n?
k
Let q be (-1)/(-1)*(7 - 3). Let a be q/6*(-21)/(-36). Let f = a - 5/9. Which is greater: 0 or f?
0
Let c(n) = -n**3 - 6*n**2 - 2*n - 6. Let a be c(-6). Suppose a = -f + 2. Suppose x = -3*w - 10, -2*x + 15 = -2*w - 5. Which is smaller: f or w?
w
Let r be ((-18)/(-15))/(9/30). Suppose 0 = 2*l - 3*a + 23 + 12, 0 = -r*l - 3*a - 25. Let m be (-2)/l + 4/5. Which is bigger: 0 or m?
m
Let w(t) = -t. Let g be w(3). Let x = 3 + g. Are x and -1 unequal?
True
Let m(l) = -l + 6. Let t be m(0). Suppose -18 = -2*r + 4*i, -6*r + t = -3*r + i. Do r and 1 have different values?
True
Suppose 0 + 12 = -4*k. Let a(g) = -g**3 - g. Let x be a(1). Let d = k - x. Is d less than or equal to -3/5?
True
Let b(s) = 9 + 5*s + s**2 - 8 + s. Let k be b(-5). Which is greater: -5 or k?
k
Let z be 8/42 - (-14)/98. Let m = 0.3 + -0.2. Let f = 3.9 + m. Is f != z?
True
Let i(u) = -3*u**2 + 1. Let n be i(-1). Let p be 4 + n - 