ctor of d?
True
Suppose -17*j = -12*j + p - 1485, 5*j - 4*p - 1460 = 0. Is 37 a factor of j?
True
Let d = 297 - -87. Is d a multiple of 6?
True
Suppose -25 = -5*n, 208 = 5*b - 3*n - 602. Let h = b + -97. Suppose -3*q + 5*d = -h - 85, 2*q + d = 102. Is q a multiple of 17?
True
Suppose 2*k - 90 = 2*r + 254, -3*k - 4*r + 488 = 0. Is 11 a factor of k?
False
Suppose 4*u - 4*b - 264 = 8, -3*b = 2*u - 146. Does 24 divide u?
False
Let i = -14 - -14. Suppose -3*o - o + 176 = i. Suppose -3*j = j - o. Does 11 divide j?
True
Suppose 2*r - 5*r + 270 = 0. Suppose 10*o - 295 - 1085 = 0. Let k = o - r. Does 12 divide k?
True
Suppose 2*m = 3*d - 27, -d - 3*d = 5*m - 36. Let j be (6/4)/(20/(-120)). Does 13 divide (-2)/d + (-146)/j?
False
Let q(i) = -i**2 + 17*i - 10. Let g be q(16). Suppose -5*s - 27 = -g*s. Does 12 divide s?
False
Let u(d) be the first derivative of -3*d**2/2 + 10*d - 46. Let i = -3 + -7. Is 9 a factor of u(i)?
False
Let d be 4/4 - 2 - -6. Suppose d*l + 37 = 7. Let u = -2 - l. Does 3 divide u?
False
Suppose 0*l = -3*l + 12. Suppose 91 = -l*x + 19. Is (-670)/x + (-20)/90 a multiple of 9?
False
Let x = 24 + 1. Suppose -6*j + 92 = -2*j. Let a = x - j. Is 2 a factor of a?
True
Is ((6/4)/3)/((-110)/(-71280)) a multiple of 12?
True
Let h = 3461 + -1296. Is h a multiple of 21?
False
Let f be -1 + (12/4 - 21). Let j = 65 + f. Is j a multiple of 11?
False
Suppose -2*t + 995 = 3*h, h - 3*h = -t - 654. Is h a multiple of 45?
False
Let j = 22 + -37. Let d = -21 - j. Does 4 divide 4/d*(0 + -6)?
True
Suppose 2*b = 4*r + 2270, r = 18*b - 13*b - 5684. Is b a multiple of 34?
False
Suppose 18 = 18*l - 12*l. Suppose -l*w + 127 = j, 2*w - 2*j - 54 = w. Is 22 a factor of w?
True
Let y = 42 + -29. Let n = -4 + 4. Suppose n = -j + y + 12. Is j a multiple of 14?
False
Let f = -32 - -142. Suppose -2*c + 4*c - f = 0. Let p = c - 27. Is 28 a factor of p?
True
Let g(y) = -9*y**3 + 4*y**2 - 5*y + 5. Let x be g(2). Suppose 5*o - 5*q + 500 = 0, 3*o - 4*q + 292 = -7. Let v = x - o. Is v a multiple of 20?
True
Let z(r) = -242*r + 697. Does 37 divide z(-4)?
True
Let y(j) = -2*j**2 - 76*j + 41. Is 3 a factor of y(-35)?
False
Let d(p) = 2*p + 12. Let t be d(-10). Is (-139 + -2)/(30/t + 3) a multiple of 44?
False
Suppose 2*i - 37 + 7 = 0. Let y = 24 - i. Is 234/y - (-3)/(-1) a multiple of 6?
False
Let y(b) = 673*b**3 - 2*b**2 + 1. Let p be y(1). Suppose -5*c - 3*c = -p. Is 9 a factor of c?
False
Let k(z) = -2*z**3 - 4*z**2 - 1. Let n be k(-3). Let r = 19 - n. Is 4 a factor of (18 - -2) + -6 + r?
True
Let o(m) = -4*m**3 + 2*m**2 + 5*m + 1. Suppose -g = -4*g - 15, -22 = -z + 5*g. Is o(z) a multiple of 16?
True
Let i(w) = 25*w**2 - 3*w. Let q be i(3). Suppose 3*g = -6*g + q. Is g a multiple of 12?
True
Suppose -19*o = 27*o - 92092. Is o a multiple of 14?
True
Let t(m) = 22*m**2 + 37*m + 183. Is 3 a factor of t(-5)?
False
Let w be 4*3/(-6) + -1. Let i(v) = -2*v**3 - 5*v**2 - 2*v + 3. Does 9 divide i(w)?
True
Let p be (12/(-4))/9*(-24)/2. Suppose -m - 1 + 6 = 0. Suppose 4*x = -p*h + 300, x + 295 = -h + m*h. Is h a multiple of 12?
False
Let o(m) = -3*m - 4 - 2*m + 13*m**2 - 27*m**2 + 17*m**2. Does 6 divide o(-2)?
True
Let l be 2/8 - 335/(-20). Suppose 3*h = 7*h + 5*r - l, 5*h - 2*r - 13 = 0. Suppose 0 = -h*o + 2*n + 48, 3*o - 4*n = n + 48. Is o a multiple of 8?
True
Let n(o) = 12*o + 37. Let l be n(-11). Let r = l + 109. Does 14 divide r?
True
Suppose 5*p - 121 - 174 = 0. Suppose -5*i = -2*n - i + 26, -i = -3*n + p. Is n a multiple of 4?
False
Let x = -1974 + 2870. Does 28 divide x?
True
Suppose 4*k - m = 1217, 5*k - 1473 - 42 = -5*m. Does 86 divide k?
False
Suppose 4*n + 5664 = 2*n. Let r be (-8)/28 + n/(-14). Suppose j - c - 2*c = 48, 4*c = -5*j + r. Is j a multiple of 19?
False
Let q be -3*4/6 + -6. Suppose -4*z = -5*o + 130, 2*o - 4*z + 3*z = 52. Let h = q + o. Is 9 a factor of h?
True
Suppose -k = 5*q - 325, 2*q - 195 = -k - 68. Let u = q + -31. Let y = u + -21. Is y a multiple of 14?
True
Let m = 25 - 50. Let p = -22 - m. Suppose -4*t = -3*r + r + 16, -p*r - t = -31. Does 5 divide r?
True
Suppose -7105 = -29*q + 2552. Is 25 a factor of q?
False
Let k be (-34)/(-6)*(1 - 19). Let w = k + 144. Is w a multiple of 11?
False
Let q be -2 + 5 + (-1 - -4). Suppose -5*w + 19 = 2*p - 3, 0 = -2*w + 2*p + q. Is 4 a factor of w?
True
Let l = 20 - -19. Is l a multiple of 7?
False
Let w = -1001 + 1535. Does 82 divide w?
False
Let f(n) = -n**3 + 4*n**2 - 4*n + 2. Let i be f(2). Suppose 2*r - 5*r + 128 = i*v, -114 = -2*v + 4*r. Does 9 divide v?
False
Let b(v) = 3*v**2 - 22*v + 41. Is 2 a factor of b(7)?
True
Suppose 0 = 5*a - o - 9876, 3*a - 2410 - 3514 = o. Does 4 divide a?
True
Let a = -1117 - -1439. Is a a multiple of 74?
False
Does 2 divide -3 + (-2208)/(-72)*3/4?
True
Let p(r) = -931*r**3 + 2*r**2 - 3*r - 5. Is 49 a factor of p(-1)?
True
Let l = -381 + 400. Does 6 divide l?
False
Suppose 16*l - 1419 = -4*y + 13*l, 0 = 5*y - 5*l - 1800. Does 17 divide y?
True
Suppose -2*m = -3*w + 3*m + 1, 2 = 2*m. Suppose -10 - w = -3*b, 5*r + b - 189 = 0. Is 5 a factor of r?
False
Suppose u = 2*u. Suppose 6 = -2*n, 5*q - 12 = 4*q + 3*n. Suppose u = -q*w + 58 + 41. Is w a multiple of 11?
True
Is (-543)/(-2) - (75/(-6) + 14) a multiple of 15?
True
Let u = -2523 + 2831. Is u a multiple of 8?
False
Suppose h = -0*h + 35. Let w(q) = 3*q + 45. Let k be w(-23). Let t = k + h. Does 11 divide t?
True
Suppose 8*t - 5353 = 21583. Does 10 divide t?
False
Let w = 4 - -12. Let q = 76 - w. Is q a multiple of 13?
False
Suppose -5*l = 2 + 88. Let c be l/45 + 64/10. Suppose 0 = -3*v - 2*v - 4*r + 313, 0 = -3*r + c. Is 18 a factor of v?
False
Suppose -8*l - 4*l + 2448 = 0. Is l a multiple of 4?
True
Suppose 0 = -3*x - 4*v + 680, v = -6 + 5. Does 12 divide x?
True
Let t = 77 + -65. Let i = t + 14. Is i a multiple of 5?
False
Let m = -1399 - -2959. Does 26 divide m?
True
Suppose 6*l = -0*l + 60. Suppose 5*s + 65 = l*s. Does 2 divide s?
False
Let l be (-17446)/(-18) - 3*2/27. Suppose -3*z + l = 321. Does 33 divide z?
False
Suppose 0 = 13*x - 832 - 10322. Is x a multiple of 26?
True
Suppose 3*k - 12 = 0, 2*n + 10*k - 236 = 15*k. Let f = -80 + n. Does 5 divide f?
False
Let g = 2 - 5. Let h be ((-9)/(-6))/(g/(-4)). Is ((-85)/(-15))/(h/6) a multiple of 10?
False
Suppose -9*q - 6 = 3. Let y(i) = 20*i**2 - 2*i - 2. Is y(q) a multiple of 4?
True
Let r(v) = 66*v**2 - 20*v - 86. Does 30 divide r(-4)?
True
Suppose -52*t + 23*t = -12847. Is t a multiple of 12?
False
Let z = 141 + -70. Suppose -7 = 4*l - z. Let c = l - -2. Is c a multiple of 12?
False
Let o = 724 + -574. Does 25 divide o?
True
Let q be 3 - (-4)/((-8)/(-2))*86. Suppose -u + 31 = 2*y, -3*u = y - 2*u - 17. Suppose y = -b + q. Does 17 divide b?
False
Suppose w + 2*o - 79 = 71, 3*w = -5*o + 451. Suppose 4*k - 500 = -w. Does 29 divide k?
True
Let n = -49 - -81. Suppose -2*l + 86 = -n. Is 13 a factor of l?
False
Let a(g) = -g**2 - 6*g + 6. Let w be a(-9). Let x = 25 + w. Suppose 5*v + c - 313 = 0, 0*v + v - x*c = 71. Does 11 divide v?
False
Let h be -1*3 - (-11 - 12). Let k = h + -16. Suppose -4*d - 4*a = -96, 4*d - 14 = k*a + 50. Is 5 a factor of d?
True
Let x(o) be the second derivative of 7*o**6/360 - o**5/120 - o**4/24 + o**3/2 + 8*o. Let n(j) be the second derivative of x(j). Does 9 divide n(-2)?
False
Suppose 507 = 4*z - 337. Suppose 45 = 4*j - z. Is 4 a factor of j?
True
Suppose 4 = p, -5*l - 195 = -3*p - 13. Let w = l - -52. Suppose w = 2*i + 4*q - 0*q, 4*i = 2*q + 56. Is i a multiple of 10?
False
Let l = 1499 - 1071. Is l a multiple of 6?
False
Let v = 50 + -30. Suppose -3*q = -5*b + 5 + v, b - 5 = 2*q. Suppose 25 = 2*u - b*l, 0 = 3*u + 5*l - 30 - 20. Is u a multiple of 3?
True
Let n be (0/((-6)/3))/1. Suppose -b + 3 - 1 = n, -x + b = -61. Does 8 divide x?
False
Suppose -913 = 2*l - 109. Is 2 + (l/3)/(-2 - 0) a multiple of 20?
False
Does 6 divide 356/30 - (2 + (-64)/30)?
True
Suppose 0 = -2*h + 4*t - 5*t + 202, -t - 498 = -5*h. Is 17 a factor of h?
False
Let x(s) = -2*s**2 - 6*s + 28. Let j(r) = -2*r**2 - 5*r + 28. Let l(n) = 3*j(n) - 4*x(n). Is l(6) a multiple of 14?
True
Suppose -17 - 8 = -5*f. Suppose 13 = -3*l - f. Is 19 a factor of ((-152)/6)/(4/l)?
True
Let z = 18 - 24. Let w be (416/z - -4)*-3. Suppose x = 8*x - w. Is x a multiple of 9?
False
Let f be 1/((5 + -