ppose -4*t + 5*t = m. Are 2/23 and t non-equal?
True
Let o be (-2)/2 + (-14)/35. Suppose 3*f - 12 = 3*a, 0 = -4*f - 0*a - 2*a - 14. Are o and f non-equal?
True
Suppose -6*t = -2*l - t + 11, -2*l - 5*t + 21 = 0. Suppose q + 4*s = l, 5*s + 26 = q - 0*q. Suppose -x = 5*f - q, -f = -1 - 2. Is 2/3 greater than x?
False
Let g = -19 - -20. Which is smaller: 2/7 or g?
2/7
Let k = 2.9 + -2. Let s = k - -0.1. Let a = 0.08 - -0.02. Which is greater: a or s?
s
Let k = 8 - 5. Suppose 6*v - 26 = -2. Let f be 0 + (-2 - (k - v)). Which is greater: f or 1/5?
1/5
Let n be 2/(-2) + 42/(-36). Do -1 and n have different values?
True
Let p be 4*(-3 - 177/(-6)). Let y = p - 532/5. Which is smaller: -1 or y?
-1
Let u(s) = -s**2 + 9*s - 13. Let h be u(7). Is h greater than or equal to 6?
False
Let u be (-18)/(-5) - 6/(-15). Suppose -4 = -s - m, m = -2*s + 5*m - u. Suppose t - 2 = -x + 2, -s*x - 4 = -t. Which is smaller: x or 3/4?
x
Let w = 0.13 + -7.13. Let g = -1 - w. Let s = -5.9 + g. Which is greater: s or 1/3?
1/3
Let k(n) = n**2 - 2*n + 2. Let v be k(2). Suppose -h - v + 3 = 0. Let d be (-8)/(-10)*(-2)/8. Which is smaller: h or d?
d
Suppose -2*j + 7*j - 5 = 0. Which is bigger: j or 1/14?
j
Let i(x) = 2*x**3 + 4*x**2 - 7*x. Let v be i(-4). Is -35 equal to v?
False
Suppose -3*k = -8*k + 20. Let j = 8 + -5. Which is bigger: k or j?
k
Let i(h) = h**3 + 5*h**2 - h - 5. Let u be i(-5). Let z be -2 - (-15)/(-3) - -7. Are u and z nonequal?
False
Let w = 0.3 - 0.3. Let b = -1 + w. Let t = -30/13 - -77/39. Is t != b?
True
Let p(l) = l**3 + l**2 + l + 6. Let y be p(0). Let n be 4/(-22)*3/y. Which is smaller: 1 or n?
n
Let m(p) = -7*p - 1. Let n be m(-1). Let f be 10/84 - n/21. Suppose 1 + 6 = o - 2*t, 2*o - 5*t - 17 = 0. Which is smaller: o or f?
f
Let g(b) = b**2 + 13*b + 13. Let c be g(-12). Which is greater: 3/8 or c?
c
Let c = -81.8 + 72. Let v = c + 10. Which is bigger: v or 0?
v
Let v be -6 - (-6 + (0 - -3)). Do v and -5 have different values?
True
Suppose s - 2198 = 15*s. Is s equal to -157?
True
Let x(s) = s + 1. Let y(m) = 7*m - 3. Let v(t) = -6*x(t) + y(t). Let r be v(8). Let f = -43/12 + 13/4. Is f less than r?
False
Let c(v) = v + 7. Let h be c(-3). Suppose 2*u + 7 = -g - 0, h*g + 3*u + 3 = 0. Let y = 4 - g. Which is smaller: 0.1 or y?
0.1
Let o be (3/(-2))/((-3)/(-4)). Let q(z) = z**2 - 5*z - 8. Let u be q(6). Let h = 2 + u. Which is bigger: o or h?
h
Let m = -6/526670707 - -16322578718798/14698852761663. Let s = -2/3101 - m. Is s < -2?
False
Suppose 0 = -8*p + 321 + 23. Is p less than 43?
False
Let n = 19/2 + -433/46. Let w be 140/(-8) - 2/4. Let q be 4/w + (-10)/(-45). Which is bigger: q or n?
n
Suppose -5*b + 2*z = -0*z + 988, -b - 201 = 3*z. Let q = -1388/7 - b. Which is smaller: 1 or q?
q
Let o be (2 + -1)/(-2 + 1). Let t = 9 - 17. Let l be 2/((o - -4) + t). Which is bigger: l or -0.1?
-0.1
Let p(l) = -2 + 4 - l**2 + 2 + 4*l. Let g be p(4). Which is bigger: g or 5?
5
Let p = -303 + 1523/5. Is p at least as big as 2?
False
Let c = -19 + 13. Let g(l) = -l**2 - 5*l + 6. Let r be g(c). Is r not equal to -2/3?
True
Let t = 0.1 + -3.1. Let v = t - -4. Is v at least -1?
True
Let d be 0/((1 - -1) + -1). Let g = 1942/7 + -278. Is d equal to g?
False
Let o(v) be the second derivative of -v**4/12 - v**2/2 + 2*v. Let j be o(-1). Suppose l + l = -3*g - 10, 4*l + 16 = -5*g. Which is greater: j or g?
j
Let p(y) = y**3 - 8*y**2 + 13*y - 6. Let h be p(6). Which is smaller: -2/157 or h?
-2/157
Let s be 1 + (18/10 - 3). Suppose 2*l - i = 2, 2*i + 0*i = -4. Are l and s nonequal?
True
Let t(i) = -i**2 + 11*i + 6. Let q be t(11). Let y = -5 + q. Is y equal to 3?
False
Let y = -6 + 9. Let h = -4 + y. Let x = 1.02 + h. Is x less than or equal to 2/5?
True
Let d = 3.1 + -3. Let z = 17.4 - 17.5. Is z greater than or equal to d?
False
Suppose -2*g - t = -5, -5*g + 3*g = 3*t - 11. Is 1/2 at least g?
False
Suppose -12 = -4*o + 8*o. Which is smaller: -5 or o?
-5
Suppose 4 = 5*k - 2*u, 0 = 3*u + 2*u - 15. Do k and 0 have the same value?
False
Let h be 66/4*20/15. Suppose -7 = -5*q - h. Suppose -i - 2 = 2. Is i at most as big as q?
True
Let m(o) = o**2 - 4 - o - 3*o + 3*o. Let t be m(3). Let p be t - 2 - (-1 - -2). Which is smaller: -2/7 or p?
p
Let p(i) = 5*i**2 + 3*i + 7. Let a(g) = 4*g**2 + 3*g + 6. Let u(b) = 4*a(b) - 3*p(b). Let s be u(-2). Let x = 29/2 - 15. Is s > x?
True
Let f = 2 - -2. Let w = 11 + -8. Is f at least w?
True
Let j = 8 - 7. Which is smaller: j or -5/7?
-5/7
Let f be 2/(-5) - (-6)/(-10). Let x(z) = 2*z**2. Let y be x(f). Suppose s - 4*w - 22 = 0, 3*w = -4*s + y*w + 3. Is 3 bigger than s?
True
Let n be -6*(-2)/8*2. Suppose -4 = 4*r - 20. Is r at least as big as n?
True
Let f be 2/19*(-5)/(-5). Suppose -2*l = -5*h - 15, -4*l + 3*h + 3 = 2*h. Which is smaller: f or l?
l
Let c be ((-415)/60)/(((-5)/3)/(-5)). Is -22 <= c?
True
Let k = 3.72 - -0.28. Which is bigger: k or -3?
k
Let p = 0.5 + -0.3. Let g = p + -0.1. Let y be ((-30)/70 - (-38)/56)*1. Which is smaller: g or y?
g
Let o(v) = -13*v + 3. Let w(d) = 27*d - 7. Let i(z) = -5*o(z) - 2*w(z). Let k be i(1). Let t = -7 + k. Which is greater: 5 or t?
5
Let g be (-2)/3 + (-184)/(-240). Is -1/3 less than or equal to g?
True
Let j = -5/8 + -1/24. Let s = -5 + -2. Let y = -6.9 - s. Is y bigger than j?
True
Let k = -2.4 + -2.6. Is -4 smaller than k?
False
Let j be 1 - (0 + -1)*-4. Let n(t) = 2*t + 2. Let p be n(j). Which is bigger: p or -2?
-2
Suppose 0 = -3*z + 3*b - 75, z + 2*b + 38 = -z. Is z bigger than -22?
False
Let f be 0 + ((-24)/(-14) - 2). Let i = -36.5 - -37. Is i at most as big as f?
False
Suppose 0 = -4*t + 40 + 52. Let a = t - 45/2. Let u be 2*1/((-16)/(-6)). Is a bigger than u?
False
Suppose -2 = 5*n - l, -3*n - 5*l + 10 + 0 = 0. Suppose -7*d + 2*d - 15 = n. Let g be 2 + 3 - d/3. Is g at most as big as 5?
False
Let y be ((-242)/(-66))/((-2)/12*-2). Is 61/5 bigger than y?
True
Suppose -2*m + m + 7 = -3*l, l - 21 = 5*m. Let z be 0 + 1 - 96/15. Let f = z - m. Which is bigger: 1 or f?
1
Let k(f) = f + 8. Let b be k(-7). Is 4/7 at most b?
True
Let h = -16 + 17. Let f = 4136/3 - 318832/231. Let a = -14/11 - f. Is h != a?
True
Suppose -4 = -4*f, -5*u - 4*f + 46 = -3*f. Let o be (-3)/(u/(-12)*-14). Which is smaller: o or 1?
o
Let w = -7 + 0. Let p(b) = -b - 1. Let r be p(w). Let t be ((-4)/r)/(5/3). Which is bigger: -1 or t?
t
Let q = 934.07 - 924. Let t = 10 - q. Which is smaller: t or -1?
-1
Let i(g) = g**2 + 7*g - 5. Let v = 1 + -8. Let q be i(v). Is -4 <= q?
False
Let o be (-14)/(-2)*(-2 - -3). Let x be (7/o)/((-1)/1). Suppose 3*m + 4 = -2. Which is bigger: x or m?
x
Let f be 2*(-3)/(-12)*0. Let p be 2/6*(f + -10). Is p less than or equal to -2?
True
Let b = -21 - -16. Let x = b - -16. Which is smaller: x or 1?
1
Let r = 35 - 36. Which is bigger: r or 1?
1
Let o be (-637)/(-21) + ((-14)/6 - -1). Is o smaller than 2?
False
Suppose 2*g - 22 = 3*n, -n - g - g + 6 = 0. Let c be n/(-30)*30/24. Which is bigger: 0 or c?
c
Suppose 2*o - 4*l - 8 = -2, o + 1 = 4*l. Do o and 1 have the same value?
False
Let x(t) = -4*t + 2. Let o be x(-3). Let h be o/(-3)*(-36)/182. Which is smaller: h or 0?
0
Suppose 2*a = -9*l + 4*l + 16, 5*l = -a + 18. Let z(v) = 4*v + 5. Let o be z(a). Suppose 4*u - f + 8 = 2*f, 0 = -5*f. Is u greater than or equal to o?
True
Let t = -4 - -8. Let l = -2 - -3. Let u be (-4)/l*(-2)/t. Is 1 >= u?
False
Let j = -15 + 16. Is j < -1/61?
False
Let g = -0.1 - 2.9. Is 1 less than g?
False
Suppose -40 = -4*h + 2*l, -h - l + 3*l + 13 = 0. Let r be (-3)/(h/(-4)) + -1. Which is smaller: r or 0?
0
Let i = -2 + 5. Let n = i - 2.8. Let h = -0.032 + -1.968. Do h and n have different values?
True
Suppose 6*b = 8*b. Are b and -0.9 equal?
False
Let f be (-2 + 4)*(-2)/(-170). Is 1 greater than or equal to f?
True
Let y = -2371/2 - -1158. Let d = -28 - y. Let c be 0/((-2)/(1 - 3)). Which is greater: d or c?
c
Let u(j) = j**2 + 2*j - 5. Let x be u(4). Which is smaller: 18 or x?
18
Suppose 5*i + x + 32 + 30 = 0, -i = 5*x + 22. Which is greater: i or -10?
-10
Let w = -3 - -1. Let b = -2 - w. Suppose 20 = -5*c + 5*f, 5*c + 0*f = f. Which is bigger: b or c?
c
Let c(u) = -u - 9. Let o be c(-11). Is 9 at least o?
True
Let u be 27/396 - (2/(-11) - 0). Which is bigger: -1 or u?
u
Let h = 5.9 + -5.4. Which is smaller: h or -3/4?
-