 + t. Is 17 a factor of g(-3)?
True
Suppose 912384 = 121*l - 73*l + 216*l. Is l a multiple of 27?
True
Suppose -30054 = -2*h - 4*b, 42392 + 17692 = 4*h + 2*b. Is 140 a factor of h?
False
Suppose 5*a + 4*b = -85, 5*a - 2*a - b = -68. Let i be 4 + 265/25 - 6/(-15). Let m = i - a. Is 5 a factor of m?
False
Let c be ((-1)/(-3) - 440/(-30))*-1. Let d = c - -109. Is 24 a factor of d?
False
Let g be ((-11)/(-33))/((-2)/12*2). Is 22 a factor of 3/(3/(-110))*g?
True
Let d(w) = 4*w + 213*w**2 - 214*w**2 - 46 - 11*w - 9*w. Let m be d(-12). Suppose -m*t = -2, 0 = r + r + 4*t - 438. Is r a multiple of 12?
False
Suppose -5*w + 5486 = 2*h, -8*h - 6424 = -5*w - 868. Is w a multiple of 25?
True
Suppose -22 = 2*d - 42. Suppose 180 = 13*n - d*n. Suppose -2*b + n = -4*s, -17 + 108 = 3*b - 5*s. Is b a multiple of 8?
True
Suppose -3*k + 2*t + 7716 = 0, 628 = -k - 5*t + 3217. Is 92 a factor of k?
False
Suppose 4*x = 57 + 19. Suppose -17*k + 2454 = -x*k. Is 18 a factor of 15/20 + k/(-12)?
False
Let q = 3916 - 633. Is 15 a factor of q?
False
Let n(j) = -2*j**3 - 4*j**2 - 3*j - 1. Let a be n(-2). Suppose a*c = -6*c + 5390. Suppose c = 8*t - t. Is t a multiple of 14?
True
Does 2 divide (-3777771)/(-1042)*2/(-1)*3/(-9)?
False
Suppose -581098 = -68*b - 136038. Is 26 a factor of b?
False
Let p(m) = 5*m + 85. Let s(t) = t + 17. Let v(g) = -2*p(g) + 11*s(g). Let z be v(-11). Is 12 a factor of (-9)/z + (-549)/(-6)?
False
Is 2701*((-165)/15 - -20) a multiple of 73?
True
Let x(j) = -1714*j + 13798. Does 281 divide x(-9)?
True
Let p(a) = -a**3 + 5*a**2 + 8*a + 2. Let o be p(6). Is o/105 - 1672/(-60) a multiple of 4?
True
Is ((3 - -1) + (-78)/(-12))*10656/54 a multiple of 56?
True
Let k be 3/((-99)/(-6)) - 603/(-11). Suppose 1412 = 4*l - 5*a, -l = -4*a - 309 - k. Is 25 a factor of l?
False
Let k(t) = t**3 - 13*t**2 + 12*t + 3. Let j be k(12). Suppose -j*a = -2*p + 642, -5*p - 5*a + 1580 = -0*p. Suppose -4*l + 562 + p = 0. Does 20 divide l?
True
Is 10 a factor of ((3 - -1) + -2 + -1789)*7/(-1)?
False
Suppose -5*a + 3*j + 104376 = 0, 20872 = -16*a + 17*a - j. Is 144 a factor of a?
True
Let d(q) = -21*q**3 - 9*q**2 + 31*q + 199. Is d(-5) a multiple of 25?
False
Let d(j) = -58*j + 2644. Is 3 a factor of d(7)?
True
Let b(i) = 2*i**3 + 63*i**2 - 8*i - 95. Is b(-31) a multiple of 12?
False
Suppose -1 = a + q, -2*a + 0*q = 3*q + 7. Suppose 746 - 190 = a*z. Is z a multiple of 4?
False
Suppose 0 = 28*i + 29*i + 12028 - 267958. Is i a multiple of 19?
False
Let l(d) = -15*d - 51. Let z(i) = -i + 12. Let r be z(35). Is l(r) a multiple of 21?
True
Let g(i) = 14*i + 56. Suppose 10 = -5*t, -3*p + 9 = -2*t - 10. Does 15 divide g(p)?
False
Let i(t) = t**2 + 8*t - 9. Let f(k) be the second derivative of -k**3/3 + 4*k**2 + 15*k. Let n be f(2). Is 32 a factor of i(n)?
False
Suppose -y - 5 = -8. Let r(l) = 675*l - 25. Let g be r(y). Does 20 divide (-1)/(5/g)*(-1)/2?
True
Let s = -80 + 75. Let t be (-6)/(s/(-10)*-4). Suppose 5*c + 20 = l - 5, t*l - 4*c = 119. Does 7 divide l?
False
Let i(q) = 895*q - 2471. Does 31 divide i(10)?
True
Suppose 62*h - 74*h + 12 = 0. Is (-25)/(-25)*(h + 252) a multiple of 20?
False
Suppose -2*u + 61 = 3*i, 0 = 2*i + 5*u + 7 - 66. Let l(q) = -2*q + 122. Does 4 divide l(i)?
True
Suppose -20*z + 10539 + 31515 = -113346. Does 14 divide z?
True
Let z = 7737 + -5369. Is 10 a factor of z?
False
Let i(v) = v**3 - v**2 + 43. Let f be i(0). Let m = -53 + f. Is 13 a factor of m - -22 - (-2)/(2 + 0)?
True
Suppose -4*b + 5*x = x - 5712, 3*b = 4*x + 4280. Suppose 40*t + b = 44*t. Is t a multiple of 13?
False
Let f be (0 + -1)*(-20 - -15). Let w(b) = 74*b + 11. Let a be w(f). Suppose -a = -5*r - 6. Does 25 divide r?
True
Let s be 354/4*10/15. Suppose s = -2*q + 523. Suppose -o + 3*o - q = 0. Does 29 divide o?
True
Suppose 8228*t - 923514 = 8209*t. Does 190 divide t?
False
Let j be (-1 - 2) + 4 + 14. Is j + -10 + (-1 + 0 - -1011) a multiple of 21?
False
Let d = -11669 - -18030. Is d a multiple of 8?
False
Let b = 5922 + -2254. Is 84 a factor of b?
False
Suppose -35*k + 660 = -31*k - 5*x, 0 = -3*k - 4*x + 526. Suppose f + 4*j = -f + k, -j = -2*f + 155. Is 22 a factor of f?
False
Suppose 150 = -68*k + 73*k. Suppose -5*m - 3*c = -28, 6*c - k = -5*m + c. Suppose 20 = -m*j, -5*j - 68 = -q - q. Does 4 divide q?
True
Suppose -11*t = 6820 + 4752. Let b = 1530 + t. Is 50 a factor of b?
False
Suppose 3*o + 5*p + 25 = -0*p, 0 = 5*o - 4*p - 20. Suppose o = 15*u - 39 - 21. Is 4 a factor of u?
True
Suppose 5*o - 1725 = 320. Let b = -137 + 358. Suppose w - 5*a - b = -a, -3*a = 2*w - o. Is 11 a factor of w?
True
Let g(i) = -31*i + 1748. Does 71 divide g(9)?
False
Let f = 117 - 182. Is (4/(-10))/((f/100)/13) a multiple of 4?
True
Let y = 37 - 32. Suppose -4*c - t + 203 = 0, -2*c + 57 = y*t - 22. Suppose -18*n = -19*n + c. Does 13 divide n?
True
Let x(z) = 378*z**2 - 3*z + 2. Let a be x(1). Let r = -173 + a. Suppose -b - 101 = -d, 5*b + 203 + r = 4*d. Does 25 divide d?
False
Let n = -1287 + 410. Let q = n - -955. Is 13 a factor of q?
True
Suppose -11*d + 2533 + 1152 = 0. Suppose -d*z + 346*z = 176. Does 8 divide z?
True
Suppose 152*n = 155*n - 6. Let y be ((-816)/(-72))/(n/21). Let x = y + -78. Is 7 a factor of x?
False
Let x = 5045 - 608. Is 42 a factor of x?
False
Let k(z) = z**3 + 7*z**2 - 12. Let f = 22 - 29. Let c be k(f). Let v = c - -88. Does 23 divide v?
False
Suppose q - 2067 = -2*z, 0 = 3*q + 7 - 22. Is 21 a factor of z?
False
Let h be -2*(3 + -1 + 27/2). Let j = 38 + h. Is 3*(24 - (j - 4)) a multiple of 9?
True
Let r(y) = y**3 - 4*y**2 - 10*y + 10. Let l be r(5). Let c be (l/10)/(1/(-2)). Suppose c*s - 456 = 5*o, 5*o - 162 = -s + 10*o. Is 49 a factor of s?
True
Let a be 76/3*1*1458/4. Is 2/5 - a/(-190) a multiple of 49?
True
Suppose 5*u + 2009 = 2*l + 704, -2*l + 1314 = -2*u. Is l a multiple of 30?
True
Suppose -6*v + 38*v - 23584 = 0. Is 4 a factor of v?
False
Is 892/(-6)*1*357/(-14) a multiple of 17?
True
Let s be 0*4*(-5)/(-20). Suppose s = -22*z + 24*z - 32. Is z a multiple of 4?
True
Suppose -5*z + 17336 = 2*b, -3*z - 9461 + 837 = -b. Does 8 divide b?
True
Suppose 15*t + 3712 = -5*t + 18632. Is t a multiple of 24?
False
Suppose -23400 = -19*b + 4889 + 363. Is b a multiple of 3?
False
Does 13 divide (36/(-9)*5/10)/(18/(-19881))?
False
Let s(v) = 5*v - 21. Let o be s(13). Suppose 0 = -5*q + 6*q - 3. Suppose 0 = q*m - 5*m + o. Is 15 a factor of m?
False
Suppose 19 = 2*w + 3. Suppose -2*p + w = 2*p. Suppose p*u = -u + 339. Does 15 divide u?
False
Let p = -245 - -4277. Does 8 divide p?
True
Suppose 3238614 = 217*u - 363369. Is 96 a factor of u?
False
Suppose -1 = 4*g - 2*i - 23, -19 = -4*g - i. Suppose g*z + 158 = 4*f, -f + 0*f = z - 44. Does 18 divide f/147 + (-369)/(-7)?
False
Suppose 7*q = 4*q + 24. Suppose 0 = q*v - 12*v - 424. Let w = v - -148. Is 18 a factor of w?
False
Let i(b) = 4*b**2 + 75*b + 9. Is 22 a factor of i(23)?
True
Let n = 25 + -22. Let b(y) = -7*y**3 + 3*y**2 + 3*y. Let r be b(n). Let a = r + 222. Does 12 divide a?
False
Suppose -428*r + 14737856 = 108*r. Is r a multiple of 29?
False
Let o = 63355 + -40916. Does 23 divide o?
False
Let r = 38 - 8. Suppose -38 - r = -2*o. Suppose 37*x = o*x + 72. Is 6 a factor of x?
True
Let q(c) = c**3 - 4*c**2 + 2*c - 7. Let m be q(5). Suppose -2*x = -3*o + 223, o - 45 - m = 2*x. Is 5 a factor of o?
True
Is 125 a factor of 162966/8 - 216/48*6/36?
False
Suppose 8*o = 35752 + 65048. Suppose -78*x + 63*x + o = 0. Is 40 a factor of x?
True
Let v be 12/(-18)*-1*(2 - 998). Does 41 divide 1/((-2)/v) - (-20)/(-5)?
True
Let r(l) be the first derivative of -81*l**4/4 - l**3/3 - 13*l**2/2 - 31*l + 253. Is 19 a factor of r(-2)?
False
Suppose -3*d + 728 = -0*d + s, -2*s - 238 = -d. Let c = -202 + d. Is 7 a factor of c?
False
Let w be (3/1 - 7) + (2233 - -10). Suppose 1569 + w = 8*t. Is t a multiple of 17?
True
Suppose b = 5*l - 3*b - 6, 0 = 4*b + 16. Let v be (3 + 0)/(-1 - (-448)/446). Is (-1)/(-5) - (l - v/5) a multiple of 9?
False
Let u = -58 - -61. Suppose -o + 2*s = u*s + 192, 3*o - 3*s + 558 = 0. Let l = -119 - o. Is l a multiple of 5?
True
Let v(r) = 45*r**2 + 17*r - 42. Is v(6) a multiple of 35?
True
Suppose -2*a - 3 = -2*u + 1, -3*a - 3*u + 6 = 0. Suppose a*t + 6*t = 1140. Does 41 divide t?
False
Let a be (-12)/7 - 1520/(-266). Let j(k) be th