alse
Let x be (4908/24)/(2/(-4)). Let a = x - -472. Is 9 a factor of a?
True
Suppose 5*d - 106 = -5*f + 74, 0 = -d + 3*f + 24. Let x(a) = -19*a + 4*a**2 - 14*a + d*a. Is x(3) a multiple of 4?
True
Let y be 2/7 - (-26454)/21. Suppose -9*t = -6*t - y. Is 15 a factor of t?
True
Let a = 2052 - -1218. Is 15 a factor of a?
True
Let s = 474 - -362. Let w = s + -650. Is 29 a factor of w?
False
Suppose 3*x = -2*n + 2901, -2*n - 4*x = -2163 - 733. Does 2 divide n?
True
Let t be (160/50)/((-4)/(-30)). Let h = -17 + t. Suppose -175 = -h*w + 77. Is w a multiple of 33?
False
Let y(q) = q**2 - 3*q + 4. Let v be y(2). Suppose -79 = -v*t - 17. Is t a multiple of 28?
False
Let l(a) = a**3 + 12*a**2 + 9*a + 13. Suppose 0 = 4*u + 5*u + 45. Let g be 2/(((-40)/(-44))/u). Does 14 divide l(g)?
False
Suppose -5*h - 6829 = -2*x + 12794, 0 = 5*x + 3*h - 49011. Is x a multiple of 43?
True
Let y = 4726 + -1304. Is y a multiple of 14?
False
Suppose 2*g = -2*s + 1026, 3*g - 2*s + 1542 = 6*g. Does 38 divide g?
False
Let b(q) = -28*q - 7*q**2 - 32*q + 62*q + 6 + q**3. Is 3 a factor of b(7)?
False
Suppose -2 = 240*v - 241*v. Suppose -8*x + 6*x = v*m - 440, 5*m - 2*x - 1072 = 0. Is 12 a factor of m?
True
Let r be 32/(-3)*9/6*-1. Suppose -x - r = -5*a, -4*a + x = -4*x - 17. Is (-12)/(-9)*a - -114 a multiple of 16?
False
Let u be (1 - (0 - 0)) + -16 + 238. Let a = -158 + u. Let q = -33 + a. Is q a multiple of 16?
True
Let s(z) = z**3 + 12*z**2 - 39*z - 8. Suppose 172 = -6*i + 94. Is 30 a factor of s(i)?
True
Let w(z) be the third derivative of z**6/120 + 2*z**5/15 - 19*z**4/24 - 9*z**3 + 49*z**2. Does 18 divide w(-9)?
True
Let q(k) = k**2 - 13*k - 39. Let l be q(17). Suppose -n + l*n - 12320 = 0. Does 40 divide n?
True
Let g(p) = -6*p + 9. Let v be g(0). Let q(n) = -n**3 + 12*n**2 - 5*n + 57. Is 22 a factor of q(v)?
False
Is 212 a factor of 16 + 20954 + -25 + 43?
True
Suppose 4*p + 1 + 3 = -k, 0 = -2*k - 5*p - 2. Let f be 211/k + 4 - 2/(-8). Suppose r - 3*u = f, -5*r + u + 133 = -166. Is 10 a factor of r?
True
Let m(d) = 108*d. Let g be (-3 - -8)/(-10)*-6. Does 12 divide m(g)?
True
Suppose -15*k = -19401 - 19149. Does 44 divide k?
False
Suppose 8*m + 32160 = 75*m. Is 6 a factor of m?
True
Let g be ((-3)/(-9))/(3/22986). Suppose -g = -5*x - 274. Suppose -5*v = o - 102, 2*o + x = 6*o - 4*v. Is o a multiple of 14?
True
Let n = -17447 - -27397. Does 89 divide n?
False
Let m(k) = 2*k**3 + 5*k**2 - 3*k + 2. Let w be m(-3). Suppose -w*b - b = -81. Does 17 divide 2763/b - (-2)/(-6)?
True
Suppose 0 = 126*s - 10*s + 93*s - 1927398. Does 12 divide s?
False
Suppose 3*y - 3 + 141 = 3*o, 4*y + 182 = 2*o. Suppose -4*q = -0*q - 5*p - 95, -2*p + 40 = q. Is q/y + (-488)/(-3) a multiple of 9?
True
Let h be (-4)/(280/(-37002)) - (-2)/5. Let z = h + -433. Is 9 a factor of z?
False
Let l be 2/4 + -3*3/18. Let d be 25/5 + -92 - l/1. Let u = d - -165. Is 8 a factor of u?
False
Suppose -2*c - d = -99, 2*c + 2*d - 155 = -49. Suppose r + 72 = 3*f, -6*f = -3*f + 2*r - 72. Let b = c - f. Is b a multiple of 13?
False
Let i(t) = -t**2 + 14*t - 10. Let k be i(13). Is 10 a factor of ((k - -1) + -14)*(-15)/3?
True
Suppose -14*n = -19*n - 2*a + 55095, 0 = -4*n + 4*a + 44076. Is n a multiple of 33?
False
Suppose 28*w + v = 23*w + 1309, -3*w - 4*v + 799 = 0. Is w a multiple of 29?
True
Suppose 115*u - 1316357 = -431432. Is 81 a factor of u?
True
Suppose 0 = 211353*s - 211349*s - 208592. Does 18 divide s?
False
Suppose -3*m + 4*m = 38. Let l = m - 42. Does 2 divide (-3)/2 + (15/6 - l)?
False
Let v(o) = -102*o**2 + 1495*o + 9. Is v(9) a multiple of 17?
True
Let r(t) = -t**3 - 14*t**2 + 19. Let l be r(-14). Suppose 0 = -l*b - 0*b + 5700. Does 20 divide b?
True
Is 29 a factor of (-1391225)/(-330) - (26/(-12) + 2)?
False
Suppose -3*c = -9 - 0. Let u(m) = -9*m - 4. Let z be u(c). Let i = z + 48. Is 9 a factor of i?
False
Let i = 70 + -67. Suppose -i*p - 3*n + 568 = -689, 5*p = -4*n + 2094. Is p a multiple of 11?
True
Suppose -3*q = 3*r + 84, 4*r - 5*q + 56 = 2*r. Is 63 a factor of (-7 + -2)*r/4?
True
Let v(m) = -m**3 + 14*m**2 + 8*m - 49. Let s be v(15). Let b = 392 + s. Does 17 divide b?
True
Does 37 divide 54573/5 - 11*18/(-495)?
True
Does 18 divide ((-204)/50 - -4) + (-116854)/(-50)?
False
Let g = -1613 + 3245. Suppose 3*m + 3*m - g = 0. Let i = -34 + m. Is i a multiple of 14?
True
Let m = 4126 - 2010. Is m a multiple of 46?
True
Suppose 0 = 6*y + 425 + 2335. Let j = -294 - y. Is 9 a factor of j?
False
Suppose 0 = -17*t - 12042 + 39276. Suppose 0 = 4*u - t - 446. Does 32 divide u?
True
Let s(w) = 54*w**3 - 30*w**3 - 25*w**3 - 16 - 6*w**2 + w - 12*w. Suppose 28 = -4*m + 2*i, m - 4*i = 6*m + 35. Does 15 divide s(m)?
False
Does 6 divide ((-34230)/(-15) - -2) + 8?
True
Does 26 divide (3677 - -1) + (120/(-144) - 46/(-12))?
False
Suppose -84*i + 6966 + 34312 = -9794. Is 32 a factor of i?
True
Suppose 36*q - 16*q = -18*q + 348726. Is q a multiple of 3?
True
Suppose 4*u = -d - 0*d + 12, -3*u + 9 = 2*d. Suppose 0 = -4*n - 4*v + 4, -u*v + 5*v + 1 = -n. Suppose -w + 6*o = o - 59, 2*o = n*w - 151. Does 3 divide w?
False
Let k(w) = -3*w**3 + 2*w**2 + 2*w + 3. Suppose -c = -2*t + 13, -4*t - 5*c = -t - 39. Suppose 30 = -5*r - 3*m + t*m, 0 = -2*r - 2*m. Does 12 divide k(r)?
True
Suppose -5*i - b - 18 = 0, -5 = 4*i + 2*b + 7. Does 43 divide 10*i/(40/(-215))?
True
Suppose -4*n = -l + 773, -8*l - 3078 = -12*l + 2*n. Let c = l + -518. Is 12 a factor of c?
False
Let y(o) = 19540*o**2 + 439*o - 439. Is y(1) a multiple of 37?
False
Let q = 64 - 59. Suppose q*s - 42 = -17. Suppose -4*m + s*j + 251 = 0, -j = 4*m + 3*j - 260. Does 16 divide m?
True
Let r = 6733 + -3152. Does 16 divide r?
False
Let w be 24/(-20)*(-18375)/30. Let k = w - 319. Does 73 divide k?
False
Suppose -10 - 5 = -3*k. Let w = -471 - -473. Suppose 2*a = k*f - 52, -f + 4*f + w*a - 44 = 0. Is 3 a factor of f?
True
Let w = 12018 - 11852. Is w a multiple of 155?
False
Suppose 2 + 26 = -7*n. Let q be (-3)/(((-30)/n)/(-5)). Suppose 2*h = h - t + 75, 3*h - q*t - 235 = 0. Is h a multiple of 11?
True
Let l(g) be the second derivative of -5*g**3/6 + 15*g**2 - g. Let c be l(5). Suppose -5*p + 782 = 3*h, c*p + 445 - 1195 = 5*h. Does 29 divide p?
False
Let y(d) = -d + 9. Suppose 6*m - 10*m + 20 = 0. Let p be y(m). Suppose q + 73 = 3*v, 0 = p*q + 16. Is v a multiple of 4?
False
Is 113 a factor of 3/(-45)*123 + (-12)/15 - -6522?
False
Let z(i) = i + 3. Let u be z(-7). Is u/6 - (-11)/((-33)/(-4094)) a multiple of 10?
False
Suppose 5*u = r + 7896, 7*r - 3*r - 3176 = -2*u. Suppose -t - 1253 = -4*q, 4*t = 5*q - 0*q - u. Is 8 a factor of q?
True
Suppose 76 = -0*f + 2*f. Let y be f*(2 - 2 - 7/(-2)). Is 6 a factor of ((-6004)/y)/((-4)/14)?
False
Let y = 7592 + -4384. Is y a multiple of 35?
False
Let f = -119 - -188. Let n = -44 + f. Does 24 divide 10/n*(117 - -3)?
True
Let w be (27/(-8) - -3) + 25612/32. Suppose 4*t = -4*t + w. Does 4 divide t?
True
Suppose 0 = 46*w + 149177 - 880117. Is 35 a factor of w?
True
Suppose 4*k - 7*k = -51. Suppose 3*i - s = k, s - 13 = 2*i - 4*i. Is 22 a factor of 112 - ((-17)/6 - 1/i)?
False
Let z = -13005 - -15963. Is 34 a factor of z?
True
Suppose x - 456 + 177 = 2*y, 3*y + 281 = x. Let a = 380 - x. Does 3 divide a?
True
Let n(k) = 140*k**2 - 12*k + 18. Suppose -9*c - 22 = -20*c. Is 29 a factor of n(c)?
False
Suppose 2*p - 5 = 3*p. Let l be (5/3 - (-5)/p)*6. Suppose 0 = l*v - 13*v + 585. Is v a multiple of 13?
True
Is 11 a factor of (((-303875)/(-44))/(-13))/((-45)/(-24) - 2)?
False
Suppose -3*d + 5*y = -10190, 24*y = 4*d + 26*y - 13552. Does 15 divide d?
True
Suppose -5*b + 115 = 35. Let u be 4/(-10) - (-24)/(-40). Let f = b - u. Does 4 divide f?
False
Suppose 4*g = -0*g. Let a(j) = 160*j + 4. Let r be a(1). Suppose -5*t = -2*l + r, 204 = -g*l + 3*l + 3*t. Is 18 a factor of l?
True
Suppose -14380 = -5*b - 5*l + 5125, 2*b = -4*l + 7796. Is 8 a factor of b?
True
Suppose 0 = 2*j - 4*d - 4024, 16*d = -3*j + 15*d + 5994. Does 16 divide j?
True
Let d(p) = p**2 - 19*p - 8. Let y be d(20). Let v be (-11 + y)*(-55 - 0). Is 11/v + (-662)/(-10) a multiple of 13?
False
Let k = 470 + -443. Suppose 0 = k*n - 3836 - 14146. Is 39 a factor of n?
False
Suppose -98266 - 59702 = -48*h. Does 51 divide h?
False
Let l = 2 + -5. Let i be ((-40)/(-6))/(l*6/(-27)). Suppose 520 = -5*r +