*q, -3*p = q + p - 2. Suppose -4*s = q - 2. Which is smaller: s or -2/3?
s
Let i = -13 + 11. Suppose 0 = 5*m + 3*h + 60, -6 = -2*h - 16. Let b be -4 + 3 + m/(-7). Is b less than i?
False
Let h be (3*6/855)/(-1). Which is smaller: h or -1?
-1
Suppose 3*a + 6 = 0, -a - 8 - 1 = -u. Let v = -8 + u. Which is smaller: v or -0.07?
v
Let a be 6/25*9/((-945)/50). Is -1 greater than or equal to a?
False
Let v be -3 + 116/10*(9 - 4). Is v at least 55?
True
Let q(k) = -6*k + 1. Let o be q(1). Suppose 0 = -4*g + 5*v - 25, -g + 5*g = -5*v - 15. Is g smaller than o?
False
Let v = -24.15 + 24. Let p = -1.15 - v. Which is smaller: p or 3?
p
Let m be (-1)/(5 - (-4)/(-1)). Let j = -342 - -1704/5. Which is greater: m or j?
m
Suppose -12 - 4 = -4*z. Suppose z*o - 22 = -6. Let a be (o/(-5))/(4/(-10)). Does 5/2 = a?
False
Let x be 2/8 + 119/(-28). Let z = 19/5 + x. Let p be 2/4*(0 + 0). Is z less than or equal to p?
True
Let k = 31.02 - 31. Which is smaller: 0 or k?
0
Let q = 1/245 + -101/735. Let t = q + 1/3. Is -0.1 <= t?
True
Let s(r) = r**2 - 14*r + 16. Let g be s(12). Is -3 greater than g?
True
Let f = 98/39 - 24/13. Which is bigger: 3 or f?
3
Suppose -3*w + 4*i - 4 = 0, 0 = w - 5*w + 4*i - 4. Suppose 4*f = -w - 20. Suppose 2*h - 8 = 4*h. Is f <= h?
True
Let u = -6999/164 + 5/492. Let l = u - -43. Let a = 2 + -3. Which is smaller: l or a?
a
Let a = -6 + 4. Which is smaller: a or -0.9?
a
Suppose -3*p - 8 = p. Let k = 1 - p. Let o be 0*2/(-1 - -3). Is o at most as big as k?
True
Suppose 0 = -f - 4*f + 5*y, 2*f = -2*y. Suppose 4*z - 8 = 3*j, f = j + 3*z - 6. Which is bigger: 2/5 or j?
2/5
Let x(z) = -5*z + 2. Let k(u) = -2*u + 1. Let g(f) = -7*k(f) + 4*x(f). Let b be g(1). Let l = b + 4. Is l greater than or equal to -1/4?
False
Let y = -1.01 + 1.11. Which is greater: -106 or y?
y
Let u(q) = 5*q**2 - 1. Let s be u(-1). Let i = 5.5 + -5.4. Which is smaller: i or s?
i
Let c be 2/8 + (2 - -6)/48. Is c at most -1?
False
Let k be -3 - -3 - (-6)/(-11). Let n be (-11)/(-7) + (-15)/(-35). Suppose -n*f = -6*f - 8. Which is smaller: f or k?
f
Let j = -2 - -1. Let n = j - 0. Let o be (-3)/(1/((-2)/(-27))). Is o at most n?
False
Suppose 0 = a - 3*y + 5, -5*y + 12 + 3 = 5*a. Suppose 4 = -3*k - i + 2*i, -5*k + 12 = 3*i. Are a and k non-equal?
True
Let a = 45 - 16. Let d = a - 55/2. Which is bigger: 3 or d?
3
Let t = 179 + -160.8. Let d = t - 18. Is -0.1 != d?
True
Suppose 0 = 4*r - 14 - 98. Suppose 5*x + r = x. Let p = x + 4. Do -3 and p have different values?
False
Let s = -6 - -5.6. Let i = s + 0.6. Do -2 and i have different values?
True
Let b(h) = -4*h - 7. Let p(j) = 3*j + 8. Let m(o) = -4*b(o) - 5*p(o). Let c be m(6). Is -7 bigger than c?
False
Let k(j) = -j**3 + 31*j**2 - 30*j + 1. Let z be k(30). Which is greater: z or 2/39?
z
Suppose 0 = 2*r - 7 + 1. Which is smaller: 3/2 or r?
3/2
Let l(d) = -2*d + 11. Let f be l(8). Let p be ((-8)/2 - f)*-2. Are p and -4 equal?
False
Let a = -2 - -1.9. Let n = 0 - -0.05. Which is bigger: n or a?
n
Let h(m) = -6*m + 5. Let z(j) = 5*j - 4. Let r(f) = 4*h(f) + 5*z(f). Let i be r(2). Suppose -i = 4*g - 10. Are 1 and g nonequal?
True
Suppose w + w - 10 = -4*p, -5*p - 2*w + 14 = 0. Suppose 25 = -p*r - r. Which is smaller: r or -4?
r
Suppose -4*m + 4 = r, -2*m + 3 = -3*r + m. Let p be (-11)/(-55)*20/(-12). Do r and p have different values?
True
Let q be (-1)/((8/10)/(-4)). Suppose q*w + 2*l + 0 = -8, 8 = -4*w - 2*l. Suppose c = -c - v - 10, w = v. Is c less than or equal to -4?
True
Let o be (-4)/(-18) + 0/9. Which is greater: o or 6/13?
6/13
Let c = 2.8 - 2.75. Which is smaller: 0.1 or c?
c
Let k = 6.05 + -6. Let q be (0 + 4/(-3))/(120/(-36)). Are q and k equal?
False
Let h be (-52)/(-45) - 10/(-25). Which is smaller: 3 or h?
h
Let h be (5/(75/9))/((-4)/20). Which is smaller: h or -4?
-4
Let g = -5 - -5.19. Is -1 less than or equal to g?
True
Let v = -3/2 + 7/4. Which is smaller: 5/3 or v?
v
Let w = -6 + 5. Let s = 1.1 + w. Which is smaller: s or 1/3?
s
Suppose -2*k = -k + 8. Does -7 = k?
False
Let q(l) = -l**2 - 9*l - 2. Let c be q(9). Let m = c + 1472/9. Which is smaller: m or 1?
m
Let i(y) = -5*y**3 - 35*y**2 - 6*y + 40. Let z(m) = -m**3 - 7*m**2 - m + 8. Let x(v) = -2*i(v) + 11*z(v). Let p be x(-7). Suppose n = -4*n. Is p != n?
True
Suppose 0 = 4*w - 2*w - 4*z - 2, 3*z + 2 = 2*w. Let i be w/(1 + 0 + -2). Which is smaller: -1/6 or i?
i
Let s be (-372)/(-15) + 3/15. Suppose -6*p = -p - s. Is p smaller than 0?
False
Let f be (-2 - 1)/(3/2). Let l = f + 3. Which is greater: 2 or l?
2
Suppose -5*j - 3*r = -4, 4*r = -3*j - j. Is 3 at least as big as j?
True
Let m = 51.73 + -52. Let h = m + -2.63. Let q = h + 3. Which is smaller: 2/9 or q?
q
Let p be (3 + 0)*(-4)/(-6). Suppose -6 + 0 = -p*f. Is f at least 4?
False
Let p be 4/(-22) - (-416)/1320. Which is greater: -1 or p?
p
Let g = -13 + 11. Let v(z) = -2*z - 9. Let s be v(-6). Suppose 3*n = -3*t + 6, 0 = -5*n + 2*t - 1 - s. Which is greater: n or g?
n
Let m(k) = -k**3 - 5*k**2 - k - 3. Suppose -i + 0 = 5. Let a be m(i). Let b = 67/6 - 19/2. Is b not equal to a?
True
Suppose 2*v - 5*c = 20, 2*v + c = 7*v - 4. Let d be (-1 - v)*(-134)/(-360). Let m = d - -3/20. Does m = 0?
False
Let k = 9/5 - 7/5. Which is greater: -1/3 or k?
k
Let k be 4/(-34) + (-565)/(-2635) + 0. Which is greater: -1 or k?
k
Suppose 4*y - 5 = 11. Let u be 3 + -4 + y + -2. Which is greater: u or 6/7?
u
Let x = 40 - 48. Is x smaller than -8?
False
Let h(x) be the first derivative of x**4/4 - x**3/3 - x**2 - x + 4. Suppose 3*q = -4*v + 6, 4*q + 0*v - 8 = -3*v. Let j be h(q). Is j at most as big as 1?
True
Let o be 1*(-4 - -8) + -4. Is -2/25 at most o?
True
Let v = 2 + -4. Let d be (20/8)/(v/4). Let y be (-1)/1*5/d. Which is smaller: y or 4?
y
Let q = -15 + 21. Which is smaller: 2 or q?
2
Let x be -2 - ((-105)/(-9))/(-5). Let z = -0.08 - -0.02. Let d = 0.34 - z. Which is smaller: x or d?
x
Let p be (14/(-4) - -3)*-2. Which is smaller: 3/7 or p?
3/7
Let a(g) = -g**2 - 11*g - 5. Let z be a(-10). Is 1 >= z?
False
Let l = -129/5 + 25. Which is smaller: l or 0?
l
Suppose 2*b - 1 = 1. Suppose 3*u - b = -4. Let t be (-8)/50*(-20)/8. Which is smaller: u or t?
u
Let h = -3 - -6. Suppose -5*y = 5*s - 20, -h*s + 3 = -s + y. Let x be 1 + (2 - -2) + s. Is x not equal to 3?
True
Let y(j) = -j - 2. Let z(u) = -2. Let m(h) = -3. Let c(i) = 3*m(i) - 4*z(i). Let p(q) = 4*c(q) - y(q). Let g be p(2). Do g and 2 have different values?
True
Let w be 2*2/8*24. Let f = 21 - w. Let i be (6/f)/((-4)/6). Do -1 and i have the same value?
True
Let l be 1*(-18)/(-15)*40/12. Which is smaller: 2 or l?
2
Let a be (-6)/4 + 2/2. Let w = a - 3/4. Let t be 14/63 + 11/(-9). Which is greater: w or t?
t
Let y = 0.11 + -5.11. Let t = y - -5.1. Which is smaller: -0.1 or t?
-0.1
Let l = 2 + 0. Let v be l + -1 + 3*-1. Let i = 58 + -55. Is i >= v?
True
Let r = 497.98 + -502. Let k = 0.02 + r. Let a = k - -4. Is a greater than or equal to -0.1?
True
Let t be (-1 + (-3)/9)*-6. Suppose 2 + 7 = 4*g + u, -5*g = -2*u - t. Is -2 less than or equal to g?
True
Suppose 0 = 4*x - 2*q + 3*q - 260, -2*x + 4*q + 148 = 0. Which is smaller: 68 or x?
x
Let c = 74/35 + -12/7. Is c at least as big as -0.1?
True
Let f = -1/1362 + -881/36774. Which is smaller: f or 1?
f
Let p(y) be the second derivative of y**5/20 - y**4/3 + 2*y**3/3 - y**2/2 - y. Suppose 0 = -5*f - f + 18. Let d be p(f). Which is greater: 6/5 or d?
d
Let y = -8 + 16. Let i be y/44 - (-18)/22. Is i >= 1/4?
True
Let y be 1/5 - 48/(-10). Suppose -3*f - 5 = -y*x + 10, f + 5*x = -25. Which is greater: -12 or f?
f
Let m = -130 - -131. Let t be (-1)/(2 + -3 + 0). Do t and m have different values?
False
Let p = -167/329 - 3/47. Suppose 4*c = 3 - 7. Is c != p?
True
Let l = 5 + -3. Let x be (-54)/(-7) + 2/7. Let d be 2/(-8) + l/x. Which is bigger: d or 0.1?
0.1
Suppose -7 = 3*i - 4. Let b be i/(-3) + (-10)/(-24). Let v be 3 + -2 + 1 + 0. Is v equal to b?
False
Let j(v) = -v**3 + 8*v**2 - 5*v + 4. Let o be j(7). Let w be 6/o - 6/(-9). Which is smaller: 2/45 or w?
2/45
Let g be ((-2)/(-6))/((-14)/(-4)). Let z(s) = s**2 - 14*s + 13. Let p be z(13). Which is smaller: g or p?
p
Let r = 31584/17 - 9729759/5236. Let h = r - 3/44. Is h != 1?
True
Suppose 0 = x - 10 + 2. Suppose 2*f + 0*f = 4, -x = -m - 2*f. Suppose -m*w + 2*g = -14, -2*g