 9954. Does 23 divide j?
True
Let g be 29/10 + ((-117)/30 - -4). Let i(l) = 91*l**2 - 12*l - 3. Is 10 a factor of i(g)?
True
Let n(y) = -17*y**3 + 4*y**2 - 7*y + 17. Let p(g) = 85*g**3 - 21*g**2 + 34*g - 86. Let r(j) = -11*n(j) - 2*p(j). Is 21 a factor of r(3)?
False
Let t = -8 - -7. Suppose 4*s = s + 21. Is 21 a factor of (14 - s)*(t + 28)?
True
Suppose 5*a = 4*h, 2*a + h = -0*a. Is 405 - (-1 + a)*5 a multiple of 10?
True
Let o = 0 - 12. Let w(l) be the third derivative of -5*l**4/24 + l**3/3 + 89*l**2 - 2. Is w(o) a multiple of 21?
False
Let y be ((-80)/3)/4*3. Let q be ((-4)/(-3))/(y/(-330)). Suppose w - 4*k + q - 123 = 0, 0 = -5*k - 20. Is w a multiple of 6?
False
Let k(y) = 3*y**2 - 14*y - 6. Let s(z) = -7*z**2 - 25*z + 1. Let n be s(-3). Is k(n) a multiple of 17?
False
Let m = -59507 - -155932. Is m a multiple of 91?
False
Let n(j) be the first derivative of 4*j**2 - 28*j - 1. Suppose 0 = -12*g + 120 + 84. Is 9 a factor of n(g)?
True
Suppose 7*y = 78 + 83. Let q(w) = -w**2 + 36*w - 29. Is 9 a factor of q(y)?
True
Suppose 0 = -2*l + 4*c + 9332, 271*l + 2*c - 9338 = 269*l. Does 4 divide l?
True
Let l = 41873 - 27259. Does 6 divide l?
False
Let k(o) = -16*o - 6. Let z = -127 + 125. Does 26 divide k(z)?
True
Is 72 a factor of (6/(-9))/((45/75546)/(-5))?
False
Suppose 14*s = 2*i + 12*s - 490, 3*s - 717 = -3*i. Suppose i = 2*j - 212. Does 14 divide j?
False
Suppose 37 - 1 = -5*v - 2*n, -5*v - 42 = 4*n. Is 61 a factor of (-89)/(-534) - 6455/v?
False
Suppose -2*h = -4*h - 34. Let z be (14 + h)*(-34)/(-3). Let f = z - -54. Does 4 divide f?
True
Let q = 137 + -137. Let c(y) = -y**3 + y**2 + 4*y + 4. Let d be c(q). Does 6 divide -9*(-1 - (d - 1))?
True
Suppose -9*w = -3*w + 2436. Let t = w + 429. Is t a multiple of 3?
False
Let n(a) = -a**3 + 12*a**2 + 4*a + 18. Let h be n(11). Suppose 13*r - 5383 = -h. Does 16 divide r?
True
Let l be (-81)/(-2)*(-8)/12. Does 29 divide 1/(-4)*(l - 1225)?
False
Let t(h) = 4*h**2 - 6*h - 6. Let j be t(6). Is 3 + j/(-30) + 197/5 a multiple of 13?
True
Let j = 2924 - 816. Is 34 a factor of j?
True
Let u = -38493 + 61723. Is 281 a factor of u?
False
Is (-1604)/(-10)*(-165)/(-24)*24 a multiple of 11?
True
Let v(k) = -k**2 + 17*k - 2. Suppose 5*t - 5*i - 270 = -0*t, 0 = 4*i + 8. Suppose 4*z - 2*o - t = 0, 2*o - 29 = -5*z + 27. Does 29 divide v(z)?
True
Let t(s) = 11961*s - 594. Is 54 a factor of t(2)?
True
Let v(x) = -446*x - 1357. Does 7 divide v(-52)?
False
Suppose -501*q + 503*q = 4*p - 6058, -q = 2*p - 3019. Does 12 divide p?
True
Does 3 divide 6/((7 - 9)/(-2))?
True
Let o be (-1)/((-7)/(175/5)). Suppose -3*d = -3*g + 909, 0*g - 1551 = -o*g - 4*d. Is 11 a factor of g?
False
Suppose 3*b - 2*i - 39079 = 0, -4*b = 25*i - 30*i - 52117. Is 22 a factor of b?
False
Suppose -44 = -5*j + 2*k, 52 = 5*j - 4*k + 14. Suppose -4*q + 10 = j. Suppose -y = -5*w - 126, 3*y - 2*w + 119 - 510 = q. Does 20 divide y?
False
Suppose 2*c + 5*s = 0, 2*s = -3*c + 8*c. Suppose -3*i + 310 = 4*l + l, -4*i - 5*l + 410 = c. Does 25 divide i?
True
Let o(z) = -47*z**3 - 14*z - 11*z**3 - 16 + 7*z. Is 18 a factor of o(-2)?
False
Let x(f) = -f**2 + 7*f + 32. Let q be x(10). Suppose -q*a - 19 - 7 = 0. Let c(b) = -b**2 - 12*b + 18. Is 2 a factor of c(a)?
False
Let d = -33 + 33. Suppose d = -q + 9*q - 400. Let t = -23 + q. Is 9 a factor of t?
True
Suppose 3*o - 5*i - 7056 = 945, i = 3*o - 7989. Does 22 divide o?
True
Suppose 19*j = -9*j + 100800. Suppose -20*u = -32*u + j. Does 15 divide u?
True
Let m be (15/(-30))/(1/(-2302)). Suppose m*h = 1156*h - 575. Is 23 a factor of h?
True
Is 4 a factor of (-852)/(-284)*(-4814)/(-3)?
False
Let m(q) = 32*q**2 + 1649*q - 54. Is m(-57) a multiple of 118?
False
Suppose -5*d = 97*c - 99*c - 14453, 0 = 4*d - 3*c - 11568. Does 2 divide d?
False
Suppose -g + 8071 = 3*g + 5*p, -8068 = -4*g - 4*p. Let j be (-1)/5 - g/(-95). Suppose j*r = 23*r - 148. Is 13 a factor of r?
False
Let d(t) be the first derivative of 2*t**3 - 2*t**2 + 6*t - 21. Let c be d(3). Suppose 0 = -2*y - 10, -118 = -3*b - y + c. Is 4 a factor of b?
False
Suppose 3*b = u + 1439, 6*b - 11*b = 5*u - 2405. Does 5 divide b?
True
Suppose 0 = -5*o + 3*d + 963, -5*o - 5*d = -3*o - 410. Let b = o - 115. Is 8 a factor of b - (0 - (7 - 3))?
False
Suppose 0 = -3*y + 4*n + 2, -2*y = -3*n + 6*n - 24. Does 39 divide 269/y*(-2 + 8) + 4?
True
Is 44*3*315/70 a multiple of 2?
True
Suppose 0 = -3*o - 2*o + 3*g + 24, 12 = 2*o - 2*g. Suppose 346 = o*f - 347. Is (-9)/(-6) - f/(-14) a multiple of 17?
False
Let m be (-1)/(-30 + 27 + 52/18). Suppose 0 = m*s - s - 2328. Does 42 divide s?
False
Let a = 0 + 7. Suppose -a*i = -3*i - 28. Suppose y = i + 32. Does 13 divide y?
True
Suppose 35 = -5*g, 5*v + 4*g = 55808 + 39314. Does 11 divide v?
True
Let r = 131 + -52. Suppose 57 = p - r. Suppose 0 = 2*m - 3*m - 2*v + p, 2*m - 5*v = 254. Does 12 divide m?
True
Let g(m) be the first derivative of -m**4/4 + 2*m**3/3 - 3*m + 4. Let d be g(2). Is 92/(-1)*-1 + d/1 a multiple of 25?
False
Let k = 63 + -58. Suppose -h - k*m + 4568 = 3*h, 3*h - 3*m = 3399. Suppose 0 = -5*q + 5*o - 227 + h, -2*q = -3*o - 366. Is q a multiple of 12?
True
Suppose -11*s - 19582 = -j - 6*s, -5*s - 78448 = -4*j. Does 218 divide j?
False
Does 26 divide (36/(-10))/(287/(-177940))?
False
Suppose 5*u = -3*i + 25, 7*i - 3*u = 5*i + 4. Suppose -i*b = -y + 1108, 2*b - 10 = -2. Is 13 a factor of y?
False
Suppose 5600 + 6827 = -17*w. Is -71 + 70 + (1*w)/(-1) a multiple of 34?
False
Let d = 36127 - -2533. Does 10 divide d?
True
Let d = -135 - -285. Let p be (-4)/(-5 - (-745)/d). Suppose 33*v - 39*v = -p. Is v a multiple of 9?
False
Suppose 0 = 5*p - 3*h - 70, -5*p + 51 = h - 19. Is (-4)/p - (-127470)/245 a multiple of 65?
True
Suppose -10*t - 74 - 286 = 0. Let m = -29 - t. Let s = m + 14. Is 8 a factor of s?
False
Let y(l) = 1802*l - 4. Let d(b) = -b - 1. Let a(h) = -6*d(h) + y(h). Let f be a(2). Does 11 divide 4/5 + f/90?
False
Suppose -257*h + 621425 + 1718628 = 422319. Does 82 divide h?
True
Suppose 0 = -3*c - 3*a - 558, -2*c + 4*a = a + 392. Let m = c - -287. Does 2 divide m?
False
Suppose -7*b + 20 + 1 = 0. Suppose 1115 = 5*i - 3*o, -b*i - i + 5*o + 879 = 0. Does 8 divide i?
False
Let m(w) = w**2 - 21*w + 30. Let n(k) be the third derivative of -5*k**4/24 - 20*k**2. Let y be n(-4). Is 10 a factor of m(y)?
True
Let k(b) = b**3 - 18*b**2 + 61*b + 24. Is k(16) a multiple of 8?
True
Suppose 200 = 8*y - 4*y - 3*o, -2*y + 100 = -2*o. Suppose -y*h - 6 = -51*h. Is h a multiple of 2?
True
Suppose -4*y = -5*m - y + 72482, 3*y = -27*m + 391518. Is 5 a factor of m?
True
Let s = 5 + -5. Suppose s = 3*c + x - 139, 3*x = 11*c - 6*c - 255. Is 24 a factor of c?
True
Let z = 38516 - 10456. Does 20 divide z?
True
Let p(s) = 148*s**2 - 26*s + 111. Is p(7) a multiple of 43?
True
Let o be (2 - 3) + (2 - -23). Suppose -5*k - 3*c = 54, 0*c = 4*k - 4*c + 24. Does 11 divide ((-66)/k)/(4/o)?
True
Let k(m) = 3*m**3 + m**2 + 2*m + 7. Let f(q) = -4*q**3 - q**2 - q - 7. Let b(h) = -4*f(h) - 5*k(h). Let t be b(5). Let u = t + 1. Is u a multiple of 16?
True
Suppose -2*l + 13 = h - 1, -2*h = 5*l - 33. Suppose 0 = -6*r + r + 5*u, u = -3*r - h. Is ((-2)/r)/((-11)/(-22)) a multiple of 4?
True
Suppose -y + 6834 = -4*s - 8222, -2*y + 3*s + 30152 = 0. Does 368 divide y?
True
Let g(k) = 481*k + 7123. Does 18 divide g(35)?
True
Let u(r) = r + 73. Let d be u(-3). Let l be (2*1)/(10/15). Suppose -2*a = l*a - d. Is a even?
True
Let s(g) be the third derivative of g**5/15 + g**4/12 - g**3 + 2*g**2. Let w = 34 - 29. Does 13 divide s(w)?
True
Suppose -5*b - 167 + 69 = 2*c, -78 = 5*b - 3*c. Let u = 107 - b. Is u a multiple of 25?
True
Let q = -326 - -331. Suppose 3*s = -q*s + 4752. Does 11 divide s?
True
Let m = 117 + -66. Suppose -30 + 106 = 4*q - 4*x, 3*q = 4*x + 62. Suppose -q = u + 4*z - 44, 3*z = u - m. Is u a multiple of 7?
True
Let x(t) = -t**3 + 4*t + 4. Let a be x(-3). Let n = a - -32. Suppose n + 559 = 3*g + z, -5*z - 435 = -2*g. Is 41 a factor of g?
True
Let t = -61 - -64. Suppose 2*x - x - 296 = -t*s, -s + 607 = 2*x. Does 20 divide x?
False
Is 7 a factor of -1*(0/(-4) - 7)*(68 + 1)?
True
Suppose 144 = 5*a - 201. Suppose 3*g - 6*t = -4*t - 8, 2*g + 8 = 2*t. Is 27 a factor of (-2 - g - a)*(2 + -4)?
False
Suppose 3*u = -4*p + 120, -4*u = 2*p + u - 60. Let x = p