t t be n(h). Is 1/4 bigger than t?
True
Suppose -7*s + 248 = -270. Is s > 74?
False
Let h(c) = -c - 2. Let a(x) = -x - 3. Let q(l) = -4*a(l) + 5*h(l). Let b be q(6). Is -4 less than or equal to b?
True
Suppose 4*r - 2 = -2*x + 2*r, -5*x + 4*r = -41. Is 7 bigger than x?
True
Suppose 0*z + 6 = 2*z. Suppose s + 8 = -z*s. Let m be (1 + s)/(14/(-4)). Which is bigger: -1/3 or m?
m
Let g(j) = 3*j + 3. Let n be g(-5). Let v be 28/n + -1*1. Is -2 greater than v?
True
Let o be 334/5*(-70)/24. Let q = o + 194. Let v = q - -3/2. Which is bigger: -0.1 or v?
v
Let s(i) = -6*i**2 - 3 - 3 - 6 - i**3 + 10. Let c(p) = -2*p**2 + 5*p - 3. Let t be c(3). Let v be s(t). Which is bigger: -4 or v?
v
Let s(t) = -t + 3. Let p be s(4). Let o = 3 + -10/3. Is p bigger than o?
False
Let v = -222/7 + 32. Suppose -4 = -3*d - 1. Let z be 0 - d*(-2)/(-6). Which is bigger: z or v?
v
Suppose 4*v + 3*l + 14 = 2, 0 = -3*v + 5*l - 38. Let s be 6/10 - v/15. Are s and 6/11 unequal?
True
Let d(z) = -z**2 + 5*z - 4. Let c be d(4). Let j = -4 + c. Is -1 <= j?
False
Suppose -12*r + 57 + 3 = 0. Let h = 17 - 12. Are r and h non-equal?
False
Let x(u) = u**3 - 5*u**2 - 6*u + 5. Let d be x(6). Suppose -2*v - 17 = -d. Let h = -4 - v. Is 2 <= h?
True
Let l be -4 - 0*1/(-3). Let n = 4 + l. Which is smaller: n or -1/3?
-1/3
Let h be ((-8)/(-5))/((-8)/(-20)). Let q be 50/12 - (-5)/(-30). Is h greater than q?
False
Let n = -11.15 - -17.16. Let l = -6 + n. Is -1/4 at least as big as l?
False
Let r = -143 - -172. Which is smaller: 1 or r?
1
Let a be (2/6)/((-9)/(810/(-4))). Is a not equal to 9?
True
Let s = -128/3 - -41. Suppose 0 = 61*q - 62*q - 1. Is q less than s?
False
Let z be 2/(-6) - 21/(-9). Suppose 3*c + c + 9 = 5*k, c - z*k + 3 = 0. Let p be 6/(-3)*c/(-2). Are 1/8 and p equal?
False
Let r = -0.437 + -19.663. Let n = r + 20. Which is smaller: 4 or n?
n
Let a = 371/9 - 41. Is a less than -1?
False
Let d be 1285/(-15) - 2/6. Let q = 175/2 + d. Suppose 4*i + 3*p + 2*p = 27, 18 = 2*i + 4*p. Do q and i have the same value?
False
Let z be (-6)/(-3) - (-1 - -1). Suppose 4*c = 6 + 14. Let u(q) = -q**3 + 6*q**2 - 4*q - 2. Let x be u(c). Is x <= z?
False
Let k = -197/300 - 1/100. Which is greater: 0.3 or k?
0.3
Suppose -a = 3*a + 2*g - 12, 9 = 3*a + g. Suppose -3*h + 29 = -5*b, a*h + 0*h = -5*b - 11. Let i = h - 7. Is -4 >= i?
True
Let o be 2 + (-1)/4 - 2. Let f = 0.42 + 16.58. Let c = f + -16.9. Is c at least o?
True
Let h = -0.02 - 0.06. Let n = h - 0.02. Which is smaller: n or -4?
-4
Suppose -3*n = 9, 7*n - 3*n + 12 = -4*i. Let z = -0.08 + -6.92. Is i less than or equal to z?
False
Let c = -80 + 79.4. Is -2 >= c?
False
Suppose -2*u - 3*n + 16 = 0, 5*u - 2*n - 57 = 21. Suppose h + 1 = 3. Let z be h/(-2) - u/(-10). Is z < 0?
False
Let b = 9 + -11. Suppose 0 = 2*l + 2*l. Which is smaller: l or b?
b
Let t(r) = -3*r - 45. Let k be t(-15). Which is bigger: k or -2?
k
Let s = 155.7 + -167. Let d = 11 + s. Is 1/4 less than or equal to d?
False
Suppose 2*k + 2*h = -k + 26, 2*h - 2 = 0. Let m be (-2)/k - (-102)/104. Let p = m - 3/13. Is p < 0?
False
Suppose g = 2*g - 5. Suppose 3*n = 8*n + g. Let y(d) = d**2 + 2*d + 1. Let z be y(n). Is -2/5 != z?
True
Let p = -14 + 15.2. Let m = p + -0.2. Which is greater: 1/3 or m?
m
Let f(h) = -3*h**2 + h + 3. Let g(i) = 16*i**2 - 5*i - 16. Let v(y) = -11*f(y) - 2*g(y). Let w be v(1). Is w at most as big as -2/9?
True
Let t(f) = f**3 + 11*f**2 + 10*f - 8. Let y be t(-10). Which is bigger: y or -11?
y
Let i = 3/10 - -11/30. Which is smaller: i or -2/3?
-2/3
Let y = 5 - 20. Let t = 15 + y. Which is bigger: -0.6 or t?
t
Let d = 5 + -10. Let s be ((-4)/10)/(8/d). Let v = 0.18 - -0.02. Which is smaller: s or v?
v
Let q(s) = s**3 + 6*s**2 + 6. Let w be q(-6). Which is smaller: w or 8?
w
Let k = -5 - -3. Let l be 2 + 2/(3 + -5). Which is bigger: l or k?
l
Let a(h) = -2 + 0 + 1 - h - 2. Let s be a(-4). Is s less than 2?
True
Let u be (-289)/4*8/(-10). Let j(o) = 8*o - 6. Let a be j(8). Let p = a - u. Which is smaller: 0.1 or p?
0.1
Let t(g) be the first derivative of -5*g**3/6 + 3*g + 2. Let j(m) be the first derivative of t(m). Let s be j(-1). Is 5 bigger than s?
False
Let y(d) = 3*d + 57. Let p be y(-19). Which is smaller: p or 23?
p
Suppose 2 = l + l. Let u be 1 + l + 4570/525. Let d = u - 54/5. Is d greater than -1?
True
Let a(k) = 27*k**3 + k**2 - 5*k + 4. Let w be a(1). Is 26 greater than or equal to w?
False
Let w be 1 + -4 - (-217)/70. Are 1 and w unequal?
True
Let v = 2/70671 + 48833641/706710. Let u = -69 + v. Which is bigger: -1 or u?
u
Let q = 0.17 + -0.67. Let w = -1.1 - q. Which is smaller: 3 or w?
w
Let s = 38 - 191/5. Which is bigger: s or 1?
1
Let a = 0.17 + -0.07. Is a <= 0.1?
True
Let x = -18 + 17. Which is bigger: x or 2/3?
2/3
Suppose x + 2 - 7 = -2*m, -m - x = -3. Suppose -m*p + 4 = -3*p. Let o be (p/(-6))/((-4)/(-6)). Which is smaller: o or 2?
o
Let a = -2/5 - 1/10. Is -1 > a?
False
Let m = 1.7 - 1.7. Is m at least 6?
False
Suppose -4 = 2*n - 2. Is n equal to -7/5?
False
Let v be (15/12)/((-2)/(-8)). Suppose v*t = 3*t + 10. Let a(w) = -w**2 + 4*w + 5. Let i be a(t). Which is smaller: i or -1/5?
-1/5
Let l = -89 - -87. Is 2 smaller than l?
False
Let p = 1865/9 - 207. Let w(h) be the second derivative of h**4/12 - h**3 + 5*h**2/2 - h. Let n be w(5). Which is bigger: n or p?
p
Suppose -5*f + 3*q - 4 = 0, -4*f + 5*q - 4*q + 1 = 0. Suppose 4*z + f = -3*m, 0 = -m - 3 - 0. Suppose -l - 3 = -z*l. Are l and 3 nonequal?
False
Suppose -3*f = 5*c - 0*c + 31, 0 = 5*f - 3*c + 29. Let k be (f/(-4) + -1)*4. Suppose -v - k*v = 16. Which is bigger: v or -2?
-2
Let r(k) be the first derivative of k**6/120 + 7*k**5/60 + k**4/4 - k**3/2 - k**2 - 1. Let b(a) be the second derivative of r(a). Let c be b(-6). Is -4 <= c?
True
Let t = -0.11 + 14.01. Let r = 14 - t. Which is greater: 2 or r?
2
Let f = -0.3 - -2.3. Let i be 4/(-18) - 16/(-18). Is f != i?
True
Let t = 410 + -276. Which is greater: 135 or t?
135
Suppose -j = -3*j - 12. Let u be (-3)/((-9)/j - 3). Is u < 3?
True
Let z be -1*5*10/(-75). Are -3 and z nonequal?
True
Let u = -9 + -2. Let r be (-240)/(-616) + (-2)/u. Which is bigger: r or 2?
2
Let t = 0 + 0. Suppose 3*a + j = -414, -191 - 223 = 3*a - 3*j. Let p be 1 + (a/33 - -3). Is t at least as big as p?
True
Let y(b) = -2*b + 5. Let m(s) = s - 4. Let v(w) = 3*m(w) + 2*y(w). Let r be v(-3). Are r and 1/6 non-equal?
True
Let f = 1355/16 + -254/3. Let x = f - 13/48. Let w = -24 + 30. Is x greater than or equal to w?
False
Let s = -16 + 15.7. Let j = -1.7 + s. Is -2 >= j?
True
Let q = 0.1 + 5.9. Let k = q - 6. Let y = 1.9 + -2. Which is smaller: k or y?
y
Let t be (3/(-6)*2)/(-1). Suppose -4 + t = -3*j. Let p = j - 3. Is p greater than or equal to -2/3?
False
Let w = -63/2 + 32. Let v = 9 - 7. Which is smaller: w or v?
w
Suppose 5*z = -g + 21, 0 = 2*g - 0 - 2. Which is bigger: z or -1?
z
Let f = 15 - -3. Suppose 0 = -2*p + 7 + 1. Suppose -3*i = -4*i + 2*t - 10, -f = i - p*t. Is -3 <= i?
True
Let z be (-2 + 8 + -4)/(-5*1). Is z less than -18?
False
Let m(j) = j**2 + 10*j + 5. Let b be m(-10). Suppose b*o = o. Are o and 5 equal?
False
Suppose v - 16 = -15. Suppose 4*t = -20, 0*t - 3*t = 5*f - 5. Suppose 1 = -f*u - 3. Which is smaller: u or v?
u
Let k(h) = 45*h**3 + h**2 - 1. Let z be k(-1). Let t be ((-4)/(-6))/((-20)/z). Which is greater: 0.1 or t?
t
Let y(k) = 3*k**3 + 11*k**2 - 14*k + 3. Let b(p) = -2*p**3 - 5*p**2 + 7*p - 1. Let l(d) = 5*b(d) + 3*y(d). Let a be l(7). Let f be 7/a - 0 - 2. Is -1 != f?
True
Suppose 2*l + 3*z + 0*z = 11, 5*l + 5*z = 20. Suppose 0 = -t - 4*f + 12, -4*t - 20 = -2*t - 3*f. Let w be 4/16 + (-7)/t. Which is smaller: l or w?
l
Let j = 0 - -1. Suppose -4 + j = g. Do -3 and g have different values?
False
Let c = -1388/63 + 148/7. Which is bigger: c or 1/2?
1/2
Let b be 70/12 - (-3)/(-6). Let s = -88688/15 + 5907. Let n = s + b. Is 1 bigger than n?
True
Suppose 15 = 2*s + 3*s. Suppose -5*r - 3*q = -30, -3*r = -s*q + 4 + 2. Is r > 0?
True
Let s be 36/(-44) - 1/(-1). Let q be 0/(3 + (-4 - -2)). Suppose -y - 3*y = q. Is y smaller than s?
True
Suppose 3*n + 33 + 6 = 0. Let x = n + 4. Which is smaller: 0 or x?
x
Let d(i) = -i**2 + 9*i + 13. Let h be d(10). Suppose -3*j - h = -5*x, j + 2 = 4*x - j. Let w = -84 + 1094/13. Which is greater: w or x?
w
Let