ivide k?
True
Suppose -5*t + 5 = 10. Let u(f) = 4*f**2 - 1. Let v be u(t). Suppose -4*l + 2*p + 496 = 0, 7*l - 500 = v*l + 3*p. Is l a multiple of 9?
False
Suppose 0 = 5*s - 3*c - 254, 3*s - 2*c - 80 = 72. Let v = 24 + -19. Suppose v*i - s = 403. Is i a multiple of 25?
False
Let f be 6/(-36) - ((-214)/(-12) - 0). Let i be (2/5)/2 + f/(-10). Suppose 4*h + 2*l - 312 = -h, i*h = 2*l + 122. Is h a multiple of 16?
False
Let c = -1225 + 2593. Suppose 0*t - 12*t = -c. Does 12 divide t?
False
Let b(g) = -4*g**3 + 11*g**2 - 2*g + 2. Let i(l) = -l**3 + 1. Let z(f) = -b(f) + 3*i(f). Let d be z(11). Suppose -30*n = -d*n - 350. Does 25 divide n?
True
Suppose -t - 140 = -6*t. Let n be (-8)/t - (-60)/14. Suppose 0*m + 220 = n*m. Does 5 divide m?
True
Suppose -v - 30 = 66. Let c(s) = -s**2 + 365*s + 10896. Let r be c(-27). Is 17 a factor of (-8*6/v)/(2/r)?
False
Suppose 2*p + 2*p - 142 = -b, 3*b = 4*p - 150. Suppose x + 31 = -2*z, 2*x = 2*z - 4*z - p. Let l = z + 142. Is 12 a factor of l?
False
Does 14 divide 4147 - (-20)/8*(10 + (-7 - 1))?
False
Does 2 divide 8/(1080/397755) - 4/(-6)?
False
Suppose 29 = 3*u - 2*t + 6, 4*t = -u - 11. Suppose 6*d + 4*d = 400. Suppose 3*x + k - 3*k - d = 0, -92 = -u*x - 3*k. Is x a multiple of 16?
True
Is 56716/11 + (-12 - (-4 + 0)) a multiple of 26?
True
Suppose 0 = -6*d - 20*d - 520. Suppose 5*n - 3*h + 7 = 1, 4 = -5*n + 2*h. Is 15 a factor of (d + 5)/(1/(-6) + n)?
True
Suppose 5*p - 3*p - s - 112 = 0, 0 = -2*s. Suppose -j = -x - 3*x - p, 2*x = -3*j + 168. Is j a multiple of 34?
False
Suppose 0 = -308*q + 310*q - 388. Let v = -192 + q. Is v even?
True
Let w = 15863 - 5310. Is w a multiple of 173?
True
Suppose -4*k + 3988 = 1575*n - 1574*n, -4*k = -5*n + 20084. Does 3 divide n?
False
Let s = 3474 + -3201. Does 3 divide s?
True
Suppose -3*m = 4*l - 5*m + 6, -3*l + m = 3. Suppose -410 = -l*r - 2*r. Does 29 divide r?
False
Suppose -91*g - 86*g = -1829472. Does 8 divide g?
True
Suppose 7*q + 25 = 109. Suppose -2*l = 4*y - 3*y - 433, -4*y = q. Is l a multiple of 20?
False
Let a = 307 - 309. Is 94 a factor of (-59184)/(-90) + 1/((-5)/a)?
True
Suppose 34*k - 1493240 = -36*k. Is k a multiple of 160?
False
Suppose 4*d + 5*m + 28 = 30, -4*m - 23 = -5*d. Suppose -9*b - 543 = -10*b + d*q, 5*b - q = 2701. Does 10 divide b?
True
Let n(y) = -26*y + 71*y - 149 - 2*y. Does 11 divide n(5)?
True
Let v(r) = -r**3 - r**2 - r - 1. Let o(u) = -46*u**3 + 5*u**2 + 5. Let f(a) = o(a) + 3*v(a). Let g be f(1). Let p = 79 + g. Does 9 divide p?
False
Let d = 543 - -8725. Is 7 a factor of d?
True
Suppose -19*z + 1239 = 1885. Let i(r) = r**2 + 4*r + 7. Let o be i(-8). Let u = z + o. Is 5 a factor of u?
True
Let f(a) = 717*a**3 - a**2 - 3*a + 4. Let w be f(1). Suppose 73 = -4*p + w. Is p a multiple of 23?
True
Suppose -x + 114 - 35 = 0. Let w = x + -34. Is 11 a factor of w?
False
Let j(x) be the first derivative of 27*x**2/2 + 111*x - 35. Does 30 divide j(17)?
True
Let r = -19 + 71. Let i = 170 - 198. Let y = i + r. Is 12 a factor of y?
True
Let q(y) = 3*y**2 + 3*y. Let s be 3/((-42)/(-4)) + 32/(-14). Let m be q(s). Let g(h) = 3*h**2 - 15*h + 12. Is 20 a factor of g(m)?
False
Suppose -5*w = 5*y - 23420, -3*y + 3320 = -3*w - 10744. Does 36 divide 1/2 - (-6 + y/(-12))?
False
Suppose 4*u - u + 6 = 4*n, 3*n - 19 = -5*u. Suppose h = u*h + 9*h. Is 25 a factor of h - 100/(-1)*1?
True
Suppose 3*z - 3165 = -3*f, 15*z = -5*f + 16*z + 5281. Is f a multiple of 96?
True
Let l = 287 - 201. Suppose 452 = r - l. Suppose -r = 2*b - 5*b - 4*h, -3*b + 518 = -h. Does 29 divide b?
True
Let y = 7634 + -2700. Does 75 divide y?
False
Suppose 2*o + 21 = 45. Suppose -3*d + 4*d - r = 33, 0 = 4*r + o. Let u = 48 - d. Is u a multiple of 9?
True
Let b be (-130)/39 - (-2)/(-3) - -5882. Suppose 5291 = 17*w - b. Does 38 divide w?
False
Let h(c) = 9*c + 85. Let p be 22/2 - (-15 - -11). Is h(p) a multiple of 20?
True
Suppose 3*o = -2*f + 40207, 4*f - 80469 = -243*o + 248*o. Is f a multiple of 169?
True
Let s = 21 + -22. Let n be (5 + -5)*(s - -1 - 1). Suppose -3*i = -l - n*l + 85, i = -2*l + 191. Does 6 divide l?
False
Let m(z) = -z**2 + 24*z - 19. Let p be 5/(-2)*16/(-20). Let n be (p*(-13)/(-2))/1. Is m(n) a multiple of 31?
True
Let n be (0 - 36)*24/(-9). Let h = 27 - n. Let f = -52 - h. Is f even?
False
Suppose 2*g = -0*g - 34. Let y be (-108)/10 - (-6)/(-30). Let d = y - g. Does 5 divide d?
False
Suppose -13*r + 145771 = -193616 + 51918. Does 161 divide r?
False
Suppose -17*y + 1920 + 4676 = 0. Does 8 divide y?
False
Is (-13 - -11) + 14 + 11268 a multiple of 12?
True
Let t(o) = o**3 + 18*o**2 + 31*o - 13. Let p be t(-16). Let z(y) = 3*y**3 - y**2 - 5*y. Does 19 divide z(p)?
True
Let y = 19281 + -8384. Suppose -y - 10271 = -28*v. Is 36 a factor of v?
True
Suppose 0 = -6*l + 2*l + 2440. Suppose 4*m + x - l = 0, -166 = -5*m + 4*x + 607. Suppose 5*a - 160 = -5*i, -i = 4*i - 2*a - m. Does 15 divide i?
False
Suppose 9 = 6*c + 45. Is (-170)/(-3)*c/(-4) a multiple of 67?
False
Let i = 12009 - 4593. Is i a multiple of 20?
False
Suppose -13*a - 6869 + 29203 = 0. Does 4 divide a?
False
Let f = -155 - -81. Suppose -5*n = -3*b - 144, 5*b - n + 34 + 206 = 0. Let w = b - f. Does 13 divide w?
True
Suppose -28 = 4*d - 36. Suppose 114 = 2*j + 2*c, 47*c - 44*c = d*j - 129. Is 3 a factor of j?
True
Suppose 2*i - 28 = -3*l, 0 = 22*l - 20*l + 2*i - 22. Suppose -19314 = -31*u - l*u. Does 29 divide u?
True
Suppose -5*m = 4*t - 183944, t = -7*m + 2*m + 46001. Is 13 a factor of t?
True
Let f(s) = s**2 - s - 4. Let o be f(-3). Suppose 3*i = o*i - 270. Suppose 3*w - 69 = i. Does 8 divide w?
False
Suppose -4*v - 142 + 178 = 0. Let z be ((-12)/v + 1)/(2/(-30)). Suppose -2*x = -z*x - 2*o + 260, -x + 92 = -2*o. Does 11 divide x?
True
Let v(c) = 29*c**3 - 4*c**2 + 51*c - 245. Is 137 a factor of v(5)?
False
Let v = -2315 - -3051. Is 8 a factor of v?
True
Let l(k) = -k**3 + 8*k**2 - 2*k - 4. Let u be l(6). Suppose u*a - 1170 = 53*a. Is 12 a factor of a?
False
Let d(y) = -326*y - 84. Does 125 divide d(-4)?
False
Let r(h) = -1812*h + 66. Is r(-4) a multiple of 106?
True
Suppose 2*m - 17 + 33 = 0. Is 5/10*m + 422 a multiple of 19?
True
Suppose 4*z = -2*k + 14, 4*k + z + 1 = 50. Suppose 5*s + 10 = -4*o - 1, 2*o + k = 5*s. Does 18 divide 2/s - (-52 + 0/4)?
True
Is (-3)/(-9)*(-215720)/(-8) - 25/(-15) a multiple of 58?
True
Let k(c) = 15*c**2 - 34*c + 7. Let j(d) = 7*d**2 - 14*d + 3. Let w(x) = -9*j(x) + 4*k(x). Let m = -11 - -8. Does 4 divide w(m)?
True
Let q(f) = 7*f - 5. Let h(g) = g - 1. Let c(r) = 6*h(r) - q(r). Let l be c(4). Let k = 7 - l. Is 4 a factor of k?
True
Let g = 12 - -46. Let l(u) = u**3 - 24*u**2 - u + 14. Let c be l(24). Let y = c + g. Does 10 divide y?
False
Let f(q) = 7133*q + 865. Is 62 a factor of f(1)?
True
Let y be 6726/152*4/3. Let v = 256 + y. Is v a multiple of 10?
False
Suppose -4*p = 5*j - 16878, -23*p - 6758 = -2*j - 28*p. Is 59 a factor of j?
False
Let x(t) = -t**3 + 11*t**2 + 13*t - 6. Let p be x(12). Let a be 2/2*20/(-50)*85. Let k = p - a. Is 10 a factor of k?
True
Let c be (-2 - (-1 - 4/(-4))) + 5. Suppose q = c*m + 95, 0 = -0*q + 2*q + 2*m - 206. Does 61 divide q?
False
Suppose 0 = 4*t + 4*p - 4, 17 = -5*t + 2*t + 2*p. Let w be -12*(-10)/(-24)*3. Is 10/w + (-356)/t a multiple of 5?
False
Let w = 8060 + 1024. Is 6 a factor of w?
True
Let p = -2301 - -5201. Does 100 divide p?
True
Let t(q) = -6*q**3 + 9*q**2 - 5*q**3 - 4*q + 21*q**3 - 9*q**3 - 10. Is t(-7) a multiple of 41?
False
Suppose 2*t - 10 = -3*t, 2*t = 5*g - 46. Let o(q) = 2*q + 2. Let z be o(2). Is 12 a factor of 385/g - (-3)/z?
False
Does 8 divide (-3595)/(-2) - (943/46 + -20)?
False
Let j(o) = 75*o**3 + 3*o**2 + 8*o + 3. Let y be j(-3). Let n = 4249 + y. Is 20 a factor of n?
False
Let f(k) be the second derivative of k**5/20 - 2*k**3/3 - k**2/2 - 4*k. Let x be f(-3). Is (-4)/x*74*2 a multiple of 37?
True
Suppose -237*f + 9 = -234*f. Suppose 0 = 4*l - f*h - 506 - 608, 3*l - 846 = -3*h. Does 17 divide l?
False
Let l(g) = -6*g**2 - 21*g - 16. Let i be l(-6). Let o = 62 - i. Does 7 divide o?
True
Let v be ((-6)/(-15))/((-16)/(-100))*2. Let r(l) = -3 + v + 3*l - 12*l. Does 4 divide r(-1)?
False
Let n(c) = -476*c + 595. Does 17 divide n(-3)?
True
Let h be (-42 + -9)*200/(-15). Let i = -595 + h. Does 5 divide i?
True
Suppose 5*i = -5*n +