6*w - 3*w. Let r = w - -95. Is r a multiple of 27?
True
Suppose -228*m - 24222 = -239*m. Is m a multiple of 10?
False
Suppose -5*b = 23*b - 12852. Is b a multiple of 27?
True
Let s(h) = 118*h - 385. Does 41 divide s(25)?
False
Suppose -3*i - 31 - 18 = -h, -5*h + 37 = -2*i. Does 20 divide 67 + ((-13)/4 - 4/i)?
False
Suppose 5*t = 2*y - 14, 2*t = -3*y + 8*y - 14. Suppose y*c + 45 = 7*c. Let u = 25 + c. Is 14 a factor of u?
False
Let y(l) = -l**3 + 8*l**2 + 2*l - 11. Let s = 7 + -3. Suppose 14 = 2*c - 2*w, -2*c + 5*w - 14 = -s*c. Does 29 divide y(c)?
False
Let w = 66 - 58. Let l(z) = -z**3 + 10*z**2 - 7*z + 28. Is l(w) a multiple of 26?
False
Suppose -3*p + 10 + 5 = 0. Suppose -y - 2 = -p. Suppose y*g = -g - 5*i + 145, 0 = 5*g + 4*i - 188. Is g a multiple of 10?
True
Suppose -7868 = -36*d + 14884. Does 65 divide d?
False
Let q = 16 - 13. Suppose -5*b + 2 = -q. Is -45*(2/b)/(-6) a multiple of 10?
False
Let c(y) = -7*y**3 + y**2 - 2*y + 229. Let x(f) = 4*f**3 - f**2 + f - 115. Let i(z) = 3*c(z) + 5*x(z). Is i(0) a multiple of 16?
True
Let t = -10 + 12. Suppose 2*y = 3*y + t. Does 2 divide (-4)/y*(-6)/(-4)?
False
Suppose -4*b + 76 = 2*k, 3*b - 53 = -k + 3. Does 4 divide (20/(-6))/((-2)/b)?
False
Let r(o) = 22*o**3 + 23*o**2 - 84*o - 5. Is 58 a factor of r(5)?
True
Suppose -4*w = w + 15. Let k = w + 3. Let c = 38 - k. Is c a multiple of 19?
True
Let u be -2*(-2 - (-3)/(-6)). Suppose g - 2 = -f + 1, -3*g + u = -f. Is 9 a factor of 26 - (2/f - 3)?
True
Suppose 3*h = -2*c + 4, 4*h = 2*h - c + 4. Let k be (2 - -132 - -2) + 2. Suppose k + 22 = h*s. Is s a multiple of 20?
True
Let q(g) be the third derivative of 29*g**5/30 + g**4/24 - g**3/6 + 7*g**2. Suppose 4*p = 5*w + 14, 0*p + 2*w + 7 = 3*p. Does 17 divide q(p)?
False
Let w(g) = -7*g**2 - 131*g + 19. Is w(-13) a multiple of 7?
True
Let a = 634 - -122. Does 21 divide a?
True
Suppose 0*f + 48 = 4*f. Suppose 2*a - f = 14. Is a even?
False
Suppose -10*u = -4413 + 433. Suppose -4*y + u = -202. Does 25 divide y?
True
Let r = 117 + -113. Suppose b - 921 = -r*m, 3*m - 692 = b - 3*b. Is 10 a factor of m?
True
Let r(m) = -m**2 - 29*m - 23. Let s(q) = -q - 1. Let i(k) = r(k) - 4*s(k). Does 5 divide i(-23)?
False
Let r(x) = -7*x. Let a be r(2). Let o be -3 + 1 + -38 - 0/(-16). Let z = a - o. Does 11 divide z?
False
Suppose -3*b + 4 = -14. Suppose -a + b*i + 2 = i, a - i = 22. Does 9 divide a?
True
Suppose 51 = 3*d - 42. Let h = d - 26. Suppose h*g = -0*i - 5*i + 150, -180 = -5*i + 5*g. Is i a multiple of 8?
False
Let m(t) be the second derivative of -t**4/12 + 4*t**3/3 - 3*t**2 + 3*t. Let o(w) = 2*w - 4. Let h be o(5). Does 2 divide m(h)?
True
Let a = 31 - 99. Let h = -8 - a. Suppose h = y + 4*y. Is 12 a factor of y?
True
Suppose 0 = -12*x - 36*x + 106272. Is 9 a factor of x?
True
Suppose 6*g = -3*g + 1260. Does 2 divide (-3 - -2)/((-10)/g)?
True
Let h(b) be the third derivative of 5*b**4/12 + 5*b**3/3 + 9*b**2. Does 10 divide h(4)?
True
Let y(b) = -6*b - 3. Let a be y(-5). Is (a + -1)*(-10)/(-4) a multiple of 9?
False
Let w(z) = -6*z**3 - z**2 + 8. Let h(s) = 2*s**3 - 3. Let v be 1 - 7*(-3 - -2). Let m(o) = v*h(o) + 3*w(o). Is m(-2) even?
True
Let s(p) = -3*p**3 + 32*p**2 - 8*p - 9. Is 6 a factor of s(7)?
True
Let n(i) = -i + 151. Let s be n(0). Suppose -4*u - 12 - 127 = -5*m, 5*m - u = s. Is m a multiple of 3?
False
Let h(a) = 2*a**2 + 66*a - 678. Is 94 a factor of h(31)?
True
Let p(n) = -3*n - 5*n - 5*n - 29 - 7. Is p(-6) a multiple of 7?
True
Let t = 23 - -7. Suppose 2*v = -4*w + 102, -2*w + 2*v + 24 = -t. Does 6 divide w?
False
Let s(a) = 11*a - 30. Let r(k) = -2*k**2 - 12*k + 24. Let z be r(-7). Is s(z) a multiple of 20?
True
Let v(k) = -3*k**2 - k**2 + k**2 + 7*k + 11 + 2*k**2. Let d be v(8). Does 14 divide (-140)/15*d/(-2)?
True
Let x be (-113)/((-3)/3)*-1. Suppose 5*o = 2*o + 495. Let r = o + x. Is 13 a factor of r?
True
Let g be (6 - 1)*10/25. Let n be (1/(-4))/(g/(-32)). Suppose 0 = s - 2*h - 59, -251 = -n*s - 0*h + 3*h. Is s a multiple of 10?
False
Suppose -6 = -4*i + i. Suppose c = -i*k - 3*k + 58, 3*k = 3. Is c a multiple of 4?
False
Suppose q + 3774 = 7*q. Suppose -7*k - 125 + q = 0. Does 24 divide k?
True
Suppose -25*h + 16*h = -4032. Is h a multiple of 28?
True
Let j = 44 - 64. Let d = -94 - -128. Let t = d + j. Is 14 a factor of t?
True
Suppose -2*n = -3 - 5. Suppose n - 24 = -2*y. Suppose y + 26 = 4*d. Is 3 a factor of d?
True
Is 49 a factor of 7 - (-286 + 2/(-1))?
False
Let c(v) = -v**3 - 11*v**2 - 11*v + 14. Suppose -2*r - 36 = -5*r. Let o be (-1 + 6)/((-6)/r). Is c(o) a multiple of 7?
False
Let i(x) = x**2 + 4*x + 108. Is i(-14) a multiple of 4?
True
Suppose -3*c = 3*z - 793 - 116, -5*z = -3*c + 941. Is c a multiple of 24?
False
Suppose -2*b = -0*b - 28. Let s be (-127)/(-7) + (-2)/b. Suppose 3*l - 147 + s = 0. Is 17 a factor of l?
False
Let l(d) = 6*d**3 + 22*d**2 - 16*d - 3. Let f(i) = 5*i**3 + 21*i**2 - 16*i - 4. Let v(h) = -7*f(h) + 6*l(h). Is v(14) a multiple of 18?
False
Let h = 2147 + -1247. Suppose -6*o = -o + h. Does 7 divide o/(-16) - (-2)/(-8)?
False
Suppose 26*k = 23*k + 960. Suppose 4*f - k = -4*d, 3*f - 368 = -2*f + 3*d. Is 38 a factor of f?
True
Suppose 97 = n - 51. Suppose -n = 12*v - 14*v. Does 12 divide v?
False
Suppose -40805 - 14635 = -40*v. Is v a multiple of 42?
True
Let k(n) = n**3 + 8*n**2 + n - 8. Let j(x) = x**3 + x**2 + x + 1. Let u(y) = 2*j(y) - k(y). Let c be u(5). Is 15 a factor of (-50)/15*72/c?
False
Suppose 31*r + 6*r - 36445 = 0. Does 104 divide r?
False
Is 29 a factor of (-1682)/(-7 - 25/15*-3)?
True
Is 2/(6*(-4)/(-12)) - -344 a multiple of 11?
False
Let f = -408 - -1066. Suppose 5*d = 4*l + 1426, 2*d - f = 2*l - 86. Is d a multiple of 13?
False
Does 21 divide (-83 - -15)/(2/(-17))?
False
Let h(r) be the first derivative of r**3/3 - 11*r**2/2 - 14*r - 2. Does 13 divide h(15)?
False
Let c = 10 - 9. Suppose c = s - 11. Let m = s + -7. Is m a multiple of 5?
True
Suppose -7*q = 26*q - 11352. Is 19 a factor of q?
False
Suppose 0 = 18*q - 296 + 80. Is q a multiple of 12?
True
Suppose 3*s = 5*j + 2*s - 659, -663 = -5*j - 3*s. Let y(x) = -x**2 + 8*x - 10. Let u be y(4). Does 11 divide j*(-1 + 4)/u?
True
Let u be 1 + 128 + 2 + 0. Suppose 5*r - n + u = 0, 0*n + 4 = -n. Let k = 60 + r. Is 11 a factor of k?
True
Let x = -30 - -30. Suppose -2*l + x*l = -42. Does 21 divide l?
True
Let o(j) = 8*j**2 + j - 10. Suppose 0 = 4*k - 2*b - 12, 2*k = 3*b - 3 + 1. Suppose 0 = r - 2*a - 9, 0*r - 4*r = k*a + 3. Does 13 divide o(r)?
True
Suppose -4*d - 5*j + 4 = -18, 2*d - 4*j = -2. Suppose -7*q = -4 + 4. Suppose o + d*p - 11 = q, -2*o - p - 1 = -18. Is 2 a factor of o?
True
Let a be 3 + (-6 - (-6)/2). Suppose -2*l + 18 + 144 = a. Is 17 a factor of l?
False
Is (-2)/((-10324)/30711 - (-1)/3) a multiple of 24?
False
Let x(i) = 19 - 3*i + 22 + 14. Is 19 a factor of x(-7)?
True
Let c = 542 + -123. Is c a multiple of 43?
False
Is 5 a factor of 1/((-6)/(-1000))*351/234?
True
Suppose 2*c + 0 + 8 = 0, -i + c = -185. Let p = i - 124. Does 19 divide p?
True
Let l = -884 - -1447. Does 10 divide l?
False
Let i(j) = 2*j - 36. Let v be i(16). Suppose -4*r - 6 = -42. Let l = r + v. Is l a multiple of 5?
True
Let o(j) = 84*j**2 + 40*j + 111. Is o(-3) a multiple of 21?
False
Does 18 divide 0 - (-1 + (-2005 - -8))?
True
Let k = -1292 + -2548. Is k/(-35) + (-2)/(-7) a multiple of 13?
False
Suppose 1984 = 4*z + 5*g + 356, z = -5*g + 422. Does 3 divide z?
True
Let p(a) = -4*a. Let w be p(-1). Suppose 2 = 2*h, 3*h - w*h + 5 = 2*u. Is (1/u)/((-1)/(-56)) a multiple of 9?
False
Let a = 973 - 273. Is 28 a factor of a?
True
Let a(g) = -g**2 + 16 - 4*g**2 - 56*g - 57*g + 2*g**3 + 110*g. Does 14 divide a(5)?
True
Let z(n) be the second derivative of -n**3/2 - 6*n. Let s be z(-3). Let y = 40 - s. Is 7 a factor of y?
False
Suppose 3*k + 19 = 2*z, -2*k = -z + 8 + 2. Suppose -5*a + 3*b = b - z, -5*b = -3*a + 1. Suppose a*m + 2 - 14 = 0. Is 4 a factor of m?
False
Suppose 5*m - 2*s - 18 = 0, 0 = -0*m - m - 3*s - 10. Suppose 2*i - 42 = m*l - 4*l, -2*l + 99 = 5*i. Does 11 divide i?
False
Let s = 362 - 254. Is 27 a factor of s?
True
Suppose -4*k + 6*k + 10 = 0. Let r be k/2*6/(-5). Suppose 18 = -g + r*g. Is g a multiple of 5?
False
Suppose 5*j - 4803 = -2*p, 0 = -67*j + 66*j + p + 962. Does 69 divide j?
False
Let g(d