- 59, 3*u - l = 0. Is x a multiple of 13?
False
Let u(f) = 7*f + 7. Let v be u(-3). Let z = -8 - v. Is 3 a factor of z?
True
Suppose 24 = 3*q + 4*d - d, -4*q - 3*d + 29 = 0. Suppose q*p = 4*p + 29. Is p a multiple of 12?
False
Let m(q) = -q**3 + 6*q**2 + 3*q. Suppose 4*d + 6 = 5*d. Is m(d) a multiple of 8?
False
Suppose -5*b + 20 = 3*n - 7, 0 = 2*n - 5*b - 43. Is n a multiple of 14?
True
Let i(g) = 2 - 3*g + 5 + g**2 - 3. Is 21 a factor of i(-4)?
False
Suppose 3*w + 2*w = 290. Suppose 2 = -5*q - w. Let i = q + 29. Is i a multiple of 17?
True
Let n(t) = -t + 15. Let j(k) = k - 14. Let o(s) = -3*j(s) - 2*n(s). Suppose 0 = i - 0*i. Is o(i) a multiple of 12?
True
Let a(r) = -r**2 + 6*r + 12. Is 4 a factor of a(6)?
True
Let c(p) = 2*p - 6. Let d be c(4). Suppose 4*u - u - d*a - 35 = 0, 0 = 5*u - 4*a - 59. Does 5 divide 6/(-5 + 3) + u?
False
Let i be 10 + 5/(15/(-6)). Suppose 5*y - i = 2, l + 4*y - 46 = 0. Is 21 a factor of (2 - 4/2) + l?
False
Let k be (-85)/(-15)*(9 - 0). Suppose 0 = v + 2*v + r - 55, 3*v + 3*r = k. Suppose f - v - 8 = 0. Is f a multiple of 13?
False
Let h(v) = -5*v + 6. Does 16 divide h(-2)?
True
Let h(q) = -1 - q - 2*q + q + 3*q**2 + 0*q. Does 10 divide h(3)?
True
Let x(n) = n**2 + 3*n - 15. Is x(6) a multiple of 14?
False
Suppose 5*g = 23 - 8. Suppose -5*y + 193 = -g*b, 5*y - b - 134 = 57. Is y a multiple of 19?
True
Does 4 divide ((-16)/(-20))/(2/115)?
False
Let o(n) = -n - 8. Suppose 3*x = -2*x - 4*m - 71, -x - 3*m = 23. Does 3 divide o(x)?
True
Let u = -126 - -22. Is 2 - 1*u/2 a multiple of 13?
False
Let x(h) = -h - 1. Is x(-17) a multiple of 4?
True
Let j(t) = t**2 + 17*t + 22. Is j(-19) a multiple of 6?
True
Let i be -6 - -3 - -3 - -96. Suppose 5 + 1 = 2*c. Suppose -5*l + c*l = -i. Is 15 a factor of l?
False
Let u be -2 + 2 + (1 - -1). Suppose -5*y = -4*g + 90, 2*y = u*g + 2*g - 84. Does 5 divide g/(-25)*25/(-2)?
True
Let p(z) = 3*z - 1. Suppose l - 3*l = -4. Let v be p(l). Suppose 0 = 4*k + s - 51, -v*k + 3*s = -s - 90. Does 7 divide k?
True
Let t(h) = -h + 8. Let k(z) = -z - 1. Let u(w) = -4*k(w) - t(w). Is 12 a factor of u(8)?
True
Suppose 2*h - 430 = -50. Suppose 5*s + 5*r - 157 = 103, -4*s + 2*r + h = 0. Is s a multiple of 19?
False
Let b(m) = 5 - 6 + 3*m - 31*m. Does 17 divide b(-2)?
False
Let g = -16 + 55. Is g a multiple of 13?
True
Let o(g) = -g**3 + 9*g**2 + 2*g + 17. Does 4 divide o(9)?
False
Let w = 85 + -31. Does 27 divide w?
True
Let f(s) = 2*s. Let t be f(1). Suppose -68 = -4*c - 2*a, -c = 11*a - 13*a - 22. Suppose -t*r = -0*r - c. Is 9 a factor of r?
True
Let x(g) = g**2 + 5*g - 4. Let b be x(-6). Let r be b*-1 - (-14 - 1). Let w = 19 - r. Is 3 a factor of w?
True
Suppose -10*a = -15*a + 500. Does 20 divide a?
True
Suppose -i = -5, 5*f = -0*i - 4*i + 15. Is 14 a factor of ((-7)/14)/(f/84)?
True
Suppose 0 = -i + 3*i - 22. Let v = i + -6. Is 5 a factor of v?
True
Suppose -9*r = -7*r + 12. Is 23 a factor of (16/r)/(4/(-102))?
False
Let c be (-2)/5 + (-27)/(-5). Suppose -5*b = -b. Suppose -c*y + 45 = 4*q, q = 5*y - b*q - 70. Does 6 divide y?
False
Suppose 40*n - 43*n + 51 = 0. Is n a multiple of 2?
False
Is 1/(-4) - (-495)/44 a multiple of 11?
True
Suppose 4*r - 3*s - 205 = 0, 6*r + 5*s - 132 = 3*r. Is 7 a factor of r?
True
Let f = 9 + -5. Suppose -66 = -f*t + t. Does 11 divide t?
True
Does 9 divide (-8 + 76)*2/8?
False
Let s(y) = 3*y**2 + 7*y - 3. Let g(x) = -x**2 - 1. Let m(z) = -2*g(z) - s(z). Is 4 a factor of m(-6)?
False
Let l(g) = -4*g + 2. Is l(-2) a multiple of 3?
False
Suppose 2*j = -5*x + 233, 4*x + 5*j - 65 = 3*x. Suppose -17 = 4*w - x. Does 7 divide w?
True
Suppose -27*v + 4840 = -7*v. Is 22 a factor of v?
True
Suppose -170 + 662 = 3*x - 3*g, 344 = 2*x + 2*g. Does 12 divide x?
True
Let c = 11 - 15. Does 18 divide c/(-6)*54/2?
True
Let g(v) = -37*v + 1. Let h be g(1). Is (1 + 0)*(-4 - h) a multiple of 16?
True
Let d = -138 + 200. Is 19 a factor of (d + 3)*(-4)/(-10)?
False
Let c = -51 - -99. Is c a multiple of 24?
True
Suppose -4*y = -107 - 93. Suppose 2*h = -0*h + y. Is h a multiple of 11?
False
Is 5/((-2)/(-6) - 0) a multiple of 6?
False
Let d(p) = 2*p**3 + 4*p**2 + 6*p - 8. Let i be d(-7). Is 13 a factor of ((-6)/10)/(4/i)?
False
Let s(u) = -15*u + 2. Let a be s(-4). Let q = a - 106. Let b = q + 78. Does 14 divide b?
False
Let a be 3/(2/216*3). Let p = 151 - a. Does 26 divide p?
False
Let t = -14 - -23. Suppose 2*m + 3 = -2*m + c, 2*m = -3*c + t. Suppose -w = -m*w - 38. Is w a multiple of 19?
True
Let j(t) = 18*t**3 - 1. Let k be j(1). Let i = -7 + k. Does 4 divide i?
False
Let p(f) = -f**3 - f + 105. Let y = -5 + 5. Let a be p(y). Suppose -6*x = -x - a. Does 10 divide x?
False
Suppose -4*y = 0, 2*z - 6*y + y = 8. Let g(q) = -q**2 + 10*q - 1. Is g(z) a multiple of 11?
False
Let h(q) = q**3 - 4*q**2 + q + 2. Let x be h(3). Let d = 26 - x. Is 12 a factor of d?
False
Suppose 89 = 8*u - 343. Is 10 a factor of u?
False
Suppose 0 = -5*t + 2*g - 94, 4*t + 0*t + 70 = -g. Let n be ((-2)/3)/(2/t). Let l = 9 - n. Is l a multiple of 2?
False
Let m be (-18)/45 + (-84)/(-10). Suppose -4*i = -m*i + 24. Does 3 divide i?
True
Let s = -19 - -75. Does 8 divide s?
True
Let f(w) = 3*w**2 - 28*w + 4. Does 13 divide f(12)?
False
Suppose 3*b + 90 = 5*h - 25, 0 = 3*h - b - 65. Suppose -8*d = -4*d - h. Suppose a - 10 = -2*i - 3*a, 0 = -d*i + 5*a + 10. Is i a multiple of 2?
False
Suppose 11*j - 120 = 6*j. Does 4 divide j?
True
Let j(l) = -l**2 + l + 6. Let v be j(0). Let n = 42 - v. Is 18 a factor of n?
True
Is 13 a factor of (4 - 0)*38/4?
False
Let f be ((3 - 1) + 54)*1. Suppose -4*r + 0*r = -f. Does 14 divide r?
True
Let c(x) = -12*x - 7. Is c(-6) a multiple of 28?
False
Does 25 divide (-1 - -4) + 60 + 1?
False
Let s(q) = 21*q**3 + 2*q**2 - q. Let i be s(1). Let w = i + -19. Is w a multiple of 2?
False
Suppose -448 = -2*l + 4*k, -4*l = -4*k + k - 911. Suppose l = 6*r - r. Does 18 divide r?
False
Let w(k) = -6*k. Let u(l) = -l**3 + l**2 + 2*l + 4. Let f be u(3). Let r = -14 - f. Is 12 a factor of w(r)?
True
Suppose -2*v - 2*v = -s - 121, -v = 5*s - 25. Is 6 a factor of v?
True
Does 22 divide (3/9)/(1/66)?
True
Let t(m) = 6*m + 2. Let h(p) = -p. Let w(k) = 5*h(k) + t(k). Is w(5) a multiple of 2?
False
Let w be -2 - 26*(2 + -4). Does 10 divide (8/20)/(2/w)?
True
Suppose 0 = -3*a + 2*k - 37, 2*k - 5*k - 57 = 3*a. Let g be 13/5 + 9/a. Suppose -r = -5*r + c + 133, 0 = g*r - 3*c - 69. Is 12 a factor of r?
False
Suppose 2*y - 5*v = 133, 201 = 3*y + v + 27. Is 59 a factor of y?
True
Suppose 0 = -v + 5*b + 4, -v + 2*v - 1 = 2*b. Let x be -72 + (-1)/v + -1. Let u = -41 - x. Is u a multiple of 12?
False
Let u(g) = -2*g**3 - 4*g**2 - g - 1. Is 44 a factor of u(-4)?
False
Let w(z) be the first derivative of -z**2 - 3*z + 1. Let q be w(7). Let j = q + 86. Does 25 divide j?
False
Let c = -7 - -5. Let z = c - -19. Is z a multiple of 7?
False
Let h = -95 + 154. Let c = h - 29. Is 15 a factor of c?
True
Suppose 16*h - 7 = 15*h. Suppose -74 = h*i - 452. Does 18 divide i?
True
Suppose 4*l + l = -4*h + 84, 0 = h - 2*l - 34. Suppose 3*p = p + h. Is 4 a factor of p?
False
Suppose 32 = 5*h - 3*n, 0*n + 16 = 5*h + n. Suppose h*f - 102 = f. Is f a multiple of 17?
True
Let b be (2 + (-34)/6)*-3. Let s = 19 - b. Is 5 a factor of s?
False
Let g(i) be the second derivative of 7*i**3/6 + 7*i**2/2 + 5*i. Let b = 5 - 0. Does 21 divide g(b)?
True
Suppose 2*s = -5*g + 3*g - 4, 4*s - g = -8. Is s/(-2) - 144/(-4) a multiple of 19?
False
Let k = 7 - 5. Suppose -5*b + 142 = -0*l + 4*l, -k*b = l - 58. Is b a multiple of 15?
True
Suppose -4*o + 2*o + 96 = 0. Is 24 a factor of o?
True
Suppose 3*n = 7*n - 8. Let d(b) = -2*b + 8 + n*b**2 - 3*b - b**2. Is 11 a factor of d(7)?
True
Suppose 2*z - 26 = -6. Does 2 divide z?
True
Let v(h) = 89*h**2 - 2. Is 29 a factor of v(-1)?
True
Suppose -2*q - 5*l = -49, 62 = 5*q - q - 2*l. Let y = -2 + q. Is y a multiple of 15?
True
Suppose 4*u - 3*u - 24 = -p, 0 = 3*p - 2*u - 62. Is p a multiple of 11?
True
Suppose -6*n + n + 140 = 0. Is n a multiple of 23?
False
Suppose 2*x - 5*p = 8, 3*x + 2*p - 5*p - 3 = 0. Is 5 a factor of (x + -3)*(-34)/8?
False
Let c be (-248)/12 - (-2)/3. Let j be ((-75)/c)/((-1)/4). Let u = j + 38. Does 8 divide u?
False
Let q(d) = d**3 + 8*d**2 + 5*d - 4. Does 10 divide q(-6)?
False
Let n be 3*40 - 20/