e of 19?
True
Let y = -222 - -215. Let a(j) = 3*j + 13. Let h(k) = -4*k - 14. Let b(u) = 7*a(u) + 6*h(u). Does 7 divide b(y)?
True
Suppose -3*d + 13*d = 5240. Does 16 divide d?
False
Suppose 496 = 55*w - 54*w. Is w a multiple of 71?
False
Let z be ((-4)/1)/(-1 - 3). Let a be 5 + -4 + z + -3. Is 5/1 - (1 - a) even?
False
Suppose -4*x = -2*z - 19 + 63, z = x + 20. Let p(n) = 4*n - 31. Does 4 divide p(z)?
False
Let m be -2 + 141 + (-1 - -4). Let w be -4*23 - (1 + 3). Let o = m + w. Is o a multiple of 17?
False
Let s(h) = -448*h**3 - 4*h**2 - 7*h - 1. Does 30 divide s(-1)?
True
Suppose 13*m - 1730 = 8*m. Is m a multiple of 11?
False
Let y(p) = 48*p**2 + 2*p + 4. Let h be y(6). Does 24 divide h/72 + 2/(-9)?
True
Suppose -3*o + r = 2*o - 2650, 0 = -2*o - 5*r + 1060. Is 10 a factor of o?
True
Let k(n) = n**2 + n - 1. Let b be (-15)/(-6)*48/20. Let m(r) = 2*r**2 + r - 9. Let j(u) = b*k(u) - m(u). Is 17 a factor of j(-4)?
False
Let v(m) = -m**2 - 7*m - 4. Suppose -2*l - 4*b = 26, -2*l - 20 = b - 0*b. Let w = 4 + l. Is v(w) a multiple of 2?
True
Let u(c) = c**3 - 8*c**2 - 3*c - 3. Let n be u(9). Is (-2)/(-2) + n/1 a multiple of 26?
True
Let p(m) be the third derivative of 5/8*m**4 - 4*m**2 + 0 - 1/60*m**5 - m**3 + 0*m. Does 27 divide p(10)?
False
Let n(j) = -j**2 - 5*j - 9. Let q(m) = 2*m + 5. Let t(z) = -2*n(z) - 5*q(z). Is 2 a factor of t(3)?
False
Let n = -3416 - -5012. Is 19 a factor of n?
True
Suppose -5564 - 9276 = -4*h. Is 78 a factor of h?
False
Let s = -6 - -11. Suppose 5*k = -10, -3*k = 7*g - 6*g - 8. Let z = g + s. Does 19 divide z?
True
Let u(n) = -9*n**3 + n**2 - 3*n - 3. Let h be u(-2). Let k = 173 - h. Suppose -2*b + k - 34 = 0. Does 15 divide b?
True
Suppose 0 = -4*j - 3 + 19. Does 9 divide (18/8)/(j/96)?
True
Let r(c) = -7*c**3 + 12*c**2 + 6*c + 45. Does 9 divide r(-6)?
True
Is 16 a factor of (11*1)/((-3)/(-123))?
False
Suppose 4*x + 160 = 2*r, r = 3*x - 5*x + 92. Suppose -7*u + 5*u = -r. Is (-3 + u)/2 + 0 a multiple of 5?
True
Suppose 2 = -y + 11. Does 8 divide (-1190)/(-30) + 3/(y + 0)?
True
Suppose 17 - 14 = 3*c. Is 31 a factor of (-321)/(-7 + 3 + c)?
False
Suppose 5*i + 0*i = 330. Suppose -2*j = -5*j + i. Suppose -2*p + 0*p + j = 2*v, 4*p + 20 = 0. Is v a multiple of 9?
False
Suppose i = 2 + 1, 5*r + i = 28. Suppose -5*l = 0, r = 5*w + l + 55. Let k(t) = t**2 + 8*t + 6. Is k(w) a multiple of 15?
False
Suppose 4*v - 3624 = 3836. Suppose -14*b + 1957 = -v. Is b a multiple of 27?
False
Suppose -q = 1, -31 = -s + 5*q + 4. Let o = 34 - s. Does 21 divide o/(-1) - (-938)/14?
True
Let c = 59 - 47. Does 15 divide (20/c)/((0 + -2)/(-186))?
False
Does 46 divide (-1184)/111*585/(-6)?
False
Suppose 0 = -60*s + 47*s + 13182. Is 75 a factor of s?
False
Let k be (-3 - (-10)/4)*0. Suppose y + y - 62 = k. Suppose -5*u - 4*t = -56, -5*u + 4*t + y = 7. Is u a multiple of 6?
False
Suppose 28*g - 71708 = -24444. Does 24 divide g?
False
Let a(l) = 78*l - 28. Is 4 a factor of a(4)?
True
Let y be (-3)/(-2) - 9/6. Suppose 0*g + 4*g = -l + 290, y = g + 2*l - 69. Does 14 divide g?
False
Let z = 32 - 30. Suppose 0 = -5*n - 15, -z*o + 183 = -n + 2*n. Is o a multiple of 37?
False
Let n be ((-125)/5)/(-5) - 1. Suppose -5 = -l + 5*t, -5*l + t - 3 + n = 0. Suppose -5*d + 5*h + 25 = l, -1 = d - 5*h + 6. Is d a multiple of 4?
True
Suppose -5*v + 360 = 4*v. Let m = -30 + v. Is m a multiple of 4?
False
Let c = 22 - 20. Let b be (-5)/c*(-8)/10. Suppose -b*f - 6 = -3*f. Is f a multiple of 3?
True
Let j(q) = -q**3 - 15*q**2 + 4. Let x be j(-15). Is 128 - (-2 + x)*1 a multiple of 21?
True
Let m be 3/((-16)/(-15) + -1). Let h(n) = 6*n**3 + 4*n**2 - 5*n + 1. Let p be h(2). Suppose -p = -4*l + m. Does 7 divide l?
False
Suppose -x + 5 = 6*c - c, -84 = -4*x - 4*c. Does 10 divide x?
False
Let h(x) = -x**3 - 31*x**2 - 33*x - 1. Suppose -3 = 2*s - 5, b - 3*s = -33. Does 28 divide h(b)?
False
Let f be ((-32)/24)/((-2)/6). Suppose -f*j = -j. Let y(r) = r + 22. Does 11 divide y(j)?
True
Let c = -971 + 1460. Is c a multiple of 19?
False
Let k = -456 + 1236. Is 52 a factor of k?
True
Let p = -31 - -35. Let k(w) be the third derivative of w**6/120 - w**5/20 + w**4/6 - 2*w**3/3 - w**2. Is 14 a factor of k(p)?
True
Let j = -25 - -35. Let u be 4/j - 8/20. Suppose u = 5*q - 3*f + f - 93, f = 2*q - 38. Is q a multiple of 17?
True
Suppose -k = -5*f - 94, 5*f - 50 = -3*k + 192. Does 21 divide k?
True
Let m = 1852 - 1377. Is m a multiple of 25?
True
Let n(f) = -9*f. Let m(h) = -3*h - 1. Let x be m(1). Is n(x) a multiple of 9?
True
Suppose -4*x = 2*i - 3608, -2*x - 5*i + 3*i = -1800. Is x a multiple of 22?
False
Suppose -5*m - 80 = -3*m. Let p be m/(-30)*6/1. Let j = p - 1. Is j a multiple of 7?
True
Let k be 1 + 2 + 3/3. Suppose -2*h - 3*h + 43 = 3*w, -5*w = k*h - 24. Is h a multiple of 11?
True
Let x be -1*(-211)/(-1) - (-12)/3. Let v = x + 363. Is v a multiple of 38?
False
Suppose -6*x = -a - x - 5, -x = 3*a - 17. Let q(p) = 13*p - 1. Is 16 a factor of q(a)?
True
Is 55 a factor of (-34092)/(-63) - 1/7?
False
Let r = -20 + 25. Suppose 0 = -r*m + 115 - 10. Is m a multiple of 7?
True
Let r = -14 + 59. Suppose -v + 0*v - 25 = 0. Let x = r + v. Is 6 a factor of x?
False
Let l = 15 - 9. Suppose -o + l + 46 = 0. Suppose -5*i + o = 12. Does 4 divide i?
True
Suppose -f = 5*q - 1286, -2303 = -2*f - 4*q + 257. Does 58 divide f?
True
Let d(r) = r**2 + r - 20. Let i be d(0). Let l = i + 25. Does 4 divide l?
False
Let o = 14 + 2. Let y be 1800/17 - o/(-136). Suppose y = 5*t + 6. Is t a multiple of 10?
True
Let y(v) = 138*v + 405. Is 7 a factor of y(10)?
True
Let w be -9*((-119)/(-84) - 6/8). Is 2 a factor of (-291)/(-33) - w - 2/(-11)?
False
Let p(j) = -24*j - 2. Let o(w) = -25*w - 2. Let s(f) = 6*o(f) - 5*p(f). Let i = -98 + 97. Does 16 divide s(i)?
False
Let c(x) = 2*x + 14. Let v be c(-8). Does 3 divide v/16 - 1455/(-120)?
True
Let s(g) = 10*g + 0*g**3 + g**3 - 7*g - 4. Is 12 a factor of s(4)?
True
Suppose -q = -5*q + 208. Let a = 28 + q. Let o = a - 33. Is o a multiple of 13?
False
Suppose 11*v + 192 = 7*v. Is 13 a factor of (v/(-60))/((-2)/(-290))?
False
Let u(j) = 23*j**2 - 2*j - 3. Let l = -20 + 17. Let p be u(l). Let i = -144 + p. Is 22 a factor of i?
True
Suppose 4*r - b - 1488 = -0*b, -4*b = 3*r - 1135. Suppose 59 = 8*o - r. Is o a multiple of 18?
True
Let b(n) = 6*n + 1. Let f be b(1). Suppose -p + f*p + 18 = 0. Does 5 divide -5*((-24)/(-20) + p)?
False
Let l = 304 + 271. Is l a multiple of 33?
False
Let j be (1 - (-1 - -4))*15/(-6). Suppose -3*w + w - 90 = -4*i, j*i = 4*w + 120. Is i a multiple of 20?
True
Let r = -12 - 1. Let n be (-8 - -9)/((-1)/r). Suppose -11 = -3*z + n. Is z a multiple of 2?
True
Let o(i) = 675*i**2 - 8*i - 11. Let k(t) = -225*t**2 + 3*t + 4. Let c(r) = 8*k(r) + 3*o(r). Is c(-1) a multiple of 32?
True
Suppose 5*h - 25 + 10 = 0. Suppose -5*s = d - 3*d + 56, -3*d - 5*s = -109. Suppose -111 = 2*w - 5*w + h*m, -w + d = -3*m. Does 10 divide w?
False
Suppose 4*t = -16, 0 = -2*p - p + 4*t + 28. Suppose p*g = -g + 105. Suppose 6*b - b = 4*j + 9, -j + 5*b = g. Does 3 divide j?
False
Let j be (9/(-6))/(-2*7/28). Let f = -4 + 7. Suppose 3*x = q + 210, -j*x + 2*x + 78 = -f*q. Does 35 divide x?
False
Let l be 4/(-16) + (-34)/(-8). Suppose -2*i = 3*c - 244, 0*i = -l*c + i + 318. Does 14 divide (1 + 0)/(2/c)?
False
Suppose -1358 = g + 2*l, -l = -2*g + 3*l - 2676. Is -1*g/12 + (-3)/9 a multiple of 14?
True
Let n(u) = -3*u**3 - u**2 + 2*u - 2. Let f be n(1). Is 13 a factor of (-302)/(-1) + f - -3?
False
Suppose 38*z - 36*z - 76 = 0. Does 11 divide (3 + z - -4) + -4?
False
Let a(n) = -n**3 - 6*n**2 + 4*n + 7. Let h be a(-7). Suppose 0 = -r - 6*r + h. Does 12 divide (-364)/(-16) - (-1)/r?
False
Let b(c) = -8*c - 51. Is b(-12) a multiple of 6?
False
Let y = -52 + 31. Let t = -78 + 80. Let q = t - y. Is q a multiple of 12?
False
Is (0 - 2) + 8*65 a multiple of 8?
False
Let u = 46 - -4. Does 52 divide (0 + -1 - -3) + u?
True
Let j be (-2)/(-3) + (52/12 - -4). Suppose j*w = 1407 - 165. Is 14 a factor of w?
False
Let q(d) = 122*d - 5. Let i be 32/(-24) + (-14)/(-6). Is 13 a factor of q(i)?
True
Let q(v) = -181 + 21*v + 197 - 3*v. Is q(14) a multiple of 30?
False
Let b(d) = 202*d**2 + 7*d - 7. Is 21 a factor of b(1)?
False
Let q(m) = -67*m**3 + 2*m**2 - 4*m + 7. Let w be q(5). Does 10 divide 1