/(1/(-6)). Suppose 5*i = q + 18. Suppose -4*t = -8*t - i. Is 0 greater than t?
True
Let x = -2 - -1. Let f be (-23)/(-5) - (4 + x). Is 1 at most as big as f?
True
Let j = 0.01 - -0.99. Let f = -2.69 - 0.41. Let s = -3 - f. Which is bigger: j or s?
j
Suppose -4*s + 12*s = -272. Which is smaller: s or -36?
-36
Let h be 1 + 1 - 0/2. Let y = -3 - -7. Let w be (-3)/(-1*6/y). Do h and w have the same value?
True
Let x = 0.2 - 0.3. Let p = x + 1.1. Let j = -65 - -65.2. Which is bigger: p or j?
p
Let s = -194 - -115. Do -80 and s have the same value?
False
Let x be -3 - 4/(-2)*-1. Let w(n) = -2*n - 11. Let p be w(x). Is p bigger than -1?
False
Let w = -1 - 0. Let l = -1 - w. Suppose -f = -4*g + 9, -2*f - 18 = 2*g + 2*f. Which is smaller: l or g?
l
Suppose 2*j + 95 = -51. Is j at most -73?
True
Suppose -16 = 5*k - 1, -h + 66 = -2*k. Suppose 2*j + 2*j = h. Let g be 6/15 - 21/j. Which is greater: 0.1 or g?
0.1
Let i(n) = -n + 6. Let v be i(4). Suppose h = -5 + 2. Let j = v + h. Which is greater: j or 0?
0
Suppose 2*y - 4 = -2*d + y, 5*y = -d + 11. Let g be 11/12 - 1/4. Is g < d?
True
Let l = 1.8 - 1.8. Which is bigger: 3 or l?
3
Let a = -1.05 + 1. Let m = -0.25 + a. Let t = m + 0.1. Which is bigger: 0.1 or t?
0.1
Suppose 5*z = -2*r + 4, 3*r = 6*r + 2*z - 6. Suppose r*a - 2*t - 6 = 0, -3*a + 2 = -t + 1. Is a >= -2?
True
Let u be ((-14)/(-21))/((-14)/6). Which is smaller: 6 or u?
u
Suppose -10 + 41 = 5*z - 2*s, 0 = 3*z - 2*s - 21. Suppose 0 = 5*k - 3*k - 12. Which is greater: z or k?
k
Let b = 0 + 4. Let f be ((-10)/b)/(2/(-4)). Is 5 less than f?
False
Let k = -17.86 - -23.9. Let q = -0.04 + k. Let s = q + -6. Is 1/10 greater than s?
True
Suppose 0 = q - 2*a + 8, -4*a = -2*q - 2*q - 16. Suppose t + q*t = 3*y + 2, -t = y - 6. Let u be 2/(-3)*(0 - y). Is 2 bigger than u?
True
Let q(i) = i + 1. Let x be q(-3). Suppose -t + 3*l = -14 - 5, -4*t + 2*l + 36 = 0. Let u = -8 + t. Is x at most u?
True
Let o = 30 - 21. Let m = o - 0. Are 9 and m nonequal?
False
Suppose 0 = -13*w + 10*w - 4*w. Let z = 1.3 + 10.7. Which is greater: z or w?
z
Let y = 0 - -0.1. Do 0.6 and y have the same value?
False
Let r = 0 - 0. Suppose p - 25 = -4*p, -2*v - 23 = -5*p. Suppose 3*g = -b - v, -g - 5*b + 0 - 5 = 0. Is g > r?
False
Let u(w) be the second derivative of w**3/6 - w**2 + w. Let o be u(4). Let q be (-2)/3*o/(-4). Is q at most 1?
True
Suppose 4*d + 46 - 14 = 0. Which is bigger: -9 or d?
d
Suppose 0 = 2*v - 60 + 26. Which is smaller: v or 16?
16
Let k be -4 - (-1*30)/5. Which is smaller: k or 0?
0
Suppose 0 = 4*p - 7*p + 6. Suppose p*a = -0*a. Let j be a - (0/1 - -1). Which is greater: j or 0?
0
Let p = 170063/215 - 791. Which is smaller: p or 0?
p
Let k be (-3)/4 + (-322)/(-56). Suppose 2*m - 7*m = k*i, 5*m - 7 = 2*i. Are m and 1 non-equal?
False
Let b = 0.008 - -0.992. Let g be (-17)/(-33) - 2/6. Is g < b?
True
Let w be -1 - (-2 - (-22)/18). Let f be (-1)/(-2 - 9/(-6)). Let j = 1 - f. Which is smaller: w or j?
j
Let y = -7 - -6.3. Let c = -0.6 - y. Suppose 4*k - 6 = 2. Which is smaller: c or k?
c
Suppose -5*q = -6*q + 18. Suppose -4*a - q = -2. Let b(w) = -w**2 - w - 3. Let t be b(0). Is a at most as big as t?
True
Let n(b) = -2*b**2 + 10*b - 29. Let i be n(7). Is i greater than or equal to -55?
False
Let k = 4/35 + -187/105. Suppose -5*t + 1 = 16. Is k > t?
True
Suppose 0 = -5*l + 5*q + 25, 0*q + q = 3*l - 9. Suppose 0 = -3*k - 5*p + 25, -l*p = -3*k + k + 6. Let n = -3 + k. Is n bigger than 2?
False
Let t(z) = z**3 + 8*z**2 - 10*z - 10. Let x(h) = -h**3 - 8*h**2 - 6*h - 2. Let o be x(-7). Let w be t(o). Let c = -0.2 - 0.8. Is w less than or equal to c?
True
Let k be (-2)/3 - (-2)/2. Let n be 28/(-21)*(-66)/4. Let r = 20 - n. Is r at most k?
True
Let q = -0.2 - -0.2. Let z be (22/(-3))/((-85)/51). Which is smaller: z or q?
q
Let g = -4 - -4. Suppose -2*b - 4 = -g*b. Which is greater: b or 0?
0
Suppose 3*s - 13 = -4. Suppose -s*w + 24 = -5*b, -5*b - 40 = -5*w - 10. Let y be (b/9)/(2/(-6)). Does 0 = y?
False
Suppose 0 = 5*p + 3*w + 7, 2*p + 3 = w - 2*w. Which is bigger: -5/2 or p?
p
Suppose 28 = 3*a - 7*a. Let i(z) = z**3 + 7*z**2 - 2. Let b be i(a). Let j(y) = -y**2 + 4*y + 3. Let w be j(5). Do b and w have the same value?
True
Suppose 50 - 8 = -2*a. Suppose -d - 5 = 0, -5*b - 6*d + d = 100. Let t = a - b. Is t at most -5?
True
Let f = -53 - -36. Let v be (7 - 24)/(3 - 2). Is v smaller than f?
False
Let b be (12/(-16))/((-1)/(-124)). Let n be -2*(-1)/(6/b). Let v = -339/11 - n. Which is bigger: v or -2?
v
Let l = -20 - -13. Let f = -8 - l. Which is smaller: 0.02 or f?
f
Let w = -184 + 133. Is -1/4 equal to w?
False
Let s be 2/1*1/(-2). Let p(h) = -4*h**2 + 51*h + 11. Let o be p(13). Which is smaller: o or s?
o
Let n = 7/17 + -242/51. Let f(p) = p**3 - 4*p**2 - 21*p - 3. Let c be f(7). Is c smaller than n?
False
Suppose -36*p + 39*p + 21 = 0. Which is smaller: p or 2?
p
Suppose -5 - 3 = 2*z. Let x = -24196/4655 + -2/931. Is z bigger than x?
True
Let k be 11 + 1 + (-8 - 0) + 5. Is 9 at most as big as k?
True
Let o = 278 - 1943/7. Is o greater than or equal to 1?
False
Let b be -1 + (-15)/7 + 2. Suppose 21 = 2*w + 5*n - 4, -20 = -5*w - 4*n. Let d = -1 - w. Is d > b?
True
Let d = -8.9 + 9. Are d and 0.9 unequal?
True
Let n(w) = -3*w**3 + 2*w**2 + 2*w - 3. Let i be n(1). Let v be 1 + 0 - 4/2. Which is bigger: v or i?
v
Let v = 5243/31 + -169. Which is greater: -1 or v?
v
Let k = 4 + -4. Suppose k = 2*y + z + 2 - 5, 0 = -5*y + 4*z + 1. Is 1 bigger than y?
False
Let y(d) = -d**3 - 7*d**2 + 2*d + 7. Let n(g) = g**3 + 7*g**2 - 3*g - 6. Let a(m) = -6*n(m) - 5*y(m). Let j be a(-8). Is 0 not equal to j?
True
Suppose i - 2*i + 1 = 0. Let h = i + 2. Is h equal to 3?
True
Let t be 1 + -1 - 2/(-1). Suppose 4 - 1 = s. Suppose 0 = -0*o + s*o - 3. Which is greater: t or o?
t
Let x be (-10)/(-4) - (0 + 1). Let r = 25/21 - 13/7. Which is bigger: r or x?
x
Let l = -7 + 10. Suppose -j + 0 = l*o - 1, 23 = -o - 5*j. Which is smaller: o or 0?
0
Let u = 124.9 - 125. Is u < 26?
True
Suppose -12 = -2*o + 58. Suppose 2*d = -3*d + o. Let q(a) = a**3 + a + 8. Let p be q(0). Is p < d?
False
Let s = 0.16 - 8.16. Let u = 10.06 - 0.06. Let z = u + s. Which is greater: 0.1 or z?
z
Let b = 15 + -11. Suppose 2*p + b + 2 = 0. Are p and -3 equal?
True
Let i(b) = -b - 2. Let s be i(1). Is -2 bigger than s?
True
Let r(l) = -l**2 - 2. Let p be r(0). Let f be p/(-3) - (-2)/(-4). Suppose o - 4*o + 5*w = 13, 2*w = 4. Is o greater than or equal to f?
False
Suppose 20 = -3*d + 8*d. Suppose r - 1 = 3*n - 6*n, 0 = -4*r - d*n - 4. Suppose -1 = -4*f + 5*f. Which is smaller: r or f?
r
Let g = 1 + -1. Suppose 3*u = -5*w - 7, 0*w - 3*w = 4*u + 24. Let o be 56/(-66) + (-6)/u. Is o bigger than g?
False
Suppose -2*d + 5 = 3*h, 3*d - h = 7*d - 15. Suppose 3*q + 3*x = x + 6, -3*q = d*x - 6. Which is smaller: q or 0?
0
Let i(y) = y**3 - 6*y**2 - y + 7. Let b be i(6). Let f = 1 - b. Let k be -11*1/9 + 1. Is k equal to f?
False
Let w = -10 - -17. Let u = w - 4. Which is smaller: u or 4?
u
Suppose 3*w + 0 + 3 = 0. Suppose -2*t + 2*c + 10 = 0, 2*c - 4 = 4*t - 18. Which is bigger: w or t?
t
Suppose -b - v + 15 = 0, -3*v = -b - 4*b + 115. Let g be (-2)/7 + b/35. Is g >= -1?
True
Let l(r) = r**3 + 6*r**2 + 4*r - 1. Let s be l(-5). Suppose 20 = 4*n + s. Which is smaller: 3 or n?
3
Let w(f) = 2*f + 1. Let m be w(-1). Is -5 >= m?
False
Let b = -32 - -27.8. Let s = b - -4. Let i = s - -0.4. Is i less than -1?
False
Let x be (-8)/2 - (-4 - 5). Let h = 7 + -1. Is h smaller than x?
False
Let s = 52/5 + -311/30. Is s < -1?
False
Let n(q) be the first derivative of q**2/2 + q + 2. Let a be n(3). Let y be (6/a)/(9/(-12)). Which is smaller: y or -3?
-3
Suppose 4 = -3*y + 16. Suppose -3*h = -f - 6, -3*f - y = -4*h + 4. Is h at most 3?
True
Let x be ((-32)/(-64))/(2/4 + 0). Which is bigger: 1/138 or x?
x
Suppose -20 = 3*o - 8*o. Let n(m) = -m**2 - 6*m - 5. Let i be n(-4). Suppose i = -c + o*c. Which is smaller: 2/5 or c?
2/5
Let t = -0.2 + 0.1. Let k = 7.13 - 7. Let u = -0.03 + k. Which is smaller: t or u?
t
Let r = 7 - 5. Let d(n) = -6 + r + 3*n - 4*n + n**2. Let c be d(3). Is c at least as big as 3?
False
Let r be (-8)/(-3) + -1 - 1. Suppose 2*t + 5*q + 16 = 0, -3*t = -4*q + 2*q - 14. Let f be ((-1)/t)/(1/(-4)). Which is bigger: f or r?
f
Suppose -3*b