tor of w?
False
Let o = 4830 + -2365. Is 32 a factor of o?
False
Let y = 512 - 242. Is 25 a factor of (-90 - 0)/((-12)/y*5)?
False
Does 33 divide 19*31/((-155)/(-1650))?
True
Suppose -272690 = -150*x - 21*x + 12025. Is x a multiple of 45?
True
Let q be 6/(6 + -8) + 7. Suppose h + 143 = b, -2*b - q*h = -2*h - 302. Is b a multiple of 58?
False
Let f = 6 - 4. Suppose 0 = 2*y - l - 10, y - 7 = f*l - l. Suppose -5*h - 135 = -5*c, 0 = -c - 4*h + 10 - y. Is c a multiple of 5?
False
Let y be 2/(-6)*-21 - 5. Suppose -2*r - 6*h + 680 = -4*h, y*h = -4*r + 1364. Is r a multiple of 57?
True
Suppose 0 = 3*k - 5*k, 2*u = k + 48. Suppose 2*o - 7 = 3*r, -2*r - u = -r - 5*o. Let y(f) = 41*f**3 + 5*f - 4. Does 6 divide y(r)?
True
Let q(y) = 100 - 93 - 10 + 101 + 14*y - 46*y. Does 14 divide q(-7)?
True
Suppose 0 = -248*w - 17*w + 2250111 - 446256. Is w a multiple of 44?
False
Let m = -10614 - -23694. Does 20 divide m?
True
Let d(b) = 127*b - 3027. Is 10 a factor of d(76)?
False
Suppose -1829 + 5998 = v + 5*k, 12452 = 3*v + 4*k. Is v a multiple of 37?
True
Let a be 5264/282 + 8/(-3). Suppose 5*y = 3*r - 1175, -17*r + 385 = -a*r - 3*y. Is r a multiple of 51?
False
Suppose 408*z + 120*z = 1546512. Is z a multiple of 101?
True
Suppose 0 = -339*r + 244*r + 748410. Is r a multiple of 39?
True
Let z(k) = 14*k + 42. Let d be z(-3). Is 5 a factor of 30 + d - (-30)/(-10 + 4)?
True
Let m be (-9)/(-2) - ((-45)/(-6) + -6). Suppose -270 = -m*l + 162. Does 9 divide l?
True
Suppose -21686 = -9*p - 3462 + 60310. Does 11 divide p?
False
Suppose 0 = 5*d + d. Let v be 111 + 2 + -2 + d. Let t = -35 + v. Does 19 divide t?
True
Let t = 597 - 604. Let y(g) = -3*g**3 - 3*g**2 + 15*g + 17. Is y(t) a multiple of 22?
False
Suppose -2*u = 2*a, u + a + a + 4 = 0. Suppose u*f - 32 = -4*f. Suppose -24 = -3*n + f*b + 40, -b = 4. Does 4 divide n?
True
Let f be 6/(-39) - (-441)/(-91). Is 4 a factor of ((-7 - -4)/(-3))/(f/(-215))?
False
Let a(g) = 2*g**3 - 8*g**2 - 3*g - 6. Let k(v) = 9*v**3 - 40*v**2 - 15*v - 31. Let s(b) = -11*a(b) + 2*k(b). Is 5 a factor of s(-3)?
True
Let p(a) = -718*a - 10481. Is 118 a factor of p(-70)?
False
Let s(p) = 3 + 2 - 2*p + p**2 - 9. Does 25 divide s(14)?
False
Let g(d) = -384*d**3 - 12*d**2 - 27*d + 16. Is g(-3) a multiple of 12?
False
Let i(k) = 5*k**2 + k**3 + 16*k + 11 + 0*k**2 + 5*k**2. Let j = -4550 - -4543. Is 14 a factor of i(j)?
False
Is 15 a factor of (120/(-56))/(5/(-2765))?
True
Is 5 a factor of 10*(2 + -3)*96650/(-100)?
True
Suppose -47*h - 4*c - 15497 = -50*h, -7*c + 20712 = 4*h. Is h a multiple of 14?
False
Let g(r) = r**3 + 14*r**2 - 15*r + 4. Let z be g(-15). Let n be -14 + 90 + 1*z. Suppose -2*p = 2*p - 4*s - n, 5 = -s. Is 3 a factor of p?
True
Let v be (-1 - -2)*(-36)/4. Let n = -8 - -11. Let g = n - v. Is g a multiple of 3?
True
Is (3 - -4) + (4 - -255) a multiple of 19?
True
Suppose 0 = -3*p + 3*t + 18, -2*p + 10 = -p - 3*t. Is ((-945)/84)/(2 - 9/p) a multiple of 5?
True
Suppose -289 = -l - 12*o + 8*o, -o = l - 286. Let v = l - 230. Is 20 a factor of v?
False
Let x be (1 + 0)*7*2. Suppose 13 = 3*c + 5*r - 2, 3*c = -3*r + 21. Suppose -c*q - 376 = -x*q. Is q a multiple of 14?
False
Suppose -10*d + 11*d + 3498 = 2*g, -3*g - 4*d = -5225. Is 19 a factor of g?
False
Let j(z) = -404*z - 852. Is j(-21) a multiple of 16?
True
Let k = -3 - -5. Let a(q) = q**2 + 34*q - 62. Let v be a(-36). Suppose -k*c + v*c = 72. Is c a multiple of 3?
True
Let m = -42 - -45. Let a be 13/(0 + (-4)/68) + m. Does 15 divide (-18)/(-15)*(a/(-4) + 3)?
False
Let u = -105 - -101. Let t = u - -378. Is 26 a factor of t?
False
Let f(o) = 4*o**2 + 19*o - 4. Let d be (10 - 2)/4*(-2 + -1). Is 14 a factor of f(d)?
False
Let f(v) = 74*v + 940. Does 20 divide f(90)?
True
Let h(d) = -13*d**2 + d**2 - 138*d - 9*d**2 + 242*d + d**3. Is 10 a factor of h(15)?
True
Let r = 43 - 39. Suppose 4*q - 4 = 4*b, r*q + 1 = 2*b + 3. Does 12 divide 0 + 70 + b/1?
False
Let k be 13/((-143)/(-42)) + 2/11. Suppose -3*d = 4*w, -k*d - w = -0*d. Suppose -3*y + 12 = d, -4*h + 97 = -4*y + 5. Does 13 divide h?
False
Suppose -513 - 6657 = -4*k - 5*s, -5*s = -3*k + 5395. Is 4 a factor of k?
False
Suppose 4*a - 786 - 730 = -4*f, -2*a + 2*f + 770 = 0. Let x = a - 135. Is x a multiple of 19?
True
Let t be (261/(-27) + 8)/((-15)/27). Suppose f = -t, -3*f + 1612 = 4*s + f. Is 24 a factor of s?
False
Suppose 33*a + 7*a + 27*a = 143782. Is 17 a factor of a?
False
Is 78/(-234) + (-54722)/(-6) a multiple of 160?
True
Let x(j) be the second derivative of -j**5/10 - 11*j**4/12 - 15*j**2/2 - 14*j - 2. Does 21 divide x(-6)?
True
Suppose -8*c + 467 = -1077. Let q = c - 103. Does 18 divide q?
True
Suppose -7*u + 9*u - 150 = 2*p, 0 = u + 5*p - 93. Suppose -74*n = -u*n + 884. Is n a multiple of 17?
True
Let k = 57 + -51. Is 34 a factor of ((-4)/k)/(0 + 6/(-783))?
False
Suppose 43*l = 46*l. Suppose 0*o = -3*q - o - 306, l = 5*q + 2*o + 509. Let f = q + 116. Is 13 a factor of f?
True
Is (-480)/2640 + (-4)/(-22) - -11269 a multiple of 20?
False
Suppose -2*n - 4*t + 10900 = 0, -44*n + 39*n + 27180 = -4*t. Is 68 a factor of n?
True
Suppose -3*t - t = 5*t. Suppose -29*r + 30*r - 192 = t. Is r a multiple of 12?
True
Let k be 4/16*6*(-116)/(-6). Suppose -5*x - 9 = -k. Suppose x*v - 176 = -j, -3*j + 586 = 5*v + 58. Is 20 a factor of j?
False
Let d(q) = -17*q - 19. Let y be d(-7). Let l be 8/(-6)*12/(-8). Suppose -4*p = -l*k - 2*p + y, 268 = 5*k + 4*p. Does 10 divide k?
False
Suppose 2 + 6 = 8*m. Let q be (m + 0 - -1) + 440/11. Suppose d - q = 180. Does 37 divide d?
True
Let u be 16/72 + 5/(90/(-5746)). Let f = u - -619. Is f a multiple of 15?
True
Suppose 14 = 2*y + 4*n, -3*n - 3 = -9. Suppose -5*d - 2*c = c - y, 2*c = -8. Suppose -7*o = -d - 921. Is 22 a factor of o?
True
Let q(w) = 81*w**3 + 3*w + 24. Is q(4) a multiple of 12?
True
Suppose 1387*g - 1382*g - 114848 = 3*f, -4*f - 45928 = -2*g. Is g a multiple of 4?
True
Suppose 0 = -5*d - 25*l + 20*l + 3105, -4*d = 5*l - 2480. Suppose -14*b + d = -523. Does 41 divide b?
True
Suppose -2769*y + 2746*y = -24656. Does 8 divide y?
True
Let i(p) = 17*p + 73. Suppose -32*d + 36*d - 68 = 0. Is i(d) a multiple of 14?
False
Let c(v) = -160*v**3 + 11*v**2 + 71*v + 188. Is 40 a factor of c(-4)?
True
Suppose -32*h + 832 = -96*h. Let x(k) be the second derivative of k**5/10 + 9*k**4/4 + 2*k**3/3 - 8*k**2 - 2*k. Does 29 divide x(h)?
False
Let g = -19 + 13. Is 2015/39 - 2/g a multiple of 13?
True
Is (-185970)/(-75)*(-5)/(-2) a multiple of 20?
False
Suppose 43543 + 27348 - 2251 = 48*a. Is 4 a factor of a?
False
Let c(n) = 5*n + 21. Let f(p) = 4*p + 21. Let x(q) = 3*c(q) - 4*f(q). Let u be x(-13). Let d(w) = w**3 + 10*w**2 + 13*w + 9. Is d(u) a multiple of 16?
False
Suppose -7*x + 3*x = 11*c - 170240, 4*x + 77376 = 5*c. Is 92 a factor of c?
False
Suppose 0 = 4*r + 2*c - 186, r = -2*r + 5*c + 107. Suppose 2*h - 138 = -r. Does 36 divide h?
False
Let z = -95 + 97. Suppose 3*b = -z*b + 3*b. Suppose -5*k + 200 = -5*t, -k = -b*k + 5*t - 34. Is k a multiple of 13?
True
Let x be ((-73)/219)/(1 - 776/774). Suppose x*u = 130*u - 501. Does 30 divide u?
False
Let q(o) = o - 6*o + 3*o - 36 + 0*o. Let m be q(-17). Is 13 a factor of (m/(-12) - (-63)/(-54)) + 100?
False
Let t = 37 + -84. Let s be 2565/(-30)*(-6)/9. Let o = s + t. Does 5 divide o?
True
Let q be (-1 - 31/(-7))/((-1)/(-7)). Let f be (15/4)/((-6)/q). Is (-819)/f - 6/(-15) a multiple of 4?
False
Suppose -319*g - 20 = -317*g. Is 3 a factor of g + 11 + (-145)/(-1)?
False
Is 31 a factor of 28/224 + 649/(-6)*564/(-16)?
True
Let c = 376 - 348. Suppose 36*u + c*u = 24384. Is 8 a factor of u?
False
Suppose 187329 = 143*y + 32*y + 41554. Does 17 divide y?
True
Suppose 101*b + 27456 = 61494 + 133218. Is b a multiple of 18?
True
Let m = 7162 + -4138. Is 16 a factor of m?
True
Suppose -28371 - 18269 = -4*q + l, -4*q - 3*l + 46608 = 0. Is 87 a factor of q?
True
Suppose 59*n - 64*n - 10 = 0. Does 17 divide 85/n*((-70)/5 - -4)?
True
Let u(p) = 7*p**2 - 22*p + 55. Let k = -194 - -199. Does 24 divide u(k)?
True
Let m = 49 + -44. Suppose -5*n - 5*u = -2060, -m*n = -3*u - 343 - 1757. Is n a multiple of 11?
False
Let c(a) = -3*a - 14. Let d be c(-18). Suppose -140 + d = l. Does 10 divide ((-4 + 4)/1)/1 - l?
True
Suppose 0 = 88*g - 309*g + 6653868. Is g a multiple of 17?
False
Le