. Let d be q(10). Suppose -2 = -t + i, d = 3*t + 7*i - 2*i. Suppose t*b - 120 = -6*b. Is b a multiple of 2?
False
Suppose 11*r - 39371 = 21283 + 10692. Does 6 divide r?
True
Does 15 divide (-535)/(4 - 1372/330 - 3/(-33))?
True
Suppose -4*g + 5*x = 9, 4*g - 2*x - x = 1. Suppose 6*z - g - 74 = 0. Is z even?
False
Let p(u) = -u + 1. Let l(s) = -45*s - 56. Let f(i) = 2*l(i) + 10*p(i). Is 42 a factor of f(-9)?
True
Let y(b) be the first derivative of -2*b**2 + b + 9. Let z be y(5). Let x = z - -24. Is 5 a factor of x?
True
Let v(c) = -312*c + 81. Is v(-10) a multiple of 11?
True
Let c(b) be the second derivative of b**4/12 - b**3/6 - 19*b. Let m(l) = -16*l**2 - 2. Let i(j) = -3*c(j) - m(j). Does 12 divide i(-1)?
True
Suppose -31 = -4*q - 11. Suppose 4*g + q*f - 408 = 99, 3*f = -5*g + 637. Let l = 196 - g. Does 16 divide l?
False
Suppose 21*i + 217 = 28*i. Let x = i - -100. Is x a multiple of 17?
False
Suppose 375 = k + 14*k. Is 6 a factor of -1 + 10/k*35?
False
Suppose 215*w - 3*l - 33225 = 212*w, 0 = -5*l - 30. Is 114 a factor of w?
False
Is 23 a factor of (-702144)/1728*(0 - 6)?
True
Let d = -5363 + 12031. Does 6 divide d?
False
Let d be (-24)/(-18)*(-2 - -1)*3. Is 19 a factor of -19 + 21 + (-4)/(d/213)?
False
Let s(d) = -4*d**2 + 4. Let g(p) = -17*p**2 + 15. Let n(i) = 2*g(i) - 9*s(i). Let v be 2 - (-3 - (-2 - 0)). Is n(v) a multiple of 12?
True
Let i(h) = 2*h**2 + 11*h - 106. Let f = 245 + -258. Does 19 divide i(f)?
False
Is (5 - (-1 - 17850/20)) + (-2)/(-4) a multiple of 5?
False
Suppose -3*n + 54 = t, 0 = -5*t - 2*n - 3*n + 220. Suppose 2*f - 89 - t = 0. Does 4 divide f?
True
Does 22 divide ((-4)/6)/((-29)/261) + 1781 - 5?
True
Suppose 0*k = k - 41. Let p be k*(1/(-3))/((-9)/(-27)). Let i = p + 63. Does 2 divide i?
True
Suppose 3*r = -4*r - 91. Let b = r - -11. Is 13 a factor of (0 + -17 - -4)*b?
True
Let o(l) = 2119*l**2 + l**3 - 4240*l**2 - 31 - 35*l + 2110*l**2. Is o(15) a multiple of 17?
False
Suppose 13*s = 14*s + 64. Let i = 184 + s. Does 26 divide i?
False
Suppose 139*a = 220*a - 632043. Is 51 a factor of a?
True
Let b(l) = 14*l + 108. Let c be b(-8). Is 23 a factor of (-1)/(-4*c/(-2896))?
False
Let r be (16/(-4))/2 + 12*1. Let o be (8 - r)/(2/(-16) - 0). Is 436/o - 6/(-8) a multiple of 14?
True
Suppose 0 = -y - 3, 4*f + 4*y = 6*y + 4426. Is 13 a factor of f?
True
Let p(l) = -2*l**2 - 3*l + 6. Let h be p(3). Is 14 a factor of ((-3)/(-6))/(3/h)*-64?
True
Let y = -3338 - -21902. Is y a multiple of 119?
True
Is ((-6060)/30)/(1/(-86)) a multiple of 18?
False
Let q(i) = 10*i**3 - i**2 - i - 18. Let o(t) = -4*t**2 + 125*t - 28. Let w be o(31). Is q(w) a multiple of 12?
True
Suppose -9*y - 67 = -10*y. Let g = 97 - y. Suppose 107 = u + g. Does 7 divide u?
True
Let h be (4 - (2 - 1))*(-5 - 0). Let b(r) = -3*r**2 - 31*r + 16*r + 2*r**2 + 8. Does 4 divide b(h)?
True
Let w(f) = 4*f**2 + 10*f + 2. Let b(g) = 9*g**2 + 18*g + 5. Let l(d) = -2*b(d) + 5*w(d). Does 16 divide l(8)?
True
Let p(z) = 10*z**2 + 5*z**2 - 4*z**2 - 13*z - 167. Is 17 a factor of p(-9)?
False
Suppose -140*x = -129*x - 1914. Let m = x - -66. Is 6 a factor of m?
True
Let p(i) = -i**3 + i**2 + i - 1. Let o be 3/(9/12) + 0. Let j(f) = 5*f**3 + 12*f**2 - 7. Let s(d) = o*p(d) + j(d). Is s(-15) a multiple of 27?
False
Let q = 542 - 586. Let w = -87 + -15. Is 8 a factor of q/(-33)*w/(-4)?
False
Let f = -326 + 10739. Is 161 a factor of f?
False
Let f = -113 + 123. Suppose -4*n - 2*s + 842 = -5*s, f = -5*s. Let q = n + -17. Does 16 divide q?
True
Suppose -3*y - 91*c = -89*c - 56115, -5*y + 2*c = -93525. Is 129 a factor of y?
True
Suppose 3*n = -4*y - n - 868, 5*y + 1106 = 2*n. Let t = 423 + y. Is t a multiple of 7?
True
Is ((-197370)/(-680))/(3/116) a multiple of 9?
True
Let t be 64 + (-6)/(3 - 6). Let v = t + 87. Is 9 a factor of v?
True
Let t = 32584 + 1455. Is t a multiple of 14?
False
Let r be (0/(-3))/1 + 13. Let y = 15 - r. Suppose -y*l = -6*l + 3*d + 95, -2*d - 10 = 0. Is 3 a factor of l?
False
Let s be (-1 + (-14)/(-7))/1. Is 1600/72*3*(s - -2) a multiple of 12?
False
Suppose -57*d + 60*d + 3*w = 16548, -4*w + 11024 = 2*d. Is 92 a factor of d?
True
Let z = 442 + 1006. Suppose -6*q = -88 - z. Does 32 divide q?
True
Suppose -3910 = 4*n - 27*n. Suppose 5*o + 66 = r, -3*r + 0*o + o = -n. Does 4 divide r?
True
Let h(n) = -n**2 + 20*n - 8. Let d be h(20). Let u be 2/d + 777/84. Is 12 a factor of u/(((-3)/(-24))/(2/6))?
True
Let v(y) = -3*y**2 + 245*y + 109. Is 10 a factor of v(72)?
False
Let r(i) = i**3 - 4*i**2 + 3*i + 72. Let n be r(0). Let x(t) = -t**3 + 13*t**2 - 4*t - 8. Let a be x(12). Let z = a - n. Is z even?
True
Suppose -3*t + 137 = 122. Suppose -t*x = 0, x + 403 + 35 = h. Is h a multiple of 61?
False
Let s be -3*4/6*(9 - 109). Suppose s = 10*q - 260. Suppose -322 - q = -n - 3*j, -5*j + 368 = n. Is 46 a factor of n?
True
Let f(h) = h**3 - 6*h**2 + 14*h + 5. Let a be f(11). Suppose 5*g - 3*n - 4421 = 0, 2789 = 4*g + 3*n - a. Does 13 divide g?
False
Suppose -3*i + 4*y + 3 = -21, 24 = 3*i - 2*y. Let o(c) = c + 72. Does 5 divide o(i)?
True
Let y be (-520)/(-15) + (-2)/3. Let u = 53 - y. Let c(d) = -d + 23. Is c(u) a multiple of 4?
True
Suppose 15*j = 12*j + 5688. Suppose 4*r + j = -0*r. Let x = 674 + r. Is 33 a factor of x?
False
Let y = -5837 - -15542. Is 30 a factor of y?
False
Let h = 31 + -28. Suppose 57 = 6*l - h. Let b(o) = o**3 - 10*o**2 + 6*o + 8. Is 7 a factor of b(l)?
False
Let c(o) = 6*o**2 + 26*o + 4. Let v be c(-5). Does 76 divide v/(-84) + (-47050)/(-35)?
False
Suppose -x - 7832 = -5*j, -3*j + 4704 = 141*x - 144*x. Is j a multiple of 27?
True
Suppose -18*d + 5*d = -19019. Suppose -10*x = -3*x - d. Is 22 a factor of x?
False
Let x be 3/1 - (-58*16)/4. Let n = 431 - x. Is 14 a factor of n?
True
Suppose 0 = -3*u + 5*b + 605, -u - 2*b + 640 = 2*u. Suppose -2*y - u = -7*y. Suppose -5*x + 8*x = y. Does 5 divide x?
False
Let q be (-6)/(-1 - -3)*1. Does 10 divide (41 + 176)*(0 - q - 2)?
False
Let f be -6*(4 + -3)/3 - -5. Suppose -2*d + 201 - f = 0. Does 24 divide d?
False
Suppose 0 = -3*c + 8*t - 11*t + 8292, -3*c + 2*t = -8302. Suppose 0*q + 2*q + 4*g = c, 0 = -q + g + 1389. Does 73 divide q?
True
Suppose 3*h = -3*i, -5*i + 6*h - 9*h = 0. Suppose -6*m + 2779 + 341 = i. Does 26 divide m?
True
Let f be (1*1552/24)/(2/9). Let j = -239 + f. Does 13 divide j?
True
Let a(n) = n + 15. Let q be a(-12). Suppose 4*b - q*x = x + 1420, -4*x = 3*b - 1086. Suppose -w = 5*z - b, -3*z + 136 + 70 = 5*w. Is 18 a factor of z?
True
Suppose 30770 = 3*d - 5*b, -2*d = 5*b - 14234 - 6221. Does 13 divide d?
False
Let k(h) = -9 + 8*h**2 - h**2 + 14*h - 6*h**3 - 2*h**2 + 0*h. Is k(-4) a multiple of 19?
True
Suppose -13*y = -86 + 8. Suppose -4*s + y*s = 506. Is 52 a factor of s?
False
Let s be (6/(-3))/((-6)/9) - 1. Let l(q) = -20*q**2 + 3*q + s + 11*q**2 + 10*q**2. Is 9 a factor of l(-5)?
False
Suppose 1225*m = 1240*m - 121545. Is 111 a factor of m?
True
Let x(s) = 22*s - 14. Let l be x(6). Let r = -125 + 43. Let b = r + l. Is b a multiple of 6?
True
Suppose 53*r + 4*c - 1064 = 51*r, -4*c = 3*r - 1590. Let t = r - -144. Is 10 a factor of t?
True
Let b(h) = h**3 - h**2 + 2*h - 2. Let f(l) = 2*l + 14. Let y be f(-6). Let w be b(y). Is 45 a factor of (-24)/(-15) - w/10 - -237?
False
Suppose -8*z = -d - 152193, 109915 - 33817 = 4*z - 2*d. Is 328 a factor of z?
True
Let z be 4/10 - (-4)/(-10). Suppose -2*h + 3*q = -34, 66 = 2*h + 2*q + 3*q. Suppose 4*d - 191 + h = z. Does 6 divide d?
True
Suppose 4*p = -k + 6189, -5*k - 2*p + 13170 = -17667. Is 15 a factor of k?
True
Suppose 2*d + d = 9. Suppose i = 3*a + 321, -467 = -d*i + a + 464. Is i a multiple of 14?
False
Let a = 606 + -618. Does 31 divide (2330/15)/(a/(-18))?
False
Let k be (6/12)/(1/40). Let f be (-965)/k + (-10)/(-8). Let w = f - -149. Is 34 a factor of w?
True
Suppose -4*s - 29*i + 4864 = -33*i, -2*s = 2*i - 2444. Let b = s + -243. Is b a multiple of 8?
True
Let l(s) = -2*s**3 - 81*s**2 - 126*s + 48. Let b(v) = v**3 + 41*v**2 + 62*v - 24. Let q(x) = -5*b(x) - 3*l(x). Does 14 divide q(-36)?
False
Suppose -15983 + 7508 = -8*s - 7*s. Is s a multiple of 3?
False
Let c(b) = -2*b**2 + 31*b + 3016. Is 13 a factor of c(0)?
True
Let z = 26 - -458. Let d = -404 + z. Is 8 a factor of d?
True
Let d(v) = -442*v - 1284. Does 6 divide d(-19)?
False
Suppose