 multiple of 13?
True
Suppose p - 12*p + 111507 = 0. Does 33 divide p?
False
Let l = -102 - -93. Let d(y) = y**3 + 18*y**2 - 5*y + 13. Let j be d(l). Let g = -509 + j. Does 34 divide g?
False
Suppose n + 50 = -2*s + 6*n, 0 = -2*s - 3*n - 50. Let i be ((-30)/s)/(9/660). Let x = i + -28. Does 5 divide x?
True
Let j = 12129 - 11319. Does 135 divide j?
True
Let s(k) = -k**2 - 19*k - 13. Let n(c) = c**2 + 9*c - 2. Let v be n(-7). Let x be s(v). Suppose 0 = y - p - x, -5*y = 3*p - 30 - 137. Is 3 a factor of y?
False
Let h(y) = -y**3 - 10 - 12*y**2 + 4*y + 7*y - 12*y. Let v be h(-12). Suppose -v*z + 5*b - 95 = -4*z, -4*z + 3*b + 177 = 0. Is z a multiple of 10?
False
Let x = -13739 - -28209. Is 15 a factor of x?
False
Let r = 20862 - 20762. Is r even?
True
Let b = 113 + -108. Suppose -b*x - 5 = 3*k, x = -2*x + 2*k + 16. Is (176/66)/(x/54) a multiple of 16?
False
Let w(v) = v**2 - 92*v - 103. Is w(-41) a multiple of 7?
False
Let a(l) = -11*l**2 - l. Let t be a(-1). Let n(v) = 27*v - 5 + 0*v**3 - v**3 + 1 + 3 - 7*v**2. Is 10 a factor of n(t)?
False
Let g(b) = -4*b**2 + 95*b + 32. Does 6 divide g(19)?
False
Suppose 4*z = -o - 3*o - 8, 3*o = -z - 8. Does 4 divide 70*z - 20/4?
False
Suppose 5*j = -2048 - 1012. Let p = 1237 + -1485. Let o = p - j. Is 13 a factor of o?
True
Let n be 44 - 46 - (-1)/(1/304). Suppose u - 3*u + n = 0. Does 8 divide u?
False
Suppose 3*o - 35 = -4*a, -3*a - 4 = -5*o + 6. Suppose -3*d = -9, -2*x - o*d = -x - 386. Is x a multiple of 34?
False
Suppose q - 50 = -4*q. Suppose -q*s = -7228 - 112. Is s a multiple of 14?
False
Let o(w) = 29*w**2 + 6*w + 11. Let v be o(-4). Suppose -253 = -2*b + s, -v - 58 = -4*b + s. Let q = b - 56. Is 6 a factor of q?
True
Suppose 157*q = 154*q + 18963. Is q a multiple of 7?
True
Let w(q) = -q**2 - 8*q - 11. Suppose d = -12 + 3. Let t be w(d). Is t/8*-127*4/5 a multiple of 32?
False
Suppose 0 = -39*k - 10489 + 27230 + 214373. Is k a multiple of 12?
False
Let y(v) = 2*v - 46. Let t = -71 - -94. Let h be y(t). Suppose 16*o - 17*o + 42 = h. Is o a multiple of 26?
False
Is (-2002)/11*40/(-28) a multiple of 20?
True
Let y = 287 - 298. Is 12 a factor of (y/(-22))/(4/544)?
False
Let k(p) = 4*p + 140. Let g be k(-5). Suppose 0 = s - 167 + g. Is 2 a factor of s?
False
Suppose 0 = -142*b + 195*b - 184917. Is 31 a factor of b?
False
Let r(a) = 19*a**2 - 5*a + 21. Let s(c) = -37*c**2 + 10*c - 43. Let j(b) = 13*r(b) + 6*s(b). Is j(3) a multiple of 15?
True
Let h(r) = -9*r**3 + 3*r**2 - 2*r - 1. Let y be h(2). Suppose -525 = -5*m + v, 3*m + 3*v - 62 = 271. Let z = m + y. Is z a multiple of 9?
False
Let u = -4190 + 4565. Does 125 divide u?
True
Is -38*(-1)/(-7*6/(-3738)) a multiple of 19?
True
Let b(l) = 10*l**3 - 6*l**2 - 10*l - 7. Let c(s) = -9*s**3 + 5*s**2 + 10*s + 6. Let o(h) = 6*b(h) + 7*c(h). Is 4 a factor of o(-5)?
True
Let n be 260/70 - 2/(-7). Suppose n*p - 6 = -5*a + 3*a, -4*p - 5*a = 3. Suppose 2*z + 150 = 2*v, -2*z - 186 - 36 = -p*v. Is 17 a factor of v?
False
Suppose -26 = -3*c + 2*v, -4*c + 5*v = -58 + 14. Suppose 0 = 5*i - c*d + 2*d + 21, -d = -4*i - 19. Let g = i + 28. Is g a multiple of 16?
False
Suppose 3*z + 3*m = -3, -2*m - 1 + 5 = -z. Let j = 7 - z. Suppose 3*s - j = 0, -5*r = -r - 5*s - 229. Does 7 divide r?
False
Let n(w) = -w**3 + 13*w**2 + 16*w - 1. Suppose 7*v = -25 + 74. Let r be n(v). Suppose -9*q - r = -14*q. Does 9 divide q?
True
Suppose -2*c = -5*g - 16, 0*g = 4*c - 4*g - 20. Suppose -c*s + 32 = 5*s. Suppose 4*t = 2*r - 204, 5*r - 716 = s*t - 182. Is r a multiple of 22?
True
Suppose u = -5*o + 362, -4*u + 42 + 19 = o. Let y = 1526 - 1561. Let f = y + o. Does 12 divide f?
False
Let p(y) = -31*y + 240. Let r be -6*(16/24 + 2). Is 32 a factor of p(r)?
True
Let r = 173 + -177. Let b = 17 + -7. Is r/b - 959/(-35) a multiple of 15?
False
Let x be (4/(48/15))/((-1)/(-4)). Let v = x - -49. Does 43 divide v?
False
Let x = -3651 - -5571. Is x a multiple of 32?
True
Suppose -13226 = -6*h + 33574. Suppose -90*w - h = -98*w. Is 25 a factor of w?
True
Suppose f + 1 = -3*h + 3, -4*h + 4 = 0. Is 3 a factor of (-134)/(f*5*(-6)/(-15))?
False
Let c(w) = 2*w**3 - 7*w**2 + 7*w + 12. Let k = -114 - -120. Is c(k) a multiple of 18?
True
Let u(h) = 3*h**2 - 18*h - 22. Let s be u(7). Let f(w) = 629*w**2 - 2*w - 2. Is 37 a factor of f(s)?
True
Suppose -2*u + 29 = -v - 0*u, -4*u = 4*v + 92. Let z(o) = -7*o - 69. Does 53 divide z(v)?
True
Suppose 0*t + 22*t - 51263 - 10733 = 0. Is t a multiple of 15?
False
Let b = -26 - -229. Suppose v - 5*v - 512 = 0. Let i = b + v. Is 24 a factor of i?
False
Let a(r) be the first derivative of -r**2/2 + 80*r - 472. Suppose -8*o + 4*o = 0. Is a(o) a multiple of 8?
True
Let q(j) = 172*j - 1. Let z(v) = -v**3 + 5*v**2 + 6*v + 3. Let k be z(6). Let m be q(k). Suppose 515 = 5*b + 4*d, -m = -5*b - 0*b - 2*d. Does 24 divide b?
False
Suppose 5*g = 4*g + 3. Suppose 0 = -5*p - g*p - 32. Let n = 25 + p. Is 12 a factor of n?
False
Let g = -21720 - -27320. Is 10 a factor of g?
True
Is 4 a factor of (153408/1880)/(1/(-550)*-4)?
True
Is (2115/2)/((-249)/(-3320)) a multiple of 66?
False
Suppose 3*w + 4*l + 16 = 89, 139 = 5*w - 2*l. Let x be (w/63)/(2/14). Suppose 0*o = -x*c + 2*o + 272, -340 = -4*c - 3*o. Does 29 divide c?
False
Let d(z) = -2*z**3 - z**2 - 3*z + 1. Let m be d(-4). Let x = m + -112. Does 13 divide x?
True
Let f be (2 + -1)/(-2 + (-12)/(-8)). Does 83 divide (-11)/(((-10)/(-415))/f)?
True
Is 16 a factor of ((-403830)/(-60) + 41)*2/((-2)/(-2))?
False
Let w be (-4)/(-1*(-6)/(-3)). Suppose 0 = -5*o + 5*x - 25, 2*o = w*x - 3*x - 4. Does 28 divide (15/o)/(-5) - -209?
False
Let s(f) = -2*f**2 - f. Let q be s(1). Let o be 2/(-6) - (q + (-5428)/12). Suppose -o = -8*h + h. Is 13 a factor of h?
True
Let r(o) = 20*o**2 - 20*o + 58. Let a be r(13). Suppose -8 = 2*k, -4*u + 5*k = -a + 534. Does 40 divide u?
False
Suppose 12*q + 2*q = 56. Suppose -q*t - 636 + 1942 = 3*p, -3*p - 6 = 0. Is t a multiple of 41?
True
Let k be 181155/(-117)*(1 + -4). Suppose -13*s + k = -9. Is s a multiple of 39?
False
Suppose -2*u = 5*g - 12, 4*g + 0*g = -3*u + 11. Let j be (-4)/32*g*-8. Suppose 0*a = j*a - 32. Is 8 a factor of a?
True
Let a(m) = -8*m + 2. Let v be a(0). Let w be -2226*(v/(-3) - 39/(-18)). Does 28 divide (6/(-9))/(14/w)?
False
Let n(q) = 521*q - 1736. Is 14 a factor of n(28)?
True
Let y(k) = k**3 + 42*k**2 + 66*k - 1165. Is y(16) a multiple of 9?
False
Let u(w) = 2*w**2 - 2*w - 45. Suppose -v = y - 7, -5*y + 5*v + 5 = -70. Does 7 divide u(y)?
True
Does 7 divide (10/6*36/60)/(5/24850)?
True
Suppose -44180 - 52420 = -10*m. Does 30 divide m?
True
Does 68 divide 3797051/148 + 184/(-32)?
False
Let o(i) = -2*i**2 - 32*i + 6. Let x be o(-16). Suppose x*s + 11*s - 2584 = 0. Is s a multiple of 12?
False
Is 20/(400/522230) - 1/(6/(-15)) a multiple of 22?
True
Suppose 17*f + 14717 + 10035 = 69*f. Is f a multiple of 4?
True
Suppose 108499 - 2535830 = -225*w - 231781. Is 105 a factor of w?
False
Let t = 523 + 2525. Is t a multiple of 30?
False
Let x(o) = -2*o**3 + 7*o - 3. Let f be x(3). Let a = f + 31. Is (-645)/a - (0 - 3) a multiple of 31?
False
Suppose 4*d = -4*y - 1716, -2*d - y = 611 + 250. Let f = d + 598. Does 6 divide f?
False
Let y(z) = 64*z**2 + 25*z + 1. Let p be y(7). Suppose 255*c - p = 249*c. Is 12 a factor of c?
True
Suppose 2 - 65 = 4*u + 3*f, 3*u = -2*f - 46. Let q be 3 + u + 0/(-5). Does 11 divide (-225)/6*18/q?
False
Let s = -696 + 710. Let g(q) = -q**3 - q**2 + 1. Let v(u) = -4*u**3 - 20*u**2 + 8*u + 37. Let n(p) = 5*g(p) - v(p). Is 13 a factor of n(s)?
True
Let d(r) = -3*r**3 + 22*r**2 - r - 9. Let p(j) = 4*j**3 - 23*j**2 + 3*j + 10. Let z(f) = -5*d(f) - 4*p(f). Is 6 a factor of z(-18)?
False
Let y(f) = 16*f**2 + 9*f - 15. Suppose 4 = x + a, 3*a - 4 = 2*x - 22. Does 17 divide y(x)?
False
Let q(k) = 6*k**3 - 6*k**2 - 13*k - 4. Let z be q(-5). Let n = z + 1450. Is 13 a factor of (-2)/(-8) + (n/4 - 1)?
False
Suppose 3*z = 37 - 46, 4*m - 3*z - 29 = 0. Suppose -40*d = m*d - 43875. Is 9 a factor of d?
False
Let t = 81 + -82. Does 14 divide t/((-6)/378) - 2?
False
Let i = 600 + 525. Let w = i - 607. Is 18 a factor of w?
False
Suppose 3*c - 457 = 2*v, 0 = 3*c + v - 657 + 215. Is 4 a factor of c?
False
Let d(c) = -49*c + 300. Let y be d(0). Suppose 33*b = y + 195. Is b even?
False
Suppose 25*p - 