?
False
Let d be (-1)/1 - (-4 - 1). Suppose 5 = -x - d*x. Are x and -1 unequal?
False
Suppose 3*f + 12 = 0, -3*y = 3*f + 9 + 3. Let a = y + -4. Are a and -2 unequal?
True
Let v be -2 + 196/(-240)*-31. Let q be ((-234)/10)/(2 - 1). Let g = q + v. Is g <= 1?
True
Let b(a) = 2*a + 48. Let d be b(-10). Which is greater: 30 or d?
30
Suppose -4 = -7*a + 3*a - 3*q, 3*a - 3 = -q. Let h = -646/35 - -132/7. Is h at least as big as a?
False
Let u = -0.5 + 1. Let d = u + -0.49. Let s = d - 0.02. Is 0 greater than s?
True
Let c = -81 - -75.3. Let o = -6 - c. Is 0.1 less than o?
False
Let s = -40 - -39. Which is greater: s or 9?
9
Suppose -2*j + 3 = 7. Is -2 < j?
False
Let m = 32 - 31. Is 1 >= m?
True
Let p(t) = t**2 - 3 - 13*t - t**2 - t**2. Let s be p(-12). Is s at least as big as 9?
True
Let f = -13.84 - 0.16. Let y = f + 16. Is -8 bigger than y?
False
Suppose -3*t = -t - 2*l, 3*l = -5*t - 16. Suppose 4*b = -2*w + 4*w + 18, 1 = w + 3*b. Let j = w - t. Which is smaller: j or -2?
j
Suppose 2*r - 8 = -2. Which is greater: r or 16/5?
16/5
Let a(c) = -c**3 - 2*c**2 + 2*c - 3. Let l be a(-3). Which is smaller: -1/49 or l?
-1/49
Let i = -3/10 + 73/110. Which is greater: -1 or i?
i
Let u be (-42)/40 - 17/85. Which is greater: u or -2?
u
Suppose -c + 3*c - 4*n - 22 = 0, 0 = 5*c - 3*n - 20. Is c smaller than 0?
False
Let q be (-2)/(-8) - 94/312. Let n = -25/273 + q. Let r = n - -23/14. Is r at most as big as 1?
False
Suppose 3 = -6*n - 21. Is n at most as big as 4?
True
Let k = 3 - 5. Let v = -1 - k. Let x = v + 3. Do 4 and x have the same value?
True
Suppose 4 = 2*r - 4*c, 5*c + 10 + 6 = -3*r. Let j = 28 - 29. Is r at most as big as j?
True
Let k(z) = -z**3 - 4*z**2 + 1. Let y be k(-4). Suppose -y - 7 = -h. Let o be (-2)/5*(-12)/h. Which is smaller: o or 0?
0
Suppose 0 = -4*q - q - 5. Let z = -87/130 + 10/13. Is z != q?
True
Suppose -2*p + 6 = -2*l, -9 = -4*p + p + 5*l. Let c be (16/(-280))/(1/5). Is p at least c?
True
Let k = 27 - -11. Let w be -4 + 7 + k/(-14). Let g = -1.1 - -0.1. Which is smaller: w or g?
g
Suppose -4*i = -9*i - 170. Which is greater: -1 or i?
-1
Let q be (-3)/3*(-5 + 7). Which is smaller: q or 0.1?
q
Let w be (1 + 0)*4 - -3. Suppose -w*t = -2*t + 5*q - 5, 0 = t - 5*q + 11. Is t greater than or equal to -5?
True
Let z = 2.98 + 0.02. Let y = 18 - 19. Is z at least as big as y?
True
Let n be -1*(1 - 0)*-1. Which is greater: 3/16 or n?
n
Suppose 3*o + 18 = -3*u, o + 2*u + 18 = -4*o. Let a be (-1)/(2*2/24). Let s be (-4)/(-6)*a/(-14). Which is bigger: o or s?
s
Let g = 52 + -54. Which is smaller: g or 8?
g
Let y = 1 - 1. Let x(k) = -3*k + 2. Let n be x(2). Let s be (-4)/(-6)*(-2)/n. Are y and s unequal?
True
Let a(h) = -2*h**2 + 2*h. Let y(f) = f**3 + f**2 - f - 1. Let q(w) = -a(w) - y(w). Let v be q(0). Which is greater: v or -1?
v
Suppose 5*i = -3*t - 25, 2*t - 4*i = -0*i + 20. Suppose 0 = 3*c - t*c + 6. Are c and -4 equal?
False
Let k = 33 - 34. Let t = -142 + 707/5. Do t and k have the same value?
False
Let t be 1/3 + (-28)/12. Which is bigger: -14 or t?
t
Let i(y) be the third derivative of y**5/60 + 11*y**4/24 + y**2. Let o be i(-11). Is o != 1?
True
Let x(o) = o + 6. Let s be x(-6). Suppose h = -s*h. Let a be 6/12*1/2. Which is greater: a or h?
a
Suppose 5 = -5*j + 3*c, 2*j + 0*j = c - 2. Which is smaller: j or -7/8?
j
Let c be (-2 - -5 - 4)/(2/2). Is c bigger than -40?
True
Let c = 0 - 4. Which is smaller: -3 or c?
c
Suppose 25 = 9*c - 4*c. Suppose -2*t = -t + c. Let q = -6 - t. Which is greater: q or -2?
q
Suppose 4*y + 5 = 25. Let w(f) = f - 10. Let u be w(y). Let m = u + 9. Is 4 at most m?
True
Let w(y) be the third derivative of -y**5/60 + y**4/3 + 2*y**2. Let k be w(8). Let q be (-15)/18*2/5. Is q equal to k?
False
Let x(f) = -f**3 + 8*f**2 - 4*f + 1. Let b be x(7). Let p be (-120)/(-297) - 4/b. Is 0 at most as big as p?
True
Suppose -3*s + 0*u - 3*u = -27, -u = 3*s - 21. Suppose f = -0 - s. Let x = f + 7. Which is smaller: x or 6?
x
Suppose -4*r = -3*v + 755, 5*v - 20 = v. Let d = 1297/7 + r. Are d and 0.4 nonequal?
True
Let f = -35 + 34. Let p = -0.5 + 0.3. Let m = p + 0.1. Which is smaller: f or m?
f
Let s(x) = -10*x**2 + 2*x - 3. Let a be s(2). Is a greater than 0.1?
False
Let d = -792 - -137018/173. Let l = 360/1211 - d. Let w be 0 - (-2 - (-2 - 1)). Is w > l?
False
Let l(u) = -u**3 + 2*u - 1. Let c be l(1). Let y = 2 - c. Suppose 0*v - y*v = 0. Which is smaller: 1 or v?
v
Suppose 0*h - 3*h = 12. Let b = -6 - h. Let a be (1*2)/(9 - 11). Which is smaller: b or a?
b
Suppose 7*s = 10*s + 3. Let i be (-5)/(-16)*(-2)/10. Is i != s?
True
Suppose 2*d + 10 = x, -2*x - 31 = -3*x - 5*d. Which is bigger: x or 17?
17
Let r = -77/2 - -37. Let a = 6 + -2. Suppose 1 = -5*u - a. Are r and u non-equal?
True
Let a = 4 - 2. Let v = -2 + 4. Let h = 0 + v. Is h >= a?
True
Suppose 4*w - 5*h - 29 = -0*w, 3*w - 20 = 2*h. Suppose -2*q + 18 = q. Is q not equal to w?
False
Suppose h + f + 5 - 2 = 0, 1 = h - 3*f. Let j be h - 2/2*-1. Let y = 187 - 3367/18. Which is smaller: y or j?
j
Let r(l) be the first derivative of -l**2/2 + 6*l - 1. Let v be r(0). Let q be -6 + v*(-2)/(-4). Is q at least as big as -3?
True
Let g = -4.9 - -5. Let c = 0.06 - 4.06. Are g and c equal?
False
Let n = -11 - -18. Let h(l) = -l**3 - 6*l**2 + 4*l - 15. Let d be h(-7). Which is bigger: d or n?
n
Let o = -44 - -44.3. Let x be 26/14 + -2 + 0. Which is smaller: x or o?
x
Let a = -1.17 - -0.07. Is -2/3 <= a?
False
Let l = -13 - -5. Suppose -4*p - 2 = -n + 4, 0 = 2*p + 6. Let i = l - n. Which is smaller: i or -4/7?
i
Suppose -3*n - 5*w - 16 = 0, 0*n + n - 4*w - 6 = 0. Which is greater: -19 or n?
n
Let n = -2 + 3. Is -2/481 bigger than n?
False
Let h = 1 - 1.1. Let v = -443 + 1363/3. Let g = 11 - v. Which is greater: g or h?
h
Suppose 3*o + t = -3 - 3, 0 = -4*o - 2*t - 8. Is -5/6 at least as big as o?
True
Let u(x) = -2*x**2 - 4*x + 4. Let v be u(-4). Let z = 19 + v. Is 7 greater than or equal to z?
True
Let p be ((-32)/(-6))/(1/(-3)). Do p and -15 have the same value?
False
Suppose 3*m + 5*c + 12 + 3 = 0, -6 = m + 2*c. Let d = -5 - -6. Is m > d?
False
Suppose 6*q - 7*q - 1 = 0. Which is smaller: q or 1/99?
q
Let m(j) = j**2 - 6*j + 1. Let h be m(7). Let k = -8 + h. Suppose k*b + 2*b + 2 = 0. Which is greater: -2 or b?
b
Let g(x) = -7*x + 1. Suppose 0 = j + 3. Let u be g(j). Let y be (-4)/220 + (-4)/u. Which is smaller: y or 2?
y
Let n(k) = k**2 - 11*k + 10. Let v be n(8). Is v < -14?
False
Let c be -21 - -17 - 6/(-2). Suppose -5*o = -8*o - 3. Let q = o - -2. Which is smaller: q or c?
c
Let y = -1 + 3. Let r = y + 2. Suppose r*v + 5*i = 2 - 3, 5*i = -5*v. Which is smaller: -2 or v?
-2
Let l = -26 + 27. Let r be 3*12/(-9) - 0. Let m be ((-2)/r*-2)/1. Which is smaller: l or m?
m
Suppose 6*o - 11*o = -125. Let a = o - 23. Are a and 1 equal?
False
Let u(f) = -f - 12. Let k be u(-14). Are k and 2 equal?
True
Let w = 2.06 + -0.06. Suppose -5*l - 10 - 35 = 0. Let t be l/6*8/18. Is t smaller than w?
True
Let a(o) = o**2 - 5*o - 6. Let i be a(6). Suppose 2*f - 5*q = -3*f + 25, 2*q = f - 8. Let n be f/((-24)/(-10)) + -1. Is n greater than or equal to i?
False
Let w be 1*-3 - (388/44 + -12). Let g = -0.3 + 0.4. Are w and g nonequal?
True
Let g be (12/(-30))/(2/10). Let c = -3 - g. Is 0 at least as big as c?
True
Let q be (-5)/10 - (-1)/(-2). Let b = -11 - -15. Which is smaller: q or b?
q
Suppose 10 = 2*x, -2*q - 5*x = 3*q - 30. Let c be q/(-2) + 21/48. Which is greater: -1 or c?
c
Let u = -128 - -69. Let y = -3718 - -11335/3. Let a = u + y. Which is smaller: a or -0.1?
-0.1
Let y be 50/(-8) - 1/(-4). Let z = 8 + y. Let d = z - 2. Is d < 4/5?
True
Let n be (3/9)/(1/(-3)). Let v be 1/(n/((-2)/(-2))). Is 2/29 equal to v?
False
Let r be (-4)/6 + (-58)/(-6). Suppose -3*x = -3 - r. Which is smaller: -1/3 or x?
-1/3
Suppose 0*m + 2*w = m + 9, -w = 5*m + 1. Is 2/7 smaller than m?
False
Let i = -26.3 + 26. Let k = -14.7 - -11. Let x = k + i. Do -1 and x have the same value?
False
Let z(o) = -o + 7. Suppose -25 = -2*y - 3*y. Let m be z(y). Let v(a) = a**3 - 2*a - 1. Let n be v(2). Which is bigger: n or m?
n
Suppose 4*z + 1 = 13. Let v be -2*(z - (-304)/(-100)). Is v > -1?
True
Suppose 0 = -k - 19 - 9. Is k < -28?
False
Let g = 6 + -1. Is 6 bigger than g?
True
Let x(m) = m**2 + 6*m - 2. Let s be x(-7)