Let d be (12/(-30))/(12/10). Are j and d nonequal?
True
Let h(d) = -d**3 - 21*d**2 + 21*d - 19. Let z be h(-22). Which is smaller: 7 or z?
z
Suppose -5*s - 1545 = g, -3*g = -5*s - 1774 + 249. Let d = -3384/11 - s. Which is smaller: -1 or d?
-1
Let x = 0.3 + 0.5. Let t = -1.8 + x. Is t equal to 2?
False
Let b(c) be the second derivative of -c**3/6 - 2*c**2 + c. Let t be b(-4). Which is bigger: t or 2/19?
2/19
Suppose -4*d + 12 = -4*z, 3 - 2 = -d + 3*z. Let o(x) = -x + 12. Let j be o(8). Which is smaller: d or j?
j
Let s = -10 + 9. Is s > 5?
False
Let q = 2/37 - -29/148. Let r(m) = -m**3 + m**2 - 4*m**2 + 1 + 0*m - m. Let l be r(-2). Which is smaller: q or l?
l
Suppose 0*v + 4*c = -v + 6, -4*v + 4*c = 16. Let q be (1 - (-3)/v)*2. Which is greater: -2 or q?
q
Let o = 91.2 - 91. Is o >= -43?
True
Let m be (-9 - -8) + (0 - -5). Suppose j + 5 = m*j - y, 5*j + y - 3 = 0. Is j smaller than 1?
False
Suppose q + l = -3, -5*q + 0 = l - 5. Suppose 7*o - q*o - 10 = 0. Suppose -3*w - o = 1. Is w smaller than 0?
True
Let k be 6*6*2/3. Let p be (k/(-3))/(-2) - 2. Suppose 0 = u - w + 2*w, p*w = 4*u + 30. Are u and -3 equal?
False
Let z = -2 + 1. Let l(s) = -s**2 + s. Let f be l(z). Which is greater: f or 0?
0
Let q(g) be the first derivative of g**4/4 + 2*g**3 - 4*g**2 - 8*g + 1. Let u be q(-7). Let p be u/2*-2 + -3. Is -1/2 greater than or equal to p?
True
Let c = 24 + -21.4. Is c < 1/3?
False
Let a = 108 - 53. Suppose 2*p + a = 7*p. Is 10 < p?
True
Let n be (((-30)/27 + 1)*2)/(-1). Let l = -1/65 + 137/455. Which is smaller: l or n?
n
Suppose -6 = -3*g + g. Suppose -g = 3*v - 0. Which is bigger: v or 1?
1
Let o = -5 + 3. Let g be ((-19)/(-9) + o)*6. Let v = -1 + 3. Which is bigger: v or g?
v
Suppose 3*w = -3*v - 0*v + 27, -9 = -3*w + 3*v. Suppose 5*x = -1 + w. Which is smaller: x or 2/17?
2/17
Let p = -2579/8 - -322. Is p <= 0?
True
Let o(m) = m**3 - 7*m**2 + 7*m + 1. Let g = -8 - -14. Let y be o(g). Suppose 3 = -k - x, -2*x - y = 3*k + 1. Which is bigger: k or -3?
k
Let g(w) = -w**3 + 6*w**2 + 8*w - 2. Let y be g(7). Suppose -3*u - t = -y*t, u - t = 0. Suppose u*l = 2*l + 8. Which is bigger: -2 or l?
-2
Let q be (-52)/17 - 2*6/(-4). Which is smaller: q or 0?
q
Suppose -i = -0*i. Which is greater: i or 1/9?
1/9
Let z = 0.07 - 0.24. Let b = -0.83 + z. Which is greater: b or 5?
5
Let f(m) = -3*m - 4. Let y be f(-5). Let g be 64/110 + (-2)/y. Do g and 1 have the same value?
False
Let k be ((-17)/(-153))/((-10)/(-18)). Is -1 at least k?
False
Suppose x = -n, -7*n + 2*n - 10 = 0. Let p be 27/12*x/3. Let y = p - 2. Which is smaller: y or 0?
y
Let r(l) = -l + 9. Let f be r(7). Suppose 2*q - f*o - 90 = 0, 0 = 2*q + 3*o - 2*o - 102. Let c = 195/4 - q. Which is smaller: c or 2?
c
Let x = -38 - -38.1. Is -8/7 at least as big as x?
False
Let z(p) = p**2 - 5*p - 9. Let g(m) = -2*m**2 + 10*m + 19. Let r(s) = -6*g(s) - 13*z(s). Let y be r(5). Suppose 0 = k - 2 - 1. Does y = k?
True
Let b be (-18)/27*(-66)/4. Which is bigger: 13 or b?
13
Let f = -0.15 - -0.05. Let r = f + 1.1. Is r at least as big as -1/12?
True
Let j(k) = 2*k - 11. Let d be j(8). Suppose p = 3*x - 5, d*x - 14 = p - 3. Suppose -3*q + 32 = p*h, -2*q = -h - 1 - 2. Which is smaller: q or 5?
q
Let o = 3 - 1. Do 4 and o have different values?
True
Let r be (-2)/5 + (-10)/(-25). Let c be (-36)/15 + (-2)/(-5). Let d be c - 8/(-6)*2. Is d at most as big as r?
False
Let p = -0.3 - -0.3. Let j = 1 - p. Let d = 0 + j. Which is smaller: 0 or d?
0
Suppose -3*x - v = -3, -x - 2*v = 1 + 3. Let z be -3*(-5)/10*12/(-9). Which is greater: z or x?
x
Let t be 12 + (1 - (-1 - 1)). Which is bigger: t or -2/5?
t
Let j = -37/51 + 1/17. Let d = -165 + 157. Is d at most j?
True
Let c = -49.4 + 52. Which is bigger: c or 0?
c
Let n = 0.2 + -0.2. Let v = -6 + 3. Which is bigger: v or n?
n
Let x = -740 - -54018/73. Which is greater: x or 1?
1
Let c = -17 + 16.91. Do 0 and c have the same value?
False
Suppose 0 = o - 5 + 3. Suppose -4*g + 20 = 0, 0 = o*m - 10*g + 5*g + 21. Let n be 2 + -1 - (0 - 0). Are m and n non-equal?
True
Let w = -0.6 + -0.4. Let y = 0 - w. Let n = y + -1.1. Which is smaller: 0.2 or n?
n
Let n(o) = -2*o**3 - o**2 + o. Let c be n(-2). Suppose -k + 0*k = c. Are -11 and k non-equal?
True
Let x = -4.5 + 4.7. Which is smaller: -15 or x?
-15
Let c(b) = 4*b - 6. Let f(n) = n**2 - 7*n + 9. Let g be f(6). Let i be c(g). Is 0 less than or equal to i?
True
Suppose -i = -4*d - 17, d + 24 - 1 = 4*i. Suppose 2*c = 4*m - 7 + 3, -2*m = c + 6. Is c bigger than d?
False
Let j = 75 + -134. Which is greater: -58 or j?
-58
Suppose -w + 26 - 30 = 0. Is w less than -4?
False
Let u(f) be the second derivative of f**4/12 - f**3 + f**2/2 + 3*f. Let w be u(6). Is 1 less than or equal to w?
True
Let l = -0.7 + 0.79. Let f = 0.49 - l. Is f > -0.1?
True
Suppose 26 = 3*k - 4*z, -4 = -0*z + 2*z. Is k less than or equal to -3?
False
Let c = 0.55 - 0.35. Is c > -0.18?
True
Let l be 6/21 - (-1301)/28. Let w = l - 48. Is 0 bigger than w?
True
Let r(s) = -s**2 - 4*s. Suppose -5*l + 2*l = 15. Let n be r(l). Let t be 2*(0 + 2/n). Which is smaller: t or -1?
-1
Let b = 109 - 56. Let f = -267/5 + b. Let d = 21 - 41/2. Which is smaller: f or d?
f
Let n be 44/110 - (-327)/(-5). Is n greater than -65?
False
Let p = -59/693 - 1/99. Let a = 0 - 1. Is p greater than or equal to a?
True
Let o(v) = -v**3 - 4*v**2 + 6*v - 7. Let m be o(-5). Let f = m - -35/3. Suppose 0 = -5*l - 5*y, 3*y + 1 = -4*l - 0*y. Is f greater than or equal to l?
True
Suppose -3*y = s + 69, 5*s = 4*y - 8*y - 345. Which is bigger: -1 or s?
-1
Suppose -4*p = -3*d - 8, -3*d - 20 = 2*d. Which is greater: 2 or p?
2
Let u be (-4)/18 + (-310)/(-18). Let x = 33/2 - u. Which is smaller: x or -3/5?
-3/5
Suppose -2*i = -2*d - 4, 2*i - 3 = 4*i + 5*d. Let l(m) = m**2 - 5*m + 5. Let k be l(5). Suppose k*b + h - 4*h = 15, -4*h = 4*b - 12. Which is smaller: i or b?
i
Suppose -4*t = t. Suppose 0 = -2*w - 3*w + 5. Is t greater than w?
False
Suppose 4*u + 2 = 6*u. Let s = 79/135 + -5/27. Which is bigger: u or s?
u
Let o = 1 - -4. Suppose -15 = 3*n, -o*a - n + 3*n = -30. Is a != 5?
True
Let n = 0.2 - 5.2. Let o = 3.7 + n. Let r = 0.3 + o. Which is smaller: r or 1?
r
Let v = 0.05 - 0.09. Does v = 0?
False
Let m(v) = -2*v**3 - 4*v**2 - 3*v - 1. Let u be m(-2). Suppose 0*n = -u*n. Which is smaller: 1 or n?
n
Let q be (5/(-2))/(2/(-4)). Suppose 0 = 3*x + 2*u - 8, -4 + 35 = x - q*u. Is x bigger than 6?
False
Let v(z) = 2*z**2 + 2*z - 1. Let s be 3/21 + 60/21. Suppose 5*d + 1 + 6 = t, s*d + 12 = -2*t. Let n be v(d). Is -1 at least as big as n?
False
Let y be (-30)/40 + (-342)/(-8). Which is smaller: 0 or y?
0
Let q be -8 - (2 + -2 - -1). Are -13 and q equal?
False
Let k = -4 - -3.96. Let h = 1.04 + k. Let s = 0.4 - 3.4. Which is smaller: s or h?
s
Let y = -119/69 - -9/23. Let z = y - -2/3. Is 0 != z?
True
Suppose -2*t + 10 = -0*t - 2*w, 0 = 3*w + 6. Suppose i - t = -2*i. Is 3 smaller than i?
False
Let d = -50/11 + 372/77. Let v(a) = -4*a - 3. Let y be v(6). Let j = y - -28. Does j = d?
False
Let m(g) = -2*g + 1. Let j be m(5). Let a be ((-6)/j)/((-2)/(-3)). Are 0.1 and a unequal?
True
Let n(w) = w**3 - 3*w**2 + 2*w. Let y be n(2). Suppose -12 = 3*l - 2*k + 1, y = 4*l + 4*k + 4. Let j = l - -2. Are 1/6 and j non-equal?
True
Let l = -13 - -19. Is l at least 6?
True
Suppose 2*f - 46 = -4*x, 2*x + 14 - 42 = 4*f. Let o = x + -8. Is o at least as big as 1?
True
Let m be 10/14*21/18. Suppose -2*n + 14 = 5*n. Which is bigger: n or m?
n
Let o(m) = -m**3 - 4*m**2 + m - 6. Let s be o(-4). Which is greater: -9 or s?
-9
Let b(m) be the second derivative of m**4/12 - m**3 + m**2 + 9*m. Let u be b(5). Are u and -4 non-equal?
True
Let j(t) = -3*t**3 - 2*t**2 + 2*t. Let x be j(-2). Let n be 9/x + 1 + 0. Are 1 and n non-equal?
True
Let j = 0.1 + 2.9. Let a = j - 3.1. Let i = -7 - -6. Which is smaller: i or a?
i
Let l be 2/7 + 3/63. Let b = -0.19 + 0.19. Is l at least as big as b?
True
Let b be -2*-1*(-4 + 3). Which is greater: b or -5/3?
-5/3
Let t(v) = v - 2. Suppose -4*c - 4*z - 8 = 0, -4*z = -2*c + 3*c + 14. Let y be t(c). Let u = y - 1. Which is greater: 1/3 or u?
1/3
Let z = -74 + 77. Is 7 < z?
False
Let f = -143449442 + 550128606647/3835. Let t = f + -9/295. Let k = t - -35/52. Which is smaller: k or 0?
k
Let m be (181/52)/(1