*2 - 7*t - 7. Let a be i(3). Does 15 divide -3 + 0 + a + 400/4?
True
Let a(d) = -3106*d + 1354. Is a(-11) a multiple of 30?
True
Let g(x) = 6*x - 4*x - 4*x - 49 + 5*x. Let n be g(17). Suppose -n*k + 10 = -6. Does 2 divide k?
True
Let q(k) = -k**3 - 19*k**2 - 34*k + 6. Let s be q(-17). Is 35 a factor of ((-10)/s + 1)*-138?
False
Let z be -1954*(-5)/(-15) - 5/3. Let p = 1088 + z. Is 15 a factor of p?
True
Let w = -39 - -42. Suppose 2*x = -5*d + 15 + 28, 2*d = w*x + 2. Suppose -d*s = -240 - 180. Is s a multiple of 24?
False
Suppose -3*w + 30*r = 28*r - 6614, 2*r = 4. Is w a multiple of 49?
False
Let h be 2 + 1 - 0/(-4). Let v(b) = 7*b - 5. Let y be v(h). Suppose y*d - 11*d = 370. Is d a multiple of 24?
False
Is 7 a factor of (-15372)/(-9)*((-12)/(-32))/(15/20)?
True
Suppose -4*a - 38 = 2*w + 3*w, -3*a - 12 = w. Let k be 38/w*(-1)/(-1)*-3. Is 6 a factor of 1/1 - (3 - 5 - k)?
False
Let x(y) = y**2 - 9*y + 2. Let p be x(9). Suppose -53*t - 2*t = -220. Does 8 divide p/t*1*142?
False
Let o be 0/(6*2/(-4)). Suppose -3*l - p + 0 + 34 = o, -4*l + 3*p = -28. Suppose l*s - 642 = 4*s. Is 32 a factor of s?
False
Let l(p) = 9*p**2 - 133*p - 22. Let i be l(15). Suppose 0*c - 14008 = -i*c. Is 17 a factor of c?
True
Let d(v) = 5*v**3 - 6*v**2 - 2*v - 22. Let g(x) = 4*x**3 - 6*x**2 - x - 23. Let n(i) = -2*d(i) + 3*g(i). Does 5 divide n(5)?
True
Let c(y) = 150*y - 90. Suppose -22 = 523*l - 525*l. Is c(l) a multiple of 15?
True
Let q = -361 - -365. Suppose -4*o - 315 = -7*o - q*p, 2*p = 2*o - 224. Is o a multiple of 17?
False
Let l(w) = w**2 - 21*w - 46. Let c be l(23). Suppose c = 4*u - 2*r - 1418, -4*u - 9*r + 5*r = -1388. Does 16 divide u?
True
Is 36 a factor of (-35)/5 + 48510/35?
False
Let q(v) = v**2 - 23*v + 29. Suppose 4*i = -u + 602, 4*i - u + 3*u = 600. Suppose 29 = n + l, 7*n - i = 2*n + l. Does 14 divide q(n)?
False
Suppose 13 = 4*g - 3. Let s be 3 + (-5 - -4) - g. Does 11 divide (2/4)/(s/(-88))?
True
Let d(x) = 24*x - 9. Let t be d(3). Let u = 32 + t. Is 21 a factor of u?
False
Let x be (2 - (-8)/(-3))*(21 + -9). Let b(f) = f**3 + 9*f**2 + 9*f + 5. Let i be b(x). Is 8 a factor of (-2)/(-6)*(723 - i)/2?
False
Let d = 17 - 65. Let v = d - -68. Does 7 divide (10 - -1)/(((-15)/v)/(-3))?
False
Suppose 0 = -4908*y + 4919*y - 68464. Is y a multiple of 34?
False
Let d = 34874 + -12614. Is d a multiple of 35?
True
Let u = -48 + 50. Let v(y) = 5 + 4*y**2 + 9*y**u + 74*y + 11*y**2 - 80*y. Is v(3) a multiple of 21?
False
Suppose 0 = 4*j + 29 + 11. Let n be j/15*(-1 - -40). Let r = n + 82. Is r a multiple of 7?
True
Suppose -5*s - 1147 - 1028 = 0. Let u = -309 - s. Does 6 divide u?
True
Let k be (44730/(-12))/7*2. Let y = -222 - k. Is 20 a factor of y?
False
Suppose -6*t - 178 - 86 = 0. Let y = t + 84. Is 21 a factor of 1282/16 - 5/y?
False
Let v = 1462 - -6834. Is 68 a factor of v?
True
Is 22 a factor of 360795/469 + (-5)/(-7)?
True
Let n(d) = -641*d - 3787. Is n(-13) a multiple of 27?
False
Suppose -6*m + 1452 + 2772 = 0. Let q = m - 310. Is q a multiple of 52?
False
Let d be 4/18 + 316/36. Suppose -10*x = -d*x - 36. Is x a multiple of 9?
True
Suppose 185*f - 227590 - 434815 = 336965. Does 21 divide f?
False
Suppose -2*t + 1 = 7. Let j be 24/t - (9 - 7). Let l(w) = -w**2 - 14*w + 23. Is 7 a factor of l(j)?
True
Let k = -45692 + 91252. Is 68 a factor of k?
True
Suppose 0*q = o - 3*q - 18, o - 13 = 2*q. Suppose -4*g - 2*l - 46 = 0, -4 = -2*g + 3*g + o*l. Let k = g - -19. Is 4 a factor of k?
False
Is 45 a factor of ((-16)/5)/((-86)/28595)?
False
Let q(j) = j**2 + 8*j - 9. Let h be q(-10). Suppose h*b - 1720 = 3*b. Let c = b + -122. Does 31 divide c?
True
Is 26 a factor of ((-1441)/(-524))/((-1)/(-9212))?
False
Suppose 8*w + 254 = 870. Let m = 350 - w. Is 21 a factor of m?
True
Suppose -28*h + 72357 = -3691. Does 19 divide h?
False
Suppose 44 = -4*v + 8. Is (6/v)/(9/(-27)) even?
True
Let t be ((-16)/6 - -6)*(-3)/(-2). Let l(d) = -22*d**2 + 5 + 52*d**2 + t*d - 31*d**2. Is l(4) even?
False
Suppose -4*h - 12 = 8*h. Let o(m) = m. Let j(n) = -232*n**2 + 8*n + 3. Let v(t) = -j(t) + 3*o(t). Is v(h) a multiple of 18?
True
Is (4 - (-592)/(-24))*(-11 + (2 - 3)) a multiple of 7?
False
Suppose 9*y = -37 + 37. Suppose 20 = 4*v, y = -2*f - v + 3*v + 232. Does 19 divide f?
False
Suppose -3*x - 1 = 20. Let k(q) = 2*q**2 + 11*q - 15. Is 5 a factor of k(x)?
False
Suppose 0 = -f + 5*b + 17428, -4*b = 2*b - 0*b. Is 185 a factor of f?
False
Let g(s) = -s**3 + 62*s**2 - 97*s - 48. Is g(60) a multiple of 18?
True
Let j(c) = c**3 + 10*c**2 - 2*c + 9. Let g be j(3). Suppose -5*b - 4*k = -714, -2*b + 4*k + 194 + 114 = 0. Suppose 141*h + g = b*h. Does 6 divide h?
True
Suppose -y = -3*a - 6991, 5*a - 2125 - 18806 = -3*y. Does 3 divide y?
False
Let d(s) = -795*s**3 - 3*s**2 - 5*s - 2. Let c be d(-1). Let v = -525 + c. Is v a multiple of 68?
False
Let f(t) = 31 + 13*t**2 + t**3 + 7*t**2 + 24*t - 3*t**2. Does 30 divide f(-15)?
False
Suppose -2*n - 15 = 3*h - 5*n, n = 4*h + 5. Suppose -4*l - 4*t + 1824 = h, -3*l + 1348 = -5*t + 4*t. Is 16 a factor of l?
False
Suppose 35*s - 203 - 252 = 0. Is 12/78 + 3690/s a multiple of 6?
False
Suppose 227*d - 419174 = 69*d. Does 39 divide d?
False
Let x(d) = -15*d + 9. Let u be x(2). Let z = u + 25. Suppose -5*m + 366 = 4*c - 17, -m - z*c = -83. Is 25 a factor of m?
True
Let i = 17 - 12. Suppose -3*d = -4*b - 0 - 4, -4*d + i*b = -5. Suppose 4*r - 5*u - 44 = 0, d*u = 2*u. Is 7 a factor of r?
False
Let a(q) be the second derivative of 7*q**3/6 + 19*q**2 + 7*q. Let r = 18 - 10. Does 15 divide a(r)?
False
Suppose 379 = -17*n + 107. Does 15 divide (-12)/n - 12747/(-28)?
False
Suppose -12*o = -6*o - 12. Suppose -33 = -o*i + 3*w, i - 74 = -4*i - w. Suppose -i*p = 48 - 603. Does 12 divide p?
False
Suppose 5*s + 5*z = 35, 0 = -2*s - 4*z + 5*z - 1. Suppose 108 - 538 = -2*x + s*c, -4*x - 2*c + 866 = 0. Is x a multiple of 6?
True
Let i = -45 + 49. Let q be 694/i - (-20)/(-40). Let x = q - 101. Does 8 divide x?
True
Let s(n) = 84 - 3*n + 2*n - 9*n - 4*n - 5*n. Does 21 divide s(0)?
True
Let i be 34/14 + 9/(-21). Suppose 0 = i*j + 72 - 426. Is (j*5/15)/1 a multiple of 10?
False
Suppose -3*j + 330 = -5*m, 3*m + 2*j + 121 = -58. Let s be 144*(m/(-182) - 4/(-26)). Is 18 a factor of (s/60)/((-2)/(-55))?
False
Suppose -19*x + 4771 + 8192 = -375. Is 27 a factor of x?
True
Suppose 2*k - 4*n = 564, 12*k + 267 = 13*k - 5*n. Does 94 divide k?
False
Let l = 9867 + 1182. Does 29 divide l?
True
Let r = 570 + -565. Suppose 11*n - 9*n - 416 = 4*t, 0 = r*t + 25. Is n a multiple of 22?
True
Suppose 11 = 13*v - 54. Suppose 10*i = 9*i - v*j - 25, 20 = -5*j. Let b(d) = -2*d**3 + 19*d + 7. Does 27 divide b(i)?
True
Let b = 44 - 28. Suppose 0*z + 2*z = b. Suppose z*l = 13*l - 180. Is l a multiple of 9?
True
Suppose 8*d + 68180 - 320062 = 317902. Does 42 divide d?
False
Let x be (-2 + 16/6)*(-39)/(-26). Is (-12)/3 + x/(3/501) a multiple of 12?
False
Does 5 divide (48/(-10))/((-78)/12090)?
False
Let u be -3*174*4/(-18). Suppose 0 = -5*b - 4*r + 20, 0 = r - 2*r - 5. Is 16 a factor of 2 - (u/(b/(-2)) + -1)?
True
Suppose 3*q = d - 19933, -19*q = -5*d - 16*q + 99581. Does 19 divide d?
True
Let p(j) = -1116*j**3 - j**2 + 8*j + 17. Is 25 a factor of p(-2)?
True
Suppose 0 = -i + m + 10402, -15*m = -10*m + 35. Is i a multiple of 45?
True
Let y(z) = -z**2 + 10*z + 23. Let j be y(11). Is 15 a factor of j/(-18) - 1534/(-6)?
True
Suppose 518 = -2001*v + 2008*v. Is (v + -3)/((12/6)/6) a multiple of 8?
False
Let i = 8442 - 1240. Is 69 a factor of i?
False
Let x(c) = -c**2 - 10*c + 18. Let r be x(-10). Suppose -t = -r*t + 3485. Is 20 a factor of t?
False
Suppose -5*w + 3 = -17. Let r(u) = 35*u**3 - 4*u**2 - 12*u + 31. Let j be r(5). Is w/36 - j/(-18) a multiple of 59?
True
Let o be -5 - (-1)/2*(-15 + 13). Let w be -8 + (o/(-15))/(1/5). Does 7 divide 378/72*(-40)/w?
True
Suppose -3*i + 3 = 0, 0*i - 13 = -p - 2*i. Let h(m) = 30*m**2 - 12*m**2 - p*m**2 - 3*m - 3. Is h(2) a multiple of 4?
False
Let l(p) = 4*p**2 + 68*p - 181. Let b be (-4)/12*(-270)/(-3). Is l(b) a multiple of 10?
False
Suppose 3*s = -3*h + 702, 0 = -2*s + 3*h - 4*h + 469. Is 6 a factor of s?
False
Let y = -8451 - -10209. Is y a multiple of 30?
False
Suppose 3*v = -v + 4*u, 0 = -4*u + 12. Suppose 5 = v*r - 7. Is 10 a factor of (12/3)/(r/72)?
False
