pose d - 2*v - 13098 = -2242, 43437 = 4*d + 5*v. Is d a multiple of 9?
False
Suppose 4*z - 2472 = -5*q + q, -3*z - q = -1846. Is 12 a factor of z?
False
Suppose -5*v - 20 = 0, 3*g - 68 = 5*v + 1047. Suppose -10*t = 15 - g. Is 7 a factor of t?
True
Suppose 11*p + 330 = p. Let h = p - -169. Is h a multiple of 49?
False
Suppose 1136 + 909 = -5*i. Let w be 1*2/10 - i/5. Suppose 3*t - w = -0*o - o, -3*t + 362 = 5*o. Is o a multiple of 10?
True
Let a = -1 - -9. Suppose -1 = -3*p - 7, -4*p - a = -4*s. Suppose -7*y + 10*y - 468 = s. Does 17 divide y?
False
Let z be 0 - 2/(-5) - (-39)/15. Suppose 0*q + 3 = -5*u - q, q + z = 4*u. Suppose -2*r - 4*l = -80, u = 3*r + 3*l - 2*l - 120. Is 9 a factor of r?
False
Let g(l) = -27*l**3 - 5*l**2 + 15*l + 21. Is 18 a factor of g(-6)?
False
Let p be 1390/(-12) - -2*(-5)/60. Let y = -38 + p. Let v = y + 238. Does 7 divide v?
True
Let a be (-8)/(-12) - 26/(-6). Suppose -4*x + 5*x - 425 = -a*h, 3*h - 247 = x. Let v = -78 + h. Is v a multiple of 2?
True
Is 121 a factor of 1138417/392 - (-2)/(-16)?
True
Let a(q) = q**3 + 25*q**2 + q + 28. Let m be a(-25). Suppose -m*g + 406 = -5*l - 3, -2*g - 4*l + 236 = 0. Is 32 a factor of g?
True
Let y(o) = -2788*o + 8. Let z be y(-3). Let j be (18/(-7))/((-78)/z). Suppose 5*a - 5*s - 720 = 0, 10*s - 5*s = 2*a - j. Does 18 divide a?
False
Suppose -4*p + 6*p + 4*i - 6 = 0, 0 = 4*p - 4*i + 36. Is 29 a factor of (p + 3)*-1 - -56?
True
Suppose 4*i + 3*y = 14, -i + 11 = 4*y + 1. Suppose -d + 2 - 6 = 0, 68 = 3*o - i*d. Suppose -4*b + 4*l = 2*l - 26, -b - 4*l + o = 0. Is b a multiple of 6?
False
Suppose -p + 1756 = 4*g - 3*p, 0 = -2*g + 5*p + 886. Let n = -413 + g. Is n even?
False
Let t(z) = 16*z + 7. Let g be t(2). Suppose g*r + 3870 = 69*r. Does 8 divide r?
False
Let o = 12548 + -6609. Does 24 divide o?
False
Let h = 19904 + -13752. Is h a multiple of 14?
False
Let k(m) = -16*m**3 + m**2. Let x be k(-2). Let r be -2 + (3 - 5) + x. Is (r/4 + -3)/1 a multiple of 7?
False
Suppose -4*b + 2*a = 4*a - 6, 0 = 4*b + 4*a - 4. Let i be (-51)/(-1)*b/6. Suppose -s - i = -67. Is 18 a factor of s?
False
Suppose 0 = -r - 5*x + 27, -2*r - 3*x + 22 - 3 = 0. Suppose h - 47 = 5*b, r*h - 4*b - 26 = 50. Does 5 divide h?
False
Let f(m) = 10*m**2 + 4*m + 7885. Does 71 divide f(0)?
False
Suppose y - 2*y - 76 = -k, -5*k = y + 82. Let c = y + 149. Let p = 111 - c. Is p a multiple of 3?
True
Suppose -5*r - 16 = 3*z + 3, r - z = 1. Let c(l) = -6*l**3 + 2*l**2 + 16*l + 35. Is c(r) a multiple of 4?
False
Suppose -137*h - h - 37*h = -53025. Does 14 divide h?
False
Suppose 0 = -9*j - 9*j + 9666. Suppose 0 = 5*a + j - 2107. Does 5 divide a?
False
Let r(h) = -2*h**2 + 231*h + 345. Does 106 divide r(111)?
False
Let s be ((-30)/20)/(3/(-6)). Suppose -3*p + s*d = -357 - 1482, 0 = -4*p - 3*d + 2417. Does 76 divide p?
True
Let c(h) = 7*h + 8. Let b be c(-1). Let a be b - (-4)/((-8)/(-6)). Suppose -3 - 25 = -a*k. Is 2 a factor of k?
False
Let c(y) = -7*y + 11. Let x be c(3). Let g(n) = -17*n + 23. Let a be g(x). Suppose -a = -2*p - 3*t, -5*p + 4*p = 3*t - 101. Is 26 a factor of p?
False
Let x(a) = a**2 - 6*a + 7. Let l be x(5). Suppose -187 = -5*q + i + l*i, q + 5*i = 43. Let r = q + -34. Is 2 a factor of r?
True
Let n(q) = -21*q + 65 + 10*q + 90 + 16*q + 144. Is 8 a factor of n(-7)?
True
Let c(h) be the third derivative of 107*h**6/120 - h**4/12 + h**3/2 + h**2 - 143. Is c(1) a multiple of 18?
True
Let n = 62084 + -43235. Is 183 a factor of n?
True
Let o(x) = -x. Let k(b) = -12*b + 39. Let f(d) = -k(d) - 6*o(d). Let z be f(11). Suppose 0 = 5*v + u - 192, 4*v = -0*u + u + z. Is v a multiple of 37?
False
Suppose 155 = 8*z + 51. Suppose -11 = -8*t + z. Suppose 4*p - 124 = 3*j, t*p - 50 - 60 = -2*j. Is 34 a factor of p?
True
Suppose 4*g = -g + 1625. Suppose -3*r + g = 247. Is r a multiple of 2?
True
Let y(n) be the third derivative of -n**4/4 - 11*n**3/3 - 16*n**2. Let d be y(-4). Suppose d*w - 36 = 6. Does 18 divide w?
False
Let a be ((-20)/25 + 0)*(-6 - -1). Suppose -2*d + 4*l + 42 + 2 = 0, 0 = a*d - 5*l - 73. Is 10 a factor of 15/(-4)*(-128)/d?
True
Let h(m) = m**3 + 9*m**2 - 12*m - 14. Let b(u) = -2*u + 8. Let l be b(2). Suppose s + 5*o = -s - 24, 0 = -3*s - l*o - 29. Does 14 divide h(s)?
True
Let k = -22 + 27. Suppose 0 = k*p + 14 - 69. Let x(h) = 11*h - 12. Is 34 a factor of x(p)?
False
Let p = 856 - 68. Suppose 394 = n + l, 2*n - 2*l = -6*l + p. Does 24 divide n?
False
Suppose -25*d - 3994 = -969. Is 2/11 + (-100166)/d a multiple of 74?
False
Let s(x) = -15*x + 2423. Does 5 divide s(100)?
False
Suppose -2*n + 0*n = -5*j - 1677, -3*n + j + 2509 = 0. Does 34 divide n?
False
Suppose -100*w = -113*w - 6877. Is 41 a factor of 4 - 0/8 - w?
True
Suppose 15*b - 324 = -3*b. Is 41 a factor of (20 - 1)*(b + (-21)/(-7))?
False
Let d(b) = b**2 - 58*b - 443. Is d(-34) a multiple of 6?
False
Suppose -9*c = -15876 - 37413. Does 9 divide c?
False
Let x(q) = -q**3 + 8*q**2 - 8*q + 41. Let p be x(7). Suppose 29*t = p*t - 3120. Is 25 a factor of t?
False
Suppose 0 = b - 10 + 24. Is 17 a factor of (-12321)/b - (-3)/(-42)?
False
Suppose 28*q - 62003 - 1175541 = 0. Is 82 a factor of q?
True
Suppose 0 = 3*j - 5*h - 6534 - 6092, 0 = -12*j + h + 50542. Does 78 divide j?
True
Suppose 3*x = 5*u + 131, -x + 2*u + 46 = -2*u. Let h(r) = 69*r**3 + 19*r**2 - 15*r - 3. Let y be h(1). Let p = y - x. Does 28 divide p?
True
Let y = 18074 + -6258. Does 13 divide y?
False
Does 57 divide (54/(-12))/(28/(-60648))?
True
Suppose p = 3*p + 2. Let g(k) = -4 - 5 + 9*k**2 - 4*k + 7 - 2. Is g(p) a multiple of 3?
True
Let p(k) = -3*k + 54. Suppose -5*w = -3*n + 2*n - 5, -5*w = 0. Let a be (0 + 5)*(-13)/n. Is 3 a factor of p(a)?
True
Let t = -349 + 581. Let l = t - -22. Is 34 a factor of l?
False
Let x(y) = 4*y**2 + 3*y + 49. Let l(r) = 3*r**2 + 2*r + 33. Let z(b) = 7*l(b) - 5*x(b). Let p be z(-4). Suppose p*a = -146 + 1388. Does 14 divide a?
False
Is (-1)/7 - (-81)/(-2079) - (-109832)/44 a multiple of 13?
True
Let o(s) = -442*s + 6489. Is o(-22) a multiple of 31?
True
Suppose 4*f = 6*f + 170. Let k = 155 + f. Let l = 16 + k. Is 14 a factor of l?
False
Let h(f) = f**3 - 7*f**2 - 6*f + 7. Let g be h(7). Let v be (-1 - g/25)*(-5)/(-1). Suppose -v*k + 384 = 6*k. Is 8 a factor of k?
True
Let u(n) = n**2 + 24*n + 26. Let b be u(-23). Let r be 1/3 - (b/9 - 0). Suppose 3*a = -0*y - y + 40, r = -5*a - 25. Does 11 divide y?
True
Let q(b) = -600*b**3 - 16*b**2 - 45*b - 11. Is q(-5) a multiple of 18?
False
Let s(y) = 22*y + 3678. Is s(-24) a multiple of 2?
True
Let b = -206 - -213. Suppose -5*g + t + 452 = 0, 0 = -5*t - b - 3. Does 9 divide g?
True
Let m(x) = -x**2 + 13*x - 34. Let t be m(8). Let y be 62/t + 4/(-3). Suppose -y*g + 88 = -7*g. Is g a multiple of 4?
True
Suppose -21*o - 765765 = -140*o. Is o a multiple of 11?
True
Let x be 249/(-51) + (-8)/68 + 203. Let o = 326 - x. Does 20 divide o?
False
Suppose 4*z = 4*f - 32, 0 = f + f + 4*z - 10. Let d = -2047 + 2049. Does 36 divide 1210/18 - d/63*f?
False
Let s be (-3)/((-6)/55)*(-96)/120. Does 2 divide (6/15)/(s/(-220))?
True
Suppose -244*v + 2*o - 10605 = -249*v, -4*o - 4218 = -2*v. Is v a multiple of 115?
False
Let u(b) = 7*b**2 - 22. Let p be u(4). Let f = -114 + p. Does 4 divide f/(1 + 2 + 11/(-3))?
True
Suppose 5*k - 1317 - 1162 = -4*i, 0 = k - 5*i - 490. Let c = k + -171. Does 27 divide c?
True
Suppose 335*m + 5*m - 2509599 - 13511541 = 0. Is m a multiple of 44?
False
Suppose -3*s = -3*f - 39, f = -s - 4 + 11. Suppose 4*b - 16 = 0, m = -s*b + 7*b + 363. Is m a multiple of 9?
True
Let q(o) = -205*o + 24. Let y be q(-8). Let x = y + 1108. Does 30 divide 10/4*x/110?
False
Let a = -7 - -11. Suppose -4 - 4 = -a*m. Suppose -m*h = 2*h - 420. Is 15 a factor of h?
True
Let g(t) = -27*t + 52. Let i be g(-15). Suppose -s = -i + 353. Is s a multiple of 7?
False
Let t(b) = 25*b - 6. Let j be t(1). Suppose -j*p = 11*p - 43230. Is 91 a factor of p?
False
Suppose 12 = -7*m + 40. Suppose -15 = -5*d, -m*d = 7*i - 10*i + 45. Does 19 divide i?
True
Suppose n - 217 = -308. Let k = n + 232. Is k a multiple of 12?
False
Let j = -6 - -6. Suppose 4*g + 5*i = j, -i = -5*g + i. Suppose -5*u + 2*o = -437, g*u + u - 2*o - 81 = 0. Does 17 divide u?
False
Let y be (16/12 - 66/(-18)) + 1111. Does 11 divide y/(6/2) + (-2)/(-1)?
True
Let j(m) = 5*m**2