 Let h(b) = b**2 + 2*b + 12. Let f be h(i). Suppose 2*a = 7*a - f. Is a a multiple of 4?
True
Does 85 divide 4/42 + (-97688)/(-42)?
False
Let w(l) = -l**2 + l + 54. Let o(t) = -t + 1. Let a be o(1). Is w(a) a multiple of 8?
False
Let c(l) = 5*l**2 + 9*l - 17. Let f be c(-11). Let p = 697 - f. Is 47 a factor of p?
False
Suppose -3*c - 2*c = -w - 42, w + c + 36 = 0. Suppose 2*h - 3 = x + 8, -5*x + 5*h = 40. Let g = x - w. Is g a multiple of 10?
False
Let h(d) = 2*d**3 - 4*d**2 + 8*d + 2. Let q be h(-5). Let l = -192 - q. Is 28 a factor of l?
True
Suppose 15*c - 233 = 1252. Is 11 a factor of c?
True
Suppose 2*v - 1320 = 4*n, 1880 = 3*v + n - 128. Does 9 divide v?
False
Is 111/74*(-282)/(-9) a multiple of 11?
False
Let a(y) = -y**2 - 11. Let w be a(0). Let t = 5 + w. Let h(v) = v + 10. Does 2 divide h(t)?
True
Suppose 4*m + 4*n - 1792 - 2272 = 0, 2*m = 5*n + 2060. Is m a multiple of 15?
True
Suppose -3*f + 36 = 9. Let c be 21/f + (-4)/(-6). Suppose p - 16 + c = 2*b, 5*b = -5. Does 11 divide p?
True
Does 4 divide (-6)/(-8) - 184955/(-284)?
True
Suppose -2*k = -0*k - 620. Let y be k/20 + (-1)/(-2). Suppose -y = -2*o + z, 3*o + 4*z = 8*o - 46. Does 6 divide o?
True
Let r(q) = 10*q**3 - 2*q**2 - 3*q - 1. Does 9 divide r(2)?
False
Let w be (-4)/(-6) - (-58)/(-6). Let u(l) = 7*l + 2. Let m(t) = -t. Let z(g) = -6*m(g) - u(g). Does 7 divide z(w)?
True
Let o(t) = 2*t - 9. Let v be o(4). Is 37 a factor of (-1)/v*(97 - 15)?
False
Suppose 2*k - 7*k = 0. Suppose -13*n + 261 + 493 = k. Does 58 divide n?
True
Suppose 4*d = 5*b + 28, 2*b - 3*b - 6 = -d. Suppose 4*f - 2*p - 526 = 0, -d*p + 395 = 3*f - 3*p. Is f a multiple of 44?
True
Let y(r) be the first derivative of r**3/3 - 4*r**2 + 16*r - 23. Is 25 a factor of y(-11)?
True
Let o be (-92)/(-22) + (-22)/121. Suppose -o*r + 184 = -0*r. Let y = r + -22. Is y a multiple of 12?
True
Suppose -2*r + 520 = -44. Is 47 a factor of r?
True
Let x = 245 - -2048. Is 67 a factor of x?
False
Let z = 22 - 19. Suppose z = -3*m, 2*a - 5*m - 61 = -2*m. Let s = 45 - a. Is s a multiple of 4?
True
Suppose -d = -3 + 1. Suppose -3*c = -3*k - d*c + 137, 3*k - 127 = -c. Does 10 divide k?
False
Suppose 0 = 3*i - 5*k - 2125, -5*i + 2132 + 1358 = 2*k. Is 14 a factor of i?
True
Suppose 0 + 20 = -5*g - 5*l, 5*l - 25 = 0. Let i = 15 + g. Let x = i + 31. Is 19 a factor of x?
False
Let h(s) = -40*s**2 + 6*s - 4*s + 109*s**2 + 1. Is 5 a factor of h(-1)?
False
Let a(f) = 16*f**3 - 13*f**2 + 4*f + 13. Let y be a(7). Is 2*y/48 + 1/6 a multiple of 12?
True
Let s(x) = 243*x - 433. Does 70 divide s(6)?
False
Suppose 22*m = -3*m + 12075. Is m a multiple of 23?
True
Let i = 32 - -1. Let l = i - 23. Is 10 a factor of l?
True
Suppose -5*q + 3*q + 74 = 2*o, 0 = -o - 4. Let x = q + -33. Let p(l) = l**2 - 3*l - 12. Does 10 divide p(x)?
False
Suppose 0 = -129*a + 142*a - 11102. Is 61 a factor of a?
True
Let p = -88 + 128. Is 24 a factor of p?
False
Let k = -4 - -13. Suppose 2*h = -5*x - 2 + k, 4*h = -5*x - 1. Suppose -5*u - x*z = -84, 7 = -u - 4*z + 34. Does 3 divide u?
True
Suppose 6*i = i + 25. Let p(r) = 7*r + 10. Does 9 divide p(i)?
True
Is 52 a factor of 3742/18 - ((-16)/(-9))/(-16)?
True
Suppose 3*g - 202 - 227 = 0. Suppose 26 = -o + g. Is o a multiple of 19?
False
Suppose -2*p = 3*f + 1, -4*p - 2*f = -7*p - 21. Let u(w) = w**2 + 3*w - 2. Let j be u(p). Is 6 a factor of 1*39*j/12?
False
Suppose 4*l + 112 = 2*a, -3*a + 3*l - 254 = -8*a. Let j = a + 8. Is 10 a factor of j?
True
Let t be (-68 - 0)*(11 - 12). Let x = t - 50. Is 18 a factor of x?
True
Let x(p) = 2*p**2 - p**2 + 3*p - 6*p - 4. Let h be x(5). Let n = h + 9. Does 9 divide n?
False
Let k be 12 + (1 + 1)*24/(-16). Is 4 + 502/3 + (-3)/k a multiple of 50?
False
Let f = 228 - 44. Does 2 divide f?
True
Does 26 divide (-85848)/(-26)*1 - (-6)/39?
True
Does 80 divide ((2 - -2) + -2)/(16/6536)?
False
Suppose 9120 = 46*j - 6*j. Does 8 divide j?
False
Does 15 divide -5 - 2 - (-491 - 6)?
False
Let s(k) = 2*k + 110. Is 10 a factor of s(-49)?
False
Let j(w) = 9*w + 101. Is 7 a factor of j(-5)?
True
Let b(i) = 42*i - 36. Suppose 0 = -8*p - 16 + 96. Is b(p) a multiple of 32?
True
Let q(m) = m**2 + 3*m - 4. Suppose 3 = -2*n + 3*y, -7 = -3*n - 2*y + 21. Is q(n) a multiple of 25?
True
Suppose -7*u + 262 + 2860 = 0. Does 12 divide u?
False
Is 18 a factor of (20 + -29)*(0 - -42)/(-2)?
False
Let m(r) = -r**3 + 3*r + 1. Let w be ((-14)/(-21))/(4/18). Suppose g = -4*u + 1, w*g - 7*g - 2*u - 10 = 0. Is m(g) a multiple of 19?
True
Let m(w) = w**3 - 19*w**2 + 61*w - 5. Is m(16) a multiple of 7?
True
Suppose 0 = 4*w + 2*y + 82 + 952, -w = 4*y + 241. Let t = w + 423. Suppose 4*j - j - t = 0. Does 18 divide j?
True
Let h = 54 - 34. Suppose -h = -3*v - 4*z, 3*z + 2 = 2*v - 0. Suppose v*t = 5*y - 448, 5*y - 181 = 5*t + 269. Is y a multiple of 20?
False
Suppose f + 8*s = 3*s + 33, 4*f - 87 = -5*s. Let k be 1/((-2)/(-608)*4). Let x = k - f. Does 29 divide x?
True
Suppose -8*a + 3*a = -5, a + 2651 = 2*q. Is 39 a factor of q?
True
Let h = 22 - 20. Suppose -4*s + 194 - 16 = -h*d, -4*s + 193 = -5*d. Is s a multiple of 14?
True
Is (541/3)/((-14)/(-84)) a multiple of 9?
False
Suppose 2*q + 48 - 360 = 3*x, 3*q + x = 490. Does 18 divide q?
True
Let r(u) = 9*u**3 + 7*u**2 - 19*u + 16. Is r(4) a multiple of 9?
False
Let n(z) = -5*z**3 - 11*z. Does 26 divide n(-4)?
True
Let s(h) = 16*h**2 - h - 6. Let t be s(-6). Suppose 0 = f - 4*f + t. Suppose -f = -3*d - d. Does 16 divide d?
True
Suppose 5*w - 9*v = -7*v + 1428, 5 = 5*v. Is 18 a factor of w?
False
Let u(r) = -96*r - 1031. Does 16 divide u(-18)?
False
Suppose 3*g = -g + 36. Let m be g/3 + 15 - 0. Let z = m + -10. Is z a multiple of 2?
True
Let o(q) = -9. Let v(y) = -y + 17. Let g(f) = 7*o(f) + 4*v(f). Let z be g(-4). Is 5 a factor of z/(-4)*(-8 + 4)?
False
Does 78 divide (2457/2)/((-9)/(-12))?
True
Does 9 divide (-3*(-1869)/(-35))/((-1)/5)?
True
Suppose 5*x = -n - 2, 4*x - 5*n + 6*n + 2 = 0. Let o(s) = 7 + 2*s - 4*s + 3*s. Does 3 divide o(x)?
False
Let p(w) = -16*w + 0*w**2 + 3*w - w**2. Is p(-6) a multiple of 6?
True
Let f = 59 + -46. Let q(g) = -g**3 + 13*g**2 + 2*g - 18. Is q(f) a multiple of 8?
True
Let f = -5 - -14. Let h(k) = -k + 11. Let i be h(f). Suppose i*z - 1 - 73 = 0. Does 11 divide z?
False
Suppose 0 = -13*q - 5*q + 1422. Is 2 a factor of q?
False
Suppose 3*p + 27 - 303 = 0. Suppose -p - 265 = -7*n. Does 17 divide n?
True
Suppose -137 - 79 = -6*k. Suppose 4*l - 12 - k = 0. Does 6 divide l?
True
Let l(d) = -19*d - 47. Let r(y) = 2*y. Let o(b) = l(b) + 2*r(b). Is o(-8) a multiple of 17?
False
Let v be 0/3 - (1 + -4). Suppose 0 = -z + 3*i + 5, v*z - i = -z + 9. Suppose z*b = -6, -224 = -2*f - 0*f + 4*b. Does 27 divide f?
False
Let l be 10/8 + 3/4. Suppose -l*t = -0*t - 28. Let w = t - -5. Does 7 divide w?
False
Let h(a) = -40*a - 1. Let z be h(2). Let u = z - -216. Suppose 4*v + 3 - u = 0. Is 20 a factor of v?
False
Let l = 7 + -4. Suppose l*f = -2*f - 15. Let r(o) = o**3 + 5*o**2 + 5*o + 3. Is r(f) a multiple of 2?
True
Suppose -j + 12 = 10. Suppose -y + 5*c - 73 = -j*y, 3*c + 129 = 3*y. Is y a multiple of 23?
False
Is 8/(-2) - 7/((-49)/126) a multiple of 14?
True
Does 30 divide (-4)/(-34) + (-84868)/(-833)?
False
Let t be 914/18 - -1 - (-46)/207. Suppose -5*u + t = 2*a, -3*a = -4*u + a + 64. Does 4 divide u?
True
Suppose 2*w - 3*d - 8 = 0, 4*w = d + 2*d + 10. Is 25 a factor of (w/15*-327)/(1/(-5))?
False
Let t = 372 - 197. Is 22 a factor of t*1 + 4/20*5?
True
Suppose -2*k = 4*r - 746, 3*r - 2*k - 786 = -237. Let d = 406 - r. Does 17 divide d?
True
Let z(n) = -2*n + 1. Let h(y) = -y - 1. Let j be h(-2). Let o be z(j). Is (12/(-3) - 39)*o a multiple of 11?
False
Suppose -3 = -c - 2*c, 0 = 5*b + 5*c + 50. Let l(q) = q + 9. Let s be l(b). Let r(d) = -d**3 + d**2 + d + 4. Is 4 a factor of r(s)?
False
Let j be (-57)/(-21) + 2/14*2. Let r(y) = 14*y**2 + 2*y - 1. Is 21 a factor of r(j)?
False
Let m = 6 + 7. Let l(i) = 4 - i**2 - i**2 + 3*i + m*i**3 - 12*i**3 - 6. Is 21 a factor of l(4)?
True
Let r(d) = -13*d**2 - 7*d + 20. Let m(y) = 7*y**2 + 3*y - 10. Let p(v) = 11*m(v) + 6*r(v). Let w = -15 - -8. Is p(w) a multiple of 8?
True
Let z = 17 - 16. Is 29 a factor of (-806)/(-8) + z/4?
False
Suppose -4 = -4*c + r, -4*c - 18 = -3*c - 5*r. Suppose 3*q + 3*i - 66 = 0, -c*q + 94 = 2*q +