0725930 - 11/61242. Let w = 1/133 + a. Is w equal to -3?
False
Suppose -47*t - 196 = -43*t. Let j be ((-25)/(-10) + 1)*-14. Is j >= t?
True
Let m(j) be the first derivative of j**4/24 - j**3/3 - 5*j**2/2 + 2. Let s(b) be the second derivative of m(b). Let o be s(1). Which is greater: -2 or o?
o
Let p(u) = -11*u - 3 + 3*u**2 + 5*u**3 + 0*u**3 - 4*u**3. Let d be p(-6). Is d at most as big as -45?
True
Let p(t) = -t - 6. Let r be p(-4). Let u(f) = -3*f + 27. Let h be u(10). Which is greater: r or h?
r
Suppose -v + 2 = -2*k, -v - 3 = -5*k - 2. Let n be 6 + v*3/4. Let o be (3/n*0)/1. Is o less than -1/11?
False
Let p(d) = d**2 - 18. Let r be p(0). Let k be (-2)/6 - 24/r. Is 2/33 greater than or equal to k?
False
Let b = 1116 - 1113. Which is bigger: 23/7 or b?
23/7
Suppose -2*q = -7*q - 4*f + 649, 4*f - 262 = -2*q. Suppose -2*x + q = x. Is x bigger than 43?
False
Let u = 867 - 876. Is u less than or equal to -4.6?
True
Let o be ((-2)/(-4))/((-468)/432). Which is smaller: -2/15 or o?
o
Let v be (4/10)/((-2)/32). Let k = 3540 + -3546. Which is smaller: v or k?
v
Suppose 0 = k - a, 0 = -0*a + 4*a + 8. Is -24/7 <= k?
True
Let f = 12.881 - 164.971. Let g = 151 + f. Let j = 0.09 + g. Is j at most -0.1?
True
Let y be 111 + (-71 - -67 - (-2)/(-2)). Which is smaller: 3 or y?
3
Suppose -4*v - 5*x + 23 = -v, -3*v - x + 7 = 0. Let m be (-8 + 20)/(v/((-4)/(-3))). Is 16 >= m?
True
Let a = -374 - -379. Which is smaller: 28 or a?
a
Let u = -100 + 59. Let m = u - -40. Is -2/293 >= m?
True
Let l = -1428/5 - -198462/695. Is 0 at most as big as l?
False
Let t be 26562/14 - (-2)/(-7). Let b = -1130 + t. Let z = -14579/19 + b. Which is smaller: z or -1?
-1
Let g be -2 - 9/((-9)/4). Let c be g/(-6 - 0) + (-13)/15. Which is bigger: -1 or c?
-1
Let h = -198.14 - -198.1. Let g = -9.6 + 1.6. Are h and g non-equal?
True
Let m = -2.8 - 0.25. Let z = 4 + -4.05. Let k = z - m. Is k at least as big as 1/4?
True
Let r be 0 + (2 + -4)*-1. Suppose -3*h - 10 = r*h, -2*p + h = 0. Is 1/28 at least as big as p?
True
Let w be -12*(-1 - 3/9). Suppose -2*a = -7 - 9. Suppose -3*u - 75 = -a*u. Which is smaller: u or w?
u
Let s(y) = -y**2 + 7*y - 4. Let q be s(1). Is 26 < q?
False
Let q be (-6*(-5)/150)/((-1)/(-53)). Which is bigger: q or 11?
11
Let r = -29/5 + 5. Let t = 82 - 83. Is t smaller than r?
True
Let v = -34 + 35. Let m be ((-12)/9)/v*6. Is -5 at least as big as m?
True
Let x be 672*(-5)/(-60)*4. Which is greater: x or 225?
225
Let v = -129 + 86. Let l = v + 26. Let d = -17 - l. Which is bigger: d or 10?
10
Let u = -131 + 57. Let m = -76 - u. Is 3 <= m?
False
Suppose 6*t - 6 = 4*t + 4*q, 5*q + 13 = 3*t. Let u(m) = 8*m**3 - 2*m**2 - 5*m + 6. Let b be u(1). Let a = b - t. Are -4 and a non-equal?
False
Let y = -9 - -20. Suppose -4*x - s - y = -2*x, -3*x - 27 = -2*s. Let r = -33/5 - 9/10. Which is smaller: r or x?
r
Let x(i) = i**2 - 25*i - 64. Let l be x(27). Suppose -f + 0*f = 11. Is f less than or equal to l?
True
Let t(u) = u**3 + 5*u**2 - u - 5. Let n be t(-5). Let l be 3 + (-4 - 3/18). Let j = l + 55/42. Is j not equal to n?
True
Suppose 23*v + 177 = 39. Which is greater: v or -136/19?
v
Let p = 1.17 + -1.27. Which is smaller: p or -101/5?
-101/5
Let o = 155 - 322. Is -167 equal to o?
True
Suppose -10*l - 471 = 9. Which is smaller: 0 or l?
l
Suppose -7*j - 15*j = -8822. Is j less than 401?
False
Let a = -387061/136 - -2846. Is a smaller than 0.2?
True
Let x = 19 + -18. Let w be (64/77 - x) + 6/(-21). Which is bigger: -1 or w?
w
Let r(f) = f**2 + 2*f + 5. Let u be r(-5). Let k = u - 15. Suppose k*a - l + 10 = 0, -8*l + 2 = -a - 3*l. Which is smaller: a or -1/2?
a
Let u = -0.3 + 0.55. Let w = -0.75 - u. Do w and 0 have the same value?
False
Suppose -3*b = -5*y, -3*y - 4 + 23 = 2*b. Suppose 2*s - 11 - 6 = 3*x, y = -3*s - 5*x. Suppose 5*m - s*m = 17. Which is smaller: 18 or m?
m
Suppose 20 = 3*c - 5*x + 2, -4*c = -5*x - 19. Which is greater: c or -14/41?
c
Let z = -14.05 + 16.05. Which is smaller: 319 or z?
z
Let x(n) = -2*n**3 + 15*n**2 + 5*n + 15. Let o be x(7). Which is greater: 195/2 or o?
o
Let t be (-6)/14 + 39/91. Let p be -3 + 165/28 - 3. Which is smaller: p or t?
p
Suppose -3 - 36 = 3*t. Let s be (6 - 7)/((-1)/t). Suppose 4*w + 5*g + 17 = 3*w, -32 = 3*w - 4*g. Which is greater: w or s?
w
Let l = -11 + 7. Suppose 5*u + 108 = -5*v + 13, 2*v - 2*u + 18 = 0. Let w be l/14*v/40. Is w > -1?
True
Suppose -k = -0 + 5, 4*b + 2*k = -190. Let t = -45 - b. Which is bigger: t or 1/60?
1/60
Suppose 0 = -3*j + 228 - 306. Do j and -105/4 have the same value?
False
Let b(d) = -2*d + 2. Let p be b(-1). Let k be ((-6)/(-65))/(19/5 - p). Does 1 = k?
False
Let g be 27/(-18)*10/6. Suppose -2*h + 4*h = 8. Which is greater: h or g?
h
Let b = -67 - -72.8. Let u = b - 6.1. Which is smaller: -3 or u?
-3
Suppose 17*h + 24*h + 1722 = 0. Let b = 59 - 101. Is h at most b?
True
Let i be (-29)/(-6) + 2/12. Let d be i/6 - 12/(-72). Is 0.8 less than d?
True
Let t = -239 + 239. Which is bigger: t or -325?
t
Suppose 0 = 13*z - 2*z - 308. Let x = z + -28. Is x < 6/5?
True
Suppose 0*m + 2*m + 4 = 0, -3*r - 5*m + 11 = 0. Suppose -r*b = -10*b + 30. Let n be ((-4)/(-90))/((-1)/b). Are n and 1 unequal?
True
Let m = -84681/236 - -4/59. Which is greater: -360 or m?
m
Let x be (-2 + 51/18)*(-272)/(-60). Is 5 greater than x?
True
Let j = -110745/7 + 15786. Are -34 and j unequal?
True
Let v = -1.2 - -0.2. Let p be (4/(-42))/((-7)/(-49)). Is p < v?
False
Suppose -3*y + 20 = -7*y, 3*s + 4*y = 112. Which is smaller: s or 42?
42
Let u = -215 + 193. Is u greater than or equal to 3?
False
Let d = -24 - -9. Let u be 4 + -1743*(-3)/d. Let o = 343 + u. Is o at least as big as -1?
False
Let m be -4*1 - 2193/(-340). Let h be (-4)/14 - (-99)/28. Let n = h - m. Which is smaller: n or 1?
n
Let s(z) = -2*z**3 + 48*z**2 + 2*z - 39. Let k be s(24). Is k != 49/5?
True
Suppose m + 4*m - 25 = 0. Let r = m + -3. Let t(k) = k**3 - 4*k**2 - k. Let y be t(r). Which is bigger: y or -11?
y
Suppose -13*y - 11 = -388. Let r be (42 - 0)*4/6. Let d = r - y. Is -4/13 not equal to d?
True
Suppose -2*s = -0*s - 5*z + 15, 4*z = -4. Let b = s + 15. Is 2 at least b?
False
Let b(n) = n**3 + n**2 - 4*n + 1. Let s be b(-2). Suppose -s*v - o - 72 = -0*v, 75 = -4*v + 5*o. Are v and -0.1 unequal?
True
Let d(l) = l**3 - 8*l**2 + 17*l - 11. Let f be d(8). Which is smaller: f or 123?
123
Let d(x) = -x + 15. Let r be d(22). Suppose -3*m + 7 = -5, 0 = -3*f - m + 13. Suppose -f*g - 6 = 3*p - 0*p, -16 = -4*g. Are p and r equal?
False
Suppose 28 = -6*r - 104. Which is smaller: -2 or r?
r
Let j be 222/(-407) + 34/22. Is j at most 4/219?
False
Let c(u) = 2*u**3 + 25*u**2 - 15*u - 17. Let b be c(-13). Let d(n) = -3*n**3 + 27*n**2 + 2. Let h be d(b). Which is smaller: h or 8/9?
8/9
Let h = 216 + -215. Which is smaller: h or 4/119?
4/119
Let l be 2/(-2)*-11 + -2. Suppose k - 4*k + l = 0. Let z = -14943 - -59781/4. Are z and k equal?
False
Suppose 4*a + 25 = -c, 4*c + c + 25 = 0. Let s be 2/a - 13/455. Which is smaller: 0.7 or s?
s
Let w(j) = -j + 1006*j**2 + 352*j**2 + 51*j**2. Let c be w(-1). Let k = 43714/31 - c. Is k greater than 0?
True
Let s = 62 + -47. Suppose 3*r + 2*r - 75 = 0. Let m = s - r. Which is bigger: 2/7 or m?
2/7
Let g(u) = -3*u - 9. Let b be g(-7). Let d be 14 - 2 - (-12 + 13). Let x be 485/45 + (-1 - d/(-9)). Is x < b?
True
Let n(w) = -w + 16. Let j be n(12). Suppose -x - 5*a - 4 = -3, x + j*a = -1. Let l be ((-1)/(-21))/((-2)/4). Which is greater: l or x?
l
Let t(j) be the third derivative of j**4/4 - 2*j**3/3 - 3*j**2. Let g be t(6). Let s be 30/g + 3/(-3). Which is greater: -1 or s?
s
Let h(c) = -c**2 - 9*c - 9. Suppose -2*k = f + 7 + 7, 2*k + 6 = 0. Let o be h(f). Let i = o + 8. Which is smaller: i or 8?
i
Let b = 83 - 78.7. Let l = -2.3 + b. Which is bigger: l or -2?
l
Let f(n) = n**3 - 2*n**2 + n - 5. Let d be f(2). Let i = 2 - -1. Suppose 4 = i*l + 1. Which is smaller: l or d?
d
Suppose -4*p = -0*p - 4*c - 16, -3*c = 4*p - 16. Suppose p*z = -z. Let a be 10/(-28) + (-1)/2. Which is greater: a or z?
z
Let i(q) = q**2 - 8*q + 20. Let m be i(5). Which is greater: m or 72/13?
72/13
Let t = 103/16 - 1043/80. Is t less than or equal to -8?
False
Suppose 4*h - 78 + 14 = 0. Suppose -2*o = 4*j - h, -4*o + 7 = -4*j - 1. Let s be (j - 5)/((-150)/(-20)). Is 