t = -3*q + j. Is 5 a factor of q?
True
Let r = 3385 + -2387. Let z = 1878 - r. Is 40 a factor of z?
True
Let q be 36/42*7 + -64. Let l = 485 - q. Is 15 a factor of l?
False
Suppose y - 51*a + 47*a + 2 = 0, 3*a = 3. Suppose y*f = 110 + 2674. Is f a multiple of 22?
False
Suppose -18*d = -19*d + 2. Suppose 1025 = d*i - 151. Does 98 divide i?
True
Suppose 5426*y + 8446 = g + 5422*y, 5*g + 4*y = 42374. Is 10 a factor of g?
True
Suppose 24*f + 2423 = 29*f - 4*p, 4*f - 1936 = 2*p. Let d = -329 + 658. Let r = f - d. Is r a multiple of 22?
True
Suppose -134*g + 1471920 = -14*g. Does 8 divide g?
False
Suppose -2*i - 6*p + 10*p + 514 = 0, -5*i - 5*p = -1270. Does 9 divide (-10)/5 + i + -1?
True
Let r be ((-153)/(-6) + -4)*-2. Is 11 a factor of 377*1 - (r - -41)?
False
Is (-4 + 28)*(-760)/(-60) a multiple of 4?
True
Let h(v) = 2671*v**3 - 5*v**2 + 28*v - 38. Does 18 divide h(2)?
True
Let l(s) = s**3 - s**2 - 17*s - 10. Let h be l(5). Suppose 3*c - 5*c - 2*v + 122 = 0, -h*v = c - 77. Does 2 divide c?
False
Does 74 divide -8 - (156/(-26) - (6507 + -1))?
False
Let q = -1708 + 7308. Is q a multiple of 56?
True
Suppose -164*r = -163*r - 2. Suppose 0 = -2*z - 41*w + 40*w + 995, z + r*w = 490. Is z a multiple of 14?
False
Let b be ((-20)/130 - (-43)/26)*-4. Let s be -2 - ((-18)/12)/(b/(-536)). Suppose 3*z = -z + s. Is 11 a factor of z?
True
Let i(n) = -n - 30*n**2 + 1 - 6*n**3 + 27*n**2 - 2*n**3. Let q be i(-1). Suppose 0 = -2*s - 3*o + 264, -s + 137 = 2*o + q. Does 37 divide s?
False
Suppose -11*u + 27609 = -15007 + 8648. Is u a multiple of 53?
False
Let g be (-7 + 8)/((-1)/(-6)). Suppose 6 - g = -3*s. Is 16 a factor of s + 76 - (9 - 5)?
False
Let p be ((-33)/4)/(18/24). Let m(k) = -12*k + 114. Is 41 a factor of m(p)?
True
Suppose 9*o - 14*o - 1279 = -3*p, 0 = -4*o - 8. Let z be 0 + 4 - 0/(-2). Suppose -s = -z*s + p. Is s a multiple of 32?
False
Let p(v) be the third derivative of -13*v**4/24 + 5*v**3/6 - 3*v**2. Let m = -103 + 101. Is 5 a factor of p(m)?
False
Let g be 297 + (-5 + 3 - -5). Does 5 divide 2 + g*(-1)/(-2)?
False
Let g = -84 - -91. Let x(r) = -60*r + 21 + g - 16. Is 42 a factor of x(-4)?
True
Let u(t) = -t**2 - 25*t + 81. Let s be u(-24). Let l = 573 - s. Is l a multiple of 23?
False
Suppose 4*u - 2*m - 1928 = 8*u, -3*u + 2*m = 1453. Let h = -33 - u. Does 15 divide h?
True
Suppose 99*l - 100*l = 0. Suppose 0*o + o - p - 199 = l, o + 3*p = 195. Is o a multiple of 9?
True
Let s(k) be the third derivative of -k**5/60 - 7*k**4/24 + 16*k**3/3 - 36*k**2. Let f be s(-10). Suppose 4*m - 198 = f*m. Is 31 a factor of m?
False
Suppose 45*g - 311119 = 453341. Is 62 a factor of g?
True
Suppose 5*q + 2*t - 68258 = 0, 0*t + 13651 = q + t. Is q a multiple of 41?
False
Suppose -4*c - 7 = 3*w, -2*w + 7*w = c - 4. Let p be (-32 + 24)*1/(2/c). Is 34 a factor of p/24 - (-982)/12?
False
Suppose -7*a + 2*a = 2*a. Suppose a*j = -2*j - 3*h + 891, j = -5*h + 428. Suppose -3*v = j - 1218. Does 51 divide v?
True
Let k = -76470 - -114576. Does 29 divide k?
True
Let f = 7702 + -6353. Is 3 a factor of f?
False
Let x(g) = -3*g**3 - 18*g**2 + g - 10. Let w(k) = k**2 + 8*k - 41. Let u be w(-11). Is 33 a factor of x(u)?
False
Let g = 2 - 4. Let w be 25 + 4/(2 - g). Let h = w - 20. Is 5 a factor of h?
False
Let y(s) = 2*s**2 - 6*s + 3. Let a be y(4). Let x(g) = -60*g + 14*g - 37 + 17*g + 16*g + 19*g. Is x(a) a multiple of 9?
False
Let w(m) = m**2 - m + 1. Let a(x) = -5*x**2 + 16*x + 55. Let u(v) = -a(v) - 4*w(v). Is 2 a factor of u(21)?
True
Suppose -2*j = -0 - 6. Let c be ((-38)/57)/(2/(-6)). Suppose 90 = c*a + j*a + 5*f, a = -4*f + 24. Is a even?
True
Let z be ((-1)/7 + (-2155)/105)*-3. Suppose 3*w - 5*f - 10 = 0, 0 = -5*w - f - 2*f + z. Suppose -9*j = -w*j + 150. Is j a multiple of 14?
False
Suppose 13185*k + 309088 = 13211*k. Does 22 divide k?
False
Let u = -434 + 5. Let w = 1096 + u. Does 29 divide w?
True
Suppose c - 116 = 2*t, -2*c + 23 = 5*t - 227. Does 4 divide c?
True
Let b be ((-10432)/(-20))/(-4)*(3 - -2). Let p = 1549 + b. Is p a multiple of 13?
True
Let t be (-8082)/(-5) + 10/(-25). Suppose -36*x + t = -32*x. Is x a multiple of 12?
False
Suppose 0 = -45*a + 60*a - 1950. Suppose -2*r = -10, a = -b + 2*b + 5*r. Does 5 divide b?
True
Let m be (-36)/(-84) + 5220/(-28). Let x = m + 233. Does 12 divide x?
False
Suppose -m - 2*d = -11, -3*m = 3*d - 9 - 15. Suppose -80 = m*o + 185. Let c = 102 + o. Does 49 divide c?
True
Let x(a) = 10 + 46*a**2 - 130*a**2 + 38*a**2 + 47*a**2 - 7*a. Suppose 2*f + 17 = f + 5*t, -3*f = -5*t + 31. Is 36 a factor of x(f)?
True
Suppose -5*d + 61089 = 19631 - 60327. Is 25 a factor of d?
False
Let p(j) = -j**3 + j**2 + j - 7. Let m be p(-2). Suppose x + f - 1198 = m*f, -3*x - 4*f = -3604. Is 25 a factor of x?
True
Let p(j) = 293*j - 2189. Is p(32) a multiple of 26?
False
Let d(n) = 7*n**2 + 67*n - 34. Let y be d(-11). Suppose -y*h + 82*h = 4896. Is 17 a factor of h?
True
Suppose 114 + 310 = -4*q. Let x = 139 + q. Is 11 a factor of x?
True
Let h = 53 - 41. Is 5 a factor of (h/16)/((-1)/(20/(-1)))?
True
Let p(h) = -124*h - 4058. Does 8 divide p(-67)?
False
Let t(p) = 4*p - 19. Let x be t(6). Suppose 5*a - 3*c - 233 = 0, a - 74 + 5 = -x*c. Suppose -a = 3*y - o - 306, 79 = y + o. Is 15 a factor of y?
False
Suppose 17 = -19*t - 116. Let r = t - -117. Does 5 divide r?
True
Suppose -5*v + 0*v = -20. Suppose -l + 2*f = -212, 5*l - 971 = -v*f + 75. Suppose -l = -2*d + 22. Is 29 a factor of d?
True
Let k be 23 + 1 + 1 + -5. Suppose m - k = -15. Suppose -176 = -13*h + m*h. Is h a multiple of 10?
False
Suppose -799*f + 39550 = -804*f. Is (-18)/10*-4*f/(-168) a multiple of 6?
False
Let b(o) = -3*o - 16. Let r be b(-5). Is 25 a factor of (66/12)/(r/(-12))?
False
Suppose 2586*m = 2604*m - 99144. Is m a multiple of 34?
True
Suppose -2*f + 36*w + 9156 = 38*w, -2*f + 2*w + 9156 = 0. Is 7 a factor of f?
True
Let b = 586 - 98. Is b a multiple of 14?
False
Suppose 85*u = 32*u + 1118777. Is u a multiple of 61?
False
Suppose -5*x - 3*b = -1665, 0 = -65*b + 68*b. Is 3 a factor of x?
True
Suppose -4*b - 2*o = 302 + 196, -o - 495 = 4*b. Let u = b - -129. Is u a multiple of 6?
True
Suppose -23*j + 755712 = 9*j - 16*j. Does 18 divide j?
True
Let o be (-13)/(-15) + 7/420*8. Let t(g) = -o + 11 + 16*g + 21*g - 27*g. Is 13 a factor of t(12)?
True
Let c be 3/18 + 6/(-36). Let b be 1/(-5) - 1844/(-20) - c. Let z = 13 + b. Is z a multiple of 21?
True
Let n(s) = s**3 + 4*s**2 + 11*s + 8. Let u(t) = -t**2 - t + 1. Let j(m) = -n(m) + u(m). Let d be (-384)/66 - (-4)/(-22) - 0. Does 23 divide j(d)?
False
Suppose -142*y + 31764 = -130*y. Suppose 23*j - 13756 + y = 0. Is j a multiple of 40?
False
Let w = 54 - -76. Let z(f) = -f + 30. Let l be z(-5). Suppose 2*m - 5*u - w = 0, -2*u - 95 = -2*m + l. Is m a multiple of 11?
False
Let w be 5700/2 + 30/(-50)*-5. Does 6 divide -9 + w/27 - 4/6?
True
Suppose 8 = 3*j + 3*c - 1, -5*j + 18 = 2*c. Suppose 2*a = -25*a + 3780. Suppose j*q + h - a = 0, 3*q + h = 4*q - 35. Does 7 divide q?
True
Let n(r) = 3*r**2 - 7*r - 6. Let o be n(-3). Suppose 0 = o*v - 45*v + 6. Suppose -2*a + 64 = -3*y, v*a + 5*y = 58 - 10. Does 12 divide a?
False
Let m = 7 - -52. Suppose -m*n + 1460 = -54*n. Is n a multiple of 11?
False
Let j = -78 - -42. Let b = j - -41. Suppose -n = -2*a + 119, -b*a + 4*n = -248 - 45. Is 9 a factor of a?
False
Let n be 2/11 + 31/11. Suppose n*g - 28*g + 7025 = 0. Is g a multiple of 17?
False
Let s = 67777 - 47834. Is 11 a factor of s?
True
Suppose 4*a = 2*f - 6 - 4, 0 = -4*f + 20. Let n be (a - -3) + 0 - 162/(-6). Let q = 101 - n. Is q a multiple of 9?
False
Let v(c) = c**3 + 12*c**2 + 6*c - 7. Let m be v(-10). Let b(n) = 346*n**2 - 3*n + 2. Let p be b(1). Let z = p - m. Is z a multiple of 54?
False
Suppose -965 = 5*o - 3*h - 2426, -o + 297 = h. Suppose -186 = -4*b + o. Does 20 divide b?
True
Let i = 4771 - 2905. Is 22 a factor of i?
False
Let r = -229 + 118. Is 31 a factor of ((-37)/r)/((-1)/(-612))?
False
Suppose 109 - 9 = 4*a + j, 4*j + 16 = 0. Let n be -130*1/8*-12. Let h = n - a. Does 26 divide h?
False
Let j be 1/(-4)*2 - (-1185)/6. Let u = j - 184. Is u a multiple of 2?
False
Suppose 329 = 7*j + 105. Let n = 228 + j. Is n a multiple of 8?
False
Is 104 a factor of (-293910)/(-80) + 1/8?
False
Let l(u) = -u**3 - 3*u**2 - 9*u - 16. Let d be l