ivide n?
False
Suppose 24*i - 3*i = 84. Suppose -3*u = 6, i*u + 1131 = 5*h + u. Is 15 a factor of h?
True
Suppose -6 = 2*i + r, -3*i - 7 = 4*r + 12. Let z = i + 0. Is 2 + -3 - (-30 - (1 + z)) a multiple of 5?
False
Let w(r) = 18*r**2 - 106*r - 10. Let d be w(6). Does 14 divide ((-8)/(-96)*-6)/(d/(-356))?
False
Suppose 0 = 2*y + 6, 3*y = -4*q - 222 - 3439. Let n = -529 - q. Does 16 divide n?
True
Suppose -12*k + 13*k = 3. Suppose 4*h = -k*g + 262, -3*h - 54 = -g + 42. Suppose -g*r = -91*r + 167. Is r a multiple of 33?
False
Suppose -28*o + 26*o + 2 = -b, 0 = -3*o + 6. Suppose -3*u + 1125 = -0*u. Suppose -t = b*t - u. Is t a multiple of 24?
False
Let n = -5393 - -6242. Is 6 a factor of n?
False
Is 8 a factor of -13 - (-13662)/(48 + -25)?
False
Suppose -260*x + 1903132 = -1828700 + 1297972. Is 151 a factor of x?
False
Is 20/30 - 28862*(-2)/12 a multiple of 17?
True
Let p(w) = -2*w**3 + 12*w**2 + 17*w - 16. Let k be p(7). Suppose -4*t + 2 + 14 = 0, 5*a - 315 = k*t. Is a a multiple of 13?
False
Suppose -549*z + 459*z + 4590 = 0. Is 3 a factor of z?
True
Suppose 3*n - z + 732 = 0, 976 = 2*n - 6*n - 5*z. Let m = -111 - n. Does 19 divide m?
True
Let g(l) = 13*l**3 - 3*l - 2. Let d = -105 + 107. Let z be g(d). Does 10 divide (2 - 6/4)*(z + 4)?
True
Let d = 71 + -80. Let b(r) = -27*r - 45. Does 22 divide b(d)?
True
Let h be (2/(-4))/(2/(-124)). Let f be 8/(-28) - (-2043)/21. Suppose f - h = i. Does 22 divide i?
True
Let u = 62496 - 29040. Does 31 divide u?
False
Let f(x) = 2*x**3 - 8*x**2 - 4*x + 10. Let m be f(4). Let v be (-16)/24 + (-6)/(-27)*m. Is (2/v)/(-3) + (-5162)/(-174) even?
True
Suppose -g + 50 = -368. Let d = g + -233. Does 9 divide d?
False
Let h = -1927 + 2515. Is 12 a factor of h?
True
Suppose 0 = -22*c + 16123 + 9045. Is c a multiple of 15?
False
Suppose 160 = -42*j + 44*j. Suppose j*r - 22*r - 59334 = 0. Is r a multiple of 31?
True
Suppose 2*l = 404 + 274. Suppose -106 - l = -5*c. Is c a multiple of 3?
False
Suppose 0 = -5*q + 18 + 17. Let z(p) = 3*p**2 - 79*p + 0*p**2 + 41*p - 44 + 45*p. Is 19 a factor of z(q)?
True
Suppose 5800 = i - y, 4*i - y - 35699 + 12484 = 0. Is i a multiple of 27?
True
Suppose -2*p + 5*u + 4755 = 0, p + 26*u - 2384 = 22*u. Is p a multiple of 17?
True
Let w be 3844/(-14) + 96/168. Is 26 a factor of (-1)/(2/(2*w))?
False
Let h = 420 + -228. Suppose 0 = 3*n + 2*z - h, 2*n = n + z + 64. Let y = -62 + n. Is y even?
True
Does 35 divide (208719/18)/((-6)/24*-2)?
False
Suppose 3*o - 10*o + 595 = 0. Let h = 170 - o. Let l = -38 + h. Is 5 a factor of l?
False
Suppose 6*t - 34 = -4. Suppose 0 = 6*p - t*p. Suppose -544 = -p*d - 4*d. Is d a multiple of 8?
True
Let c be (30/(-9))/((-38)/57). Suppose -r + c*r = h - 106, -8 = 2*r. Is h a multiple of 8?
False
Suppose 0 = -u + 5, 3*y = -4*u + 14 + 6. Suppose 5*s = -5*b + 2845, 3*s + y*s + 2*b - 1705 = 0. Is s a multiple of 21?
True
Suppose -5*g + 5651 = h - 76, -5*h + 3*g + 28803 = 0. Is 19 a factor of h?
True
Suppose -2084 = -2*c + 2*b + 112, -4*c + 4396 = -2*b. Suppose 5*u - 2*a = 3*a + c, -9 = 3*a. Does 50 divide u?
False
Let o(u) = -u**2 + 84*u - 857. Is o(36) a multiple of 14?
False
Let f be -4 + -7 + (4/2)/(-1). Is 10 a factor of (6162/9)/f*-6?
False
Let m = 307 + -302. Is (m/((-30)/(-556)))/((-76)/(-114)) a multiple of 8?
False
Let f(b) = -2*b**3 - 42*b**2 + 38*b + 25. Let h = 44 + -66. Does 3 divide f(h)?
False
Let c be 2/(4*3/174). Suppose -3*i + 16 = 3*t - c, 5*t - i = 81. Let h = t + -2. Is h a multiple of 14?
True
Suppose b + 30 - 11 = 3*d, 5*d - 37 = -b. Suppose 14*k - d*k = -7. Let a(z) = -139*z - 4. Does 45 divide a(k)?
True
Suppose 31*c - 1 = 32*c - t, -c + 4*t = 16. Suppose -2100 = -5*v - 4*p, 5*v + p - 2100 = c*p. Is v a multiple of 30?
True
Suppose 5*s + 431 = -0*r + 3*r, 0 = 4*s - 8. Let a = 45 + r. Is 10 a factor of a?
False
Let j be (18/4)/((-19602)/(-3264) - 6). Suppose -55*x + 61*x = j. Is x a multiple of 34?
True
Let w(o) = -o**3 + 20*o**2 - 17*o - 33. Suppose -38*j - 76 = -42*j. Is 2 a factor of w(j)?
False
Let b be 6/(-21) - (-229)/(-7) - 2. Is 34 a factor of ((-3805)/b - 7) + 2/7?
True
Suppose -t = -0*t - 4*q - 39, 3*q + 36 = t. Let d = 54 + t. Is 5*(-8)/60*d/(-2) a multiple of 2?
False
Suppose 3*k = -4*c + 26974, k + 876*c = 881*c + 9023. Does 49 divide k?
False
Let l be (-1 - -6) + 4 - 0. Suppose l*r = 3*x + 6*r - 1470, -2*x - 4*r + 992 = 0. Is 27 a factor of x?
False
Suppose 9 = -i - 3*u, -5*i + 5*u + 15 = -0. Suppose i*f = 2*g - 4*f - 1008, 3*f = -3*g + 1548. Is g a multiple of 16?
True
Is 274 a factor of (-15)/((-90)/(-680)*-1)*1233/6?
True
Let l(i) = -i**2 - 19*i + 2. Let b be l(-19). Let u be 4/6*(-9)/b. Does 34 divide (u - -2) + 117 - 4?
False
Let v be ((-12)/7 + 2)/((-5)/(-35)). Suppose 0 = v*y - 3*y + 83. Suppose -241 - y = -3*j. Is 26 a factor of j?
False
Let n(a) be the second derivative of -10*a**3/3 + 121*a**2/2 + a - 27. Does 24 divide n(0)?
False
Let q = 106643 + -66031. Does 286 divide q?
True
Let b = 40 + 8. Suppose -31*a = -33*a + b. Suppose -2*m + 48 = -a. Does 12 divide m?
True
Let s = 4653 - 3607. Is 2 a factor of s?
True
Let b(l) = 2*l**2 + 17*l + 10. Let i be (-402)/42 + 3/(-7). Does 4 divide b(i)?
True
Let k(h) = 11*h**2 + 64*h - 422. Is k(12) a multiple of 11?
False
Let j(f) = 2*f**2 - 6*f + 571. Is j(-23) a multiple of 27?
False
Let c(j) = j**2 + 6*j + 24. Suppose -8*r = -2*r + 96. Let a be c(r). Suppose 4*h + a = 6*h. Does 9 divide h?
False
Let n = 778 + 3506. Does 4 divide n?
True
Let s = -31 + 37. Suppose s = -7*b + 5*b. Let f(w) = 3*w**2 - 2. Is f(b) even?
False
Let g(q) be the third derivative of -17*q**4/12 + 7*q**3/6 - 93*q**2 - 5*q. Let u be (6/2)/(6/(-4)). Is g(u) a multiple of 15?
True
Is ((-96)/(-80)*1)/(((-24)/6345)/(-4)) a multiple of 23?
False
Let m(s) = -s**2 - 12*s - 5. Let c be m(-15). Let z be (c/60)/((-2)/12). Does 15 divide (-373)/(-5) - (-2)/z?
True
Let q be -1 - (3 + (-8)/2 - 165). Suppose -2*d - 36 = -f, -4*f - 36 = -5*d - q. Is f a multiple of 13?
True
Suppose -3144 = 14*r - 8870. Let a = 721 - r. Does 12 divide a?
True
Suppose -21*j - 22 = 20. Let h(s) = -8*s**3 - s - 2. Does 29 divide h(j)?
False
Suppose x = a - x + 12, -x = -5. Is 16 a factor of (41/(-4) + a)/((-22)/1760)?
False
Let w(i) = 4*i**2 - 25*i - 436. Is w(-39) a multiple of 68?
False
Suppose -2*x = 3*d - 14 - 11, d - 23 = 3*x. Let n be (-10)/(-55) - (-31)/d - -8. Does 15 divide (n + -47)*20/(-6)?
True
Let h be 1 + (-7 - -3)/(-1) + -3. Suppose 10*i - h = 9*i. Suppose 3*k - 17 - 43 = 3*l, i*k + 3*l = 50. Is k a multiple of 11?
True
Suppose -466 = -a + 590. Let y = 1896 - a. Does 21 divide y?
True
Let d(l) = 56*l + 1029. Let m be d(-11). Suppose -2*o - 17 = -3*x - 0*x, 5*x - o = 40. Suppose x*g - m = 2*g. Is 21 a factor of g?
False
Let p be 857/2 - (-5 + (-27)/(-6)). Suppose 0 = 3*d + 4*w - 644, -5*w + p = 2*d - 2*w. Suppose 6*n = 15*n - d. Does 12 divide n?
True
Let k be (-1 - 4)/(-3*4/12). Let x be k + -1 - 1/2*8. Suppose 28*m - 33*m + 540 = x. Is m a multiple of 12?
True
Suppose -73 - 77 = -2*r. Suppose d = -r + 112. Is d a multiple of 4?
False
Let l = -172 + 346. Does 25 divide (l/(-7 - -1))/(-5 + 4)?
False
Suppose -28329 = -3*w + 40*t - 43*t, 5*w - 47231 = -3*t. Is w a multiple of 218?
False
Let b = 55 + -50. Suppose c + 3*c = 3*m - 328, -b*c = 4*m - 458. Is m a multiple of 16?
True
Let b(g) = 12*g**2 - 56*g - 184. Is b(28) a multiple of 66?
True
Let o = -26430 + 48834. Does 13 divide o?
False
Suppose -7*k + 127 - 99 = 0. Suppose b + 4*d = 85, -b = -d - k*d - 40. Is b a multiple of 13?
True
Suppose 8*p = 3*p + 225. Let s = p + -13. Is 16 a factor of s?
True
Is 196 a factor of 60/(-100) + (-6 - (-459515)/25)?
False
Let j(a) = -712*a**2 - 8*a + 1. Let y be j(-1). Let b = 1109 + y. Is b a multiple of 6?
False
Let r(z) = 4*z**2 + 19*z - 26 + 37 - 10*z. Let d be r(8). Suppose 445 + d = 7*y. Is y a multiple of 14?
True
Let j(n) = -n**2 + 2*n + 12. Let o be j(4). Let w be 0 + o + -1 + (2 - 0). Suppose -w*d + 11*d - 102 = 0. Is 8 a factor of d?
False
Let v = -84629 - -148193. Is 118 a factor of v?
False
Suppose -33*n + 31*n + 10 = 0. Let b(v) = 6*v**2 - 3*v + 27. Let q be b(n). Let j = q - 105. Is 25 a factor of j?
False
Suppose 3*z = -2*s + 59092, -2*z - 9*s + 43567 - 4180 = 0. Is 201 a factor of z?
True
Let h(k) = 42 + 2*k**2 - 15 - 7*k 