00/(-27))/(-20) a multiple of 13?
True
Let u = 47 - 34. Let n(h) = 3*h - 37. Let w be n(u). Does 3 divide ((-12)/(-8))/(1/w)?
True
Suppose -11 + 5 = p, -15*r + 18402 = 3*p. Does 36 divide r?
False
Let d = 3654 - -7434. Is d a multiple of 36?
True
Suppose 3*b + 10 = 4. Does 8 divide ((-10)/4 - b)*(-266 - -10)?
True
Let s = 1569 + -1392. Is s even?
False
Suppose 0 = -r + 3*v + 16, 8*v + 20 = 5*r + 5*v. Let k be (6 - 45/6)*(-5 + r). Let n(p) = 17*p + 19. Does 11 divide n(k)?
True
Let t = 560 - 581. Is 36/(-4)*1393/t a multiple of 34?
False
Let n(p) = -4*p**3 - 3*p + 2. Let i be n(1). Let u(z) = 2*z**2 + 8*z - 8. Let o be u(i). Suppose 5*s + 133 = 8*s + o*v, -5*s + 2*v = -227. Is s a multiple of 9?
True
Let o be -3 - (-2 - (6 + -5)). Suppose 219 = 2*i + 5*y, -i + 2*y - 5*y + 111 = o. Does 7 divide i?
False
Let k(l) = -23*l**2 + 52 - 227*l**3 + 8*l + 228*l**3 + 34*l. Is 31 a factor of k(21)?
False
Suppose 7*v = -6*v + 182. Suppose v*y - 9*y = 20, -g + 5*y = -33. Is g a multiple of 7?
False
Is 18 a factor of ((-50)/15)/((-70)/10332)?
False
Let z = 33 + -31. Suppose 2*f - 189 = z*j - 53, -3*j = -f + 208. Does 10 divide (-12)/14*-191 + (-20)/j?
False
Let v = 387 + -548. Let g(m) = 278*m**3 - m. Let r be g(1). Let n = v + r. Does 9 divide n?
False
Suppose 0 = -378*s + 117*s + 998847. Is 43 a factor of s?
True
Suppose 0 = -2*a + 28 + 44. Let s be (-2 + 3)/(((-21)/a)/(-7)). Suppose -s*y = -9*y - 27. Does 9 divide y?
True
Let v(a) = -295*a - 4150. Is 5 a factor of v(-17)?
True
Suppose 5*w + 493 = -2*u - 374, -5*w + 5 = 0. Let k = 442 + u. Does 3 divide k?
True
Let d = -280 - -283. Suppose -4*m + 133 = -d*p - 15, -p = -m + 37. Is m a multiple of 5?
False
Let w(f) = 22*f + 28. Let d be w(-4). Let x = 172 - d. Is 13 a factor of x?
False
Suppose -7*k = -46 - 17. Let q(g) = 10*g + 26. Let m(w) = 1. Let z(y) = -4*m(y) + q(y). Is 28 a factor of z(k)?
True
Let j be (-10)/4*140/14. Let y be 4 + (j - 3)*2. Let k = y - -123. Is k a multiple of 9?
False
Let r be (-6204)/(-47) - 26/2. Let d(y) = -y**3 - 7*y**2 + 10*y + 5. Let v be d(-7). Let i = r + v. Is i a multiple of 9?
True
Let h(n) = -7*n**2 - 257*n + 94. Is h(-32) a multiple of 106?
False
Let d be 5*(15/5 - (-2)/(-10)). Is 15 a factor of (d*-3)/6 - -472?
True
Suppose -2*f + 3*x + 168940 = 0, 0 = 54*f - 49*f + 2*x - 422388. Is 14 a factor of f?
True
Suppose -459*d = -458*d - 51. Suppose -3405 = d*l - 66*l. Is l a multiple of 4?
False
Suppose 3*w - 4*w = -4, -r = 4*w - 536. Let s be (-3)/((-1)/26*6). Suppose -17*v = -s*v - r. Is v a multiple of 33?
False
Let m be 6 + (-8 - (-10 + 5)). Suppose 2142 = 2*u - 2*z, -m*u + z = -1335 - 1880. Is u a multiple of 67?
True
Is (-627)/11*(2 - 58/3) a multiple of 26?
True
Let g be (-2 - -2) + -3 + -4. Let d be 7/4*(g + 15). Suppose -13*h = -d*h + 108. Is h a multiple of 54?
True
Let m(f) = 11*f**3 - 2*f**2 + 2*f + 3. Let v be m(-1). Let n(x) = -126*x. Let u be n(1). Does 46 divide (6 + 0)*u/v?
False
Is 13 a factor of ((-2088)/(-6))/(-5 + 0 + 266/52)?
True
Suppose 0 = 4*m - 3*m + s - 2, 4*m - 5*s = 8. Suppose m = -2*t - 10. Is 7/(63/t) + (-137)/(-3) a multiple of 7?
False
Is 24 a factor of 9 - ((-49 - -51) + 833/(-1))?
True
Let b(d) = 1 + 5 + 2*d - 1. Let p be 798/(-209) + 3 - 2/11. Is b(p) a multiple of 2?
False
Let k(q) = q**3 - 32*q**2 + 67*q - 33. Suppose -51*i + 1110 = -14*i. Is k(i) a multiple of 17?
False
Let k = 323 + -287. Suppose 0 = -k*c + 3106 + 5318. Does 18 divide c?
True
Let q(n) = -6*n - 10. Let z be q(3). Let t = z - -55. Is (9/6)/((t/(-408))/(-3)) a multiple of 7?
False
Suppose 33239 = 17*x + 10255. Is x a multiple of 50?
False
Let z(y) = y**2 + 44*y + 42. Let t be z(-27). Let h = t - -865. Is 20 a factor of h?
False
Let y = -28 + 37. Let r be 5 - y - 6*-1. Suppose 3*l = -k + 3*k - 318, -5*k = r*l - 776. Is 33 a factor of k?
False
Let b = 42 + -44. Let c(r) = 4*r + 10. Let i be c(b). Suppose 808 = 5*q + 4*k, -i*q - k + 149 = -176. Does 31 divide q?
False
Let d(m) = -m**2 + 2*m + 16. Let j be 1/(-2)*(5 + 3). Let s be d(j). Let w(k) = -22*k - 59. Is w(s) a multiple of 13?
True
Does 7 divide 19855/35 + (-2 - (-36)/21)?
True
Suppose 9*t = 4307 - 896. Is t a multiple of 21?
False
Suppose 4*k - c - 1344 = c, 2*k - 4*c = 672. Let p = -211 + k. Does 28 divide p?
False
Suppose 2 + 7 = -3*j. Let c be 174*(j + (-21)/(-6)). Let v = c + -77. Is v a multiple of 5?
True
Let j(v) = v**3 - 13*v**2 + 10*v + 24. Let n be j(12). Let r(u) = -2*u + 2. Let q be r(n). Suppose -o + q*m + 34 = 0, -5*m = -5 + 25. Is 7 a factor of o?
False
Suppose 0 = -2*l - 8, 10 = v + 3*l + 1. Is 73 a factor of (((-378)/12)/v)/(6/(-5840))?
True
Suppose 11*r + 0*r - 55 = 0. Let l = 86 - r. Suppose -2*y = -5*m - l, -5*y + 18 = 3*m - 138. Is 33 a factor of y?
True
Let q(d) be the third derivative of d**6/120 + d**5/20 - 3*d**4/8 + d**3/2 + 2*d**2 - 27. Does 5 divide q(3)?
True
Let h(x) = x**3 - 9*x**2 - 13*x + 16. Let l be h(10). Let p(n) = 4*n**2 + 3*n + 2. Let y be p(l). Suppose -9*g + g = -y. Is g a multiple of 23?
False
Let x = -60 + 75. Suppose -t = -5*m + 25, 0*t + t - x = -3*m. Suppose -5*j + 1040 = m*j. Does 26 divide j?
True
Let m(n) = 3*n**2 - 59*n + 208. Does 95 divide m(44)?
True
Let w = -90 + 126. Suppose 0 = w*z - 2035 - 4193. Does 24 divide z?
False
Suppose -491*a = -495*a + 13048. Is 29 a factor of a?
False
Suppose -u - 4*u = -2*q - 20, 0 = 5*u + q - 5. Suppose 4*b = -20, 3*f = -6*b + u*b + 1861. Does 55 divide f?
False
Let k be 2388/66 + 8/(-44). Let c = k + -30. Is c/12 + (-29)/(-2) a multiple of 15?
True
Suppose 0 = h + 2*j - 3121 + 155, -h + 2956 = 4*j. Is h a multiple of 12?
True
Suppose 11*t + 18 = 5*t. Let c(y) = 11*y**2 + 7*y + 25. Is c(t) even?
False
Let a(g) be the first derivative of -3*g**2/2 + 50*g + 22. Let l be a(16). Suppose -l*k - 6*k + 1288 = 0. Does 23 divide k?
True
Let i be 131/19 - (-36)/342. Suppose -1523 = -i*y + 1431. Does 12 divide y?
False
Let r be (-1)/(((-16)/(-744))/2). Does 17 divide (2 - -1)*1/(-9)*r?
False
Let m(g) = g**2 - 8*g + 5. Let o be m(8). Let i(a) = -5*a + 2 - a + 34*a + 7. Is 12 a factor of i(o)?
False
Suppose 72*v = 74*v. Suppose v = 2*d - 4*d + 5*h + 920, 0 = 5*d - 3*h - 2262. Does 9 divide d?
True
Let a be -2*(-3)/3 + (-1 - -1). Let d be (-2)/(-2) - 1 - (0 + a). Is 15 a factor of 1 - (-2 + (-132 - d))?
False
Let p = -283 - -340. Suppose -3*c - 143 = -5*r + p, -5*c - 18 = -r. Does 2 divide r?
False
Let u = 43 - 40. Suppose -3*h + 19 - 4 = 5*t, 3*h = u*t + 15. Suppose t = 3*c + 5*q - 148, 2*c - 28 - 62 = q. Is c a multiple of 4?
False
Suppose 12935 = 4*q + 3*h, -2*q + 5*h + 7916 - 1429 = 0. Does 6 divide q?
False
Suppose 4*o - 76293 = 3*u, -5*o = -u - 10638 - 84709. Is o a multiple of 21?
True
Suppose 338695 = -137*o + 1881452 + 204678. Does 42 divide o?
False
Let u(z) = 35*z**2 + 10*z. Let p be u(-4). Let f = p + -214. Is f a multiple of 17?
True
Let w = 28 + -25. Is 27 a factor of (4 + -2 - -223) + w?
False
Let o(h) = 2*h**2 - 18*h + 34. Let w be o(3). Is 29 a factor of ((2 - w) + -1)/((-42)/(-4060))?
True
Suppose -3*y - 4*s = -683 - 542, 0 = -4*y + 2*s + 1604. Suppose -10*g = y - 1803. Is 4 a factor of g?
True
Let s(w) = -5*w**2 - 13 - 316*w**3 - 310*w**3 + 22*w + 625*w**3. Is s(-8) a multiple of 3?
True
Suppose -20 = 4*k, -3*n + 5 = 4*k + 43. Let h(t) = t**3 + 7*t**2 - 8*t - 3. Is h(n) a multiple of 12?
False
Let t = -81 - -42. Let g = -71 + t. Let f = -58 - g. Does 14 divide f?
False
Suppose -1496*z - 6624 = -1504*z. Is 23 a factor of z?
True
Is 10 a factor of ((-2553)/(-345))/(1/3155)?
False
Suppose 3*t - 4459 = -18*y + 17*y, -t + 1470 = -2*y. Does 3 divide t?
False
Let x(j) = 104*j**2 - 109*j + 454. Is 29 a factor of x(4)?
True
Let i(k) = k**3 - 6*k + 2. Let h be i(4). Suppose 5*s + 11 = -5*r + 76, 0 = -3*s - 4*r + h. Suppose -910 = -s*v + 10. Does 23 divide v?
True
Suppose 24*x + 42*x = 43*x + 1265. Is x a multiple of 55?
True
Suppose -5*w - 4*r = -27279, -24*w = -22*w - 4*r - 10878. Does 69 divide w?
True
Let c(q) = 16*q + 46. Let a be 192/(-176)*22/(-4). Is 16 a factor of c(a)?
False
Suppose 24*t - 115 = 19*t. Suppose -t*k - 3547 + 19003 = 0. Is 32 a factor of k?
True
Let o be (-114)/76*(-3856)/6. Suppose 4*n - o = -4. Does 16 divide n?
True
Let w be (-50)/(-15)*24/20. Suppose 0 = 2*z - w*z + 768. Suppose 3*r + z = 5*l, 0 = 8*l - 4