2*f - 34. Is h(7) a multiple of 55?
False
Let z be ((-2575)/(-125))/((-1)/(-10)*2). Let i be ((-5)/5)/((-2)/(-86)). Let l = z + i. Does 6 divide l?
True
Suppose 24*z - 65*z + 970998 + 526937 = 0. Is 53 a factor of z?
False
Let t = -10264 - -20192. Does 74 divide t?
False
Let q(r) = -r**3 + 70*r**2 + 51*r - 902. Does 16 divide q(70)?
False
Suppose 32*b + 6*b = 76. Suppose b*d = 13*s - 8*s - 7064, 2818 = 2*s + 3*d. Is s a multiple of 10?
False
Suppose 16*u = -3*u + 57. Suppose v = 2*v - 5*l - 259, 5*v + u*l = 1435. Does 11 divide v?
False
Let f(x) = -x**2 - 45*x + 210. Is f(0) even?
True
Suppose 13*l - 15*l + 4 = 0. Suppose z + 2 = -d, -z - 5 - 3 = -l*d. Let v = 22 - d. Is v a multiple of 3?
False
Suppose -x + 5360 = 4*h, -5*h - 3*x + 9027 = 2334. Does 9 divide h?
True
Let f(t) = 2*t**3 + 33*t**2 - 197*t - 29. Is f(18) a multiple of 39?
False
Suppose -20*f + 23*f = 3. Suppose 12*i - 311 = f. Is i a multiple of 15?
False
Let a(x) = 59*x**2 - 87*x + 1408. Is 44 a factor of a(17)?
False
Let a(d) = -81*d + 45. Let m = 45 + -50. Does 45 divide a(m)?
True
Let c(n) = n**2 - 13*n + 22. Let g be c(2). Suppose 0 = 2*k + w - 6*w - 1204, -2*k + w + 1204 = g. Does 10 divide k?
False
Suppose -180 = 4*t - 2028. Suppose 0 = 2*b - 3*x + 5*x - t, -5*b = -3*x - 1179. Suppose 0 = -3*s - 5*o + 133, -4*o - b = 3*s - 8*s. Is s a multiple of 17?
False
Let v be ((-248)/(-10))/(174/5655). Let z = v - 84. Does 18 divide z?
False
Is (62 - 45 - 20894)*4/(-6) a multiple of 4?
False
Let l(i) = 2*i**3 + 23*i**2 - 8*i - 8. Suppose 0 = 2*f - 3*x + 19, 14 + 21 = -3*f - 2*x. Is l(f) a multiple of 22?
False
Let f be (-600)/(-20)*(-48)/9. Is f/6*18/(-4)*1 a multiple of 15?
True
Let v(p) = 20*p - 360. Is v(30) a multiple of 20?
True
Let b be (7 + -1)*(-4)/(-6). Suppose -5*x - 26 = -h, 0*x + x - 41 = -b*h. Is h a multiple of 4?
False
Suppose 0 = 2*o - 3*n - 567, -5*o = 5*n - 864 - 566. Suppose 105 = -x + o. Is x a multiple of 15?
True
Let g be ((-15)/2)/((-153)/64668). Suppose -3*i - 10*u = -12*u - 2372, 4*i + u = g. Is 72 a factor of i?
True
Let a(i) = -i**2 - 5*i + 20. Suppose -15 = 4*z + 25. Let g be -4*(-1 + (-25)/z). Is a(g) even?
True
Suppose 0 = -34*x + 33*x + 121. Let v = x - -183. Is v a multiple of 14?
False
Let y = -49 - -69. Let s(a) = 9*a**2 - 7*a**3 - 5*a**3 + y + 11*a**3 - a. Is 11 a factor of s(9)?
True
Let d(j) = 7*j**2 + 5*j - 6. Let f be d(3). Suppose -i - f = -3*i. Let q = 0 + i. Is q a multiple of 9?
True
Let i = 51 + -49. Suppose -p - i*p = 2*v - 67, -4 = 4*v. Is 9 a factor of p?
False
Suppose 4*s + 5*k = -5, -3*k = s - 5*s + 35. Suppose -5*n + 42 = -n + 2*t, -4*t = -s*n + 59. Let g(h) = 11*h + 9. Does 26 divide g(n)?
True
Is 7 a factor of 16609464/972 + (-30)/(-405)?
False
Let r be 4/(-6)*(-309)/(-2) + -2. Let m = -58 - r. Is 17 a factor of m?
False
Suppose -4*w = -u - 54447, u - 13613 = 6*w - 7*w. Is 164 a factor of w?
True
Let u(j) = -2*j - 15. Let x be u(-8). Let a be (1/(-3))/(x/(-24)). Suppose -1010 = -a*f - 74. Does 13 divide f?
True
Let v be (12 + -11)*(3 - 1*110). Let y = v - -320. Is y a multiple of 42?
False
Let s(l) = 22*l - 32. Let a be s(-30). Let z = 1299 + a. Is z a multiple of 21?
False
Let s = -14258 - -25078. Is 23 a factor of s?
False
Suppose -8*f + 210 - 178 = 0. Suppose -2*m = 4*a + m - 353, -3*a + f*m + 246 = 0. Is 9 a factor of a?
False
Let a = 262 - 251. Suppose -a*p = -13*p + 1696. Is p a multiple of 53?
True
Is 52 a factor of (-17004)/(5*5/(-175)*7)?
True
Let v = 113 - 72. Suppose -8*l + 37 = -7*l. Suppose v*d - 200 = l*d. Is 8 a factor of d?
False
Suppose -5*l + 106*r - 101*r = -102175, 3*l - 5*r - 61315 = 0. Is l a multiple of 285?
False
Let h = 8514 + -4132. Suppose 0 = -5*z + 4*j + 5497, 2*z - h = -2*z - 2*j. Suppose 222 = -5*r + z. Is 10 a factor of r?
False
Let n be 135/27 + 2/(-2). Suppose -n*f + 3*j + 1521 = 0, -2*f - 3*j - 765 = -4*f. Does 9 divide f?
True
Suppose -67*k + 132*k - 4392 = 59*k. Is k a multiple of 6?
True
Let t = 20070 + -10486. Is t a multiple of 24?
False
Let x = 28 + -25. Suppose -x*c = c. Suppose -4*m + 176 = 4*v - c*m, -5*v = -3*m - 260. Is v a multiple of 9?
False
Let c = -272 - -479. Suppose -100 = -3*j + 4*v + c, 0 = 3*j - v - 313. Does 7 divide j?
True
Let k(q) = 355*q + 1744. Does 46 divide k(28)?
True
Let b = 6670 + -1316. Is b a multiple of 35?
False
Suppose -73*p + 87125 + 351567 = -62015. Is p a multiple of 9?
False
Let z(o) = 8*o**2 - 108*o + 769. Is 31 a factor of z(-37)?
True
Suppose -4 = -4*b - 0*y - y, -2*b - 2*y = -2. Is 27563/344 - b/8 a multiple of 9?
False
Let q be 1*-6*20/(-30). Suppose q*f - 287 = 257. Suppose -3*o - 96 = -6*u + 3*u, 4*u - f = -4*o. Is 11 a factor of u?
True
Let l(g) = g**3 + 10*g**2 + 9*g + 8. Let t be l(-9). Let p be -3 + t/(-6)*-2*3. Suppose -w - 5*h + 46 = -h, -4*w + 247 = -p*h. Is w a multiple of 29?
True
Suppose -2*f + 12 = 0, -140*m + 135*m - f + 58721 = 0. Is 20 a factor of m?
False
Let g = -13 - -15. Let p(i) = 25*i**3 + 1 + 4183*i - 4192*i + 6*i**2 - 1 - 2. Is 42 a factor of p(g)?
False
Let c(q) = 10*q**2 - 60*q + 727. Is c(23) a multiple of 30?
False
Suppose 10*k - 12*k = 18. Let x(w) = -22*w + 14. Let h be x(k). Suppose -3*g + 3*v = 4*v - h, 2*g - 143 = -v. Is 9 a factor of g?
False
Let k = 8823 + -1965. Is k a multiple of 127?
True
Suppose -3*s - 461 = 4*g - 31, -5*s - 706 = -4*g. Let r = -74 - s. Does 17 divide r?
True
Suppose 60 = -9*n + 510. Let l = n - 51. Does 7 divide ((-16)/(-24))/((-109)/111 - l)?
False
Let q be (-25)/(-5)*(-134)/(-5). Let j = -96 + q. Does 2 divide j?
True
Let q = -12408 + 25969. Is 12 a factor of q?
False
Let w = 39 - 35. Suppose -3*c = -w*u + 519, 2*u + c - 399 = -u. Suppose -5*s + u + 58 = 0. Is s a multiple of 19?
True
Is 168 a factor of (34 - 26)/(((-25)/(-2110))/5)?
False
Let k be (4/12)/(2/114). Suppose 119 = 5*m - 2*u, m = -3*u + u + k. Suppose h + 3*d - 22 - m = 0, -h - 2*d = -50. Is 20 a factor of h?
True
Suppose -38541 - 38823 = -45*v + 56196. Is v a multiple of 28?
True
Let a = 58 + -44. Let k(n) = -n**3 + 13*n**2 + 14*n + 5. Let x be k(a). Suppose -3*w + 0*w - 64 = -2*y, -160 = -5*y - x*w. Is y a multiple of 20?
False
Let y = 1057 - -21. Does 2 divide y?
True
Let r(y) = y - 5. Let h be r(9). Suppose 0*p - 4*p - 101 = m, m + 117 = h*p. Let t = -76 - m. Does 11 divide t?
True
Suppose -10*w + 11*w - 3195 = 0. Suppose 30*p - 39*p + w = 0. Is 43 a factor of p?
False
Let l be (-7)/((-196)/(-24))*-7. Suppose 16 = l*v + 2*v. Suppose v*f = -4*m + 558, -2*f = -m - 6*f + 136. Is 35 a factor of m?
True
Let m be 60*4*91/(-56). Let y = 590 + m. Is y a multiple of 20?
True
Suppose -209 = -i - 5*z + 113, 3*i + z = 924. Let r = i - 127. Is 30 a factor of r?
True
Let b(z) = 54*z - 82. Let x be b(8). Let t = x + 36. Is 15 a factor of t?
False
Let r = 36659 - 16947. Is r a multiple of 77?
True
Is ((-25344)/(-320))/((2/60)/1) a multiple of 66?
True
Is ((-449)/(-6))/((-156)/(-19656)) a multiple of 50?
False
Let z(k) be the second derivative of -20*k**3/3 - 64*k**2 - k - 13. Is z(-13) a multiple of 27?
False
Let t(b) = -b**3 - 12*b**2 + 4. Let w be t(-12). Is 11 a factor of w/(-5) + (-157337)/(-215)?
False
Let v(w) = 45*w**2. Suppose -3 = 3*z - 3*p, -2*z - 28 + 11 = 3*p. Let d(j) = -2*j**2 - 9*j - 5. Let y be d(z). Is 12 a factor of v(y)?
False
Let b(u) be the first derivative of -21*u**2 - 15*u - 9. Does 3 divide b(-1)?
True
Let l be ((-5)/(-3))/((-30)/(-36)). Suppose l = -3*z + 2. Suppose z*h + h + 113 = 2*q, 0 = q - 5*h - 34. Is q a multiple of 12?
False
Suppose 0 = -4*y + 28, -5*y + 20125 = -37*p + 42*p. Is p a multiple of 41?
True
Let q(y) be the first derivative of 3*y**2/2 + 1. Let o(m) = -m**3 - 12*m**2 - 29*m + 45. Let g be o(-5). Is q(g) a multiple of 15?
True
Suppose 42*k + z = 40*k + 23588, -2*k - 2*z + 23588 = 0. Is k a multiple of 7?
False
Let t be (2/6)/(12 + -11)*0. Suppose t*b = -3*b + 1755. Is 11 a factor of b?
False
Suppose 12834 = 9*u + 9*u. Suppose 439 = 8*b - u. Does 18 divide b?
True
Suppose 0 = -2*b + 10, b = 2*d - b + 260. Let w be d*-2*(0 + (-4)/(-8)). Let r = w + -23. Is r a multiple of 17?
True
Let q(h) = -14 + 70 - 28 - h + 45 + 79. Does 27 divide q(11)?
False
Let z(d) = 56*d**2 + 25*d + 109. Is z(11) a multiple of 20?
True
Let h(w) = -w**3 - 34*w**2 - 57*w - 390. Is h(-34) a multiple of 33?
False
Let v be 3 - 