False
Let l = -254 - -257. Is 17 a factor of 5 + -3*-55*(l - 2)?
True
Let p be 8/6*-30*(-49)/28. Let j = p + -62. Suppose 33 = j*n - 111. Is 2 a factor of n?
True
Let a = 6523 + 239. Suppose 7*f - a = -0*f. Does 14 divide f?
True
Let p(n) = 5*n**3 - 34*n**2 + 14*n - 35. Is 38 a factor of p(11)?
True
Does 25 divide (7/((-168)/282990))/(290/(-464))?
False
Let n = 783805 + -1169597. Does 41 divide n/(-396) - (32/(-18) - -2)?
False
Let b(y) be the second derivative of 0 - 4/3*y**3 + 5/12*y**4 + 0*y**2 - 22*y + 1/20*y**5. Is b(-6) a multiple of 4?
True
Suppose 10*z - 2816 = -12*z. Suppose -7*i = i - z. Does 16 divide i?
True
Let h = -60100 - -103377. Is h a multiple of 17?
False
Let m = 4276 + 2961. Is 20 a factor of m?
False
Suppose 21*b = 27*b - 684. Suppose -5*c + 71 = -b. Is c a multiple of 3?
False
Let f = -551 - -1511. Suppose 4*x = -4*d + f, x + 29 + 691 = 3*d. Does 16 divide d?
True
Suppose 2*b + 180 = 4*p, -62 = -2*p + 4*b + 34. Suppose -1772 + p = -6*u. Does 48 divide u?
True
Suppose 5*k - 37 = 4*f, f + k = -4*k - 28. Let b be f/(-3) - 20/(-30). Suppose -b*r - 2*y + 143 = 6, -3*y - 24 = -r. Is r a multiple of 7?
False
Suppose 177349 = 10*r + 7*r - 25427. Is r a multiple of 213?
True
Let d = 114 + -115. Is 7 a factor of (-7)/(-2 + 9)*93/d?
False
Let k(j) = -j**3 - 14*j**2 - 19*j + 44. Let y be k(-12). Let b(d) = d**3 + 17*d**2 - 54*d + 5. Is 29 a factor of b(y)?
False
Does 15 divide (0 + 40)*7/(112/376)?
False
Is 69 a factor of ((-1071)/49 - -21)*-35903?
True
Let a = -179 + 192. Suppose -11*q = -a*q + 644. Is q a multiple of 46?
True
Let b(w) = -24*w + 9*w - 16*w - 3. Let p be b(-9). Suppose 9*g - p = 5*g. Does 19 divide g?
False
Let y be 2/((-4)/1)*276/(-46). Suppose 0 = -2*b - 4*h + 12, 3*b - y*h - 14 + 5 = 0. Let c(k) = k**2 - k - 7. Is 4 a factor of c(b)?
False
Suppose -290*n + 3*w = -288*n - 20866, 2*w + 41716 = 4*n. Is n a multiple of 65?
False
Let g(k) = -k**3 - 13*k**2 - 8*k - 20. Let u be g(-15). Let r = 45 + -36. Suppose 0 = r*j - u - 575. Does 32 divide j?
False
Let g = -229 - -230. Let j = 147 + g. Does 74 divide j?
True
Is (-39210)/(-8) - 1197/(-1596) a multiple of 19?
True
Let c = -73 - -97. Is 8 a factor of 3/c - 2/((-96)/1386)?
False
Suppose -2*b + 23 = 3*h, -4*b + 3*b = 4*h - 34. Suppose 0 = h*n - 13*n + 1540. Suppose -32*l + n = -27*l. Does 7 divide l?
True
Let p = -9701 + 11102. Is 16 a factor of p?
False
Let t be (-75)/100 - 21*1/4. Is 10 a factor of (-2)/t - (-7365)/45?
False
Suppose -3*j + 0*j = 51. Suppose -24*d + 687 = 1767. Let l = j - d. Is 2 a factor of l?
True
Suppose 711*l + 21582 = 717*l. Does 33 divide l?
True
Let t = 47 - 43. Let w be 89 - 4*t/(-8). Let a = w + -62. Is 7 a factor of a?
False
Let x be (-1 + 11)*(4 + -3)/2. Let c be -1*-3*x/(10/(-12)). Does 16 divide (-1)/(c/17 + 1)?
False
Suppose 0 = -8*i - 452 + 3524. Suppose x + i = 2*x + 5*w, -3*x - w + 1082 = 0. Is x a multiple of 10?
False
Let c = 22824 - 13948. Does 14 divide c?
True
Let g(s) = -172*s - 364. Does 38 divide g(-3)?
True
Let n(y) = 0*y - 18 + 0*y + 23 + 9*y**2 - 4*y. Does 6 divide n(2)?
False
Let l(o) = 2*o**3 - 10*o**2 + 9*o - 6. Let b be l(6). Suppose -5*w + b = -2*w. Suppose 5*y = 145 - w. Is y a multiple of 3?
True
Let c = -3776 + 5961. Does 53 divide c?
False
Let i = -1767 - -10024. Is 23 a factor of i?
True
Suppose 110*o + 271485 = -77*o + 1158426. Is o a multiple of 17?
True
Let d(x) = -289*x + 1324. Does 52 divide d(-12)?
False
Suppose -2*n - 2*n - 3*o = -9, -4*n + 5*o + 49 = 0. Is 4/(-3)*-288 - n a multiple of 60?
False
Let d(x) = -3*x - 12. Let g be d(-5). Let l be -1*g*((-2)/6)/1. Is 12 a factor of 2*(2 - l) + 130?
True
Let v(i) = -2*i - 13. Let c be v(-8). Let d be 0 + 0 - (0 + 0). Suppose c*z = -d*z - 3*w + 90, z = w + 20. Is z a multiple of 3?
False
Let t(p) = 271*p + 1064. Is 31 a factor of t(9)?
True
Let r = 30078 + -12749. Suppose -14*h = -45*h + r. Is 43 a factor of h?
True
Suppose 2*v - q = -0 + 7, 4*q = -4*v + 20. Let i = 129 - -143. Suppose v*x + 3*y - i = -y, 71 = x + 2*y. Is x a multiple of 13?
True
Let t = 533 - 716. Let d = t + 1019. Does 19 divide d?
True
Let b(o) = -o**2 - 33*o - 54. Let a be b(-31). Is (-2)/a - 52173/(-36) a multiple of 63?
True
Suppose 0 = 4*y + 5*t + 8, 8*y - 3*y = -3*t + 3. Let a be (-3)/((-5)/10*y). Suppose -a*m - m = -102. Is m a multiple of 7?
False
Let a be 3/(-7)*11 + 2/(-7). Let i(k) = 5*k - 19. Let x(j) = j**2 - 21*j + 77. Let s(q) = 9*i(q) + 2*x(q). Is s(a) even?
True
Suppose 56*y + 14*y = 50540. Is y a multiple of 11?
False
Let u be (-186 - -181) + 7*1. Let b = 105 - 66. Suppose u*x - 30 = 2*a, 2*a = 3*x + a - b. Does 3 divide x?
True
Let y(q) = 5*q + 16. Let x be y(-10). Let s be (-20)/8*x/5. Let b(r) = r**3 - 16*r**2 - 16*r + 15. Is 23 a factor of b(s)?
False
Let x(f) be the second derivative of 379*f**4/6 - f**3/6 - f**2 + 2*f - 75. Does 43 divide x(-1)?
False
Does 5 divide (-263 - 29)/((-2)/1)?
False
Suppose 3*r - 1796 - 657 = 2*c, -3*r + 2455 = -c. Let t = 1643 - r. Is 37 a factor of t?
False
Is 45 a factor of (19011 - 30) + -4 + 13?
True
Let u = 171763 + -92719. Does 46 divide u?
False
Suppose 0 = -28*m - 31*m + 61183. Is 61 a factor of m?
True
Let y(b) = -b. Let w(q) = -62*q**2 + 11*q - 5. Let j(i) = -w(i) - 4*y(i). Is 9 a factor of j(2)?
False
Let z be 6 + 2/(10/(-5)). Suppose -4*r - z*m = -790, -2*r = 2*m - 536 + 142. Is r a multiple of 15?
True
Let p = 65 + -75. Is 22 a factor of 176/p*90/(-9)?
True
Suppose c + 84 = 8*c. Suppose 13*r = 15*r - c. Suppose 4*m - 23 = -a, r = -7*m + 4*m. Is 7 a factor of a?
False
Let i(g) = 40*g + 6. Let c be i(4). Let l = c - 127. Does 3 divide l?
True
Suppose -79*y + 694443 = -183642. Is 31 a factor of y?
False
Let z(n) = 210*n**2 + 2*n - 3. Suppose -4*y = -20, 5*y - 15 + 0 = 5*m. Let q be z(m). Let g = q - 562. Is 35 a factor of g?
False
Let n = 21679 - 11900. Is n a multiple of 127?
True
Let h(n) = -8*n**2 - 15*n - 15. Let v be h(-1). Is 7 a factor of (-10)/v - 3804/(-16)?
False
Does 107 divide (-3)/(-21) - (1992587/(-133) - -2)?
True
Let o = 223 - 312. Let x be (-1 + -10)/(2/10). Let h = x - o. Is 17 a factor of h?
True
Let w = -235 - -238. Suppose -2*s + 292 = -4*q, 0 = -4*s + 5*q - w*q + 578. Does 24 divide s?
True
Let x(i) = 110*i - 134. Let n be x(7). Let g = n + -284. Does 8 divide g?
True
Does 142 divide 2/9 + (-152585)/(-180)*4?
False
Let h(p) = 2*p - 24. Suppose 33*t + 96 = 41*t. Let c be h(t). Suppose c = 17*f - 2421 - 2764. Is 25 a factor of f?
False
Suppose -r = 3*l - 12, -3*r = 2*r + 5*l - 40. Does 36 divide 510/68*(-2 + 116/r)?
False
Let a = 64 + -55. Suppose 13*q = a*q. Suppose -2*t + 3 + 31 = q. Is t a multiple of 14?
False
Let b be 6/((4 - 7) + 1). Is 0 - -1 - 320/(b - 2) a multiple of 65?
True
Let a(s) = 8*s**2 + 10*s - 20. Let m = -104 + 111. Is a(m) a multiple of 17?
True
Let v be 0 + (-2)/5 + 226/(-10). Let z = v - -155. Is 12 a factor of z?
True
Suppose 0 = 2*o + o - 48. Suppose z = -5*u + o, -z - 4 + 8 = u. Suppose -981 = -3*q - 3*w - 195, 527 = 2*q + u*w. Is q a multiple of 37?
True
Let l = 56 - 65. Let a(z) = -z - 6. Let i be a(l). Let m(x) = 46*x + 5. Does 10 divide m(i)?
False
Let s(f) = -56*f + 135. Let k be s(12). Let x = k - -769. Is x a multiple of 21?
False
Is 11356 - 10*232/(-1450)*(-1 + 6) a multiple of 70?
False
Let j be -4*((-25)/4 + 3). Let d be j/(-3*4/(-36)). Does 12 divide (-4)/(8/(-9))*832/d?
True
Let f(p) be the first derivative of p**2/2 + 16*p - 15. Let m be (-2)/(-20)*5*-10. Is 8 a factor of f(m)?
False
Suppose -i + 1 + 2 = -3*z, -3*i = -5*z - 29. Suppose 0 = 3*r - 3*h - i, -2*h + 17 = 2*r - 7. Suppose -2*u = 4, 3*m = 3*u + 147 - r. Is 8 a factor of m?
False
Let l(f) = 191*f + 36. Let r(k) = 193*k + 37. Let x(t) = 6*l(t) - 5*r(t). Does 15 divide x(2)?
False
Let r(g) = 14*g**2 - 5*g + 1. Let m be r(2). Let o = -43 + m. Is 120/(2*1/o) a multiple of 35?
False
Is 5 a factor of ((-4)/26 - (-14)/((-910)/3435))/(-1)?
False
Let n = 58 + -55. Suppose -4*k + 62 = n*x, -7*x = -2*x + 4*k - 98. Is 9*6*10/x a multiple of 6?
True
Let s(w) = 4*w + 77. Let p be s(-16). Suppose -p*t - 2085 = -28*t. Does 19 divide t?
False
Let i(d) = -d + 1. Let b be i(-4). Let s = 914 - 908. Does 18 divide (10/s - b/5)*81?
True
Let q = -5079 + 10569. Is 18 a factor of q?
True
Is 40377/19 - (7 - (-2882)/(-418)) a multiple of 5