l) a multiple of 13?
False
Suppose 0 = -4*c - 46 - 54. Is 12 a factor of 25*-5*10/c?
False
Let k(b) = b**2 + 14*b - 4. Let q be k(-16). Let n = q + -3. Is n a multiple of 5?
True
Let r(j) = -j**3 + j**2 + j + 5. Let i be r(0). Suppose 7*v = i*l + 3*v + 2, -v + 4 = -3*l. Is 4 a factor of (-90)/(-12) - 3/l?
False
Is 32 a factor of 1/((-7)/(1 - 2913))?
True
Does 18 divide ((-216)/(-30))/(((-40)/(-75))/4)?
True
Suppose -2*p = 3*p - 265. Let r = p - 23. Does 14 divide r?
False
Let s = -139 + 142. Suppose s*k - 941 = m - 5*m, 4*m = -5*k + 1579. Is 41 a factor of k?
False
Let x be (-48)/15*50/(-4). Suppose 2*q - 198 = -x. Does 13 divide q?
False
Is ((-296)/10)/((-39)/780) a multiple of 11?
False
Is 76*((-20)/(-8))/(5/12) a multiple of 38?
True
Is (2692 - 0)*(-8)/256*-8 a multiple of 11?
False
Is (-8 - -11)/(12/20) a multiple of 3?
False
Let g(a) = -3*a - 23. Let z be g(-9). Suppose 0 = -z*y + 11*l - 7*l + 208, 4*l = -5*y + 215. Is 12 a factor of y?
False
Let n(p) = -9*p + 7. Let a be n(-5). Let t be 0 - (0 - -1)*a. Let y = -31 - t. Is y a multiple of 11?
False
Suppose 0 = 5*i - 5*u - 115, 2*i + 2*i - 2*u = 86. Does 10 divide i?
True
Suppose q = 2*q - 4. Is 6 a factor of ((-372)/18)/(q/(-6))?
False
Let j be (-49)/(2 + -2 + -1). Let p = 169 - j. Suppose -h - p = -5*h. Does 8 divide h?
False
Let f = 15 - -22. Is 6 a factor of f?
False
Let v(m) = -87*m + 16. Is v(-13) a multiple of 23?
False
Suppose 0*a - 378 = -5*r + 3*a, 3*r - 3*a - 228 = 0. Let z be ((-36)/5)/((-15)/r). Suppose -h + z = 2*w - 5*h, 2*w + h - 21 = 0. Is w a multiple of 5?
False
Suppose 178*y + 2632 = 182*y. Is 7 a factor of y?
True
Suppose -17*j + 56 = -16*j. Is j a multiple of 8?
True
Let r(y) = y**3 - 2*y**2 - 2*y + 2. Let i be r(2). Let m be (6/(-3))/i + 11. Suppose o = -4*q - q + m, -o - 4*q + 12 = 0. Is 12 a factor of o?
True
Suppose -9*t = -3*t + 84. Is 26 a factor of (-360)/t + 78/(-21) + 4?
True
Suppose -3*d - 1427 = -5*n + 4193, 0 = 3*n - 4*d - 3383. Is n a multiple of 15?
False
Suppose 0*r + 10 = 2*r, 4*r + 112 = -4*k. Let h(q) = 4*q - 59. Let j be h(-4). Let l = k - j. Does 13 divide l?
False
Let i = 15 - -74. Suppose l - i = -4*z, 267 = 3*l - 0*z + z. Does 19 divide l?
False
Let j(n) = -n**2 - 15*n - 11. Let z be j(-14). Let k be -2 - 0 - (0 + -17). Let h = z + k. Is 9 a factor of h?
True
Let x be (-40)/(-15) + (-2)/(-6). Suppose -x*o - 342 = -9*o. Does 19 divide o?
True
Suppose 3*j - 4*v - 232 = 2*j, 4*j - 980 = 3*v. Is j a multiple of 20?
False
Let w(u) = -14*u + 34. Let o(a) = -5*a + 11. Let m(r) = 11*o(r) - 4*w(r). Let y be m(7). Is 4 a factor of 4/y + 26/4?
False
Suppose -5*x + 2826 = 3*d, 23*d - 576 = -x + 26*d. Is x even?
False
Let n = -299 + 349. Does 30 divide n?
False
Let g(v) = -v**3 - 27*v**2 + 23*v - 12. Is g(-28) a multiple of 16?
True
Let x be 5220/42 + (-4)/14. Suppose t - x = -t. Does 8 divide t?
False
Let z be 62/(-2)*(2 - -5). Does 31 divide (z/(-28))/(1/4)?
True
Is 7 a factor of -378*(5/10)/(-1)?
True
Is 1/((-4)/(-519 + -5)) - 3 a multiple of 4?
True
Suppose 5*x = 5*p - 30, -2*p + 2*x + 14 = p. Suppose 0 = -5*c + 10 + 5. Suppose c*o = o + 10, p*t - o = 49. Is 9 a factor of t?
True
Let u = -99 - -599. Is 25 a factor of u?
True
Suppose 8 = -3*d + 11*d. Is 4 a factor of (-64 - d)*(-12)/20 - 0?
False
Suppose 5*k = 3*m + 1009, -3*k + 4*m = -5*k + 388. Is k a multiple of 3?
False
Let p(h) = -2*h + 20. Let j be p(-15). Is (17/(-2))/(-5 + 245/j) a multiple of 14?
False
Let n be ((-54)/(-4))/((-3)/16). Let r = 110 + n. Is 12 a factor of (-2)/3 + r/3?
True
Suppose -3*l - 2*a - 138 = 0, 0 = 2*l - a - 0*a + 99. Does 6 divide (-2)/1*696/l?
False
Suppose -h - 1516 = -l, -4*h + 646 - 5190 = -3*l. Is 80 a factor of l?
True
Let r(f) = 6*f**2 - 3*f + 2. Let s(p) = p**2 - 2*p + 1. Let w be s(0). Let a be r(w). Suppose 4*u - 2*n = 130, -80 = -2*u - u + a*n. Is u a multiple of 7?
True
Let v = 105 + -28. Does 8 divide v?
False
Let k be (-60)/(-50)*(-255)/(-2). Let g = -72 + k. Is g a multiple of 9?
True
Let s = -19 + 23. Suppose -q - s*q = -400. Is 20 a factor of q?
True
Suppose -5*v + 5*o = 0, 8 = -v + 5*o - 2*o. Does 15 divide v/(-34) + 480/(-255) - -92?
True
Let c = -1776 - -1886. Is c a multiple of 48?
False
Let c(t) = 2*t - 3. Suppose i - 6 = -0*i. Let w be c(i). Suppose 33 = b + w. Is b a multiple of 7?
False
Let l be ((-16)/12)/(-4)*0. Suppose -5*g + 69 + 91 = l. Is g a multiple of 8?
True
Let q = 498 - 225. Does 39 divide q?
True
Suppose -4*z - 4*p = 0, 2*z + 0*p = -p. Suppose -3*g + 14 + 7 = z. Is 2 a factor of g?
False
Let p(z) = 97*z - 51. Is p(6) a multiple of 25?
False
Suppose -g - 3*b + 9 = 0, 5*g - b + 5*b = -10. Does 6 divide (g + 0)*(-32)/6?
False
Suppose -4*a = -2*g + 966, 5*g = a + 2622 - 252. Is 43 a factor of g?
True
Let r(h) = -h**3 - 8*h**2 - h + h - 4 + 0*h**2. Let v be r(-8). Let z = 15 + v. Is 11 a factor of z?
True
Is 20146/26 + (50/(-13))/(-25) a multiple of 25?
True
Suppose 2*n - 4*n - 2 = -u, 2*n = 4*u - 8. Suppose 5*a + 2*h = -3*h + 600, -u*a + 255 = -h. Does 25 divide a?
True
Suppose -x = -6*x. Let t = x + 5. Suppose -5*u + t*d + 153 = -3*u, u = -2*d + 63. Does 23 divide u?
True
Suppose 2*g - 4*g = -4*j + 194, -2*g + 142 = 3*j. Let h = 323 - j. Is h a multiple of 55?
True
Does 20 divide (38 - 43)/(2/(-600))?
True
Is ((-410)/8)/((-477)/36 - -13) a multiple of 5?
True
Let y be ((-3)/6)/((-3)/24). Suppose -1 - y = -h. Suppose h*w - 2*r = 262, 4*w - 2*r = 87 + 121. Is w a multiple of 10?
False
Let c(a) = -2*a**2 + 9*a - 5. Let y be c(9). Suppose 0 - 4 = 2*x, 2*r = -4*x + 300. Let b = y + r. Does 13 divide b?
False
Is ((2 - 1) + 0)*501 a multiple of 36?
False
Let t(u) = u**3 - 24*u**2 + 98*u + 34. Does 2 divide t(19)?
False
Let w = 33 + -16. Let k = w + 17. Let x = k - 21. Is 13 a factor of x?
True
Let d = 197 - 9. Let u = d + -26. Is u a multiple of 27?
True
Suppose 4*l = y - 113 + 38, -60 = 3*l - 2*y. Let f = 2 - l. Does 5 divide f?
True
Suppose -6*k + 7381 = s - 0*s, 4916 = 4*k - 4*s. Does 15 divide k?
True
Let s(n) = 8*n + 7. Let d = 9 + -2. Let i(j) = 4*j + 3. Let x(c) = d*i(c) - 3*s(c). Is x(2) a multiple of 3?
False
Let h = 18 - -26. Is h a multiple of 9?
False
Let r be 12/(-10)*(0 + 5). Let w be 8/r*-3 + -2. Suppose -b + 69 = w*b. Is b a multiple of 11?
False
Let d(a) = -23*a**2 - 8*a - 5. Let h(b) be the third derivative of -b**5/10 - b**4/12 - b**3/6 - b**2. Let j(q) = 2*d(q) - 9*h(q). Is j(1) a multiple of 5?
False
Let k be 1 + ((-75)/12)/((-4)/16). Let h = -16 + k. Is 5 a factor of h?
True
Let m(x) be the first derivative of 5*x**2 - 2*x + 1. Suppose 0 = 29*d - 165 - 38. Is 18 a factor of m(d)?
False
Is 2*(-16)/(-6)*39/13 a multiple of 8?
True
Let c(u) = -110*u - 65. Is c(-8) a multiple of 5?
True
Let g(j) be the second derivative of -1/6*j**3 + 1/2*j**2 + 1/12*j**4 + 0 - 4*j. Is g(3) a multiple of 3?
False
Let a(b) = -b**2 + 8*b - 2. Let v be a(3). Let q = -144 - -142. Is 6 a factor of v + -2 + -1 - q?
True
Suppose 6*z + 13 - 31 = 0. Suppose -2*r + i = z*i - 16, -r = -5*i - 32. Is 5 a factor of r?
False
Suppose 4*f + 5*u = 182, 0 = 2*f - u - 0*u - 84. Let g = 111 - f. Suppose -j + g = -14. Is j a multiple of 15?
False
Is ((-40)/(-24))/(((-2)/(-552))/1) a multiple of 45?
False
Let z = 404 + 364. Is z a multiple of 8?
True
Suppose 0 = 77*k - 76*k - 100. Is k a multiple of 3?
False
Let y = 7910 + -5048. Is 54 a factor of y?
True
Suppose 5*z - 4*z - 4 = 0. Suppose 1 = -z*o + 13. Is 13 a factor of o*(-3 - -11 - 1)?
False
Let n = 485 - 324. Does 22 divide n?
False
Let v = 15 - 16. Let w be ((-3)/v - 4)*14. Is 188/28 - 4/w a multiple of 3?
False
Let r(f) = f**3 - 20*f**2 + 19*f + 5. Let d be r(19). Suppose 0 = -d*h + 481 + 1409. Is 27 a factor of h?
True
Suppose 0 = -3*x + 244 + 275. Let p be (12/(-10))/((-9)/3825). Suppose 3*k + 2*k - 3*i - p = 0, 2*k = -5*i + x. Is 35 a factor of k?
False
Suppose 13*u - 1473 - 2193 = 0. Does 47 divide u?
True
Let p = 7 + -9. Let z(q) be the second derivative of -q**5/5 - q**4/6 - 16*q. Is z(p) a multiple of 12?
True
Suppose 0 = -o + 5*p + 145, -3*o + 2*p - 350 = -5*o. Does 21 divide o?
False
Let p = 3001 + -1679. Is p a multiple of 34?
False
Suppose 0 = -94*h + 71*h + 9315. Is h a multiple of 13?
False
Let g(x) = x**2 - 7*x + 2. Let h be g(4). Let d(k) = 4*k + 1. Let o(f) = -11*f - 3. Let s(i) = -17*d(i)