 Let z be a(9). Suppose -z*p + h = -p. Is p < 2?
True
Let a = 49/90 - 3713/6930. Let s = a - -223/924. Let z = 0.02 - -0.28. Does z = s?
False
Let h = 28/3 + -9. Let m be (3/(-12))/(4 + (-3)/(-8)). Is h <= m?
False
Let a = -132 + 134. Which is bigger: a or 3?
3
Suppose -4*w = -0*w. Let m be (1/20)/((-68)/12 + 6). Are m and w equal?
False
Let l = 0.098 - -0.102. Is l > -66?
True
Let a(u) = u**2 - 9*u - 25. Let g be a(9). Do g and -23 have different values?
True
Let i be 21/4 + 3/(-12). Suppose -6 = -2*l + i*l. Let f(w) = -w + 2. Let s be f(4). Do l and s have the same value?
True
Let a = -12 + 16. Is a at least as big as -0.1?
True
Suppose -3*y + 3 + 3 = 0. Suppose k = 5*l, 0 = y*l - k + 3*k + 12. Do l and -2 have the same value?
False
Let f = 2.5 + -2.38. Let u = 0.02 - f. Let m(l) = -l**2 - 4*l - 4. Let r be m(-4). Is r smaller than u?
True
Let h = 4 + -1. Let q = 0.13 + -0.43. Is h bigger than q?
True
Let q(w) = w**3 + 11*w**2 + w + 19. Let u be q(-11). Is 8 > u?
False
Let d be 1/(-2) - 1/2. Let k be (-1 - (-2)/d)/(-1). Suppose -4*t = -k*x + 6, 4*x + t - 1 = 4*t. Which is smaller: -1 or x?
x
Suppose 3*q + 0*d - 4 = -4*d, q + 3 = 3*d. Which is smaller: q or -2/213?
-2/213
Let h(t) = -3*t - 3. Let k(g) = -7*g - 7. Let r(v) = -9*h(v) + 4*k(v). Let y be r(5). Which is smaller: -7 or y?
-7
Let j = 13/10 + -3/2. Suppose -4 = -3*s - 4*g, 2*s + 2 = g + 1. Is s less than j?
False
Suppose -3*c = 5*r - 7, c - 2*c - r + 1 = 0. Let d be (13/5 + -2)*5. Suppose v + u + 21 = -d*u, 0 = 4*v - 5*u - 21. Is c at least v?
True
Let x = 14 + -26. Let u(p) = -p - 9. Let y be u(x). Which is greater: y or 4?
4
Let p = -5 + 3. Let y(o) = -3*o + 6 - 2 + 4*o. Let d be y(-5). Is d greater than or equal to p?
True
Let m(h) = -48*h - 2. Let b be m(7). Let p = -39 - b. Let r = -3291/11 + p. Is 0 > r?
True
Let a = -37.9 + 37. Is a > 1?
False
Let q be (2 + 2/(-1))/(-2). Let x be 1 + q*(-1)/(-2). Which is smaller: -1/4 or x?
-1/4
Let g = 1 - 2. Let y = g - -5/4. Which is greater: y or 0?
y
Suppose 3 = -a - 2*k + 5*k, -1 = -4*a - k. Which is bigger: a or 3?
3
Suppose 0 = -u - 2*k + 3*k + 4, k + 16 = 4*u. Suppose x + 0*m + 14 = -2*m, -4*m - 24 = x. Let g be (u - 1)*x/12. Is g not equal to 1/13?
True
Let p(f) = -f**3 + 3*f - 1. Let l be p(2). Suppose 2*a = -3*c + 1, -c + 31 = -4*a + 4*c. Is l not equal to a?
True
Let b(i) = i + 10. Let k be b(-7). Suppose 0 = -5*q + d - 10, -2*d = 4*q + k*d + 37. Which is bigger: q or -4?
q
Let d = 1/2 + 1/22. Let u = 45/22 - d. Is 1 at least u?
False
Let a(z) = -z**2 + 6*z - 5. Suppose -2*p + 12 - 4 = 0. Let v be a(p). Suppose -v*q = -2*q. Which is smaller: q or -1/2?
-1/2
Let q(i) = i**3 + i**2 - 2*i - 1. Suppose -2*l - 4*r = -8 - 6, -4*l + 2*r = 12. Let x be q(l). Does 1 = x?
True
Let g = 64.04 - 64. Is g greater than or equal to -1.2?
True
Let c = -120112/5 - -23893. Suppose 5*s - 409 + 1054 = 0. Let p = s - c. Is p less than or equal to 0.4?
True
Suppose b = -0*b + 26. Let d = b - 80/3. Are -1 and d non-equal?
True
Let i(g) = g**2 - 5*g + 5. Let l = -4 + 8. Let c be i(l). Do -2/7 and c have the same value?
False
Let i be 3 + 56/(-36) - 1. Which is smaller: 0 or i?
0
Let r = 0.02 + -0.06. Let p = r - 0.96. Which is bigger: p or 5?
5
Let h = -0.36 + 0.06. Let r = h - -2.3. Let i = r - 1.9. Which is bigger: i or -1/4?
i
Let v = 1.4 + -2.8. Let l = v - -1.3. Which is smaller: l or -2?
-2
Let x = 6 + -3. Suppose -4*g + 0*b + 5 = x*b, -4*b = 20. Which is bigger: g or 1?
g
Let c = -3 + 4. Suppose -4*b - 7 = 5. Let t be 0 + 36/(-15) - b. Is c smaller than t?
False
Let a = 3 + -2. Let m be (a/2)/(4/8). Which is smaller: -1/7 or m?
-1/7
Suppose -z + 2*i - 5 = 0, z + 2 = i - 1. Let s = 65/2244 + 2/51. Let l = 2/11 + s. Are l and z equal?
False
Suppose 0 = 4*h - h + 3*x + 24, 0 = -4*h + 3*x - 25. Which is bigger: h or -19/3?
-19/3
Suppose -3 - 12 = -5*g. Suppose 2*s + 2 = -q + 3, 5*q = -2*s + 13. Is g <= q?
True
Let h(s) be the third derivative of -s**6/120 + 2*s**5/15 - 7*s**4/24 + s**3/6 + 2*s**2. Let j be 3/1*(-7)/(-3). Let p be h(j). Do p and 1 have the same value?
True
Let h be ((-44)/30*1)/(2/(-6)). Which is smaller: 3 or h?
3
Let l = 28.9 - 29. Suppose 2*w = 4*a + 4, 0 = 5*a + 2*w + w + 27. Let r be 2/6 - 2/a. Which is greater: l or r?
r
Suppose 104 = 4*i + 2*p + 16, -i = p - 22. Let k be (-6)/9 - i/(-24). Suppose 0*f - 2*f + 2*y + 4 = 0, -y - 5 = 0. Is f at most k?
True
Suppose -2 = -3*w + 1. Suppose -2*v + 22 = 4*d - 0*v, -3*d + 2*v - 1 = 0. Suppose l + d*l - 8 = 0. Which is greater: w or l?
l
Let z(s) = s**3 + 5*s**2 - s - 6. Suppose 29 = -8*k + 3*k - 2*i, 0 = 4*k - i + 18. Let t be z(k). Which is greater: -4 or t?
t
Let d(p) = 2*p**2 - 4*p + 2. Let u be d(1). Let i = 25 - 73/3. Is u greater than i?
False
Let l be 3/2*2/3. Let t = 196 - 1374/7. Which is smaller: t or l?
t
Suppose 5*o - l + 35 = 0, 0 = -4*o + 3*l - 6 - 11. Suppose 3*b + 30 = -2*b. Let g = b - o. Do 2 and g have different values?
False
Suppose 0 = -5*h + 3*h. Suppose 4*d - d + 12 = 0. Which is greater: d or h?
h
Let z be (1/2)/(17/(-204)). Let j = 5 + -11. Let v = j - z. Which is smaller: v or -1?
-1
Let j be -5 - (8/44 - 24/11). Suppose 3*x - 6 = 5*x. Is j != x?
False
Suppose 3*x = q + 15, -5*x + 2*q - 5 = -29. Suppose -32 = -2*m - 0*m. Let b be m/x - (-1)/3. Are b and 3 non-equal?
False
Let k = -24 - -24. Let c = -143/9 + 16. Which is smaller: k or c?
k
Let w = -23.91 - 0.09. Let i = w + 20.7. Let l = i + 3. Which is smaller: l or 1/4?
l
Let p = 2.43 + -0.33. Let w = 1.96 + 0.04. Let z = p - w. Is z >= -1?
True
Let z = 7.5 - 4.5. Is z equal to -1/5?
False
Let j be ((-2)/5)/(14/(-40)). Let i(g) = -g**3 + 4*g**2 - 2*g - 2. Let b be i(3). Is b > j?
False
Suppose p + 11 = 5*x, 2*x + 1 = p + 3*x. Which is bigger: p or 2/13?
2/13
Let h be (-276)/14 + 14/(-49). Is h at least -20?
True
Let c(d) = d**3 + 4*d**2 + d. Let h(t) = t - 2. Let p be h(0). Let u be c(p). Suppose -2*n - 29 = u*a - a, 0 = -n - 2. Which is smaller: -4 or a?
a
Let n be 6/(-4)*(-12)/9. Suppose y + 3 = n. Let v be (2 - y)/((-108)/(-8)). Which is smaller: v or 1?
v
Let g = -29 - -51. Which is smaller: g or 0?
0
Suppose -t + 4*g = 4*t - 4, 2*g = -4*t - 2. Suppose -5*d + 82 + 68 = 0. Let j be (4/d)/((-3)/5). Is j < t?
True
Suppose 0*g + 3*g + 18 = 0. Let z = g + 9. Let n be 2/(-4 - -2) + 3. Is z >= n?
True
Suppose -4*c = -3*v - 4 - 8, -5*v + 3 = c. Suppose -5*s - c*y = -12, -s = -3*y + 6 + 6. Is 2/9 at most as big as s?
False
Suppose 4 = -2*a + 6. Let s be a*(1 + 4 + 0). Suppose -2*y = -i - 2*i - 14, 2*i = s*y - 35. Does y = 7?
True
Suppose 5*m = 2*v + 11, -4*m + 4 = -3*v - v. Suppose -z - 4*z - m*u = 5, -4*u = 5*z. Let p be -1 - -3 - z/(-3). Is p bigger than 1?
False
Suppose 0 = 2*p + 12 + 4. Suppose -5*g - 3*g = 64. Is g greater than p?
False
Suppose 0 = 5*j - 2*w + 5*w + 13, 3*w = 2*j + 1. Which is smaller: j or -9?
-9
Let g = -1 + 3. Let f = 21 - g. Let r = f + -96/5. Which is bigger: 1 or r?
1
Let u = -5 - -3. Let r = -1 - u. Let s = 93 + -467/5. Which is smaller: r or s?
s
Suppose a - 5 + 1 = 0. Suppose 4*s + 5*d - 23 = 0, a*s + 0*d = -d + 11. Is s smaller than 3?
True
Let c = 4 - 3. Suppose 2*a - 6 = f, -20 = -3*a - a - 2*f. Are c and a unequal?
True
Suppose 5*k = -3*z - 31, -3*z + 0*k - 1 = -k. Which is smaller: -7/5 or z?
z
Let b = 0.14 - -0.06. Let i = -0.1 - b. Let z = 0.3 + i. Is -1/5 at least as big as z?
False
Suppose -5*v = -s, 5*v = 2 + 3. Suppose w - 3*m + s = -6*m, -5*m = w + 9. Let a = -219/5 - -44. Which is greater: a or w?
w
Let a be (-3)/2*32/(-12). Let l(b) be the first derivative of b**4/4 - b**3/3 + b**2/2 + 5*b - 2. Let d be l(0). Is a equal to d?
False
Suppose 2*j - 10 = 5*r - 3*r, 2*j - 3*r = 13. Suppose -j*x - 3*x + 10 = 0. Let k = -8 - -9. Is k at least x?
False
Let o(a) be the first derivative of a**4/4 - 5*a**3/3 + 5*a**2/2 - a - 4. Let q be o(4). Which is bigger: 4 or q?
4
Suppose 11 + 13 = -4*u. Which is greater: -7 or u?
u
Let u = 16 + 0. Let c = u - 30. Which is bigger: -0.1 or c?
-0.1
Let u = -0.011 - 0.989. Let n = 1.4 - 2.7. Let r = n - u. Which is greater: 1 or r?
1
Let t = -160/189 - 2/189. Which is bigger: -2 or t?
t
Let c be -7*(-8)/(2 + 2). Let o be (-2)/(-4) + (-11)/c. Which is greater: o or -1?
o
Let m = -6 + 6. Suppose -4*k - 2 + 26 = m. Which is smaller: k or 5?
5
Su