Let o be t(1). Is o != 8?
False
Let k be ((-1)/(-3))/((-2)/(-18)). Suppose 0*a - k*a = -5*x - 30, -x = 4*a - 17. Suppose -3 = 4*p - p. Is x smaller than p?
True
Suppose 0 = -4*o - 4*j + 8, 0 = 3*o + 4*j - 5*j + 10. Let r be 3/(-5) - (-3)/30. Which is smaller: o or r?
o
Let i = 387/2 - 197. Let b = 15/4 + i. Let h = -2 - -2. Which is greater: h or b?
b
Let z = -23 + 24.23. Let v = z + -1.3. Is -2 < v?
True
Let p = -0.8 + 0.5. Let l be -1*2*(-1)/2. Is p != l?
True
Let b(o) = 4*o. Let s be b(6). Let u = s + -49/2. Is u >= 0?
False
Let n = -124 - -72. Let x = n + 313/6. Let w = -2 - -2. Which is smaller: x or w?
w
Let q be 43/9 + (-4)/(-18). Suppose 4*m - 3 = q. Suppose -m*k = k. Which is greater: -1 or k?
k
Let i(n) = -n**3 - 4*n**2 - n - 2. Let l be i(-4). Let c = 7 - -2. Suppose -l*z + 1 = -c. Does 4 = z?
False
Suppose 0 - 15 = 3*o. Let v(y) = -6 - y**3 - 6*y**2 - 6*y + 1 + 1. Let j be v(o). Which is greater: j or 0?
j
Suppose t - 2 = 3*u, -t - 3*t + 68 = 3*u. Is t at most as big as 0?
False
Let t be 75/20 + (-2)/(-8). Suppose b + 1 = 5. Suppose b*o + t = -0. Which is bigger: o or -2?
o
Let h be 228/(-3 + (2 - -2)). Suppose 120 = -r - 3*c, -2*r + 2*c = -4*r - h. Let i be 4/14 - r/(-21). Is -5 equal to i?
True
Let g(n) = n**2 - 8*n + 7. Let x be g(7). Let b(q) = -11*q - 1. Let r be b(-3). Let t = -259/8 + r. Is x not equal to t?
True
Suppose -4*y - y = 95. Which is smaller: y or -1?
y
Let p be 79/225 + (-7)/63. Which is smaller: -1 or p?
-1
Suppose 2*k - 140 = 5*y, -y + 3*k - 1 = 14. Let p be (y/(-4))/((-6)/8). Let v be (-2)/6 + p/15. Which is smaller: v or 2/15?
v
Let p be (-3)/72*2*1. Let s be 4/10 + (-49)/35. Is p at least s?
True
Let o = -0.6 - -1.6. Let d = 0.7 + -4.8. Let i = 4 + d. Which is greater: o or i?
o
Let r = 2 + -3. Let u be (-52)/(-72)*-1 + (-4)/(-18). Is u equal to r?
False
Let g = -8 - -11. Suppose m + 2*m = g. Which is smaller: m or 2/13?
2/13
Let p(s) = s**3 - 6*s**2 + 5*s. Let f be p(5). Suppose 0*w + 2*w - 8 = f. Suppose -7*h + 3*h + w = 0. Is 1 equal to h?
True
Suppose 5*t + 15 = -0*t. Let c = t - -5. Suppose 1 = -c*i + 13. Which is smaller: 5 or i?
5
Suppose 2*k - 2*p = -5*p - 34, 2*k = -p - 30. Which is bigger: -16 or k?
k
Let k = 50 - 72. Let l be 40/k - 2/11. Let i be (l - -1)*6/12. Is i greater than or equal to -1?
True
Let x = -64 - -96. Is x <= -0.1?
False
Let w(b) = 2*b + 6. Let u(r) = r**2 + 8*r + 7. Let t be u(-6). Let n be w(t). Is n greater than or equal to -2?
False
Suppose -3*h + z + 165 + 81 = 0, h + 2*z = 75. Let b = -889/11 + h. Let i = -2 + 3. Which is smaller: i or b?
b
Let u = -2/3 - -20/21. Which is greater: u or 3?
3
Let y = -5.79 + -1.11. Let o = -0.14 - -7.14. Let q = o + y. Is q bigger than -0.4?
True
Let y(m) = 4*m**2 - 2*m + 3. Let i be y(1). Which is greater: 17/4 or i?
i
Let w be 5/4*(0 - 1). Suppose 4*f = 6*f. Which is greater: w or f?
f
Let c = -12 + 13. Let h be c/((-1)/4 - 0). Which is greater: h or -5?
h
Let x be 12*3*(-3)/6. Let l = x + 17. Are l and -3 equal?
False
Let b(h) = h**3 - 5*h**2 - 7*h + 9. Let n be b(6). Let q(x) = 5*x - 11*x - 2 + x**2 + 7 + 2. Let u be q(5). Which is greater: n or u?
n
Let y be (10/(20/4))/(-1 + 30). Do -1 and y have the same value?
False
Let a(t) = 3*t + 0 - 1 - 2*t. Let d be a(-2). Is d less than or equal to -3?
True
Let q(s) = -4*s**3 - s**2 + 2*s - 1. Let k be q(-2). Suppose o - 4 - 21 = -5*g, 3*o - k = -2*g. Suppose -g = b - 1. Which is greater: -4 or b?
b
Let f be 11/(-8) - 6/(-6). Which is smaller: f or -4/7?
-4/7
Let h = 6 - 10. Is h less than -5?
False
Suppose -76 = 3*u + 59. Let g be 6/15*u/(-33). Which is smaller: g or 2?
g
Suppose 7 + 5 = 4*z, 5*z - 19 = -4*g. Let m be 52/(-14) - (-10)/(-35). Let a be (6/9)/(m/6). Which is bigger: g or a?
g
Let n = -18/35 - -4/35. Which is smaller: n or 4/11?
n
Let r be (-4)/6*(-6)/4. Let c be 1/2 - (r - 0). Is 0 at most c?
False
Suppose 0*d - d = -2. Suppose -2*x = 2*y + x - 8, 8 = -d*y + x. Let f be ((-5)/y - 2)*3. Is 1 greater than f?
False
Let a = 2/27 + 16/27. Suppose l + 3*l = 12. Suppose l*u + 1 = 4. Which is greater: u or a?
u
Suppose -3*v - 17 = -5*j - v, 12 = 4*j - 2*v. Let n = 3 - j. Is -2 smaller than n?
False
Suppose 3*x + 0*x = 2*t - 22, -5*t + 55 = 2*x. Suppose t = 2*g + y, 0*y = -5*g + 2*y + 23. Is g at least 4?
True
Let v = 21 - 12. Let j = -6 + v. Which is greater: -1 or j?
j
Let d be -3 + 2 - 5/(-15). Does -3 = d?
False
Let d be (0 - 0) + -1 - 0. Suppose -8 = x + 4. Let r be (-14)/x + (3 - 4). Is d bigger than r?
False
Let m = -47 + 140. Let l be m/(-33)*-1 + -3. Which is smaller: -1 or l?
-1
Let p = -351 - -1743/5. Is p bigger than -1?
False
Suppose 4*t = -2*n + 5 + 3, 3*t + 43 = 2*n. Suppose 4*f - l + n = 2*l, 4 = 2*l. Is -9/7 smaller than f?
False
Let c = 4/11 - 19/22. Which is greater: 0.02 or c?
0.02
Suppose 0*q = -4*v + 2*q + 18, 0 = -q - 1. Is v greater than 6?
False
Let a(q) = -q**2 + 9*q - 6. Let k be a(7). Suppose 0 = i + t, -5*t = -4*i + k*i + 4. Let s(o) = -o**2 + 7*o - 5. Let f be s(5). Is f != i?
True
Suppose -4*j = k - 0*j + 2, -4*k - 2*j = -6. Let x be (5/(-30))/(k/(-4)). Let d = 10/39 - 12/13. Is d at most as big as x?
True
Suppose 44 = 2*a + 42. Is 6/5 less than or equal to a?
False
Let s = -31 + 94/3. Let p = -0.7 - -3.7. Let j = -2 + p. Which is greater: s or j?
j
Let a be ((-9)/(-6))/(6/8). Let x = 0 + a. Suppose 0 = 5*c - 6*c - x. Is -1 greater than or equal to c?
True
Suppose 7*i = 12*i - 95. Suppose 4*y - 3 = -i. Which is greater: y or -2?
-2
Let j be -4*(0 + (-2)/4). Which is greater: 1 or j?
j
Let n = 11 - 7. Suppose -p + 3*d + 2 = 6, -16 = -4*p - n*d. Suppose -r - p*r = -6. Is r greater than or equal to 3?
False
Let h be (-38)/(-6) - 2/6. Is h smaller than 0?
False
Let r be 30/(-4)*(-1)/9. Which is smaller: r or 1?
r
Let m(u) = -u**3 - 3*u**2 - u - 1. Let b be m(-3). Let y be 1*(-3 - (-6)/b). Suppose y*r - r - 2 = 0. Is -4 not equal to r?
True
Suppose -2*g - 5*x = -2*x + 15, -x = 4*g + 15. Let h be (-4 - -3)*(g + 2). Which is smaller: h or -1/5?
-1/5
Let g = -0.25 + 0.2. Let l = -16.9 - -17. Is l > g?
True
Suppose -3*g = 5 + 1, 0 = h - 2*g - 6. Suppose -d + 1 = h. Let q(r) = -3*r**2 - 2*r - 1. Let o be q(d). Which is smaller: -1/2 or o?
o
Suppose -2*j + 5 = -s + 12, 4*s + 2*j = 8. Let b = 133.1 + -133. Is b not equal to s?
True
Let b = 2.1 - 2. Which is greater: -13 or b?
b
Let p be 0/(0 + -1 - 0). Let d(q) = q**3 - 7*q**2 + 7*q - 3. Let o be d(6). Suppose p*w = o*w. Are 1 and w nonequal?
True
Let d be (-730)/3325 + (-4)/(-10). Let u = d + 2/19. Which is smaller: u or -0.1?
-0.1
Let b(d) = d**2 + 5*d - 5. Let r be b(-6). Suppose 5*x + 10 = 0, -3*x - 14 = -3*l - l. Suppose -3 - 3 = 2*f - 4*z, 0 = -2*f - l*z. Which is smaller: r or f?
f
Let f be (103/5 + -1)*(-3)/(-6). Which is greater: 9 or f?
f
Let n be (-27)/(-29)*-1 + 1. Suppose -3*v + 2 = -2*b + 7, 0 = 4*v + 3*b + 1. Which is smaller: v or n?
v
Let z = -18 - -17. Is 4 equal to z?
False
Let s be 1 + (0 + 1 - -6). Which is smaller: s or 39/5?
39/5
Suppose a + 0*a = -3*m + 41, -3*a + 90 = -2*m. Let w be 4 + (-2 - a/12). Does w = -1?
False
Let v = -0.08 + 0.68. Let f = v + -3.6. Let z = f + 3.1. Which is greater: z or 6?
6
Let p be 3/(-9)*(4 + 2). Let l = 4 - 5. Which is bigger: l or p?
l
Let v(m) = -m**3 - 8*m**2 + 2. Let y(s) = 2*s**3 + 17*s**2 - 5. Let t(o) = -5*v(o) - 2*y(o). Let n be t(-6). Is n < 2/13?
True
Let a be (-3)/(-2)*12/(-9). Let t = -5/2 - a. Which is bigger: 0 or t?
0
Suppose y = 6*y. Let s be -5 + 3 + (1 - y). Let g = -3 - s. Which is greater: -0.1 or g?
-0.1
Suppose 35 = 5*m - 5*k, 5*k - 2*k = -12. Let a = 2 - m. Let q be 1/((-2)/8) + 2. Which is smaller: q or a?
q
Let q(x) = 6*x**3 - 3*x**2 + x - 2. Let k(g) = -g - 3. Let m be k(-5). Let z be q(m). Let r be (-28)/z + (1 - 0). Is 1 less than or equal to r?
False
Let g be 4 + -2 + (-20 - -7). Let s be (-2)/4*g/(-22). Suppose -5*m = u - 15, -4*m + u = -2*m + 1. Is s smaller than m?
True
Suppose -2*k - o - 2 = 0, -2*k + 3*o + 17 = 3*k. Suppose -3*v = 138 + 18. Let l be v/(-44) + (-2 - -1). Do k and l have different values?
True
Let f = -19 - -11. Let w(v) = -4*v - 1. Let z be w(2). Which is smaller: z or f?
z
Let g be 1 + (8/(-14))/1. Let v(n) = n**2 - 4*n - 6. Let q be v(5). Is q != g?
True
Let r = 3.95 + -2.38. Let j = 1.5 - r. Which is bigger: 