 51. Is y a multiple of 13?
True
Suppose -13*j + 11*j = 126. Let u = j - -72. Is 9 a factor of u?
True
Let d(n) = 7*n - 8. Let g(b) = -2*b + 16 + 3*b + 6. Let x be g(-17). Is d(x) a multiple of 9?
True
Is 5 a factor of (((-20)/(-40))/(4/10) + -5)*-76?
True
Is -2*(-279486)/60 + (-1 + -3)/20 a multiple of 43?
False
Let l be (-18 + 13)/((-10)/8). Suppose -s - 1914 = -l*s. Is 31 a factor of s?
False
Let s be ((-10)/3)/((-12)/2124). Let c = s + -182. Is 68 a factor of c?
True
Suppose -q + 16*r - 11*r + 140 = 0, 0 = 4*r - 16. Is 20 a factor of q?
True
Let x(d) = 2*d**2 + 8*d - 42. Let j be x(5). Let k(u) = u**3 - 9*u**2 + 12. Let v be k(9). Let p = j - v. Is p a multiple of 6?
True
Let w(h) = 8*h**2 + 9*h - 63. Let l = 332 + -327. Does 14 divide w(l)?
True
Let b(w) = w**2 - 3*w - 13. Let o be b(6). Let i be 4/(-6) - (-289)/51. Suppose o*k = 105 + i. Is 22 a factor of k?
True
Let s = -2614 + 3543. Is s a multiple of 19?
False
Suppose -3473 + 51883 = 8*c - 35774. Is c a multiple of 17?
True
Let p be (18/27)/(4/42). Let n(j) = j**3 - 6*j**2 + 14*j - 10. Let m be n(p). Suppose 0 = -4*i + 183 + m. Is i a multiple of 20?
True
Suppose 13*s - 86 = -60. Suppose 2*k + 144 = h, 0 = 5*h + 2*k - 88 - 644. Suppose 2*l - h = -s*q, 3*l = -l + q + 302. Is 11 a factor of l?
False
Is 23 a factor of 3565*(-20 - (-1722)/70)?
True
Suppose 11*d = 9*d + 4*i + 18, d - 3*i = 12. Suppose 15*j = -d*j + 5040. Does 28 divide j?
True
Let g(r) = r**2 - 22*r - 165. Let o be g(28). Suppose 3*m = f - 166 - 63, 2*f - 431 = -o*m. Does 62 divide f?
False
Does 92 divide ((-17)/7 + 3)*7*506?
True
Let d(a) = -a**3 - a**2 + 3*a. Let w be d(-3). Suppose -171 = -c - 3*b, -4*c + w*c - 865 = -5*b. Is c a multiple of 6?
True
Let v(a) = -9*a**2 - 44*a + 9. Let f be v(-5). Suppose -f*p + 8*g + 4353 = 3*g, -p + 2*g + 1086 = 0. Does 13 divide p?
True
Let b = -46 + 59. Suppose 0 = b*k + 510 - 2863. Is (-2)/8 - (-1 - k/4) a multiple of 12?
False
Let n = -190 + 206. Suppose p - z - 218 = 0, -n*p + 13*p + z + 658 = 0. Is 30 a factor of p?
False
Let i be 3 + 0/(10/5). Let l(j) = -48*j - 10. Let k be l(i). Let c = -64 - k. Is 18 a factor of c?
True
Let y be (0 - -1)*379 + (170 - 174). Suppose 0 = 2*f - 4*w - 626, 3*w + 1933 = 5*f + y. Does 43 divide f?
False
Let z(b) = -3*b - 15. Let i(d) = d. Let m be i(-9). Let j be z(m). Does 7 divide 14*(6/j + (-2)/(-4))?
True
Let g = 490 - 486. Suppose 4*h - 5301 = -g*d + 3*d, 4*h + 5*d = 5321. Is h a multiple of 16?
False
Suppose 3994788 = 324*a - 96*a. Is a a multiple of 13?
False
Let x = 29098 + -13288. Is x a multiple of 31?
True
Let u be (-11 - -13)/(0 + (-3)/(-6)). Suppose -2*x - 97 = -4*w - 3*x, 67 = u*w - 5*x. Is 3 a factor of w?
False
Let n(l) = -2*l**3 - 13*l**2 - 17*l + 18. Let i be n(-8). Let a = i - 321. Is a a multiple of 5?
True
Let n(u) = -u**3 - 10*u**2 - 16*u - 87. Let d be n(-6). Is (-392)/(-35)*d/(-18) a multiple of 7?
True
Suppose 0 = -2*a, -2*t + 0*t = 4*a - 26. Suppose 3*s - 4*f = 1755, 9*s = t*s + f - 2340. Is s a multiple of 9?
True
Let z(k) = k**3 + k + 485. Let x be z(0). Suppose 322*f - 317*f = x. Is f a multiple of 7?
False
Let w be 12/21 - (-893156)/77. Suppose 0 = 19*q - 9*q - w. Is q a multiple of 58?
True
Let y = -20133 + 23344. Is 19 a factor of y?
True
Let y = 2536 + -1266. Does 4 divide y?
False
Let p = -334 - -322. Does 8 divide -1 + 90 + p/4?
False
Suppose 1087 = -n + 5*a, -4*n + a = 3158 + 1152. Let i = 2935 + n. Is 109 a factor of i?
False
Let r(b) be the third derivative of 3*b**4/8 - b**3/2 - 133*b**2. Does 3 divide r(2)?
True
Let b be (6 + (-42)/12)*2. Suppose 324 = p + b*o, 4*p = 4*o - 6*o + 1224. Is p a multiple of 38?
True
Does 40 divide ((-72)/15)/(-4) + (-45644)/(-5)?
False
Let c = -61 - -318. Let l = c + -34. Does 16 divide l?
False
Suppose 70*h - 599324 = -36*h. Does 127 divide h?
False
Suppose -5*a - d - 102 = 0, -4*a = -8*a + 4*d - 72. Suppose 0 = z - 4*s + 1, -32 = 4*z - 2*s. Is 13 a factor of (504/a)/(z/60)?
False
Let o(t) = -30*t - 39. Let s be o(-1). Let i(f) = -30*f - 75. Is 5 a factor of i(s)?
True
Let s be (6/(-3) + 288)/2. Suppose -2*j + 16 = -4*g - 10, -2*j - 3*g = -47. Suppose j = -4*b + s. Is 12 a factor of b?
False
Let x(k) = 68*k + 36. Is x(20) a multiple of 59?
False
Let i = -19821 + 44715. Is i a multiple of 30?
False
Suppose -3*r + 5*r = 4*l - 9400, 2*r = -3*l + 7043. Suppose -3*t + l = -x, 5*x - 972 = -3*t + 1377. Does 29 divide t?
True
Let c = 502 + -1463. Let d = 1876 + c. Is d a multiple of 84?
False
Let o be 44/(-33) + (-34)/(-3). Let z be 62/o + (-17)/85. Suppose 9*p - z*p - 282 = 0. Does 47 divide p?
True
Let o = 44162 - 28759. Is 211 a factor of o?
True
Suppose 5*y - 72847 - 80799 = -12*y. Is 14 a factor of y?
False
Let w(s) be the first derivative of -9 - 3*s**2 + 5/2*s**4 + 3*s + 2/3*s**3. Is 4 a factor of w(2)?
False
Let u(o) = -o**3 - 4*o**2 + 13*o + 70. Is 12 a factor of u(-14)?
True
Suppose 4*j + s = 31, -4*j + 5*s - 4 = -17. Is 75 a factor of 41/(-287) + 4621/j?
False
Let p(f) = f**2 + 4. Let r(m) = -m**2 + 1. Let b(q) = -p(q) - 5*r(q). Let x be b(8). Let a = x + -108. Does 15 divide a?
False
Let r = -9 - -9. Let f(i) = 75 - i**3 + 5917*i**2 - i - 5916*i**2 - i. Is f(r) a multiple of 18?
False
Suppose -4*q = -73*b + 74*b - 24186, -3*q = -2*b - 18156. Does 12 divide q?
True
Let z(o) = o**3 + 6*o**2 - 2*o - 2. Let g be z(-4). Suppose 0 = 2*l - 2*u - 194, -4*u + g = l - 59. Is l a multiple of 6?
False
Let j(f) = -f - 3. Let y be j(-3). Suppose -13*i = 312 - 338. Suppose l + 4*x - 230 = y, i*l + 3*x + 0*x = 440. Is l a multiple of 22?
False
Suppose -4*x - 938 = -s, 0 = -25*s + 28*s - 5*x - 2800. Is 3 a factor of s?
True
Let n be ((-5)/(5/(-3)))/1. Suppose -3*w - r = -0*w + 21, 0 = -5*w + n*r - 21. Is 3 a factor of (-238)/(-6) + 4*1/w?
True
Let p(f) = -f**2 - 27*f - 69. Let v be p(-24). Suppose -2*c + v*z + 419 = 0, -3*z - z = 3*c - 654. Does 17 divide c?
False
Let x(i) = 3*i**3 + 24*i**2 - 10*i + 2. Does 30 divide x(11)?
False
Let v = -29 - -15. Let m be v/(-5) + (-1)/(-5). Suppose 4*t + 3*o - 97 = 0, -5*t = -m*o - 79 - 49. Does 23 divide t?
False
Suppose -5*l + 2113 = 2*n, -2*n + l = -n - 1074. Let t = -448 + n. Is t a multiple of 27?
True
Suppose -23*z + 734565 = -18*z + 34*z. Does 26 divide z?
False
Suppose -2*s + u - 3 = 0, 12 + 13 = 5*u. Let p be ((-153)/(-17))/((-1)/9) + s. Let h = p + 130. Is 25 a factor of h?
True
Suppose -4*y = 2*l - 14, l - 2*y - 5 = -3*y. Let w be (3 - 4)*l + 2. Is 5 a factor of (4/10)/(w/(-90))?
False
Let b(m) = 1386*m - 216. Does 123 divide b(14)?
True
Let q be (180/(-105))/((-4)/(-42)). Is ((-27)/q)/((-1)/(-2)) - -59 a multiple of 7?
False
Let c be 16/((-4 - -2) + 4). Suppose -c = -x + 2*v, 5*v = -4*x + 5*x - 11. Is 15/10*152/x a multiple of 4?
False
Let g be 2/(-7) - (29270/(-35) + 1). Let s = -565 + g. Does 31 divide s?
False
Let d(i) = -i - 1. Let l(b) = 12*b - 3. Let h(z) = -45*d(z) - 3*l(z). Is 9 a factor of h(14)?
True
Suppose -46*k + 6265 = -41*k. Let i = -701 + k. Suppose -5*j = -2*j - i. Is 14 a factor of j?
False
Let k(a) = -a**3 + 6*a**2 - 5*a - 1. Suppose 0 = 2*t + 4*q + 10, -7 = 3*t + 5*q + 3. Let v be k(t). Is (-45)/(v/(-6)*-1) a multiple of 45?
True
Let c(x) = -11*x**3 - 12*x**2 - 9 - 4*x - 13*x + 10*x**3 + 3*x - 5*x. Does 4 divide c(-11)?
False
Let f(o) = -10*o - 8 + 0*o + 19*o + 262*o**3. Does 7 divide f(1)?
False
Suppose 1960 = -12324*w + 12326*w. Does 28 divide w?
True
Suppose 0 = 5*b + 20, -2*t = -3*t + 5*b + 38. Suppose -3*d = 3*d - t. Is 5 a factor of d/(4/((-224)/(-6)))?
False
Let t(c) = -c**3 + 13*c**2 + 49*c - 28. Let j be t(17). Let w = 456 + j. Is w a multiple of 5?
True
Suppose -30 = 2*c - 36. Suppose -3*u + c*m - 30 = 21, 0 = 3*u - 4*m + 50. Let o = 26 + u. Is o a multiple of 8?
True
Let i(m) = m**3 + 6*m**2 - 2*m - 3. Let t be i(-4). Suppose 3*y - 107 = t. Is y a multiple of 4?
True
Is 206/(-1)*((-368)/4600 + 6942/(-100)) a multiple of 15?
False
Suppose 4*o = 3*g + 4432, 299 = -2*g + 307. Is o a multiple of 101?
True
Let k = 225 + 6. Suppose k*o - 237*o + 1296 = 0. Is o a multiple of 8?
True
Let r(v) = 264*v**2 - 96*v + 18. Is r(8) a multiple of 39?
True
Let u be (-2120)/(-159)*138/(-5). Let p = u + 789. Does 7 divide p?
False
Let k(y) = 4*y**2 + 23*y - 1100. Is k(-39) a multiple of 61?
True
Let h(y) = -10*y + 55. Let r be h