 Is k a multiple of 17?
True
Is 57 a factor of ((-7)/((-84)/(-99)))/((-4)/304)?
True
Let l = 37 - 32. Suppose 3*f + l*u + 25 = 0, -2*f - u = u + 22. Let p = f - -49. Is p a multiple of 12?
False
Suppose y + 29 = 2*y. Let r = y - -13. Is 14 a factor of r?
True
Let f(q) = 4*q**2 + 11*q - 10. Is 26 a factor of f(6)?
False
Let j(t) = t**2 + 4*t - 5. Let i be j(6). Does 37 divide (4 - 4 - 0) + i?
False
Suppose -5*i - 4*g + 14 = -0*g, -5 = -5*i + 5*g. Suppose -5*s = -4*o + 284, i*s + 302 - 96 = 3*o. Is 33 a factor of o?
True
Let f = 21 - 33. Suppose -2*v - 6 = -5*v + 3*q, 3*q = 3. Is 2 a factor of (v/2)/((-9)/f)?
True
Does 3 divide (-2 - 156)*12/(-8)?
True
Let k(q) = -q**3 + 6*q + 3. Let i = -23 - -31. Suppose -4*x - i = 8. Is 13 a factor of k(x)?
False
Let n = 342 + -198. Let k = n + -88. Is 36 a factor of k?
False
Let k be (0 - (-6 - -4)) + -2. Suppose 237 = 2*y - 4*a - 9, k = 4*y - 3*a - 492. Is y a multiple of 14?
False
Let d = -608 + 864. Suppose -d = -11*q + 437. Does 7 divide q?
True
Let p = 83 + 1. Does 6 divide p?
True
Suppose -b + 2*b = 44. Suppose b = -0*k + 4*k. Is 2 a factor of k?
False
Is (-1)/(((-9)/53)/9) a multiple of 21?
False
Let z be (1*1/(-3))/((-1)/1389). Suppose 4*y = 5*i + z, 0*i = -3*y - i + 352. Does 21 divide y?
False
Let x(p) = -p + 7. Let a be x(-17). Is (a + -2)/((-26)/(-65)) a multiple of 7?
False
Let r be (1/3)/(-2 + (-114)/(-54)). Suppose w - 99 = r*v + v, 5*v = 0. Does 28 divide w?
False
Suppose -4*o = -46*o + 3192. Is 19 a factor of o?
True
Suppose -209 + 25 = 4*d. Let n be 2/((-1)/((-38)/1)). Let p = n + d. Does 10 divide p?
True
Let d be 52 - 5/((-15)/(-6)). Is 96/(-10)*d/(-15) a multiple of 19?
False
Let f(u) = -23*u**3 + 2*u**2 - 1. Is 17 a factor of f(-1)?
False
Suppose -877 = -5*w + 2*d + 165, 3*w = 3*d + 618. Is 3 a factor of w?
True
Suppose 12 = -8*o + 3*o - 2*x, 0 = -o + 5*x + 3. Suppose 4*v + 97 + 75 = 0. Is v/o - (-6)/(-12) a multiple of 21?
True
Let g(k) = -k**3 - 11*k**2 - 10*k - 1. Let v be g(-10). Let t(u) = -52*u**3 - u - 2. Let h be t(v). Let f = -28 + h. Does 5 divide f?
False
Let c(i) = 2*i - 15. Let k be c(7). Let p be k/(0 - 1/2). Suppose 5*a + 9 = t, 0*t = -p*t + 5*a + 18. Does 3 divide t?
True
Suppose -11*j = 22 + 22. Let b(w) = -w**3 - 2*w**2 + 3*w + 4. Is b(j) even?
True
Let z = 4 + 39. Does 43 divide z?
True
Let i(w) = 13*w + 26. Let j(z) = 7*z + 13. Suppose -3*b + 5 = -1. Let v(r) = b*i(r) - 5*j(r). Is 30 a factor of v(-10)?
False
Let c(v) = -5 + 9*v**3 + 2 - 12*v**2 - 12*v + 2. Let i(z) = -4*z**3 + 6*z**2 + 6*z. Let l(r) = 3*c(r) + 7*i(r). Does 11 divide l(6)?
True
Suppose -3*a + 238 = j, 5*j = -24 - 1. Let s = 123 - a. Does 4 divide s?
False
Let r be 34*1 - (-104)/(-26). Suppose -i = -41 - r. Does 25 divide i?
False
Let q = -296 - -145. Let j = -27 - q. Does 31 divide j?
True
Let v(q) be the first derivative of q**3/3 + 3*q**2 - 3*q - 1. Let b be v(-7). Suppose -5*a + 75 = -b*a. Does 19 divide a?
False
Let k(n) = n**2 - 33*n + 21. Does 54 divide k(-15)?
False
Suppose -3*l = -8*l - b + 2322, 2*b + 1388 = 3*l. Does 7 divide l?
False
Let q(w) = -7*w**3 + 59*w**2 + 20*w + 5. Is q(6) a multiple of 37?
False
Let c be (-8813)/(-35) + 3/15. Suppose -2*y + 248 = 4*w, -4*w - y + 0*y = -c. Suppose -2*v - 2*v = -w. Does 7 divide v?
False
Let o = 827 - -66. Is o a multiple of 22?
False
Suppose 156 = 9*c - 141. Suppose 16*i = c + 1071. Does 34 divide i?
False
Let y be 1 + ((-6)/(-2) - 4). Let b be (-2)/(-4)*(2 + y). Suppose -2*h - b + 67 = 0. Is 11 a factor of h?
True
Is (-2)/22 + (-5 - 7129/(-11)) a multiple of 36?
False
Let c = 377 + 15. Is 49 a factor of c?
True
Suppose 1002 + 98 = -4*z. Let m = -149 - z. Is m a multiple of 18?
True
Let c = -54 - -58. Does 10 divide (82 - 1) + c/(-6 - -5)?
False
Suppose 12 = -10*l + 14*l. Suppose -4*g - 8 = 0, -3*g - 75 = -0*d - l*d. Suppose 2*c - 77 = -d. Is c a multiple of 7?
False
Suppose -2*w = 2*h - 16, -w - w - 9 = -3*h. Let g(q) = 8*q + 4. Is 7 a factor of g(w)?
True
Let q = -21 - -23. Suppose -49 = -q*g - 9. Is g a multiple of 20?
True
Let s(i) be the second derivative of -i**6/60 - i**5/12 - i**4/8 - i**3/6 - i**2 - 7*i. Let n(w) be the first derivative of s(w). Does 20 divide n(-4)?
False
Suppose -490 = -15*b + 14*b + j, b - 4*j = 496. Is 14 a factor of b?
False
Let f be ((-5)/3)/(15/(-54)). Let l(c) be the first derivative of c**3/3 + c**2/2 - 12*c + 2. Is l(f) a multiple of 8?
False
Let q = -135 - -65. Let a = q + 228. Is a a multiple of 15?
False
Suppose -183 = -8*t + 5*t. Suppose -4*o - 13 = -t. Is 4 a factor of o?
True
Suppose 0 = -717*v + 757*v - 16400. Is 9 a factor of v?
False
Let s(h) = -h**3 - 12*h**2 + 3*h - 14. Let n = -16 + 3. Does 26 divide s(n)?
False
Let m = 91 - -485. Is m a multiple of 56?
False
Suppose -3*c = 2*s - 5, -5*s + 2 = -3*c - 0*c. Let b be (5 + 8)*(3 - s). Let j = b + -12. Is 14 a factor of j?
True
Let p(z) = -8*z + 16. Let m be p(10). Let n = 102 + m. Is 19 a factor of n?
True
Let j = 59 - 54. Is 9 a factor of ((-15)/(-9))/(j/270)?
True
Let p be (-1341)/15*-1 - (-2)/(-5). Suppose 0 = y - 182 + p. Is y a multiple of 28?
False
Let j(m) = m**3 - 18*m**2 + 31*m + 22. Let r be j(16). Does 30 divide 3/(-2)*((-260)/3 - r)?
False
Suppose 4*k + 5 = -3*y - 13, 15 = -3*k - 3*y. Let t be 3 - (-3 - -282)/k. Suppose -o + b = -3 - 34, 3*o + 2*b - t = 0. Is 17 a factor of o?
True
Let n = -1179 + 2003. Is 12 a factor of n?
False
Suppose 0 = z + 5*g - 8*g - 15, 0 = -4*z + g + 5. Suppose z = 4*b - b - 12. Let l(q) = -q**3 + 5*q**2 - 3*q + 6. Is l(b) a multiple of 10?
True
Let q(x) = -48*x - 55. Let h(n) = n**3 - 8*n**2 - 8*n - 14. Let b be h(9). Is 37 a factor of q(b)?
True
Let l(o) = 64352 + 5*o**2 + o**3 - 64352 + 2*o. Let g = -9 + 6. Does 12 divide l(g)?
True
Suppose 4*q - 61 - 79 = 0. Let a = q + -27. Suppose 18 = -7*t + a*t. Does 12 divide t?
False
Suppose 0 = 5*g - 7 - 3. Suppose -4*u + g = -6. Suppose u*x = -0*x + 12. Is 3 a factor of x?
True
Let g(r) = -r**3 - 13*r**2 - 13*r - 9. Let i be g(-12). Suppose 0 = 2*h - t - t - 258, -3*h = i*t - 381. Is h a multiple of 9?
False
Let d be ((0 + (2 - 2))*-1)/1. Suppose -160 = -x - d*l + 5*l, 5*l - 400 = -3*x. Does 18 divide x?
False
Is (-11910)/(-70) - 2 - (-2)/(-14) a multiple of 13?
False
Let r(v) = v**2 - 11*v + 14. Let d(p) = -4*p - 1. Let z be d(-2). Let c be r(z). Is (c/(-4))/(-7)*-48 a multiple of 6?
True
Let h = -4 - 21. Let v = -17 - h. Suppose 0 = 5*n + 5*b - 282 - v, 178 = 3*n + 5*b. Is n a multiple of 14?
True
Let j(h) be the second derivative of h**5/20 - 5*h**4/12 - 7*h**3/6 + 9*h**2/2 + 9*h. Let y be j(6). Is 33 a factor of 119/(-1)*y/(-3)?
False
Suppose -3*a - 2 = -4*a. Let t(o) = a*o**2 - 5*o - o + 7*o. Is 7 a factor of t(3)?
True
Let r(f) = f**3 - 11*f**2 + 10*f. Let i be 44/(-10)*(-65)/26. Is r(i) a multiple of 11?
True
Let u(h) = 24*h**2 - 5*h - 6. Let z = 20 - 19. Suppose -z = 5*c + 9. Is u(c) a multiple of 20?
True
Suppose 3*g + 146 = 4*n + g, 14 = n - 5*g. Suppose 0 = 5*q - h + n, -2*h + 36 + 0 = -4*q. Does 4 divide 1/7 + (-55)/q?
True
Does 9 divide 144 + (-19 + 17 - -1*5)?
False
Let v(m) = -m**2 - 6*m + 14. Let u be v(-6). Let w(s) = 2*s + 27. Is 11 a factor of w(u)?
True
Suppose 0 = -k + 5*h + 254 + 1902, -5*h = 20. Is 12 a factor of k?
True
Suppose x + 752 = 16*m - 13*m, 2*x = -4*m + 1016. Is 42 a factor of m?
True
Let h = 25 + 38. Let k = h + -45. Is 18 a factor of k?
True
Suppose -86*n + 87*n = 360. Is n a multiple of 7?
False
Let a(x) = -3*x - 11. Let z be a(-3). Is 13 a factor of (21 - 177)*(z + 4/6)?
True
Suppose 0 = -66*f + 55*f + 1474. Is 2 a factor of f?
True
Suppose -h + 154 = 36. Suppose 3*o - h = 152. Let u = 130 - o. Is u a multiple of 20?
True
Let r(z) = -4*z**3 - z**2. Let j be r(-1). Suppose o + 3*o - 3*g = 846, j*g = 2*o - 426. Does 7 divide o?
True
Suppose 0 = -3*w - w + 4. Let k = 27 + w. Suppose -3*d + k = -5. Does 11 divide d?
True
Suppose -23 = -4*c - 63. Let s = 16 - c. Is s a multiple of 26?
True
Suppose -3*v = 2*v - r - 886, 3*r = -3. Suppose -v = -2*i - 33. Is i a multiple of 8?
True
Let k be 5/10*(2 - 2). Suppose k = 7*i - 3*i - 136. Is i a multiple of 8?
False
Let o = -1250 - -1230. Let n = -37 + 81. Is 25 a factor of o/((-1)/(n/8))?
False
Let c(u) = 17*u - 7. Is 15 a factor of c(11)?
True
Let p(t) = -2*t**2 + 27. Let c = 91 + -91. Is 16