 1?
False
Let n = 1 - 5. Let s(j) be the third derivative of -j**4/24 - 5*j**3/6 + 6*j**2. Let p be s(n). Which is smaller: p or 1/3?
p
Let h be (1/7)/((-2)/(-12)). Let v = h - 16/35. Suppose -k = 3*k. Is k > v?
False
Let s = 10 + -4. Suppose -3*t = 3*z - 7*z - 5, -5*z + 4*t - s = 0. Let r be (2/z)/(1/1). Is r greater than 0?
False
Let s = -2/387 + 3106/1935. Is s > 1?
True
Let q(a) = 9*a**3 - a**2 + a. Let u be q(1). Let l be (1/(-5))/(12/15). Which is bigger: l or u?
u
Suppose 0 = 3*y - 6*y - 9. Which is smaller: y or 0?
y
Let q be ((-2)/(-4))/((-3)/(-6)). Is 4/13 at most q?
True
Let j = 5 + -5. Is -1/5 at most as big as j?
True
Let p(w) = -w**3 - 7*w**2 + 8*w - 5. Let i be p(-8). Let y = -4 - i. Which is smaller: 2 or y?
y
Suppose -5 = -3*a - 2. Suppose 3*o - a = q + 8, -2*o + 6 = 4*q. Let b = -1 - -3. Is b at least q?
True
Let h(x) = x**2 + 10*x + 8. Suppose 0 = -2*w + 6*w - 24. Let f be (-2*1)/(w/27). Let y be h(f). Is y greater than or equal to 1/3?
False
Let g = 0.11 + 0.69. Is 2 at least g?
True
Suppose 2*r + 3*r + 25 = 0. Let s be r*(-1 + 1/5). Suppose -4*x = 3*v - 9 + 1, 4*x = -s*v + 12. Which is smaller: -2 or x?
-2
Suppose 5*j + 12 = j. Suppose 3*x - 35 = -2*x. Let m = x + -11. Is j <= m?
False
Let n = -86 + 32. Is n less than -54?
False
Let y = -2.5 + 2.3. Which is bigger: 1 or y?
1
Let d = 121/3 - 41. Is d > -3/17?
False
Let h be (2/2)/(1 + 0). Suppose 4*k + 20 - 8 = 0. Let j be h*((-2 - k) + -2). Which is smaller: j or 2/5?
j
Let c be (3/(-2))/((-15)/40). Suppose 10 = c*g - 6*g. Let k be (-18)/(-10) - g/25. Is 2 < k?
False
Let t(s) = s**3 + 6*s**2 + s - 12. Let d be t(-6). Which is greater: d or -20?
d
Let j = 8 - 9. Let l be 6/(-14)*(-4)/(-6). Which is greater: l or j?
l
Suppose -5*x - 7 = -2. Suppose -1 = 7*z - 15. Is z bigger than x?
True
Let h be (2/(-6))/((-4)/3). Let m = -18 + 18.7. Let f = -0.3 - m. Do h and f have the same value?
False
Let p(j) = -j**3 - 7*j**2 + 10*j + 19. Let r be p(-8). Is 7/3 > r?
False
Suppose 0 = -g - 2*g. Suppose g = t + 4*t - 10. Let i be (-1)/t - (-9)/6. Which is smaller: 1/5 or i?
1/5
Let r = 2 + -2. Suppose -2*x + 0*x = -4*v - 20, x + 4*v = -14. Suppose x*w = 5*w. Is w at most r?
True
Let p = -40 - -77. Suppose -5*r = 2*q + q + p, 7 = 2*q - 3*r. Is q != -4?
False
Let c = -6.017 - -0.017. Which is smaller: c or -5?
c
Suppose 2*z = 2*q - 6, 2*q + 2 = -z - 16. Let c = 8 + z. Which is smaller: 1 or c?
c
Let h be (90/(-24))/((-33)/8). Do h and 2 have the same value?
False
Let u = 148/35 - 24/7. Let d be 3*(-1 + (-5)/(-3)). Which is smaller: d or u?
u
Let k(s) = -s**2 + 5*s + 8. Let c be k(6). Suppose 5*u - 18 - c = 0. Which is smaller: u or 3?
3
Suppose n = 5*r - 8, 4*n - 2*r - 16 = -6*r. Suppose 5*h - 65 = -n*z + z, -5*h - 2*z + 70 = 0. Suppose 4*m + h = -0*m. Do -3 and m have the same value?
True
Let i = -5/4 + 21/20. Suppose 4*l = 3*c + 8, l + 16 = -3*l - 3*c. Which is greater: i or l?
i
Let a be 2/5*80/(-144). Let r be (-2)/6 + 4/3. Let y be (-2 + -1 + 4)/r. Which is greater: a or y?
y
Let p = -38 + 42. Is 27/7 at least p?
False
Let f be ((-2)/4)/((-1)/(-10)). Let h be 6/(-8) + f/20. Let p = 91/450 - -1/50. Which is smaller: h or p?
h
Let q be (-4)/20*(0 + (-20)/(-408)). Is 1 at most q?
False
Suppose g + 5*u - 4 = 0, 0*g - g + 2*u - 3 = 0. Let o be (2 + g)*(0 - 0). Which is bigger: o or 1/2?
1/2
Let p = 0.9 - 0.9. Let b(i) = -3*i + 2. Let d be b(2). Let c be (-10)/d + -4 + 2. Is p equal to c?
False
Let r be ((-1)/4)/(28/48). Do 0 and r have the same value?
False
Let m = -0.6 + 3.6. Is m bigger than 6?
False
Let v = 2056/1465 - 1/293. Which is smaller: 2 or v?
v
Suppose 0 = 2*v - v + 8. Let h(j) = j**3 + 7*j**2 + 3*j - 25. Let s be h(-6). Which is smaller: v or s?
v
Let b = -8.2 + 0.2. Let m = b + 6. Let i be (-4)/(-6)*2/(-4). Which is greater: m or i?
i
Let h = -13 + 6. Let w = 6.7 + h. Is w < -2?
False
Let i(p) = 4*p. Let o be i(2). Let j be (-2)/(10/(-6) + 1). Suppose j*v + o = -v. Which is smaller: -3 or v?
-3
Let x be 356/(-52) + 6/(-39). Let p be 2/9 - (-56)/(-9). Let m be p/(-5)*5/x. Is m at most as big as -1?
False
Suppose 2*g = 4*g. Let n be (-36)/(-30)*(-1)/3. Is g greater than n?
True
Suppose -41 = -4*z - 1. Suppose 0 = -5*p + o + z, -2*p - 2 = -3*o - 6. Which is bigger: -2 or p?
p
Suppose 3*w - 5*w = -2*j, 5*j = 2*w. Suppose j = -2*i - 3*i. Which is greater: i or 2/13?
2/13
Let u = -7/65 - 48/13. Let p = -43/10 - u. Which is greater: 0.1 or p?
0.1
Suppose -m - 3 = 13. Which is smaller: m or -14?
m
Let h(s) = s**2 - 9*s + 9. Let u be h(6). Let c be 141/27 - (-2)/u. Is c != 4?
True
Let a = 4103/18 - 228. Is -1 greater than a?
False
Let u(w) = 3*w - 4. Let c be u(4). Let d be (c/15)/(36/30). Is d >= 1?
False
Let g be 82/(-2)*-1 + -1. Suppose 0 = 2*v - 5*o - 4, -g = -2*v - v - o. Let s be (-2 - 2)*(-2)/v. Which is smaller: -0.2 or s?
-0.2
Let h be (48/4)/(-4) - 4. Let z = -0.2 - -0.3. Is h < z?
True
Suppose -3*u - 25 = 5*q, -2*q - 6 - 5 = u. Is -8 <= q?
True
Let r = 51 - 355/7. Suppose 6*i - i + 20 = 0. Is i at most as big as r?
True
Let d = 5 + -4. Is d greater than 2?
False
Let n = 3073/25 + -123. Which is smaller: n or 0?
n
Let h = -43 - -61. Let q = h - 45. Let w be (-6)/(-4)*(-36)/q. Which is smaller: 5/6 or w?
5/6
Let a be (-6)/(-4) - 56/(-7). Are a and 11 non-equal?
True
Let h be -2*((-4)/2)/1. Suppose k - 2*k = a + 1, -10 = h*k - 2*a. Which is greater: -3 or k?
k
Let w be (-1)/(-3) + 52/6. Let k(i) = i**2 - 7*i - 13. Let b be k(w). Suppose -b*a = -5*m + 10, -m - 5*a + 3*a - 10 = 0. Which is bigger: m or -1?
-1
Let o = -34 + 40. Which is smaller: 1/2 or o?
1/2
Let c = -15 - -8. Let l = 8 + c. Is l <= -3?
False
Let j be (-2)/(-6)*(0 + 1). Let u = j + -19/39. Let m = -2 + 3. Is u smaller than m?
True
Let w = 3 + -2.8. Let g = w + -0.2. Let y be 5 + -9 + 44/10. Is g greater than y?
False
Let c be 2/(-18) + (-8)/24. Let f = 5 + -4. Do c and f have the same value?
False
Let c = 111 - 118. Is c > -9?
True
Suppose -4*d + 2 = -3*d. Suppose b = 5*v - 3 - 9, -3*v + 15 = d*b. Suppose -2*k = v*k + 30. Is -4 at least as big as k?
True
Let z = 1245 + -51039/41. Which is greater: z or -1?
z
Let p be (3 + -2)*(0 - 1). Let i be (-1)/4 - 11/(-76). Is i > p?
True
Let a(t) = 28 - t**3 - 8*t**2 - 29 + 2*t**3. Let z be a(8). Are -1/3 and z equal?
False
Let q(d) = -d**2 - 16*d - 2. Suppose -2*p - 80 = 3*p. Let h be q(p). Which is bigger: -1/2 or h?
-1/2
Suppose -m - 2*m = 0. Let d = -54 + 53. Which is greater: d or m?
m
Let k be (-7)/(-21) + (-2)/(-3). Is -6/23 <= k?
True
Let a = 7 - 7. Let u(x) = -x**2 + 8*x + 10. Let j be u(8). Let o be 10/14 + j/35. Which is smaller: a or o?
a
Let o be (6/5)/((-2)/10). Are o and -6 equal?
True
Let w = 29 - 25. Let l(h) = 4*h**2 - 2*h + 1. Let y be l(1). Which is greater: y or w?
w
Let a = 19 + -20. Which is smaller: -1.2 or a?
-1.2
Suppose -4 = -7*u - 60. Let j be u - (4 - 8) - -10. Which is smaller: j or 5?
5
Let i = -6 + 7. Let v be 3*i/(-3)*1. Is v at most -1?
True
Let f = 0.2 - -1.1. Let r = f + -1. Which is smaller: r or 1/2?
r
Let t = -2180/11 - -198. Let v = -2 + 4. Suppose 0*l - l = 2*p + 3, v = 2*l - 4*p. Which is greater: l or t?
t
Suppose 0*k - k + 2 = 0. Let d(g) = -g**3 - 7*g**2 + 7*g. Let h be d(-8). Suppose -5*n - o - 3*o = 16, -2*o - h = 3*n. Do k and n have the same value?
False
Let i be 0 - (-2 - (-1635)/108). Let w = i - -53/4. Let q = w + -14/45. Which is greater: q or 0?
0
Let s be 64/12 - (-2)/3. Let d be (-22)/24 + s/9. Let b = 2 - 3. Is d less than or equal to b?
False
Let c = -3.4 + -2.6. Let m be 2/5 - (-24)/(-35). Are m and c unequal?
True
Let n = 40224/7 - 6597079/1148. Let r = -2/41 - n. Which is smaller: -1 or r?
-1
Suppose -m + 4 = -5*i, 0 + 4 = -2*i - 2*m. Let s(o) = 7*o. Let x be s(i). Does -5 = x?
False
Let l(s) = -2*s + 11. Let g be l(6). Is g less than 2/27?
True
Let x = 1 - 1.36. Let g = x + 0.3. Are g and 1 unequal?
True
Let r(z) = z**3 + 3*z**2 - 4*z + 3. Let v be r(-4). Suppose -n + 0*b = -2*b - v, 4*b + 18 = -2*n. Let d be n*4/18*3. Which is greater: -3 or d?
d
Let t(v) = -v**3 - 6*v**2 - 7*v - 6. Let u be t(-5). Suppose 2*y + u*f + 14 = 0, 22 = -4*y + 3*f - 8*f. Is -3 smaller than y?
False
Let f = -0.19 + 1.09. Let o = -1 + f. Let q = -1 + 1.3. Is o equal to q?
False
Let w(f) be the third derivative of f**6/120 + f**5/12