n?
True
Let t be 2/(((-15)/(-10) - 1)*-1). Is 13 a factor of t*(-1)/(-2)*(-3212)/8?
False
Let l(z) = 110*z**2 - 19*z + 35. Is 23 a factor of l(-15)?
True
Is 17 a factor of -77661*4/(-63) - 32/(-28)?
False
Let k = -357 + 1022. Let p = k - 358. Is p a multiple of 12?
False
Suppose 2*k + 3*x = -2*x + 152, 3*k - x - 228 = 0. Suppose 325 = -u + 5*u - 3*l, -l + k = u. Is u a multiple of 5?
False
Let s(n) = -300 + 879 - 300 + 5*n - 281. Let m be (2/4)/(1/8). Is s(m) a multiple of 6?
True
Let s be 14/4*(275 + 0 - -3). Suppose 4*w - s + 297 = 0. Does 13 divide w?
True
Let i be (-4)/14 - -2*(-18)/(-28). Suppose i = 5*z + j - 3, 2*z = 4*j - 16. Does 23 divide 412/6 + z - 11/(-33)?
True
Suppose 16*n - 142571 = -8939. Is n a multiple of 116?
True
Let o be (-6)/(-7) + (-75300)/(-350). Is (-384)/(-27) + -2 - 48/o a multiple of 7?
False
Let g(x) = -x**2 - 6*x + 113. Let j be g(8). Let n(k) = 236*k**2 - 6*k + 5. Does 31 divide n(j)?
False
Let y(f) be the first derivative of -f**4/2 + 29*f**3/3 - 5*f**2/2 - 9*f - 8. Let q(n) = n**3 + 5*n**2 - 11*n - 16. Let m be q(-6). Is y(m) a multiple of 42?
False
Let n be (-80)/32 + (-1)/(-2). Is 9 a factor of 3 + 188 - 14/n?
True
Let d be (10*(-5)/10)/((-1)/68). Suppose 2*y + 58 - d = 0. Suppose -3*p + 2*c + 240 = 0, -2*p - 3*c - 2*c = -y. Does 24 divide p?
False
Suppose 4*a + 5*z = 301, 5*a - 4*z - 277 = 48. Let c(w) = 7*w**3 - 12*w**2 - 11*w + 9. Let y be c(-2). Let k = a - y. Does 38 divide k?
False
Let h(u) = -u**3 - 6*u**2 + 5*u + 16. Let j be h(-7). Is 10 a factor of (4/j - 0) + 1496/30?
True
Suppose 9 = 5*o - 11. Let b = 211 - 205. Suppose -o*p + 3*g = -183, -2*g + 4*g = b. Is 24 a factor of p?
True
Let q(d) = 5*d + 285. Let w be q(-57). Suppose 448 = i + 2*t - 899, 3*t - 15 = w. Is 57 a factor of i?
False
Let t be (9/(-6))/((-15)/(-20)). Let w = t + 2. Suppose w = -11*y + 15*y - 52. Is 4 a factor of y?
False
Let m(b) = -4*b**2 - 22*b - 3. Let l be m(-4). Suppose -89 = -11*q + l. Let g(z) = z**3 - 8*z**2 - 14*z - 33. Is g(q) a multiple of 27?
True
Let k(m) = -9*m**3 + 21*m**2 - 25*m - 23. Let p(u) = 4*u**3 - 10*u**2 + 13*u + 12. Let h(y) = 3*k(y) + 7*p(y). Is 11 a factor of h(10)?
False
Let d(r) be the first derivative of -26 + 35*r + 5 + 2*r**2 + 7*r + 57*r. Is d(0) a multiple of 9?
True
Is 1246/8 - (12 - (-861)/(-84)) a multiple of 7?
True
Let v(p) be the third derivative of -p**6/120 - p**5/30 + 17*p**4/24 + 2*p**3/3 - 2*p**2. Let x be ((-33)/30)/((-2)/(-12)) - 118/295. Is v(x) a multiple of 10?
True
Let p(y) = 3*y**3 - 5*y**2 + 6*y + 87. Let c(a) = -a**3 + a**2 - 1. Let k(n) = 4*c(n) + p(n). Does 2 divide k(-5)?
False
Let h(d) = -3*d**3 + 341*d**2 + 185*d + 357. Does 27 divide h(114)?
True
Let i = 23 - 22. Let u be -4*(2 - i) - (1 + 0). Is (u - 2244/(-18)) + (-1)/(-3) a multiple of 30?
True
Let m be 4/(-14) - 29520/21. Let h = -159 - m. Does 22 divide h?
False
Let r(f) = 205*f + 7. Let m be r(5). Suppose -w = -4*w + m. Suppose 3*z + j = -z + w, 0 = -2*z + 3*j + 186. Does 15 divide z?
False
Suppose 24561 = 37*q - 34*q + 5*l, 0 = -l. Does 8 divide q?
False
Let l = -49 - -56. Suppose -109 = -l*c - 11. Is c a multiple of 3?
False
Let m = -31854 - -45187. Is 67 a factor of m?
True
Let h(q) = -1371*q + 5911. Does 19 divide h(-34)?
False
Let i be (-3 - -6)/((-3)/50). Let f = -36 - i. Is f/(-21) + 70/6 - -1 a multiple of 12?
True
Let h be (-2)/4*(-12 + -2). Let a(u) = 9*u**2 - 9*u - 21. Is 24 a factor of a(h)?
False
Let f(c) be the second derivative of c**5/20 - 7*c**4/4 - c**3/6 - 19*c**2 - 67*c. Is 29 a factor of f(22)?
False
Let s(o) be the third derivative of o**6/60 - o**5/30 - o**4/24 + 280*o**3/3 - 15*o**2 - o. Does 81 divide s(0)?
False
Suppose -8*y - 5*g = -109791 - 84627, 0 = -5*y - 2*g + 121518. Is y a multiple of 145?
False
Suppose -16566 = -3*k + 3*s, 2*k = 5*k + 3*s - 16572. Does 21 divide k?
True
Let g(n) = 2*n + 12. Suppose 73 = 8*a - 79. Let r = 37 - a. Is g(r) a multiple of 12?
True
Suppose 74*g - 78*g = -12320. Suppose 59*u - 70*u + g = 0. Is 7 a factor of u?
True
Let q = 19 - 18. Let r be (1 - (q - 2))*36/24. Suppose -8*o = -r*o - 530. Does 20 divide o?
False
Suppose -211 = 13*a - 14*a. Let m = 607 - a. Is 9 a factor of m?
True
Suppose 61965 + 53177 = 18*o - 77854. Is o a multiple of 4?
False
Suppose p - 5*u - 632 = 404, 0 = 4*p - 5*u - 4099. Is p a multiple of 9?
False
Suppose 0 = -6*p + 5*p + 122. Let r = -36 + p. Let l = r + -26. Is 30 a factor of l?
True
Let d(z) = z - 5. Let c be (-5 + 2)/((-24)/64). Let t be d(c). Suppose -h + 40 = -t*r - 2*r, -h + 3*r = -46. Is 23 a factor of h?
False
Suppose -38*y + 36*y + 3*t = -11455, -t - 28618 = -5*y. Is 59 a factor of y?
True
Let x(l) = 242*l**3 + 2*l**2 - 2*l + 1. Let s be x(1). Suppose -1664 = 239*h - s*h. Does 13 divide h?
True
Suppose 31*s - 26*s + 115 = 0. Let r = s - -138. Does 9 divide r?
False
Suppose -93 = 5*u + 17. Let k be (1 - 0)*(-53 + 49). Let s = k - u. Is s a multiple of 18?
True
Let n = 103 - 101. Suppose -n*q - q + 687 = 3*y, 5*q - 2*y - 1145 = 0. Is q a multiple of 8?
False
Is 3 a factor of (1 + -7)*7/42*-99?
True
Suppose -d = 5*b - 17, -d = b - 4*b - 1. Suppose r + 12 = d*r. Suppose 2*v = -5*i + 32, -r*v = -2*i - i - 48. Does 14 divide v?
False
Suppose -2560600 = 36*c - 108*c - 46*c. Is c a multiple of 5?
True
Let j(n) = n - 12. Let o be j(13). Suppose -3 = -l - o. Suppose 0 = -2*a - 4*r - 12 + 38, -5*a = -l*r - 101. Is 19 a factor of a?
True
Suppose 5*m - 95444 = 3*k, -5*k = 114 - 99. Does 256 divide m?
False
Let r(m) = m**3 + 62*m**2 - 251*m + 370. Is 10 a factor of r(-65)?
True
Suppose 309 = 3*h - 3*j, 0 = -h - 2*j - 3*j + 85. Suppose -3*k - h = k. Let p = 41 + k. Is p a multiple of 16?
True
Suppose -500*y - 536 = -501*y. Let b = y + -448. Does 3 divide b?
False
Let r be (-18)/(-8)*2136/9. Suppose 4*o + 3*q - 533 = 0, -o + 5*o - r = -2*q. Suppose -5*s = -i + 155, 0 = i + 2*s - 0*s - o. Does 26 divide i?
False
Let a(r) = 171*r - 534. Is a(14) a multiple of 20?
True
Is 29582/210 - (-12)/90 a multiple of 61?
False
Let b be (10/(-4))/((-4)/(-3992)). Is 52 a factor of b/(-4) - (-5)/20?
True
Let n(y) = -y**2 - 2*y - 9. Let v be n(5). Let m = 75 - v. Is 17 a factor of m?
True
Let g(u) = 23*u**2 + 12*u - 34. Let s(b) = -36*b**2 - 18*b + 51. Let c(h) = 8*g(h) + 5*s(h). Does 13 divide c(-6)?
True
Suppose -84 = 6*x + 18. Let d(i) be the first derivative of i**2/2 + 23*i + 10. Is d(x) a multiple of 6?
True
Let f = 3815 - 3604. Is f a multiple of 18?
False
Let w(z) = -17*z**3 + 5*z**2 - z - 13. Let b be w(-4). Suppose -8*n = -b - 137. Is n a multiple of 18?
True
Let i = -24 + 64. Does 2 divide (i/30)/(2/105)?
True
Suppose 28 + 14 = 14*n. Suppose n*q - 5*u + 87 = 1334, -q = 3*u - 397. Is 12 a factor of q?
False
Let p(f) = -f**2 - 42*f - 61. Suppose 5*l + 5*t + 70 = 0, 4*l + 41 = 7*t - 6*t. Is p(l) a multiple of 20?
True
Suppose 5*u - 10 = 0, 17*u - 13*u + 52372 = 3*c. Does 45 divide c?
True
Suppose 0 = 5*h - 10*h - 5*j + 45, 3*h + 8 = 4*j. Suppose h*s - 268 = -4*c, -3*s - 3 = 9. Suppose 5*p - c = 34. Is 7 a factor of p?
True
Let d = -13 + 19. Suppose 14 - 35 = 7*k. Is 39 a factor of 351/d + (k/6 - 1)?
False
Let q(y) = 90*y**2 - 155*y + 1239. Is q(8) a multiple of 3?
False
Let l(f) = 44*f - 109. Let q be l(5). Let n = 166 + q. Is n a multiple of 17?
False
Let q(j) = -3*j**3 - 10*j**2 + 7*j + 16. Let y be q(-5). Suppose -5*u - b + 100 = 0, -4*u - 17 = -b - y. Is 7 a factor of u?
True
Let j = -141 - -148. Suppose 6*f + 65 = j*f. Is f a multiple of 13?
True
Let i(r) = 39*r**2 - 129*r - 27. Is i(30) a multiple of 12?
False
Let s = 188 + -184. Is 17 a factor of (-252)/s*(-4 - -7)/(-3)?
False
Let f be -6*(0 + -2)/6 + 193. Suppose 0 = 87*z - 102*z + f. Is 3 a factor of z?
False
Let s be ((12/(-5))/(-3))/((-6)/(-15)). Suppose -v + s*m = -6*v + 1356, -3*m + 279 = v. Is 45 a factor of v?
True
Suppose -5*t + 62 = -238. Let v = 112 + t. Is v a multiple of 33?
False
Let q(g) = -g**2 + 6*g - 5. Let o be q(5). Suppose 2*x + 3*y - 95 = 0, o = y + 2*y + 15. Let l = 77 + x. Does 33 divide l?
True
Let o be (5 - (-9)/(-2))*-2. Let t be o/5 - 426/(-30). Suppose -t*u + 15*u - 35 = 0. Is 17 a factor of u?
False
Let m(d) = -8*d + 362. Let n(z) = 15*z - 723. Let i(o) = 5*m(o) + 2*n(o). Suppose 51*x - 27*x = 18*x. Is 13 a factor of i(x)?
True
Suppose 7*s - 1902 = 467