
True
Let b(h) = 9*h**2 - 61*h + 14. Is 61 a factor of b(16)?
True
Let h(w) = 29*w**3 - 12 + w - 5 - 10*w**3 - 17*w**3 - 10*w**2. Is h(7) a multiple of 39?
False
Is 14 a factor of ((-6)/9 - 1/(-6))*-514?
False
Let z = 708 - 426. Suppose 4*w = w + z. Does 19 divide w?
False
Is 10 a factor of (1356 - (1 - 0)) + -5?
True
Let z(r) = -16*r + 11 + r**3 - r**3 + r**3 + 10*r**2 + 4*r**2. Is z(-15) even?
True
Let h = 17 - -534. Is 26 a factor of h?
False
Let v = 66 + -66. Suppose v*s = 7*s - 1519. Is s a multiple of 49?
False
Suppose 3*s = 5*b + 33, 4*b - 4*s = s - 16. Let w(a) be the first derivative of a**3/3 + 3*a**2 - 19*a - 103. Is w(b) a multiple of 8?
True
Suppose -5*l + 22 = -5*w + 167, 0 = 2*w + 2. Let v = -320 + 249. Let n = l - v. Is 20 a factor of n?
False
Let z = 120 + -64. Suppose 3*h = -2*m - 55, 3*m + 14 = -2*h - z. Is 2 - m - (3 + -1) a multiple of 11?
False
Let d = 27 + -2. Suppose 3*h - 24 - 7 = 2*s, 3*s = -2*h + d. Is 2 a factor of h?
False
Is 14 a factor of 223 - (64/(-72) + 2/(-18))?
True
Let x = -118 + 198. Is x a multiple of 9?
False
Suppose 3*g - 6819 = -4*b, 0*b + 4539 = 2*g + 5*b. Does 11 divide g?
True
Let q(n) = 3*n - 2. Let v(t) = 2*t - 2. Let p(c) = 5*q(c) - 4*v(c). Is 34 a factor of p(10)?
True
Is (-5462)/(-10) - (88/55)/8 a multiple of 39?
True
Is 5 + (6243/(-12)*-4 - 1) a multiple of 15?
True
Let c(o) = -139*o - 230. Does 49 divide c(-8)?
True
Suppose 0 = 66*h - 65*h + 6624. Does 12 divide (-2)/(-7) - (2 + h/42)?
True
Let f = -65 + 37. Does 6 divide 6/8 - 651/f?
True
Is 12 a factor of (-5)/4*(-288)/21*21?
True
Suppose -2 = -2*a + 10. Let l(k) = -a + 2*k**2 + 14*k + 8 - 7 - 5*k. Does 6 divide l(-7)?
True
Suppose 38 = -4*m - 2*u, -m - 2*u - 20 = 2*u. Let p = -68 - -40. Let y = m - p. Is y a multiple of 8?
False
Let q be 4/(-16) - (-17)/4. Let r(z) = 2*z**2 - 5*z + 3. Is r(q) a multiple of 15?
True
Suppose -2*t = 4*r - 2*r - 10, 4*t = -3*r + 17. Let y(n) = 5*n + 7*n**r - 6*n**3 + 7 + 3*n**2 + 0*n**3 - 9*n**2. Does 15 divide y(6)?
False
Let s(n) = -n + 7. Suppose -3*d - 2*d - 10 = 0, -4*g + 4*d = 8. Does 11 divide s(g)?
True
Let v(o) = o**2 - 5*o + 6. Let q be v(3). Suppose 0 = -2*t - 2*t + 3*p + 853, 4*t - 5*p - 843 = q. Is t a multiple of 32?
False
Let h(j) = -2*j**3 - 5*j**2 + 18*j - 1. Does 43 divide h(-8)?
True
Suppose -5*i + 434 = -3*o - 289, -2 = 2*o. Is i a multiple of 16?
True
Suppose -4*n - 2*k = 3*k - 10, 0 = -5*n + 3*k + 31. Suppose -3*q = l - n*q + 2, 2*l + 4*q = -28. Does 8 divide (l - 1)/((-3)/12)?
False
Is (-69156)/226*5/(-2) a multiple of 9?
True
Suppose -5*a + 2*a - 5*i = -2447, -4*a + 3257 = i. Is a a multiple of 74?
True
Let w(k) = -k. Let i(h) = -2 - 2*h - 6 + 12. Let d(y) = i(y) - 3*w(y). Is 5 a factor of d(11)?
True
Let b = 73 + 107. Does 25 divide b?
False
Suppose -3*k = -371 - 1390. Is 28 a factor of k?
False
Let z(t) = 19 + 0*t - t + 4*t**2 - 3*t**2. Let x(b) = -b**3 + 17*b**2 - 31*b + 15. Let v be x(15). Is 19 a factor of z(v)?
True
Let a be (-255)/34*(-2)/3. Let v(w) = 2*w**2 - 5 + 3 - 4 - 4*w. Is 24 a factor of v(a)?
True
Let f be ((-2)/5 + 27/30)*206. Let y = f + 11. Is y a multiple of 38?
True
Suppose -216 = -2*p + 3*v - v, -p + 123 = 4*v. Does 5 divide p?
False
Suppose 3*c - 730 = 4*v, 2*v + 728 = 3*c - 3*v. Is c a multiple of 68?
False
Let j = -165 - -324. Suppose 5*c + 36 = -j. Let x = -19 - c. Is 10 a factor of x?
True
Let h = 123 - 52. Does 21 divide h + 4 + 6*2/(-4)?
False
Let a(o) = -o**3 + 7*o**2 - 10*o - 23. Let i be a(6). Let s = -9 - i. Is 19 a factor of s?
True
Let t be -3*(16/(-3) + 4). Suppose 13*o = 14*o - t. Does 5 divide 0 + 25 + 1 - o?
False
Let u = 155 + -35. Is 2 a factor of u?
True
Suppose 10633 = 3*y + 11*a - 13*a, -4*y = -2*a - 14176. Is y a multiple of 17?
False
Let x be (-3 - (4 - 259)) + 0. Suppose x = -10*z + 14*z. Is 7 a factor of z?
True
Let c(k) = -4*k + 20. Let i be c(11). Let v = 41 + i. Does 17 divide v?
True
Let t be (-10)/((-21)/(-6) + -4). Suppose 3*y - t = -2*y. Suppose -y*a = -2*a - 10. Is 4 a factor of a?
False
Suppose -4*k + 16 = 0, 16*j - 20*j - 3*k + 860 = 0. Is 106 a factor of j?
True
Let i(j) = -j**3 - 13*j**2 - 16*j + 5. Let c be i(-8). Is c/(-1) + (-3)/((-3)/(-3)) a multiple of 46?
True
Let l(s) = 4*s**2 - 13*s + 31. Let r be l(7). Let m = r + -58. Does 21 divide m?
False
Suppose -14*a - 27616 = -46*a. Is a a multiple of 12?
False
Suppose -5*a + 723 = 2863. Let x = -1003 - a. Is 17 a factor of x/(-5)*(-6)/(-15)?
False
Let u(n) = 13*n + 3. Let i be u(1). Let d = -16 + i. Is (-6 - -13) + (-3 - d) even?
True
Suppose -2*u - 196 = -976. Is 16 a factor of (-52)/u - (-964)/30?
True
Let z(f) = 20*f**2 - 417*f - 11. Is z(21) a multiple of 7?
False
Let w = 3281 - 1763. Is w a multiple of 35?
False
Let z = -1270 - -1987. Is z a multiple of 40?
False
Let f = 169 - 73. Suppose -3*r + f = -0*r. Is 16 a factor of r?
True
Suppose -2*o + 6 + 0 = 0. Does 5 divide 1 - (o + -1 - 11)?
True
Suppose 3*f = -p + 2414, -8*p = -4*p - 5*f - 9673. Is p a multiple of 28?
False
Let q = -61 + 61. Let x = 9 + -4. Suppose x*b - 3*b - 56 = q. Does 14 divide b?
True
Does 32 divide 2*8935/7 - 210/245?
False
Let o(d) be the second derivative of -4*d**3/3 - 3*d**2 - d. Suppose j + 12 = 2*b - 7, 5*j + 4*b = -25. Is 33 a factor of o(j)?
True
Suppose 4913 = 10*l - 19327. Is l a multiple of 12?
True
Let o(d) = d**2 + 5*d - 10. Suppose 4*u - 4*r = -72, 0*u - 2*r - 24 = u. Let a = u - -11. Is o(a) a multiple of 7?
False
Suppose -2*b + b - z = -1, -4*b - 3*z = -9. Let w(x) be the third derivative of -x**6/120 + 2*x**5/15 - 5*x**4/24 + x**3/3 + 2*x**2. Does 22 divide w(b)?
True
Let k(b) be the first derivative of -b**3/3 - 17*b**2/2 + 18*b + 4. Is k(-11) a multiple of 25?
False
Suppose -170 = a - 476. Does 51 divide a?
True
Let z be (58 - 14)/(2/2). Is (-2)/(0 + (-2)/z) a multiple of 11?
True
Suppose 2*m = -5*u + 164, 4*u + 5*m = -58 + 179. Let q(w) = -w**2 + 4*w - 2. Let j be q(7). Let z = u + j. Does 7 divide z?
False
Suppose o = 2*m - 1, -2*m + 2*o + 9 = 7. Let x(u) = 8 + 1 + 10 - u**3. Is x(m) a multiple of 19?
True
Suppose 0 = i + t + 41, 7*i - t + 143 = 4*i. Let l = -11 - i. Is 35 a factor of l?
True
Suppose 44*l - 320 = 8920. Is l a multiple of 5?
True
Suppose 15*g - 7626 = -501. Is g a multiple of 13?
False
Let r(c) = c**3 + 10*c**2 + c + 10. Let i be r(-10). Let v(m) = m**2 - 4*m + 8. Let q be v(6). Suppose i*j - 2*j + q = 3*n, -2 = -n - 3*j. Does 4 divide n?
True
Let u = -1 - -5. Suppose 5*q - q + 2*o - 220 = 0, -5*q - u*o + 278 = 0. Suppose q - 18 = 2*x + 4*h, 4*x - 5*h = 7. Is 4 a factor of x?
True
Let r(o) = 4*o**2 - 2*o - 26. Is 21 a factor of r(8)?
False
Let t(a) = a**2 + 10*a + 3. Let h be t(-10). Suppose 2*w = 2*u - h*u + 90, -2*u = -8. Does 13 divide w?
False
Suppose -7*s - 139 = -8*s - c, c + 281 = 2*s. Let t = s - 64. Is 17 a factor of t?
False
Suppose -47*x = -53*x + 78. Is x a multiple of 9?
False
Let j = -17 - -21. Suppose 5*x + 18 = -5*i - 7, -3*x + j*i + 20 = 0. Suppose x = 3*u - u - 40. Does 4 divide u?
True
Let m = 1020 + -606. Is 18 a factor of m?
True
Let l = -8 - 0. Let b be l/8*194/(-2). Suppose -3*y + b + 62 = 3*r, r - 2*y = 41. Does 19 divide r?
False
Let r(o) = o**3 - 6*o**2 - 8*o + 1. Let z be r(7). Let j be 20/z*15/(-10). Is (19/2)/(j/10) a multiple of 7?
False
Let h = 4119 - 2589. Is 17 a factor of h?
True
Let v(h) = h**3 - 6*h**2 + 12*h - 13. Let n be v(4). Suppose -124 = -n*k + 200. Is 18 a factor of k?
True
Suppose 0 = -2*t + 6*t - 40. Is 4 a factor of t/(-1 - 0)*(-154)/55?
True
Let m(v) = 15*v**2 - v + 2. Suppose 5*t + 8 = 4*a, -5*t - 19 - 1 = 0. Let w(y) = -y - 1. Let p be w(a). Is m(p) a multiple of 20?
True
Let k(a) = -6*a - 12. Let i(n) = -6*n - 11. Let q(o) = 6*i(o) - 5*k(o). Let w(s) = -3*s**2 - 2*s + 2. Let m be w(1). Is q(m) a multiple of 2?
True
Suppose -5*i = -4*i - 4*s + 18, -2*s = 3*i - 16. Suppose -2*a - 17 = 4*w + a, -i*w - 3*a - 13 = 0. Does 2 divide w + (-4 + 22)/2?
False
Suppose 25 + 0 = -5*n. Let c be ((-159)/(-6))/(n/(-10)). Let x = c + -4. Does 15 divide x?
False
Suppose 221 = 2*z + 5*t, -t = 2*z - 152 - 65. Is z a multiple of 27?
True
Suppose v = -i + 2468, -v - 5*i = -8*i - 2476. Is 10 a factor of v?
True
Let q(j) = -11*j + 2. Let d be q(-2). Let m = 13 + d. Does 15 divide m?
False
Is 1500/60*2412/15 a multiple of 11?
False
Le