(n) = -2*n**2 + 5*n + 54. Let f be d(6). Is j(f) even?
False
Let n(k) = 2*k - 7*k + 0 + 5 - 16. Let j be n(-3). Is 265/j - (2 + 35/(-20)) a multiple of 11?
True
Suppose d = -4*s + 22714, -5*s - 3*d + 17040 = -2*s. Does 3 divide s?
False
Suppose -4*h = 113*h + 39*h - 926484. Is h a multiple of 14?
False
Suppose -4*r + 51 = h, 3*h + 7 = -2*r + 40. Is (-1127)/(-3) + r/9 a multiple of 29?
True
Suppose 0 = 5*p + 2*m - 8558, -50 = 2*p + 3*m - 3482. Does 30 divide p?
True
Suppose 1048406 = -39*k - 416746. Does 16 divide (60/14)/(k/3416 - -11)?
False
Let a(f) = -7*f**3 - 111*f**2 - 90*f + 5. Is a(-20) a multiple of 14?
False
Let w(u) = -751*u - 1084. Does 5 divide w(-4)?
True
Does 44 divide 104/(-117) - (-2)/(54/157893)?
False
Suppose -5382 = 20*q - 29*q. Let p = q - 235. Is p a multiple of 56?
False
Let g = -142 + 217. Let m = 13 - 19. Does 25 divide (g + -1)*(-6)/m?
False
Let j(m) = m**2 + 10*m + 10. Let b be j(-10). Is -4*b/(-8) + 280 a multiple of 19?
True
Suppose 0 = -4*s + 23*s + 57. Does 8 divide (4/15*-3)/(s/390)?
True
Let g = -650 - -744. Let d = 266 - g. Does 4 divide d?
True
Suppose 62*h + 2*x = 60*h + 10, -3*x + 15 = 0. Suppose 105 = b + 4*u - 48, h = -b - u + 162. Is 4 a factor of b?
False
Let n = 900 - -15457. Does 13 divide n?
False
Does 67 divide 23901441/2847 + (-8)/26?
False
Suppose -46228 - 35852 = -80*j. Does 18 divide j?
True
Is 5 a factor of 98/8*(-16740)/(-27)?
True
Let z(p) = 9*p + 89. Let x(a) = 13*a + 134. Let l(j) = -5*x(j) + 8*z(j). Let n(k) = -k**3 + k**2 + 42*k + 104. Let d be n(-3). Is l(d) a multiple of 28?
True
Let s = -1 - -2. Let l be (s + 19)*25/80*4. Let j = 3 + l. Is 3 a factor of j?
False
Is (-2288)/(-10) - 30/(-25) a multiple of 3?
False
Suppose 0 = 2*q - 8*q + 588. Suppose 11*h + 483 = q. Is 69 - (h/20 + 1/(-4)) a multiple of 13?
False
Let b = 2788 + -2368. Does 21 divide b?
True
Let o be (-6 + 4)/((-2)/(-19)). Does 4 divide (-2)/(-4)*(-12)/(-6) - o?
True
Let j(s) = -70*s**3 - s**2 + 2*s + 2. Let v be j(-1). Suppose v*o - 666 = 67*o. Is 28 a factor of o?
False
Let v(g) = -4514*g + 4280. Is v(-9) a multiple of 310?
False
Suppose 11*w - 28139 = 8348. Does 9 divide w?
False
Suppose 0 = -236*p + 243*p. Suppose p = -f + 3, 4*f - 264 = -5*w + 4*w. Is 18 a factor of w?
True
Let n be -1*(-1 - -3) + -31. Let g = 40 + n. Let c = g - -22. Does 3 divide c?
False
Let s(o) = o**3 + 13. Let u be s(5). Suppose -k + u = -w, 0 = -6*w + 5*w. Is k a multiple of 6?
True
Let v(q) = -480*q + 6819. Is 2 a factor of v(14)?
False
Is (-153)/(-2*-2*12/(-3392)*2) a multiple of 17?
True
Suppose 773*m = 770*m + 1470. Is 10 a factor of m?
True
Let k be (3*-2)/((-12)/8). Suppose 0*x - k*x - 235 = -5*v, -5*x = -25. Is 17 a factor of v?
True
Suppose -722*t + 261*t + 14827604 = 0. Is 10 a factor of t?
False
Let a = -353 - -557. Let c = a - 42. Does 4 divide c?
False
Is 22606 + 8*((-24)/16 - -1) + 5 a multiple of 13?
True
Let h be (56/12 - (-20)/15) + -2. Is 3 a factor of ((-162)/(-45))/(h/230)?
True
Let g(q) = 530*q - 113. Does 2 divide g(1)?
False
Let z = 4291 + 8701. Is z a multiple of 224?
True
Suppose -11*x = 5307 - 72352. Does 32 divide x?
False
Suppose -2*t + 5*y + 7443 = 0, -61*t - 11168 = -64*t + 4*y. Is 28 a factor of t?
True
Let i(t) = 6*t - 36. Let l be i(21). Let m = 167 + l. Does 14 divide m?
False
Let r(u) = 1312*u**2 - 12*u + 11. Let f(z) = -41*z - 286. Let d be f(-7). Does 92 divide r(d)?
False
Let a = -25014 - -39874. Is a a multiple of 2?
True
Let j = -2593 + 2701. Is 9 a factor of j?
True
Let q = 10870 + -7323. Is 47 a factor of q?
False
Let z(g) = 10*g**2 + 13*g + 260. Is 106 a factor of z(29)?
False
Suppose -17516 = -2*i - 2*s, i - 12205 = 5*s - 3477. Is 32 a factor of i?
False
Let k = 7183 - 5571. Is 26 a factor of k?
True
Suppose g + 13 = 11, 0 = 4*x - 3*g - 15386. Is 14 a factor of x?
False
Let a be ((-12)/(-10))/((-4)/(-10)). Suppose a*h - 3469 + 575 = 4*b, -4*h + 3892 = 3*b. Suppose 3*k + 7*k = h. Is k a multiple of 31?
False
Suppose -2*w + t + 15206 = 0, -3*t + 15194 = 2*w + 2*t. Does 14 divide w?
True
Is 2640/360*14310/33 a multiple of 15?
True
Let t(g) = 21*g**2 + 25*g + 10. Suppose 2*p = -4*w - 0*p - 22, 5*p - 8 = -w. Is 72 a factor of t(w)?
True
Let v = 13385 - 8231. Is 54 a factor of v?
False
Let z = 189 - 76. Is z a multiple of 5?
False
Let u(z) = 32*z - 16 + 0*z**3 - 2*z**2 - z**3 + 15*z**2. Let y be u(15). Is y/(-70) + 182/10 a multiple of 14?
False
Suppose 0 = -4*g - 3*g + 3108. Let d be 4/22 + g/(-22). Is 32 a factor of (-1264)/d*10/4?
False
Suppose 0*d - 720 = -5*d. Suppose -1168 - d = -4*x. Is 38 a factor of x?
False
Let s be 301/(1*(0 + 1)). Let v = 516 - s. Is v a multiple of 39?
False
Let t(a) = -1918*a - 676. Does 53 divide t(-4)?
True
Let f(h) = -45*h**2 - 7*h - 9. Let x be f(-2). Let z = -104 - x. Let n = z + -52. Does 2 divide n?
False
Suppose -m + 2*p + 6599 = 4*m, 0 = 4*m - p - 5278. Let h = m + -934. Is h a multiple of 7?
True
Let p = -21 - -23. Let f(a) = a**p + 6*a + 24 + a - 3*a - 9. Does 10 divide f(-5)?
True
Suppose -96*g + 100*g = 4780. Does 8 divide 1/3 - g/(-15)?
True
Let y = 32 + 11. Suppose -13*f - y = -628. Does 9 divide f?
True
Let u = -4166 + 4633. Is u a multiple of 10?
False
Is ((-4)/(-38) - (1 + -1)) + 146096784/31692 a multiple of 135?
False
Suppose 4*g = 4*i + 6088, -6*g + 4*g + 3040 = -4*i. Is 12 a factor of g?
True
Let t(h) = 69*h + 62. Let y be t(6). Suppose 4*v - y = 4*d, 4*d + 448 = 4*v + 7*d. Is 5 a factor of v?
True
Is (2484 + -1)*((-110)/(-80) - 30/80) a multiple of 3?
False
Let u be (-5 - -9) + 1 - 64. Let k = u + 168. Is k a multiple of 7?
False
Let o be ((-3)/6)/(1 - (-3613)/(-3612)). Suppose 5*r + 0*r = -3*x + o, -4*r = 3*x - 1446. Does 20 divide r?
True
Let o be -7 + 13/((-91)/(-8134)). Let z = o + -508. Is 31 a factor of z?
False
Suppose 80*z + 56073 = 83*z - 3*w, -z + 18689 = -2*w. Does 4 divide z?
False
Let o(z) = 3*z**3 + 4*z**2 - 10*z. Suppose 0 = -g + 5*a - 103, 5*g + 0*a + 415 = 5*a. Let f = 82 + g. Is 24 a factor of o(f)?
True
Suppose 0 = -5*j + 3*l + 27263, 3*j + 30*l = 27*l + 16377. Is j a multiple of 2?
False
Suppose 2*c - 31611 = 5*r, 15806 = 4*c - 3*c - 2*r. Is 42 a factor of (-8)/18 + c/171?
False
Suppose -3*r - 2*n = 14181 - 69467, 0 = -3*r + 5*n + 55321. Is r a multiple of 36?
True
Does 31 divide 2 - (-10070)/14 - (0 - (-18)/63)?
False
Let m be (-8)/12 + (-158)/6. Let k be 595/(-40) + (-2)/(15 + 1). Let s = k - m. Does 10 divide s?
False
Suppose -3*o = d - 1317, 41*d = 38*d + o + 3921. Does 4 divide d?
True
Let r be (-3)/(-12) - (-3 - (-2435)/(-4)). Let h = -177 + r. Is h a multiple of 7?
False
Let d(l) = -467*l - 8255. Does 7 divide d(-34)?
True
Let t be (13/2 + -4)/(5/4). Suppose 2*i + 41 = 43, -2*a = t*i - 1290. Is 29 a factor of a?
False
Suppose 8*u = u + 28. Suppose 0 = -u*n + 5*m + 2180, 4*m = -n + 4*n - 1634. Does 25 divide n?
True
Let t = 15005 + 2487. Is 272 a factor of t?
False
Let g be 4 + 3/((-3)/2). Suppose 0 = -5*v - 0*a - g*a + 70, -4*a + 20 = 0. Is v a multiple of 12?
True
Let v be 5895/50 + (-4)/(-40). Suppose -3*l = -128 - v. Let j = l - 34. Is 16 a factor of j?
True
Suppose 514*j + 108097 = 532*j + 12625. Is j a multiple of 104?
True
Let j = 5039 + 51. Is j a multiple of 3?
False
Suppose -128*h + 88*h + 1311600 = 0. Is h a multiple of 9?
False
Suppose -118*g = -481*g + 16601079. Is 120 a factor of g?
False
Suppose 4*l - 9*l - 80 = 0. Let a be 5*3*(l/12 - -2). Suppose 350 = -5*t + a*t. Does 10 divide t?
True
Let n be (-475)/(-9) + (-2)/(-9). Suppose n = -26*l + 3095. Is l a multiple of 13?
True
Let u = 449 + -441. Let n(c) = -c**2 - c - 1. Let g(b) = -b**3 + b**2 + 6*b - 18. Let k(j) = -g(j) + 5*n(j). Is 7 a factor of k(u)?
False
Is 54 a factor of (-1200752)/(-68) - ((-224)/119 - -2)?
True
Let i(j) = -63*j + 7084. Let u be i(110). Suppose 0 = -4*b - 0*b - 3*w + 185, -3*b + 165 = -3*w. Suppose 0 = -3*x + b + u. Is 4 a factor of x?
True
Let w(t) = -5*t + 2. Let p be w(2). Let m(k) be the first derivative of -2*k**2 + 3*k + 448. Does 4 divide m(p)?
False
Let l = 55833 + -4513. Does 20 divide l?
True
Let h = -106 + 134. Suppose -9*u = -h*u + 741. Is u a multiple of 16?
False
Suppose -l + 4*g - 130 = 0, -4*l + 86 = -5*g + 595. Is 19 a factor of (l/7)/((-2)/66)?
False
Let z = 77 + -57. Suppose -8*h = -4*h - z. Is h/(-10)*2 + 85 a multi