54 - 62. Let q = o + 126. Is 13 a factor of q?
False
Suppose -164 = -5*r + 1281. Let o = r + -109. Is o a multiple of 15?
True
Let j(k) = -116*k - 8. Does 38 divide j(-4)?
True
Suppose 555 = 4*z - 5*b, 2*z + 3*b - 273 = 4*b. Is 9 a factor of z?
True
Let d = 91 - 76. Suppose -p = 2*p - d, 2*n = 4*p + 196. Does 10 divide n?
False
Let a be 340/12 + 3/(-9). Let n = a + -23. Is 17 a factor of 5/(-25) - (-256)/n?
True
Suppose -3*r = -5535 + 3093. Does 26 divide r?
False
Suppose 19*c = 29694 + 11137. Is c a multiple of 28?
False
Let p = 23 + 13. Is p a multiple of 6?
True
Is 3 a factor of (-1)/(-7) + 436832/952?
True
Let u = 22 + -17. Let i(n) = 8*n - 6. Is 34 a factor of i(u)?
True
Does 67 divide ((-425575)/(-145))/(10/4)?
False
Let x be -5 + (-286)/(-6) + 4/(-6). Suppose v - 69 = x. Does 17 divide v?
False
Suppose 3*n + 3*l = 6, -5 = -2*n - l + 1. Suppose 2*z - 34 = -4*q, -4*q - q - n*z + 41 = 0. Suppose 10*h - 12 = q*h. Is 10 a factor of h?
False
Does 23 divide (-2)/1 - 8/((-88)/16797)?
False
Let g = -1471 + 2524. Does 27 divide g?
True
Suppose 0 = p + p - 6. Is 5 a factor of 47 - 0 - ((-25)/(-5) - p)?
True
Let z = -5331 - -7464. Is z a multiple of 13?
False
Let a(s) = -3*s + 20. Let v be a(6). Suppose -4*o + 67 = h + 2*h, 5*h + v*o = 121. Is 10 a factor of h?
False
Suppose 2*n + 674 = 4*j, -534 + 27 = -3*j + 3*n. Let i = j + -136. Does 6 divide i?
False
Let k(c) = c**3 + 6*c**2 - 14*c - 39. Let u be k(-6). Let g(x) = 30*x. Let n be g(1). Let y = u - n. Is y a multiple of 15?
True
Let h = -2722 + 2871. Is 6 a factor of h?
False
Suppose 10*q + 160 = 8*q. Let n = -19 - q. Suppose -220 = -5*f + 3*b - n, -5*f - 3*b = -141. Does 10 divide f?
True
Suppose 0 = i + 2*i - 15. Suppose -j + 15 = -3*o, 4*j = 2*j - i*o - 14. Suppose j*x - 60 = -3*x. Is x a multiple of 8?
False
Suppose 0 = -3*o - 3, -5*h = -3*o - 0*o - 513. Suppose -6*t + h = 12. Is t a multiple of 2?
False
Is 14 a factor of -30*(0 - (-56)/(-3))?
True
Let z = -30 + 28. Let b = z - -37. Does 35 divide b?
True
Let t be (-332)/8*(-5 - -3). Let o = -57 + t. Is 6 a factor of o?
False
Let r be (-1392)/(-56) + (-1)/(-7). Suppose -3*p = 8 + r. Is 11 a factor of (8/4 + -3)*p?
True
Let b(c) = 10*c**2 - 25*c - 15. Is 13 a factor of b(-7)?
True
Suppose -2*y + 5 = -17. Let u = y + -11. Suppose -5 = -m - u*m. Does 2 divide m?
False
Let q be 0 - 0 - (-4 - -6). Is ((-258)/(-18))/(q/(-6) - 0) a multiple of 4?
False
Does 10 divide (-1 - -5)*((1 - 4) + 23)?
True
Let y(w) = w**3 - 6*w**2 + 15*w - 35. Is y(6) a multiple of 4?
False
Let p(r) = 3*r**2 + 8*r**2 + 38*r**3 - 39*r**3 + 13*r - 15 - 4. Is p(9) a multiple of 26?
True
Let r be 7*(45/(-21) - -3). Suppose -l - 2*l = -r. Suppose 3*x = -4*u + 30, -4*x - 16 = -l*u - 5*x. Does 9 divide u?
True
Suppose -5*r + 4*u + 87 = 0, -r + 3 + 8 = -4*u. Let v = r + -23. Does 9 divide v - ((-4)/(-4) + -32)?
True
Let y(p) = 6*p**2 - 4*p + p**3 + p + 3 + 0 - 2. Is y(-3) a multiple of 15?
False
Let p(u) be the second derivative of u**3/3 - 7*u**2 - u. Let w be p(10). Is 4/w - (-387)/27 a multiple of 5?
True
Suppose 291 = 4*d + 3*s, -5*d = -2*s - 27 - 331. Suppose d = p - 120. Is 11 a factor of p?
False
Let b(x) = -13*x**2 - x + 4. Let s be b(3). Let t = -16 - s. Does 25 divide t?
True
Let x(s) = 2*s**2 + 6*s + 3. Suppose -3*m + 21 = -0*m. Let g be 6 - 5 - (m - 1). Does 6 divide x(g)?
False
Let b(o) = 18*o**2 + 8*o - 4. Is b(2) a multiple of 8?
False
Is 37*(-6)/((-5)/((-30)/(-18))) a multiple of 37?
True
Does 38 divide (-2)/15 + 35712/540?
False
Let i(p) = -283 - 4*p**2 + 3*p**3 - p**3 + 287 + p. Does 5 divide i(3)?
True
Let c(s) = s**3 - 10*s**2 - 12*s + 7. Let j be c(11). Let z be (18/j - -3)*-10. Suppose -20*p + 130 = -z*p. Is 7 a factor of p?
False
Suppose 1184*u = 1171*u + 36426. Is 10 a factor of u?
False
Let r(l) = l**3 - 2*l**2 + l - 1. Let k be r(1). Suppose h - 2 + 1 = 0. Is 28/(2/h) + k a multiple of 6?
False
Let m be (-62)/(-22) - (-8)/(-44)*-1. Suppose 216 = -m*k + 9*k. Is 7 a factor of k?
False
Suppose -34*t + 30*t - 476 = 0. Let c = 67 - t. Is 31 a factor of c?
True
Let l = 642 - 299. Does 7 divide l?
True
Let y be 4/(2 + -3) + 8 + -7. Is 2 a factor of (-6)/(y/6*4 - 0)?
False
Let f(a) = -a**3 - 3*a**2 - 2*a - 2. Let o be f(-2). Suppose -5*i - 88 = -3*w, 2*w - i - 76 = -2*i. Let l = w + o. Is l a multiple of 8?
False
Does 11 divide 11/((-1365)/(-5220) + 2/(-8))?
True
Suppose 27*w - 12*w = 7260. Let a = w + -268. Is 54 a factor of a?
True
Let u = -4 - 46. Is (-1 + -1)/(u/3925) a multiple of 16?
False
Let g(d) = d**3 + 2*d**2 - d - 1. Let i be g(-2). Let t be i + 1 + 5/5. Suppose -7*s + 32 = -t*s. Does 4 divide s?
True
Let d(z) = z**3 + 5*z**2 - 5*z - 1. Let g be ((-6)/(-8))/(2/(-16)). Let y be d(g). Let b = 10 - y. Is b a multiple of 8?
False
Suppose 17*a = 20*a - 702. Does 26 divide a?
True
Suppose -50 = -5*n - 10. Suppose -n*k = -3*k. Suppose k = g - 3*g + 24. Is g a multiple of 12?
True
Let l(p) = p**2 - 8*p - 5. Let x be l(10). Let j = -14 + x. Suppose 121 = 5*a + j. Is a a multiple of 13?
False
Is ((-3133)/2)/13*-18 a multiple of 10?
False
Is 11 a factor of 4492/36 - (2 + (-100)/45)?
False
Let j(g) = g**2 + 13*g + 22. Let w be j(-12). Suppose -5*r + b = 53 - 813, 0 = 2*b - w. Does 22 divide r?
False
Let y(w) = -w**2 + 1. Let p(l) = -l**3 + 15*l**2 - 7*l - 13. Let d(c) = p(c) + 6*y(c). Let t be d(8). Let u = 7 - t. Does 2 divide u?
True
Let p = -20 + 52. Let a be (196/21)/((-2)/(-6)). Suppose 0 = q - a - p. Is 20 a factor of q?
True
Suppose 2 = c, 0 = 2*v + 5*c - 818 - 808. Does 39 divide v?
False
Let w = -26 - -59. Suppose -w = -d + 21. Is d a multiple of 9?
True
Let c(r) = r**3 - 3*r**2 + 2*r - 1. Let f be c(3). Suppose y + 28 = f*y. Suppose j - y = m, -1 = -0*m - m. Is 3 a factor of j?
False
Let a(x) = 87*x - 107. Does 40 divide a(21)?
True
Suppose x - u = 1055, 10*x + 3*u = 7*x + 3165. Does 27 divide x?
False
Suppose -3*c - 91 = -h, -c - 5 + 8 = 0. Is 50 a factor of h?
True
Does 6 divide (-2430)/(-21) + ((-80)/(-35))/8?
False
Let o(b) = -3*b - 9. Let m be o(-4). Suppose -m*t + 10 + 140 = 0. Is 13 a factor of t?
False
Let c = 12 - 5. Let v = c - 6. Let u(y) = 33*y**3 - 2*y**2 - y + 2. Is u(v) a multiple of 8?
True
Suppose -5*a - 1631 = -3*g, 5*g - 4*g = 3*a + 537. Is 24 a factor of g?
True
Suppose -4*t + 2 + 2 = 0. Let r be t - (4 - 1) - -19. Suppose 5*o + r = 57. Is o a multiple of 4?
True
Suppose 96 = 2*z - p - 0*p, 0 = -5*z - 3*p + 240. Is z a multiple of 10?
False
Let r = -6 - -13. Suppose 0 = 2*a + 5*h + r - 64, 4*a + 2*h = 138. Is a a multiple of 20?
False
Suppose 45 = 5*p + 3*s, -2*s + 7 + 3 = 0. Suppose -3*l + 3 = p. Is l/(40/14 + -3) a multiple of 7?
True
Suppose 235 - 1747 = -8*b. Is b a multiple of 27?
True
Let l = -25 + 25. Suppose l = 5*t + d + 2*d - 154, -2*t = -d - 55. Does 29 divide t?
True
Let u(r) = 11*r**2 - 1. Let v(m) = -m**2 - 4*m - 3. Let a be v(-2). Suppose -a = y - 2*t, -4*y = t + t + 4. Is u(y) a multiple of 10?
True
Suppose p - 4*u + 24 = 2*p, p + 3*u = 20. Let g = 8 - p. Suppose r + 4*r - 105 = g. Is r a multiple of 10?
False
Suppose 13 = 10*u - 7. Suppose -96 = -2*w + u*r, -5*r + 25 = -3*w + 175. Is 9 a factor of w?
True
Suppose -5*d - 5*d = -610. Let a = d + -50. Is 11 a factor of a?
True
Is 3 a factor of (32620/48)/5 + (-19)/(-228)?
False
Let z be 2976/27 + (-2)/9. Suppose 5*k - z = 440. Suppose k = 5*q - 70. Is q a multiple of 12?
True
Suppose -2*b + 18 = d - 40, 3*d + 5*b - 177 = 0. Suppose -d = -5*k + k. Suppose -3*w - w = 16, k = 2*s + 2*w. Is 6 a factor of s?
True
Let m(i) = 2*i + 140*i**2 + 32*i**2 - 3*i - 33*i**2. Is 28 a factor of m(-1)?
True
Let j = 51 + -96. Let t(v) = -93*v. Let h be t(1). Let x = j - h. Does 12 divide x?
True
Let i = 22 - -2946. Is 106 a factor of i?
True
Let w be (-8)/(-52) + (-111)/(-39). Suppose -2*x - 4*q + 141 = w*x, 8 = 2*q. Let o = x + 1. Is o a multiple of 18?
False
Suppose 2*l - 26 = -3*n + 9, -2*n = l - 24. Suppose n = 5*f - 17. Suppose -f = -2*z + 10. Does 4 divide z?
True
Suppose -17*n + 19856 = 4250. Does 18 divide n?
True
Let g = -44 - -44. Suppose g = -5*f + 819 - 214. Is 29 a factor of f?
False
Let j = 23 - 30. Is (2/6)/(j/(-2289)) a multiple of 13?
False
Is 11/(-55) - 631/(-5) a multiple of 42?
True
Let s = -62 + 124. Let c = -20 + s. Suppose 3*b = -a + 188 - c, -5*b + a + 246 = 0.