-359 + 326. Let i = o - p. Is i a multiple of 33?
True
Let z(f) = 10973*f + 653. Is z(1) a multiple of 11?
False
Let z(p) = -p**3 + 3*p**2 + 19*p + 11. Let n be z(5). Is 1 + 7304/n - 8/(-14) a multiple of 5?
False
Suppose 0 = 10*g + 2*g - 65307 - 21021. Is 22 a factor of g?
True
Suppose -452 = -5*d - 24*w + 27*w, -2*w - 184 = -2*d. Suppose 3*c - 73 - 62 = 0. Suppose 0 = c*i - 41*i - d. Is 5 a factor of i?
False
Is (4/40 - (-1 - 17847/30)) + 4 a multiple of 24?
True
Let i = 157 - 291. Let p = 198 + i. Does 9 divide p?
False
Suppose 19*x - 56814 - 196413 = -51067. Does 80 divide x?
True
Let d be -1*2 - (-7 + -8 + 12). Is 33 a factor of 854 - (-1 + -4) - 1/d?
True
Let i = -4 + 6. Let m(u) = u - 13. Let l be m(16). Suppose 6 = -h - l*v, 0 = -i*v + v - 5. Is 2 a factor of h?
False
Let s be (-20688)/(-32) - (10/4 + -1). Let p = s + -186. Does 27 divide p?
True
Let t(b) = b. Let c(d) = -36*d + 4. Let f(k) = -4*c(k) + 8*t(k). Let i(h) = 9*h - 1. Let n(l) = -6*f(l) + 104*i(l). Does 10 divide n(2)?
True
Suppose 6*i = -4*z + 119988, 0 = -5*z + i + 104642 + 45360. Is 10 a factor of z?
True
Let m = 506 - -2812. Is m a multiple of 14?
True
Suppose 5*g = -3*k + 207 - 35, 0 = -4*k + 2*g + 238. Let l(r) = 4*r**2 + r + 1. Let j be l(2). Suppose 0 = -6*u + j + k. Does 2 divide u?
False
Let c = 782 + -554. Suppose -2*x + 118 + c = 0. Suppose 5*i - z - x = 0, 4 - 13 = 3*z. Is 11 a factor of i?
False
Suppose 5*l + 75 = -2*u - 14, 10 = -l - 3*u. Let o = 21 + l. Suppose 0 = -3*q + y + 795, -2*q - o*y + 523 = -5*y. Is q a multiple of 45?
False
Let q be (0 - -6)*200/15. Suppose 5*j - 2*f - 139 = 2*f, -3*j - f + q = 0. Let r = 47 - j. Does 20 divide r?
True
Suppose -5*p = -2*r - 24197 + 177004, -5*r - 5*p = -382105. Does 128 divide r?
True
Suppose -271 = -4*l - 7*q + 4*q, 340 = 5*l + 4*q. Suppose 34 = -6*c + l. Suppose 5*j - 187 = -2*i - 14, -c*j - 5*i + 170 = 0. Does 7 divide j?
True
Let w(h) = 4*h**3 - 7*h**2 + 2*h. Let k = -25 + 28. Let z be w(k). Is 0 - (-5 - -3)*z a multiple of 14?
False
Let y = -28 + 30. Let a(g) = 27 - 9 - g + 9*g - g**y. Is 18 a factor of a(8)?
True
Suppose 0 = 19*f - 23*f + 16. Suppose 2*a = 3*j - 1524, -j - 2052 = -5*j - f*a. Is j a multiple of 51?
True
Suppose 0 = -4*h - 3*z + 1748, -20 + 1344 = 3*h - z. Is h a multiple of 40?
True
Suppose -5*r + 3*f - 13444 = -66283, 3*r + f - 31709 = 0. Is r a multiple of 66?
False
Let n be (-158)/(-3) + (3 - 55/15). Suppose 2*f + n - 62 = 0. Suppose -3*x + 144 = f*y, 4*x = 3*y - 5*y + 52. Is 6 a factor of y?
True
Suppose -11*n + 1428768 = 77*n. Is n a multiple of 36?
True
Let f(w) = 6*w**2 + 63*w - 13. Let c(s) = 4*s**2 + 62*s - 12. Let l(a) = 4*c(a) - 3*f(a). Is 12 a factor of l(13)?
True
Is (17/(7 + -24))/((-2)/49202) a multiple of 25?
False
Let v(g) be the second derivative of g**4/4 - 2*g**3/3 + 11*g**2/2 - 147*g. Is 29 a factor of v(-9)?
True
Let f = -11187 + 23341. Is 118 a factor of f?
True
Let t(x) = -35*x - 1316. Does 26 divide t(-48)?
True
Let z(w) = -2*w**3 - w**2 - 2*w - 2. Let n(g) = g**2 - 28*g - 3. Suppose o = 4*j + 12, -2*o - 5*j + 64 = -3*j. Let y be n(o). Does 11 divide z(y)?
False
Let i = 9 + -15. Suppose 3*h + q = 17, 8*h - q + 9 = 9*h. Is 16 a factor of ((-4)/i)/(h/546)?
False
Let h be (-6)/27 - 13330/(-45). Let k = -2 + h. Does 7 divide k?
True
Suppose -151664 + 19314 = -25*i + 19725. Is 41 a factor of i?
False
Let d(m) = m - 19. Let b be d(-7). Let o = b - -23. Is 17 a factor of 124/6*1*(o - -6)?
False
Let c be 1/(2/(-140))*(-1 + -1). Let s = c + -20. Suppose -5*j - s = -9*j. Is j a multiple of 11?
False
Let w(t) = -69*t + 57. Is w(-23) a multiple of 10?
False
Suppose -33 - 3 = 4*i. Let w be (-112)/3*5/(15/i). Let r = -19 + w. Is 20 a factor of r?
False
Let m(z) = 3*z**2 - 15*z - 22. Let s be m(14). Let y = s + 239. Is y a multiple of 53?
False
Suppose -3*l + 2893 = 4*x - 6*l, 4*l = 3*x - 2175. Suppose 0 = 3*y + w - x, 2*y + w - 961 = -2*y. Does 30 divide y?
True
Let l(u) = -2*u**2 - 36*u - 29. Let t be l(-14). Suppose -t + 31 = -4*g. Is g even?
False
Let z = -9 + 29. Let o(s) = 0*s - 28*s**3 + 0*s - z*s**3 - 2*s**2 + 2. Does 6 divide o(-1)?
True
Suppose -306*o = 4*p - 311*o - 3079, 3*p = 3*o + 2313. Is 5 a factor of p?
False
Let q = -161 + 2089. Is q a multiple of 8?
True
Let t be ((-1)/(33/22))/((-2)/21). Suppose -t*r = -r - 900. Is r a multiple of 15?
True
Let p = -39 - -44. Suppose 0 = 33*g - p*g - 2016. Does 53 divide g?
False
Let c(v) = 20*v**2 + 28*v + 100. Does 53 divide c(-13)?
False
Let s(n) = 18*n - 120. Let z be s(7). Does 7 divide -2 + -6 + z + 33?
False
Suppose -6*d + 7 = 2*j - 3*d, 0 = j - 3*d - 8. Suppose q = j*x + 373, -7*q + 3*q - 4*x = -1492. Suppose 5*g + t = q, -t - 57 = -g + 14. Is 10 a factor of g?
False
Let b(k) = -k**3 - 2*k**2 + 4*k + 1. Let v be b(-4). Let u be (-6)/10 + v/(-5). Is 9/(-4)*u/3 even?
False
Let g(k) = 5*k**2 - 13*k + 3. Let p(u) = 5*u + 24. Let h be p(0). Let i be (1/(14/h))/((-118)/(-413)). Does 13 divide g(i)?
False
Let c(y) = -2*y**3 - 15*y**2 - 47*y - 481. Is 3 a factor of c(-13)?
True
Let f = -1297 + 2168. Is 3 a factor of f?
False
Let r = 7 - -5. Suppose -r*p + 8 = -8*p. Suppose 0 = -p*a + a + 46. Does 21 divide a?
False
Suppose -8*w + 2*b + 8 = -3*w, -3*b - 12 = -2*w. Suppose -2*c - 8*c + 1100 = w. Let p = -82 + c. Is p a multiple of 4?
True
Let g(d) = 2*d**3 - 8*d**2 + d + 10. Let k be g(5). Suppose -63*i + 5*s = -k*i + 109, -3*i + s + 189 = 0. Is i even?
True
Let a(b) = b. Let w(x) = 20*x + 267. Let s(p) = 6*a(p) + w(p). Is 17 a factor of s(10)?
True
Suppose 23*l - 72*l + 4*l = -77220. Is 37 a factor of l?
False
Let z(t) = -18*t + 313. Let r(u) = 52*u - 941. Let c(h) = -6*r(h) - 17*z(h). Is c(-30) a multiple of 5?
True
Is 70 a factor of 148770/66 + (-1)/11?
False
Let k(h) = h**3 - 16*h**2 - 4*h + 22. Let c be k(17). Suppose 0*q - 3*q = c. Let i = 177 + q. Is i a multiple of 12?
True
Let t be (4 - (3 + 0))*1. Let x be ((-253)/(-3))/(t/(-39)). Does 15 divide (-1)/(-4) - x/44?
True
Let v(b) = -494*b**3 - b**2 - 27*b - 26. Is v(-1) a multiple of 60?
False
Let q = -2240 - -3288. Does 56 divide q?
False
Let j(i) = 12*i + 8. Let c = -53 + 47. Let m be 36/54 - (-1 - (-8)/c). Is j(m) a multiple of 11?
True
Let s(b) = -789*b - 1871. Is 64 a factor of s(-19)?
True
Suppose -2 + 2 = 5*h. Suppose 7 = -n - 4*z + 20, 5*n + 3*z - 31 = h. Suppose 3*p = n*p - 128. Is 16 a factor of p?
True
Let u be (12/4 - (0 + 4)) + 1. Let l be u/8*1/2. Does 28 divide l + (-16)/((-52)/(-28) - 2)?
True
Suppose -6*g + 4*g - 16 = 0, -p + 2*g + 12574 = 0. Is p a multiple of 91?
True
Let n be 15*4/12 + 0. Suppose 2*b = n + 5. Suppose 0*p - h - 197 = -5*p, 0 = b*p + 5*h - 215. Does 40 divide p?
True
Let x be (5 - 2)/(2 - 1). Suppose w + 431 = -2*q, -x*w + 3*q - 1268 = 4*q. Is 30 a factor of 2/(-14) + w/(-7)?
True
Let s(b) be the third derivative of -b**6/60 - b**5/30 + b**3/6 - b**2. Let c be s(-1). Let y(k) = 41*k**2 + k + 1. Is 12 a factor of y(c)?
False
Let c(d) = -755*d - 7395. Does 14 divide c(-23)?
False
Let b = -72 + 72. Suppose b = m - 44 + 41. Suppose v = -m, -v + 3*v + 132 = d. Is d a multiple of 21?
True
Let d = 9 - 6. Suppose -5*y + 2094 + 741 = 0. Suppose -3*c - 3 = 0, y = 2*b + 3*b + d*c. Is 18 a factor of b?
False
Let a = 7660 - 4910. Does 16 divide a?
False
Suppose c - 30*c = -1044. Is 20544/c + 16 + (-4)/(-3) a multiple of 21?
True
Suppose -44*n + 1146768 = 12*n. Is 7 a factor of n?
False
Suppose -3 = 2*v - 5. Suppose -v = 5*l - 16. Suppose l*r - 67 - 47 = -2*f, -2*f - 66 = -2*r. Does 12 divide r?
True
Suppose 2*z + 4 = 3*z. Suppose z*o = 885 + 219. Let p = o - 52. Does 16 divide p?
True
Suppose 46*k - 33*k - 78 = 0. Suppose k*j - 2656 = 3098. Is j a multiple of 11?
False
Let p(x) = x**3 + 3*x**2 + x - 22. Let r be p(6). Let t = 746 - r. Is 77 a factor of t?
False
Let m = -230 - -230. Suppose 7 = s + o, m*o = -s + 3*o + 11. Does 5 divide s?
False
Let t = -21 + 19. Let l(i) = 2*i**2 + i + 1. Let x(z) = 4*z**2 + 2*z + 2. Let v(y) = -11*l(y) + 6*x(y). Does 7 divide v(t)?
True
Suppose -17*k = 48602 - 212227. Is k a multiple of 45?
False
Let f = 512 - 181. Let p = 1274 - f. Does 68 divide p?
False
Suppose -f + 2 = -l, 4*l + 5*f = 4*f + 12. Suppose 6*t - t - 2521 = -y, 5*y = -l*t + 990. Is 10 a factor of t?
False
Let f = 101 - 106. Is 22 a factor of 1/(f - (-