et p be h(18). Is 37 a factor of w(p)?
True
Suppose 0 = 5*x + w + 964, -3*x + 2*w = 77 + 491. Is (6/(-1))/(x/16384) a multiple of 8?
True
Let z be (26 - 1)/((-2)/132*-6). Let f = -174 + z. Does 24 divide f?
False
Let t = 664 + -388. Let k = t - 148. Is k a multiple of 32?
True
Let v(q) = 90*q + 806. Let f be v(-9). Suppose -34 = -4*c - 5*w + 23, 5*c = -4*w + 60. Is 20 a factor of 0 + 16 + f + c?
True
Let m(h) = 524*h + 4835. Is m(-9) a multiple of 7?
True
Suppose -5*j + 21*j - 1776 = 0. Let q = 370 - j. Is 9 a factor of q?
False
Let f(x) = -13*x**3 + 11*x**2 + 8*x - 7. Suppose -4*m = -0*m + 16. Does 17 divide f(m)?
True
Suppose 2*q + a = -2*a + 1, -5*a - 20 = -q. Suppose 0 = q*v - 3*b - 398 - 106, -5*v + 508 = -b. Let j = v + -56. Is j a multiple of 32?
False
Suppose 3*x - 4*w - 43 = w, 4*w = x - 26. Suppose 4*l + x = 7*l. Suppose 168 = l*o + 5*o. Is o a multiple of 7?
False
Let n = -780 - -789. Suppose n*w + 31*w = 10400. Does 26 divide w?
True
Let y(j) = j**2 + 15*j + 82. Let x = 111 + -131. Is 26 a factor of y(x)?
True
Is ((30 - 15)/(-15))/((-2)/1374) a multiple of 3?
True
Suppose -2*t + 17194 = -0*t - 14*n, -3*t - 4*n = -25916. Is 59 a factor of t?
False
Suppose 0 = -10*q + 16*q + 2294 - 8234. Does 14 divide q?
False
Suppose -66*g + 61*g = 3*o - 13955, -2*o + 11166 = 4*g. Is 155 a factor of g?
False
Suppose 8 = 4*t, -5*u + 501 = 2*t + t. Suppose -819 = 2*j + 11*j. Let h = u + j. Is 6 a factor of h?
True
Is 199 a factor of ((-2592)/54)/(12/(-1194))?
True
Is 253 a factor of (-190962)/27*(-9)/2?
False
Let r = -4206 - -4715. Suppose -y = -4*s - 0*y - 1330, 2*s + 668 = -y. Let z = s + r. Does 20 divide z?
False
Suppose k - 8070 = 2*f, -32268 = -4*k + 13*f - 9*f. Suppose -3*q - 11*q + k = 0. Is 12 a factor of q?
True
Suppose 0 = 7*u - 60 - 1662. Suppose -20 = c - u. Suppose -3*y = -c - 47. Is y a multiple of 15?
False
Suppose -75*n + 72*n = -16920. Is 13 a factor of n?
False
Let r(a) = 192*a + 2873. Does 3 divide r(0)?
False
Does 107 divide (3426/(-9) + -2)*(-153)/6?
False
Let l(t) = 1213*t**2 + 12*t + 3. Does 172 divide l(-1)?
True
Let n = -552 + 731. Let x = n + 366. Is 17 a factor of x?
False
Does 2 divide (-16)/14 + 486546/1743?
True
Let p be -163 - (-8)/(6 + -10). Let t = p + 258. Is t a multiple of 31?
True
Let j(c) = c**3 - 16*c**2 + 19*c - 5. Let v be j(15). Suppose q - v = -30. Let t = q + 31. Is t a multiple of 7?
True
Suppose -2918 = -4*q - 0*q + a, -5*q = 5*a - 3635. Suppose 9*p = q + 234. Let i = p - 43. Does 16 divide i?
True
Let m = 9 - 1. Let d = 143 + -102. Let z = d - m. Does 13 divide z?
False
Let t be (2 - 1 - -4) + (32 - 42). Let m(g) = -30*g + 45. Does 13 divide m(t)?
True
Let k(h) = -h**2 - 11*h - 8. Suppose -z + 5*l - 41 = 0, 4*l = 4 - 0. Let s = 32 + z. Is 4 a factor of k(s)?
True
Suppose 17*p + 121 = 1005. Suppose -49 = -2*m + 5*h, -8*h = m - 5*h - p. Does 29 divide m?
False
Suppose 12*a - 984 = 9*a. Suppose a = 7*h - 470. Is 18 a factor of h?
False
Let z(t) = 2*t**3 + 2*t**2 - 21*t + 267. Does 63 divide z(11)?
False
Suppose 3251 = 5*l - 4*u, -3*u = 4*l + 2*l - 3909. Does 25 divide l?
False
Let c(p) = 61*p - 8 + 398*p**2 - 193*p**2 + 39*p - 173*p**2. Does 16 divide c(-6)?
True
Let a = -318 + 313. Does 5 divide (0 - 5)/(a/255)?
True
Let n(r) = -352*r + 39. Let v be n(-2). Suppose 3*f - 6*g + 7*g = v, -472 = -2*f + 4*g. Does 82 divide f?
True
Suppose 11*o = -0*o - 100716. Is 22 a factor of o/(-26) - (0 + 14/91)?
True
Suppose -232*s + 36478 = -206*s. Is 17 a factor of s?
False
Let p(l) = -964*l - 953. Does 36 divide p(-7)?
False
Let o = 210 - 195. Is 70 a factor of (-315)/6*(-140)/o?
True
Is 12 a factor of 3 - (-1)/(7/8323) - -8?
True
Suppose -3*v = 2*f - 7, 23 = 2*f - v + 4. Is 10 a factor of (-56)/42*4/(f/(-42))?
False
Let r = -2706 - -3049. Is 4 a factor of r?
False
Suppose 576 = 42*i - 6*i. Suppose i*k = -17*k + 3366. Does 12 divide k?
False
Let y be 5/(25/30) + 7. Is y + -1 + -7 + 214 a multiple of 17?
False
Let m(b) = -b**3 - 16*b**2 + 31*b - 2. Let w be m(-18). Suppose 2 = -2*x - 5*n + w, 4*n + 215 = 5*x. Is x a multiple of 16?
False
Let t = 1863 - 3799. Suppose -4*l = -l - 60. Does 23 divide (-2)/(-10) - t/l?
False
Suppose -2*n = -n - 120. Suppose -18*v = -21*v + n. Let g = -35 + v. Is g a multiple of 2?
False
Suppose -4690 = -0*a - 7*a. Suppose 23*h - a = 28*h. Let t = 196 + h. Does 7 divide t?
False
Let v(c) = -c**3 + 39*c**2 - 185*c + 78. Does 103 divide v(25)?
False
Let m(l) = l**2 - 17*l + 26. Let f be m(10). Suppose 4*b + 8 = 0, -4*d + 139 = -5*b - 19. Let k = d - f. Is 21 a factor of k?
False
Let f be 1 - -18 - 0/(-11). Suppose -f*l + 830 + 918 = 0. Suppose -2*c = -l - 114. Is c a multiple of 67?
False
Let g be (-20)/(-6) - 2/6. Suppose 0 = 3*h - 3*k - 381, 3*k + 713 = 4*h + 199. Suppose 2*y = -3*t + h, -242 + 75 = -g*y + 2*t. Is 33 a factor of y?
False
Let b be (-82)/(-3) + 13/(624/32). Suppose b*p - 20138 = 24214. Is 22 a factor of p?
True
Suppose 17*a + 14 = 3*a. Does 36 divide (a - 1) + (12 - -84)?
False
Let l(t) = -2*t**3 - 10*t**2 + 14*t - 6. Let u = 51 - 45. Let m be l(u). Is m/(-17) - (-2)/(-1) a multiple of 8?
True
Let c(y) = 293*y + 1075. Is c(36) a multiple of 112?
False
Let r(x) = -22*x + 8. Let q(t) = t - 2. Let d(o) = -18*q(o) + 2*r(o). Let w be d(-8). Suppose -4*y = -4, 5*y - w = -3*i - 3. Does 15 divide i?
True
Let y(a) = 4*a - 135. Let b be y(34). Is 40 a factor of b + 996 - (63 - 66)?
True
Suppose -2*k - 3*u = 6, -2*k - u - 4 = u. Let s(w) = 24*w + k + 28*w + 1. Is 16 a factor of s(1)?
False
Suppose 3*w = 5*y - 35, 4*y + 3*w + 0 = 28. Suppose -3*c + 2*c = -3*q + 16, q - 2*c - y = 0. Is 480/q + (0 - 5) a multiple of 13?
True
Suppose -35*a + 31*a + 1240 = 0. Let t = -297 + a. Does 2 divide t?
False
Suppose 2*c + 1320 = 8*c. Let o be ((-6)/(-5))/((-2)/c). Let j = 232 + o. Is j a multiple of 37?
False
Let y = -4 + 6. Suppose -y*q + 84 = 2*g + 2*q, 4*q - 132 = -3*g. Is 24 a factor of g?
True
Let p(n) = 319*n + 1111. Is 22 a factor of p(7)?
True
Let r be (-2 + (-16)/(-3))*90/(-25). Let f be (-1334)/(-6) - ((-20)/r)/5. Suppose 273 = 3*h - f. Is h a multiple of 22?
False
Let k be ((-4 + 20/5)/(-2))/2. Suppose 11*q + 20*q - 1488 = k. Is q a multiple of 12?
True
Let p(l) = 16*l + 156. Let s = -399 - -414. Is p(s) a multiple of 27?
False
Suppose -11*k + 99859 = 69455. Is 17 a factor of k?
False
Let y be (1 - -1 - 7)*(-5)/5. Suppose 5*i - 4*t - 542 = 3*i, -1369 = -y*i - 4*t. Does 27 divide i?
False
Let g be -1*(3 + -11)*-1. Let s(z) = 4*z**2 + 2*z + 12 + 13*z - 2 - 2*z**2. Is 9 a factor of s(g)?
True
Suppose 52474 = -37*m + 987686. Is m a multiple of 89?
True
Let f(k) = 45*k**3 + 48*k**2 - 197*k + 4. Does 2 divide f(5)?
True
Suppose -11*y + 25230 + 7204 = 754. Is y a multiple of 30?
True
Let t = 23882 + -13882. Is t a multiple of 25?
True
Does 3 divide 47/(1 + -9 - (-663)/78)?
False
Let o(v) = -119*v**3 - 5*v - 4. Let b be o(-1). Let u = 220 - b. Is u a multiple of 10?
True
Let s(p) = -p**2 - 18*p - 21. Suppose -4*z - 2 = -j - 1, 1 = 2*z + j. Suppose 4*n + 1 - 5 = z, -4*o = -n + 37. Is 18 a factor of s(o)?
False
Suppose -64*r + 70*r = 77616. Does 21 divide r?
True
Suppose 6*j = 3*p + 5*j - 9339, -p + j + 3117 = 0. Is 61 a factor of p?
True
Let y be (1 - 3/4)*4. Let q be ((-5)/(-6))/(20/(-24) + y). Suppose 4*h = 4*g - 1012, -q*g + h + 1917 = 668. Does 17 divide g?
False
Let x = 302 + -464. Let b = 402 + x. Is b a multiple of 40?
True
Suppose 28*t + 4*c = 26*t + 4, 4*t + 2*c - 2 = 0. Suppose 688 = 3*k - 5*v, 25 + t = -5*v. Is 13 a factor of k?
True
Let c(b) = b**2 - 10*b - 12. Let o be c(12). Let h be 80/o*(49 - 1). Suppose 5*r = g + 556, 2*r - 5*r + 4*g + h = 0. Does 16 divide r?
True
Suppose 34*x = 28*x + 39*x - 275022. Is 59 a factor of x?
False
Let f = 9592 + -2200. Does 176 divide f?
True
Suppose 115*s = 109*s + 18. Let y be 8/6*6/4. Suppose v = 2*v + s*g - 112, 4*v + y*g = 488. Is 20 a factor of v?
False
Let h(i) = 4*i**3 + 10*i**2 - 11*i + 6. Suppose x = 2*x - 3*t, -5*x = -5*t - 20. Let n be h(x). Suppose 7*v - n = v. Does 16 divide v?
False
Let l(b) = -4*b**2 + 23*b - 28. Let f be l(4). Suppose 5*r - 2122 = -3*k, 2*r = -4*k - f*k + 2820. Is k a multiple of 88?
True
Let n(u) = -9*u**2 - 39*u + 9. Let x be n(-4). Suppose 22*s = x*s + 764. Is 11 a factor of s?
False
Is 41 a factor of 3/3*26/(-2