e of 12?
False
Let d be (-4 + 7)*(5 + -2). Let r = 805 + -175. Does 44 divide -7*((-9320)/r - (-2)/d)?
False
Suppose -3*l = 3*c - 186, 4*c + 8 = -12. Suppose 0 = 5*p + l - 2. Let v(a) = a**2 + 7*a - 7. Is v(p) a multiple of 8?
False
Let o = 14814 + -4178. Is o a multiple of 13?
False
Let m = -4 + -9. Let o = 15 + m. Suppose u - 82 = -0*u + 3*f, u - 85 = o*f. Does 13 divide u?
True
Suppose -239*k + 1139102 = -2913249 + 886079. Does 24 divide k?
True
Suppose -4 - 44 = -3*y. Suppose 4*z - 1 - y = -x, -z = 2*x + 1. Suppose -5 = z*i, -4*i - 214 = 2*l - 7*l. Does 5 divide l?
False
Suppose -4 = -2*t + 4. Suppose -3*u = -i + 46, 0*u + 3*u + 220 = t*i. Suppose i - 3 = 5*a. Is a even?
False
Suppose 4*q + 355 - 7 = 0. Let w = 63 - 44. Let j = w - q. Does 28 divide j?
False
Let c = 10 - 3. Let y(u) = 7*u**3 - 9*u**2 + 5*u + 9. Let n(p) = 6*p**3 - 9*p**2 + 5*p + 8. Let x(i) = -6*n(i) + 5*y(i). Is 30 a factor of x(c)?
True
Let t = 36 - 44. Let d = 11 + t. Let m = d - -87. Is 15 a factor of m?
True
Suppose -47*z + 519885 = -20*z. Suppose z = 40*s - 23145. Is 53 a factor of s?
True
Suppose 2*z + 0 = 4. Suppose -n + 4*n = 1104. Suppose 3*r - 2*d = n, z*r - r = -d + 121. Is r a multiple of 14?
False
Let t = 19595 + -13173. Is 7 a factor of t?
False
Let s = 41 - 37. Suppose 0 = 5*z - s*n + 15, 3*z + z = -2*n - 12. Let l(j) = -2*j + 5. Is l(z) a multiple of 3?
False
Suppose 5*q = -j + 13679 - 4968, 26213 = 3*j + 5*q. Is j a multiple of 26?
False
Let u = 1878 - 545. Suppose -5*w = -u - 2682. Does 12 divide w?
False
Let n = -70 + 82. Suppose -26 + 98 = n*u. Suppose 45 = u*f + 3. Is 2 a factor of f?
False
Suppose 0*g = -11*g - 330. Let c be (-178)/(-9) - g/135. Suppose c*i + 72 = 21*i. Does 9 divide i?
True
Let b(f) = -f**3 + 13*f**2 + f + 1. Let y be b(14). Let d = -335 - y. Let n = d + 270. Is 15 a factor of n?
False
Suppose -4*q = -3*m + 121, -5*m + 87 = -q - 92. Let o(x) = -x**3 + 33*x**2 + 81*x + 32. Does 17 divide o(m)?
False
Suppose 0 = 31*s - 12*s - 1900. Suppose s - 23 = 3*m + g, 5*m - 2*g - 110 = 0. Does 3 divide m?
True
Let r(x) = 267*x**3 + x**2 - 8*x + 7. Let c(v) = -v**2 + 2*v - 1. Let l(j) = 2*c(j) + r(j). Is 20 a factor of l(1)?
False
Let z(i) = 13*i**2 - 11*i + 1. Let n be z(6). Let a be (10/6 - 2) + n/39. Suppose -a*r + 120 = -6*r. Is 22 a factor of r?
False
Suppose 19*q - 16*q = 4*l - 7756, q = 2*l - 3878. Is l a multiple of 9?
False
Does 4 divide 640*6/(25 + -19)?
True
Suppose 2*g = 2*t + 32694, -3*t + 14672 = -2*g + 47362. Is 128 a factor of g?
False
Let l = 1832 - 1397. Does 29 divide l?
True
Let d = -48 - -58. Suppose -15*g = -d*g - 265. Let v = 95 - g. Is 7 a factor of v?
True
Suppose -2*k = 2*s + 556, 2*k - 5*s = -200 - 384. Let q = 444 + k. Is 15 a factor of q?
False
Let v = -2728 + 7659. Does 32 divide v?
False
Let u(i) = -64*i - 183. Suppose -t + 4*k = -4*t - 8, -15 = -5*t - k. Let f(l) = 31*l + 92. Let y(j) = t*u(j) + 7*f(j). Does 10 divide y(-8)?
False
Let l = -352 + 832. Is l a multiple of 6?
True
Let l(r) = 2*r**2. Let m be l(0). Suppose m = -6*n - 23 - 25. Is (-4 - n)*(2 - (-24 - -1)) a multiple of 20?
True
Let x(b) = 10*b - 37. Let f be x(4). Let n(i) = 63*i**2 + 15*i - 50. Does 63 divide n(f)?
False
Suppose 6*d - 4*d = y - 17713, -7*d = 4*y - 70732. Does 24 divide y?
False
Let y(l) = -19*l - 37. Let b be y(-19). Suppose -4*j + 40 = b. Let i = 38 - j. Is 15 a factor of i?
False
Let j = 20 + -17. Let o be 2/j*(-60)/(-8). Suppose 4*h - 103 = 3*n, o*h - 127 = -0*n + 2*n. Does 25 divide h?
True
Let p = -21184 - -40614. Is 67 a factor of p?
True
Let r = 5 + -3. Suppose -4*d + 6*d - 6 = 0. Suppose 108 = d*p + o, 67 = r*p - 3*o + 2*o. Does 7 divide p?
True
Let m(s) = s**3 + 8*s**2 - 3*s - 50. Let k be m(-7). Suppose -141 = -k*v + 5579. Is v a multiple of 26?
True
Let u = -4415 + 5253. Does 12 divide u?
False
Suppose 65*q = 50*q + 269250. Does 50 divide q?
True
Suppose 0 = -r + 449 - 448. Let j(c) be the third derivative of 27*c**5/20 + c**4/24 + 2*c**2. Is 20 a factor of j(r)?
False
Suppose 18777 = -4*v + 65397. Is 111 a factor of v?
True
Suppose -7*d + 13 = -2*d + c, 3*d - 11 = c. Let u(r) = 23*r - 33 - 22*r**2 - r**3 - 5*r**d + 6*r**3 + r**3. Is u(21) a multiple of 3?
True
Let c = -419 - -424. Suppose -13*x + 12*x = 2*f - 160, f = c*x - 855. Is x even?
True
Let j(x) = 18*x**3 - 32*x**2 + 178*x + 3. Is j(8) a multiple of 45?
True
Let d = -1884 - -3823. Is 15 a factor of (d - -27)/(4 + -2)?
False
Let g(u) = 6*u**2 - 4*u + 3. Let b be g(1). Suppose y + 2*o - 5 = 0, -y - 3 = b*o - 2. Does 3 divide y?
True
Suppose -8*g - 44 + 84 = 0. Suppose g*n = 2*y + 3088, 4*n + 695 - 3165 = 2*y. Is 8 a factor of n?
False
Let v = 327 + -339. Let u(a) = -a + 268. Is 35 a factor of u(v)?
True
Let l(w) = w**3 + 22*w**2 + 29*w + 8. Let y be l(-7). Let j = y + -410. Is 26 a factor of j?
True
Let q = 8220 + -4808. Is 12 a factor of q?
False
Let p(u) be the second derivative of 2*u**4/3 - 4*u**3/3 - 3*u**2 + u - 30. Does 30 divide p(-6)?
True
Let z be (-584804)/(-330) + (-1)/30*4. Suppose -24*a = -20*a - z. Is a a multiple of 39?
False
Let k = 6301 - 3998. Is 47 a factor of k?
True
Suppose 13*m = 24*m - 55. Does 21 divide (((-1460)/(-12))/m)/((-4)/(-60))?
False
Is 8 + (1130/2)/((-10)/(-40)) a multiple of 108?
True
Suppose -4*u = -1267*o + 1268*o - 3258, -5*o = u - 16328. Does 5 divide o?
False
Is -3 + -1 - (-284935)/49 - 3 a multiple of 22?
True
Let b(w) = -w**3 - 4*w**2 - 3*w - 1. Let u be b(-2). Let o(x) = 25*x**3 + 2*x**2 - 2*x + 1. Let r be o(1). Does 7 divide r + u*(-16)/(-12)?
False
Let c = 30789 + 46409. Is 319 a factor of c?
True
Suppose 3*o - 7 = -5*u, -o = -2*u + 3*o + 8. Let s(p) = 64*p**2 - 4*p + 2. Let y be s(u). Suppose -3*f + y = 2*f. Does 20 divide f?
False
Suppose -628*j + y = -629*j + 3666, -4*j - 3*y = -14664. Is j a multiple of 39?
True
Let r(c) = -5*c**2 - 2*c + 131. Let x be r(0). Let y = -16 + x. Does 91 divide y?
False
Let g be (-3)/12*-3*40/6. Suppose -i + 44 = -5*p, i - 5 = -4*p - 6. Suppose 2*v - i = g. Does 6 divide v?
True
Suppose -36 = 11*o - 58. Suppose o*w - b = 284, -3*w + 113 = -2*b - 315. Does 6 divide w?
False
Let b(y) = y**3 + 8*y**2 + 3*y + 2. Suppose 0 = -7*n + 5*n + 28. Suppose q + n - 9 = 0. Is 9 a factor of b(q)?
False
Let y(b) = 15*b**3 + 4*b**2 - 41*b + 83. Is y(4) a multiple of 23?
True
Let r(m) = 3*m**3 + 6*m**2 - 4*m + 114. Let a(g) = -4*g**3 - 7*g**2 + 5*g - 113. Let n = -5 - -10. Let y(h) = n*r(h) + 4*a(h). Is y(0) a multiple of 26?
False
Let o(s) = s**2 - 2*s + 2. Let g be o(0). Suppose -6*x - 541 = -c - 8*x, -3*x = g*c - 1086. Does 6 divide c?
False
Suppose 202*b + 3462265 = -52*b + 9586459. Does 9 divide b?
True
Let x(u) = u**3 - 10*u**2 + 50*u - 96. Does 10 divide x(16)?
True
Let x be -6*8/(-216) - (-4540)/(-18). Let g = -70 - x. Does 26 divide g?
True
Let o = -47 - -9. Let t = o + 333. Is t a multiple of 12?
False
Let p = 776 + -272. Let u = p - 80. Is u a multiple of 7?
False
Let p(h) be the second derivative of -h**4/12 - 17*h**3/3 - 61*h**2 + 96*h. Is 15 a factor of p(-28)?
False
Suppose 2*v - 47 = -b, 0 = v + 3*b - 2*b - 21. Suppose -2*s + 7*i = 8*i - 203, -15 = 3*i. Suppose -5*o + z + s = 0, v - 106 = -4*o + 4*z. Is 21 a factor of o?
True
Let y = -6 + 2. Is 2 a factor of -1 - (-5 + (y - 0))?
True
Suppose -5*x - 6 + 1 = 0, -5*x = 2*t - 1. Let v be t/(-9) + 48/9. Suppose -g - 5*m + 136 = -0*m, v*g - m - 628 = 0. Is 21 a factor of g?
True
Let m = 13039 - 7199. Does 10 divide m?
True
Let r(v) = -4*v + 68. Let f be r(17). Is 40 a factor of -27 + 26 + 481/(1 + f)?
True
Suppose 2*s = k - 3, -4*k = -5*k + 3*s. Let j be 138/18*-3*k. Let q = -116 - j. Is q a multiple of 13?
True
Suppose i - 388 + 479 = 0. Let g = i - -190. Is g a multiple of 11?
True
Let p = -40990 + 84399. Does 11 divide p?
False
Suppose 75 = -12*f + 123. Is 2 a factor of ((-14)/(-21))/(f/480)?
True
Let n be (0 + 2 + -2)/(3 - 5). Suppose n = 5*g - 3*g + 3*f - 114, 4*f = -5*g + 299. Suppose -q + 96 = -4*u, -2*q - 5*u - g + 229 = 0. Is 11 a factor of q?
True
Let s be 44/(-264) + 206/12. Suppose -3*c - 5 = l, c + 3*c - 3*l = 15. Suppose a = -t + s, c = -t + 4*t - 4*a - 86. Does 2 divide t?
True
Suppose 4*j = -2*y + 2751 + 2843, -2*y + 5559 = -3*j. Does 39 divide y?
False
Let k(v) = -3*v**3 + 89*v**2 + 30*v + 29. Let h be k(30). Let o(b) = -b**3 