 factor of w?
False
Let k(j) = 4*j**2 + 8*j + 4. Let p be k(-9). Suppose 2*n = 2*f + p, 0*f - 265 = -2*n - f. Is 5 a factor of n/10 - 12/120?
False
Suppose 2*x + 54*x - 815670 = -39*x. Is x a multiple of 106?
True
Let v be ((-1145)/15 - 3)*(1 - 19). Suppose 0 = 5*p + 4*r - v, 376 + 191 = 2*p + 3*r. Does 24 divide p?
True
Suppose -f + 35 = -122. Let g = -21 + f. Is 6 a factor of g?
False
Let h = 8331 - 7612. Is 32 a factor of h?
False
Let i be -10*(13/5 - (-117)/(-39)). Suppose 3*z - i*b - 320 = 0, -7*b + 8*b = 2*z - 220. Is 8 a factor of z?
True
Let x be (54/12 - 5)/((-1)/(-308)). Let c = x - -170. Is c a multiple of 11?
False
Let f(n) = n**3 - 20*n**2 + n - 13. Let m be f(20). Let r be -4 - m/(28/(-80)). Suppose -8 = -2*l + r. Is 6 a factor of l?
True
Let s = 116070 - 55590. Is 63 a factor of s?
True
Let t(x) = x**3 + 26*x**2 - 29*x - 19. Let p be t(-27). Suppose 33*z = p*z - 558. Is z a multiple of 9?
True
Suppose -4 = 4*o - 20. Suppose 0*u = -5*k + 2*u - 18, 0 = 2*k - 4*u + o. Does 9 divide (20 + k)*(1 + 0/1)?
False
Suppose 2*d - 36029 = -l, 5*l - 75562 = -2*d + 104511. Is 60 a factor of l?
False
Suppose 12*w + 2*n + 21830 = 17*w, 4*n + 4384 = w. Is w a multiple of 10?
False
Let v(r) = 69*r - 23. Let u be v(22). Let h = -1053 + u. Is h a multiple of 13?
True
Let c(t) = -t**3 - 16*t**2 - 27*t + 18. Let s be c(-14). Let g be s + -1 + 3 + 18 + -19. Does 14 divide 7 + 16 - g*-1?
True
Is 10 a factor of 1*2153 + 385/55?
True
Let c be ((-16)/(-6))/(6/9). Suppose -22*f = -31*f + 63. Suppose -4*d = -f*d + k + 123, c*k + 12 = 0. Is 35 a factor of d?
False
Let f(l) = 3*l**2 + 2. Let s be f(7). Let t = s + 130. Is 27 a factor of t?
False
Suppose -2*j - 4 = 0, -9025 + 42303 = 5*n + j. Does 128 divide n?
True
Let q(u) = -u + 4. Let v be q(8). Let s be (-210 - 3)*(v - -5). Let n = s - -363. Is 14 a factor of n?
False
Is (5 - 6)*2/6*-186 a multiple of 62?
True
Suppose -j = -4*s + 10868, 2*s - 1549 = -2*j + 3895. Is s a multiple of 18?
True
Let j be -6*(135/(-75))/((-3)/10). Is (-12968)/(-36) - (-8)/j a multiple of 8?
True
Let t(h) = -h**2 - 14*h + 13. Let q be t(-15). Let l = 5 + q. Suppose -3*m = -4*p + 59 + 62, 5*p - l*m = 155. Is 17 a factor of p?
True
Suppose 13*o - 62348 = -11*o + 11*o. Does 218 divide o?
True
Suppose -2*g + 2*o = -3*g + 3340, -o = g - 3340. Suppose -5*t = 3*a - g, 8*a - 9*a - 5*t + 1130 = 0. Is a a multiple of 17?
True
Let m(a) = -a**2 + 29*a - 26. Let j be m(28). Suppose 0 = -2*g + v + 1938, -15*g = -12*g - j*v - 2908. Does 11 divide g?
True
Suppose -4*d + 20 = 2*n - 4*n, 0 = -4*d + n + 16. Suppose 2*i = -d*z + 737, 1946 = 5*i - 5*z + 91. Is 10 a factor of i?
True
Suppose 31*t + 26*t - 888439 = 4*t. Is t a multiple of 36?
False
Suppose 25*d = d + 2136. Suppose 1044 = -d*l + 95*l. Is 26 a factor of l?
False
Suppose 20 = -370*n + 374*n, 2584 = 4*s + 4*n. Is s a multiple of 23?
False
Let f(g) = -g**3 + 8*g**2 - 9*g - 9. Let z be f(5). Suppose q + z = -2*q. Is 20 a factor of q/(-1)*(-120)/(-7)?
True
Let o(d) = 271*d - 482. Does 17 divide o(11)?
True
Let n(i) = -56*i - 304. Let o(p) = 338*p + 1823. Let b(k) = 13*n(k) + 2*o(k). Is b(-36) a multiple of 18?
True
Is (7*(-13905)/189)/((-1)/13) a multiple of 46?
False
Let n(l) = -2*l**3 - 17*l**2 - 7*l + 27. Let s be n(-8). Let g(w) = -w**3 + 21*w**2 + 14*w - 35. Is 45 a factor of g(s)?
False
Let u(q) = -4*q**3 + q**2 - 3*q + 5. Let k be u(-4). Suppose 3*d - 2*j - k = 0, -2*d = -3*d + 3*j + 101. Let w = d + -51. Is 11 a factor of w?
True
Let f(p) = 5*p + 138. Let i be f(-26). Is i*2/4 - (-109 + 11) a multiple of 12?
False
Let u(f) = 9*f**2 + 22*f - 187. Is 5 a factor of u(-17)?
True
Suppose -24 = 3*s + 2*b - 90, -s - 4*b = -32. Suppose -2*n - k = -22, 3*n - 8 = k + s. Suppose 2*d = 5*z + 97 + 5, -5*z - n = 0. Does 7 divide d?
False
Let h(n) = -48 + 48 - 96*n - 62 - 97. Does 10 divide h(-7)?
False
Let f be (-30)/(-50) + 2662/5. Suppose 3*n + f - 68 = 0. Let a = n + 234. Is 11 a factor of a?
False
Let u be (-2448)/(-84) - (-2)/(-14). Is 42 a factor of (0 + u/(-2) - -4)*-52?
True
Suppose -4 = -4*q + 4. Is 3 - (-3 - -7 - 14 - q) a multiple of 3?
True
Let j = -5233 - -5218. Let b(u) = u**2 - 25*u - 14. Let k(g) = 2*g**2 - 26*g - 15. Let v(l) = 3*b(l) - 2*k(l). Is 18 a factor of v(j)?
True
Is 13902339/609 + (-5)/35 a multiple of 161?
False
Let a be 1 + 4 + 90 + -4. Let l be -2 + a/35 + 4/10. Suppose 3*i = 2*m + 6*i - l, 4*i = 3*m - 44. Is m a multiple of 2?
True
Suppose 9*s - 391 = 1652. Suppose 5*g - 23 = s. Is 29 a factor of g?
False
Let s(u) = 39*u + 471. Let j be s(-12). Is (4 - 100)*(-2 - j/9) a multiple of 16?
True
Let j(v) = 2*v**2 + 31*v - 24. Let h(b) = 3*b - 14. Let k be h(-3). Is 26 a factor of j(k)?
False
Suppose -5*s + 18 + 4 = 3*q, -q - 2 = -3*s. Suppose 0*z + 5*z = x - 848, 0 = 5*x + q*z - 4298. Is 25 a factor of x?
False
Suppose -16*d - 15*d + 22344 = 26*d. Does 4 divide d?
True
Let x = -186 + 188. Suppose -3*f + x*p = -450, -5*f + 3*p = -f - 601. Does 36 divide f?
False
Let p(h) = -h**2 + 12*h - 30. Let a be p(5). Suppose -3*l = -a*l + 2*g + 1188, -l + 569 = 4*g. Suppose -49 = 2*z - l. Is 45 a factor of z?
True
Let w = 344 - 339. Suppose 2*z - 1426 = -4*g, -3565 = -w*z - 26*g + 24*g. Does 31 divide z?
True
Suppose 4*m + 2*v - 876 = 0, 9*v - 10*v = -2*m + 442. Let l = -104 + m. Is l a multiple of 4?
True
Suppose 0*j - 5*i + 1055 = 5*j, 0 = 2*j - 2*i - 438. Let k = 39 + -37. Suppose -k*n + 4*p + 114 = 0, -3*n - 5*p + j = -0*n. Does 16 divide n?
False
Suppose -20 = -r + 6*r, 1055 = -3*y - 2*r. Suppose -40 = 108*b - 118*b. Does 8 divide (-10)/40 - y/b?
False
Let w be (-8)/15*3*10/(-4). Let k be (-45 - 2)/(w/8). Let m = 122 + k. Is 7 a factor of m?
True
Let v(u) = -u**2 - 20*u + 47. Let k = 432 - 451. Is 11 a factor of v(k)?
True
Does 77 divide (16/(-18))/2 - (390592/(-144) - 21)?
False
Let h = 33451 + -30382. Is 9 a factor of h?
True
Suppose 0 = 15*l - 20*l. Suppose l = 3*i - i. Suppose -50*r + 56*r - 852 = i. Does 55 divide r?
False
Suppose 3*t + 24 = -3*l, -2*t + l + 4 = 8. Is 9 a factor of ((-54)/(2 + -5))/(t/(-48))?
True
Let i(w) = 5*w + 15. Let k be i(0). Suppose -20*c + 770 = -k*c. Does 17 divide c?
False
Let b(i) = -22*i - 98. Let g be b(-5). Suppose 3*w = -4*c + 2689, -3*w = -7*w + g. Is c a multiple of 30?
False
Let j(t) = 44*t**2 - 408*t + 5 + 18*t**2 + 404*t. Is j(2) a multiple of 51?
False
Let u(j) = 2*j**3 + 30*j**2 + 20*j - 15. Let d be u(-15). Let s = -231 - d. Is 21 a factor of s?
True
Let r be 3/(-4) - (-1)/(-4). Suppose 64*m - 18164 = 158*m - 170*m. Let s = m - r. Does 12 divide s?
True
Let g be 104/(-39)*6/(-4) - -644. Suppose -10*t + 8*t = -v - 255, g = 5*t + v. Is 53 a factor of t?
False
Suppose -3*u - 10 = -u, -4*u = 4*y - 172. Suppose y*j - 6937 = 1127. Is 4 a factor of j?
True
Let s be 4/2 + 5/((-10)/6). Let y = s - -36. Suppose 0 = -7*m - y + 84. Does 2 divide m?
False
Let v = 46 + -52. Is (-18)/v - 2 - -183 a multiple of 8?
True
Let m(s) = 3*s + 21. Suppose 3*y = 15*y - 108. Let p be m(y). Let x = 216 - p. Is x a multiple of 14?
True
Suppose 31632 = -21*o + 151479. Is o a multiple of 13?
True
Suppose -22 = k + 3*a, 3*k + 2*a - 25 + 105 = 0. Let p = k + 28. Suppose p = 2*o - 355 - 131. Is o a multiple of 17?
False
Suppose -10*u + 22326 + 4301 = -3343. Is u a multiple of 37?
True
Suppose 238 = -6*t + 40. Let a = -31 - t. Let z(h) = 16*h**2 - 9*h + 12. Is z(a) a multiple of 4?
False
Suppose 881 + 175 = 4*o. Suppose -2*z + o = 84. Does 3 divide z?
True
Suppose -392*i + 18 = -390*i. Suppose -i*f + 5*f = 5*c - 2498, -4*c = -f + 635. Is 22 a factor of f?
False
Let m(w) = -3 - w - 2*w + 23*w**3 - 349*w**3 + 0*w**2 + 2*w**2 + 2*w. Does 16 divide m(-1)?
False
Suppose 0 = -2*t - 6*b + 4*b + 5084, -5*t = -3*b - 12734. Does 162 divide t?
False
Suppose -x - 6 = 2*q, -5*x + 3*q = 2 - 11. Suppose -2*n - 2 = -x. Is 3 a factor of 12/(-4*n/4)?
True
Let i = -1503 - -1543. Does 40 divide i?
True
Let n = -14 - -18. Suppose 3*r + 66 = 3*k, -3*r + 5*k - n*k - 60 = 0. Let x = -1 - r. Is 2 a factor of x?
True
Let p be (-2)/(-8) - (-816)/(-192). Let m(j) = 12*j**2 + 15. Is 69 a factor of m(p)?
True
Let l(w) = -10*w + 117. Let r be l(12). Let z(i) = -11*i**3 - 3*i**2 + 4*i + 8. Is z(r) a multiple of 49?
False
Is 129 a factor of ((-2330)/699)/((-1)/774)?
True
Let j(m) = -524*m - 20. L