= -3*t + k. Does 13 divide t?
True
Let b(f) = -339*f**3 + 7*f**2 + 22*f + 7. Is b(-2) a multiple of 12?
False
Let w be -2520 - 12 - 1*-3. Let d = -795 - w. Does 18 divide d/24 + (-2)/8?
True
Suppose -45*g = -41*g - 604. Let k = 251 - g. Is 3 a factor of k?
False
Suppose -5*d - 20 = -d, 0 = q - 3*d - 17. Suppose -297 = 2*k - 3*o - 845, -q*o - 832 = -3*k. Is k a multiple of 28?
True
Suppose 2*l + 30 = 4*p, -2*l - 5*p = 3 - 9. Does 5 divide (-498)/(-3 + 0) + (-14)/l?
False
Suppose 0 = 7*i - i + 180. Let u = 30 + i. Suppose -4*f + 158 + 90 = u. Does 17 divide f?
False
Suppose 0 = -39*a + 46*a + 441. Is (a/(-12))/(24/1984) a multiple of 14?
True
Let f be 1 + (3 - (-3 + 1)). Suppose f*s = 5 - 5. Suppose -6*o + 26 + 16 = s. Does 2 divide o?
False
Suppose 0 = -5*d + 4*v + 3074, 2 = -3*v - 1. Let k = -358 + d. Let o = k - 178. Is 6 a factor of o?
True
Let h = 6294 - 3949. Is 5 a factor of h?
True
Is ((-523)/5)/((-105)/1225) + (-4)/(-6) a multiple of 111?
True
Suppose 60504 = 5*j + k, j + 1829*k = 1831*k + 12103. Is 219 a factor of j?
False
Let w = -9049 - -16350. Does 49 divide w?
True
Let t(s) = 11*s - 8. Let z be t(-5). Let u be (-2)/(-7) - (-333)/z. Is 4 a factor of (-47)/u + (-57)/(-95)?
False
Suppose -5*x + 101 = 26. Let p(z) = -2*z**2 + 35*z - 20. Is p(x) a multiple of 3?
False
Let r = -225 + 201. Is (((-27)/(-12))/(1/r))/(-2) a multiple of 27?
True
Is (-14854)/(-14) + (4/(-6) - 160/48) a multiple of 36?
False
Let t(o) = 409*o + 1057. Does 34 divide t(9)?
False
Suppose -2*f + o + 37 = 0, -27 = -2*f - o + 16. Suppose f*k - 177 = 783. Is k a multiple of 6?
True
Suppose -57*n + 60*n + 4*g - 883 = 0, -5*g - 901 = -3*n. Does 9 divide n?
True
Suppose 274 = 6*b - 398. Does 36 divide ((-338)/(-7) + -2)/(24/b)?
True
Let s(r) = -r**3 + 66*r**2 + 43*r + 45. Is 11 a factor of s(-12)?
False
Suppose v + 2 - 19 = 0. Let j be v - (60/27 - 10/45). Let z(w) = w**2 - 15*w + 22. Is z(j) a multiple of 22?
True
Let t(g) = g + 28. Let v be t(-26). Suppose -m - 163 = -v*w - 69, -4*m = -2*w + 88. Does 6 divide w?
True
Let u = -1072 - -2651. Let j = u - 1070. Let p = -346 + j. Is 28 a factor of p?
False
Let s = 32002 - 18862. Is 73 a factor of s?
True
Does 15 divide (-1)/(-1) + -8 + (4133 - -6)?
False
Let i(q) = q**2 + 7*q + 4. Let d be i(-7). Suppose -20*p = -31*p + 35*p. Suppose 10*c + d*c - 1862 = p. Is 21 a factor of c?
False
Suppose 1418*l = 1428*l - 57440. Is l a multiple of 57?
False
Let j(n) be the third derivative of n**5/20 - 13*n**4/24 + 4*n**3/3 + 34*n**2. Let s be j(8). Suppose 6*a - s = 360. Is 9 a factor of a?
False
Let u be (12/(-8))/(3/6) + 289. Suppose v + 5*r = -0*r + u, v = -3*r + 290. Let k = -152 + v. Does 8 divide k?
True
Suppose j - 8 = t, 10*j + t = 5*j + 10. Suppose -a = j*a - 320. Does 16 divide a?
True
Let s(p) = p**3 + 18*p**2 + 17*p + 2. Let b be s(-17). Suppose 614 = 2*v - b*x - 0*x, 4*v - 1228 = -2*x. Suppose -v = -r - 19. Does 48 divide r?
True
Let k(d) = 4*d**2 + 3*d + 3. Let f be k(-7). Suppose -4*z - i + 731 = 0, 13*z = 14*z + 5*i - f. Is 61 a factor of z?
True
Suppose -2*w + k = -4*k - 4269, w - 2147 = 5*k. Suppose 0 = -8*o + w + 2246. Is o a multiple of 21?
True
Let o(t) = -3*t**2 + t + 8. Let m be o(-3). Is -5*10/25*m a multiple of 2?
True
Suppose -2846 = -20*j + 5794. Let p = j - -708. Does 12 divide p?
True
Suppose 4*r + 0 + 24 = 0. Suppose 0 = -81*c + 69*c + 4416. Is 9 a factor of 4/r + c/12?
False
Let y(f) be the second derivative of 0 + 0*f**2 + 11/12*f**4 - 1/20*f**5 - 7/6*f**3 - 9*f. Does 10 divide y(10)?
True
Let n(p) = p**3 + p**2 - 10*p - 10. Let l be n(-4). Let k be (l + 4)*93/(-6). Let f = k - 1. Is f a multiple of 36?
True
Suppose 4*y + 23 = -21. Let m(h) = -h**3 - 12*h**2 - 6*h + 57. Let r be m(y). Suppose -381 + 42 = -2*d - 3*s, 0 = -r*d - 5*s + 341. Is d a multiple of 12?
True
Is 36 a factor of (-29 - -31) + -2*5 - -1521?
False
Suppose -36*a + 170 = -19*a. Suppose a*n - 3598 = 3752. Is n a multiple of 15?
True
Suppose 0 = j - a - 2, 0 = -3*j - 5*a + 10 + 4. Let w be (-1)/((-1*j/6)/1). Does 12 divide 2/(-4) - (-121)/w?
True
Suppose 41 = 4*r - z, 5*r - 88 = 5*z - 18. Suppose -r*o + 1430 = -487. Is 25 a factor of o?
False
Let m(o) = -9*o - 38. Let u be m(-5). Suppose -t - 6 = -u. Is (-417)/((-3)/t) - 4 a multiple of 17?
False
Let j be -4 + 3278/(-12) + 1/6. Let k be 10/(-20) + j/(-2). Suppose k = -2*x + 642. Does 63 divide x?
True
Let b(s) = s**2 - 7*s - 29. Let l be b(-4). Is 38 a factor of 2289/l + (-11)/(330/18)?
True
Suppose -40 = -3*k - 277. Let n = 305 + k. Does 4 divide n?
False
Let o be 4 - (-90)/(-21) - 18/(-63). Suppose 8*s - 2372 + 764 = o. Is s a multiple of 5?
False
Suppose -223 - 484 = 7*x. Is 11 a factor of (-2)/4*2 - 3*x?
False
Suppose 3*b = -5*v + 16995, -30*b - v = -34*b + 22683. Does 27 divide b?
True
Suppose -9*a + 17*a - 256 = 0. Let b(m) = -m**2 + 38*m - 16. Is b(a) a multiple of 16?
True
Let v be ((-7)/4)/((-26)/12272). Suppose -854 = -20*j + v. Is j a multiple of 4?
True
Suppose -13709 = -13*i + 64447. Is i a multiple of 40?
False
Let v(m) = m. Let i be v(-18). Let k = i + 46. Does 28 divide k?
True
Suppose 18 = 3*a + 3*a. Suppose -u + 207 = 5*s, a*s + 20 = -2*u + 140. Is s a multiple of 13?
False
Let q be 3*2*(-111)/333. Let a = 1 - -2. Does 49 divide 0 - -116 - (a + q)*3?
False
Suppose 6*i = 3*p + i + 1187, -5*p - 2*i - 2030 = 0. Let c = p - -632. Is c a multiple of 16?
False
Suppose 3*h + 6*r = r + 488, 3*h = -r + 508. Suppose 5*q + p - 1264 = h, 3*p + 879 = 3*q. Is q a multiple of 18?
True
Let c = 26021 - 19509. Is c a multiple of 13?
False
Let j(i) = -i**3 - 5*i**2 + 7*i + 8. Let y be j(-6). Let p(t) = -t - 3*t**y + 3*t - t**3 - 6*t**3 - 4 + 4*t**3. Does 22 divide p(-3)?
True
Let s = 2235 - 2011. Does 32 divide s?
True
Suppose -30*n + 4569 = -28*n + 5*p, -3*n - 5*p = -6846. Is n a multiple of 33?
True
Let y(v) = -v**3 - 7*v**2 + 9*v + 12. Let q be y(-8). Let c(k) = 3*k - 6. Let m be c(q). Let g = 48 - m. Is g a multiple of 7?
True
Let j(n) = n**2 + 6*n - 9*n - 11*n + n**2 + 11. Let f = 17 + -7. Is 20 a factor of j(f)?
False
Let o(w) be the first derivative of 11*w**4/12 - w**3/3 + w**2/2 - 15*w + 11. Let n(s) be the first derivative of o(s). Is 11 a factor of n(-2)?
False
Is 29 a factor of (10 + (28 - 27/3))*41?
True
Suppose 3*n - 32974 = -4*c, 4*c + 5*n + 14773 = 47759. Is c a multiple of 25?
False
Suppose 3*b + 190 = -2*b - 5*q, 0 = 3*q + 6. Does 4 divide ((-4)/(-7))/(b/(-9702))?
False
Let f(o) = -o**2 + 28*o + 47. Let v be f(30). Let z = 114 + v. Does 3 divide z?
False
Let d(x) = -5*x**3 - 29*x**2 - 18*x - 23. Let g = 668 + -676. Is d(g) a multiple of 29?
False
Is 8/212 - (-7692380)/1060 a multiple of 67?
False
Suppose 4*k = -3*z - 817 + 2827, 0 = -4*z - 8. Does 56 divide k?
True
Let b = -9 + 1. Does 6 divide 3/7 + (9894/42 - b)?
False
Is (-19662)/(-8)*(202/101 + (-10)/(-3)) a multiple of 29?
True
Suppose -12*q + 2666 - 494 = 0. Let p = -117 + q. Does 32 divide p?
True
Let p(t) = -4*t**2 - 20*t + 28. Let u be p(-6). Suppose 0 = 3*k + 3, j - u*j + 1785 = -3*k. Is j a multiple of 18?
True
Is (-6289671)/(-397) + (18 - -1) a multiple of 11?
True
Let s(x) = -x**3 - 8*x**2 - 6*x + 16. Let l be s(-7). Suppose l*q + 39 - 12 = 0. Let i(w) = -10*w + 1. Does 12 divide i(q)?
False
Let z(j) = 4*j - 2. Let k be z(0). Let w be 160/(-48) + k/(-6). Is (-2)/4 + (w - 67/(-2)) a multiple of 10?
True
Is (1 - -2623)/(38/(-3) + 455/35) a multiple of 12?
True
Let x(n) = 2*n**3 - 11*n**2 + 14*n + 175. Does 11 divide x(14)?
False
Suppose -939 = 5*u + 4*h, -2*u + 0*h = h + 378. Let f = u + 351. Let r = 272 - f. Is r a multiple of 14?
True
Let s(t) be the third derivative of t**6/30 + t**5/30 - 4*t**3/3 - 25*t**2. Let m be s(4). Suppose -2*d - 62 = -m. Is 10 a factor of d?
False
Suppose 155*g - 4*h = 156*g - 11836, 3*h - 59265 = -5*g. Does 18 divide g?
False
Let t be (-21)/(6 + -9) + (1 - -1). Let k(p) = 7*p**2 - 7*p + 33. Is 38 a factor of k(t)?
False
Let t = -4024 - -9033. Is t a multiple of 18?
False
Is (-336)/252*(1 - -5) + 4650 a multiple of 11?
True
Suppose 17*y - 728 = 275. Suppose 142 = y*h - 57*h. Does 12 divide h?
False
Suppose 0*f - f = -6*f. Suppose 0 = -2*b - 3*b. Suppose b = 4*j + 4, -j = q - f*j - 12. Does 4 divide q?
False
Let z(i) = -i + 39. Let o be z(0). Suppose -89 = -4*f + o. Suppose 85 = 2*