multiple of 17?
False
Let v = 1 - -1. Suppose v*m - 4*m = -48. Is 6 a factor of m?
True
Is 13 a factor of (2 + (-6)/4)*26?
True
Suppose 0 = l - 44 + 16. Let w = 64 - l. Is w a multiple of 12?
True
Let y = 20 - 5. Is 15 a factor of y?
True
Suppose -15 = -4*r + 9. Suppose -3*t = -0*t - r. Suppose 0 = t*d - 20 - 0. Does 10 divide d?
True
Let b(g) = -g**3 - 7*g**2 + 6*g - 11. Let s be b(-8). Suppose 3*z - n - 16 = 0, 15 = z - 5*n + s. Suppose -z*i = -65 + 25. Does 8 divide i?
True
Suppose 5*t + 144 = 11*t. Is t a multiple of 3?
True
Let g(x) = 32*x**2 + 2*x - 1. Is g(1) a multiple of 11?
True
Let c = 55 + -31. Does 24 divide (-3)/(-4) + 1710/c?
True
Let d be (-3)/12 + (-89)/(-4). Suppose 0 = r - d + 4. Let o = r - 9. Does 4 divide o?
False
Suppose 5*i - 4*u + 7*u = 1595, 5*u = 4*i - 1276. Is i a multiple of 29?
True
Let u = 313 + -214. Is 20 a factor of u?
False
Let x be 5*((-4)/5)/1. Let n(g) = 3*g**2 - 2*g + 1. Let w be n(x). Is 15 a factor of (w/(-6)*-2)/1?
False
Let y(d) = -d**3 - 2*d**2 - d + 152. Is y(0) a multiple of 8?
True
Let r be 1/((-1)/(12*-4)). Suppose 0 = -2*t + 4*t - r. Is 10 a factor of t?
False
Let t be (0/1)/(-4) - -5. Suppose -3*l = 2*d - 158, -d - 2*d = t*l - 263. Is l a multiple of 26?
True
Suppose -k - k = -2. Let o be -4 + k + 1 + 6. Suppose 3*s + 5*m - 42 = 0, 2*s - o*s + 5*m = -28. Is 7 a factor of s?
True
Let l = 36 + 55. Is l a multiple of 28?
False
Let o(w) be the second derivative of w**3/2 + w**2 - 3*w. Is o(7) a multiple of 6?
False
Suppose 2*c - 9 = 151. Is c a multiple of 16?
True
Let b be (8/(-10))/((-14)/2625). Suppose b = 7*o - 2*o. Is o a multiple of 10?
True
Suppose 5*v - 35 = -10. Suppose 0 = w - 2*q - v, -20 = -4*w - q - q. Is w even?
False
Let h = 86 - 40. Does 4 divide h?
False
Suppose 5*p + 2 = 2*l + 16, 2*p - l - 5 = 0. Suppose -t = -2, -2*o + p*t + 84 = -0. Does 23 divide o?
True
Let a(w) = -2*w**2 - w. Let l be a(1). Is 1*0/1 - l even?
False
Let t(p) = -23*p - 4. Let n = -4 + -2. Let b be t(n). Suppose d - b = -3*r, 0*r = r + 4*d - 63. Is r a multiple of 20?
False
Suppose 0 = -3*i + 4 + 5. Suppose -y = i - 10. Is y even?
False
Suppose 0 = 11*n - 9*n - 58. Does 15 divide n?
False
Suppose 2*i - 4*v - 4 = 6*i, i - 5*v = 17. Let a(o) = -5 - 2*o - 3*o - o**3 - 7 - 9*o**i. Does 19 divide a(-9)?
False
Suppose -4*i + 5*v = 99, 5*v - 3*v = -4*i - 78. Let d be (-8)/36 - 376/9. Let f = i - d. Is 13 a factor of f?
False
Let n(x) = -x**3 + 10*x**2 - 7*x - 7. Suppose -20 = 3*d - 8*d + 4*c, 2*c - 10 = 0. Let r be n(d). Suppose 0*h = 5*h - r. Does 13 divide h?
True
Suppose -4*w + 7*w - 96 = 0. Let z = w + -20. Is 8 a factor of z?
False
Suppose -2*x + 6*x = -5*w + 18, -4*w = -3*x - 2. Let s(z) = -x + 1 - 3*z + z. Is s(-2) a multiple of 3?
True
Is 4 a factor of (159/(-6))/(-5 - (-45)/10)?
False
Let g = 3 + 4. Suppose -g*m = -5*m - 44. Suppose 0 = 4*u - 6*u + m. Does 4 divide u?
False
Suppose -1 = -5*l + 3*y, -2*y - 8 + 16 = l. Is l a multiple of 2?
True
Let x be (74 - -1) + 0/14. Suppose 2*w + x = 7*w. Does 4 divide w?
False
Let v be ((-21)/(-9))/((-2)/(-108)). Suppose -8*q + 3*q - d = -v, 2*q - 48 = 2*d. Is 20 a factor of q?
False
Let a = 5 - 8. Does 5 divide (-1)/(2*a/54)?
False
Suppose 2*k + 0*s - 2*s = 30, -5*k - s + 63 = 0. Is 10 a factor of k?
False
Let i(c) = -c**2 - c + 5. Let b be (5 + -3 - 3)*0. Does 2 divide i(b)?
False
Suppose 0 = -3*i - 2*i + 195. Does 8 divide i?
False
Let z = 77 - 70. Does 4 divide z?
False
Let x = -28 + 49. Is x + (1 - (3 + -3)) a multiple of 12?
False
Does 18 divide 1*1/(1/72)?
True
Suppose y = -3*r + 55, -5*y + 0*r + 4*r = -313. Does 29 divide y?
False
Let j = -15 - -27. Suppose -84 = -2*t - j. Is 18 a factor of t?
True
Suppose -4*h = -2*m - 0*m + 192, 4*m = -4*h + 408. Does 20 divide m?
True
Let q be (198/(-12))/((-1)/10). Suppose -r + 5*s + 5 + 49 = 0, 4*r - 3*s - q = 0. Is r a multiple of 13?
True
Suppose 0 = 7*a - 6*a + 5. Suppose -2*b + 2*u + 48 = -u, -5*u = -3*b + 72. Let i = b + a. Is i a multiple of 5?
False
Let t(u) = -u + 8 + 4 - 3. Is t(-7) a multiple of 6?
False
Let g be (24/(-18))/(2/(-15)). Let a(b) = 4*b + 8. Is 15 a factor of a(g)?
False
Let m = 7 - 7. Let b be (0 - 6) + (3 - m). Is 15 a factor of 33 - b/6*4?
False
Suppose -4*g = -5*r - 255, 3*r = 5*g + 2*r - 303. Does 15 divide g?
True
Let g = 6 + -1. Suppose -5*y - t + 77 = -43, y + g*t = 0. Is 4 a factor of (20/y)/(4/30)?
False
Suppose 2*h - 2*r = 5 + 3, 2*h + 5*r = -20. Suppose -2*y - 3*a + 89 = h, 251 = 5*y - a - a. Is y a multiple of 13?
False
Suppose -3*n + 4 = -8. Suppose n*a - 37 = 91. Is a a multiple of 16?
True
Does 15 divide (806/(-3))/(11/(33/(-2)))?
False
Let f(b) = -b + 4. Let k be f(-10). Suppose 132 = 16*l - k*l. Is 22 a factor of l?
True
Suppose -5*q - 2*d + 300 = 3*d, 0 = -2*q + 2*d + 124. Does 12 divide q?
False
Suppose 36*n - 658 = 34*n. Is 52 a factor of n?
False
Let y be (-7)/(-2) + (-5)/(-10). Suppose q = -q + y. Suppose 6 = q*m + 2*a, -5*m + m + 13 = 3*a. Does 2 divide m?
True
Let f(b) be the first derivative of b**4/4 + 5*b**3/3 + 3*b - 3. Does 3 divide f(-5)?
True
Is 872/6*(-18)/(-12) a multiple of 13?
False
Let f = 81 + -24. Let g = -28 + f. Is 14 a factor of g?
False
Let i be 3*-8*(-2)/3. Suppose -4*w - 3*v + 61 = 0, w + 4 - i = -4*v. Does 7 divide w?
False
Suppose 2*n - 5*g = -0*n - 11, 3*n - 5*g + 9 = 0. Suppose 0 = -2*q - 8, 7*a + 5*q - 190 = n*a. Is a a multiple of 21?
True
Let r(j) = j**2 - 5*j - 6. Let o be r(6). Suppose 3*a - 15 = -o*a. Suppose 44 = 3*h + a. Is h a multiple of 13?
True
Suppose 14*u = 18*u - 52. Is 2 a factor of u?
False
Does 27 divide (-11976)/(-168) - (-4)/(-14)?
False
Let c(u) = 10*u + 2. Is 6 a factor of c(7)?
True
Suppose 3*y - 4*y + 4 = 0. Suppose y*x = 5*o + 19, -3*x + 0*o - o = -38. Does 3 divide x?
False
Let h be 2/(-5)*(-14 - 1). Suppose 5*l + 4*i - 20 = 12, -2*i = -h. Is l even?
True
Suppose 5*r - 3*x - 2*x - 150 = 0, -3*x = r - 46. Let s = r - 16. Is 8/36 - (-428)/s a multiple of 17?
False
Let k(a) = 9*a + 3 + 0 - 2. Let w be k(5). Is 11 a factor of (-5)/5 - w/(-2)?
True
Let j(y) = -23*y - 4. Let s(m) = -m**3 + 7*m**2 + 8*m - 2. Let n be s(8). Does 12 divide j(n)?
False
Let y be -1*(1 - (-3 + 4)). Suppose y = i + 4*l - 96, -3*i + l + 0*l + 236 = 0. Does 24 divide i?
False
Let t(j) = 10*j. Let k = -9 + 12. Does 8 divide t(k)?
False
Suppose 4*s - 30 = -3*a - 0*a, 30 = 3*a - 2*s. Let p = 19 - a. Is 6 a factor of p?
False
Let s(j) = -j + 2*j**2 + 8*j + 1 - j + j**2. Let f be s(-4). Suppose 6*r - f = r. Is r a multiple of 3?
False
Suppose 2*r - 2*a - 2 = 0, 0 = -5*a - 5. Let y = r - -8. Is 4 a factor of y?
True
Let x(h) be the third derivative of h**6/120 - h**5/20 + h**3/6 + 3*h**2. Let v be x(2). Is 12 a factor of 25 + 6/9*v?
False
Let p(b) = -2*b + 14. Suppose -4*z = 5*a + 38, -a + 0*a + 3*z = 19. Does 9 divide p(a)?
False
Let x(t) = t**2 - 5*t - 8. Is 5 a factor of x(8)?
False
Suppose -5*f - 23 = -s + 4, -15 = -2*s - 3*f. Is s a multiple of 4?
True
Suppose 4*k + 0*k = 32. Let o be (2/3)/(k/60). Suppose 90 = 3*f + o*y, 0*f - 3*f + 90 = 2*y. Does 10 divide f?
True
Let v(t) = -t**3 + 6*t**2 - t - 5. Let u be v(6). Let c = 7 + u. Does 7 divide (c/(-6))/(-2)*-21?
True
Suppose -2*p = -4*d + 118 + 24, 4*d = -p + 139. Suppose q + 3*w - d = 0, -q - 4*q + 80 = -4*w. Is q a multiple of 10?
True
Let v be (-466)/(-14) - (-8)/(-28). Suppose c + 5*s = -0*s + 32, v = 4*c + s. Is 5 a factor of (-1)/((-1)/1) + c?
False
Let f(t) = t**3 - 10*t**2 + 12*t - 10. Is f(9) a multiple of 3?
False
Let g be (-2 - -2 - -1)*-3. Let i = g - -5. Suppose 5*l = 3*r - 10, i*r = 5*l - l + 6. Does 5 divide r?
True
Let i(o) = o**2 + o. Let y be i(0). Suppose y = 5*w + p - 182, -4*w - 2*p = -2*w - 76. Suppose 0 = -4*c + 4*b + w, -6*c = -3*c - b - 33. Is 5 a factor of c?
False
Let u(w) = -31*w - 4. Is u(-4) a multiple of 30?
True
Suppose -2*z + 6 = -14. Suppose -4*a + 20 = -0. Is (-3 - -5 - a) + z a multiple of 7?
True
Suppose 42 = 7*n - 140. Is 9 a factor of n?
False
Let w = 1 + -3. Suppose n + 0*n = -18. Is (-435)/n - w/(-12) a multiple of 9?
False
Suppose 0 = 2*d - 27 + 7. Is 5 a factor of d?
True
Let l be 2/(-12) + 2/12. Suppose l*b = 2*b - 42. Is b a multiple of 21?
True
Let h(w) = 11*w - 2. Let u(d) = -d**2 + 4*d + 7. Let o be u(5). Does 13 divide h(o)?
False
Suppose -g = -2*a - 35, 40 