60/(-52)?
True
Let i(h) = 3*h - 60. Let q be i(25). Suppose -w - 2*d = -q, w - 11*d - 17 = -14*d. Is 2 a factor of w?
False
Let z be 3/(5*4/40). Does 4 divide 50/13 - z/(-39)?
True
Suppose -9*o = -7*o - 8. Suppose 2*f + o*n = 28, -f + 3 = -3*n + 4. Is f a multiple of 3?
False
Let i be ((0/2)/3)/(-5 + 6). Does 15 divide 10 + -10 - (-51 + i)?
False
Let h be -2 + 1 - (-2 + -5 - -6). Suppose -a = -2*d - 4*a + 43, 3*a - 3 = h. Is d a multiple of 3?
False
Let f = -16 - -197. Let a = -25 + f. Is 13 a factor of a?
True
Let o = -4052 - -6706. Does 32 divide (-3)/18 + (o/12 - 1)?
False
Suppose 8*v = 93 + 51. Suppose 0 = -4*l - 3*p + 97 + v, 2*p + 138 = 5*l. Is l a multiple of 18?
False
Suppose -18 = 12*s - 15*s. Let c be 70/8 - (-2)/8. Suppose -c*o + 24 = -s*o. Does 5 divide o?
False
Suppose 1609 = 2*m + m + 5*k, 4*k + 16 = 0. Does 23 divide m?
False
Let x(s) = -s + 11. Let h be x(8). Suppose 4*c + 191 - h = 0. Let a = -33 - c. Does 7 divide a?
True
Suppose -3*t + 6 = 3*y, t = -4*t - 4*y + 13. Let r(q) = 4*q**2 - 7*q - 4. Let f be r(8). Suppose -t*c = -f + 61. Is c a multiple of 6?
False
Let r be -2 - (-6)/(-5)*5. Let d(n) = -157*n + 20. Let j be d(r). Is 20 a factor of 2/16 + j/32?
True
Let j = -4417 + 7089. Is j a multiple of 7?
False
Let i be (1256/(-32))/((-1)/(-4)). Let p be (-4 + 91)*(-1)/1. Let m = p - i. Is 20 a factor of m?
False
Is 8*(-21160)/(-112) - (-12)/(-28) a multiple of 12?
False
Let r(g) = -g**3 - 2*g**2 + 14*g + 14. Let d be r(-6). Let b = d - 45. Is b a multiple of 6?
False
Suppose -3*o + 5196 = -1167. Does 18 divide o?
False
Suppose 0 = -20*d - 4256 + 17236. Does 59 divide d?
True
Let o(t) = 58*t**2 + 47*t - 145. Is o(3) a multiple of 22?
False
Suppose -2*m - 3202 = 5*u - 13088, -3*u - 5*m + 5924 = 0. Let j = -2770 + u. Is (j/(-60))/((-2)/(-10)) a multiple of 22?
True
Let l = 3 - 1. Suppose 5*b + 2 = -8, -3*c - l*b - 7 = 0. Let j = c - -4. Does 3 divide j?
True
Let v(y) = -5*y**2 - 100*y + 35. Is 5 a factor of v(-19)?
True
Let o(n) = -3*n - 4. Let z be o(11). Let g = 55 - z. Is 15 a factor of g?
False
Let q(u) = u**3 - 22*u**2 + u + 14. Let f be q(22). Let j = 28 + f. Does 14 divide j?
False
Let x be (6/(-9))/(6/9). Let k = x + 5. Suppose k*u - 66 = 54. Is u a multiple of 21?
False
Let g = 24 + -4. Let t(k) = k**2 - 20*k + 14. Is t(g) a multiple of 7?
True
Suppose 0 = -63*r + 67*r - 1292. Is r a multiple of 15?
False
Let s = 0 + 1. Let a be (10/4)/(s/2). Suppose 2*b - 25 = -a. Is b a multiple of 7?
False
Is 15 a factor of (-634 + 2)*17/(-34)?
False
Is 455 + 12*(-9)/(-12) a multiple of 4?
True
Suppose l + 39 = 4*i + 213, -4 = 2*i. Is 19 a factor of l?
False
Let r be -7 - -12 - (-1)/(-1). Suppose 0 = 3*d + 3*s - 12, -2*d + r*d - 5 = s. Does 9 divide 9/6*18/d?
True
Suppose 0 = 2*w + 2*w - 3*y - 1437, -5*w + 1798 = -2*y. Does 40 divide w?
True
Let i(k) = -14*k + 14 - 48*k**3 + 47*k**3 - 8 + 12 - 13*k**2. Is 21 a factor of i(-12)?
True
Let x(u) = 17*u + 50. Let w be x(20). Let l = -222 + w. Does 24 divide l?
True
Let n = 57 - 30. Suppose -5*y - t + 11 = 0, 3*y - 3*t = -2*y + n. Does 17 divide (-5)/15 + 205/y?
True
Suppose 0 = 8*g - 652 - 68. Is 6 a factor of g?
True
Let j = 537 + -177. Is 40 a factor of j?
True
Let c(o) be the third derivative of -o**5/60 + 5*o**4/8 + 7*o**3/6 - 6*o**2. Is 18 a factor of c(7)?
False
Suppose 3*s - 2307 = -3*l, 6*l - 1526 = 4*l + s. Is 7 a factor of ((-14)/5)/((-18)/l)?
True
Suppose -2*x + 5 = 3. Suppose 3*q = -3 + 18. Let a = x + q. Is 6 a factor of a?
True
Let r(n) = n**3 + 11*n**2 + n + 7. Let t be r(-11). Is 3 a factor of 317/21 + t/42?
True
Suppose -2*l - 2*k = -l - 1139, 2*l - k - 2293 = 0. Suppose -4*r = 89 - l. Is 33 a factor of r?
True
Suppose 3*n + n = 0. Let b(c) = -c**3 - c - 5*c + 6 - 4*c + n*c - 10*c**2. Does 5 divide b(-9)?
True
Suppose r + 6156 = 4*f, 2*f - 3078 = -19*r + 21*r. Does 27 divide f?
True
Let g be -3 + 9/((-18)/(-8)). Let b = g + 7. Suppose -360 = b*p - 13*p. Is p a multiple of 19?
False
Suppose 0 = -v + 3*d + 1532, -3*d = 3*v - d - 4651. Is 13 a factor of v?
True
Let x(g) = -g**2 - 8*g - 4. Let w be x(-7). Let f be (w + 3 - -1)*1. Suppose f*d - 96 = 3*d. Is d a multiple of 12?
True
Suppose -2*d + 5828 = -5*z, d + 19*z - 2940 = 15*z. Is 34 a factor of d?
True
Let x = 4297 - 2974. Does 25 divide x?
False
Let r be -170 - (-4)/(-2 + 3). Let p = 298 + r. Is p a multiple of 11?
True
Let v = -255 - -444. Does 11 divide 3 + -11 + 3 + v?
False
Suppose f + 28 = -0*f. Let o = 16 + f. Is (o/(-2))/(3/27) a multiple of 14?
False
Let b(t) be the third derivative of t**4/24 + 2*t**3/3 - 2*t**2. Let k = -10 - -17. Is 11 a factor of b(k)?
True
Let x(l) = -5*l**3 + 2*l**2 + 5*l - 7. Let v be x(-3). Suppose 0*z - z = -v. Does 13 divide z?
False
Suppose 69 = -6*m + 9*m. Suppose -7 = 3*p + m. Is (-5)/(p/12) + 1 even?
False
Suppose x - 838 = -3*t, 5*t + 3*x - 934 - 464 = 0. Is 6 a factor of t?
False
Let p be 8/(-6)*(-3)/2. Suppose p*h = -2*h. Suppose -3*q + 78 = -h. Is 13 a factor of q?
True
Let l(u) = 6*u**2 - 10*u + 17. Let y be l(4). Let i = y + -45. Is 3 a factor of i?
False
Let g be (-8 - -3) + (1 - -2). Let n be g - 10*(-1 + 3). Let i = 97 + n. Is 25 a factor of i?
True
Suppose 2262*o - 8368 = 2254*o. Is 14 a factor of o?
False
Let i(z) = -z + 11. Let u be i(-9). Let o = u + -16. Suppose 190 = o*b + 78. Is b a multiple of 8?
False
Let r be ((-158)/(-8))/((-2)/(-8)). Let p be 2 + 0 - (-10 - r). Is 5 a factor of 2/14 + 533/p?
False
Suppose v - 2*s - 164 = 0, -4*v = -5*s - 271 - 382. Is v a multiple of 18?
True
Suppose -3*q - 2*q = 5. Let h(d) = -5*d**3 + d**2 + d. Let m be h(q). Let u = m + 18. Is u a multiple of 7?
False
Suppose 0 = 13*z - 91032 + 26721. Is z a multiple of 49?
False
Suppose -2*f + 213 = -5*d, 2*f = -3*d + 2*d + 243. Suppose -f = -5*p - 19. Does 9 divide p?
False
Let c(f) = -f**3 - 7*f**2 + 12*f - 1. Let p be c(-12). Suppose 3*r - 4*z - 344 = 0, -115 + p = 4*r - 5*z. Is r a multiple of 6?
True
Let l(n) = n**2 - 11*n - 5. Let k be l(12). Suppose k*g - g = 0. Suppose g = 7*w - 12*w + 350. Is w a multiple of 14?
True
Suppose 3*f = a - 4, -16 = 5*f - 0*a - 4*a. Let b be (f - (1 - 2))*3. Is (-9)/3 + (b - -5) a multiple of 3?
False
Let c = 55 + -75. Let o = 20 - c. Does 7 divide o?
False
Suppose 617*t = 619*t - 584. Is t a multiple of 22?
False
Let l = -765 - -1041. Does 69 divide l?
True
Let n = 1146 + -2439. Let h = 5 - 1. Does 10 divide h/(-22) - n/33?
False
Let f = -2084 + 3252. Is 6 a factor of f?
False
Suppose -38*m + 70746 = -3430. Does 69 divide m?
False
Let v(t) = 2*t + 1 + 0*t - 3*t + 4*t. Let f be v(1). Is ((-6)/f)/(2/(-28)) a multiple of 16?
False
Let k(j) = 9*j + 4. Let u be k(-3). Let s be 3*2/3 + 31. Let l = u + s. Is l a multiple of 5?
True
Let y = 1 + 8. Let k(u) = -4 + 3 + y*u - 4*u. Is 6 a factor of k(6)?
False
Let d = -8 - -10. Suppose -5*v = d*a - 529, -v = 2*a - 3*a - 110. Let p = -12 + v. Is 15 a factor of p?
False
Let s(v) = -5*v + 5. Let o(c) = c - 1. Let a(r) = 6*o(r) + s(r). Is a(5) even?
True
Let a be ((-2)/6)/(1/(-12)). Suppose f + 6*d - 2*d = 65, 4*f + 5*d - 293 = 0. Suppose a*w = 255 + f. Is w a multiple of 12?
False
Let x(s) = -765*s**3 + s**2 + 3*s + 2. Let w be x(-1). Is 7/(35/w) + 3 a multiple of 35?
False
Let b = 193 - 89. Suppose -2*v + 15 = -3*v + 5*u, 2*v + 5*u + 90 = 0. Let f = b + v. Does 20 divide f?
False
Let u(c) = -c + 2. Let d be u(-4). Suppose 2 = 4*t - d. Suppose -6*z = -t*z - 20. Is z a multiple of 4?
False
Let n = -8188 - -11704. Is n a multiple of 13?
False
Does 13 divide 3 + 560 - 20/10?
False
Let d = 38 - 22. Let h be d + (-1 + -5)/(-3). Suppose 3*i - 5*u - h = -0*i, 0 = 3*i + u - 36. Does 5 divide i?
False
Let n = -1606 + 2518. Does 16 divide n?
True
Let q = 21 + -23. Is 23 a factor of (q/(-6))/(5/345)?
True
Let o(v) = -4*v**3 + 4*v**3 + 6*v**2 + v**3 + 1 + v + 11. Is o(-5) a multiple of 2?
True
Let w be (3 - (-27)/(-6))*22. Let i = -13 - w. Suppose i*y - 42 = 17*y. Does 8 divide y?
False
Let p(a) = -22*a - 2 + a**2 + 12*a**2 + 16*a. Is p(3) a multiple of 14?
False
Is 7/(70/(-25))*-184 a multiple of 15?
False
Suppose -4 = 3*j - 2*j. Suppose -2*i - 14 = l, -l = -2*l - 3*i - 15. Is 11 a factor of (-54)/j*(-16)/l?
False
Is 18 a factor of 7060/7 + (2 - (-90)/(-35))?
True
Let c be (2/(-4))/((-5)/600). Is 2/10 - (-3108)/c a multiple 