h(r)?
True
Suppose -6*a + 9*a = 33. Suppose -15*q = -a*q - 40. Is q a multiple of 5?
True
Let w be (4/(-4))/((-2)/54). Let i be 6/w - (-4)/(-18). Suppose q - 3*q + 12 = i. Is q a multiple of 3?
True
Suppose 3*u - 16 = -10. Let f = u + -2. Suppose 0 = 5*d + 4*b - 462, -2*b = -f*b - 6. Does 18 divide d?
True
Let n be 3 + 1 - (257 + (10 - 4)). Let v = -91 - n. Is v a multiple of 24?
True
Let w(n) = -n**3 + 2*n**2 + 2*n. Let q be w(2). Suppose j = 4*o - 50, q*o + 322 = 4*j - 9*j. Let a = -26 - j. Does 12 divide a?
True
Let f be (-3)/3*(-1 + 3). Let b(d) = -10*d**3 - d**2 + 4*d + 7. Does 17 divide b(f)?
False
Let i = 505 - 443. Does 2 divide i?
True
Suppose 0 = 7*u - u. Suppose -j - 3*q + 168 = j, -3*j - 3*q + 258 = u. Is j a multiple of 20?
False
Suppose -4*t + 3*h - 4 = -h, -3*h = -9. Let z(l) = 9*l**3 + 0*l**2 - 2 - l**2 + 2*l - 4*l**3 + 2*l**2. Is z(t) a multiple of 17?
False
Suppose -130 = -2*n - f, -4*n + f + 268 = 5*f. Let d = n + -58. Is d a multiple of 5?
True
Let a = 9 - 5. Let j = 0 + 3. Suppose -j*c + 25 = 2*d - 0*c, a = 4*c. Is 7 a factor of d?
False
Suppose -7*u = -1390 + 102. Is u a multiple of 23?
True
Suppose 0 = -8*q + 3*q + 15. Suppose 3*x - 87 = -3*r, -3*r + q*x = -8*r + 135. Is r a multiple of 4?
True
Suppose 4*r = 5*j + 31, -7*j - 4 = -3*j + 2*r. Let f(i) = -6*i**2 + 5*i + 1. Let s(p) = 30*p**2 - 24*p - 6. Let x(k) = 14*f(k) + 3*s(k). Is 14 a factor of x(j)?
True
Suppose -4*c + r + 1013 = 122, 5*r - 873 = -4*c. Is 10/35 + c/7 a multiple of 18?
False
Let j be 1*(3 - 5) - 5. Let a(l) = -6*l + 12. Is a(j) a multiple of 14?
False
Let g be -67*(1/1)/(5 - 6). Let a = g + -34. Does 20 divide a?
False
Does 39 divide (966/12 + -3)*4?
False
Suppose 40*j = 45*j - 7440. Is 62 a factor of j?
True
Suppose 3484 = 9*c + 58*c. Is 24 a factor of c?
False
Let v = 2935 - 1519. Does 16 divide v?
False
Let p(n) = 859*n**2 - 10*n - 9. Does 22 divide p(-1)?
False
Let x = -289 + 377. Is 22 a factor of x?
True
Suppose -2*b = -19 - 51. Let i = 48 - b. Does 3 divide i?
False
Suppose 0 = 2*b - 1107 + 365. Suppose 3*t - w = 368, -b = -3*t - w - w. Is t a multiple of 12?
False
Let b = -1416 - -2256. Is b a multiple of 28?
True
Let a = -1228 + 2403. Does 25 divide a?
True
Let p be (1*-2)/((-4)/442). Suppose 3*m = 22*m - 2451. Let g = p - m. Is g a multiple of 23?
True
Let h be ((-2)/(-6))/((-22)/(-132)). Suppose -h*u = -5*u + 72. Does 8 divide u?
True
Let r = 8 - 10. Does 10 divide (0/r)/(-1) - -20?
True
Suppose -3*f + 7 + 293 = 0. Let n = f - 19. Is 27 a factor of n?
True
Let d be (-10)/((9/3)/(-12)). Let t be (d/(-12))/((-2)/(-3)). Is 10/(-50) - 271/t a multiple of 9?
True
Suppose 2*d + 71 = 9. Does 7 divide d/((-1)/(-2)*-2)?
False
Suppose -2*t + 2*l - 3*l + 376 = 0, t - 3*l = 181. Is 19 a factor of t?
False
Let g(b) = -5*b**3 - b. Is g(-5) a multiple of 7?
True
Let m = 3525 + -1770. Is m a multiple of 45?
True
Let a = -940 - -2007. Is a a multiple of 11?
True
Let b(s) be the second derivative of -s**4/12 + 4*s**3/3 + 4*s**2 + 6*s. Is b(8) even?
True
Suppose -2*z = -5*v - 0*z - 5, -5*z + 25 = 0. Let l(x) be the third derivative of 7*x**6/40 + x**5/60 - x**4/24 + x**3/6 + 6*x**2. Does 7 divide l(v)?
False
Suppose 0 = 35*i - 5265 - 10415. Is i a multiple of 13?
False
Let q(h) = 2*h**3 - 66*h**2 + 2*h + 87. Does 17 divide q(33)?
True
Let m be -2 - ((-10)/(-5) + -9). Is (-6)/(-2) - m*-4 a multiple of 6?
False
Suppose 5*c - c + 5*a + 20 = 0, 20 = 4*c - 5*a. Suppose 10*n - 89 - 101 = c. Is 19 a factor of n?
True
Suppose 0 = -n - o - 3*o + 15, 4*n = 2*o + 42. Let q be (-2)/n + (-489)/33. Is 12 a factor of ((-18)/2)/(q/20)?
True
Let b(w) = -w**2 - 2*w - 1. Let f be b(6). Let n = 88 + f. Is n a multiple of 39?
True
Let u be (-4)/(-14) + 825/(-21). Let g = u - -53. Is g a multiple of 2?
True
Suppose -h = 4*h - 10. Suppose 2*v - 8 = -h. Is 20 a factor of (-36)/(-2) - (1 - v)?
True
Let f be ((-6)/8)/(3/(-96)). Suppose y = 4*y - 102. Let m = y - f. Is m a multiple of 10?
True
Let d(s) = -7*s - 13. Suppose 36 = -n - n. Let g be d(n). Suppose -3*z - g = -5*v, -2*z + 120 = 4*v + 3*z. Is v a multiple of 24?
False
Suppose -19*r + 18468 = -r. Does 9 divide r?
True
Let r(j) = 2*j + 15. Let z be r(-6). Let p = -47 + 76. Suppose -p = -2*o + z. Is 9 a factor of o?
False
Let p = -205 - -234. Is p a multiple of 7?
False
Let w(q) = -q**3 - 8*q**2 + 7*q - 3. Let g be w(-10). Suppose p - g = -24. Does 9 divide p?
False
Suppose 2*k - 6*k + 820 = 0. Suppose 11*y - k = -7. Is 18 a factor of y?
True
Suppose -174 = -4*o + 110. Let d = -35 + o. Suppose d = 5*m + 1. Is 4 a factor of m?
False
Let x(u) = -17*u - 42. Let f(h) = 17*h + 41. Let d(i) = -6*f(i) - 5*x(i). Is 5 a factor of d(-8)?
True
Let d(p) = 15*p**2 - 3*p + 8. Is 15 a factor of d(4)?
False
Suppose -21 = 2*h - 65. Suppose -i - 5 = -h. Does 3 divide i?
False
Let m(n) = 14*n**3 + 4*n**2 - 19*n + 85. Is 10 a factor of m(5)?
True
Suppose 2*x + 0*f = 2*f + 346, -5*f - 529 = -3*x. Is x a multiple of 6?
True
Let a = -5765 - -11537. Is 87 a factor of a?
False
Suppose 6 = 3*r, r = -g - 2*g + 23. Suppose -g*f + 2*f + 20 = 0. Suppose -q + 28 = -f*o, -q + 3*o + 0*o = -25. Does 8 divide q?
True
Suppose -4*g - 28 = 5*c + 4, 0 = -c - 4. Is (27/(-18))/(g/(-4))*-73 a multiple of 20?
False
Let z = -710 + 1200. Is z a multiple of 10?
True
Suppose -2*d + g = 3*d - 6, -d + 10 = 2*g. Let k be (d + 0)*168/(-16). Let v = k + 72. Is 19 a factor of v?
False
Let a(q) = -q**3 - 9*q + 3*q + 4*q**2 + q - 1 - 9*q**2. Is a(-7) a multiple of 22?
True
Suppose -3*g - 15 = -45. Suppose -2062 = -g*s - 112. Is s a multiple of 39?
True
Let h(o) = 2*o**2 + 32*o - 374. Is 38 a factor of h(32)?
True
Let s(u) = 3*u**3 - 31*u**2 + 30*u - 8. Does 16 divide s(12)?
True
Let a = 36 - 34. Suppose 4*z - z = 3*t - 186, z = -a. Does 15 divide t?
True
Suppose n - 5*a = 4*n + 127, n = -4*a - 54. Let o = 18 + n. Let l = o + 44. Does 14 divide l?
True
Let i(a) = 7 - 12 + 21*a - 7 - 6*a. Is 16 a factor of i(4)?
True
Let y(b) = -b**3 + 10*b**2 + 15*b + 28. Let t be y(12). Let z = 83 + t. Does 3 divide z?
True
Suppose -j = j - 32. Let u = -28 + j. Does 15 divide (-898)/u + 2/12?
True
Let i be 6 - (-2 + -2 + 3). Suppose i = -2*c + 11, 240 = 4*w - 2*c. Is w a multiple of 40?
False
Suppose 21*l - 17*l - 20 = 0. Suppose -j + 3*h - 18 - 8 = 0, -54 = l*j + 4*h. Let v = j - -31. Is 17 a factor of v?
True
Suppose 0 = -p + 6*p - 15. Suppose 0 = -2*s + 4*j - 0 + 16, -5*j + 2 = p*s. Suppose -s*z = -96 - 64. Is 20 a factor of z?
True
Suppose -9*a = -3*a - 3864. Does 14 divide a?
True
Let z = -174 - -555. Suppose 3*u + 2*u = 25. Suppose -2*x + 41 = -5*a - 130, 3*a = -u*x + z. Is 24 a factor of x?
False
Let k(x) = x**2 - 4*x + 9. Let g be k(7). Suppose -5*f + g = -15. Suppose 5*h - 110 = 2*r, 4*h + f = 2*r + 95. Is h a multiple of 16?
False
Let r = -17 + 16. Let m = r - -19. Does 17 divide m?
False
Suppose -5*b - 6 = 5*r + 9, -b = -r - 7. Suppose 4*w - 155 = 2*u + 63, b*u - 259 = -5*w. Is 18 a factor of w?
False
Suppose 21 = 4*m - i, 3*i = -m + 1 + 14. Let z(a) = a**2 - 5*a - 8. Let d be z(m). Is d + 0 + 3 + 12 a multiple of 4?
False
Let p be 1/(-2)*(-2 - -2). Suppose 2*m - v - 175 = p, 9*m - 4*m + 3*v - 465 = 0. Is m a multiple of 13?
False
Is 35 a factor of (-56)/364 - 64161/(-39)?
True
Let k(d) = d - 4. Let j be k(4). Let o = 3 - j. Suppose -o*x + 56 + 52 = 3*r, 4*x - 72 = -2*r. Is 9 a factor of r?
True
Let w(d) = -d - 11. Let t(q) = 3*q + 23. Let y(m) = 2*t(m) + 5*w(m). Does 8 divide y(17)?
True
Suppose 4*r = -3*w + 1542, 2*r - 667 = -2*w + 359. Does 17 divide w?
True
Let o = -8 - -13. Suppose -o*s - 2*t = -23, 3*t - 4 = -s + 2*t. Suppose 4*u - 49 = 5*b, -4*b + 29 = 4*u - s*b. Is u even?
True
Let i(y) = 3*y. Let z be i(1). Suppose 0 = -l - 2*b + 3*b, -2*b = -4*l + 6. Suppose -w + 3*a = -27, -z*a - 66 = -l*w + a. Is 6 a factor of w?
True
Suppose -2*g = -7*g - 505. Let q be -1 + (-1190)/(-6) + 20/(-60). Let i = q + g. Is i a multiple of 13?
False
Let r(n) = n + 6. Let o be (10/(-15))/((-2)/9). Suppose -o*c = -27 + 9. Does 12 divide r(c)?
True
Suppose 4*c - 6 = 6, -5*c = -4*f + 45. Suppose -f*m - 120 = -18*m. Is m a multiple of 23?
False
Let k = -30 - -30. Suppose -5*b + 25 = -k*b. Is b a multiple of 5?
True
Suppose 2*z + 4 = z, -2*z - 12 = -2*w. Let a(i) = -18*i**3 + 6*i + 24*i**3 - 7*i**3 + 11