 96. Is 8 a factor of t?
True
Suppose 0 = -24*n + 32*n - 24. Suppose -246 = -2*u - 2*y, -4*u + n*y + 258 = -213. Is u a multiple of 12?
True
Let x(r) be the first derivative of -5*r**4/4 + r**3/3 + 3*r**2 + 2*r + 17. Is x(-4) a multiple of 11?
False
Let a be (-1)/(-3) - ((-77)/21 + 3). Is 66 a factor of 410 - (-3 - a) - 2?
False
Let b(t) = 73*t**2 + 25*t - 23. Let m be b(1). Let y = -27 - 8. Let f = y + m. Is f a multiple of 6?
False
Let a be ((-60)/(-25))/(10/75). Suppose a*c - 1016 = 10*c. Is c a multiple of 10?
False
Suppose 0 = 4*c - 4*h - 40, h - 27 - 33 = -4*c. Suppose -13*a = -c*a + 58. Suppose a = o + o. Is 29 a factor of o?
True
Let v(t) = 2*t**3 - 41*t**2 - 24*t + 11. Let o be v(21). Is 162*((-169)/o + 2/(-8)) a multiple of 27?
True
Let d(g) = -g**2 + 8*g + 10. Let w be d(9). Suppose -2*j + 5 = 3*l, -l - j + w + 1 = 0. Does 29 divide -38*(0 + l)*-2?
False
Let v = 68 - 65. Suppose 3*c = 5*w - 63, -5*c = -2*c + v. Is ((-57)/w)/(6/(-168)) a multiple of 34?
False
Suppose -41565 = -111*d + 94*d. Does 5 divide d?
True
Let t = 42830 + -30647. Is 131 a factor of t?
True
Is 290/232 + (-13278)/(-8) a multiple of 11?
True
Let r = -6338 + 6337. Let l be (-108)/5 + 4/(-10). Is 3 + r + -2 - (l - -1) a multiple of 13?
False
Is 7 a factor of (-2 - (3 - 16)) + 2656?
True
Let u(k) = -513*k - 372. Does 24 divide u(-4)?
True
Let q(c) = 10*c**2 + 267*c - 233. Is 31 a factor of q(-64)?
False
Is 29 a factor of (0 - -377)/(33/27 - (-12)/(-54))?
True
Suppose -2*m + 4*k = -384, -2*m + 5*k + 382 = 2*k. Suppose -6*w = -4*w - m. Is 7 a factor of w?
False
Suppose 0 = -16*c - 1071 - 12049. Let u = c - -1278. Is 58 a factor of u?
False
Let d = -122 + 0. Let z = d + 220. Suppose 3*p = 2*p + z. Does 14 divide p?
True
Let t(h) = 23*h**3 + 21*h**2 - 7*h + 12. Let v(o) = -32*o**3 - 31*o**2 + 11*o - 18. Let w(q) = -7*t(q) - 5*v(q). Let a = 17 - 10. Does 13 divide w(a)?
True
Let u(r) = 21*r - 3. Let b be u(-2). Let w be 18/(-5) + 2 + (-27)/b. Is 20 a factor of 8 - (w - -12) - (-65 + 0)?
False
Let d(r) = -r**3 + 18*r**2 + 40*r + 8. Let z be d(20). Does 25 divide (-200)/(-3)*36/z?
True
Let w be 37*(-4 + 5) - (-1 - 5). Suppose 0 = -4*l - 20, 42*l - w*l + 981 = 2*q. Is 14 a factor of q?
False
Suppose -1720 + 9338 = -26*i. Let d = -191 - i. Does 4 divide d?
False
Let a(p) = -19*p**3 + p. Suppose 0 = -5*m - 4 + 9. Let s be a(m). Is ((-2)/s*-3)/(1/(-171)) a multiple of 6?
False
Let g be -11 + 123 + 48/(-6). Let a = g + 856. Does 39 divide a?
False
Suppose -5*q - 2*n = -0*q - 56, q + 5*n = 25. Is 14 a factor of 842/q + 16/(-80)?
True
Let w = -606 - -610. Suppose -h + 369 + 7 = w*i, -3*i + 2*h + 282 = 0. Is i a multiple of 12?
False
Let c(n) = n**2 + 5*n + 20. Let l be c(-5). Suppose 253 = -l*a + 2153. Is a a multiple of 11?
False
Suppose 0 = -98*l + 95*l + 99. Let j = l + 295. Suppose 1003 = 3*w + j. Is 25 a factor of w?
True
Let p(f) = 50*f**2 - 3*f + 1. Let d be p(-3). Let v = d + -163. Is 6 a factor of v?
False
Suppose 3*o - h + 234 = 0, 5*o + 2*h + 2*h + 373 = 0. Let j = 529 - o. Is 7 a factor of j?
False
Let x = 2680 - -2663. Does 13 divide x?
True
Let i be (((-1127)/(-42))/(-23))/(1/(-6)). Suppose -i*v + 1624 = -280. Is 17 a factor of v?
True
Let u be (-5)/(-8 + -2)*8. Suppose -u*j = 4*s + j - 3188, 5*s - 3956 = j. Does 12 divide s?
True
Let a = -9 - -11. Suppose 25 = i - 4*j, -j = -a*i + j + 20. Suppose 0 = -x + 5, 5*x - 84 - 156 = -i*v. Is 27 a factor of v?
False
Let n be 94*((-3)/6 - -2). Suppose -n = 4*m + 155. Let s = 116 + m. Is s a multiple of 11?
False
Let m be 12 - (15/((-9)/(-3)) - 5). Does 5 divide 161 - 2/(1*(-4)/m)?
False
Let q(g) = 8*g**3 + g**2 + 8*g - 6. Let c be q(3). Suppose 7*x + c = 8*x. Suppose 3*n - j + 4*j = x, 4 = 4*j. Does 10 divide n?
True
Let b = -11094 + 40506. Is b a multiple of 43?
True
Let r = -4368 - -6880. Is r a multiple of 37?
False
Is 4 a factor of 0 + -4 + 1 - (4 + -2753 - 6)?
True
Is ((-1445190)/840 - 2/7)*-4 + 2 a multiple of 45?
True
Suppose -97*l + 493 + 4648 = 0. Suppose 0 = 3*h - 2*v - 11, 2*h - 5*v + 5 + 6 = 0. Let x = h + l. Does 6 divide x?
True
Is 3 a factor of (6/(-4))/(((-84)/3584)/((-82)/(-4)))?
False
Suppose 5*d - 20 = 0, -2*u + 6496 = 797*d - 801*d. Does 22 divide u?
True
Suppose -2*t = -5*f + 40462, 4*f + 8*t - 32367 = 7*t. Is 145 a factor of f?
False
Let q(r) = -r**3 - 6*r**2 - 3*r - 13. Let p(f) = -2*f - 1. Let t = -50 - -53. Let n be p(t). Is q(n) a multiple of 22?
False
Let h be 0 + (-45 - (-2)/2). Let w be ((-376)/32 - -12)*212. Let p = w + h. Does 3 divide p?
True
Is 3 a factor of (-2 + (-41)/4)/(1 + 735/(-732))?
False
Let g be 8 + 40/(2 - 7). Suppose -362 = -g*h - 2*h + 2*v, 2*h = 5*v + 365. Is h a multiple of 12?
True
Suppose -4*i = 5*a - 41, -2*a - 5*i = -47 + 17. Suppose a*r - 13*r = -264. Is r a multiple of 15?
False
Let i(m) = -m**2 - 41*m + 7370. Is 2 a factor of i(58)?
True
Suppose -180*t - 6084 = -182*t + 5*y, 3*y = 3*t - 9117. Is t a multiple of 13?
False
Let d(c) = -c**3 - 7*c**2 + 7*c + 3. Let h = -69 + 61. Let u be d(h). Let q = 19 - u. Is 8 a factor of q?
True
Suppose 0*f + 4*f - 108 = 0. Let h = f - -112. Suppose h + 101 = 5*o. Is 24 a factor of o?
True
Suppose 0 = -2*p + 8, 16 = 2*k + 5*p - 60. Let f = k + -18. Is 846/f + 6/15 a multiple of 17?
True
Let n = 136648 + -84689. Is 223 a factor of n?
True
Suppose 1365 = 2*d + x - 3593, -9916 = -4*d + 3*x. Does 4 divide d?
False
Let k(u) = 1470*u**2 + 43 - 4*u + 21*u - 1471*u**2. Is 8 a factor of k(14)?
False
Let h be (-2)/8 - (900/(-16) + 2). Let y(g) = -2*g - 6. Let f be y(-8). Suppose 0 = -13*r + f*r + h. Is r a multiple of 11?
False
Suppose -20 = -6*s + 40. Suppose 6*v - 3*v + 17 = -5*f, -2*v - s = 2*f. Is 6050/90 - v/(-18) a multiple of 9?
False
Suppose 4*s = q - 7813, 166*q - 2*s + 39065 = 171*q. Is 19 a factor of q?
False
Let n = -841 + 49. Is (-297)/n - (2 - (-458)/(-16)) a multiple of 4?
False
Suppose -197 = 3*r - 3*s - 62, -3*r + 2*s = 139. Suppose 4*i - 208 = -4*o - 0*o, 2*o + 4*i = 100. Let y = r + o. Does 3 divide y?
False
Suppose 2*c + 26 - 154 = 0. Suppose 4*u - 3*o - 350 = c, -4*u + 4*o + 416 = 0. Is u a multiple of 34?
True
Let l = 2478 - 1623. Suppose 2*f + i + 101 - l = 0, 5*i + 388 = f. Is f a multiple of 9?
True
Let p be 12/186 - (-1720)/248. Suppose -3*j + p*j = 3*n - 1835, 0 = 3*n - 5*j - 1831. Is 26 a factor of n?
False
Let f(r) = 8*r**3 + 2*r + 13. Let v be f(-7). Let n = v + 1476. Is 4/10 - n/15 a multiple of 17?
True
Let x(g) be the second derivative of g**8/6720 + g**5/60 + g**4/6 - 26*g. Let a(i) be the third derivative of x(i). Is a(2) a multiple of 5?
True
Let r = -747 + 50. Let g = -310 - r. Suppose 0 = -c - 2*c + g. Is c a multiple of 43?
True
Let d be (10675/3)/(-5) + 2/(-6). Let o = -462 - d. Is 2 a factor of o?
True
Let c(h) be the first derivative of -13*h**2/2 + 28*h + 31. Let x be c(7). Let w = x - -71. Is 5 a factor of w?
False
Let v(g) = -10*g + 86. Let b be v(8). Suppose 1794 = b*c - 1242. Does 8 divide c?
False
Let i = 135568 - 86551. Is 243 a factor of i?
False
Suppose 0 = 5*i + 2*x - 3367, i = 4*x - 3*x + 679. Suppose 5*q = 3*s - 5*s + 276, -5*s + i = 5*q. Does 15 divide s?
False
Let x be (-4)/2*-2 + -114. Let f = x + 117. Suppose -f*q + 282 = -q. Does 5 divide q?
False
Let b = -4 - 3. Let k(d) = d + 9. Let a(o) = o + 2. Let y(f) = -2*a(f) + k(f). Is 12 a factor of y(b)?
True
Suppose 3*v + 1 = -4*o + 49, -5*v + 5*o = -45. Suppose v*g - 80 = 16*g. Is 9 a factor of ((-6)/10)/((-8)/g)*-60?
True
Let q be ((-10)/25)/((-10)/(-200)). Does 13 divide (-80 + 7 + q)*-13*1?
True
Suppose -a + 2237 = 3*o, -58*a + 56*a = o - 4479. Is 7 a factor of a?
True
Let a(m) = 41*m - 24. Let k = -46 + 55. Let g be a(k). Suppose 10*q + g = 15*q. Does 17 divide q?
False
Let c be 36*(-12)/32*2. Let r = c - -11. Does 2 divide r/(-56) - (-61)/7?
False
Suppose -2*q + 6562 = -4*z, -4549 - 2004 = -2*q + z. Does 116 divide q?
False
Suppose -26*k + 23 + 55 = 0. Suppose -26*s + 24*s = q - 133, -k*s + 192 = 3*q. Is 5 a factor of s?
False
Let a(j) = 2*j**2 + 13*j - 54 - 75 + 83. Is 58 a factor of a(10)?
False
Let c(t) = 33*t**2 + 3*t. Let f be c(-1). Suppose -l + f = -29. Does 10 divide l/2*(1 - -1)?
False
Suppose 2*f = 5*l - 14969, 27*l = 22*l - f + 14978. Is l a multiple of 34?
False
Suppose -45*v + 519890 = 67*v - 1716302. Does 67 divide v?
T