 3*p - 1806. Let f = x + -191. Is 26 a factor of f?
False
Let d(a) = 2*a**3 - 49*a**2 + 366*a - 117. Is 14 a factor of d(32)?
False
Let g(j) = 27*j**2 + 4*j - 4. Let w(m) = -3*m - 45. Let y be w(-14). Let v be g(y). Suppose v = 4*u - 3*c, 4*c = -3*u + 113 + 51. Is 30 a factor of u?
False
Suppose -4 - 10 = -f. Suppose -c + 5*c - f = -2*m, 15 = -5*m. Suppose -d + 271 = c*t, -6*d - 265 = -5*t - d. Is 6 a factor of t?
True
Let l(h) = -10*h - 46. Let m be l(-7). Suppose m*u = -8*u + 14976. Does 26 divide u?
True
Let x(k) = -k**3 + 52*k**2 - 1446. Is 15 a factor of x(51)?
True
Let r be (-4)/(12/5) - 4/(-6). Let f be r/(-4) - 222/(-8)*1. Is 4 - f/6 - 76/(-6) a multiple of 6?
True
Suppose 7*g + 1034 = 3659. Let c = g - 135. Is 15 a factor of c?
True
Let p = -1123 - -3664. Is p a multiple of 33?
True
Is (-15 + 13)*-321*(-50)/(-4) a multiple of 132?
False
Let a(h) = h**3 - 23*h**2 + 25*h - 19. Let d be a(23). Suppose 16 = -4*z, -d = -2*b - 2*z + 726. Is 22 a factor of b?
False
Suppose -4*f + 654*k + 3003 = 651*k, 21 = 3*k. Let v be (-40)/(-7) - (-6)/21. Suppose -v*g - g = -f. Does 18 divide g?
True
Suppose 11*i - 50017 = -2*g, 5*g - 16*i = -19*i + 125214. Is 44 a factor of g?
False
Suppose 25*u - 13895 = 26305. Is 7 a factor of u?
False
Suppose -2*n + 4*z = -790, -3*z - 515 - 2697 = -8*n. Is 13 a factor of n?
True
Suppose -3*k = h - 0 - 12, 2*h = -4*k + 18. Suppose 0 = -k*p + 6*p + 72. Let a = p + 62. Is a a multiple of 19?
True
Let g be (-8 - -5 - (-20)/(-6))*6. Let z = -21 - g. Suppose -19*b + 48 = -z*b. Is 12 a factor of b?
True
Suppose -103*q - 122*q = -3112777 - 336473. Is q a multiple of 21?
True
Suppose 10*p = 91*p + 136582 - 595123. Is 9 a factor of p?
True
Let y(k) = 62*k**2 + 7*k + 14. Suppose -69 = 7*d - 55. Is y(d) a multiple of 8?
True
Let g = 1801 - -274. Is g a multiple of 10?
False
Is (-5 - 12/12)*(-5755)/6 a multiple of 41?
False
Suppose 72*x = 46*x - 61*x + 268569. Does 63 divide x?
True
Let c(o) be the third derivative of o**5/2 - o**4/8 + o**3/3 - 3*o**2. Let p be c(2). Suppose 8*q - p = 1164. Does 16 divide q?
True
Suppose 0 = 2*f + 2*z - 28, -3*z + 2*z + 62 = 5*f. Let w(u) = 6*u + f*u - 11*u - 18 - 4. Does 20 divide w(7)?
False
Suppose 2*u - 14292 = -2*v, -2835 - 32927 = -5*v + 3*u. Is v a multiple of 10?
True
Suppose y - 3*f - 5 = 0, -4*f = -1 - 11. Suppose -y = 3*l + 1. Is 8 a factor of l/(-10)*(0 - -74)?
False
Let p(j) be the first derivative of 14*j**3/3 + 23*j**2/2 - 66*j + 51. Does 25 divide p(6)?
False
Let k = 254 + -68. Let p = -114 + k. Let t = 103 - p. Does 9 divide t?
False
Let c(m) = 61*m**2 + 3. Let s be c(3). Suppose 8*k + s = 4*k. Let p = -18 - k. Is 20 a factor of p?
True
Let x(z) = -3*z**3 - 15*z**2 - 10*z + 25. Let w be x(-9). Suppose 10 = 5*n, -5*s + 3*n + w = -n. Is 12 a factor of s?
False
Let o = 71 - -308. Let a be (-6*3)/3*-1. Suppose a*j = 431 + o. Is j a multiple of 15?
True
Let a = 5 + 2. Let k = a + -15. Does 14 divide ((-44)/k)/((-2)/(-16))?
False
Suppose 10156 - 674 = z + 2*i, 5*z - i - 47399 = 0. Is z a multiple of 60?
True
Let u = 531 + -346. Suppose -178*q = -u*q + 3192. Is q a multiple of 24?
True
Let a = -7247 - -4079. Is 15 a factor of (-9)/15 + a/(-30)?
True
Suppose 15*x - 105 = -15. Does 42 divide -540*(x - (-264)/(-30))?
True
Suppose 0*i - 633 = 3*i. Let n be (-6)/(-24) - (-301)/(-4). Let l = n - i. Is 28 a factor of l?
False
Let k(u) = 35*u + 3242. Let y(z) = 9*z + 810. Let b(f) = -2*k(f) + 9*y(f). Is b(0) a multiple of 7?
False
Suppose 111*z - 106*z - 90 = 0. Let x be 1/2*(3740 + 6). Suppose z*h - x - 2879 = 0. Does 44 divide h?
True
Is 21 a factor of (-68175)/(-21) - (-29)/(3045/(-45))?
False
Suppose i + 3*a = -2 + 18, -32 = -4*i - 4*a. Suppose -2*w + 24 = i*w. Suppose -140 = -w*f + v - 5*v, 0 = 3*f + 2*v - 108. Is f a multiple of 5?
False
Suppose 62*s = 75*s - 19201. Does 145 divide s?
False
Suppose 12807 = 3*a + 3*u, -12791 = 13*a - 16*a - 5*u. Is a a multiple of 72?
False
Let a(g) = 31*g**2 - 41*g - 4. Does 4 divide a(-6)?
False
Let d(s) = 38*s**2 - 60*s - 540. Is 18 a factor of d(-9)?
True
Suppose 0 = -3*m - 5*c + 35 + 5, c = -m + 10. Suppose m*p - 666 = -3*g, -4*p + 6*p = 4*g - 888. Does 6 divide g?
True
Let q be 126/(-35) + 4/(-10). Let y be (2 - 3)/(q/28). Suppose -49 = -2*g - y. Does 10 divide g?
False
Suppose 22*t - 414266 = -9*t + 368422. Does 74 divide t?
False
Let k = -22668 - -63733. Is k a multiple of 43?
True
Let u(v) be the first derivative of -4*v - 6*v**2 - 1/3*v**3 + 14. Is u(-11) a multiple of 2?
False
Suppose -186371 = -5*m - 4*z, -37285 = -2685*m + 2684*m + z. Does 60 divide m?
False
Suppose 30*z + 89037 = 12*z + 223155. Does 13 divide z?
False
Let t be ((-84)/(-15))/((-6)/(-720)). Let r = -360 + t. Is r a multiple of 12?
True
Suppose r - 9026 = 5*c, -45242 = 117*r - 122*r - 3*c. Is r a multiple of 3?
False
Suppose 172*r = 93*r - 90*r + 7404735. Is 15 a factor of r?
True
Let j be ((-248)/155)/(0 - 4/10). Suppose -g + 157 = 2*z, 2*z - 631 = -j*g - 3*z. Suppose 2*y + g = 5*y. Is y a multiple of 18?
False
Suppose 8*z = 4*w + 3*z - 2, 3*z - 6 = 0. Suppose 0 = 3*h - 6*h - 3*n, h = w*n + 16. Suppose h*p = 174 - 54. Does 8 divide p?
False
Let k(l) = -l**3 + 59*l**2 - 325*l + 87. Is k(51) a multiple of 27?
True
Suppose n - 4*p = 2*n + 35, 5*n - 5*p = -175. Let u be -1 - (n - (-2)/(-1)). Does 28 divide (-1 - 2) + u + -2?
False
Let r = -5475 + 10072. Is 50 a factor of r?
False
Does 118 divide (2340/8619 - 2/17) + (-122710)/(-65)?
True
Is (-14)/(-133) + (2154528/114)/6 a multiple of 21?
True
Let j(o) = -o**2 - 10*o - 19. Let h be j(-4). Suppose 0 = h*s - 7 - 3. Does 14 divide 406/28 + 1/s?
False
Let m(i) be the first derivative of i**6/360 - i**5/60 + 17*i**3/3 + 38. Let x(c) be the third derivative of m(c). Is x(-2) a multiple of 4?
True
Let m be (-2)/(0 - (2 - (-124)/(-63))). Suppose 15 + m = u. Suppose z = 10 + u. Is z a multiple of 8?
True
Suppose 13602 = 3*u - s, 106*s = 111*s + 15. Is 3 a factor of u?
True
Let q be (-4)/(-8) - 6824/16. Let l = 1175 + q. Is l a multiple of 34?
False
Is 63 a factor of 1780/30*123 + 10?
True
Does 13 divide (4/34 - (-1007)/(-323)) + 20023?
True
Let y(i) = -128*i + 32. Let f be y(-11). Suppose -20*h + f = -15*h. Does 8 divide h?
True
Let m be (5/(-15))/((8/(-12))/2). Is 76 a factor of (74/185)/(m/2650) + 4?
True
Is 14 a factor of 1/(((-95)/14490)/(-19))?
True
Suppose 169*p - 5097336 - 1336494 = 0. Is 23 a factor of p?
False
Let x(t) = 13*t + 415. Is 5 a factor of x(-20)?
True
Suppose -v + 12 = -5*v, 2*v + 146 = 4*g. Is 39/3 + -7*(-10)/g a multiple of 3?
True
Let a be ((-5542)/(-51))/(1/(-138)). Let l = 10439 + a. Is 3/(-15) - l/35 a multiple of 26?
True
Let p(a) = -85*a - 95. Let b be p(-28). Let x = b + -1333. Is 8 a factor of x?
True
Let d = -8085 + 33839. Does 283 divide d?
False
Let w = 465 - 461. Suppose 5*v = 5*z - 985, w*z + 4*v + 0*v - 796 = 0. Does 6 divide z?
True
Let o be 3/(-2)*4/(-3). Let a(x) be the third derivative of 11*x**5/30 - x**4/24 + x**3/3 + 11*x**2 + 3. Is 22 a factor of a(o)?
True
Let j be 20/(575/(-145) + 20/5). Suppose 3*q - 5*l = j, -5*q + 270 = 4*l - 709. Is 13 a factor of q?
True
Let h(f) = f**3 - 20*f**2 + 15*f + 2. Let i be h(19). Let q = -67 - i. Suppose -4*n + 136 = b - q*n, 168 = b + 5*n. Is b a multiple of 37?
True
Suppose -3*t + 5*j - 11 = -0*j, -3*t = 4*j - 25. Suppose y = -y + 6. Suppose 3*r = t*w + 69, -4*r + y*w + 25 + 69 = 0. Is r a multiple of 5?
True
Let q(c) = -c**2 - 37 + 17*c - 33 - 31 + 76. Let o be q(15). Suppose 3*a - o = 22. Does 3 divide a?
True
Suppose -6*r + 8 + 4 = 0. Let u be (0 - (-37)/2)*r. Does 17 divide u - (0*(-3)/6)/2?
False
Let t(c) = -3*c**3 + 2*c**2 - 2*c + 3. Let a be t(-3). Suppose k - 108 = -x, k + 3*x = -0*x + a. Suppose -4*l = -5*l + k. Is l a multiple of 30?
False
Suppose 8*d = 12*d. Suppose d = -5*j - 4*j + 351. Is j a multiple of 2?
False
Let h(a) = 4*a**3 - 7*a**2 - a. Let j be h(2). Suppose 15 = -3*f - 4*t, -4*f - j*t = t + 13. Does 6 divide 42 + (f*8)/(-2)?
False
Let c(p) = 4*p**2 + 23*p - 2. Let i be c(-6). Suppose i*j - 392 = 4*b, -b + 3 - 97 = j. Does 17 divide 2176/b*(1 + (-5)/2)?
True
Let b = 541 + 27. Suppose -2*t + 1188 = 3*w, 4*t = 3*t + 5*w + b. Suppose -2*p = -6*p + t. Is p a multiple of 34?
False
Let u be 240/45*(-549)/(-4). Let p = 1271 - u. Is 77 a facto