ose -4*j + 7*g = 5*g - 36, -5*j + 45 = -g. Suppose 8*p - j*p = 0. Is 8 a factor of y(p)?
True
Does 13 divide 2777558/231 - (-10)/(-165)?
False
Suppose 0 = -5*a - 0*i + 5*i - 12495, -i = 4*a + 10016. Let y = 3840 + a. Is y a multiple of 86?
False
Let y(q) = 53*q**2 - 2*q - 8. Let p be y(-3). Suppose -4*k = 5*w + 1230, k = 2 + 3. Let i = w + p. Is i a multiple of 45?
True
Let y(h) be the second derivative of 0 - 12*h - 31/2*h**2 - 2/3*h**3. Is y(-13) a multiple of 14?
False
Let f(m) = -203*m**3 - 14*m**2 + 96*m + 439. Is f(-6) a multiple of 188?
False
Let c(g) = -3*g**3 - 108*g**2 + 17*g - 33. Is c(-43) a multiple of 17?
False
Suppose 0*w = 5*w + 15. Let a be (-43 + 4)*(-1)/w. Let k = 28 + a. Does 3 divide k?
True
Suppose 0 = -s - 130 + 342. Suppose -2*v + 4*a + 736 = 0, 3*v + 5*a - 1371 + s = 0. Is v a multiple of 14?
True
Suppose t = 4*k + 3182, 2*t - 6*t - k = -12762. Suppose 13*r = 3*r + t. Does 23 divide r?
False
Suppose -15*x = -87*x + 779688. Is 91 a factor of x?
True
Let j(u) = -3*u**3 + 36*u**2 - 22*u + 54. Is j(11) a multiple of 5?
True
Let s = -58 - -58. Let y be 2 - (s/(-1))/(10/10). Suppose -3*u + 254 = -v - v, -u + y*v + 86 = 0. Is 24 a factor of u?
False
Suppose -3*m - 230*y = -235*y - 3810, 5*m = y + 6372. Does 51 divide m?
True
Let b = -373 + 436. Let j = 6 - 2. Is 8 a factor of (0 + j)*b/4?
False
Let t(g) be the second derivative of 11*g**4/6 - 4*g**3/3 + 15*g**2 - 59*g + 2. Is t(8) a multiple of 37?
False
Let k = 200 - 194. Suppose -k*h = -681 + 33. Does 11 divide h?
False
Suppose 10*j - 57067 - 48122 = 41331. Is j a multiple of 37?
True
Suppose -250*q + 233*q = 6583 - 22750. Does 7 divide q?
False
Suppose -51*h - 953 = -188. Let r(o) = o**3 + 16*o**2 + 7*o - 28. Is r(h) a multiple of 92?
True
Let a = -6090 + 9799. Does 7 divide a?
False
Let w(i) = -2*i - 48. Let l be w(-26). Suppose l*f - 69 - 1131 = 0. Suppose -8*h + f = -84. Is 12 a factor of h?
True
Suppose 7*i + 16201 = 34*i - 51947. Does 34 divide i?
False
Let t(k) = 85*k + 15 - 37*k - 43*k. Let a be t(0). Does 2 divide 1/3 + 40/a + 2?
False
Suppose -12*t - 2*s = -15*t - 666, 0 = 5*s + 15. Let i = 427 + t. Is i a multiple of 4?
False
Suppose 72*u - 11714 = 67*u + 4*a, 0 = 5*u + 4*a - 11746. Is u a multiple of 23?
True
Let t = 2070 + -841. Suppose 337 + t = 3*v. Is v a multiple of 9?
True
Let o(q) = 23*q + 9. Let j be o(7). Suppose -59*r + 37*r + 5588 = 0. Let s = r - j. Does 7 divide s?
True
Let x(j) = j**2 + 23*j - 3. Let k be x(-7). Let a = -49 - k. Is a a multiple of 22?
True
Let r be (-48)/32*-2*(-1)/(-1). Suppose -b = -r*v + 139, 2*v = 5*b - 32 + 129. Is v a multiple of 5?
False
Suppose 0 = -22*i + 14172 + 151356. Is i a multiple of 22?
True
Let q(x) = -x**2 + 20*x - 51. Let g be q(15). Suppose -g = a - 16. Let m(p) = -p**3 - 4*p**2 - 4*p + 6. Does 49 divide m(a)?
True
Let a(b) = 270*b - 25. Let j be a(5). Suppose -g + 335 = -2*g - v, -4*g = -v + j. Let l = g + 500. Is 28 a factor of l?
True
Suppose 4*r + x = -31, -2*x - 13 = 2*r + 1. Let a(o) = o**2 - 16*o - 32. Is 10 a factor of a(r)?
True
Suppose 3*i - 385 - 1073 = 0. Is 81 a factor of i?
True
Let a(g) be the second derivative of 7*g**4/4 - 5*g**3/3 - 7*g**2/2 + g. Let w be a(-4). Suppose 3*h - w = 198. Does 21 divide h?
True
Let i = 17351 - 11188. Does 30 divide i?
False
Suppose 37 + 51 = -8*a. Let o(d) = d**3 + 13*d**2 + 13*d - 33. Is 20 a factor of o(a)?
False
Suppose -5*k = m - 2832, 2*k + 372 = -5*m + 1491. Suppose 0*u - u = -k. Does 27 divide u?
True
Let k(a) = -a**3 + 30*a + 30. Is k(0) a multiple of 6?
True
Let b(r) = 14*r**2 + 12*r + 15. Let z be b(-5). Suppose -3*w + 7 + z = 0. Suppose 38 = 2*s - w. Is 31 a factor of s?
False
Let s(r) = -6*r + 112. Let k(c) = -4*c + 18. Let z be k(-7). Let f = 46 - z. Does 16 divide s(f)?
True
Is 24 a factor of (1*-102057 - 261/29)*(-3)/9?
False
Let n = 596 + -212. Let a = n + -357. Is a a multiple of 16?
False
Suppose -w = -4*w - k + 796, -5*k = -3*w + 790. Let z = 447 - w. Is z a multiple of 3?
False
Let m be 1*(-390 + (2 - -3)). Is 10*(-11)/m + 290/14 a multiple of 2?
False
Let u = -41 - -34. Let m = u + 11. Suppose m*t - 48 = 80. Does 12 divide t?
False
Suppose 0 = -2*w - 6, -4*c = -7*c - 3*w + 5409. Does 9 divide c?
False
Let m(d) = 3*d + 31. Let i be m(-5). Suppose i*n = 17*n - 27. Suppose -2*g - 20 = -k, 3*k - 5*g - n - 35 = 0. Is k a multiple of 12?
True
Let p(r) = -r**3 + 7*r**2 - 9*r + 13. Let g be p(5). Suppose g*c = 16*c + 132. Let t = -28 + c. Does 7 divide t?
False
Suppose 58*m = -72*m + 153790. Is m a multiple of 5?
False
Let m(g) = -491*g**3 - 3*g**2 - 185*g - 953. Does 24 divide m(-5)?
True
Suppose 27*v - 46965 = -3149 + 38939. Is 250 a factor of v?
False
Let v = -94 - -146. Suppose -v + 72 = b. Suppose b = -4*w, -w - 149 = s - 5*s. Does 4 divide s?
True
Suppose -313173 + 53793 = -30*n. Is n a multiple of 66?
True
Does 66 divide ((3 - 4) + 503)*1605/30?
False
Suppose 0 = 4*t - 2*t - 6. Suppose 0 = -5*v - u - 676, -268 = -t*v + 5*v - 2*u. Let y = -72 - v. Is y a multiple of 9?
True
Suppose -3*i - 2*l + 2 = 0, -i = 3*l - 5*l - 6. Suppose -6*y = -9*y, 4*a + i*y - 376 = 0. Is 4 a factor of a?
False
Suppose 0 = 23*b - 21*b - 12. Is 30 a factor of b/(16/(-24) + 159/225)?
True
Let z(h) = -h**2 + h - 9. Let l(y) = 3*y**2 + 5*y + 18. Let s(o) = -l(o) - 4*z(o). Suppose -11 - 5 = -d. Does 20 divide s(d)?
False
Let c(y) = -4*y**2 + 158*y + 8. Is 17 a factor of c(27)?
False
Let u = 4 + 8. Suppose -g - u = -3. Let t = g + 26. Is t a multiple of 6?
False
Let g(w) = -w**2 + 357*w**3 - 356*w**3 - 4*w**2 + 7*w. Let x be g(3). Suppose -x = v - 7. Does 4 divide v?
True
Let a(h) = -3*h**3 - 15*h**2 - 25*h - 87. Let u be a(-5). Let z = -39 + -1. Let x = u - z. Is x a multiple of 9?
False
Let v = 55653 - 37068. Is 177 a factor of v?
True
Suppose -4418 = 5*n + 2*c, 2626 = -6*n + 3*n + 5*c. Is 26 a factor of n/(-17) + 28/238?
True
Let n = 337 + -203. Suppose -5*z = 3*b - b - n, b = -4*z + 73. Suppose -5*g - b = -147. Is 10 a factor of g?
False
Suppose 0 = 15*d + 7*d - 5368. Suppose -220 = -b + 2*a, 4*a - d = -5*b + 4*b. Is b a multiple of 38?
True
Suppose d = -2 + 5. Suppose -596 = -3*b + 4*z, -4*b + 269 + 514 = -d*z. Is b a multiple of 30?
False
Suppose 5*b - 79 = -4*g, -72 = -4*g + 4*b + 16. Suppose 0 = -g*y + 194 + 7261. Is y a multiple of 71?
True
Let o = -180 - -179. Is -2*o/2 - -299 a multiple of 15?
True
Let d be (-1)/3 - 4/(12/335). Let k = 14 - d. Is k a multiple of 16?
False
Let b(v) = -v. Let h(y) = -y + 10. Let r be h(9). Let q(w) = -14*w - 9. Let f(x) = r*q(x) - 6*b(x). Does 2 divide f(-3)?
False
Let j = -106 - -107. Is j*-7*(-1517)/287 even?
False
Suppose 0 = -n - 5, 0 = 3*m + 2*n + 2*n - 22. Suppose 0 = -m*k + 2829 - 281. Does 26 divide k?
True
Let l = 867 + 1373. Is l a multiple of 7?
True
Let f = 10 - 6. Suppose 3*z - 24 = -f*l, 0 = 3*z - 5*l - 20 - 4. Is z a multiple of 8?
True
Is (7 + -63)*((-3)/(-8))/(31/(-10106)) a multiple of 48?
False
Suppose 8*j = 3*j, -76 = -2*v + j. Suppose 2*g + v = -0*g. Let i = g - -41. Is i a multiple of 22?
True
Let l = -20 - -23. Suppose 5*v - 285 = -l*g, -86 - 134 = -4*v - 4*g. Does 6 divide v?
True
Let o be 1/(-3)*(-30)/2. Suppose -4*i - x + 122 = x, -1 = -x. Suppose -o*c = -7*c + i. Is 3 a factor of c?
True
Does 7 divide (-32 - -31)/(1/(-1903))?
False
Let q be 3 + 2 - (1 + 1). Suppose 2*t = q*t - 3. Is 36 a factor of (102/(-56) - t/7)*-76?
False
Let g = -245 + -5. Let z = g + 432. Does 27 divide z?
False
Let f = 190 - -5060. Is f a multiple of 4?
False
Suppose 21 = a + 32*z - 34*z, -5*z = 3*a - 63. Suppose l + 2*l - 85 = 4*k, -3*l + 2*k + 77 = 0. Suppose a*i + 290 = l*i. Is i a multiple of 30?
False
Let j = 10534 + 49966. Is 275 a factor of j?
True
Let p be 252/54 - (-1 + 5/3). Suppose -4*y + p*q + 39 = 283, -2*y - 134 = 4*q. Let z = -25 - y. Does 6 divide z?
False
Let m = 3967 - 2239. Is (m/240)/((-1)/(-5)) a multiple of 6?
True
Is 15 a factor of (-77193)/18*(-300)/90?
True
Suppose 345960 = 282*s - 127*s. Is s a multiple of 124?
True
Let x(a) = a**2 - 21*a - 2. Is x(-10) a multiple of 5?
False
Suppose -4*m = 5*z + 73 - 1303, -5 = -m. Is 17 a factor of z?
False
Suppose 1222 + 250 = 23*b. Is b a multiple of 16?
True
Suppose -11940 = 14*l + 10*l - 30276. Is l a multiple of 141?
False
Suppose -51*y + 125277 = -7323. Does 40 