Is 3 a factor of i?
False
Let z be ((-135)/(-81))/(-2 - 14/(-6)). Suppose -z*y + y + 4*v = -948, y = 2*v + 240. Is y a multiple of 4?
False
Suppose 4*f - 699 = -5*v, -230*v - 3*f = -233*v + 387. Is v a multiple of 9?
True
Let t = -202 + 243. Suppose 21594 + 9074 = t*i. Is i a multiple of 17?
True
Suppose 0 = 5*l - 2*i - 48253, 0 = -3*l - i + 7584 + 21348. Is 53 a factor of l?
False
Let x = 44 - 41. Suppose x*l = 2 + 10. Suppose -655 = -r - l*r. Is 15 a factor of r?
False
Let c = -37 + 35. Suppose -3*f + 69 = -285. Does 14 divide (10 + f)/(4 + c)?
False
Let p = -44 + 48. Suppose -25*g = -30*g - 5*z + 8120, p*z = 3*g - 4900. Does 74 divide g?
True
Let l(c) = 546*c - 3255. Does 35 divide l(15)?
True
Is 4164795/525 + -5*6/(-525) a multiple of 52?
False
Suppose 0 = 5*b + 3*p + 22, -2*b = 12*p - 8*p + 20. Is -6 - (-643 - (b - -5)) a multiple of 20?
True
Let u(t) be the first derivative of t**6/20 - t**2/2 + 10. Let v(n) be the second derivative of u(n). Is v(1) a multiple of 5?
False
Let w(x) = x**3 + 10*x**2 - 2*x - 15. Let j be w(-10). Suppose -6*d = -8*d - 4*f + 454, -3*d + j*f = -626. Does 31 divide d?
True
Let f(b) = 2*b + 22. Let s(d) = -5*d - 10. Suppose 4*u + 12 + 4 = 0. Let k be s(u). Is f(k) a multiple of 17?
False
Let m(y) = -7*y**2 + 361*y - 2196. Let t be m(6). Let v(h) = 202*h - 1. Let i be v(2). Let r = i + t. Is 11 a factor of r?
True
Suppose 65*i + 70*i + 20068 = 139*i. Is 29 a factor of i?
True
Let v(t) = -34*t + 14*t**2 + t**3 - 24*t - 63 - 15*t + 16*t**2. Is v(-32) a multiple of 25?
True
Let x(z) be the first derivative of -3/2*z**2 - 7 + 41/3*z**3 - 3*z. Does 4 divide x(-1)?
False
Let p(t) = -52*t - 99. Let a be p(-2). Suppose -a*x = -3*r + 359, 6*x - 8*x + 373 = 3*r. Is r a multiple of 10?
False
Does 17 divide (0 + 12/(-8))/((-27)/11844)?
False
Suppose 3026 = -1059*x + 1060*x. Does 24 divide x?
False
Suppose 222*s - 218*s - 23770 = -3*n, -2*s + 15842 = 2*n. Is n a multiple of 219?
False
Let v(f) = 10*f**2 - 26*f - 904. Is v(33) a multiple of 139?
False
Let p be -8 + 9 + (-2 - -5). Suppose x - g = 318, 2*x - 765 = -p*g - 105. Is x a multiple of 35?
False
Suppose 7*z = -33*z + 200. Does 4 divide 3 - (2/z - 3888/45)?
False
Let d(m) = 5*m**2 - 33*m - 28. Let i(f) = -2*f**2 + 16*f + 14. Let u(c) = -3*d(c) - 7*i(c). Suppose -17*h = 7 + 61. Does 15 divide u(h)?
False
Let n(r) = -4*r + 42. Let d be n(10). Suppose 13 = -v - 3*x, 4*x + 14 + 2 = -d*v. Is ((-360)/(-5) - 2)*v a multiple of 14?
True
Suppose -4*s - 2877 = -7*s. Is -1 + s/35 - 4/10 a multiple of 13?
True
Suppose -a + 308 = -8*a. Let q = -16 - a. Is 14 a factor of q?
True
Suppose 0 = -37*b + 58631 + 35423. Does 62 divide b?
True
Suppose 1117962 = 42*n - 180342. Does 69 divide n?
True
Suppose 0 = 139*k - 144*k. Suppose -5*p - 1555 = 5*l, -4*l - p - 1241 = -k*p. Let b = 457 + l. Does 21 divide b?
True
Let u be (-26)/65 + (-1054)/(-10). Suppose 5*b = -4*v + u, -2*v + 4*b + 3 = -17. Does 4 divide v?
True
Let a(q) = -q**3 + 25*q**2 + 9*q + 528. Does 6 divide a(18)?
True
Let p(z) = 110*z**3 - z**2 + 22*z - 29. Does 9 divide p(4)?
True
Suppose -45*d + 8 = -41*d. Suppose s = -1 + d. Is 8 a factor of (47 - (s + -3)) + -1?
True
Suppose 5*t - 19*a = -20*a + 889, -a = t - 181. Let c = 224 + t. Does 7 divide c?
False
Suppose 3*z = -9, 30 + 3 = 4*k + z. Is 14 a factor of (-18)/k*(-72 + 1)?
False
Let y(p) = 19*p**2. Let l be y(1). Suppose 0 = 2*o - 3*d - l, -3*d = o - 2*d - 2. Suppose 3*f + 5*i - 217 = 0, -5*i = -o*f - i + 300. Is 17 a factor of f?
False
Let j(n) = 3*n**2 - 118*n - 2447. Is j(-38) a multiple of 33?
True
Let x = -4381 + 5005. Is 21 a factor of x?
False
Suppose 5*f = 3*h - 19, 2*f - h + 7 = -0*f. Is 36 a factor of 3570/9 - f/(-3)?
True
Suppose -7055 = -24*g - 25175. Let f = -338 - g. Is 14 a factor of f?
False
Let s be 2 - (-12)/8*2. Suppose 0 = k + s*x - 57, k = -k - 4*x + 114. Let n = k - 1. Is 5 a factor of n?
False
Suppose 84*n + 28 = 91*n. Suppose -2*f + 0*m = 2*m - 172, -362 = -n*f + 2*m. Is f a multiple of 2?
False
Let a be 8/((-2)/2)*(-190)/40. Suppose -4*w + 2*g - 22 = 0, -5*w + 4*g - 3 = 32. Is 5 a factor of -4 - (a/w + (-14)/(-21))?
False
Suppose 0 = 1023*o - 1004*o - 478116. Does 233 divide o?
True
Suppose -388*p + 6 = -385*p. Is (744/(-20))/(p/(-5)) a multiple of 20?
False
Suppose -18*s + 1614 = 174. Let n = 2 + 0. Suppose 0 = -3*m - n*m + s. Is m a multiple of 16?
True
Let s = 222 + -220. Suppose s*f - 246 = k + 3, -k = -4*f + 501. Is f a multiple of 42?
True
Let k be 4*(4 - (-39)/(-12)). Suppose j = -5*o + 8, -3*o - j = k*j + 2. Suppose -f + 109 = -o*w, -w - 3*w + 4 = 0. Does 22 divide f?
False
Let v = -378 - -402. Suppose v*r - 1320 = 19*r. Does 22 divide r?
True
Suppose 3*m - 54 + 45 = 0. Let x(g) be the third derivative of g**5/12 - 5*g**4/12 + 17*g**3/6 + 26*g**2. Is x(m) a multiple of 5?
False
Let t be 784/(-6) + 46/69. Let b = -90 - t. Is 11 a factor of b?
False
Let n(c) = 2*c + c**2 - 4*c**3 + 6*c**3 + 245 + 0*c**2 + 529. Does 31 divide n(0)?
False
Suppose 2*c + 3*t - 9 - 25 = 0, -c + 17 = 5*t. Is 16 a factor of (2/(-4))/(c/(-9214))?
False
Suppose 4*y = -0 + 12. Let k = -138 + 267. Suppose -y*s = 4*i - i - 105, -5*s = -3*i + k. Is i a multiple of 5?
False
Let z = 38 + -35. Suppose -4 + 39 = 5*f - 2*r, z*f = 4*r + 35. Suppose -v - 2*l = -131, v - 4*v = f*l - 395. Is v a multiple of 15?
True
Let i be (324 - (4 - 2)) + -2. Suppose 3*y = i - 80. Suppose 2*p - 52 = -r, -4*r - y = -p - 3*p. Does 12 divide p?
True
Suppose -4*o - i + 10046 + 35595 = 0, -4*o = 4*i - 45632. Does 16 divide o?
False
Let z(r) = r + 11. Let o be z(-7). Let d be (-6 + 2)/((-1)/175*2). Suppose -o*q - 3*q + d = 0. Does 8 divide q?
False
Suppose 133 = 15*j - 47. Let h be (3/48*j)/((-1)/572). Let g = -281 - h. Does 37 divide g?
True
Let j(s) = s**2 + 9*s + 12. Let t be j(-7). Let a = -1 - t. Is ((-60)/5)/(-2)*(a + 25) a multiple of 13?
True
Let a = 366 - 77. Suppose f = -2*d + 4*d - a, 3*d - 5*f = 444. Is 13 a factor of d?
True
Suppose 2*v - 15 = 2*q + 45, 2*q = -4. Let a = -165 + v. Let i = 43 - a. Is 16 a factor of i?
False
Let x be 28/(-42)*(6 - 0) - 87. Let c = x + 115. Suppose -4 = b - c. Is b a multiple of 5?
True
Suppose -312 = -5*a + 198. Suppose 5*g + a = 2*f, -f - 2*g + 34 - 1 = 0. Suppose -2*r + f = s, -2*s = -6*s - 12. Is 5 a factor of r?
False
Let t be (-23 - -86)/(6/16). Suppose 152 = 5*z - t. Is z a multiple of 16?
True
Suppose -515 = -4*z + 277. Suppose -378 = 9*i + z. Let h = -13 - i. Does 19 divide h?
False
Let w(p) = -p**3 + 6*p**2 + 2*p + 185. Let k be w(0). Let j = k + -61. Does 27 divide j?
False
Let g = 62 + -57. Suppose 1075 = -5*r - c, 4*r - g*r - 215 = -3*c. Let y = -150 - r. Does 13 divide y?
True
Let v be (-54)/(-10) + -6 - (-22)/(-5). Let r be (-2)/v + (-99)/(-15)*31. Let a = r - 133. Does 12 divide a?
True
Suppose -2*w - 13 = u - 195, 3*u + 4*w - 552 = 0. Let z = u + 62. Is z a multiple of 25?
True
Let b(o) = 5*o**2 + 47*o. Let t be b(-10). Suppose 273 = -17*s + t*s. Is s a multiple of 2?
False
Let s = -11709 + 17143. Does 22 divide s?
True
Suppose 23703 = 3*q + 4876 - 5794. Is q a multiple of 29?
True
Suppose 7864 - 1712 = 4*x. Does 7 divide x?
False
Suppose 3*j + 1467 = 5*s + 256, -4*s = -5*j - 2040. Let g = -147 - j. Is 14 a factor of g?
False
Suppose 6*v = -5 - 13. Let p be (-2)/((-8)/12) + v + 2. Is 23 a factor of (21 - -2)/(p - 5/3)?
True
Let s(k) = 3*k**3 - 17*k**2 - 5*k + 37. Does 3 divide s(8)?
False
Let w(v) = -39*v + 37. Let x(u) = -10*u + 9. Let h(n) = -6*w(n) + 22*x(n). Let i be h(8). Suppose -84 = -5*f - o - 0*o, -2*o = 5*f - i. Is f a multiple of 16?
True
Suppose 53416 - 87823 = -8*t + 64857. Is t a multiple of 24?
True
Suppose 86478 + 407456 = 27*p + 100814. Is p a multiple of 133?
False
Let b(k) = k**2 + 1. Let l(g) = 7*g**2 - 12*g - 67. Let i(v) = -5*b(v) + l(v). Is i(12) a multiple of 36?
True
Let g = -4692 + 10571. Does 28 divide g?
False
Suppose -4*x = -0*x + 4*o - 96, 2*x - 53 = 3*o. Suppose -65 = -5*g - x. Is (10 + 2/2)*(g - -3) a multiple of 19?
False
Let a = 2710 - -1026. Is 8 a factor of a?
True
Let y(i) = i**3 + i**2 + 4*i + 4. Let z be y(-4). Let m = 58 + z. Is 37 - 5 - (-1)/m*-2 a multiple of 5?
False
Let v(s) = 37*s + 1784. Is v(-44) a multiple of 6?
True
Let m = -7220 + 15380. Does 53 divide m?
False
Let f(r) be the first deri