 8/p?
True
Suppose -5*i - 145 = 3*u, 0 = -2*i - i - 15. Is (-522)/(-8) - u/(-160) a multiple of 13?
True
Let k(o) = 2*o**2 + 6*o. Suppose 8 - 2 = -2*b. Let t be k(b). Does 9 divide (t - 15/(-5)) + 65?
False
Suppose 30*h + 221 = 27551. Let n = h + 602. Is 17 a factor of n?
True
Let z = -1952 + 708. Is 65 a factor of (-5 - 0)/(z/(-156) - 8)?
True
Suppose -47459 = -15*l + 28857 + 30934. Is l a multiple of 65?
True
Let g = 1391 + 1334. Is 89 a factor of g?
False
Suppose 195*v - 191*v + 12 = 0. Does 18 divide 3*(3 - (669/(-9) + v))?
False
Let o(z) = -3*z**2 + 7*z**2 - 9 - 5*z**2 - 8*z. Let b be o(-6). Suppose -b*r + 36 = 3. Is 3 a factor of r?
False
Let d be ((-90)/20 - -4)/(1/(-12)). Let f(o) = o - 8 - 3*o**2 - o + o**3 - 13 + 11*o. Does 51 divide f(d)?
True
Let q be (8/16)/((-4)/(-8)) + 71. Suppose -q*m + 79*m = 2842. Does 21 divide m?
False
Suppose -86*p = -68848 - 122674. Is p a multiple of 17?
True
Suppose 11*m - 12*m - 5 = -3*n, 5*n = 15. Suppose m*o + 2*v - 528 = o, o = -4*v + 166. Is 10 a factor of o?
False
Suppose -4*a - 20 = 0, -5*a = 2*f - a - 1068. Let j = f + -315. Is 3 a factor of j?
False
Suppose 7*w - 2*u = 6*w + 645, 0 = -5*u - 10. Suppose -2*a + 1689 = -5*y + w, -a = -4*y - 521. Is a a multiple of 15?
False
Suppose 542*p - 4*u = 546*p - 53020, 0 = p - u - 13245. Is 144 a factor of p?
False
Let o(a) = 146*a - 6866. Is o(103) a multiple of 21?
False
Is (-12068)/(-36) - -23 - 4/18 a multiple of 7?
False
Suppose 37*g - 576238 + 599592 - 2203357 = 0. Is 38 a factor of g?
False
Suppose 0 = 2*i + v - 311, v + 21 = -3*i + 485. Suppose 7*j = i + 218. Suppose -351 - j = -2*g. Is 9 a factor of g?
False
Suppose -64*o - 11*o = -17325. Is o a multiple of 47?
False
Suppose -115*z = 105*z - 196*z - 119448. Does 14 divide z?
False
Let j(v) = 76*v**2 + 121*v - 369. Does 11 divide j(3)?
False
Let n = 79 + -81. Let m = 35 - 32. Is (-3)/((m/33)/(n + 1)) a multiple of 5?
False
Is (2 - 4)*(-6044820)/920 + 4/46 a multiple of 10?
False
Let v = -484 + 586. Suppose -96*k = -v*k + 2688. Does 28 divide k?
True
Let z(o) = -69*o - 900. Does 7 divide z(-20)?
False
Let g(r) = -11*r**2 + 6*r - 6. Let x be g(5). Suppose 0 = 111*b - 115*b - 3*t + 1469, -4*b = t - 1479. Let z = b + x. Is 15 a factor of z?
True
Suppose -51*u = -49*u + 2. Let s(m) be the second derivative of -103*m**3/6 + m**2 + 2*m. Is 15 a factor of s(u)?
True
Let h(a) = 3*a - 7. Let t be h(4). Suppose 2*v + 88 = t*u + 3*v, -4*u = 2*v - 74. Does 12 divide u?
False
Let o(q) = 29 + 315*q - 624*q + 311*q. Is o(22) even?
False
Let l(j) be the third derivative of -3*j**4/8 - 16*j**3 - 62*j**2. Is 3 a factor of l(-16)?
True
Suppose -5*w + 42 = -28. Suppose -18*m + 312 = -w*m. Is m a multiple of 26?
True
Is 77 a factor of ((-2420)/132)/((-4)/4368)?
True
Suppose -3*a - 66 = 5*y, -2*y - 5*a - 10 - 24 = 0. Let q be ((-16)/(-12))/((-8)/y). Suppose -l = 4*o + o - 129, q*o - 553 = -5*l. Does 11 divide l?
False
Let v(i) = 5*i + 7*i - 50 + 4*i - 4*i. Let u be v(-14). Let w = u + 374. Is 26 a factor of w?
True
Suppose 4*k - 5*j - 7 = 0, -4*k = -8*k + j + 11. Let l be k - (0 + 429/(-1)). Suppose -5*f - 4*v = -l, -5*v - 196 = -3*f + 78. Is f a multiple of 11?
True
Let k(x) = 7*x**2 + 2*x - 2. Let j be k(-2). Let z(v) = 2*v**2 - 10*v - 34. Does 34 divide z(j)?
True
Let o be (-1)/(3/15) + (1 - 1). Let m be o/((-20)/636) + -3. Let p = -105 + m. Is p a multiple of 17?
True
Suppose 2*q - 9656 = -4*n, -3*n + 7208 = -2*q + 12*q. Does 19 divide n?
False
Let g be (-42)/(-24) - (-1 - 3/(-4)). Suppose g*d - 34 = -4*o, -o - 4*d + 28 = 3*o. Suppose -82 = -m + o. Is m a multiple of 8?
False
Let n = -93614 + 136514. Does 78 divide n?
True
Suppose -8354 = -4690*x + 4688*x. Is 9 a factor of x?
False
Suppose -142*a = -645865 - 512855. Does 68 divide a?
True
Suppose 5*r + 808 = 5*w - 3*w, w = -r + 411. Suppose -x + w + 888 = 4*i, 2 = 2*x. Is 18 a factor of i?
True
Let r(p) = 3*p**2 + 23*p - 8. Let q be r(-8). Suppose l + 3*c - 20 = q, -2*l - 4*c = -17 - 15. Let w(y) = 19*y - 17. Is w(l) a multiple of 17?
False
Let k be (-1)/4*(4 - 21 - -1). Suppose -k*i + 696 = 3*q - 177, 2*q - 212 = -i. Does 6 divide i?
True
Suppose -15 = -5*u, -3*v - u = 4*u - 15. Is (4 + -1)/((v - 2)/(-56)) a multiple of 4?
True
Is (-75 + 183)*((-3280)/(-15) - 3) a multiple of 14?
False
Suppose -2544 = -5*v - d - 584, 0 = 2*v + 3*d - 797. Let a = v + -152. Does 23 divide a?
False
Let j be 5*(-3 - (-1988)/35). Let k = -131 + j. Does 69 divide k?
True
Let v be 2 + ((-1)/(1/(-96)) - 3). Suppose 3*k = v + 151. Suppose 3*p = 5*o - k, 0*o - o - 4*p - 2 = 0. Does 3 divide o?
False
Let r(c) be the first derivative of 9*c + 2/3*c**3 - 21 + 9/2*c**2. Is r(7) a multiple of 17?
True
Does 20 divide 9362*5/10 + -1?
True
Let d(b) = -34*b**2 + 19*b - 69. Let v be d(13). Does 87 divide (v/(-112))/((-8)/(-28))?
True
Suppose -118607 - 837463 - 691394 = -217*p. Does 52 divide p?
True
Suppose -5*c = 8*q - 4*q - 144268, -q + 28855 = c. Is c a multiple of 48?
True
Let x = -86 - -561. Let z = x + -308. Is 11 a factor of z?
False
Suppose 0 = 3*z + 2*z, d + 3*z + 151 = 0. Let p = 255 + d. Does 26 divide p?
True
Suppose -5*j - 120 = -70. Let x(o) = -4*o**2 - 51*o - 19. Is 3 a factor of x(j)?
False
Let y(g) = 2*g + 2*g + 95*g**2 - 8 + 11 + 20*g**2. Let m be y(-2). Let d = m - 181. Is d a multiple of 51?
False
Let a = -79439 - -120617. Is 144 a factor of a?
False
Let m = 7705 + -2154. Is m a multiple of 61?
True
Let p(h) = -14 - 12*h + 0 - h**2 - 1. Let z be p(-10). Suppose -2*g + 480 = 3*g + z*o, -5*o = g - 108. Does 31 divide g?
True
Let o(r) = 4*r + 40. Let p(u) = -9*u - 80. Let b(i) = 7*o(i) + 3*p(i). Let g be (26/(-169) + 16/(-65))*25. Does 15 divide b(g)?
True
Let p = 4714 - 988. Suppose 0 = 8*w + 10*w - p. Is 23 a factor of w?
True
Suppose 2*y = -2*g + 6528, 4*g = 3*g - 4*y + 3264. Is g a multiple of 48?
True
Let n(y) = -34*y**3 - 42*y**2 + 93*y - 91. Let d(i) = -8*i**3 - 10*i**2 + 23*i - 23. Let a(p) = -9*d(p) + 2*n(p). Is a(5) a multiple of 114?
True
Let r(m) = 138*m**2 - 11*m + 12. Suppose -8*t - 11 = -19*t. Is r(t) a multiple of 6?
False
Let y(c) = 246 + 5*c + 236 + 6*c**2 + 39*c**2 - c - 483. Suppose 3*w + 2*w = -10. Is y(w) a multiple of 11?
False
Suppose 3852884 = 63*y + 294014. Is 35 a factor of y?
True
Let h be -5 - 5/((-1)/(-8)*10). Is 6 a factor of h/(((-144)/128)/(282/8))?
True
Suppose 0 = 4*u + 127 - 87. Does 82 divide 82648/72 + (u/5)/(-18)?
True
Let c(m) be the third derivative of m**4/24 - 15*m**2. Let v(w) = -15*w + 5. Let g(x) = -20*c(x) - v(x). Does 5 divide g(-10)?
True
Let g be (9/(189/28))/((-2)/(-2190)). Suppose 4*t + 308 - g = 0. Does 30 divide t?
False
Let n(a) be the second derivative of -21 + 14*a**2 + 19/6*a**3 - 2*a. Does 15 divide n(8)?
True
Let b = 36070 + -25872. Is b a multiple of 131?
False
Let f = 6753 + -3326. Is f a multiple of 20?
False
Suppose t = 3*x - 7, 3*t + 8 = -7*x + 3*x. Suppose -2*i - 97 + x = 0. Does 6 divide 12/(-32)*54*i/9?
True
Let j be 194/(-8) + (105/20)/(-7). Let t = 155 + j. Is 5 a factor of t?
True
Suppose -5*r - 3*w + 91846 = 20424, 0 = 3*r + w - 42854. Is 67 a factor of r?
False
Suppose 4*k = -c + 4, -2*k + 22 = -k - 5*c. Suppose -6*i - 40 = -k*i. Let o = 34 - i. Is o a multiple of 5?
False
Let f(j) = 2713*j - 943. Does 162 divide f(6)?
False
Suppose 8*t - 63960 = -16*t. Is t a multiple of 65?
True
Suppose -3*d - n + 5 = 0, d = -0*d + 3*n + 15. Let t(b) = -b. Let h(x) = 25*x - 6. Let q(v) = d*h(v) + 24*t(v). Is q(2) a multiple of 8?
False
Suppose -4*g + q = -0*q - 12, -3*g + 28 = 4*q. Suppose 21 = -5*m + g*m. Is (-7619)/(-399) - (-2)/m even?
False
Suppose 5*n + 89*s = 86*s + 2760, 2*s = -3*n + 1656. Does 24 divide n?
True
Suppose j + 274 = 2*d, 0*j = -2*j + d - 533. Let q be (15/30)/((-2)/j). Suppose -z + 3*g + 31 = 0, z + z - q = 4*g. Is 37 a factor of z?
True
Suppose 3*j + 5*y = 68241, 134*y - 131*y = j - 22761. Is 6 a factor of j?
True
Let d(f) = f - 11. Let h be d(13). Let m be 2/(4 - h)*2. Suppose 0*l - m*l = 4, 154 = 3*b + 4*l. Is b a multiple of 9?
True
Let h = -1959 + 3515. Suppose -h = -13*z + 1330. Is z a multiple of 24?
False
Let h(z) = -2*z**2 - 211*z - 48. Is 62 a factor of h(-21)?
False
Let q be -32*((-16)/4)/8. Suppose 0 = -3*r + 4*v + 589, -q*r = -20*r + 5*v + 784. Is r a multiple of 30?
False
Suppose -1080 = k