v?
v
Suppose 5*v = -4*m - 38 - 6, 0 = m - 5*v - 14. Is -14/3 at least m?
True
Let i = 8 - 5. Suppose 3*t + 2*n = 6*t - 11, 5*n - 15 = -t. Suppose 5*q + 12 + 15 = l, 4*l + t*q + 17 = 0. Does l = i?
False
Let m be (1/1 - (-8)/(-7))*2. Do 2/3 and m have the same value?
False
Let u be (-8)/6*-1*15. Let b be 8/u - (-26)/10. Are 16/7 and b nonequal?
True
Let w be (-5 - (-9084)/1816)*-4. Which is smaller: w or 0?
w
Let m be (-35)/(-21)*3/1. Suppose 2*d - 5 = m. Is 4 < d?
True
Let i be 472/40 - 2*1. Let v be (-1043)/(-105) + (-1)/3. Let z = i - v. Which is smaller: -1 or z?
-1
Let n be 0 + -2 - (-4 - 0). Let f be 2*n/16*2. Is -1/3 greater than f?
False
Suppose 0*u - 5*c = -2*u - 8, 5 = u + 2*c. Suppose 4*z = 27 + u. Is z not equal to 7?
False
Let w = -10 - 1. Which is smaller: w or 2/3?
w
Let k = -6 - -3. Let l = -19 + 15.8. Let w = l - k. Do w and -0.2 have the same value?
True
Let k be (2 - 12) + 1 + 0. Let g be (-4)/(-2) + k/2. Which is bigger: g or -3?
g
Suppose 4*s - s + 3 = 0. Is s greater than or equal to -2/13?
False
Suppose -2*w - 5*j = -23, 5*w + 10 = 2*j - j. Let f = 2/5 + -3/5. Are w and f equal?
False
Suppose -2*u - q = -2*q + 28, -q + 73 = -5*u. Which is bigger: u or 1?
1
Let m(q) = -5*q**2 - 2*q + 5. Let x(p) = 9*p**2 + 4*p - 9. Let j(s) = -11*m(s) - 6*x(s). Let c be j(-1). Is 4/5 smaller than c?
True
Let x be (4 + (-6)/3)*-2. Do 0.3 and x have the same value?
False
Suppose 41 - 5 = 3*r. Which is greater: r or 34/3?
r
Let v = -28 + 23. Which is smaller: -7 or v?
-7
Let f = -28 + 50. Are f and 23 nonequal?
True
Suppose -2*d - 2 = -22. Suppose 1 = -j + d. Is j bigger than 10?
False
Let u = -1.28 - -1.38. Which is smaller: u or -47?
-47
Let h(i) = i**3 - 5*i**2 + i - 5. Let o be h(6). Suppose -7 = x - 3*d + 2*d, -4*x + d = o. Let b be ((-10)/25)/((-2)/x). Is -2 equal to b?
True
Suppose d = 4*d + 6. Let z(x) = -2*x - 2. Let a be z(d). Let o = a + -2. Are -4/3 and o non-equal?
True
Let m = -4 - -6. Suppose -45 = -m*g - 3. Suppose -2*a + 33 = 2*a - 5*h, 3*a - g = 3*h. Which is greater: 3 or a?
3
Let d(v) = -2*v**2 + v. Let j be d(1). Let m = -5 + 2. Let r = m - j. Which is smaller: 0 or r?
r
Let u be (-3)/(-1 + 1/4). Let b = 1 - u. Let k = -5 - b. Which is smaller: -1 or k?
k
Let f be 15908/(-56) + 6/4. Suppose 5*p - 215 - 1200 = 0. Let v = p + f. Is v equal to 0?
False
Let s be ((-31)/8 + 2)*4. Suppose 0 = -c - u - u - 2, 2*c + 5*u + 9 = 0. Let k = s + c. Is k at least 0?
True
Let p = -0.6 - -4.7. Let y = p - 4. Which is smaller: 0.2 or y?
y
Let q be (4 + 0)/((-1)/(-2)). Suppose 5 = -q*j + 3*j. Suppose -8 + 0 = 4*i. Which is greater: j or i?
j
Let n = -30 - -32. Which is bigger: n or 7?
7
Let k be (20/18)/2*6/20. Which is bigger: 0 or k?
k
Suppose -c = -3*c + 74. Let i = c + -21. Is i greater than 17?
False
Let u be -2 - (2 + -1 - 5). Let v be -5*((-14)/(-5) - u). Is -3 at least v?
True
Let d = 5058 + -55584/11. Are d and 5 nonequal?
True
Suppose 4*r + 8 - 20 = 0. Is 28/13 smaller than r?
True
Let v = 0 - -1. Let g = -4 - -8. Suppose g*z - 2 = 3*z. Which is bigger: v or z?
z
Suppose -8 = 4*y - 8*y. Suppose -5 - 3 = -y*v. Are v and 4 unequal?
False
Let n(y) = -y**2 + 9*y - 9. Let b be n(8). Let c be 5 - (2 - (0 - 0)). Suppose 3*o + 2*k - 25 = -c*k, -2*o - 25 = -5*k. Is o bigger than b?
True
Let l(s) = s + 8. Let h be l(-6). Let d be -5*(24/15 - h). Does 3 = d?
False
Let i = 1/14 + -32/7. Which is smaller: -5 or i?
-5
Suppose 4*n = 1 + 15. Let w be (-1108)/(-44) - n/22. Suppose -5*t - 25 = 5*r, 5*r = 2*t - 0*t - w. Is t less than -1/6?
False
Let w(s) = 2*s + 2. Let a be w(-3). Let t = a - -1. Let g = t + 2. Which is bigger: -2/13 or g?
-2/13
Suppose -4*x + x - 75 = 0. Are x and 0 non-equal?
True
Let n be (3/58)/((-33)/(-168)). Let c = -5/29 + n. Are 1 and c equal?
False
Let k = 40/143 - 6/13. Which is smaller: k or 0?
k
Let n = -0.6 + 1.6. Let d(x) = x**2 + 18*x + 28. Let b be d(-16). Which is smaller: n or b?
b
Let t be 4/(-8)*-5 - 2. Which is bigger: t or -1?
t
Let u = -78/7 + 191/14. Which is greater: 4 or u?
4
Let q be (-1)/5*277/1. Let y = 55 + q. Which is greater: -1/7 or y?
-1/7
Let w(r) be the third derivative of -r**6/120 - r**5/15 - 5*r**4/24 - r**3/3 - 2*r**2. Let d be w(-3). Suppose -d*l - l = -10. Which is greater: l or 4/5?
l
Let h = 8 - 28. Is -19 bigger than h?
True
Let m = -6 - -10. Let p = -6 + m. Is p at most as big as -1?
True
Suppose 0 = -3*m, -5 - 20 = -5*a + 3*m. Let i be (3/(-6))/((-2)/4). Let u be 0 + 0 + i - -3. Is u < a?
True
Let j = 13 - 11. Which is smaller: j or -2.2?
-2.2
Suppose -w - 105 = -5*s - 2*w, -130 = -5*s + 4*w. Is 22 at least s?
True
Suppose -n + 0*n - 5*m = -10, -19 = 2*n - 3*m. Which is smaller: 0.1 or n?
n
Let l(p) = -p**2 - 2*p + 6. Let g be l(4). Do g and -19 have the same value?
False
Suppose i - 21 = -4*v, v - 2 = -5*i + 8. Is -2/213 less than i?
True
Let q = -131 + 131. Is -30 equal to q?
False
Let v(f) = -f**2 + 4*f - 3. Let d be (9/(-6))/((-1)/2). Let s be v(d). Suppose -4*r + 24 = -4*h - s, 3*r = h + 8. Which is greater: r or -2?
r
Let x = 7661/11 + -696. Is 1 > x?
True
Suppose 2*f + 5*t + 8 = 0, -11 = -3*f + 4*t - 0*t. Let d be f/2 + (-6)/6. Let x = 194/3 - 64. Is d > x?
False
Suppose -4*i = 5*h - i + 10, -i - 10 = -5*h. Is h less than 2?
True
Let n = -49/111 + 4/37. Let c = 8 + -7.7. Let b = c - 0.4. Which is smaller: n or b?
n
Let y = 3.1 - 3.1. Which is greater: -13 or y?
y
Let q be (11/3 + -2)/1. Let u(k) = 2*k**2 + 3*k + 3. Let j be u(-1). Which is bigger: q or j?
j
Suppose 5*w - 42 = 3*b, -3*w + 3*b + 39 = 9. Suppose -2*v + w = 30. Which is bigger: v or -13?
v
Let p be (-4)/(-2) - (1 - 0). Let m be ((-5)/2)/(7/(-14)). Let s be ((-3)/(-15))/(4/m). Is p at most s?
False
Let t be (-10)/(-75) - 2/6. Which is greater: t or -0.9?
t
Let b(j) = j**2 - 5*j - 3. Let u be b(7). Let c = 9 - u. Is -7/6 less than c?
False
Let c = -1 + -38. Which is smaller: c or -40?
-40
Let v = 0.1 - 3.1. Let t = 682 + -2164/3. Let l = 820/21 + t. Which is smaller: l or v?
v
Let o be 116/(-12) + 1/(-3). Let l be 2/(-3)*(-15)/o. Let v(c) = -c**2 + 1. Let x be v(1). Is x at most as big as l?
False
Let v be (4 - -2)/(2/(-2)) + 3. Let g = 2.03 - 0.03. Let l = -2.1 + g. Is l greater than v?
True
Let g(p) = -p - 3. Let j be g(-4). Which is smaller: 1/4 or j?
1/4
Let k(b) = -b**2 - 13*b - 12. Let j be k(-13). Let z be ((-40)/j)/(-1)*3. Is z greater than -11?
True
Suppose -109 - 31 = 5*u. Is -28 less than or equal to u?
True
Let p(o) = 2*o + 9. Suppose 5*x + 38 = 2*h, 4*h = 4*x + 12 + 28. Let q be p(x). Let i = q + 3. Is i at most as big as -1/6?
False
Let d = 44 + -44. Which is smaller: 0.5 or d?
d
Let q(b) = -3*b**2 - 1. Let a be q(1). Let r(o) be the first derivative of -o**4/4 + 2*o**3 - 3*o**2 + o - 3. Let i be r(5). Is i at least as big as a?
True
Let y(k) = k**3 + 2*k**2 - k + 1. Let t be y(-2). Suppose 0*b - 4*b = t*o + 16, -2*b - o = 6. Let g = -2/539 - 96/539. Which is smaller: g or b?
b
Let l be ((-3)/27)/(2/4). Which is smaller: l or -30?
-30
Let m = -41 + 32. Which is greater: m or -10?
m
Suppose 0 = -3*l - 2*b + 17, -5*b = -3*l - 2*b + 42. Let f = l + -5. Let a be 9/(-6)*f/6. Does 0 = a?
False
Let m(n) = n**3 + 10*n**2 + 9*n + 5. Let t be m(-9). Suppose 2*x = -3 - t, x = -5*w + 1. Is -2/13 != w?
True
Let z be 3/(0 + 3) + -13. Let d be 169/4 - (-3)/z. Let q be ((-8)/30)/(d/15). Which is smaller: 0 or q?
q
Suppose y + 3 = -15. Let r be ((-268)/y)/(1/6). Let z = -88 + r. Which is smaller: z or 2?
z
Let x(a) = -10*a**3 - a**2 - 4*a + 4. Let p be x(1). Which is bigger: -9 or p?
-9
Let a = -9 - -13. Which is smaller: a or 3?
3
Let w be 94/(-6) + (-6)/(-9). Let s = -17 - w. Suppose -5*r = 1 + 4. Is r at least s?
True
Let b(z) = -z + 6. Let y be b(3). Suppose y*v = 2*v - 7. Is -8 bigger than v?
False
Suppose -9*u + 5 = -4*u. Which is smaller: 2/5 or u?
2/5
Let p(g) = 11*g - 1. Let f be p(2). Let d be 1 - (2 + (-15)/f). Does -1 = d?
False
Let r(n) = n**2 + 6*n + 2. Let c be r(-5). Let f be c - -3 - (-1 + 0). Let x be 3/((-24)/(-10)) - 1. Is x >= f?
False
Let s = -0.04 - -0.07. Let g = s - -0.07. Which is smaller: -0.1 or g?
-0.1
Let p = -1 - -13. Are 13 and p nonequal?
True
Let r(i) = -3*i**2 - 3*i - 4. Let m(z) = 2*z**2 + 2*z + 3. Let f(d) = -4*m(d) - 3*r(d). Let o be f(-1). Is o less than -1/2?
False
Let w be 6