6 = 0. Is 30 a factor of i?
False
Let c(y) = -y**3 - 15*y**2 - 4. Let t be c(-15). Let z = t + 7. Does 2 divide z/2*(-2 + 6)?
True
Let a = 5382 + -2779. Is a a multiple of 55?
False
Suppose 33*o - 4060 = 5*o. Does 32 divide o?
False
Let y = 754 - -65. Is y a multiple of 23?
False
Suppose 127889 = -8*l - 39439. Is 36 a factor of 4/7 - l/98?
False
Suppose 3*i - 13452 = -54*i. Is i even?
True
Let i(c) = c**2 + 9*c + 49. Is 19 a factor of i(11)?
False
Let l = 60 - 51. Let b(r) = -r**3 + 8*r**2 + 22*r + 4. Is b(l) a multiple of 18?
False
Suppose -x + 262 = 3*c, 0 = -5*x - 0*x - c + 1380. Is 14 a factor of x?
False
Let x(w) = 71*w + 36. Let n(s) = 71*s + 36. Let t(u) = 3*n(u) - 2*x(u). Is 66 a factor of t(6)?
True
Does 6 divide (-32064)/(-144) - (-4)/(-6)?
True
Let z(p) = p**2 + 10 - 5*p - 12*p + 15*p + 0*p**2. Is 15 a factor of z(-5)?
True
Suppose 9*j - 14*j + 5620 = 0. Does 15 divide j/10 + -1*(-10)/(-25)?
False
Let n = 164 - 107. Is n a multiple of 28?
False
Let p(t) = -198*t - 14 - 208*t + 404*t. Let v(m) = -13*m**2 + m. Let g be v(1). Is p(g) a multiple of 2?
True
Suppose -31*c - 1980 = -7188. Is c a multiple of 14?
True
Suppose 57 - 237 = -2*q. Suppose 0 = -29*i + 32*i - q. Is 30 a factor of i?
True
Let q(j) = -12 - 11 - 41*j - 8 + 19. Is q(-3) a multiple of 14?
False
Let r(i) = 20*i + 29. Is r(8) a multiple of 9?
True
Suppose -9*w + 1037 = -808. Suppose 35*j - w = 30*j. Is j a multiple of 41?
True
Let z(c) = -7*c + 63. Does 14 divide z(-13)?
True
Suppose -10*n - 711 = -3911. Does 32 divide n?
True
Suppose -3*m - 14*j + 2474 = -16*j, 0 = 3*m + 2*j - 2494. Is 69 a factor of m?
True
Let a(t) = t**3 + t**2 + t - 2. Let c be a(4). Let m = c - 34. Does 12 divide m?
True
Let w(q) = -2*q**2 - 2*q**3 + 5*q - 5*q**2 + 5*q**2 - 6. Does 15 divide w(-3)?
True
Does 24 divide (-6)/3*4050/(-20)?
False
Suppose 14205 = 122*b - 66437. Does 82 divide b?
False
Let j = -450 - -882. Is 18 a factor of j?
True
Let x(l) = -20*l - 26. Is x(-13) a multiple of 18?
True
Suppose 2*m + 123 = -m. Let p = 64 + -3. Let d = m + p. Does 10 divide d?
True
Suppose 2*w + 4*f - 24 = -f, -5*f = -4*w - 12. Suppose 10 = d - 3*v, -5*v = -0*d + w*d + 13. Does 31 divide 28 - (-1 + -2)*d?
True
Suppose -2*a + 16554 = 5674. Is a a multiple of 136?
True
Let n(l) = 227*l**2 + 10*l - 8. Is 15 a factor of n(2)?
False
Suppose 3*m - 3 + 27 = 0. Let d(t) = t**3 + 7*t**2 - 11*t - 1. Let n be d(m). Let y = n - 3. Is y a multiple of 10?
True
Suppose -280 - 170 = -10*w. Is w a multiple of 3?
True
Suppose -3 = r, -2*d + 429 = -2*r - 201. Is d a multiple of 24?
True
Let x(l) = 6*l + 3. Suppose -5 - 7 = -3*p + 4*u, -u = 0. Let q be x(p). Suppose 5*b = i + 3*b - q, -b = -3*i + 81. Is 9 a factor of i?
True
Suppose -26 = -4*y + 198. Is 7 a factor of y?
True
Let y(q) = q + 10. Let c be y(-7). Let p be (0/2)/(c + -2). Does 21 divide -1 + (41 - (-2 - p))?
True
Let j = 560 + -343. Is j a multiple of 13?
False
Let b = 550 - 457. Is b a multiple of 31?
True
Suppose -66*r + 59*r = -476. Is r a multiple of 27?
False
Suppose 0*c + 8 = 4*c. Suppose 0*g = -c*g + 10. Suppose -g*s + 134 = -31. Does 18 divide s?
False
Suppose 0 = -2*k + 3*f + 72, k + 60 = 3*k + 3*f. Let i = 67 - k. Does 15 divide i/85 - (-446)/10?
True
Suppose -v - 2*n = -5*n + 14, 5*v + 22 = 3*n. Let r be (-80)/(-4)*(-1)/v. Suppose 44 = 2*w - 2*y, -3*y + r = 3*w - 2*w. Is 16 a factor of w?
False
Is 16 a factor of 2560*((-28)/5 + 6)?
True
Let w(j) = 4*j + 11. Let p(r) = -13*r - 33. Let c(i) = 4*p(i) + 11*w(i). Let y be c(-14). Suppose -34 = -5*q + y. Does 9 divide q?
True
Let z = -1343 + 2843. Does 50 divide z?
True
Let m = -185 + 199. Suppose -w = 4*z, 0*w = -w - 3*z. Suppose 3*i - m - 16 = w. Does 5 divide i?
True
Suppose -25*v + 22*v + 9 = 0. Suppose 12 = -4*m + 5*g, g - 2*g = -v*m + 2. Suppose -3*q + 0*y + 310 = y, -m*q - 4*y = -220. Does 34 divide q?
True
Suppose 0 = -8*j + 106 + 1614. Does 43 divide j?
True
Let g be 6/10 + 352/80. Suppose -2*f - 55 = -g*x, 0 = 5*f + x - 0 + 205. Does 15 divide (-6)/3 - (f + 5)?
False
Let l be 0/(3*(-6)/(-9)). Suppose l*z - 4*z - 108 = 0. Is 6 a factor of -2 + -1 - 0 - z?
True
Let m be (-6)/6 - (-2 - 0). Let v be 14 - 3/(-12)*1*-8. Does 9 divide 2 + m/(-1) + v?
False
Suppose -28 = -4*x - 0*x. Suppose x = -3*h + 19. Is 2 a factor of h?
True
Let g = -127 - -490. Is g a multiple of 33?
True
Suppose -w - w = 4*f, 5*f = -2*w + 2. Is 8 a factor of (72/(-90))/(f/(-20))?
True
Let r = 1061 + 681. Is 30 a factor of r?
False
Suppose 0 = -2*a + p + 604, -5*a - 4*p - p + 1480 = 0. Is a a multiple of 20?
True
Let a(n) = 37*n - 253. Is 12 a factor of a(13)?
True
Let l = 1912 - 1822. Is 2 a factor of l?
True
Let t(c) = -c**2 + 28*c - 34. Let j be t(27). Is 21 a factor of (-1272)/(-8) - (-3 - j)?
False
Let x be 0 - -2*178/4. Let k = -2 + x. Does 11 divide k?
False
Suppose 3*l + 5 - 14 = 0. Let k = 5 - 3. Suppose k*f + l*f = 40. Is f a multiple of 4?
True
Suppose -647 = -3*g - 173. Let v = g + -110. Is v a multiple of 3?
True
Suppose -5*j = -5*t, -2 - 14 = -3*t - 5*j. Suppose -t*n + 285 = 3*n. Is 23 a factor of 1 - (1 + -1 - n)?
False
Let j = 6535 + -3610. Is j a multiple of 117?
True
Suppose 486*q - 6696 = 474*q. Is q a multiple of 62?
True
Let k = 15 - 4. Suppose 0 = -15*y + k*y + 360. Does 18 divide y?
True
Suppose 432 = -6*f + 3462. Does 53 divide f?
False
Suppose -12 = -4*g + i + 2, i - 2 = 0. Suppose 45 = q + 2*t, -4*q - g*t + 116 = -48. Is 12 a factor of q?
False
Let g(f) = 4*f**2 - 13*f + 42. Is 8 a factor of g(9)?
False
Suppose -5*h + p - 93 = -23, 0 = 4*p + 20. Suppose -4*y = -2*t + 40, -y = -t + 11 + 7. Let b = t - h. Is 13 a factor of b?
False
Is 2 a factor of 9*2*(-69 + 73)?
True
Suppose 7*v = 3*v. Suppose 0*b - b + 9 = -2*f, -5*f - 3*b - 28 = v. Let z(p) = -p**3 - 3*p**2 + 5*p + 7. Is z(f) a multiple of 16?
True
Let g(y) be the third derivative of -y**4/6 - 8*y**3/3 + 3*y**2. Is 8 a factor of g(-8)?
True
Suppose -44*p + 7350 = -34*p. Does 35 divide p?
True
Let y(c) = c**3 - 7*c**2 + 6*c + 1. Let s be y(6). Suppose 4*d - 3 = s, 4*b - 132 = -4*d. Let u = b - 25. Is 6 a factor of u?
False
Let t(b) = 5*b**3 - 2*b**2 + 1. Let y(z) = -11*z**3 + 4*z**2 - 2. Let r(u) = -13*t(u) - 6*y(u). Let m be r(-3). Is 2 a factor of 4/m*-5*1?
True
Suppose 7*l = 4*l + 48. Let z be (-4)/(l/636) + -1. Is z/6*9/(-6) a multiple of 10?
True
Let l(q) be the third derivative of q**5/20 + q**4/8 - q**3 + 4*q**2. Is 12 a factor of l(5)?
True
Let f be ((-24)/5)/((-3)/10). Suppose 0*i + 10 = i. Suppose -h = -i - f. Does 7 divide h?
False
Let y be (2 + -90)*(-2)/4. Suppose 0 = 4*w - 0*w - y. Let a = -9 + w. Is a even?
True
Let o(s) = 1 - 13 - s + 8 + 4*s. Let y be o(4). Suppose -y*m + 12 = -4*m. Does 3 divide m?
True
Suppose -8*m + 25650 = 7*m. Does 103 divide m?
False
Let i = 34 + -30. Does 13 divide 9 + i - (2 + -2)?
True
Let v(l) be the third derivative of l**4/12 + 15*l**3 - 5*l**2. Is 30 a factor of v(0)?
True
Suppose -9*c + 273 = -69. Does 21 divide c?
False
Suppose 4*n - 567 = -3*r, 2*n + 756 = 4*r - 3*n. Is 9 a factor of r?
True
Let c(y) = 8*y**3 - 6*y**2 - 24*y + 129. Is c(8) a multiple of 24?
False
Let d(b) = -b**3 + 25*b**2 + 56*b - 27. Is d(27) a multiple of 2?
False
Suppose 30*f - 5505 = 25*f + 5*d, 3*f = -5*d + 3295. Is 37 a factor of f?
False
Let b(s) = 7*s - 18*s + s - 4 + 2*s. Is b(-19) a multiple of 19?
False
Let r = -7 + 27. Is (5 + r)/(2 + -1) a multiple of 17?
False
Let j(k) = -387*k - 122. Is 105 a factor of j(-7)?
False
Suppose 4*m - 3*g + 7*g - 316 = 0, -2*m + 151 = -5*g. Let j = m - 32. Is 23 a factor of j?
True
Let q = 38 + -32. Suppose -5*c + 2*y - 2 = -q*c, 20 = 4*c - 4*y. Is 37 - (0 + 0 + c) a multiple of 6?
False
Let i(r) = -r**3 - 18*r**2 + r + 19. Let q be i(-18). Is 41 + q - (-17 + 19) a multiple of 8?
True
Let y = 944 - 539. Let n = y - 241. Is n a multiple of 41?
True
Suppose 8*c - 5380 = 3*c - 5*r, 2*r - 3231 = -3*c. Does 94 divide c?
False
Suppose -4*k + 0*i = -5*i, 4*k + 2*i = 0. Let u(f) = -f**3 - f**2 + 24. Does 12 divide u(k)?
True
Let l(t) = -t**3 + t**2 + 11. Let c be l(0). Suppose c - 1 = 5*p. Let z(q) = q**3 + q**2 + 4*q - 3. Is z(p) a multiple of 8?
False
Let q(u) be the first derivative of u**3/3 + 9*u**2 + 22*u - 8. Is 17 a factor of q(-21)?
True
Let y = -560 - -920. Does 8 divide y?
True
Let a(l) = -l