+ 2*m. Does 21 divide a?
True
Let t be 6/36 - (-1)/(18/105). Suppose 0 = -r + t*r - 40. Let h = r + 24. Is 32 a factor of h?
True
Let r(u) = -u**3 - 16*u**2 - 27*u + 33. Let k be r(-15). Let i = k - -39. Does 16 divide i?
False
Let a(u) = u**3 + 11*u**2 + 17*u + 1. Let x be a(-7). Does 7 divide x/(-65)*140/(-3)?
True
Suppose -4 = 18*n - 40. Let z(p) = n*p**3 - 20*p + 10 - p**3 - p**2 + 8*p**2. Is 4 a factor of z(-9)?
True
Let p = -322 - -1058. Does 8 divide p?
True
Let j(x) = 5330*x**2 - 106*x - 214. Does 22 divide j(-2)?
True
Let m = 6 - 3. Let d be 6/(-12) - 507/(-6). Suppose -d = -m*j - 45. Is j a multiple of 13?
True
Suppose -10*b = -239 - 1. Suppose 2*g = 24 + b. Is (56/6)/(16/g) a multiple of 4?
False
Suppose 3*j + 150 = 4*h - 135, 213 = 3*h - 3*j. Does 6 divide h/(-1*4/(-8))?
True
Suppose 21 = 4*n - 3*a - 66, 4*n - 80 = -4*a. Let g = -18 + n. Suppose 0 = -u + 5*p + 16, 3*u = 6*u + g*p - 12. Is u a multiple of 3?
True
Suppose 0 = -11*v + 12*v - 247. Let s = -190 + v. Is s a multiple of 27?
False
Let p = 656 + -462. Let q = p - 14. Does 6 divide q?
True
Does 14 divide 96*(33/(-11) + 26/(-4))*-7?
True
Suppose -5*p = 95 - 110. Suppose -4*t = 3*i - 110, p*i + 5*t = 8*i - 195. Is 3 a factor of i?
False
Does 35 divide ((-8)/(-12))/(14/5586)?
False
Let a = 147 + -146. Let i(v) = -53*v - 2. Let y(r) = -53*r - 2. Let l(x) = 2*i(x) - 3*y(x). Is l(a) a multiple of 15?
False
Suppose -178*r - 158*r + 124992 = -0*r. Is 8 a factor of r?
False
Is 20*10/(-80)*(2 + -4206) a multiple of 157?
False
Suppose 1114*k + 38725 = 1139*k. Does 34 divide k?
False
Let r = -39 - -127. Let t = r + -80. Is 5 a factor of t?
False
Suppose -137*v + 178530 = -270*v + 143*v. Is v a multiple of 153?
False
Let g(n) be the first derivative of -183*n**2/2 + 27*n - 35. Let a be g(-4). Suppose -4*h + q = -494 - 295, 0 = -4*h - 5*q + a. Is 14 a factor of h?
True
Suppose 0 = -5*p - 151 - 34. Let g = p - -40. Let i = g - -9. Is 3 a factor of i?
True
Suppose 4*v - 834 - 54 = 0. Let u = v + -4. Is u a multiple of 7?
False
Suppose 0 = -8*c + 25 - 89. Let q be ((-2)/5 - c/20) + 594. Suppose 5*w = 11*w - q. Does 8 divide w?
False
Let v = 1412 - -16636. Is v a multiple of 94?
True
Suppose 2*k = 16, 3*h - 78*k = -87*k + 89427. Is h a multiple of 64?
False
Let j(u) = 55*u**2 + 924*u + 4623. Is 53 a factor of j(-5)?
True
Is -51*((-2 - -3)*-9 + -301) a multiple of 85?
True
Let o(l) = -l**2 - 37*l - 18. Let s be o(-15). Suppose -350*i - s = -354*i. Is i a multiple of 39?
True
Suppose -5*l - 8 = -i, 0 = -l - 4*i - 9 + 20. Let d(w) = 5*w**3 - w**2. Let c be d(l). Is c/(-4)*(1 - -5 - -96) a multiple of 31?
False
Suppose 0 = 4*c - 3*j + 922, -7 = j - 5. Let a = c + 338. Is a a multiple of 6?
False
Let y(f) = 2*f + 29. Let a be y(-14). Let d(p) = 8*p - 3. Let s be d(a). Let i(j) = j**3 + 2*j**2 - 4*j - 3. Is 9 a factor of i(s)?
False
Suppose 8*g - 3887 - 2729 = 0. Let q = 1387 - g. Does 28 divide q?
True
Suppose 0 = 10*u - 1491 - 629. Let z = -125 + u. Is z a multiple of 3?
True
Suppose 2*f + 8 = q, 2*f - 15 = -3*q + 5*f. Is 5 a factor of (27 - 17)/(q/14)?
True
Suppose -14*o + 20925 = 13*o. Let p = o + 254. Does 21 divide p?
True
Let p(s) = 16*s**3 + 10*s**2 - 31*s + 84. Is p(8) a multiple of 11?
True
Is 109 a factor of (-8)/(-152) - (476118/(-57) - 1)?
False
Let z(a) = -17*a + 62 + 17*a - 15*a. Is 4 a factor of z(-4)?
False
Suppose 479 = 3*j + 38. Let v = j + -101. Let a = v - 32. Does 4 divide a?
False
Let u be (-2 + 1)/(5*5/25). Is 82 - (6 + 16/(-4))/u a multiple of 21?
True
Let k(y) = 203*y + 115. Let r be k(11). Is 51 a factor of 68/(-12) + 5 - r/(-12)?
False
Let v = 285 + -285. Suppose q + 2*m - 1125 = -v*m, 2*q - 2250 = -m. Does 80 divide q?
False
Suppose 3*q + 8 + 4 = 0, -54 = 3*f + 3*q. Is 7 a factor of f/(-21) + ((-1262)/(-6) - 3)?
False
Let w(r) = 383*r - 19. Is w(34) a multiple of 14?
False
Let w be 2*2 + 32 + 737. Suppose 0 = -7*l + w + 382. Is 15 a factor of l?
True
Suppose -38583 = -71*k + 240731. Is 15 a factor of k?
False
Let j(k) = -k**2 - k + 312. Suppose -2*l - 9*l = 0. Is 12 a factor of j(l)?
True
Suppose 3*d - 491 = -476. Suppose d*a - 850 = 5*g - g, 4*a - g = 691. Is a a multiple of 51?
False
Let t(l) = -1890*l**2 + 175. Let b(w) = 86*w**2 - 8. Let r(x) = 45*b(x) + 2*t(x). Is r(2) a multiple of 25?
True
Let n be 3/(9/(-4))*(-9)/(-6). Let r be (0 - 4/6)/(n/708). Suppose 2*p = x - r, -4*x + 691 + 265 = -5*p. Is 21 a factor of x?
False
Let i(k) = 2*k**2 + 38*k + 63. Let h be i(-17). Is 11 a factor of (-25419)/(-37) - h/(-1)?
True
Let j = -2491 - -4591. Does 105 divide j?
True
Let k = 76 - 72. Suppose 6*m - k = 5*m. Is 188*6/8*m/6 a multiple of 15?
False
Let g(w) = 3*w + 29. Let z be g(21). Let s be z/22 - 4 - 86/(-11). Does 17 divide ((-2)/(-5))/(s/19400*10)?
False
Let r(v) = -18*v - 78. Let d be r(-5). Is (-1)/3*248*(-27)/d a multiple of 62?
True
Suppose -3*o - n = -35402, 5*o - 4*n - 18419 - 40556 = 0. Is o a multiple of 12?
False
Suppose 295*k - 280*k = 1515. Let i = 103 + -59. Let b = k - i. Is b a multiple of 6?
False
Let v(i) = 32*i + 11. Let y be v(8). Let m = 140 + y. Does 25 divide m?
False
Let r(b) = -11*b - 39. Let a = -171 + 166. Does 7 divide r(a)?
False
Let j be 17/68 + -1*(-38)/8. Suppose 0 = j*l + 2 + 3, 3*l - 125 = -4*w. Does 16 divide w?
True
Let l = 216 - 211. Suppose 89 = 4*k - l*c, -4*k + 37 = -2*k + 5*c. Does 10 divide k?
False
Is (-21)/(-35) + (43997/5)/1 a multiple of 40?
True
Let s(p) = -4*p**3 - 19*p**2 + 70*p + 593. Is s(-14) a multiple of 82?
False
Suppose 31*v + 21*v = 87*v - 259140. Is v a multiple of 173?
False
Let o be 52 - (-2 - 6)/(-2). Is ((-46)/3)/((-8)/o) a multiple of 23?
True
Let f(g) = 2*g**2 - 10*g + 11. Let b be f(6). Suppose -b*z - 316 = -24*z. Suppose 7*a - z = 34. Is a a multiple of 10?
True
Suppose 111*g = 105*g + 6390. Let s = -64 + g. Is s a multiple of 75?
False
Let i(x) = x**3 - 9*x**2 + 24*x - 29. Let p(m) = m**3 - 10*m**2 + 25*m - 27. Let f(b) = 5*i(b) - 4*p(b). Is f(6) a multiple of 17?
True
Let a = 5525 + -4046. Does 17 divide a?
True
Suppose 47*f = 35*f - 96. Let l(g) = -2*g**3 - 13*g**2 + 11*g. Is 7 a factor of l(f)?
False
Suppose 0 = -6*m - 110*k + 115*k + 380018, 2*m - 126674 = 2*k. Is m a multiple of 20?
False
Suppose -5*y = -57 + 502. Let c = 101 + y. Suppose 17*r - 675 = c*r. Does 9 divide r?
True
Let o(y) = 5843*y**3 + 6*y**2 - 34*y + 29. Does 51 divide o(1)?
False
Let q = 269 - 262. Is 33 a factor of (q - 8)/(2/(-1188))?
True
Let s be -3*(-3)/(-6)*496/(-24). Let y(c) = 15*c - s*c + 19*c - 3*c**3 - 4*c**2 + 5*c**3. Does 6 divide y(2)?
True
Let n = 18839 + -16361. Does 37 divide n?
False
Let k be (1/3 + (11 - 12))*-24. Does 34 divide (4 - (-2 + k/(-20)))*5?
True
Let m = 13308 + -6504. Is m a multiple of 84?
True
Suppose -15*s + 16326 + 7074 = 0. Is 8 a factor of s?
True
Suppose 3*b + 3945 = -12*b. Let i = b - -317. Does 26 divide i?
False
Suppose -3*l = -2*w + 4817, 3*w + 11*l - 7236 = 12*l. Is 46 a factor of w?
False
Let y(f) = 3*f**2 - 25*f + 54. Let a be y(5). Suppose 5*i = 2*i - 18. Let p = a - i. Is 2 a factor of p?
True
Suppose 0 = 18*k + 3*k - 34*k + 105248. Is k a multiple of 23?
True
Suppose 3*x + 6*y - 18251 = 10*y, -x - y + 6086 = 0. Is 118 a factor of x?
False
Suppose 31*z - 10064 = -2*x + 35*z, 5*z + 5038 = x. Is 49 a factor of x?
False
Let f = 996 - 1738. Let v = -367 - f. Is v a multiple of 15?
True
Let n(u) be the second derivative of u**4/2 - 5*u**3/6 - 7*u**2 + 32*u. Let y(p) = 6*p**2 - 4*p - 13. Let c(r) = -3*n(r) + 4*y(r). Does 13 divide c(-5)?
False
Suppose 20 = 4*h - 2*q - 3*q, 2*h = -q - 4. Suppose -5*t - 22 + 2 = h. Does 31 divide ((-36)/t)/3*31?
True
Suppose -6*i + 2*i = 4*o + 48, -3*i + o - 52 = 0. Let y be i/4 + (-4 - -125). Suppose 4*n = -0*n, n - y = -r. Is 39 a factor of r?
True
Let a = -17564 - -30317. Is a a multiple of 9?
True
Suppose 0 = -4*m + 5*w + 1468, 120*m = 118*m + w + 740. Does 186 divide m?
True
Does 16 divide (-6)/15 + 13 + (-59588)/(-20)?
True
Let t(p) be the second derivative of p**4/12 + p**3/2 + p**2 - 3*p. Let v be t(-3). Suppose v*q - 16 = -0*q. Is 4 a factor of q?
True
Let g(q) = -9 + q - 2*q**3 + q - 5*q**3 + 6*q**3 + 14*q**2. Let j be g(14). Suppose 0 = -14*d + j*d - 1045. Is 32 a factor of d?
False
Suppose -5*c - 3*v + 4987 = 0, 0 = -2*c + 2*v + 433 + 1549. Let 