et q(f) = -7*i(f) + 6*w(f). Let l be q(4). Are l and 0.5 non-equal?
True
Suppose -o = -3, 2*x + 2*o + 0 - 8 = 0. Does x = -6/25?
False
Let u be 3*(-3)/(-4) + -2. Let s(q) = -q - 5. Let g be s(-4). Is u >= g?
True
Let l = 117/145 - 6/29. Which is greater: -2/7 or l?
l
Suppose 0 = -2*c - 0*c + 4. Suppose -c*m = 4 - 20. Let p = m + -4. Which is bigger: p or 2?
p
Let v be (1/(-30))/(8/(-32)). Is -1 != v?
True
Let d = -7 - -7.1. Let k = d - 3.1. Is k greater than or equal to 2/3?
False
Suppose 5*x = -4 + 29. Let f = x + -9. Let i be f/14*(3 + -4). Is -0.4 >= i?
False
Let i be (-35)/(-3) + 2/6. Let d = -9 - -22. Let x be 4/i + d/(-3). Are x and -4 non-equal?
False
Suppose 3*b - 7 = -0*y + y, -2*y + 4*b = 8. Suppose 19 = 5*n - p, -2*n + 0*p = -y*p - 14. Suppose 5*u = n*u + g, 0 = 3*g. Is 2/5 at least u?
True
Let z = 7 - 6. Let x = 3 - z. Is -0.3 not equal to x?
True
Let i(t) = t - 1. Let f be i(-2). Let n be f/6*18/3. Let d be 0 - (4/(-3) - -1). Is d equal to n?
False
Let t = -0.33 + -0.87. Is -0.2 not equal to t?
True
Let j = -17/2 - -5. Which is bigger: j or -3?
-3
Let q(r) be the second derivative of r**5/20 + r**4/2 - 4*r**3/3 + 5*r**2/2 - r. Let g be q(-7). Let p be (2/(-4))/(6/g). Is p at least 1/8?
False
Suppose -2*f = 4*x - 11 - 5, 5*f = -3*x + 26. Is x greater than 2/3?
True
Let x be 3/2*-2 - 43/(-11). Which is smaller: 2 or x?
x
Suppose -8*y + 10*y + 882 = 0. Let a = y + 8381/19. Is -1 equal to a?
False
Suppose 2*m + 4 = 3*c + 31, c = 5. Let z be 4/(-56)*m/(-6). Are -1 and z non-equal?
True
Let v(m) = m**2 + 7*m + 3. Let w be v(-6). Suppose 0 = -6*s + 2*s - 16. Is w less than s?
False
Let s = 7 - 1. Suppose 13*c = 16*c - s. Which is smaller: c or 4?
c
Suppose -4*y + k = -70, 0*y + 2*k = -5*y + 81. Is 17 <= y?
True
Suppose -5*j = -2*g - 3, 3*j + 2 = 5*g - 0. Suppose 2 - g = a. Is 8/5 greater than a?
True
Let c be (0 + 0)/3 + -3. Is -3 equal to c?
True
Let s = -5 - -7. Suppose a = 5*g + 12 + 7, s*a + 4*g = -18. Is 2/11 < a?
False
Let d = -0.2 - -0.2. Is -2 < d?
True
Let t be (1/3)/(2/36). Let s be (-23)/(-5) + t/(-10). Are s and 2 non-equal?
True
Let b = 18.4 - 17. Let q = b - 1. Let p = 0.1 + 0. Which is bigger: q or p?
q
Let l(p) be the first derivative of p**2 + p + 2. Let a be l(1). Let z be (3/2)/(0 + a). Are z and -2/3 unequal?
True
Let r be (2 - 534/261)*(-1 - -4). Which is greater: -1 or r?
r
Let c = 2703/80 - 168/5. Let z = 1/80 + c. Is 0 at least z?
False
Suppose 4*g - 22 = 2*l, 4*g + 5 - 26 = 3*l. Is g equal to -4?
False
Let o = -29/3 + 9. Which is bigger: 3 or o?
3
Let s(g) = 5*g**2 - 3*g + 4. Let q(l) = 6*l**2 - 3*l + 5. Let r(y) = 6*q(y) - 7*s(y). Let d be r(-2). Let w = 3 + d. Is 4 at most as big as w?
False
Let j be 0 + (4 - 0) + -2. Suppose 5*r + 0*r + 15 = -4*f, 3 = -4*f - r. Is f at least as big as j?
False
Let k be (12/(-110))/(27/90). Let o = -2 + 2. Which is bigger: o or k?
o
Let o be 6/249*(1 - -1). Let c = o + 146/415. Suppose x = 4*d + 5*x - 12, 0 = 2*x - 6. Which is greater: d or c?
c
Let c be 6/8 - -21*(-1)/12. Which is greater: c or -2/189?
-2/189
Let f(z) = z - 6. Let n be f(7). Is -2/9 <= n?
True
Suppose f - 675 = 5*v - 254, 4*v = -3*f - 333. Let z be (6/(-8))/(v/64). Is 2 at most z?
False
Let s(a) = a**2 + 9*a + 6. Let n be s(-9). Do n and 2 have the same value?
False
Suppose -2*t = -3*x - 28, -x + t = -0*t + 10. Is x less than or equal to -38/5?
True
Let t(r) = -r**2 + 7*r - 6. Let u be t(5). Suppose -3*k - u = -4*p, -1 = 3*p + 3*k - 4. Let b = -1/80 + -71/720. Which is greater: b or p?
p
Let j(r) = r**2 - 14*r + 25. Let x be j(12). Which is smaller: -4/25 or x?
-4/25
Let x(c) = c**2 + 5*c - 12. Let k be x(-7). Is 2 at most k?
True
Let s be 15/(-2) + 5/20. Do s and -6 have different values?
True
Let p = 0.26 + 4.74. Are -0.06 and p equal?
False
Let y be -1*-3*(-2)/6. Which is smaller: -2/15 or y?
y
Let k = -419/3 + 136. Which is smaller: k or -3?
k
Let x be 10/(-6)*24/32. Which is smaller: -2 or x?
-2
Suppose 4*j - 8 = 3*h, 0*j = -5*h + 3*j - 6. Is h <= -1/14?
False
Let w(n) = 4*n**3 + 7*n**2 + 5*n - 5. Let c(b) = 8*b**3 + 13*b**2 + 9*b - 9. Let s(x) = 6*c(x) - 11*w(x). Let u be s(1). Which is smaller: u or 6?
u
Let c = -24 + 23.8. Which is smaller: 1 or c?
c
Let d = -0.1 + -1.9. Let o = d + 3. Which is bigger: o or 1/3?
o
Let f(y) = y**3 + 15*y**2 - y - 20. Let a be f(-15). Let h be (0 + -3)*4/3. Is a <= h?
True
Let p = 0.49 - 0.09. Is 3 greater than p?
True
Suppose -3*b = -5*o - 0*b + 13, 5*b + 15 = 5*o. Suppose -2*m = 4 - o. Which is bigger: -4/7 or m?
-4/7
Let m = 0 - -3. Suppose -15 = m*v - 6*v. Let b(s) = -3*s**2 + 38*s + 16. Let t be b(13). Which is greater: v or t?
v
Suppose -5*l - 4*g = 1 + 24, 5*l - 2*g = 5. Let v = -14/9 + 44/63. Is l less than or equal to v?
True
Let o(s) = -s**3 - 12*s**2 + 12*s - 13. Let n be o(-13). Which is bigger: 12/5 or n?
12/5
Let v = 14 - 16. Let u = v - -2. Is u at least as big as 4?
False
Let n = 1.1 + 0.1. Let m = n - 4.3. Let s = -3 - m. Which is smaller: s or -1?
-1
Let d = 0.1 - 2.1. Is d smaller than 2?
True
Let f = -17.9 + 18. Is f at most -10?
False
Let n be 32/(-14) + (2 - 0). Let i = -14 - -14. Is i at most n?
False
Let w(o) = 5*o + 1. Let c(a) = a + 1. Let j(f) = -4*c(f) + w(f). Let t be j(5). Let s be ((-3)/18)/(t/(-3)). Which is greater: -1/4 or s?
s
Let c = 0.73 + 4.27. Let z = 3 + -1. Which is smaller: z or c?
z
Suppose -8*v - 100 = -4*v - 4*t, -4*v + t = 115. Let x be 715/v + 2/6. Let a = x - -23. Is -1 < a?
True
Let l(d) = 9 + 5*d**3 + 6*d**2 + 0*d + 6*d - 6*d**3. Let k be l(7). Suppose -4*s = -k*s. Which is greater: s or -1/5?
s
Let o be (-1)/4*2 - -1041. Let u = 1081 - o. Let p = -321/8 + u. Is p greater than or equal to 0?
True
Let q = 0.55 - 0.25. Is q bigger than -3?
True
Let s = -227/189 + 35/27. Let l be -1 + -4 + 15/3. Suppose -2*r + l = -2. Which is greater: r or s?
r
Let a be (-14)/175*(7 + -2). Is 3 > a?
True
Suppose 121 = y + 5*u, -8*u + 625 = 5*y - 3*u. Let t be 6/(-13)*(-14)/y. Is -1 < t?
True
Let p be (-17)/(-2) + (-1)/(-2). Let n = 4 - p. Let t be (-3)/(-15) - 4/n. Do t and -1/2 have the same value?
False
Suppose j + 6 = g - 2, 2*g = -10. Does -13 = j?
True
Let k(x) = -x**3 + 5*x**2 - 7*x + 11. Let z be k(5). Which is smaller: -25 or z?
-25
Let z = 14 - 14. Let s be 0 + 2*6/15. Is z at least s?
False
Let q be (-6)/(-4)*(-2)/(-6). Let m be 218*((-14)/(-16) - 1). Let y = m - -27. Do q and y have different values?
True
Let i(a) = 5*a - 1. Let c be 1/3 + 4/6. Let m be i(c). Which is bigger: 6 or m?
6
Let q(h) = -h**2 + 4*h + 1. Let u be q(6). Is -23/2 at least as big as u?
False
Let x = -1 + 1. Let w be 2 - (4 - (2 + x)). Let t = 107 - 107. Does t = w?
True
Let x(w) = 2*w - 1. Let k be x(-5). Let t = k - -11. Which is smaller: t or 0.07?
t
Suppose 0 = 5*m - 6*p + 4*p - 11, -5*m - 10 = 5*p. Let a be -2 - (-1 + -3) - m. Let j = -84/5 - -87/5. Which is bigger: j or a?
a
Let c = 0 + -4. Let g = -34 - -39. Let w = c + g. Which is bigger: -1 or w?
w
Let v = 0 - 0. Let d be 3/12*20/1. Let t be ((12/d)/4)/1. Is v equal to t?
False
Let z = 22/15 + -4/5. Suppose -i + 4*i = -3*w + 9, 4*w = i + 17. Which is smaller: z or w?
z
Suppose 5*i - 42 = 3*i. Let m = i - 22. Let w(d) = d. Let n be w(-2). Which is greater: n or m?
m
Suppose 47*h - 4 = 43*h. Let x = 340 - 7818/23. Which is bigger: h or x?
h
Suppose -4*t = 4*h + 5 + 15, 0 = -2*t + 3*h - 30. Is t at least as big as -10?
True
Let v = -2 + 4. Let j = -2.3 + v. Let b = 0.15 + -0.05. Which is bigger: b or j?
b
Let x be (-1)/6 + (2 - 92/8). Is -10 > x?
False
Let z(c) = 2 + 3*c + 0 - 2*c. Suppose 2*n + 4*f = n + 10, 0 = -3*n - 2*f. Let v be z(n). Is v smaller than 0?
False
Let z = -21.01 + 21. Is 0 smaller than z?
False
Let x = -3 - 4. Let z = x + 1. Is z > -11/2?
False
Let x be ((6 - -2)*(-45)/100)/(-10). Does 1 = x?
False
Let y be -2 + (-19)/(-7) + -1. Is y bigger than 1?
False
Let a = 1204/5 - 240. Let s be 2/(-9) + 76/18. Let z = s + -3. Is a < z?
True
Let m = 0 + 0. Let q = 48 + -48. Let l = q - m. Is 2 less than or equal to l?
False
Suppose 3*d + 52 - 13 = 0. Is d not equal to -14?
True
Let o be 5/(-12) - 3/12. Let f = 144 - 1155/8. Which is bigger: f or o?
f
Suppose 4 = 2*k + 6. Let j(f) = f - 11. Let p be j(7). Let t be p/10 - (-15)/25. Which is greater: k or t?
t
Let q = 1/12 - -1/6. Are 11 and 