)). Let q be (-2 + 15/9)*z. Suppose -q*v = 3*v + 5. Which is smaller: 0 or v?
v
Suppose -2*u - 3*u + 30 = 0. Suppose 2*f + u = 3*n - 6, 3*n + 2*f - 24 = 0. Suppose 7 = -5*r - 3*g, -n - 17 = -3*r + 5*g. Is r greater than 1?
False
Suppose 0 = 5*t + 4*m + 25, 3*t = -0*t - 4*m - 23. Suppose -3*z = 4*j - 11, -4 = 5*z - 5*j + 1. Let w(n) = -3*n + 1. Let h be w(z). Is h at most t?
True
Let k(j) = j**3 + 4*j**2 - 6*j. Let c be k(-5). Suppose 6*i = c*i - 1. Which is bigger: i or 0?
0
Let f(q) = q**3 - 12*q**2 - 13*q + 1. Let i be f(13). Which is smaller: 2 or i?
i
Suppose -3*h + 14 = 2. Let b(s) = -s + 1. Let d(c) = c**2 - 10*c + 6. Let g(q) = 6*b(q) - d(q). Let l be g(h). Is l at least 0?
True
Let z = 12 - 7. Let q = z - 5.2. Let y = -2 - -2. Is y less than q?
False
Let g(j) = -j**3 + 5*j**2 + 2. Let k be g(5). Suppose -k*v = -5*v. Are -5 and v equal?
False
Let o = 65 - 66. Which is smaller: -1/38 or o?
o
Let g = -11 - -15. Suppose -8 = 4*j - g*i, -5*i + 2 = -3. Which is greater: j or 4/19?
4/19
Let w = 7 + -6. Let n be w/((-8)/(-6))*-4. Is -5/3 at most n?
False
Let c be 0/2 - (-6)/(-2667). Let s = c - -514/2667. Which is smaller: -1 or s?
-1
Let n be (-20)/(-25)*5/2. Suppose 4*g + n*b - 10 = 0, -g + 0*b = -b + 5. Is -3/11 not equal to g?
True
Let q be (2/(-6))/((-2)/6). Let g(s) = s - 2. Let d be g(5). Let t be -2 + d + (0 - 1). Is t at least as big as q?
False
Let v(a) = 3*a - 18. Let n be v(-6). Let f be 4/16 - 15/n. Which is smaller: f or 2?
f
Let b = -0.993 + -0.007. Let q = 7/2 + -11/3. Which is smaller: q or b?
b
Suppose 5*a + 4*h + 38 = 0, 4*h = -a + 3*a + 4. Let l be ((-42)/(-12))/((-5)/10 + 0). Is a at most l?
False
Let i be (4/(-5))/2 + 0. Which is smaller: 1 or i?
i
Let s = -10 + 4. Let z = s + 11/2. Suppose -3*y = -4*m + 4 - 5, -5*y = -5*m. Which is bigger: z or y?
z
Suppose 0 = -2*l - l. Let h = l - 2. Suppose 0 = 5*t + 12 + 8, -4*f = -4*t - 12. Are h and f equal?
False
Let h = -7 + 8.1. Let g = 1 - h. Which is smaller: 5 or g?
g
Suppose -13 - 7 = -5*c. Let z = -2 - -4. Suppose -z*l = -5*l - 2*h + 19, -3*l + c*h = -7. Which is bigger: l or 4?
l
Suppose -2 = 2*k - 2*a, -2*k - 2*a + 7*a + 4 = 0. Are -3 and k unequal?
False
Let q = 6 + -2. Suppose 5*t + q = t. Let u be (-3 - t) + (-32)/(-18). Is 0 less than or equal to u?
False
Let n = -2.04 - -0.04. Let w = -5 + 4.3. Let j = -0.7 - w. Is j >= n?
True
Let g = -213 - -214. Which is bigger: 1/143 or g?
g
Let d = 177/2 - 86. Let v = 1 - d. Is v at most 0.1?
True
Let l = 7 - 4. Suppose -y + l = 2. Which is greater: y or 0?
y
Let o = -6 + -21. Are o and -27 nonequal?
False
Let s = 10 - 5. Suppose s*r + 0 = 5. Suppose -c + 2*k + 13 = 0, -2*c - c - r = 2*k. Which is greater: 2 or c?
c
Let g = -15/13 - -155/78. Is g >= 0?
True
Suppose -2*r - 7 = 3*f - 1, -8 = -f - 4*r. Suppose -5*w - 13 = -n, -4*n + 1 = -w - 3*n. Let j = f - w. Is j at least as big as 1/3?
False
Let y = 54 - 54.5. Which is smaller: 6 or y?
y
Suppose -3*o = -8*o. Is 0 at most o?
True
Suppose -i - i = -102. Suppose -w + r + 11 = 2*r, 3*r - i = -5*w. Is 9 >= w?
True
Let f(n) = -n - 5. Let z(w) = -w**2 - 1. Let q be z(2). Let t be f(q). Let g = t - 3. Which is bigger: g or -3/2?
-3/2
Let p = 14335/27 + -531. Which is bigger: p or -0.1?
p
Suppose 0 = -4*p - 3*o + 2 + 5, -4*p + 3 = -o. Let g(h) = -h**3 - 9*h**2 - h - 8. Let s be g(-9). Let b = p - s. Which is bigger: b or -2/3?
b
Let d be -1 + -4 + 34/5. Does 3 = d?
False
Let f be 1/2*(360/55)/(-6). Suppose 5*i - 5 = 2*q - 0, -2*i = 4*q - 2. Which is bigger: q or f?
q
Let p be (31/(-2))/(-1) + 1. Let j = -16 + p. Which is smaller: 0.1 or j?
0.1
Let z be 3 - (-5)/(20/(-8)). Is z bigger than 3/16?
True
Let d be (-8 - 1)*4/(-6). Let t = d - 13. Let f = 7 + t. Is 1 bigger than f?
True
Suppose 5*z + 4*s + s + 5 = 0, 0 = -2*z - 4*s - 4. Let x be 12/(-3) + 6 - 0. Suppose x = u + u. Are u and z equal?
False
Let s = 0.37 - 0.47. Which is smaller: s or -1/42?
s
Let s = -8 - -49/6. Let z be 10*(-1 - 9/(-6)). Suppose -z*m = -4*m. Is m smaller than s?
True
Suppose 7*q - 2*q = 20. Suppose -q*d + 134 - 26 = 0. Let v be 6/d + (-4)/18. Which is greater: v or -4/9?
v
Let m = -0.51 - -0.51. Which is greater: -27 or m?
m
Let g = 0.1 - -0.1. Let s = -3.1 - -2.8. Let r = s + g. Is 0.2 not equal to r?
True
Let x = -18 - -18.01. Is x greater than -0.3?
True
Suppose 3*m + 4 - 1 = 0. Which is bigger: m or -6/13?
-6/13
Let v(k) = 0*k + k + 0*k. Let y be v(6). Suppose -y = 2*x - 4*x + 2*q, -x - 4*q - 7 = 0. Do x and 2 have different values?
True
Let c = 25908 - 206393/8. Let j = c - 109. Is j != 1?
True
Let l = 1 + -2.1. Let b = l - -1.1. Are -3/7 and b non-equal?
True
Let b = 44 + -134/3. Is b bigger than -2/19?
False
Let n = 63 - 58.9. Let u = n - 4. Let c = -2/125 + 52/125. Which is smaller: c or u?
u
Suppose 5*n + 1 = 16. Suppose -6*t + n*t = -5*a + 24, -2*a = -5*t - 21. Which is greater: t or -4?
t
Let p = -5696/7 - -815. Which is bigger: 2 or p?
2
Let l(b) = 5*b + 35. Let c be l(-8). Is c at least -4?
False
Let d(m) be the third derivative of m**6/120 + m**5/20 - 5*m**4/24 - m**3 + m**2. Let b be d(-4). Suppose -o - 4 + 2 = 0. Is b greater than or equal to o?
True
Let d be (1 - -1)*(132/(-16))/(-11). Is 9 at most d?
False
Let b be (36/(-10))/((-30)/75). Suppose -2*n + 3*o = -4*n - 3, -b = 2*n - 3*o. Let i = 1 + 0. Is i less than or equal to n?
False
Let r(w) = w**3 - 6*w**2 + 1. Let s be r(6). Let o be (-2)/(-40) + s/(-4). Is 0 greater than o?
True
Let m be 1/(-1)*5/(-1). Suppose -3*u + 18 = -u. Suppose 3*l - 6*n + u = -3*n, m*n = l + 11. Which is greater: -2 or l?
l
Suppose -24 = 2*p - 6*p. Are p and 4 unequal?
True
Let j be (-1 + 2)/((-1)/(-7)). Are 7 and j equal?
True
Suppose 0 = -111*p + 112*p + 39. Is -39 less than p?
False
Let m(h) = -h**3 + 5*h**2 + 6*h + 1. Let g be m(6). Which is smaller: -3/14 or g?
-3/14
Let f be 2/4 - (-5)/2. Suppose -4*g + 20 = 4*k, -2*k = -f*g + g - 6. Suppose -1 = i + g. Which is smaller: i or -3?
-3
Let s = 1394/63 - 158/7. Is 2/3 less than s?
False
Suppose 4*m - 21 = -9. Is 0 at most m?
True
Let t = 572/1953 + -2/279. Suppose -5*r + 2*p = -0 - 6, -2*r = -3*p - 9. Is t > r?
True
Let o = 0.5 - 0.2. Let m = 1.7 - 2. Let a = m + o. Is a <= 0?
True
Let h(u) = 23*u. Let x be h(7). Let j = 1125/7 - x. Let t(f) = 4*f**2 - 1. Let n be t(1). Is j not equal to n?
True
Let s = -19 + 29. Suppose -3*g - 2 - 1 = 0. Which is bigger: s or g?
s
Suppose 39 = 4*c + 3. Suppose -6*y - c = -3*y - x, 2*y = 3*x - 6. Suppose -1 = 4*p - 3*q, 2*p + q - 4*q = 1. Which is bigger: y or p?
p
Suppose -24 + 0 = 2*i. Which is smaller: 1/3 or i?
i
Let t = -0.09 - 2.41. Let d = t + 2. Which is smaller: 0 or d?
d
Let m be ((-8)/(-14))/(30/21). Let g be 2/(-5) - 54/(-10). Suppose -j + 1 = -0, -g*r - j + 6 = 0. Is m at least as big as r?
False
Let y(r) = -13*r - 3. Let t be y(-1). Suppose 8*v - t*v = -2. Suppose 0*c = -4*c - 4*l - 4, c = -4*l - 10. Is c greater than v?
True
Let q be -4 + (414/84 - 1). Let r(s) = -s - 4. Suppose -2*k + 3*k + 4 = 0. Let p be r(k). Which is smaller: q or p?
q
Suppose -2*h + 4*h = 0. Let s = 4/15 + -3/5. Is h <= s?
False
Let g be (-10)/20*1*-4. Is g at least as big as 0?
True
Suppose -m = -0*m. Let d = 27/4 - 215/32. Let u = d + 61/96. Is m smaller than u?
True
Let m = -0.069 - -32.069. Is 0 > m?
False
Let l be 1*(-1 + 15 + 3). Let y = l - 16. Which is smaller: y or 4/7?
4/7
Let a = -19 - -27. Let t(d) = d - 6. Let v be t(a). Let x be 6 - (v/2 - 0). Which is smaller: 4 or x?
4
Let n be 58/4*(1 - -1). Let y = n - 21. Let p be ((-2)/y)/(3/30). Which is smaller: -4 or p?
-4
Suppose -5*f = 26 - 11. Let c = 4 + f. Let d = -2/171 - -20/171. Which is greater: d or c?
c
Let h = -0.07 - 0.03. Which is greater: h or -47?
h
Let m = 61.95 - 64. Let d = -0.05 - m. Let j = 1.8 - d. Which is greater: j or -2?
j
Let u = -8741/15 - -583. Is u at most as big as 1?
True
Suppose 3*r - t + 19 = 0, 2*t + 43 - 15 = -5*r. Let w = r - -8. Let o be w/(6 + 3/(-3)). Is o > -0.1?
True
Let n be 8/20 + (-3)/(-5). Let o be 4/10*(4 + 3). Let v = o + -23/10. Which is smaller: v or n?
v
Let l = 19 + 81. Let s be (-2)/l*26 - -1. Let x = -22/25 + s. Which is smaller: x or -1?
-1
Suppose -1 = -0*b - b. Let s(z) = -3*z - 1. Let v be s(b). Which is smaller: v or -2?
v
Let s be (-21)/(-12) - (-1)/4. Let d be (-3 - -2)*0 