j = p + t. Is j a multiple of 9?
True
Let f(p) = -227*p - 1835. Is 7 a factor of f(-12)?
True
Suppose 47*b - 57*b = -80. Suppose -b*s - 340 = -12*s. Is s a multiple of 57?
False
Let z(t) = t**2 + 4*t + 2. Let p be z(-4). Suppose -p*r - 2*i + 138 = 0, -207 = -3*r + 4*i + i. Does 4 divide r?
False
Let v = 314 - 560. Does 62 divide (-164)/v - 526/(-3)?
False
Let y be 8/14 - 690/(-483). Suppose -9*q = -8*q - y*m - 1133, 2266 = 2*q + m. Does 41 divide q?
False
Let r(m) = -527*m**3 - 10*m**2 - 79*m - 134. Is r(-3) a multiple of 61?
False
Suppose -32*c + 34*c - 5*t = 17, -2*t - 26 = -4*c. Let k(p) = 16*p + 265. Is 19 a factor of k(c)?
True
Is 14 a factor of (-8 - (8 - 754)) + 11?
False
Suppose 5*f - k - 22 = k, k + 5 = f. Suppose -6 = -3*r, f*g - r + 3*r = -152. Is g/9*(-36)/1 a multiple of 26?
True
Does 9 divide ((-22)/(-20) - 15/10) + (-213748)/(-20)?
False
Suppose -315 = 9*r - 14*r. Suppose 11 = 4*x + r. Is -1 + x/(-11) + (-786)/(-33) a multiple of 23?
False
Let q be (-297204)/96 + 2/(-16). Let f = -2211 - q. Does 59 divide f?
True
Does 10 divide (-12)/((-768)/5840)*(-24)/(-1)?
True
Does 21 divide 0 + (-4)/(-58) + 187/((-130152)/(-46748880))?
False
Let q = -6116 - -9846. Is 102 a factor of q?
False
Let l(h) = -9*h + 4404. Is l(-20) a multiple of 18?
False
Suppose -19*q = -13*q - 1824. Suppose 29*u - 10*u = q. Is u a multiple of 2?
True
Let m(u) = 30*u**3 - 7*u**2 + 8*u + 2. Let v be m(2). Suppose -14*g - v = -1210. Is g a multiple of 14?
True
Suppose -10 = -29*f + 31*f. Is 51 a factor of (-13981)/(-55) - 4/f?
True
Suppose -5 = 5*c + 1795. Let o = -221 - c. Suppose 466 = 3*y - 5*x, 2*x = -3*y + 591 - o. Is y a multiple of 28?
False
Suppose 0 = -3*l + 5*l - 1750. Suppose -l = -6*u + 13*u. Let x = 143 + u. Is x a multiple of 3?
True
Let u = -25 + 74. Let d = 229 - u. Suppose -11*z = -15*z + d. Is 29 a factor of z?
False
Let n(x) = 1929*x - 10979. Is 119 a factor of n(6)?
True
Let b = 110 - -458. Suppose -p = -b - 132. Is p a multiple of 5?
True
Does 84 divide ((-4)/((-4)/255) + -3)*46?
True
Let a = 3463 + -3230. Does 145 divide a?
False
Let l = -59 - 236. Let f = l - -553. Is 6 a factor of f?
True
Suppose 71*m + 53*m = 88*m + 319140. Is 76 a factor of m?
False
Let j = 147 - 140. Let r(l) = 44*l**2 + l + 2. Let s be r(-4). Suppose -j*t + s = -t. Is t a multiple of 13?
True
Let c(k) = -1370*k - 10938. Is c(-29) a multiple of 22?
False
Suppose 5*i + 5 = 0, 0 = -3*v - 4*i + 2825 - 21. Does 32 divide v?
False
Let l(j) = 140*j + 4. Let o(q) = q**3 - 6*q**2 + 7*q + 7. Let f be o(3). Let u be l(f). Suppose -2*g = -g - u. Is g a multiple of 33?
False
Suppose 49*q = 52*q - 1299. Let b = 613 - q. Is b a multiple of 6?
True
Suppose 41 + 25 = 6*q. Let a = q - 15. Let y(k) = -36*k + 2. Is 22 a factor of y(a)?
False
Suppose -25772 = 76*l - 93*l. Is l a multiple of 160?
False
Let s(u) = 189*u**3 + 3*u**2 + 27*u - 60. Does 6 divide s(2)?
True
Does 11 divide 15 + 15/(-3) + 4544?
True
Let a be 5633 - (2 + 3 - 32/8). Suppose 15*n = 4*n + a. Is n a multiple of 8?
True
Let s = 15930 - 7369. Is s a multiple of 110?
False
Suppose -13*n + 100920 = -5*n - 87736. Is 270 a factor of n?
False
Let f be 1438/(-4) - (-57)/(-114). Let x = f - -659. Is 23 a factor of x?
True
Let l(a) = -a**3 + 11*a**2 - 12*a + 25. Let s be l(10). Suppose s*w - 1192 = 368. Does 24 divide w?
True
Suppose -m = 3*y - 139, -3*y + m = -3*m - 164. Let t be -3*(-1)/1*y/18. Suppose -t*i - 363 + 971 = 0. Does 13 divide i?
False
Suppose -93288 = -4*a + 4*v, 5*a - 29*v + 26*v - 116604 = 0. Is a a multiple of 9?
True
Let d = 126 + -119. Suppose d*o - o = 3*o. Suppose 8*f - 2*f - 30 = o. Is f a multiple of 3?
False
Let a(g) = -g + 12. Let w be a(12). Suppose 7*c - 4 - 3 = w. Does 14 divide (-6)/(-15) - ((-63)/5 - c)?
True
Let f(q) = 6*q - 15. Let t(n) be the first derivative of n**2/2 + 11. Let h(j) = f(j) + t(j). Is h(6) a multiple of 4?
False
Suppose 10*d - 31*d = 3*d - 189744. Does 59 divide d?
True
Let x = -360 - -666. Let m = x + -67. Suppose 0 = -6*j + 25 + m. Does 22 divide j?
True
Suppose 484*i - 4*s = 485*i - 2368, -11924 = -5*i + s. Does 16 divide i?
True
Suppose 0 = -h - 2*g + 2732, -13570 = 342*h - 347*h + 5*g. Is h a multiple of 16?
True
Suppose 5*v + 64 = 2*o - 150, 0 = 5*o + 3*v - 566. Suppose 2*a = 4*a. Suppose 10 = -5*w + g + o, a = 4*g + 8. Does 20 divide w?
True
Is ((-78)/4)/((231/(-1562))/7) a multiple of 13?
True
Let o = 59 - 57. Suppose -o*b - b + 4*d = -9, 4*b - 3*d = 19. Is (-2)/b + -12*(-41)/7 a multiple of 14?
True
Suppose 4*n = 801 + 23. Suppose -3*s = -5*u - n, -4*s + 111 = 3*u - 125. Does 7 divide s?
False
Let n = -3 + 9. Suppose n*z - 152 + 56 = 0. Suppose 12*t + 688 = z*t. Is t a multiple of 43?
True
Suppose -5*h = f - 15, -2*f + 5 = 5*h - 0*h. Let g be ((-1)/3)/(f/90). Suppose 3*z - z - g*i = 70, 105 = 3*z - 2*i. Is 35 a factor of z?
True
Suppose -3*x - 5*b - 12 = -161, -2*x + 114 = -4*b. Suppose -41*p + x*p - 1212 = 0. Is 9 a factor of p?
False
Suppose 7*r + 868 = 2863. Suppose 104 = p + r. Is (p/2 + -3)*(0 + -2) a multiple of 13?
False
Let l(w) be the second derivative of w**4/12 - 7*w**3/6 + 13*w**2/2 - 28*w. Let i be l(5). Suppose i*u = 9*u - 1056. Is u a multiple of 44?
True
Suppose -25*x + 40053 = -25697. Does 5 divide x?
True
Let h = -32140 - -55828. Suppose 25*s + 22*s = h. Is s a multiple of 24?
True
Does 10 divide (-327184)/(-33) - (-8)/24?
False
Suppose 31*j - 35*j = -144. Suppose -6*o + 2*o = -j. Suppose 640 = -o*d + 19*d. Is 13 a factor of d?
False
Let b(k) = -18*k**3 - k**2 + 10*k - 9. Let y(w) = 53*w**3 + 3*w**2 - 31*w + 26. Let n(p) = 8*b(p) + 3*y(p). Is n(4) a multiple of 15?
True
Suppose q - 3*o = 260, -82*q - 3*o = -87*q + 1360. Is 25 a factor of q?
True
Does 23 divide 96/(-8)*736/(-3)?
True
Let c be (-90)/20*(-4)/9. Suppose -3*u - 2*v = -472, 2*u = -c*v + 378 - 62. Does 26 divide u?
True
Suppose 232810 = -30*o - 64*o + 156*o. Does 54 divide o?
False
Suppose -3*w + 6 = 0, 4383 = 5*r + 18*w - 14*w. Is r a multiple of 7?
True
Is 134 a factor of (4872/580)/((-4)/(-5090))?
False
Does 15 divide 1246380/150 - (-12)/15?
True
Let u = -16086 + 24756. Is u a multiple of 17?
True
Is 86 a factor of (1020/3)/20 - -15494?
False
Suppose 0*c - 2*c = -30. Let x(g) be the third derivative of 5*g**4/8 - 49*g**3/6 - 64*g**2. Is 48 a factor of x(c)?
False
Suppose -80 = -2*b + 4*k, -5*k - 24 = -b + 31. Suppose 57 = h - v - b, -5*h + 414 = 2*v. Is h a multiple of 28?
True
Suppose -14*s + 14 + 70 = 0. Let m(a) = 58*a - 68. Is m(s) a multiple of 14?
True
Suppose 3*l = 4*h + 18043, 5*l + 30*h - 30130 = 25*h. Does 7 divide l?
False
Let f = -6224 - -9192. Is 56 a factor of f?
True
Let f(b) = -10*b + 7. Suppose -8 = 2*t - 6*t - 4*h, -t = -3*h + 6. Suppose t = 2*s + 4*s + 12. Is f(s) a multiple of 3?
True
Let w be (-43 + -2)*(-4)/3. Suppose 3*v - z - w = -0*z, -3*z + 9 = 0. Does 6 divide v?
False
Is (280/30)/(((-63)/18225)/(-7)) a multiple of 21?
True
Suppose 2*m + 2*y - 1698 = 0, -m + 23*y = 20*y - 869. Let v = m + -606. Does 31 divide v?
True
Let w(q) = q**2 - 2*q + 7. Let j be w(5). Let r = 56 - 8. Let g = r - j. Does 13 divide g?
True
Suppose 16*i + 296 = 20*i. Let g = 306 - i. Suppose 0*t - g = -s - 2*t, -s + 220 = -t. Is s a multiple of 8?
True
Suppose 5*n - 80 = y, 0 = -4*y + 4*n - 2*n - 410. Let l = -146 - y. Is (-1 + l)/((-22)/7 - -3) a multiple of 49?
True
Let s(a) = 77*a**2 - 823*a + 36. Does 47 divide s(16)?
True
Let i(u) = 816*u - 117. Is i(1) a multiple of 63?
False
Suppose -2*u + 10 = -5*d, -2*u + 3*u - 5 = -d. Suppose -5*y = u*z - 327 - 38, z = -3*y + 65. Does 10 divide z?
False
Let a(h) = -593*h**3 + 2*h**2 - 6*h - 11. Is a(-3) a multiple of 241?
False
Let z(r) = -6*r**2 - 16*r + 15. Let y be z(6). Let x = -229 - y. Is x a multiple of 4?
True
Suppose 0 = 4*z + 3*t - 102, 4*z - t - 104 = -5*t. Let n be (12/14)/(22/32494). Does 20 divide (-16)/z + n/9?
True
Is 4 a factor of 602*22/(-539)*-21?
True
Suppose 18*g + 16*g - 547883 = -7*g. Does 50 divide g?
False
Let h = 9 - 5. Does 8 divide (-1)/((-2)/92*h/6)?
False
Is 86625/54 - 21/126 a multiple of 3?
False
Let r be (7 - 13) + 4 - 8. Is 42 a factor of 4/r - (-147780)/450?
False
Let o be (39/(-6) - -1)/((-2)/(-124)). Let t = 604 + o. Suppose -4*x - 2*j = -x - 206, -5*j + t = 4*x. Is 12 a factor of x?
True
Suppose 166*l - 164*l 