ue
Let j(t) be the first derivative of t**4/4 - 4*t**3/3 - 2*t**2 - 3*t - 1. Let a be j(5). Let p = a + 0. Is p bigger than 2?
False
Let r = -23/7 - -113/28. Which is bigger: 0.3 or r?
r
Let u be (-8)/(0 + 4) + 7. Suppose 3*p = 4*p + 3*a + 12, 4*p + 4*a + 8 = 0. Which is bigger: p or u?
u
Let n(m) = -9*m**2 - m**3 - 3*m - 13 - 6*m + 2. Let q be n(-8). Let w(t) = t**3 - 7*t**2 - 2*t + 9. Let y be w(7). Which is smaller: q or y?
y
Let m = 8 - 14. Let a = -5.99 - m. Which is smaller: -0.1 or a?
-0.1
Suppose -o - 7 - 7 = 0. Which is smaller: o or -15?
-15
Let h = 123 - 121. Which is greater: h or -6?
h
Let k = -26 + 36. Is k at most as big as 1/3?
False
Let p(d) = d**3 + 8*d**2 + d + 7. Let y(i) = -i**3 + 6*i**2 - i. Let j be y(6). Let q be ((-8)/j)/((-2)/12). Let u be p(q). Which is bigger: 1/4 or u?
1/4
Let s(y) = 4*y. Let r be s(-1). Are -6 and r equal?
False
Suppose -2*r = 2*k + 4 + 2, -r + 21 = -5*k. Which is smaller: 1/4 or k?
k
Let t be (-3)/(-12) - 22/8. Let n be ((-1)/(-5))/(2/10). Which is smaller: n or t?
t
Let c be 97*6 - 1 - -1. Let l be (c/(-27))/((-12)/45). Let q = -81 + l. Is q < 1?
True
Let h(p) be the first derivative of p**4/4 - 5*p**3/3 - 5*p**2/2 - 3*p - 2. Let c be h(6). Suppose c*i + 2 = -1. Which is smaller: -2/5 or i?
i
Let g(p) = 2*p - 2. Let l be g(3). Suppose 4*s - 28 = 4*j, -s + 4*j + 16 = -0*j. Are l and s nonequal?
False
Let s(w) = -w**2 - 3*w - 6. Let d be s(-5). Let x be 2/(-6) + d/(-24). Suppose 3 = a + 2*t + 2, -5*t = 3*a - 3. Which is smaller: x or a?
x
Suppose 27 = -0*f - 3*f. Let x = -46 + 36. Are x and f non-equal?
True
Let a = 2/29 - -77/145. Suppose -60*v + 2 = -59*v. Which is smaller: v or a?
a
Let t = 140 + -140. Is t smaller than 12?
True
Suppose 7*c = -2 - 5. Which is smaller: -9 or c?
-9
Let d(k) = 3*k - 55. Let i be d(21). Is 63/8 greater than or equal to i?
False
Let c(t) = t - 2. Let l be c(3). Let q = -7/5 + l. Is q smaller than 1?
True
Suppose -5*z - 17 = 18. Let u = -5 - z. Does 1 = u?
False
Let u(s) = -6*s + 32. Let l be u(5). Let b = -2 - 0. Let h be (b/(-6))/((-2)/(-4)). Is h equal to l?
False
Let s = 1.1 + 0. Let y = 0.1 - s. Suppose 4*m = -6*x + 4*x + 18, 5*m - 27 = -4*x. Are y and x unequal?
True
Let d = -15/11 - -101/66. Let w = -35892/551 - -1218/19. Let v = 268/203 + w. Which is bigger: v or d?
v
Suppose 5*s = 4 + 6. Which is smaller: 55 or s?
s
Let o = -51 - -61. Which is smaller: 11 or o?
o
Let x = 24.3 + -24. Let r = 0.3 + -1.3. Which is smaller: x or r?
r
Suppose 0 = -h - 3*h - 16. Let r(x) = -x**2 + 3*x + 6. Let a be r(5). Is h less than a?
False
Let c be ((-2)/(32/18))/3. Let o = -27 + 26. Which is greater: c or o?
c
Let r = -26 + 43. Which is bigger: 18 or r?
18
Let j(w) = w**2 - 17*w + 17. Let y be j(16). Let t be 1*-523*(-4)/11385. Let l = t - 2/1035. Are l and y non-equal?
True
Suppose 0 = -2*n + 7*n - 10. Suppose b - 5*i - 37 = -b, b + 4 = -n*i. Let d be 6/b + (2 - 1). Is d at most 2?
True
Let y = -1 - 0. Let w = -0.11 + -2.89. Is w bigger than y?
False
Let r = -1 + 24. Are 2 and r unequal?
True
Let j(a) be the first derivative of a**2/2 + a + 2. Let y be j(-4). Does -2 = y?
False
Let k be (-5)/(5/3) - -2. Let l be (-33)/27 + k - -2. Which is smaller: 1 or l?
l
Let c = 3 - 1. Let s(x) = 9*x**2 + 2*x + 1. Let w be s(-1). Let y = -5 + w. Which is smaller: c or y?
c
Let b be 6/(-21) - (-28)/49. Which is smaller: b or 0?
0
Let o(a) = 9*a - 1. Let y be o(1). Let t(n) = -2*n + 2. Let f be t(5). Let x = f + y. Which is smaller: x or 2?
x
Suppose 5*t + 45 = 3*p, 3*t + 71 = 4*p + 11. Suppose -6*x = -x + p. Let z be -1*(-1 + 2 + x). Which is smaller: z or 2/3?
2/3
Let o = -1 - -1. Let u be -1 + 3 + 0/(-2). Suppose -u*v - 5 = -3. Which is greater: o or v?
o
Let q be (-2)/4 + 18/4. Suppose -q*d - 4 = -0. Let a be 1 + 0 + 1*-1. Which is greater: d or a?
a
Let r(q) = -q**2 + q - 6. Let m be r(0). Let w(t) = t**2 + 12*t - 7. Let l be w(-12). Let z = l - m. Are 1/16 and z equal?
False
Let p(q) = 3*q - 10. Let g be p(4). Which is smaller: 9/7 or g?
9/7
Let w = -7 - -7. Let u be -1 + ((-67)/(-63))/1. Let r = -2/9 - u. Which is smaller: r or w?
r
Let v be (-2)/(-4)*6/1. Is 1 at most as big as v?
True
Let c(w) = w + 5. Let z(f) = f + 1. Let g(a) = -c(a) + 6*z(a). Let v be (1 - 0)/(2*8/(-16)). Let p be g(v). Are p and -4 nonequal?
False
Let t = 12/29 + -117/493. Which is smaller: -0.1 or t?
-0.1
Suppose -h - 2 = h - d, -3*h - d = 8. Let i = 265/4 - 67. Which is smaller: h or i?
h
Let l be (4 + 19/(-2))*2. Which is smaller: -10 or l?
l
Let c(w) be the first derivative of -w**3/3 - w**2/2 + 2*w - 2. Let v be c(0). Are v and 0 non-equal?
True
Let c = -53 - -56. Which is smaller: c or 1?
1
Suppose -3*t = -0*t - 21. Suppose t + 2 = 3*s. Suppose s*f = 4*f - 1. Is 2/7 at most as big as f?
True
Let f = -35 - -38. Let x be 4/112 - (-2)/8. Which is bigger: x or f?
f
Suppose 0*l + 2*l = 8. Suppose -3*x - s + 1 = 0, l = 3*s + 1. Let u be 2 + -4 + 7/4. Which is greater: x or u?
x
Let q(p) = -p**3 + 5*p**2 - p + 4. Let b be q(3). Is b smaller than 2/7?
False
Let u be 4 + -2 - 60/(-15). Is 45/8 > u?
False
Let u(t) = 3*t**2 + t. Let j be u(0). Let r(s) = -s**3 - 4*s**2 - s - 4. Let p be r(-4). Is j greater than p?
False
Let p = 0.05 - 0.25. Let a = -2 + 3. Let q = a + -2. Which is smaller: p or q?
q
Let p be (1/(-3))/1*(-26 + 20). Are 1 and p nonequal?
True
Suppose 0*s + 5*s = 30. Is 6 less than or equal to s?
True
Suppose 0 = 3*u + 4 + 5, 0 = -2*v + 5*u + 5. Let b = v + 5. Which is smaller: 4/11 or b?
b
Let d = 0 + 4. Let l = -49 - -53. Let o = l - d. Do -0.4 and o have the same value?
False
Suppose 0 = -5*r - 2*w + 9 - 0, r - w - 6 = 0. Suppose 2*s + r*s = 55. Which is smaller: 12 or s?
s
Let o = -4 - -6. Suppose -n = 4*b - 12, -o*n - 4 = -b + 2*b. Suppose -4*m + 0 + b = 0. Which is smaller: m or 4/7?
4/7
Let b = 13055509/27720 - 16462/35. Let v = b + -7/88. Which is greater: v or 0?
v
Suppose 3*r - 6 = -x + 10, 3*r - 5*x - 46 = 0. Suppose r*t + 9 = 4*t. Which is bigger: 2 or t?
2
Let i = 11 - 15. Let r(j) = j**2 - 3*j - 1. Let s be r(4). Suppose 0 = 2*p + s*p + 15. Which is smaller: i or p?
i
Let r = 3.5 + -4.5. Which is smaller: r or -1/11?
r
Let b = 0.61 - 0.67. Which is smaller: -10 or b?
-10
Let t be (8/260)/(2/(-20)). Suppose -1 = 4*w - 5. Which is smaller: t or w?
t
Let j = -38/9 - -655/153. Which is smaller: 0 or j?
0
Let z = 331/4 - 6455/78. Which is smaller: -1 or z?
-1
Let n = 29 - 28. Is -1/11 > n?
False
Suppose 4*o - 3*s + 12 = 0, -15 = 5*o - s + 4*s. Let b be (-4)/(-4) - (-2 - o). Are -4/7 and b unequal?
True
Let p = 45/2 + -127/6. Let m = 7 + -11. Let t = -3 - m. Which is smaller: p or t?
t
Suppose 4*s = -7*w + 2*w, 3*s + 3*w - 3 = 0. Let n = -8 + 3. Let u be 22/(-55) - 17/n. Which is smaller: s or u?
u
Let z be (0 + -3 + 2)*2. Is 14 < z?
False
Let g = -23/3 - -589/78. Which is smaller: -1 or g?
-1
Let h = 79/123 - -1/41. Let r be 8 + 0 + (1 - 3). Let u be (-3)/r*10/(-5). Which is smaller: h or u?
h
Suppose 4 = 3*q - 2*g - 3, -4*q + 4*g = -4. Let r be 0 - (-3 + -3 + q). Is 0.5 less than or equal to r?
True
Let h be (-4 - (-15)/3)*1*-1. Which is bigger: 4/15 or h?
4/15
Let l be (1 - -2)/(12/32). Is l bigger than 9?
False
Let t = -74 + 43. Which is smaller: t or 1?
t
Let j be 59/(-57) + -1 + 2. Which is smaller: j or 1?
j
Suppose -3*x + x - 2 = 0. Let i be -3 - -6*x/(-2). Which is greater: i or 4?
4
Let j = 3 - 3. Let s = -0.1 + 3.1. Is s at most as big as j?
False
Let h = 4417/24 + -184. Which is greater: h or 1?
1
Let o = -1 + 0. Let a be (4/(-2) + 1)*o. Let y = 2 - 1. Is y smaller than a?
False
Let w(q) = q**3 - 3*q**2 + 3*q - 1. Let x be w(2). Suppose -5*z = -4*z - x. Which is smaller: z or 2?
z
Let r = 0.06 + -0.04. Let x = r - 0.12. Which is greater: 0 or x?
0
Let f = 13.038 - 0.038. Is 1 greater than f?
False
Let r = -14.4 - -14. Let l = 0.2 + r. Which is greater: -12 or l?
l
Suppose 4*h = -18 - 26. Let s = -30 - -18. Do s and h have the same value?
False
Let i(c) = 2*c - 5. Let a(u) = u**3 + 13*u**2 + 11*u - 7. Let n be a(-12). Let d be i(n). Let k be 2/d - (-4)/40. Is 0 greater than k?
False
Let i = -48/77 + 10/11. Let k be (-4 - -6) + 0/(-2). Let q be k/4*(-1 - -3). Which is greater: i or q?
q
Let t be 2/(-6) + (-2 - (-43)/21). Let c = 4 + -3. Which is greater: c or t?
c
Let c = -19.