 of 132?
False
Suppose -3*x - 4*c + 8972 = 0, 300*c + 5958 = 2*x + 298*c. Is 20 a factor of x?
False
Let u = -75 + 80. Suppose 924 = 11*j - u*j. Let v = -56 + j. Does 10 divide v?
False
Let h(t) = 7185*t**2 + 51*t + 38. Does 67 divide h(-2)?
True
Let g be 9 + -2 + (-20)/10. Suppose -1153 = 2*n - 6*n + g*w, -2*n - 5*w + 599 = 0. Is 66 a factor of n?
False
Suppose -20*y + 8560 + 183660 = 0. Does 14 divide y?
False
Let i(s) = 3*s**3 - 8*s**2 + 25*s + 5. Let h(b) = 2*b**3 - 3*b**2 + 13*b + 3. Let r(l) = 5*h(l) - 3*i(l). Is r(-7) a multiple of 42?
True
Is (8 - 2)*((-526)/9)/((-2)/30) a multiple of 5?
True
Suppose -12*l - 1115 = -3467. Suppose -2*s + 9*p - 5*p = -l, 0 = -4*s - 3*p + 348. Is 45 a factor of s?
True
Let w be (-149)/3 + 4/(-3). Let f = 98 + w. Let a = f + 5. Is a a multiple of 8?
False
Let o be (-31)/(-5) + (-8)/(-10). Suppose o*j - 198 = 586. Is 8 a factor of j?
True
Suppose -64*u - 26455 = -101*u. Is 65 a factor of u?
True
Let l be -3 + -2 + (0 - -2) + 16. Suppose 1024 = l*x + 3*x. Is x a multiple of 4?
True
Suppose -6 = -4*f + 5*t + 6, f - 5*t = 3. Suppose 0*s - f*s = -999. Suppose -3*o + 545 = 5*p + 2*o, -3*p + 3*o = -s. Is 18 a factor of p?
False
Let s = 93 + -82. Suppose 6*d + 165 = s*d. Let w = 12 + d. Does 6 divide w?
False
Let y(f) = -2*f**3 + 2*f**2 - f - 2. Let s be y(-1). Let k be (-2)/s*(-9)/2. Suppose k*d = -0*b - b + 53, -5*b = 5*d - 105. Is d a multiple of 4?
True
Let o = -803 + 2131. Is o a multiple of 12?
False
Let m = 6961 - 3005. Is 4 a factor of m?
True
Is 390 a factor of (-36015)/(-10)*60*3/27?
False
Let g(l) = 4*l - 19. Let c be g(6). Suppose 5*k - 15 = t + 2, k - t - c = 0. Does 3 divide (k/(-9)*-1)/(2/42)?
False
Suppose 0 = 2*u - 8, u = 3*y + 3*u - 14. Suppose y*t = -5*b + 32, 2*b - 3*t + 9 = 3*b. Suppose j - 23 + b = 0. Is j a multiple of 3?
False
Let o be 4/12 + 3/((-27)/(-33)). Suppose 0 = t + 7 - 9. Suppose 2*h - 31 = -2*z - z, -t*h + 38 = o*z. Does 2 divide z?
False
Suppose 33*w + 12278 - 128702 = 0. Is 18 a factor of w?
True
Let n = 35332 + -15201. Is 131 a factor of n?
False
Let a(r) = 46*r**2 - 2. Let v(l) = l**2 - l - 14. Let b be v(6). Suppose 0 = -8*s - b. Is a(s) a multiple of 14?
True
Let a = 917 - -80. Does 30 divide a?
False
Suppose -4908 - 106476 = -26*z. Is z a multiple of 36?
True
Let l(s) be the first derivative of 15*s**2/2 - 45*s + 11. Is l(10) a multiple of 18?
False
Let m = -27 - -25. Let h be (4/(-32) + (-14)/16)*m. Suppose -346 = -4*y + h*f - 0*f, -5*f + 240 = 3*y. Does 39 divide y?
False
Is 37 a factor of (-50873)/(-5) - 5/(125/(-10))?
True
Suppose 496*l - 498*l + 6080 = j, 5*l - 20 = 0. Does 138 divide j?
True
Let f(t) be the second derivative of t**5/10 + 17*t**4/6 + 31*t**3/6 - 15*t**2/2 - 44*t. Does 21 divide f(-15)?
True
Let h = 36 - 10. Let f = h - 12. Suppose 8*b - f*b + 528 = 0. Does 44 divide b?
True
Let b = -4426 - -5038. Does 18 divide b?
True
Let c(r) = 8*r**2 - 164*r + 27. Is c(21) a multiple of 2?
False
Let s be (1 - 1) + (-2 - 7) + 5211. Suppose 13*b + 1367 = s. Does 19 divide b?
False
Let q be -4 + (375/5)/3. Suppose -27 = -4*n - 7. Suppose -149 - q = -n*b. Is b a multiple of 19?
False
Suppose 2*s - 3*o - 3 = -5, -4*s - 5*o = -40. Suppose 3*n - 119 = -s*w, -2*n + 5*w + 101 = 4*w. Does 6 divide n?
True
Suppose 3*t - 4*t + 3*q + 6001 = 0, -12052 = -2*t - 4*q. Does 64 divide t?
True
Let n = 237 + -237. Suppose d - 167 - 452 = n. Is 71 a factor of d?
False
Does 14 divide (-49052)/(-14) - ((-1521)/(-91) - 17)?
False
Let b = 193 + -118. Let w = b + 170. Is 28 a factor of w?
False
Let p(q) = 182*q**3 - 5*q**2 - 152*q + 726. Is p(5) a multiple of 29?
True
Suppose 10*g - 19*g + 45 = 0. Suppose -4*h + 11*o + 1663 = 6*o, 3*h = g*o + 1241. Does 16 divide h?
False
Let w(l) = 27*l**2 + 8*l + 33. Let d(u) = u - 8. Let a be d(14). Is 85 a factor of w(a)?
False
Suppose 28*o + 9132 = 34*o. Suppose 5*h = 5*f - 1880, f + o = 5*f + 5*h. Does 42 divide f?
True
Suppose -3*i = -4*a + 11, -2*i = -4*a - 0*a + 14. Suppose 0 = b - i*h - 0*h - 855, -b + 847 = 5*h. Is b a multiple of 13?
False
Suppose -2*t = 2*r - r - 83, 2*r = -10. Suppose -4*i + 5*n = -0*n + t, -3*i + 4*n - 34 = 0. Does 28 divide (-7882)/(-56) - i/(-8)?
True
Let c(x) = -4*x**2 + 15*x + 27. Let j be c(-4). Let f = -1 - j. Does 12 divide f?
True
Suppose -5*z + 21 + 4 = 0. Let g = -105 + 107. Suppose -5*i = -3*y + 66, 65 = g*y + z*i - 4. Is y a multiple of 7?
False
Suppose -5*p + 15002 = 4*s, 155*s + 2*p - 7502 = 153*s. Is 9 a factor of s?
True
Let o = 213 - 238. Let b(w) = -9*w + 135. Does 15 divide b(o)?
True
Let q = -208 - -2068. Is q a multiple of 15?
True
Suppose -7*m + 11346 = 19*m - 32880. Does 27 divide m?
True
Suppose 0 = 345*d - 364*d + 44802. Is d a multiple of 9?
True
Let x = 21594 + -15325. Does 63 divide x?
False
Does 199 divide (-660)/88*(3 + 39447/(-15))?
True
Let u be (-47)/(-12) + (-68)/(-816). Suppose 4*x = v - 658, -x = -u*v - 5*x + 2712. Is v a multiple of 55?
False
Suppose -q + 5*q - 4787 = m, 0 = -3*q + 5*m + 3569. Suppose 5*d + 15 = 0, -y - 2*d = -5*y + q. Is y a multiple of 38?
False
Let h = 867 - 542. Let c = 458 - h. Is c a multiple of 44?
False
Let l(m) be the second derivative of -23*m**3 + 90*m**2 + 182*m. Is 18 a factor of l(-6)?
True
Let v(z) be the first derivative of -59*z**2/2 - 30*z + 158. Is v(-3) a multiple of 5?
False
Let n = -107 - -108. Let d be 271*(n - (-1 - -1)). Let k = -163 + d. Is k a multiple of 9?
True
Suppose 15*i - 10836 = 43*i. Let f = 1362 + i. Is 31 a factor of f?
False
Suppose g - 5*w = 7, -g - 3*w - w - 11 = 0. Does 17 divide 123 + -3 + -4 - g?
True
Let y = 377 - 380. Is ((-1190)/3)/((5/y)/5) a multiple of 70?
True
Let n = 98 - 96. Suppose 0*c - 4*i = -n*c + 440, 5*c = 4*i + 1130. Suppose -3*d + c = 2*d. Is 21 a factor of d?
False
Let a = 2 - 19. Let y(w) = w**3 - 34 - 14*w - 2*w + 0 + 16*w**2 - 11*w. Does 34 divide y(a)?
True
Let u(m) be the first derivative of -m**3/3 + 8*m**2 + 15*m + 3. Let t be u(17). Let g = 34 - t. Is 6 a factor of g?
True
Let s(f) = 3*f**3 - 3*f**2 + 4*f. Suppose -4*q + 2 = 5*b - 33, 27 = 2*b - q. Suppose b = 2*z + 5. Does 11 divide s(z)?
True
Let d(b) = -b**3 - 6*b**2 + 4*b - 16. Let i be d(-7). Suppose i*l - l - 5*t - 407 = 0, -2*l + 202 = -2*t. Is l a multiple of 7?
True
Suppose 86*y = 90*y - 1872. Does 3 divide 159/(-265) - y/(-5)?
True
Let w = 8333 + -269. Is w a multiple of 56?
True
Let t(w) be the first derivative of -18*w**2 - 32*w + 63. Is t(-8) a multiple of 8?
True
Let j(b) be the first derivative of 50*b**3 + b**2 - 3*b + 31. Let d be j(1). Suppose 5*l - d = 81. Is 13 a factor of l?
False
Let j(x) = 29*x**2 + 76*x + 944. Is j(-20) a multiple of 13?
True
Suppose -14 = 2*d - 4*w, -5*d = -d + w - 17. Let y be 20/(-6)*(-3 + d/2). Suppose -y*u + 56 = 3*s - 37, 5*u + 4*s - 89 = 0. Is u a multiple of 12?
False
Let r(z) = z**3 + 6*z**2 - 1. Let u be r(-6). Let m be (-6)/((u/(-2))/(2/(-8))). Does 23 divide 1/(m/(-18))*(-32)/6?
False
Let u(l) = 12*l**2 - 4*l + 5. Let g be u(3). Let o = 151 - g. Let p = -26 + o. Does 5 divide p?
False
Suppose -15*i + 653 = -1777. Let n = i + 94. Is n a multiple of 16?
True
Suppose 68151 - 2081334 = 66*m - 259*m. Is 19 a factor of m?
True
Let m(c) be the first derivative of 2*c**5/15 - c**4/3 - 14*c**3/3 - 14. Let n(t) be the third derivative of m(t). Does 4 divide n(2)?
True
Let x(b) = 6*b + 5. Let c(a) be the third derivative of a**3/6 + 13*a**2. Let z(q) = 22*c(q) - 2*x(q). Is 6 a factor of z(-2)?
True
Suppose -105*l - 65*l + 3850907 + 447543 = 0. Does 65 divide l?
True
Suppose 6*q = -19 + 55. Let x be (-5 + (-22)/(-4))/(1/(-2)). Is (1 - x) + (158 - q) a multiple of 14?
True
Is (-102655)/(-25) - 1/5 a multiple of 120?
False
Let b(f) = -86*f + 170. Let i(d) = 170*d - 341. Let y(l) = -5*b(l) - 2*i(l). Is 47 a factor of y(15)?
False
Does 17 divide 10996/24 - 50/(-60)?
True
Let s = -3 - -1. Let t(k) = 9*k**2 - 4*k**2 + 2 + 7*k**2 + k**2 - 3*k - 4*k**2. Is 22 a factor of t(s)?
True
Suppose -4*j + 62 = 6. Suppose j*p = 4*x + 19*p - 812, 4*x - p = 836. Is 45 a factor of x?
False
Let l(x) = -7*x + 0*x - 4*x + 35 + 13*x. Let u be l(-15). Suppose 478 = u*t - 97. Is t a multiple of 23?
True
Suppose 0*i = -l + 2*i + 30, -5*l = -5*i - 145. Suppose -658 = -n - l. Suppose -q + n = 8*q. Is q a multiple of 14?
True
Let q be (420/9