k(-12)?
True
Let z(i) = 249*i**2 - 131*i + 538. Is z(7) a multiple of 64?
False
Let n = 109133 - 76347. Is n a multiple of 194?
True
Suppose -5*h - 2*o + 308 = 0, 3*h - 5*o = -35 + 195. Suppose 3*r = -3*r + h. Suppose 2*y - r*y + 1200 = 0. Does 23 divide y?
False
Let w(q) = q**3 + 3*q**2 - 4*q. Let z = -60 + 56. Let v be w(z). Suppose 24*t - 29*t + 220 = v. Is t a multiple of 21?
False
Suppose -6*g = -10*g + 24. Suppose -2*f + 2*k + 346 = 0, g*f - 11*f - 2*k = -844. Is f a multiple of 10?
True
Suppose -2 = -i, 3*i - 83 - 28 = -5*h. Is -7*((-615)/h - 4) a multiple of 38?
False
Let r be 34 + -40 - (0 + 1)*-2. Let y be ((-150)/(-15))/(r/(-2)). Suppose y*z = z - 3*a + 145, -a = 2*z - 73. Does 37 divide z?
True
Suppose 3*p = 12, 0 = -3*i + 11*p - 15*p + 37. Suppose 144 + 1949 = i*v. Does 23 divide v?
True
Let t = 111 - 107. Suppose t*i - 173 = -2*z - 65, -z - 3*i + 52 = 0. Suppose -62*a = -z*a - 68. Does 6 divide a?
False
Suppose 1208*x + 13936 = 1224*x. Is x a multiple of 67?
True
Let b(d) = -517*d**3 + 2*d - 2. Let z be b(1). Let c = z - -568. Is 3 a factor of c?
True
Let d(t) = t**2 + 6*t + 12. Let s be d(-6). Let n be 7672/s - 1/3. Suppose 5*g = -3*b + n, 2*b - b - 196 = 4*g. Does 16 divide b?
True
Let s(g) = -g**3 - 116 - 87 - 70 - 12*g + 317. Is 34 a factor of s(0)?
False
Let m be (54/(-12))/(9/12). Is 54 a factor of m - (5 + 2)*-24?
True
Let a(z) = 3*z**2 + 17*z + 552. Is a(26) a multiple of 190?
False
Suppose 0 = 52*q + 75*q - 95*q - 1859968. Does 333 divide q?
False
Let u = -346 + 347. Suppose u = -n, 3029 + 88 = 5*k + 3*n. Is k a multiple of 48?
True
Let w(y) be the first derivative of 3*y**4/4 - 5*y**2/2 + 4*y - 3. Let p = -1135 + 1138. Is w(p) a multiple of 20?
False
Suppose 916376 + 842414 = 118*m. Is m a multiple of 24?
False
Does 37 divide 9/2*(-132756)/(-234)?
True
Does 73 divide (-4 + 442)*(21 + -13)?
True
Let k(u) = -u**2 - 11*u + 41. Let m be k(-14). Let i(g) = -636*g**3 - 2*g**2 - 5*g - 4. Is i(m) a multiple of 17?
False
Let i(h) = -3*h - 23. Suppose 3*m = 10 + 50. Suppose -3*x + m = -5*x. Is i(x) a multiple of 7?
True
Suppose -49634 = -689*z + 663*z. Does 83 divide z?
True
Suppose 4*h - 5444 = -2*c + h, 4*h - 8168 = -3*c. Is c a multiple of 44?
True
Suppose 2*p - 702 = 5*f, 0 = p - 14*f + 19*f - 351. Let m = 504 + p. Is 43 a factor of m?
False
Let a = 16 + -16. Let h be a + 2 + 4/2. Suppose j = h*y - 832 - 29, 5*y - 2*j = 1074. Is 27 a factor of y?
True
Suppose 6*k - 5342 = 5200. Is 9 a factor of k?
False
Let t(f) = -2*f**2 + 12*f + 20. Let h be t(5). Suppose 31*b = h*b + 1196. Is b a multiple of 13?
True
Suppose w + 280 = 5*q - 15, q - 59 = w. Let m = 9 - 6. Suppose m*g - 76 - q = 0. Is g a multiple of 12?
False
Let s(c) = 2*c + 232. Let g be -47 - ((-7)/((-35)/(-30)) + 3). Is s(g) a multiple of 6?
True
Let q be (-41)/(369/12)*((-3134)/4 + -1). Let w be ((-27)/(-2))/3*2. Is 2/(-9) + q/w a multiple of 29?
True
Suppose -3*o + 4*z + 384 = o, 2*o - 5*z = 192. Does 6 divide o?
True
Let y = 6178 - 3602. Is 6 a factor of y?
False
Suppose -18*k = 144 + 36. Let t(x) = 4*x**2 + 23*x + 3. Does 5 divide t(k)?
False
Does 17 divide (-10)/(-178 + -12) + 42464/19?
False
Let k(m) = 15*m**2 + 8*m + 1. Suppose v = -2, 0 = 2*s + 7*v - 4*v + 12. Is 7 a factor of k(s)?
True
Let d(t) = 11*t - 119. Let c(l) = -2*l**2 + 12*l + 2. Let k be c(5). Does 2 divide d(k)?
False
Is 3 a factor of (-55)/15 + (-50)/15 - -4426?
True
Suppose -14*o + 23732 + 36538 + 29540 = 0. Is 38 a factor of o?
False
Suppose 6758 = -11*q - 315. Let t = -437 - q. Is 12 a factor of t?
False
Let a(f) = 2*f**3 - 10*f**2 + 7*f - 170. Is a(17) a multiple of 9?
True
Suppose 5*b - 7483 = -15*j + 12*j, 4*j - 5*b = 9989. Is 13 a factor of j?
True
Let o(r) = r**3 - 18*r**2 - 93*r + 47. Does 161 divide o(29)?
True
Let n(d) = d**2 - 8*d - 6. Let j be n(12). Let p = j + -24. Is 11 a factor of p?
False
Suppose 4*r = 2*n - 2542, -r - 2542 = -18*n + 16*n. Is n a multiple of 76?
False
Let o(w) = -99*w**3 - 5*w**2 + 3*w - 9. Let r be o(-3). Suppose f + 1796 - 210 = 3*t, 0 = 5*t + 5*f - r. Is t a multiple of 17?
True
Suppose 32 = 4*z + 3*j, -8*j = -5*j. Is (-28)/z*174/(-21) a multiple of 5?
False
Let o = -208 + 2704. Is o a multiple of 32?
True
Is 4 a factor of 20/((-5 - 211/(-43))/(-4))?
True
Suppose 4*u = -4*i + 6944, -1740 = 41*u - 42*u - 3*i. Does 3 divide u?
True
Suppose -11*p = p + 240. Is (1896/p)/((-42)/560) a multiple of 24?
False
Let o = 64754 - 42154. Does 20 divide o?
True
Let p = 1799 + 2951. Does 38 divide p?
True
Let u(z) be the second derivative of 0 - 5/2*z**2 - 1/20*z**5 - 1/3*z**3 - 1/6*z**4 + 4*z. Does 16 divide u(-5)?
True
Suppose -v + 5 = 1. Suppose 10 = 2*d - v*t, 5*d - 27 = -3*t + 11. Suppose -244 = -d*o + 127. Is o a multiple of 31?
False
Let h(m) = 14*m**3 - m**2 - 4*m + 4. Let s be h(3). Let w be ((18/8)/(-1))/((-107)/(-10700)). Let x = w + s. Is x a multiple of 34?
True
Suppose -5*m + t - 3 = 0, -2*m + 6*m = -3*t - 10. Let a(i) = 144*i**2 - 8*i - 9. Let r be a(m). Suppose -r = 11*b - 1639. Is b a multiple of 17?
True
Let m = -27010 + 30475. Does 45 divide m?
True
Does 38 divide -5 + 8302 - 5 - (-23)/(115/30)?
False
Let s be (-184 - (15 + -7)) + -3. Does 28 divide (526 + s/(-15))/(2 - 1)?
False
Suppose -92*s = -9*s - 3005353 + 887608. Is s a multiple of 18?
False
Let j = -327 - -339. Suppose -1496 - 1192 = -j*w. Is w a multiple of 11?
False
Let w(t) = 52*t - 45*t + 27*t + 5. Let p be ((-1)/(-3))/((-8)/(-72)). Is w(p) a multiple of 7?
False
Suppose 66*n + 4*q = 64*n + 636, -2*n = 2*q - 626. Let z = n - -473. Is z a multiple of 71?
True
Suppose -5*r - i = -13, 7 + 4 = r + 3*i. Suppose -3*q - r = -11. Let l(h) = h**2 - h + 7. Is l(q) a multiple of 3?
False
Let z = -1755 + 4700. Is 4 a factor of z?
False
Let q(o) = 29*o - 175. Let p be q(-8). Let a = 719 + p. Is a a multiple of 64?
False
Let k(j) = -2*j**2 + 7*j - 1. Let v be ((-3)/(-2))/(9/18). Let i be k(v). Is 5 a factor of i - -28*(1 + 0)?
True
Suppose -222*h = -1881138 + 342678. Is h a multiple of 55?
True
Suppose -3*n + 82 = -v + 10, -3*v = 5*n - 134. Suppose -27 = -u - n. Suppose 3*g = u*f + 2*f - 84, 0 = f - 5*g - 21. Is f a multiple of 4?
False
Suppose 5*h + 8 = 3*h, -30 = -2*l + 5*h. Suppose 0 = 3*n + 2*o + 2*o + 223, -3*n - l*o - 224 = 0. Is n/(-1) - (-2 - 3) a multiple of 3?
True
Is 288/(-28 - -4)*2079/(-2) a multiple of 66?
True
Let s(t) = -12*t**2 - t + 12. Let d(c) = 24*c**2 + c - 21. Let k(o) = 3*d(o) + 5*s(o). Does 9 divide k(3)?
True
Suppose 0 = -3*h - 5*z + 9*z + 2, h + 4*z = 22. Is 6 a factor of 1/((-6)/(-852)) - h?
False
Let w be 5 + -1 + (-4 - -4). Suppose -5*k + 1 = 2*v + 5, w*v + 8 = 0. Suppose k = -2*r + 24 + 16. Does 15 divide r?
False
Does 35 divide ((-8966)/(-4))/(21/60) + (-208)/728?
False
Suppose 8 = 63*g - 59*g. Let w(c) = 20 + c**g + c**2 - 33 + 5*c. Does 3 divide w(-7)?
False
Suppose -110*n + 116*n + 402 = 0. Let a be (-5)/(-20) - n/4. Suppose a*f - 85 = -0. Is 2 a factor of f?
False
Let q(r) be the second derivative of -r**5/10 + 85*r**4/12 + 19*r**3/6 + 51*r. Let w(d) be the second derivative of q(d). Is w(0) a multiple of 34?
True
Let r(y) = 9*y + 130. Let x be r(-14). Does 52 divide -3*((-458)/x)/((-9)/(-6))?
False
Suppose -g - 985 = -5*j, -g - 593 = 40*j - 43*j. Is 44 a factor of j?
False
Let u = 253 - 253. Suppose u = 2*o + 4*q - 38, 0 = 5*o + q + 2*q - 102. Does 5 divide o?
False
Suppose -19 = -4*m + 5. Let a be 110/(-495) - (-1)/(18/(-68)). Is 4 a factor of a/6 + 4/m + 24?
True
Let h(s) = 4*s**2 - 14*s + 10. Let j be 9/7 - 1 - 561/(-119). Is h(j) a multiple of 40?
True
Suppose -57854 = -4*u - 6674. Does 49 divide u?
False
Let v be (-1 + 10/6)*(-2715)/10. Let y = v + 481. Does 20 divide y?
True
Is 3216 - (-16 - -20 - 18) a multiple of 190?
True
Suppose -2*w + 4*w + 4*u - 768 = 0, 2*w - 4*u = 744. Suppose -w*t = -370*t - 320. Is 7 a factor of t?
False
Suppose 3*b - 8 = -f, -4*f - b - 2*b = -32. Let n(y) = 1 + 7*y + 47 - 9*y + 14*y. Is n(f) a multiple of 12?
True
Suppose -3*s + b = -12, -s + 4 = 84*b - 85*b. Is 160/(-60)*(-471)/s a multiple of 6?
False
Let s = 4800 + 12249. Is 39 a factor of s?
False
Suppose -3*x + 5*a = -2*x - 3263, 2*a - 16207 = -5*x. Does 23 divide x?
True
Let j(x) = -x**3 + 24*x**2 - 67*x - 19. Let p be j(21). Let z = -54 - p. Is 7 a factor of z?
True
Suppose 0 = 