h) = 40*h - 2. Let u be f(-1). Let k be (u/35)/(4/(-10)). Let v(o) = 4*o - 1. Is v(k) a multiple of 5?
False
Suppose 5*a + 18 = 3, -4*m = 4*a - 612. Is 6 a factor of m?
True
Suppose -4*n + 4*z - 26 = -270, 4*z = 20. Let a = n - 7. Is a a multiple of 5?
False
Suppose 2*a - 11 = -5. Let i(s) = s. Let m be i(4). Suppose m*r = a*r + 60. Is 30 a factor of r?
True
Suppose -3*t + 7932 = 2*y + 3030, -5*t + 8166 = 2*y. Does 51 divide t?
True
Let w(u) = -u**2 + 15*u + 19. Let l be w(16). Suppose -6*x = -l*a - 11*x + 298, x - 5 = 0. Does 13 divide a?
True
Let p(a) = 5*a**2 + 4*a + 16. Let n = 68 + -64. Does 14 divide p(n)?
True
Suppose -4*r + 655 = -z, -3*r - 4*z + 824 = 2*r. Suppose 5*s - 252 = 5*p - 712, -3*s = 2*p - r. Is 11 a factor of p?
True
Let f(z) = z**3 - 11*z**2 + 13*z - 2. Suppose 5*d = 3*d + 150. Let p be ((-2)/3)/((-5)/d). Is f(p) a multiple of 14?
True
Let g(b) = -b - 4. Let p be g(0). Let h be 18/(-14) - p/14. Does 4 divide 2 + h + (10 - -3)?
False
Suppose 15*d - 31*d + 25440 = 0. Is 77 a factor of d?
False
Suppose 50*q = 45*q + 2*t + 3759, -3015 = -4*q - t. Does 3 divide q?
True
Let s(t) = -12*t**2 - t**2 + 13*t - t**3 + 0*t**3 + 16. Is s(-14) a multiple of 6?
True
Suppose -2590 = 13*o - 20*o. Is 12 a factor of o?
False
Is 5 a factor of 4/(-10) + 3531*2/30?
True
Suppose 0 = 2*y - 6 - 16. Suppose 3*o + y = -2*o - 4*i, -7 = o + 2*i. Is -3*(o - 2)*12 a multiple of 12?
True
Suppose p + 3*p - 316 = -r, -92 = -p + 3*r. Is 16 a factor of p?
True
Suppose -1 = 2*f - 9. Does 7 divide -3*(f/6 - 3)?
True
Let t be (6/3)/(7/266). Suppose 0 = -5*m + 4*y + 116, -y + t = -m + 5*m. Is m a multiple of 7?
False
Let c = 179 - 168. Let x(w) = -4*w + 12*w**2 - 8*w**3 + 2*w + 7*w**3 - 9. Is 30 a factor of x(c)?
True
Suppose a + 150 = 7*a. Let z = 28 - a. Suppose -6*f + z*f = -69. Is f a multiple of 4?
False
Suppose 5*z + 23 = 2*h, 3*z - 59 = -5*h + 76. Suppose h = 8*j - 6*j. Is j even?
True
Let g = 1564 + -396. Is 4 a factor of g?
True
Suppose 4*f = 3 - 7. Let w be -2 - 2/f - -44. Let v = w + -20. Is 14 a factor of v?
False
Let q(u) = 3*u**2. Let c be q(-1). Let i be (-3)/6*(-3 - c). Suppose 4*r - i*r = 46. Is 23 a factor of r?
True
Let m(b) = -118*b - 213. Is 67 a factor of m(-16)?
True
Let v(b) = -5*b + 1. Let q be v(-2). Let y = 16 - q. Suppose u = 4*d - u - 138, -4*d + 159 = y*u. Is 18 a factor of d?
True
Let u = -770 - -824. Is 9 a factor of u?
True
Suppose 0 = 5*z + 3*w - 1627, 4*z + 4*w = 2*w + 1300. Does 17 divide z?
True
Suppose -4*d - 28 + 72 = 0. Let m = 79 + d. Suppose -12*f + 14*f = m. Does 9 divide f?
True
Suppose -16*l + 13*l - 2600 = -j, -3*l + 9 = 0. Does 7 divide j?
False
Suppose -4*o - j = 3*j - 792, 4*j = -o + 207. Let k = o + -127. Is k a multiple of 9?
False
Let h be 38/(-9) + 2/9. Does 6 divide (2 - 1 - h)*6?
True
Let p be 914*3/6 + 3. Let i = p + -239. Does 32 divide i?
False
Let m be (-3)/(-9) - 136/12. Let z = m - -35. Is 6 a factor of z?
True
Does 63 divide (10 - 164/16) + (-3145)/(-4)?
False
Let h = 66 - 37. Let i = 32 - h. Suppose -6*f + 90 = -i*f. Is 15 a factor of f?
True
Let c = 867 + -430. Does 11 divide c?
False
Suppose 7*g = -1817 + 18260. Does 81 divide g?
True
Suppose 109 = z - 74. Is z a multiple of 12?
False
Let k = 14 - 20. Is 42 a factor of 3 - ((-16)/k)/((-12)/234)?
False
Suppose m = -4*u + 7 + 4, 15 = 3*u. Let w be (-504)/m + (-1 - 3). Suppose -i + 2 = -2*n - 15, 0 = 2*i + 5*n - w. Is 9 a factor of i?
False
Suppose 0 = -5*m - 15, 8 = 2*b - m - 19. Let t = -14 + b. Let h = t - -13. Does 4 divide h?
False
Suppose -14*y + 1430 = -4*y. Is y a multiple of 9?
False
Let l(d) = -d**2 - 13*d + 1. Let w = -24 - -36. Suppose -4*o - 20 = w. Does 12 divide l(o)?
False
Suppose -1176 = -3*w + 2*v + 53, w = -v + 403. Does 11 divide w?
True
Let h(y) = 14*y + 5. Let q(x) = 2*x**2 + 10*x. Let d be q(-6). Suppose 0 = -3*n + f + d, f + 3 = 2*f. Does 15 divide h(n)?
True
Let j be (-1 + -2)/(3/(-4)). Suppose o = -2*p - 4, 0 = j*o - 5*p - 10 - 0. Suppose -3*n - 5*g + 10 = o, -2*g = -4*n - n + 27. Does 3 divide n?
False
Suppose 4*n - 611 = v, -2*n - 3*v + 309 = -0*n. Does 20 divide n?
False
Let j(z) = -z**3 + 19*z**2 + 21*z - 8. Let x be j(20). Suppose -3*p - 3 = s, x = -4*p - 0. Is 3 a factor of s?
True
Is 46 a factor of -72*65/6*50/(-125)?
False
Let o be 3 - 1 - -1 - 1. Suppose -w - o*q = 0, -3*w + 0*q + q = -21. Is w a multiple of 6?
True
Let b(n) = n + 18. Let x be b(-16). Suppose 0 = 4*u + 4*a - 12, -x*a - 1 = u - 2. Is 5 a factor of u?
True
Does 47 divide (35232/(-10))/(-3) - (-12)/20?
True
Is 2 a factor of (-15)/(-21) - 25938/(-231)?
False
Let u = 14 - 20. Let t(p) = -6*p - 6. Let j be t(u). Let b = j + -21. Is b a multiple of 3?
True
Let g be (-2)/6 - (-1140)/(-36). Let d = -21 - g. Suppose -d*f = -14*f + 51. Is 17 a factor of f?
True
Let t be (-3)/(-9)*(-438)/(-1). Suppose -44 = -2*v + t. Is v a multiple of 19?
True
Let w be 6/(-4)*(-8)/3. Suppose 84 = 2*o - w. Is 44 a factor of o?
True
Let w = 8 + -11. Is 23 a factor of (0 - (561/9 - -2))*w?
False
Let b = 2482 + -877. Is 48 a factor of b?
False
Suppose 6*m - 7 = 5*m. Suppose j = -m + 47. Is 10 a factor of j?
True
Suppose 0 = -8*t - 153 - 575. Let f = 183 + t. Does 8 divide f?
False
Suppose -4*h = p + 1 - 3, 3*h - 4 = -2*p. Let i(j) = -j**3 - j**2 + j + 10. Is i(h) a multiple of 5?
True
Let f = -1138 + 1858. Is f a multiple of 30?
True
Suppose 0*x - 5*x = -3*r + 75, 15 = -x + 5*r. Let i be (x - -3) + 3 + 0. Is 13 a factor of ((-208)/(-6))/((-6)/i)?
True
Suppose -32*j + 21*j = -308. Does 14 divide j?
True
Let d = -1118 - -1910. Does 99 divide d?
True
Let d(g) = -g**3 + 5*g**2 + 7*g - 3. Let p be d(6). Does 11 divide ((-10)/(-3) + 4)*p?
True
Suppose 5*k - 2*s - 1354 = 0, 1111 = 5*k - 3*s - 240. Suppose 4*x = -2*u + k, 187 + 139 = 5*x - u. Is x a multiple of 11?
True
Let z = 782 + -427. Does 5 divide z?
True
Does 6 divide (8/10)/((-48)/(-26520))?
False
Let g = -34 + 36. Suppose 4*v - 8 = g*h - 84, 0 = -2*h - 5*v + 49. Is h a multiple of 32?
True
Let c be (-5)/(5/(-12))*(-2)/(-4). Let o(b) = 16*b - 15. Is 9 a factor of o(c)?
True
Suppose 7*t - 29*t + 2530 = 0. Let p = 55 + -137. Let f = t + p. Is 10 a factor of f?
False
Suppose -3*p = 6*p - 45. Suppose 400 = p*k - 335. Is k a multiple of 10?
False
Let b(v) = 5*v**2 - 23*v + 31. Is b(9) a multiple of 22?
False
Is (-1)/((-48)/(-12) - (-362)/(-90)) a multiple of 5?
True
Is 14 a factor of (-23)/(-92) - (-11846)/8?
False
Let w(i) = -5*i - 5. Let c be w(-2). Suppose y + 3*k = 122, -c*y + 6*y = 4*k + 122. Is y a multiple of 11?
False
Suppose 0 = 5*r + n - 113, r + 3*n = 2*r - 29. Suppose -x + r = 7. Does 5 divide x?
False
Let y = 167 - 49. Is 13 a factor of y?
False
Let a(v) = -4*v**2 + 11*v - 23. Let j(q) = q**2 - 1. Let s(d) = a(d) + 5*j(d). Is s(-15) a multiple of 4?
True
Suppose -11124 - 11596 = -8*c. Does 40 divide c?
True
Let w = -17 + 18. Is 9 a factor of 90/(-50)*w*-5?
True
Let n(q) = -10*q**3 + 2*q**2 - 4*q. Does 15 divide n(-3)?
True
Let b(m) = -5*m - 4. Suppose -3*y + 4 + 2 = -4*f, 3*y + f + 9 = 0. Let d be b(y). Suppose d - 114 = -4*o. Is 12 a factor of o?
False
Let a = -8 - -13. Suppose 5*o - a = -3*m, 3*m = -o - o - 7. Let d(k) = -2*k + 3. Does 4 divide d(m)?
False
Suppose 6*r = 10*r - 28. Let l = 8 - 5. Suppose r*b - 164 = l*b. Does 16 divide b?
False
Is 47 a factor of 854/(2 + 12) + 3*-2?
False
Let d = 76 + 14. Let n = d - -154. Is n a multiple of 61?
True
Suppose -4*l = y - 99, l + 17 = 2*y - 145. Is 16 a factor of y?
False
Let p(a) = -2*a + 4. Let o = -14 - -14. Let b be p(o). Suppose -64 + 8 = -b*d. Is 6 a factor of d?
False
Let f be -8*((8 - 1) + -1 + 1). Let d = -14 - f. Does 42 divide d?
True
Let c(p) = -p**3 + 7*p**2 + 11*p - 2. Let g be c(8). Suppose 27 = 5*k - y - 31, -k - 5*y + g = 0. Is 2 a factor of k?
True
Let r(j) = 36 + j**2 + 38 - 8. Let m = 1 - 1. Is 21 a factor of r(m)?
False
Suppose 5*x + 460 = -5*y, 3*y = 2*x - 167 - 119. Let g = y + 141. Is 10 a factor of g?
False
Suppose 3 = -q + 5. Let z(b) = -b - 6. Let u be z(-9). Suppose -3*g + 26 = -w, u*g - 11 = -0*g - q*w. Does 7 divide g?
True
Suppose -1419 = -6*l - 339. Is 4 a factor of l?
True
Suppose -2*f - 15 = 285. Let m = -9 - 218. Let x = f - m. Is x a multiple of 18?
False
Let f = 5458 + -1923. Is 25 a factor of f?
False
Let i(w) = w**3 - 14*w**2 - w + 2