 of 3?
True
Is (798164/259)/((-10)/(-14)) + 14/(-10) a multiple of 28?
False
Let m be (-22)/(-6) + 4/12. Suppose r + 859 = 2*k - m*r, -2*k - r + 829 = 0. Is k a multiple of 14?
False
Suppose 0 = j - 4*b - 10325 + 1429, 4*j - 5*b - 35562 = 0. Is 101 a factor of j?
True
Suppose 9*b = -4*b + 52. Let d be (b*5/20)/(1/5). Suppose d*y + 5*p - 669 - 451 = 0, 5*p = -3*y + 680. Does 37 divide y?
False
Let g be (13 - (9 - 12))*2/4. Does 13 divide (g - 7)/((-2)/(-1168))?
False
Let l(g) = g**2 + 2*g - 3. Let o be l(-3). Is 39 a factor of 21411/(-122)*(o + (-4)/3)?
True
Suppose -p - p = -48. Let s = 1391 - 851. Suppose g + 3*o - p - 71 = 0, 2*o - s = -5*g. Does 11 divide g?
True
Let b be (7 - 22)*(16 - -1). Is 20 a factor of (26/(-39))/(2/b)?
False
Let w be 10/4 - 856/(-16). Does 7 divide (w/(-32))/((-3)/12)?
True
Let j(v) = v**2 - 8*v - 58. Let l be j(12). Does 9 divide 49080/200 - (-4)/l?
False
Let k(f) = 14*f - 3. Let d be k(0). Does 31 divide 4/3 + (-1019)/d?
True
Let t = 78 - 28. Suppose -t = -5*h - 0*h. Suppose 0 = -h*o - 7*o + 2312. Is 11 a factor of o?
False
Let r(d) = -11*d**3 + 4*d**2 + 44*d - 92. Does 44 divide r(-10)?
True
Suppose 10 = 5*y, 0 = 5*d - 2*y + 2042 + 782. Let l = d - -824. Suppose -2*p = -7*p + g + 404, -3*p + 5*g = -l. Is p a multiple of 10?
True
Let w(n) = 20*n**2 + 94*n - 252. Does 42 divide w(-21)?
True
Let f be 360/27*(-18)/(-15). Suppose 5*v = -2*r + 1656, 12*v = f*v. Does 69 divide r?
True
Let s(b) = 4*b - 25. Let x be s(8). Suppose x*r - 4*r = -4*o, -5*r + 5*o = 0. Is 29 a factor of 0 + 87 + 2 + (r - 2)?
True
Suppose -2*f + 5*z + 60 = 0, -4*f + 71 + 21 = -3*z. Let t = f + -20. Suppose 0*y - y + 33 = t. Does 7 divide y?
False
Let n(q) be the second derivative of 2*q**4/3 - 2*q**3/3 - q**2/2 - 24*q. Is n(7) a multiple of 11?
True
Let n = -340 - -3937. Is 109 a factor of n?
True
Let a(q) = q**3 + 7*q**2 - q - 4. Let d be a(-4). Let o be (d/(-14))/6*7/(-2). Suppose 2*p + 2*x - 84 = 0, -o*x - x - 34 = -p. Is p a multiple of 8?
True
Let a(x) = 89*x**2 + 175*x - 1153. Is a(7) a multiple of 11?
True
Let u = 22951 - 22704. Is u a multiple of 51?
False
Let g(y) be the second derivative of 0 + 1/20*y**5 + 1/4*y**4 - 4*y - 7/2*y**2 - 7/2*y**3. Does 11 divide g(5)?
True
Let m(c) = 151*c**2 - 9*c + 24. Let r be m(-9). Suppose 6168 = 2*i + 5*f, 8*i - r = 4*i - f. Suppose -p = 11*p - i. Is p a multiple of 20?
False
Let n(a) = 2*a**2 + 21*a + 3. Let o be n(-8). Let y = 254 - o. Is y a multiple of 97?
True
Suppose -20447 - 23263 = -26*w + 52022. Does 7 divide w?
True
Suppose -5*m + 8067 = 3*o, 2*o - 6452 = -m - 3*m. Is (-4)/(6/m*-3) a multiple of 16?
False
Let g(f) = -f**3 - 37*f**2 + 3*f + 117. Let j be g(-37). Let i = -41 - -117. Suppose -j*x = -2*x - 4*c - i, -4*c = -3*x + 54. Does 22 divide x?
True
Let a = 9534 - -7143. Does 15 divide a?
False
Let q(r) = 33*r**2 + 2*r - 3. Let a be q(1). Let k = a - 0. Suppose -3*s = -1 - k. Is s a multiple of 8?
False
Let g = 3338 + -1655. Is g a multiple of 17?
True
Suppose -66 = 24*q - 13*q. Is 13 a factor of q + (-5 - -102)/1?
True
Suppose 5*w - 10*w = -60. Is (-2)/w - 30928/(-96) a multiple of 52?
False
Is 20 a factor of -2*(-2)/(-14) + (1 - 14002/(-7))?
False
Suppose 2*u + 36507 = 4*b + 3*u, -2*b + 2*u + 18246 = 0. Does 78 divide b?
True
Let z(n) = n**3 - 13*n**2 + 23*n + 1. Let i be z(7). Is 39 a factor of 8084/7 + i/154?
False
Let h(l) = 20*l**2 + 5*l - 1. Suppose 35*a - 34 = 33*a. Let v = 19 - a. Is 11 a factor of h(v)?
False
Let u(r) = 47*r**3 - 8*r**2 - 24*r + 129. Does 30 divide u(5)?
False
Suppose -4*r + 14 = -3*h, 16 = -2*h + 2*r + 2*r. Suppose 1 = g - 2. Suppose -4*i + 0*i + 2*j = -354, h*j = g*i - 264. Is 15 a factor of i?
True
Is 2 a factor of (-61575)/200*12/18*-48?
True
Suppose 4*w - 13*n = -15*n + 69648, 2*w - 34840 = -5*n. Is w a multiple of 19?
False
Suppose 4*p = -5*r - 1000, 2*r - 259 = p - 9. Let g = 464 + p. Does 20 divide g?
False
Let n = 116 + -116. Suppose -3*y + m + 254 = n, -y = 4*y + m - 418. Suppose -y*a + 82*a = -394. Is 18 a factor of a?
False
Suppose -249*l = 931082 - 4010016 - 3109214. Does 19 divide l?
True
Suppose 3129 = 3*s + 4*b - b, 4*s - 4174 = -2*b. Suppose 10*x - 226 = s. Let k = 149 - x. Is 11 a factor of k?
True
Is 23 a factor of (1 - 154/(-8))*(-562 - -1174)?
False
Does 57 divide (56815/((-22)/(-2)))/(15/18)?
False
Suppose -6*b - 9 = -33. Suppose 0 = 3*o + b + 5. Does 25 divide 84/4 + (o - -7)?
True
Suppose -3*n + 1395 = -0*r + 3*r, 4*r - 2*n - 1842 = 0. Suppose -5*c + r = v, 2*c = -1 + 9. Is v a multiple of 17?
True
Suppose 47*o + l - 101435 = 45*o, 5*l = -3*o + 152170. Does 17 divide o?
False
Let r = 174 + 518. Suppose -90 = -2*w - 5*a + 256, 4*a - r = -4*w. Is w a multiple of 36?
False
Suppose 0 = 2*b + 4*l - 724, 3*b + 5*l - 559 = 530. Let s(p) = -16*p + 111. Let h be s(18). Let a = b + h. Is a a multiple of 22?
False
Let m be (-6824)/(-5) + -5 + 260/50. Suppose 7*v - 1680 - m = 0. Does 29 divide v?
True
Let g(m) = -675*m - 145. Let u be g(-21). Suppose -54*o - u = -64*o. Is 41 a factor of o?
False
Let i be (2 - -1)*(61 + -1). Let s = 3666 + -3297. Suppose p - 113 = -d, 5*p + d - i - s = 0. Is p a multiple of 22?
False
Let q be 0/(-2 - -5 - 5). Suppose -4*h + 0*h - 468 = q. Is ((-12)/9)/(2/h) a multiple of 39?
True
Let l(w) = 2*w**2 - 2*w. Let k be l(3). Let b be (-4)/(-3)*1530/k. Suppose 2*i - b = -3*i. Is 6 a factor of i?
False
Let s = -24 + 36. Is 25 a factor of 3*556/s*1?
False
Is 29 - (-1201264)/48 - 4/(-6) a multiple of 108?
True
Let h(k) = k**3 - 9*k**2 - 11*k + 29. Let t be h(11). Let p = t - 38. Is 16 a factor of p?
True
Suppose -742 = -2*m - 296. Suppose -m = -4*j + 245. Is 31 a factor of j?
False
Let q(u) = 1129*u**3 + 17*u**2 - 22*u + 4. Is 11 a factor of q(1)?
False
Let d be (-1844)/(-14) + (-8)/(-28). Suppose d = t - 82. Is t a multiple of 6?
False
Suppose s + 4*y = -59, -157 = 2*s - 3*y - 2*y. Let d = 87 + s. Suppose -21*z + d*z = -1050. Does 42 divide z?
True
Let z be 0/(0/(-1) + 2). Let m = 725 + -718. Suppose m*a - 16 - 152 = z. Does 3 divide a?
True
Let q = -1109 + 2227. Suppose -5*z + q + 1012 = 0. Is z a multiple of 25?
False
Suppose 37*q + 17403 = 41*q + c, 4*c - 21729 = -5*q. Is 7 a factor of q?
False
Let m(h) be the first derivative of -h**3/3 + 3*h**2 - 6*h + 12. Let n be m(4). Suppose n*k - 152 = -0*k. Does 19 divide k?
True
Suppose 0 = 25*f - 28*f - 96. Does 9 divide ((-6)/(-27) + f/(-180))*270?
True
Let r(t) = 11*t - 34 - 12*t**2 - 61 - 16*t**2 + 37*t**2. Is 30 a factor of r(9)?
False
Let m(a) = -a**2 - 7 - 11*a - 14*a + 12*a. Let g be -7 + (-12)/3 + 1. Does 9 divide m(g)?
False
Let t(n) = 12*n**2 - 5*n + 14. Let k be -2*4*2/(-4)*1. Let u be t(k). Let p = u + -78. Is p a multiple of 8?
False
Let t(a) = -2*a**3 - 85*a**2 + 171*a + 109. Does 242 divide t(-51)?
False
Let m(s) = -24*s + 199. Let h = -91 - -59. Is m(h) a multiple of 11?
False
Suppose 79*a + 32*a = 20*a + 1224223. Is 25 a factor of a?
False
Let x be (231/(-9))/(2/(-12)). Suppose 3*u + 3*g - 104 = x, 4*g + 336 = 4*u. Is 5 a factor of u?
True
Let g(y) = -185*y - 769. Does 78 divide g(-5)?
True
Let y = 1272 + 2331. Does 13 divide y?
False
Let x(y) = -y**2 + 11*y + 2*y + 14 + 2*y. Let o(h) = -13*h**2 + 119*h - 6. Let l be o(9). Is x(l) a multiple of 15?
False
Let x = -18620 - -25581. Is 5 a factor of x?
False
Suppose -3*v - 7*v + 40 = 0. Suppose 6*x - 10*x = v. Is ((-104)/(-12))/(x/(-3)) a multiple of 10?
False
Suppose 2*l = -g + 124, 5*l + 0*l - 246 = -2*g. Is 36 a factor of (-15 - -6)/((-2)/g)?
True
Suppose 47*r = 33483 + 162742. Is r a multiple of 83?
False
Let k be 8866/8 + (3 - (-13)/(-4)). Let b = k - 750. Is b a multiple of 50?
False
Let g = 155 + -81. Let p = g - -126. Is p a multiple of 10?
True
Does 17 divide (-9)/(-11 + 20) - -3129?
True
Is 306 a factor of (8 + -16 - -11)*6834?
True
Let l = -29793 - -45486. Is 135 a factor of l?
False
Let r be 25/15*(-5 - -11). Does 49 divide 0 + 0 - (-289 - (r + -19))?
False
Suppose 4*v - 2*b = 56, 59 = 4*v + b + 15. Suppose 6*f - 11*f = 4*p - 4249, -4*f - v = 0. Is 13 a factor of p?
True
Suppose -3*z + 37377 = 5*w, -14*z - 37373 = -5*w - 16*z. Is w a multiple of 53?
True
Suppose -5*o = -j - 7318, -65*j = o - 62*j - 1454. Is 19 a factor of o?
True
Let h(k) = -723*k + 828. Does 73 divide h(-14)?
True
Is (-6)/3*71730/(-3