*f + 3*c + c - 12 = 0, 6 = 5*f + 2*c. Let q be 16/(-7) + f + 2. Let d = 0.3 + -1.3. Is d <= q?
True
Let x(u) = -5*u**3 + u**2 + 3*u + 3. Let b(l) = l**3 + l**2 - l + 1. Suppose 3*t = -t - 4. Let o(r) = t*x(r) - 4*b(r). Let w be o(5). Are w and -2 unequal?
False
Suppose -3*s + 4 = 2*a, 4*s - 20 = 2*s + 3*a. Is 3 > s?
False
Suppose d + 3*d + 60 = 0. Let y be d/18*(-2)/(-5). Is -1 greater than y?
False
Let q = 31 + -32.9. Let n = q - 0.1. Do -1 and n have different values?
True
Let n = -14 - -9. Let q = n - -11. Is -2/7 greater than or equal to q?
False
Suppose -2*f = -12 - 8. Let l = 3 - f. Let h = l + 27/4. Which is smaller: 2/13 or h?
h
Let r be (-574)/189 - (-4 + 1). Is 0 >= r?
True
Let z be 4/(-5)*15/(-26). Which is smaller: -2 or z?
-2
Let n be 5/(-3 + 8/(-4) + 6). Suppose -2*w - 36 = -4*a + 3*w, -5*a + 24 = -w. Is a bigger than n?
False
Let p(y) = y**3 - 3*y**2 + 5*y - 4. Let v be p(2). Let a(s) = s**2 + 10*s - 7. Let i be a(-11). Which is greater: v or i?
i
Let p = -4 - -22. Let h = p - 8. Which is bigger: h or -1?
h
Suppose -5 + 13 = 4*f. Let z be -6*1*1/(-3). Suppose -z*p + p = -2. Is f < p?
False
Let v(z) = -z - 2. Let l be v(-7). Suppose -b + 7 = s - 4*b, -3*b - l = s. Which is greater: 1/9 or s?
s
Let v = 5 - 4. Is v equal to -2/89?
False
Suppose 6*j - 2*j - z + 29 = 0, 5*j = -5*z - 30. Let s(v) = v**2 + 5*v. Let y be s(-3). Which is bigger: y or j?
y
Let g = 0.04 - 0.04. Let z = -3 - g. Which is greater: z or 0?
0
Let l = -1382772 - -452165999/327. Let x = l - -3/109. Does x = -1?
False
Let p be (-2)/(-3) + 3/9. Are -1/4 and p nonequal?
True
Let w be ((-2)/4)/(4068/1664). Let m = w + -2/113. Suppose 3*v = 8*v - 4*z - 13, 1 = -3*v - 2*z. Is m less than or equal to v?
True
Let x = -11 + 6. Let m = 22/25 + -73/100. Let b = m + 19/140. Is x greater than or equal to b?
False
Let v = -1/66 - -137/330. Let g = -7 - -47/7. Are v and g equal?
False
Let v(b) = -3*b + 12. Let w be v(4). Do w and -4/7 have different values?
True
Let z = 137/7 - 267/14. Let r = 3 - 6. Let n = r - -4. Which is bigger: n or z?
n
Let i = -89 - -135. Which is smaller: i or 48?
i
Let a = 4.1 - 1.8. Let n = a + 0.7. Let y = 105.9 - 106. Is n at least y?
True
Let p(g) = 4*g**3 - 2*g**3 - 7*g**2 + 8*g - 3*g**3 + 6. Let x be p(-8). Let h be x/(-33) + (-40)/22. Which is smaller: 1 or h?
h
Let n(d) = -2*d - 18. Let z be n(-10). Which is bigger: z or -0.1?
z
Suppose 4*f + 24 + 0 = 0. Which is greater: f or -5?
-5
Let o(w) be the third derivative of -w**4/12 - w**3/2 - 4*w**2. Let y be o(-2). Which is smaller: y or 2?
y
Suppose 25*m + 35 = 10. Suppose 0 = 2*c + c - 3. Let w(j) = -3*j**2 + 1. Let l be w(c). Is m less than l?
False
Suppose 6*g + y = 2*g + 2, -8 = g - 4*y. Suppose g = 5*q + 22 + 48. Which is smaller: q or -13?
q
Let h = 0.81 - 0.41. Which is smaller: h or 9?
h
Suppose 0*l = -i - 5*l - 46, -2*i - 62 = -5*l. Let z be (-1)/(-5) + i/255. Is 0 not equal to z?
True
Let d = -3 - -3. Suppose -4*c + 3*r = c - 3, r + 1 = d. Suppose c = -4*b + 5*g - 3*g + 2, -2 = -b + g. Is b smaller than -2?
False
Let n = -41 - -25. Let b = 298 + -315. Do b and n have the same value?
False
Let b(s) = -s**3 - 11*s**2 - 11*s - 10. Let l be b(-10). Is l != -5/12?
True
Let d(h) = 7*h + 2. Let c be d(-2). Let u = c + 14. Do u and 1 have the same value?
False
Let t = -480 - -329. Is t at most 2/7?
True
Suppose 0 = 5*k - 56 + 51. Which is smaller: 4 or k?
k
Let u(q) = q**2 - 9*q + 5. Let x be u(8). Are x and -12/7 nonequal?
True
Let k be (-18)/(-24)*2/18. Is 0 equal to k?
False
Let p = -2 - -7. Suppose p*r + 1 = -4. Let h = -1 - r. Which is greater: h or -2?
h
Suppose 4*t - w = 4*w + 48, -2*t - 5*w - 6 = 0. Let o = -6 + t. Which is smaller: o or -1/5?
-1/5
Let p(b) = 2*b**3 - 3*b**2 + b + 1. Let u be p(2). Is 8 greater than or equal to u?
True
Let a be -1*136/39 + 6/39. Let k = -3 + 1. Which is smaller: a or k?
a
Let n be ((-9)/(-12))/((-2)/(-8)). Let x = 5 - n. Let c = 6 + x. Which is bigger: c or 9?
9
Let r = 33 + -18. Suppose 5*u - 25 = 0, -2*u - r = 3*y + 2*y. Suppose -3*z + 3 = 15. Which is smaller: y or z?
y
Let i be -1*4 - -2 - 0. Is i greater than 0?
False
Suppose -10 = -4*w + 26. Suppose w = 2*p + p. Is 9/5 bigger than p?
False
Let b(v) = -v**2 - 8*v - 7. Let w be b(-7). Suppose 5*o + w*o = -2*y + 8, -4*o + 11 = -3*y. Let g be (8/(-290))/(2/(-5)). Which is bigger: y or g?
g
Suppose 4*v - 26 = -2. Let l be (-2)/v*(-3)/2. Are l and 1 equal?
False
Let i = 50 + -51. Is 4/15 less than i?
False
Let b be (1 - 0 - 1) + 1. Let z be (b*(-2)/2)/(-1). Let h = -30 + 119/4. Which is smaller: h or z?
h
Let y(x) = 14*x**3 + x - 2. Let w be y(-2). Let i = w + 65. Let z = i - -205/4. Which is smaller: z or -2?
-2
Let t(f) = 16*f - 28. Let z be t(2). Let a be 4/1*3/6. Suppose 0 = a*b + 6 - 14. Is z at most as big as b?
True
Let n(w) = w + 3. Let k(y) = y**3 - 5*y**2 + 4*y - 3. Let i be k(4). Let a be n(i). Let d be (10/5)/(2/(-1)). Which is greater: a or d?
a
Let u be ((-27)/40)/((-33)/44). Is u at least as big as 0?
True
Suppose 2*s - 2 = -0. Let c be 3/(3/(-1))*s. Which is smaller: -3/7 or c?
c
Let q = -0.04 - 7.96. Let n = 7.9 + q. Let a be (-64)/126 + (-2)/(-9). Which is smaller: a or n?
a
Suppose 39 = -3*o - 7*v + 4*v, -4*o = -2*v + 22. Which is bigger: -7 or o?
-7
Let j = 40112/15 + -2673. Let m be 0 + -3 + (-118)/(-30). Let f = m - j. Which is smaller: f or -2?
-2
Suppose 6*u - 11 - 1 = 0. Are 1 and u nonequal?
True
Suppose 0 = k - 2*a - 7, -k + 14 = -2*k - 5*a. Let b be k/1 + (1 - 0). Are 0 and b unequal?
True
Let m = -5/7 - -1/21. Let l = 2 + -6. Let z = l - -4.2. Which is greater: m or z?
z
Let w be (0 - -1 - 3/2)*16. Do -8 and w have the same value?
True
Let s = -13 - -19. Are 7 and s equal?
False
Let s(u) = -u**2 + 2*u + 1. Let j be s(-1). Let i be 1 + (j - -3)*2. Is -2 greater than i?
False
Let s(k) be the second derivative of k**3/6 + 5*k**2/2 + 3*k. Let q be s(-4). Let n be (-4)/3*(2 + q). Is n less than or equal to -4?
True
Suppose 0 = 2*t + 2*t + 2*u - 62, -t = 2*u - 17. Let m be ((-130)/(-2))/((-18)/t). Let c = -54 - m. Are 1 and c nonequal?
True
Let h = 4 - -3. Let v(n) = 3*n - 8. Let k(l) = 4*l - 8. Let x(z) = 2*k(z) - 3*v(z). Let c be x(h). Is c at least as big as 1?
True
Let n = 114/14257 + 8/269. Which is greater: n or 1?
1
Let r be (-1)/(-2) + 133/(-2). Let i be 2/(-11) + (-144)/r. Is i at least 2?
True
Suppose 3*x = -7 + 1. Let z = x - 1. Is z at least -3?
True
Let k(n) = n**2 - 3*n - 2. Let m be k(-1). Which is bigger: m or 6/5?
m
Suppose 20*r = 14*r + 18. Let y be (-1)/(-3)*15/2. Which is greater: y or r?
r
Let z be (-2 - (-39)/21)/(-10). Let k be (-458)/(-1260) - (-4)/18. Let c = k + z. Do 0 and c have the same value?
False
Let s = 18 + -18.2. Is -6/13 less than s?
True
Let i = 2 + -1. Let x = -1.6 + 12.6. Let w = 10.7 - x. Is w bigger than i?
False
Let a be (2 + (1 - 13))/(-2). Suppose 4*r = 0, -2*x + 4 = -a*r - 4. Suppose 5*c - 1 = x*q + 5, -3*q = 12. Is -3 < c?
True
Suppose -10*v = -6*v - 4. Is v > 2/31?
True
Let q = -5492/346907 + -2/2867. Is q less than 0?
True
Let t be (-1 - -2)*(-5 - -5). Is t bigger than 1/3?
False
Suppose -5*d + 4*d + 1 = 0. Let x be (-3)/(-6) - d/(-6). Which is smaller: 0.2 or x?
0.2
Let v = -63 + 65. Which is greater: -9 or v?
v
Let u be 50/18 - 4/(-18). Let b = 22 + -21. Which is bigger: u or b?
u
Let g be (-1)/(-4) - (-6)/(-8). Let v(r) = r**3 + 7*r**2 - 2*r - 8. Let n be v(-7). Suppose -4*z - 3*q = 11, 5*q + 5 + n = -3*z. Which is smaller: z or g?
z
Let u be (-1)/(-11)*-2 - (-814)/484. Do 14 and u have the same value?
False
Suppose -2*q = -0*q. Let r be 0 - (0 - q - 2). Let w be (r/18)/((-2)/(-6)). Is w greater than 1?
False
Suppose -2 + 14 = -3*q. Let n be (-24)/(-9)*(-18)/q. Let h be ((-4)/(-10))/(n/15). Is h at most as big as 2?
True
Let c = 10 + -8. Suppose 3*z = i - 1, i - 7*z = -c*z + 1. Which is smaller: 3/7 or i?
3/7
Let o = -31 - -34. Let q be -1 + 3/(-3) - 1. Let w = q + 3. Which is smaller: o or w?
w
Suppose 2*z + 11 = -5*j, 4*j + 9 + 3 = 0. Suppose y - z*f - 2 + 1 = 0, 4*f + 16 = 4*y. Is 7 at least y?
True
Let i(n) = -n**3 - 10*n**2 - 13*n - 6. Let y be i(-9). Is y equal to -1?
False
Let w = -140527/57 - -2466. Let v = w + 1/19. Suppose -6 = -5*i - 1. Which is smaller: v or i?
v
Let a be 1/3 + (-56)/6. Let p be (-3)/a - 17/33. Is