4, 3*p - 9942 = -l. Is l a multiple of 15?
False
Suppose 272 = -7*v + 11*v. Suppose -7*u + 6*u = 0. Suppose -g + 5*g - v = u. Is g a multiple of 6?
False
Let i be 24/(-20)*((-16)/(-3) - 7). Does 8 divide 607 - 7/(-9 + i)?
True
Let z(s) = 36*s + 24. Let t be z(10). Let p = -184 + t. Suppose -p = 8*u - 1352. Does 18 divide u?
True
Let y(v) be the first derivative of 3*v**4/4 + v**3/3 - v**2/2 + 6. Let m be y(1). Suppose 0 = 2*k + m*t - 210, -4*k + 2*t + 2*t + 380 = 0. Does 9 divide k?
True
Is 34 a factor of 38144/22 - (60/(-825))/(4/10)?
True
Suppose -2*y = 0, 870 = 2*m - 9*y + 8*y. Is ((-306)/5)/((m/50)/(-29)) a multiple of 6?
True
Let r(c) = 15*c**3 + c**2 - c + 2. Let u be r(1). Suppose 0 = 10*d - u*d + 210. Is d a multiple of 6?
True
Suppose -3*f = 0, -3*q - 1316 = -q + 3*f. Let p = q - -1538. Is 80 a factor of p?
True
Let o be ((-2)/(-7))/((-12)/(-84)). Let d = o - -226. Does 30 divide d?
False
Suppose 112*f - 96693 = -24957 + 173544. Does 73 divide f?
True
Let k(l) = -l**3 + 4*l**2 + 11*l + 9. Let s be k(6). Suppose 34 = -5*u + s*o, 0 = 3*u - 2*u + o + 2. Does 37 divide (-552)/u + (-21)/(-35)?
True
Let k(q) = 5*q + 12*q + q**2 + 2 - 19*q - 8. Let a be k(-9). Let v = a - 63. Is v a multiple of 5?
True
Let l = 210 + -206. Let i(p) = 6*p**2 + 6*p - 11. Does 27 divide i(l)?
False
Let l = -727 - -755. Suppose -2*y - 4*f - l + 172 = 0, 4*y - 4*f - 324 = 0. Is y a multiple of 6?
True
Let c = -269 - -273. Suppose -492 = -2*x - c*w, 3*x + 6*w = 5*w + 728. Is x a multiple of 22?
True
Let h be -6 + 7461/(-6) - 1/(-2). Let b = -825 - h. Is 8 a factor of b?
True
Let g(f) = 2*f**2 - 34*f + 95. Let t = 243 - 218. Is 15 a factor of g(t)?
True
Let x(h) be the first derivative of -5*h**2/2 + 35*h - 80. Does 11 divide x(-6)?
False
Let l = 785 + -776. Suppose l*k - 4*c = 4*k + 5398, 2*k - 2162 = 3*c. Does 49 divide k?
True
Let k(c) = -6*c**3 + 2*c**2 - 8. Let d be k(3). Let r = d - -612. Does 36 divide r?
False
Let g be (4/5)/((-18)/(-29475)). Suppose -4*h = h - g. Is 35 a factor of h?
False
Suppose -23*b - 13525 = -24*b + 3*p, -b + 13525 = -2*p. Is b a multiple of 52?
False
Let n(p) = -p**2 + 6*p. Let u be n(4). Suppose 0 = 6*c - 4*c + u, 2*c = -z + 66. Is z a multiple of 3?
False
Let f(c) = 36*c + 31. Suppose -128 = -0*l - 16*l. Is f(l) a multiple of 2?
False
Suppose -134*j + 492894 = -13*j - 989356. Does 25 divide j?
True
Let m(f) = -f**2 - 39*f - 146. Suppose 4*t - 5*t + 2*x - 41 = 0, 3*t + 2*x + 83 = 0. Is 3 a factor of m(t)?
True
Let v(y) = y**3 - 44*y**2 - 18*y - 113. Let l = 86 - 41. Does 11 divide v(l)?
False
Suppose -u = -f + 2*u + 28, -f + 4*u + 29 = 0. Let s = 122 + f. Is 7 a factor of s?
True
Let y(c) = -c**3 - c**2 + 5*c - 1. Let t be y(-3). Is 6/(48/t) - (-462)/8 a multiple of 14?
False
Let r = -6354 + 4059. Does 3 divide r/60*(-12)/9?
True
Let b(j) = -2*j**3 + 45*j**2 - 12*j - 40. Let y be b(22). Suppose 540 = 3*g + y. Is 20 a factor of g?
True
Suppose -298*x - 35424 = -307*x. Does 13 divide x?
False
Let n(y) = 0 - 18 - 3*y - y. Let o be n(-7). Let i = 12 + o. Is 2 a factor of i?
True
Does 5 divide ((-316)/6*(-84)/112)/(1/188)?
False
Suppose 3*t = -3*f - 18, -27 = 4*f - 0*t + 5*t. Let s be 6/4 + f/(-24)*28. Suppose g - s*m - 17 = 5, 3*g + 4*m + 10 = 0. Is g even?
True
Let i(t) = -t**3 - 82*t**2 - 78*t - 637. Does 94 divide i(-83)?
False
Is (1643/(-2))/(71/(-710)) a multiple of 172?
False
Does 11 divide ((-18)/4)/(-3) + (3516764/(-8))/(-79)?
True
Suppose -5*n - c - 3*c + 56 = 0, -5*n = c - 44. Suppose 3*z - 2*z + 3*i - 8 = 0, n = 4*i. Suppose -17 = -3*k - z. Does 2 divide k?
False
Suppose 6*y + 4*y = 410. Let v be 0 - 2 - y*-2. Suppose s + 16 = v. Is 17 a factor of s?
False
Suppose -16*l = -20*l + 80. Suppose 5*n - 580 = -l. Is n a multiple of 7?
True
Suppose 0 = -6*r + 760 + 8852. Is r a multiple of 22?
False
Suppose 6*u - u - 2021 = -4*p, -4*p + 4*u + 2012 = 0. Suppose 576 = 5*w - p. Let b = w - 147. Does 4 divide b?
False
Let z = 177 - 207. Let p = 95 - z. Is 25 a factor of p?
True
Let c(j) = j**3 + 9*j**2 - 12*j + 14. Suppose -83 = -2*a - w, a - 68 = -5*w - 4. Let i = 29 - a. Is 3 a factor of c(i)?
False
Let c(q) = -q**2 + 10*q - 4. Let k be c(9). Suppose -k*l = 2*d - 285, 2*l + 164 = 3*d - 292. Does 15 divide d?
True
Let d(v) = -v**3 - 5*v**2 - v - 20. Let g be d(7). Is 50 a factor of 6/30*-2*g?
False
Suppose -44566 + 7531 = -15*f. Is 2 a factor of f?
False
Let c(q) = 0 + 155*q - 315*q + 153*q + 14. Suppose -11 + 31 = -4*j. Does 23 divide c(j)?
False
Let n(c) = 64*c**2 - 217*c + 19. Is 15 a factor of n(14)?
True
Suppose 5*s = 48*j - 53*j + 320090, 4*j = s - 64008. Does 16 divide s?
True
Let j(u) = 9*u + 8. Let q be (54/(-15))/((4 + -3)/5). Let s = q - -22. Does 11 divide j(s)?
True
Let x = 13405 + -8950. Is x a multiple of 27?
True
Let f(u) = -11*u + 46. Let q(n) = -133*n + 553. Let l(k) = 49*f(k) - 4*q(k). Let c be l(6). Suppose 4*o - 13*o + 2394 = c. Does 12 divide o?
False
Let c(b) = 11*b**2 - 4*b - 20. Let i be c(-6). Let p = i - 226. Does 17 divide p?
False
Let w = -329 - -671. Let h = 702 - w. Is h a multiple of 12?
True
Let x(h) = -h**2 - 24*h - 15. Suppose 6*j - 26 = -98. Let m be x(j). Suppose 0 = -c + 26 + m. Is c a multiple of 31?
True
Suppose 4*l + 3*t = -14 - 36, -t + 20 = -2*l. Does 10 divide 210*(-3 - l/3)?
True
Does 133 divide -4 + 2 - (-9 - 259)?
True
Let l be 1/(1*(-6 + 3))*0. Suppose -836 = -5*s - 29*n + 26*n, l = 3*s + 3*n - 498. Is s a multiple of 13?
True
Let r(d) = -4219*d - 118. Is r(-3) a multiple of 19?
False
Let l(j) = -351*j - 236. Is 10 a factor of l(-16)?
True
Suppose -2*t + 11 = 7. Suppose 2*i + 19 = -i + t*k, -k + 14 = -3*i. Is 20 a factor of (-163)/(-3) - (2/i - 0)?
False
Suppose -20 - 4 = -4*o - 4*h, 3*o - 16 = -5*h. Suppose 5*z + o*z - 3840 = 0. Is z a multiple of 8?
True
Suppose 0 = 4*x - y - 30765, -x + 8976 = -3*y + 1271. Is x a multiple of 24?
False
Does 10 divide -2 + 0 - (63 - 12062 - (4 + -1))?
True
Let h = -28761 - -29811. Does 35 divide h?
True
Suppose 0 = -4*g + 2*d + 4638 + 16928, 2*g - 5*d - 10779 = 0. Does 43 divide g?
False
Let x = 11806 - 8562. Is x a multiple of 59?
False
Let l = 183 - -441. Suppose 8*u - 2992 = l. Is 62 a factor of u?
False
Suppose -3*p = -6*p + 288. Let l be -2 + 1 + (-8)/(-2). Suppose 0 = -3*f - 3*k + p, 0 = 3*f + k - l*k - 116. Is 12 a factor of f?
True
Let r be 97*1 + 24/6. Let l = r - -237. Suppose 2*v = -2*z + l, 5*z + 126 = -4*v + 801. Is 36 a factor of v?
False
Let b = -302 - -727. Suppose -430*a = -b*a - 4390. Does 18 divide a?
False
Let x(n) = n + 8900. Does 23 divide x(-57)?
False
Let g = -294 - -217. Let n = 371 - g. Is n a multiple of 28?
True
Suppose 43*k - 63*k = 99*k - 3896298. Does 102 divide k?
True
Let d(z) = -3*z**2 - 34*z - 51. Let p(a) = a**2 + 11*a + 17. Let u(w) = -4*d(w) - 11*p(w). Let y be u(-9). Let x = -20 - y. Is 3 a factor of x?
False
Let f(w) be the first derivative of 2*w**4/3 - 5*w**3/6 - w**2/2 - 10*w + 28. Let n(u) be the first derivative of f(u). Is n(4) a multiple of 10?
False
Let l(y) = 92*y**2 + 5 - 40*y**2 - 48*y**2 - 3 - 6*y. Is l(17) a multiple of 13?
False
Let s(x) = -31*x + 37. Let i be s(-10). Suppose -38 = y - i. Is y a multiple of 25?
False
Let f be (-959)/42*10 - (-3)/9. Let b = f + 793. Does 25 divide b?
False
Let v = 68 - 62. Suppose -v*o + 5*o + 517 = 0. Suppose -o = -2*b - 3*f, b = -f + 72 + 185. Is b a multiple of 32?
False
Suppose -9*g - 685 = -6767 - 9857. Is g a multiple of 69?
False
Let o = -17 + 289. Let d = o - -98. Does 37 divide d?
True
Suppose 0 = -9*t + 6*t. Let z be (-17)/(153/(-6894)) - 4. Suppose z = 6*c - t*c. Is 46 a factor of c?
False
Is 78 a factor of (-16173)/36*(-748)/33?
False
Let r(o) = -9*o + 23. Suppose 28 = -5*m + 3. Let d(h) = -14*h + 34. Let i(g) = m*d(g) + 8*r(g). Is i(-9) a multiple of 8?
True
Does 16 divide 7591 - (4 + -11)*-1?
True
Suppose 13*c + 14 = 5*t + 11*c, -21 = -3*t - 3*c. Suppose l - 66 = 4*d, 375 - 125 = t*l - 2*d. Is l a multiple of 9?
False
Is 18 a factor of (-202792)/(-86) + (-18)/387?
True
Suppose 2*q - 5*q + 846 = 0. Suppose -l + 3*p = -174, 375*p - 376*p + 482 = 3*l. Let r = q - l. Is r a multiple of 20?
True
Let l(o) = 338*o**2 + 2*o - 4. Let i be l(2). Suppose 15*g = i + 1453. Is g a multiple of 13?
False
Let b(w) = w**3 + 17*w**2 - 8*w - 124. Let q be b(-17). Suppose