2 = -n*u + a + 9, u + 24 = -5*a. Is ((-10)/u)/((-8)/12) a multiple of 3?
True
Suppose -3*u + 5*t = -29674, 14819 = 2*u - t - 4966. Is u a multiple of 99?
False
Let j(c) = 4*c**2 + 138*c - 21. Let s be j(-44). Let d = s - 823. Is d a multiple of 69?
True
Suppose 0 = 16*a + 3 - 35. Suppose 0 = g - a*g + 4*j + 17, g - 15 = 2*j. Suppose -g*h + 13 = -208. Does 17 divide h?
True
Suppose 3*i + 325 = -0*n - 5*n, -325 = 5*n - i. Let b = 259 + n. Is b a multiple of 7?
False
Suppose -2*w + 22 = 2*h + w, -5*h - 5*w + 60 = 0. Suppose 0 = -4*x - h*x + 54. Suppose 3*k - 2*k - x = 0. Is k even?
False
Suppose -14*x - 4 = 10. Does 11 divide -16 - -14 - 251/x?
False
Let j = 522 + -514. Suppose -8676 - 1676 = -j*o. Is o a multiple of 13?
False
Suppose -2*l + 4 = -0. Suppose 0 = 5*o - 15, 52 = l*j + 4*o + 4. Suppose 0 = -22*g + j*g + 460. Is 30 a factor of g?
False
Let w be (-537)/(-11) + 2/11. Suppose -4*h + w + 11 = 0. Does 27 divide (-36)/h*(-135)/6?
True
Let f(j) = -13*j**3 - 3*j**2 + 5*j - 6. Let u be f(-5). Suppose -4*o - 3*o = u. Let d = o - -389. Is d a multiple of 8?
False
Suppose -1480131 = 16*c - 337*c. Does 159 divide c?
True
Let m(z) = z**3 + 6*z**2 - 5*z + 10. Let x be m(-7). Is ((-936)/(-6))/((-2)/x) a multiple of 13?
True
Suppose 4*u + 49 = -3*w - 5, -u + 5*w - 2 = 0. Is 35 a factor of (-1143)/u*8*(-8)/(-8)?
False
Suppose -o + 933 - 258 = 0. Let s = o + -272. Does 29 divide s?
False
Suppose 140 = -30*q + 20*q. Is (-2468)/q + -4 + 52/14 a multiple of 22?
True
Let j = 43 + -5. Suppose 149 = y - 5*z + j, 162 = 2*y + 5*z. Is 27 a factor of y?
False
Let i = -7710 - -14445. Is i a multiple of 52?
False
Suppose 33*z - 37*z + 12 = 0, -3*o + 3*z + 21207 = 0. Is 13 a factor of o?
True
Suppose 985 - 3235 = -9*j. Suppose 4*f - j = 2*b + 3*f, -5*b + f - 628 = 0. Let x = -42 - b. Is 7 a factor of x?
True
Let r be 29/2 - 8 - (-6)/(-4). Suppose 5*z - r = 4*z, -q + 4*z + 64 = 0. Is q a multiple of 21?
True
Let s(q) = -37 + q + 104*q**2 + 74 - 41. Is s(-2) a multiple of 82?
True
Let a(b) = 15*b**2 - 6. Let z(i) = -i**3 + 3*i**2 - 3*i + 1. Let m be z(2). Let c be ((-54)/36)/(2/8 + m). Does 12 divide a(c)?
False
Let z(c) = -c**2 + c - 1. Let x(v) = v**3 + 23*v**2 - 23*v + 23. Let a(l) = -x(l) + 3*z(l). Let h be a(-27). Let o(s) = 190*s - 3. Is o(h) a multiple of 17?
True
Suppose 0 = n + 3*n + 16. Let u be (7518/63)/(n/(-6)). Let l = u + -53. Is l a multiple of 21?
True
Suppose -11*n = -16*n - o + 16670, -3*n + 10010 = -o. Suppose -23*j + n + 345 = 0. Is 16 a factor of j?
True
Let w(k) = -20*k + 17. Let v be (-3 + 1)*((-98)/4)/(-7). Is 11 a factor of w(v)?
False
Let f = -98 - -105. Is 6 a factor of (10/1)/(f + 1169/(-168))?
True
Suppose 11 - 5 = 3*u. Suppose 0 = h - 4*h - 3, 0 = 4*b - u*h - 18. Suppose w - 164 = 4*v, 0*v + 690 = b*w + v. Is w a multiple of 35?
False
Let h(j) = 33*j - 25. Let v be h(5). Let y be (-4)/42*3 - (-76900)/v. Suppose -9*u - y = -12*u. Is u a multiple of 19?
False
Let j(r) = 3*r + 458459 - 11*r - 458451. Let a(q) = 4*q + 4. Let s be a(-6). Is j(s) a multiple of 21?
True
Suppose -9420 = -43*r + 42*r + 4*x, -37775 = -4*r - 3*x. Is 80 a factor of r?
True
Suppose -229 = -2*b - 227. Is 9 a factor of b - (42789/(-39) + 4/26)?
True
Let c = -468 - -474. Is (-6)/4*(-256 + (c - 4)) a multiple of 13?
False
Let g = 271 - 267. Suppose -g*t + 16 = 0, -t = -4*n + 2*t + 156. Does 21 divide n?
True
Suppose 4*u + 76 + 24 = 3*y, -u - 155 = -4*y. Let z = -8 - 16. Let o = z + y. Is o a multiple of 8?
True
Let k(z) = 5*z**2 - 3*z - 10. Let y(w) = -3*w**2 + 2*w + 7. Let h(f) = 5*k(f) + 8*y(f). Let j be h(0). Is 10 a factor of 1*j/15*150/1?
True
Let t(i) = -90*i + 72. Let k = 337 - 347. Is t(k) a multiple of 46?
False
Suppose 5*u - 18327 = 2*r + 5361, 0 = 2*u - 3*r - 9484. Suppose -u = 4*i - 12*i. Is i a multiple of 69?
False
Let k be (-526)/(-5) - (10 + 392/(-40)). Suppose -k = -38*l + 31*l. Does 3 divide l?
True
Let o(j) = 2*j**2 + 7*j + 51. Let p(k) = k**2 + 3*k + 26. Let r = 40 + -42. Let h(q) = r*o(q) + 5*p(q). Does 20 divide h(0)?
False
Let r = 16396 - 7016. Is 60 a factor of r?
False
Suppose 4*v - 2 = k, -6*k + k - 5*v = -15. Suppose u - 2 + k = 0. Suppose u = 2*d + 3*h - 222, -116 = -d + h - 5*h. Is d a multiple of 22?
False
Let x be ((-4)/(-12))/(1/5847). Suppose -x = -5*i + t, 4*i + t = -4*t + 1565. Is 16 a factor of i?
False
Suppose 0 = -f + 63 - 59. Suppose -596 = -f*s - 4*i, 4*s - 421 = -2*i + 165. Is 8 a factor of s?
True
Let i(k) = -1 + 83*k - 6 + 4. Let v be (-2 + 4/(-8)*-6)*1. Does 16 divide i(v)?
True
Let s = 32209 - 18701. Is 11 a factor of s?
True
Let y(d) = 130*d - 3786. Is 28 a factor of y(52)?
False
Let t = 2092 + -759. Is 5 a factor of t?
False
Let j be (-3 + 4 + -4)*4/(-3). Let p(x) = 105*x. Does 28 divide p(j)?
True
Let x(d) = d**3 + 24*d**2 + 33*d + 11. Let w = 323 - 345. Is x(w) a multiple of 23?
True
Let r be (-2 + -1 - 0) + (-14)/2. Let t(c) = -c**3 - 10*c**2 - 2*c + 20. Let i be t(r). Let d = 95 - i. Is 34 a factor of d?
False
Let a = -28 + 23. Let s be a/(5/(-3)) - (-119 + -4). Is 23 a factor of 0 + s + (7 - 2 - 3)?
False
Let y(z) = -24*z - 151. Let i be y(3). Let x be (-945)/(-3) + (1 - 3). Let l = i + x. Is l a multiple of 18?
True
Suppose p + 981 = 4*p. Suppose p - 89 = -17*w. Let u(r) = -10*r - 25. Is 23 a factor of u(w)?
True
Suppose 4*f - 18 = f - 4*i, 4*f + 3*i - 31 = 0. Does 8 divide ((-9)/6 + 4)*f?
False
Let y(k) = 3*k**2 + 1. Let n be y(1). Let s be ((-60)/n)/5*(-46)/6. Let i = s - -40. Is 9 a factor of i?
True
Suppose -2968 + 963 = -5*p. Is 7 a factor of p?
False
Let x(u) = u**3 - 2*u**2 + u + 32. Suppose 3*v = -28 + 31. Let s(b) = -b**3 + 2*b**2 - 2*b + 1. Let n be s(v). Is x(n) a multiple of 16?
True
Let s(i) = -i**2 - 2*i - 2. Let z be s(-2). Let k(d) = -2*d + 20. Let g(t) = -3*t + 20. Let x(p) = z*k(p) + 3*g(p). Does 9 divide x(-11)?
False
Is (-31)/((-124)/(-32)) - (-1 + -35412) a multiple of 212?
False
Suppose -3*b + 18 = -1098. Let m = 1052 - b. Is m a multiple of 21?
False
Suppose 27*o = 22*o - 5*t + 53025, -2*o = 4*t - 21216. Does 6 divide o?
True
Let s(n) = -n**3 + 2*n + 21692. Does 122 divide s(0)?
False
Let d(f) = -f**3 - 8*f**2 - 25. Let z(b) = 5*b**3 + 39*b**2 + b + 126. Let h(i) = -11*d(i) - 2*z(i). Let u be h(-10). Let o = u + -30. Is 6 a factor of o?
False
Suppose 4*l + 125 = 3*f - 0*f, 70 = 2*f + 4*l. Let h = f + -33. Suppose -2*a - 8 = -2*w - h*a, -2*w = -4*a. Is 2 a factor of w?
True
Let b = -109 - -233. Suppose b = r - 3*x + 7*x, -x - 293 = -2*r. Is 50 a factor of r?
False
Suppose -64*f - 60*f - 128275 = -131*f. Is 25 a factor of f?
True
Let w(c) = 2*c**3 - 85*c**2 + 34*c + 68. Is w(44) a multiple of 38?
True
Is 61320/16*(9 + -3)/3*1 a multiple of 219?
True
Let u = -252 + 473. Suppose u - 26 = 5*k. Is k a multiple of 15?
False
Let s(h) = -306*h + 2. Let t be s(-1). Suppose 3*w + 3*g = 2*g + t, w - 106 = -g. Does 4 divide w?
False
Suppose -45*k = -42*k - 651. Suppose -46*l + k = -39*l. Is l even?
False
Suppose 0 = -12*u - 2*u. Suppose 0 = -x - u*x + 660. Is 11 a factor of x?
True
Let r(d) = 33*d**2 - 51*d - 4. Let m be r(7). Let z = 2306 - m. Is z a multiple of 7?
True
Let f(z) = z - 2. Let d be f(5). Let c be d - (14 - (3 + 1)). Does 14 divide 3*(-5 - 1)*c/3?
True
Let f(c) = -c**2 + 34*c + 21. Let t be f(21). Suppose -1909 + t = -5*z. Is z a multiple of 52?
False
Suppose -k = 3, 5*x - 111*k - 30801 = -114*k. Is x a multiple of 79?
True
Let c(m) = m + 25. Let g be c(-11). Suppose -2208 = g*r - 18*r. Is 69 a factor of r?
True
Is 93*(8/(-2))/(21 - 15 - 7) a multiple of 3?
True
Suppose 0 = -9*h + 259 - 16. Suppose h*d - 5677 = 19217. Is 20 a factor of d?
False
Let w = -1247 - -457. Let i = 1368 + w. Does 12 divide i?
False
Let p be 6 - 2*10/5. Suppose 0 = -d + 10 + p. Suppose 7*g - 5*y = d*g - 355, 3*g + 2*y = 212. Is 17 a factor of g?
False
Suppose 942 = 5*t + 2*u, 3*t + 85 = 5*u + 675. Let d = 229 - t. Is 13 a factor of d?
True
Suppose 4*p - 484 = -5*l, -3*p + 68*l = 66*l - 340. Suppose -3*g + 164 = 4*j, -p = 2*g - 4*g - 4*j. Is 16 a factor of g?
True
Suppose -9*i + 144 = 72. Is (-2)/(-6) - ((-6896)/6)/i a multiple of 12?
True
Suppose 5*j + 2*c = 150, 0*c - c = -j + 37. Is j - (1 - 5) - 4 a multiple of 8?
True
Suppose 4*n + 0*a = -3*a + 485, -2*n + 4*a = -226. Suppose 3*k = n + 385. Does 4 divide k?
Tru