
True
Suppose 10*n - 3*r = 8*n + 49, -2*n - r + 37 = 0. Suppose 13188 = n*a - 8*a. Does 17 divide a?
False
Is (2 - -124 - -11)*-1*-23 a multiple of 30?
False
Suppose -13*y = -8*y. Does 13 divide (y + (-17 - 1))*(-8 + 1)?
False
Suppose 2*c + 0*c + 284 = 0. Let q = c - -326. Suppose -5*t + t + q = 4*g, -199 = -4*g + t. Does 14 divide g?
False
Let p = 189 + -199. Let t(d) = 4*d**2 - 15*d - 108. Is 34 a factor of t(p)?
True
Suppose -16 + 1 = -5*t. Suppose 3*u + 19 = -4*l + 10, -9 = l + t*u. Suppose 3*z + 3*s - 918 = l, -3*s + 1494 + 28 = 5*z. Is 24 a factor of z?
False
Let t = 7 - 5. Suppose -o + 3*r + 229 = 0, -t*o + 2*r = -r - 473. Suppose 5*k = -2*m + 3*m + o, 3*k - 144 = 3*m. Is k a multiple of 8?
False
Let r(o) = -3*o**3 - 12*o**2 + 12*o - 21. Let n(t) = -7*t + 63. Let i be n(10). Does 21 divide r(i)?
True
Let o be 255/(-340)*4792/(-6). Let c = o - -406. Is c a multiple of 33?
False
Suppose 5*b - 66 = 4*a, -3*a + 2*b - 46 = -0*b. Let l = 112 + -77. Let h = a + l. Is 8 a factor of h?
False
Let c(v) = 31*v - 16. Suppose 4*j = 29 + 23. Suppose 51 = j*q + 12. Does 14 divide c(q)?
False
Let k(m) = 2*m**2 - 18*m - 16. Let w(i) = i. Let z(c) = k(c) + 2*w(c). Suppose 0 = g - 3 + 12. Is z(g) a multiple of 50?
False
Let k = -64 + 26. Let q = k - -43. Suppose -5*o + 144 = 2*j - 23, o = q. Does 9 divide j?
False
Let q(z) = 262*z - 6427. Is 7 a factor of q(39)?
False
Let g(u) = 2*u - 31. Let i be g(17). Suppose -4*w - w + f = -961, 387 = 2*w - i*f. Suppose -172*y = -170*y - w. Is y a multiple of 6?
True
Suppose -6*l - 26 = -5*c - 2*l, 14 = c - 3*l. Suppose 0 = 2*y, -12*b = -16*b + c*y + 3936. Is 12 a factor of b?
True
Let i = -6738 + 14193. Does 21 divide i?
True
Suppose 86*r - 109*r + 78660 = 0. Does 7 divide r?
False
Suppose -3*n - 4*u + 2445 = 0, -2*n + u + 1630 = 5*u. Suppose -3*g = 5*m - 959 - 1466, 3*m = -g + n. Does 59 divide g?
False
Suppose -4*o + 17 = -3, 0 = 4*x - 4*o - 1904. Suppose 0 = -q - 1, q - x = -l + 4*q. Is l a multiple of 10?
False
Suppose 3399 = 5*p + 1089. Let s = 678 - p. Does 27 divide s?
True
Let l = -46 - -58. Suppose -f + l = -5*f. Is 5 a factor of (-2)/(-3) - 91/f?
False
Suppose 0 = -29*l - 0*l - 232. Does 15 divide (((-44)/l)/11)/((-3)/(-828))?
False
Let f = 477 + -280. Suppose -2990 = 184*o - f*o. Is 10 a factor of o?
True
Suppose 3*s - 19*o - 3919 = -20*o, -s + 1313 = -o. Suppose -t + 4*y = -1305, -2*t + s = -t - 5*y. Does 39 divide t?
False
Suppose 0 = -26*z + 4*z + 1958. Suppose t = 2*w - 7*w + z, -4*t - 2*w = -338. Is t a multiple of 19?
False
Let a = 26 - 32. Let j be (98/a)/(2/108*-2). Let l = j + -315. Is 16 a factor of l?
False
Suppose -f + 2*f = 2633. Suppose 12*p - f - 5527 = 0. Does 18 divide p?
False
Suppose 197*j - 185076 = -15*j. Is 2 a factor of j?
False
Suppose -4*q - 23814 = 1480*o - 1485*o, -3*o = q - 14268. Does 122 divide o?
True
Suppose -z = 2*f - 83, 2*z - 22 = 3*f + 123. Let q(r) = -r**2 - 21*r - 36. Let t be q(-10). Let n = z - t. Is n even?
False
Suppose 0 = 16*u + 3*t - 176229, -u + 30*t + 11043 = 27*t. Does 9 divide u?
True
Suppose -80 = -2*c + 3*c. Let x = c + 717. Suppose 4*b - x = -3*b. Is b a multiple of 16?
False
Let p be (2 + -1 + 5)/(33/(-22)). Does 5 divide (-12803)/(-31) + (-2 - p)?
True
Let o be (-2 - 4)*(20/(-15))/(-1). Let i = o + 85. Is i a multiple of 6?
False
Let d be (1 + 0)/(1 + -2). Let r = -53 + 50. Does 14 divide (r - d)/(3/(-294) - 0)?
True
Let o be 1641/(-14) + 144/672. Let c be -99*(-1 - (-4)/(-3)). Let b = o + c. Is b a multiple of 19?
True
Does 22 divide 7772*(-7 - 203/(-28))?
False
Suppose -2*x - 2*x - 12 = j, 4*j + 4*x = -12. Suppose j = v - 37 - 237. Is v a multiple of 23?
False
Suppose 30 - 12 = -l. Let t be (-1 + 35)*(-135)/l. Is 22 a factor of (t/6 + (0 - 3))*2?
False
Suppose -o - 5 = 3. Let c be o/60*-466 + (-2)/15. Suppose 4*p - c = 6. Is p a multiple of 17?
True
Let h(o) = -4*o**2 + 12*o - 18. Let d be h(7). Let u = d + -176. Let f = u - -445. Is 21 a factor of f?
False
Suppose 0 = -m - 1, 81*d + 28835 = 84*d + m. Is 9 a factor of d?
True
Suppose -7*o - 3*z + 125389 = 13480, 5*o - 3*z = 79971. Is o a multiple of 39?
True
Suppose 0 = -3*u + 6798 + 5334. Let k be u/22 - (2 - (-24)/(-11)). Is 11 a factor of 3/(6/k) - (-5 - -3)?
False
Let z(q) = 2*q**2 - 64*q + 17. Let b be z(31). Let x = b - -227. Is 7 a factor of x?
True
Let y be (-5)/2 + (-141)/94. Is 21 a factor of y*(9 + -10) - (-2 - 40)?
False
Let u(p) = 12*p + 48. Let m = -67 + 87. Is u(m) a multiple of 16?
True
Let u = -6474 + 14418. Is u a multiple of 240?
False
Let h be -2 - -28 - (-120)/(-24). Is (14/h)/((-5)/(-300)) a multiple of 2?
True
Let u(d) = -d**3 + 8*d**2 - 5*d - 5. Let s be u(7). Let t = s - 10. Does 20 divide ((80/12)/4 - t)*15?
True
Let h be (-35)/14 + 3 - 179/(-2). Let b = -22 + h. Does 17 divide b?
True
Let i(b) = 37*b**2 - 161*b - 984. Does 13 divide i(-6)?
False
Let x(s) = 11*s**3 - 39*s**2 + 99*s + 22. Is x(10) a multiple of 64?
False
Suppose 33*o + 1304 = 37*o. Suppose 4*f - 170 - o = 0. Suppose -x = -5*x + 5*w + 106, -4*w + f = 4*x. Is 6 a factor of x?
False
Let f = 40 - -37. Suppose 0 = 2*l + 2*g - 102, -11 + f = l - 4*g. Is l/2*2/6 a multiple of 9?
True
Let p(m) = m**3 + 3*m**2 + 2*m. Let d be p(0). Suppose -3*h + d*h + 3*b = -17316, -2*b = h - 5772. Is (h/259)/(2/14) a multiple of 5?
False
Let d(i) = 78 + 8 + 44*i + i**2 - 57*i. Does 10 divide d(14)?
True
Suppose -37*p = 5*p + 6*p - 60720. Is p a multiple of 56?
False
Let o(n) be the first derivative of n**3/3 + 11*n**2 + 45*n + 17. Is 5 a factor of o(-23)?
False
Suppose -2*g = 5*j + 3*g - 415, 0 = 2*j - 4*g - 136. Let p = 149 - j. Let r = 159 - p. Does 22 divide r?
True
Suppose 5*g + 14*a - 19*a - 30445 = 0, 0 = 3*g - 5*a - 18265. Is g a multiple of 87?
True
Let p(s) = 11*s**2 - 4*s. Let m be p(5). Suppose -1491 = -3*t + m. Does 48 divide t?
False
Let x = 66954 - 39341. Is x a multiple of 45?
False
Let h(l) = -2*l**3 + 55*l**2 + 66*l + 15. Is h(28) a multiple of 13?
True
Suppose -5*r = 4*r - 126. Does 5 divide (0 - r)*20/(-8)?
True
Does 5 divide (6*1617/(-28))/((-3)/6)?
False
Suppose 5 = -q + 2, -4*q = -5*m - 3. Let o be 5/(-2 + m)*-1*9. Let p = 24 + o. Is 14 a factor of p?
False
Let v = 121 + -116. Suppose 131 = v*f - 2*p - 2497, 4 = 4*p. Is 19 a factor of f?
False
Let n(k) be the third derivative of k**5/30 - k**4/24 - 5*k**3/6 - k**2. Suppose -3*l = -3*g - 8*l + 25, -4*l + 13 = g. Is n(g) a multiple of 8?
True
Suppose 342519 - 3069960 - 8334 = -315*a. Is a a multiple of 15?
True
Let b(t) be the third derivative of -5*t**4/8 - 7*t**3 - 48*t**2. Is b(-6) a multiple of 24?
True
Suppose 0 = -4*u + 5*u + p + 260829, 5*u = 2*p - 1304166. Is (-2*2/(-8))/((-104)/u) a multiple of 57?
True
Suppose 39*y - 24 = 43*y, 47246 = 5*a + 4*y. Does 163 divide a?
True
Let v(u) = -u**2 + 19*u - 30. Let c be v(17). Suppose -5*n - 5*t + 28 + 7 = 0, 3*n + c = 2*t. Suppose -27 + 6 = -a - n*l, -3*a + 4*l = -13. Does 8 divide a?
False
Let r(j) = 3*j + 55. Let n be r(-19). Let w be (-38)/(-9) - ((-20)/(-9) + n). Suppose 9*b = w*b + 135. Is b a multiple of 3?
True
Let n be (-14)/56 - 17/(-4). Suppose 3*k - n*h = -8*h + 421, -h - 717 = -5*k. Let p = -82 + k. Is 16 a factor of p?
False
Let s = -192 + 191. Does 11 divide (2/8)/s - 21660/(-48)?
True
Let c(w) = 161*w**2 + 170*w - 74. Does 29 divide c(-10)?
True
Let p be ((-25)/(-15))/(3/(-18)*-2). Suppose -p*i - 70 = -20. Is 45/(i/8 - -2) a multiple of 3?
True
Let s be ((-176)/77)/((-4)/14). Let m(p) = -p + 9. Let w be m(s). Does 30 divide w + (-477)/(-4) - 6/24?
True
Suppose 122436 = 24*n + 14*n. Is 106 a factor of n?
False
Suppose 838 + 264 = 2*h. Suppose 0 = 17*z - 18*z + h. Does 29 divide z?
True
Let m = -165 + 150. Does 21 divide (-377)/(-2) - (m/6 - -2)?
True
Suppose 4*q + 24493 - 94327 = -3*h, 4*q = 5*h + 69850. Is q a multiple of 24?
False
Let y(k) = 26*k + 160. Let l be 9 + 0/5 + 2. Let t(f) = -9*f - 53. Let r(i) = l*t(i) + 4*y(i). Is r(10) a multiple of 30?
False
Let g(w) = 3*w + w**3 + w**2 - 2*w + 0*w + 0*w - 1. Let r(x) = -5*x**3 - 15*x**2 + 6*x + 26. Let l(k) = -4*g(k) - r(k). Is l(-11) a multiple of 8?
True
Suppose -z - f = 888 - 14299, -3*f - 26847 = -2*z. Is z a multiple of 24?
True
Suppose 25*b - 4*u + 437 = 28*b, -2*b - 2*u = -290. Does 6 divide b?
False
Is 99838/16 + 4/(-320)*-10 a multiple o