54*f**2 + 2*f + 25. Is c(1) a multiple of 13?
False
Let h be 6 - (1 - (2 + -4)). Suppose 4*x = -2*v + 6, 3*x = h*v + 1 + 17. Suppose 0 = s + x*s - 32. Is s a multiple of 4?
True
Suppose 4*y - 5*i - 879 = 0, -76*y + 231 = -75*y + i. Is 12 a factor of y?
False
Let t(m) = m**3 - 3*m**2 + 5*m + 315. Does 8 divide t(0)?
False
Let s = 20 - 16. Suppose -4*g = 3*f - 181, -108 - 66 = -3*f + 3*g. Suppose -f = -s*x - 3. Is 14 a factor of x?
True
Let m = -7 - 2. Let v = m + 5. Is ((-6)/v)/((-1)/(-44)) a multiple of 33?
True
Let h = 715 + -467. Is 4 a factor of h?
True
Let i(f) be the second derivative of f**7/840 + 7*f**6/360 + f**5/24 + 5*f**4/24 - f**3 - 4*f. Let r(g) be the second derivative of i(g). Does 7 divide r(-6)?
False
Suppose -5*w - 9 = 16, -w - 5 = -3*g. Suppose g = 4*b - 2*b - 414. Is b a multiple of 23?
True
Suppose -2*j = -3*j - 3*b + 25, 75 = 2*j + b. Suppose -14*o = -18*o + 48. Suppose -j = -16*d + o*d. Is 2 a factor of d?
True
Let d(o) = 4*o + 3. Let f(s) = 3*s + 2. Let k(m) = 5*d(m) - 7*f(m). Does 3 divide k(-5)?
True
Is ((-6)/9)/(8/(-16908)) a multiple of 33?
False
Let u(t) = -43*t - 1. Let l(g) = g**3 - 5*g**2 + 6*g - 4. Let z be l(4). Suppose -i = -z*m - 6, -i = -2*m - 3*i + 2. Is u(m) a multiple of 14?
True
Suppose 68*f = 52*f + 9600. Is 75 a factor of f?
True
Suppose -5*g + 0*q = 4*q - 535, 3*g = -2*q + 319. Suppose -g + 121 = c. Is 3 a factor of c?
True
Let u(r) = -r**2 + 13*r - 8. Let i be (5/3)/((-17)/(-51)). Is u(i) a multiple of 17?
False
Let p = -16 + 300. Is 30 a factor of p?
False
Let h(i) = -i**3 + 23*i**2 + 7*i - 80. Is 18 a factor of h(20)?
True
Suppose 24*g - 13*g - 1012 = 0. Suppose -6*b + 82 = -2*b + 2*q, -4*b - 4*q = -g. Does 18 divide b?
True
Suppose 7*d - 4*d = 0. Let u(x) = -x**2 + 2*x + 9. Is 9 a factor of u(d)?
True
Let w(v) = -3*v**3 - 5*v**2 - 6*v - 3. Let p be w(-4). Let h = p + -67. Is 22 a factor of h?
True
Let t = 39 + 246. Let s = 5 - 2. Suppose 7*q - 209 = 3*q + s*f, 0 = 5*q + f - t. Is 15 a factor of q?
False
Suppose 2*h = 3*o + 2*o + 749, -2*h - 4*o = -758. Is h a multiple of 13?
True
Suppose -3*u + 8*u = 300. Suppose -r - 2*r + u = 0. Does 4 divide r?
True
Let w be ((-54)/12)/(2/(-4)). Let g be w - 0/((-2)/1). Let n = 14 - g. Is 2 a factor of n?
False
Suppose 0 = -8*p - 101 + 1637. Suppose -7*w = -4*w - p. Is w a multiple of 10?
False
Let t(v) = 15*v - 1. Let y be -4 + (-5)/((-10)/14). Is t(y) a multiple of 11?
True
Suppose 14 + 2 = 3*v + u, 0 = 5*v + 3*u - 28. Let x(m) = m**2 + 2*m + 5. Let a be x(v). Suppose -g = -3*g + a. Is g a multiple of 7?
False
Suppose 2*y + 3*b + 10 = -b, -4*y - 3*b = 0. Let s(p) = -7*p**3 + p**2 - 4*p + 6. Let o be s(y). Does 17 divide ((-6)/(-18))/((-2)/o)?
False
Suppose -5*i - 4*p = -45, 5*p + 7 = -i - 5. Let k = 5 + i. Does 6 divide k?
True
Let i(v) = -v + 3. Suppose -l + 2*l - r = 7, 2*r + 11 = l. Let c be i(l). Suppose -3*u - 5*d + 37 = c, -2*u - 4*d - 28 = -6*u. Is u a multiple of 5?
False
Does 16 divide 5*26/(-65)*-141?
False
Let l(s) = -31*s + 10. Let o(d) = d**2 + 61*d - 19. Let x(w) = 11*l(w) + 6*o(w). Does 13 divide x(-6)?
False
Let k = -2071 + 3853. Is 24 a factor of k?
False
Let b = 24 - 22. Is (b/(-4))/(16/(-7488)) a multiple of 29?
False
Suppose 0 = -5*c + 2*b + 118, 0*b - 8 = 2*b. Let k = 37 - c. Is 4 a factor of k?
False
Let h(p) = 18*p - 9. Let z(c) = c - 1. Let v(m) = h(m) - 9*z(m). Let a be v(1). Suppose 5*y - 14 = 3*w, 3*w - a = -3. Is y a multiple of 4?
True
Let x be ((-70)/11)/(-2) + (-2)/11. Suppose -3*g - 105 = -x*r, -3*r - g = g - 110. Is r a multiple of 18?
True
Suppose 5*p + 25 = 220. Is 11 a factor of p?
False
Let b = 4 - -4. Let r(u) = -u**2 + 14*u - 11. Does 4 divide r(b)?
False
Suppose -2*o = -2*x - 1088, 9*x = 13*x. Is 22 a factor of o?
False
Suppose 0 = 12*s - 19830 - 39210. Is 10 a factor of s?
True
Let z(r) = -50*r - 837. Does 27 divide z(-32)?
False
Let b be (-1462)/(-3) + (208/24)/13. Suppose -3*g - i - i = -371, 4*g - 4*i = b. Is g a multiple of 20?
False
Let b = -46 + 46. Suppose -9*z + 136 + 647 = b. Does 16 divide z?
False
Let l(u) = -u**3 + 5*u**2 - 3*u - 4. Let k be l(4). Suppose k*y = -2*y + 10. Suppose 0 = -c - 0 + y. Is 2 a factor of c?
False
Suppose -x + 3*o - 2 = -85, 0 = -3*o - 12. Is x a multiple of 4?
False
Let q(l) = -l**3 - 3*l**2 - l. Let p be q(-3). Let f be (-2 + 2)/(-5 + p). Suppose 4*i - 200 = 3*n, -2*i + 4*n + 21 + 89 = f. Is i a multiple of 15?
False
Let m(o) = o**3 - 4*o**2 + 5*o - 4. Let y be m(3). Suppose 0 = 2*v - 2*l - 6, -l + 4 = y*v - 5*l. Suppose 0 - 24 = -v*n. Is n a multiple of 6?
True
Let a = -5 - -7. Suppose -a*j + 127 + 53 = 0. Is j a multiple of 15?
True
Let p = -40 - -348. Is p a multiple of 11?
True
Let g be 1 + 1 - (10 + -5). Is 5054/28 + (g/2 - -2) a multiple of 16?
False
Let c(s) be the third derivative of s**5/20 + 5*s**3/6 - 3*s**2. Let w(u) be the first derivative of c(u). Is w(1) a multiple of 3?
True
Does 3 divide (-3)/5 + 89117/145?
False
Is 8 a factor of 84/(-56)*(112/3)/(-1)?
True
Suppose 4*d - 16 = 0, -5*y - d - 3386 + 15135 = 0. Is 34 a factor of y?
False
Suppose 3*d - 3*n - 14 = -2*d, n + 14 = 4*d. Suppose 0 = -c + 10 + d. Does 14 divide c?
True
Suppose i + 4*j + 13 = -0*j, 2 = i - j. Let m be 2/4*4 + i. Is 2 - (-1 + m) - -11 a multiple of 4?
False
Does 11 divide 4/(-2) - 15/15*-1335?
False
Suppose -2*k + 125 = -139. Is 66 a factor of k?
True
Let a be 2 - (4 - (-10)/(-2)). Suppose a*r + 3*b - 4*b - 56 = 0, 4*b = -5*r + 82. Is 9 a factor of r?
True
Suppose 0*a + 7*a - 35 = 0. Suppose -6*b + 21 = -a*b. Is (b/4)/((-9)/(-144)) a multiple of 12?
True
Suppose 10 = 5*f, 10*f - 5*f = 2*p - 396. Does 74 divide p?
False
Suppose a - 20 = 1. Suppose 9 + a = -3*g. Does 14 divide g/(-2)*(-56)/(-10)?
True
Suppose r + 2*s = -0*s + 2, 0 = 5*r + 2*s - 10. Suppose 2*z + r = 7*z - 4*x, -5*z + x + 8 = 0. Suppose -150 = -z*h - h. Is 23 a factor of h?
False
Suppose -357 = 5*i + l, 3*i + l + 207 = 4*l. Let o = 119 + i. Is 21 a factor of o?
False
Let d(o) = o**2 - 4. Let i be d(-3). Suppose i*t - 13 = 12. Suppose 0*m - 75 = -t*m. Does 15 divide m?
True
Let b(u) = 115*u**2 - 18*u - 6. Does 24 divide b(-4)?
False
Let f(i) be the second derivative of -i**4/12 + 5*i**3/3 - 7*i**2/2 + 11*i. Let h be f(8). Does 3 divide -4 + 7 + -5 + h?
False
Let b(v) = -v**3 + 18*v**2 - v + 6. Let j be b(18). Let o(q) = -2*q**2 + q**2 + 2*q**2 + 11*q + 12. Is o(j) a multiple of 6?
True
Suppose 25 = -l - 5*w, 5*l + 3*w + 19 = 4. Suppose -4*u - 4*t + 32 = l, t = 3*u + 1 - 17. Is u a multiple of 6?
True
Let l be (111/222)/((2 + 0)/84). Suppose -34 = 5*b + 3*x, 5*x + 10 = 2*b - b. Let s = l + b. Is s a multiple of 4?
True
Suppose -507*j = -505*j - 1566. Is 55 a factor of j?
False
Let d be 17/(2 + (-10)/6). Let s be (-4 - 0)/((-4)/31). Let y = d - s. Is y a multiple of 20?
True
Suppose -4*m = 7*b - 3*b - 28, -26 = -4*m - 3*b. Suppose 1217 + 73 = -2*a - 2*c, m*a + 3217 = 3*c. Does 16 divide a/(-18) - 6/(-27)?
False
Suppose c + 3 = z + 9, -2*z - 4*c = -18. Let u = 33 + z. Is u a multiple of 16?
True
Suppose 0 = 7*q + 66 + 88. Let d = 93 + q. Does 10 divide d?
False
Suppose 13*s + 12*s = 1050. Is 42 a factor of s?
True
Does 11 divide ((-6)/8)/1 + (-13491)/(-36)?
True
Let a be (-3382)/(-12) + -3 - 1/(-6). Suppose 2*g + 456 = 4*v, -5*v + 3*g + 293 + a = 0. Is v a multiple of 8?
True
Let b(m) = 93 + m**3 - 18*m**2 + 32*m**2 - 15*m**2. Is b(0) a multiple of 37?
False
Let h(x) = -38*x + 3. Let p be h(-6). Does 15 divide p/3 + 3 - -1?
False
Is (-37729)/(-58)*(-1 - (-2 + -1)) a multiple of 109?
False
Let f = -49 - -100. Let u(a) = -42 + a + 56 + f. Is u(0) a multiple of 19?
False
Suppose 6 = 5*q + n + 3*n, 5*n = -5. Is 29 a factor of 2 + (q + -2 - -56)?
True
Let w(h) = -h**3 + 2*h**2 - h + 4. Suppose -2 = -o - 5*l + 5, 0 = -2*o - 3*l + 7. Let a be w(o). Is 5 a factor of -3 - -19 - (-6 + a)?
True
Suppose -3*h = -h - 6. Suppose -2*c = -0*c - 208. Suppose -c - 166 = -h*d. Is 30 a factor of d?
True
Suppose 3*f + 4 = 4*f, -20 = -l - 5*f. Suppose -5*t = -l*t. Suppose 0 = -t*y + 2*y - 54. Is 9 a factor of y?
True
Let v = 550 - 265. Let s = v - 155. Is s a multiple of 10?
True
Is (-19400)/(-80)*(2 - 0) a multiple of 24?
False
Suppose -20150 = -47*n + 22*n. Is 34 a factor of n?
False
Let t(h) = 2*h**2 + 3*h - 3. Let a be t(1). Is (972/(-4))/((-3)/a)