l). Is d(4) a multiple of 7?
True
Let n be (22/(-8))/((-3)/456). Suppose 0*k + 2*k + 5*z = 196, -3*z - n = -4*k. Suppose -4*l - k = -571. Is l a multiple of 22?
False
Let m(j) = 2*j - 6. Let n be (-33)/2*(-8)/12. Let z(t) = t**2 - 11*t + 8. Let d be z(n). Is 8 a factor of m(d)?
False
Let y = -149 - -909. Is 10 a factor of y?
True
Does 38 divide (-20)/30*-375*5?
False
Suppose -2*j = 5*o - 0*j - 8, 0 = 4*o + 2*j - 6. Suppose 0 = -3*c + o*m + 280, -c + 80 = m + m. Does 15 divide c?
True
Let l be (2/3)/(16/(-24)). Is 29 a factor of l - (-3)/3 - -159?
False
Suppose -27 + 75 = 2*d. Suppose 3*r - 4*h + h - 108 = 0, r + 3*h = d. Is r a multiple of 12?
False
Let r = -293 + 351. Is r even?
True
Suppose 15 = 3*n, -79 = 5*f - 4*n - 269. Suppose 4*k + 3*y + 104 = -y, k + 22 = y. Let m = k + f. Is m a multiple of 6?
True
Suppose 17*h = 12*h + 295. Does 59 divide h?
True
Let l be 4092/18 - 1/3. Suppose 17*k + l = 18*k. Suppose -3*m - 216 - 89 = -4*s, k = 3*s - 4*m. Does 13 divide s?
False
Let b = 1 - -2. Suppose -x = 5*c - 5 - 14, c - b*x = -9. Is 5 a factor of 1/c + 176/12?
True
Let a(f) = -f**3 + 7*f**2 - 5*f + 1. Let j be a(6). Suppose 0 = -2*g - 1 + j. Suppose g*x - 2*x = 35. Is x a multiple of 7?
True
Suppose -2*l - 5 = l + o, -5 = o. Suppose -2*g + l*f = -f - 25, -59 = -5*g - f. Suppose g = -0*r + 4*r. Does 3 divide r?
True
Suppose -6424*w + 6415*w = -30555. Is 97 a factor of w?
True
Suppose 3*g = 5*o - 2 - 13, 3*o - g = 9. Suppose 7*b - 87 = 4*b - o*z, -4*b - 3*z = -115. Is 20 a factor of b?
False
Let y(p) = p**3 + 12*p**2 + 31*p - 1. Is y(-6) even?
False
Let u(l) = 2*l + 1. Let d be u(2). Let x(v) = v**2 + 8*v - 7. Let s(y) = -8*y + 7. Let m(n) = 5*s(n) + 4*x(n). Is 23 a factor of m(d)?
False
Let i = -69 + 36. Let v = i + 57. Is 12 a factor of v?
True
Let d(b) = -3*b + 19. Is d(2) a multiple of 13?
True
Let t(m) = m**2 + m - 2. Suppose a = 4*a - 15, 3*a - 21 = 2*h. Let r(z) = -z**2 - 4*z - 6. Let i be r(h). Is t(i) even?
True
Let u = 138 + -140. Does 12 divide ((-6 - u) + 6)/((-1)/(-91))?
False
Let f be -2*1 + -7 + 3 + 2. Let p(h) = -h - 3 + 0*h + 10. Does 3 divide p(f)?
False
Let j be 6/(-8) + 957/44. Suppose -j*k - 450 = -26*k. Suppose 5*p = -t - 4 - 2, 0 = -5*t - p + k. Does 19 divide t?
True
Suppose 35 - 107 = -2*y. Suppose -y + 24 = -2*q. Suppose -q*t = -2*t - 32. Does 6 divide t?
False
Suppose -5 = 5*x, -5*w - 3*x + 60 = -4*w. Is w a multiple of 3?
True
Is 13 a factor of 1*2 - -2*(-5 + 30)?
True
Is 19/(7 + -5 + -1) a multiple of 12?
False
Does 8 divide (-39)/(-26)*1728 + -8?
True
Let v(d) be the second derivative of -d**5/20 + d**4/12 - d**3/6 + 89*d**2/2 - 18*d. Is 35 a factor of v(0)?
False
Suppose -2 - 2 = -2*m. Let w = -385 - -517. Suppose 5*l + m - w = 0. Is l a multiple of 13?
True
Let k = 1 - 9. Let u be 2/k - (-552)/32. Is 14 a factor of u - 1/(-2 + 3)?
False
Does 33 divide 24/80 - 443403/(-190)?
False
Suppose -s - s = 0, 4*l + s - 1584 = 0. Is l a multiple of 10?
False
Is 9 a factor of (((-4)/(-12))/((-4)/(-1272)))/2?
False
Does 3 divide (104 - 59)/(-1 - (-5)/2)?
True
Suppose -w + 2*t = -129, 4*w + t - 471 = -0*t. Suppose 0 = -5*u + 479 - w. Is 12 a factor of u?
True
Suppose -2*y + 11 = -3*s, 6 = 5*y + s - 47. Let c = y - -41. Is c a multiple of 6?
False
Suppose 4 = 7*x - 9*x. Let r(n) = -29*n + 3. Is 30 a factor of r(x)?
False
Let c(a) = -3*a - 46. Let w(j) = 7*j + 92. Let t(z) = -5*c(z) - 2*w(z). Let k(d) = d**2 + 3*d - 4. Let u be k(-4). Does 19 divide t(u)?
False
Suppose -6*i = -9*i. Suppose -p + l = 4*l - 73, 3*p - l - 229 = i. Does 12 divide p?
False
Let g(k) = 2*k**2 + 19*k - 22. Does 17 divide g(10)?
False
Let n be 19/2 + 3/6. Let x be (-5)/(n/6) - -9. Suppose x = 5*w - 79. Is 17 a factor of w?
True
Let b = 23 - -217. Is b a multiple of 6?
True
Let l(k) = 13*k. Suppose 0 = -5*s - 3*d + 45, -s - 2 = -4*d + 12. Is l(s) a multiple of 26?
True
Let p(d) = -34*d - 18. Is 10 a factor of p(-2)?
True
Let d = 514 - 409. Is 2 a factor of d?
False
Suppose 83 = -h - 16. Let j be h/21 - (-2)/(-7). Let c(d) = d**3 + 5*d**2 - d. Is c(j) a multiple of 3?
False
Suppose -5*w + 3*x + 762 = -378, 0 = -4*w - 2*x + 912. Is 12 a factor of w?
True
Suppose 43 = 2*h - 23. Suppose 3*r - 90 - h = 0. Is 9 a factor of r?
False
Is (-12 + 8)/(2/(-299)) a multiple of 45?
False
Let z be ((-10)/8)/(9/(-36)). Suppose -4 = -4*g, 5*k - 2*k + z*g - 119 = 0. Is k a multiple of 38?
True
Let h(q) = -2*q**3 - 8*q**2 + q + 8. Does 6 divide h(-5)?
False
Let a(u) = u**2 + 7*u + 2. Let n be a(-7). Suppose 0 = -n*b + 3*b - 17. Does 10 divide b?
False
Let z(k) = k + 2. Let f be z(-2). Let j = 2 + f. Suppose -j*x + 40 + 170 = 0. Is x a multiple of 17?
False
Let c(n) = -n**2 + 15*n - 14. Let a be 2/(-6) + (-7)/(-3). Suppose -3*k + 6*k = -9, a*b = -3*k + 17. Does 8 divide c(b)?
False
Let l(w) = w**3 + 14*w**2 - 41. Let n be l(-12). Suppose -5*t + 6*h = 4*h - n, -t = -5*h - 31. Is t a multiple of 17?
True
Suppose -3*p + 3 = -72. Let c = 31 - p. Suppose 118 = 4*v + c. Is v a multiple of 14?
True
Is (-8)/(224/(-35))*176 a multiple of 4?
True
Let m(w) = -3*w**3 - 2*w**2 - 3*w - 3. Is m(-3) a multiple of 12?
False
Let w be (4 + 8)*(-1)/(-2). Let l = 224 + -154. Suppose -5*t + w = 2*k - l, 2*t = -k + 30. Is 3 a factor of t?
False
Let u(t) = 4041*t - 441. Let l(f) = -101*f + 11. Let g(y) = 81*l(y) + 2*u(y). Let d(a) = -20*a + 2. Let h(r) = 11*d(r) - 2*g(r). Does 8 divide h(-2)?
True
Let s = -37 + 140. Is s a multiple of 3?
False
Let v = 236 + -92. Suppose -142*b - 814 = -v*b. Is b a multiple of 37?
True
Let j = -1498 + 2204. Does 38 divide j?
False
Suppose 2*y - 550 = -m, 4*m - 2265 = -3*y + 8*y. Is m a multiple of 40?
True
Let j = -33 + 28. Let b = j + 15. Does 5 divide b?
True
Let y = -275 - -566. Suppose -2*v + y = -51. Is v a multiple of 13?
False
Let r be (-6)/9 + (-1079)/(-3). Let u = -247 + r. Does 19 divide u?
False
Let p(r) = -2*r**2 - 19*r - 7. Is 19 a factor of p(-5)?
True
Suppose 1 - 6 = -l - d, 4*l = -d + 17. Suppose 2*z - l*b = 190, 2*z + 6*b - b - 190 = 0. Does 19 divide z?
True
Suppose 0 - 10 = -2*q. Suppose 2*r + 3*z = 5*r - 309, -5*z = 3*r - 325. Suppose -v + 46 = 3*g, -3*g - 299 = -q*v - r. Is v a multiple of 10?
True
Let l be (-287)/(-35) + (-2)/10. Suppose 2*p + l*o - 61 = 3*o, -4*o = 5*p - 110. Is p a multiple of 9?
True
Does 3 divide -3 - 2 - (-1830)/15?
True
Suppose -37*d + 2124 = -28*d. Does 15 divide d?
False
Suppose 5*t + 194 + 26 = 0. Let i = -4 - t. Is 20 a factor of i?
True
Let h = -916 - -918. Let w = 5 - 2. Suppose 0 = -2*p - w*v + 14, 5*p - h*v - 37 = 17. Is 7 a factor of p?
False
Let m(r) = -r - 1. Let p be m(-4). Suppose 5*x = 47 + p. Suppose 12 = g - x. Is 20 a factor of g?
False
Suppose 76*x + 3520 = 92*x. Is 20 a factor of x?
True
Let z be 28/1*9/((-90)/35). Is 20 a factor of (-1)/(10/25)*z?
False
Let p = 7 + 1. Suppose 3*l = 36 + 204. Suppose -3*j + l = 5*x + p, -4*x = 5*j - 68. Is x a multiple of 7?
False
Let x = 277 - 253. Is x a multiple of 3?
True
Suppose -69*x = -64*x - 5280. Is 7 a factor of x?
False
Let h be 1 + 146 - 2/(-1 - 1). Suppose -h = 16*y - 17*y. Is y a multiple of 37?
True
Let t(g) = 6*g**2 + 2*g + 15. Is 4 a factor of t(0)?
False
Let l = -30 + 29. Is 6 a factor of l/(-4) - (-119)/4?
True
Suppose -c - 24 = c - f, f = 5*c + 57. Let p = c - -14. Suppose -3*z = -4*h - 118, -p*z + 77 = -2*h - 33. Is z a multiple of 17?
True
Suppose 6 = 3*d - 0. Suppose -w + 11 = 3*v - 9, -d*v = w - 16. Does 9 divide 27/6*w/3?
False
Suppose 0 = 3*r + 68 - 1292. Is r a multiple of 24?
True
Suppose 10*z + 1610 = 17*z. Does 13 divide z?
False
Suppose 2*w + 145 + 101 = 0. Let f = w + 213. Does 9 divide f?
True
Let i = 240 + -67. Let m = -138 + i. Does 8 divide m?
False
Let v = -1329 + 949. Let g be (-9 - -1) + (-1)/1. Does 2 divide v/(-90) - (-2)/g?
True
Let f be (-6)/4*13744/(-6). Let t be f/22 - 14/77. Suppose w - 56 = -n, 2*n - t = -3*w - 42. Is n a multiple of 27?
True
Suppose 5*x - 28 - 3 = 4*w, 7 = 5*x + 2*w. Suppose -31 = -5*i - 3*g, 5*g - 2*g - 21 = -x*i. Suppose i*m = 5*b + 105, -2*m - 2*b = -3*m + 17. Does 10 divide m?
False
Suppose -7*h + 8*h - 106 = 0. Suppose 5*m + 0*k - h = 3*k, k = 3. Is 4 a factor of m?
False
Suppose 3*i = 3*g - 36, -3*g + 6*g = 2*i + 28. Let d be 4*(4 - (-28)/i). Suppose d*v = -2*h + 32, h = 2*v + 2*v - 4. Is 12 a fact