e l(-7). Does 15 divide (113/n - -1)/(112/3192)?
False
Let z(j) = 11452*j - 67. Is 9 a factor of z(1)?
True
Is 14 a factor of (-206)/6*(-95)/(2470/3276)?
True
Suppose -19*l + 131 = -629. Is 51 a factor of (-6236)/(-10) - 12*2/l?
False
Let y be (0 - 53)/(-1 + 0). Suppose -u - 2*u - 2*x = -55, 0 = 5*u + x - 87. Let l = y - u. Is 11 a factor of l?
False
Let v = 104 - 36. Suppose -192 = 5*n + v. Let y = n - -96. Is y a multiple of 19?
False
Let w(x) = 44*x - 87. Let g be (42/(-54) + 1)*18*1. Is w(g) a multiple of 72?
False
Let q(a) = -24*a + 103. Let l = -72 - -56. Is q(l) a multiple of 26?
False
Suppose 459 = 4*x - 153. Let h = -104 + x. Is h a multiple of 11?
False
Let g(w) = 8*w. Let u = -38 + 276. Suppose -12*v = 2*v - u. Is 41 a factor of g(v)?
False
Suppose 2*w - w = 5*c + 43, -5*c = 3*w + 31. Let f(y) = -36*y - 116. Is f(c) a multiple of 2?
True
Is ((-2052)/(-855))/(1/5345) a multiple of 144?
False
Suppose -9*p + 721 = 163. Let o = p - 56. Suppose -o*c + 2*c + 208 = 0. Is c a multiple of 26?
True
Let x = -29 + 38. Suppose l + x*l - 2450 = 0. Is l a multiple of 41?
False
Let u(t) = -6*t**2 - 110*t - 48. Is u(-15) a multiple of 18?
True
Let z(n) = n - 2 + 0*n + 0*n. Let r be z(3). Is 15 a factor of 27 + (5 - (r + 3))?
False
Suppose -m - 5 = p, -p - 5 = -3*m - 0*m. Suppose m = 18*g - 23*g + 80. Suppose -g*z + 63 = -15*z. Is z a multiple of 21?
True
Let m = -56 + 59. Suppose 4*l + 42 = 5*d, -m*l - l = 4*d - 12. Suppose -d*w + 10*w = 212. Is w a multiple of 15?
False
Suppose 5*i - 12359 = -4*b, 3*b + 3*i - 9274 = 4*i. Is b a multiple of 12?
False
Let z(y) be the first derivative of -y**4/4 + 6*y**3 - 10*y**2 - 20*y - 1. Let b be z(16). Suppose -58*l + 57*l = -b. Is l a multiple of 43?
True
Suppose -q - 3 = -4*m, -2*m + 6 - 15 = 3*q. Does 31 divide 12*84/16 + q?
False
Does 25 divide -1824*(-6)/35*(-11 + 6)*-21?
False
Let p = 58 + -53. Suppose 3*y + 8 = p*y, 4*c + 5*y - 140 = 0. Does 5 divide c?
True
Let u = -699 + 22821. Is 71 a factor of u?
False
Suppose 77*w + 933 = 3*d + 73*w, 0 = -4*w + 12. Is -5*(-27792)/d - 1/7 a multiple of 7?
True
Suppose 0 = 4*u - 11*u + 707. Let w = u + -24. Let b = w - -43. Is b a multiple of 36?
False
Suppose 0 = -13*o + 37631 + 68761. Suppose -18*h - 4*h = -o. Does 67 divide h?
False
Let z be (-18)/22 - -1 - 11676/(-154). Let p = -71 + z. Suppose 2*v = 3*h - 0*v - 134, p*h = -2*v + 250. Is h a multiple of 12?
True
Suppose -68*b + 7373 = -3099. Is b a multiple of 8?
False
Let o be 1650/(-44)*(-8)/(-10). Let a = -34 - -134. Let u = a - o. Is u a multiple of 13?
True
Suppose 7*x = 4*x - 2*u - 1127, -1498 = 4*x + 5*u. Let d = 769 + x. Does 47 divide d?
False
Let t(s) = -570*s - 8135. Does 122 divide t(-48)?
False
Let i = 12541 + -7781. Is i a multiple of 20?
True
Suppose 0 = -8*m + 19*m - 2255. Suppose 3*f + 5*i = m, -4*f = i - 121 - 141. Does 48 divide f?
False
Suppose 407833 + 185 + 1261782 = 275*i. Is i a multiple of 47?
False
Let k(j) = 30*j**3 - 2*j + 1. Let t = -24 - -28. Suppose 0 = -h - 3*h + t*u - 4, -4*u = -8. Is 8 a factor of k(h)?
False
Let o(i) = -28*i**2 - i - 1. Let w be o(-1). Let f be 2/5 - (-156)/45*-3. Does 15 divide w/f*(-65)/(-2)?
False
Is 140 a factor of (-5)/3 + (-1517460)/(-252)?
True
Suppose 91*x - 115007 = 31412. Does 12 divide x?
False
Let v(b) = -2*b**3 + 7*b**2 + 9*b - 15. Let u be v(6). Let j = u - -195. Is j a multiple of 2?
True
Let z(x) = 3*x**2 + 8*x + 10. Let v(q) = 4*q**2 + 9*q + 10. Let l(s) = -2*v(s) + 3*z(s). Let y be l(-4). Is 186/(-10)*(-10)/y a multiple of 20?
False
Suppose 3*y - 3 = 0, 2*y = -5*f + 3*y + 294. Let b = f - 54. Suppose 3*p = 3*x - 366, 207 - 835 = -b*x - 4*p. Is 17 a factor of x?
False
Let n(t) = -224*t + 874. Does 74 divide n(-7)?
True
Suppose 0 = -5*b - 2*d + 59355, 33*b - d - 11871 = 32*b. Does 45 divide b?
False
Suppose -656856 + 26843 = -31*z. Does 25 divide z?
False
Let a be (-4)/14 + (-336)/(-147). Suppose 0 = -a*w + 8 - 114. Let i = w + 97. Does 11 divide i?
True
Let y(h) = h**3 + 13*h**2 + 25*h + 191. Does 2 divide y(-8)?
False
Suppose -3*v + r - 1832 = -0*r, 3*v - 3*r = -1842. Let s = -313 - v. Is s a multiple of 27?
False
Let s = -34 - -39. Suppose s*r + 162 = -2*w - 80, -3*w = r + 337. Let a = -65 - w. Does 10 divide a?
False
Let z(w) = 30*w**3 - 16*w**2 - 13*w + 293. Is z(11) a multiple of 21?
False
Suppose 0*w = -2*x - 4*w - 638, 0 = -2*w + 10. Let b = x + 360. Is b a multiple of 5?
False
Let z = 130 + -127. Suppose -1356 = -4*v - 4*r + 616, 0 = 4*v + z*r - 1967. Is v a multiple of 46?
False
Suppose -25*z = -12*z + 42*z - 30525. Does 10 divide z?
False
Let q = -181 + 181. Suppose 5*c - 23 - 102 = q. Does 25 divide c?
True
Does 8 divide ((-16 - 235) + 19)*(1 - 6)?
True
Let n be (-8)/3*(-39)/26. Suppose -q - 4*s = -0*q + 16, -12 = n*s. Does 7 divide (7/2)/((-3)/q)*6?
True
Let u(c) be the second derivative of c**4/12 + 13*c**3/6 + 27*c**2/2 - 19*c + 8. Let w = -12 - 2. Is u(w) a multiple of 41?
True
Suppose 85*g - 4*d = 80*g + 33024, -4*g + 2*d = -26424. Does 59 divide g?
True
Let a(i) = 3*i**2 - 114*i - 391. Is a(51) a multiple of 17?
True
Suppose -827 + 3742 = 5*j. Suppose -4*c + 2*n - 456 = -1586, -5*n = 2*c - j. Is 13 a factor of c?
False
Is 81 a factor of 3/(204/330200) + 6/51?
False
Suppose -20 = 4*l + 20. Let a(f) = f**3 + 13*f**2 - 21*f - 18. Is 41 a factor of a(l)?
True
Let m = -4 - -2. Suppose 4*k + 3*t - 394 = 283, -2*k = -5*t - 371. Let b = k - m. Is 25 a factor of b?
True
Let z = 44996 - 19916. Is z a multiple of 20?
True
Let o(f) = f**2 + 2*f - 23. Let z be o(14). Let v = z - 328. Let t = v - -219. Does 20 divide t?
False
Let n(c) = 4*c**2 - 3*c - 1. Let z(u) = u**3 + 5*u**2 + 3*u - 1. Let j = -35 - -31. Let t be z(j). Is 8 a factor of n(t)?
False
Let g = -5123 + 7996. Is 13 a factor of g?
True
Let m = 10206 - 6056. Is 10 a factor of m?
True
Suppose 12 = 8*p - 4*p, -3*i + 10572 = 5*p. Suppose -10*m - i = -13*m. Does 34 divide m?
False
Let r = 5902 - -28734. Is r a multiple of 28?
True
Suppose 8*q = -10 + 34. Is 37 a factor of (-218 - q - 1)/(3/(-4))?
True
Let o = 30 + -27. Suppose 199 = -o*z + 61. Let h = z - -98. Is 10 a factor of h?
False
Does 73 divide 5470 - (1 - (-12)/7*70/(-20))?
True
Suppose -34*z + 169200 = 50224 - 69316. Is z a multiple of 18?
False
Let t(r) = r**3 - 17*r**2 - 4*r + 23. Let s be t(17). Let a = 286 - s. Suppose 0 = -5*c + 5*j + 585, -5*c = -2*c + j - a. Is c a multiple of 11?
False
Let r = 21868 - -44292. Is r a multiple of 10?
True
Let k be 18490/14 - (-8)/(-56)*-2. Let o be (-3014)/(-10) - (-4)/(-10). Suppose 10*r + o = k. Is r a multiple of 17?
True
Suppose -20*w = -18*w, -3*c - 3*w + 21 = 0. Suppose 5*n + 1152 = c*n. Is n a multiple of 6?
True
Let g = 307 - 175. Let v be (-3)/(-12) - 2119/(-4). Suppose 3*s + 2*n - v = -g, 4*s = 3*n + 542. Is 10 a factor of s?
False
Does 87 divide (200 - 203)/(6/(-54764))?
False
Suppose -2*p - 1174 = -3*m + 2*m, -2*m + 2353 = p. Is m a multiple of 28?
True
Let w(p) = p**2 - 11*p - 38. Let x be w(-4). Let q(i) = 4*i**3 + i**2 + 2*i + 1. Let u be q(-1). Let g = x - u. Does 8 divide g?
False
Let a(d) = d**2 + 13*d - 8. Let k be a(11). Let l = -36 + k. Let q = -140 + l. Is 40 a factor of q?
True
Let m(p) = p**3 - 6*p**2 + 6*p - 5. Suppose -5*w = 2*w - 35. Let z be m(w). Is 32 a factor of z/(-2 + 1) + 303?
False
Suppose -7*y + 100062 = 2*d, 0 = -y + 4*d + 8140 + 6146. Is 117 a factor of y?
False
Let p = -21 - -30. Let z(d) be the first derivative of 2*d**3/3 - 11*d**2/2 - 14*d + 23. Is 12 a factor of z(p)?
False
Let v = 33414 + -17313. Does 6 divide v?
False
Suppose 19 = -7*v + 26. Suppose -3*z + 2*l = z + 6, -l = v. Is 35 a factor of -196*(65/(-20) - z)?
True
Let g = -760 + 763. Suppose 3*a + 2*k - 3182 = 0, 3766 = g*a - 2*k + 576. Is a a multiple of 34?
False
Suppose 31*y = -5*w + 27*y + 46469, -3*w = 2*y - 27879. Does 6 divide w?
False
Let u be 6 + 153/(-21) + (-12)/(-42). Let o(c) = 199*c - 8. Let j be o(-10). Is 25 a factor of 0 + u + j/(-9)?
False
Let g = -6834 - -7356. Is g a multiple of 5?
False
Suppose -2*r - v - 4*v = -6426, -2*r + 6426 = -v. Does 7 divide r?
True
Let v(m) = -m**3 + 2*m**2 + 17*m - 9. Let y be v(5). Let q be -124 + y*(-4 + 1). Let a = q - -183. Is 14 a factor of a?
True
Suppose 4*f - 265 = 4*y + f, 5*y + 330 = 5*f. Does 26 divide (-2*468/(-10))/(y/(-335