 38 a factor of y?
True
Suppose 0 = 2*x + 5*k - 885, 5*x = -5*k + 669 + 1551. Suppose -5*q - 2*j = -x, -5*j + j + 20 = 0. Let a = q + -42. Does 14 divide a?
False
Let b be ((-2)/1)/1 - (-325 - 15). Let o = b + -94. Is 61 a factor of o?
True
Suppose 0 = 17*q - 18003 - 22644. Does 55 divide q?
False
Suppose j - 2*x + 3*x = 141, j - 153 = 3*x. Suppose -8*h + j = -6*h. Is 4 a factor of h?
True
Suppose 5*r + 2*t - 53 = 0, -t = r - 2*t - 12. Let w be -4 + 1 + (r - 10) - -4. Suppose -4*l = w*b - 406, l + 5*b = -l + 223. Does 17 divide l?
False
Let a(w) = 15*w**2 - 418*w - 58. Is 99 a factor of a(35)?
False
Let j(l) = -l**2 - 7*l + 20. Let a be j(-9). Suppose 7*x = a*x - 10. Is 8 a factor of (46 - -1) + (x - 1 - -4)?
True
Let z(p) = p**3 - 11*p**2 - 13*p + 1. Let g be z(13). Suppose 2*r + 345 = -3*r. Let w = r + g. Does 22 divide w?
False
Suppose -31*t + 7*t + 2304 = 0. Suppose 2*q = 4*c + t, -10*c + 6*c = 12. Is q a multiple of 3?
True
Suppose 11*o + 1434 = 422. Let q = o + 194. Suppose -90 = -8*g + q. Is 6 a factor of g?
True
Let o(w) = -79*w - 609. Is 35 a factor of o(-42)?
False
Suppose 1256 = o - 5*s, 5*o = -s + 2*s + 6304. Is 7 a factor of o?
False
Let p be (-1671)/15 + 3/(60/8). Let o = p - -57. Is 7 a factor of (o/8)/(3/(-8))?
False
Let s = -10113 + 14769. Does 48 divide s?
True
Suppose 5*n - 52 - 172 = -4*t, 4*n - 5*t - 212 = 0. Does 8 divide ((-2)/4 - 408/n)*-8?
True
Let m(l) = l**3 - 4*l**2 + 9*l - 6. Let w be m(4). Suppose -3*z - w - 16 = 5*u, 3*z = -4*u - 35. Let r(i) = -20*i - 28. Is r(u) a multiple of 10?
False
Let t(b) = b + 1. Let h be t(-1). Let u be (-1928)/(-24) + 2/(-6). Suppose h = 5*o + u - 230. Is 8 a factor of o?
False
Let p(h) be the second derivative of -h**3/6 + 21*h**2/2 - 23*h. Let v be p(22). Does 17 divide 27/(-9)*(v/1 - 10)?
False
Suppose 22*b - 68455 - 108650 = 7*b. Does 138 divide b?
False
Let o = 18175 + -13003. Is o a multiple of 31?
False
Suppose -232 = -h + 5*c, -4*h = -9*c + 14*c - 803. Let w = h + -151. Is w a multiple of 8?
True
Let r = 325 - -14885. Is 65 a factor of r?
True
Let s(x) = 10*x**2 + 13*x - 3. Let z be 432/(-90) - 2/10. Does 13 divide s(z)?
True
Suppose -3 - 49 = -d + 4*x, 0 = 4*d - 2*x - 152. Suppose 35*p - d*p + 178 = 0. Does 9 divide p?
False
Suppose 3*u + 51 = 135. Suppose -4*y = 4*q - 12, -4*q = -4*y + 3*y + u. Is 3 a factor of -4 + (y/28 - (-89)/7)?
True
Suppose -5*p + l + 2 + 24 = 0, -2*l - 22 = -4*p. Let n(h) = h**2 - 4*h + 5. Let w be n(p). Is 5/w + (-146)/(-4) a multiple of 7?
False
Let d(y) = -y**2 + 19*y + 20. Let i = 40 + -20. Let b be d(i). Suppose 2*q - 168 = -b*q. Is q a multiple of 14?
True
Does 36 divide -11*(522/(-4))/(-9)*-4?
False
Suppose 2*k = k + 1. Let h be 0 - (8 + -5)*k/(-1). Suppose g + h*g = 520. Is 26 a factor of g?
True
Suppose -4*i + 149592 = -7*l + 9*l, -4*l = 4*i - 299192. Is (l/250)/(4/10) a multiple of 11?
True
Suppose -8*t - 261 = -9*t. Let l = 156 - t. Let b = l + 121. Is 9 a factor of b?
False
Suppose -4*s + 220 = 2*c, -c - 101 = -2*c + s. Suppose -286 = -3*n + 4*q, 0*q - 3*q + c = n. Is n a multiple of 16?
False
Let v = -82 - -91. Suppose 4*i + f - 34 = -v, -20 = -5*i + f. Suppose -h - 284 = -4*d, 0 = -d + i*d - 3*h - 276. Is d a multiple of 6?
True
Let a be (6 - 7 - (-1112)/(-40))*5. Suppose -2*c + 679 = 3*w, -w + 2*w + 4*c - 243 = 0. Let p = w + a. Does 15 divide p?
False
Let x(g) = 587*g**3 - 48*g**2 + 173*g - 2. Does 10 divide x(4)?
True
Let x = -42 - -46. Let k = -19 + 13. Is -3*x/36 - 290/k a multiple of 12?
True
Let t be (-15)/9*(0 - -3). Is 4 a factor of (-50 + (1 - t))*-1?
True
Suppose -88*l + 81*l + 1421 = 0. Is 9 a factor of 64032/l - (-3)/(-7)?
True
Let s be 7/(7/14*(0 - -1)). Suppose -4*v + 2*c = -s, -10*v + 13*v = 5*c - 7. Let o(p) = 5*p**2 + 7*p + 4. Does 29 divide o(v)?
False
Let h be -3 - (0 - 23 - 3). Let k = h + 16. Suppose 7*a = 6*a + k. Does 13 divide a?
True
Suppose -286*q = -65*q - 159120. Does 39 divide q?
False
Let i(q) = -299*q**3 - q**2 - 2*q - 1. Let d be i(-1). Let r = -103 + d. Does 28 divide r?
True
Suppose 77214 = 402*a - 351*a. Is 7 a factor of a?
False
Let h be ((-315)/(-6) - -3)/(9/60). Let j = -175 + h. Suppose j - 45 = 5*p. Does 10 divide p?
True
Let j(u) = 3784*u + 1319. Is 11 a factor of j(3)?
False
Let v(p) = -p**3 - 16*p**2 + p + 18. Let g be v(-16). Let l(s) = s**2 + 4*s + 6*s + 17 + g*s**2. Is l(-7) a multiple of 21?
False
Suppose 12*x + 4906 = 13*x - 4*q, -2*x = 2*q - 9762. Is x a multiple of 13?
False
Suppose -2*z + 2 = -0*z, 4*z = -5*t + 15524. Suppose 0 = -9*o - t - 244. Does 13 divide o/(-2) + 12/(-3)?
True
Suppose 108 = 21*g - 17*g. Suppose 4*l - 4 = 0, -l = -3*y + 2*l - 9. Is 14 a factor of (-9)/(g/y)*84?
True
Let s(g) = 293*g - 1 + 9 - 162*g - 152*g. Is s(-8) a multiple of 7?
False
Let y be (-6 - 0)/((-22)/11). Suppose -32 = y*b + 7. Is b/(-1) - (-3 + 5) even?
False
Let d = 9916 - 5043. Is 55 a factor of d?
False
Suppose -7*m = -2*m - 375. Let h = m - 71. Suppose h*r + 0*r - 616 = 0. Is 11 a factor of r?
True
Let s(b) = 5*b**2 - 4*b - 17. Let m be s(4). Let j = -39 + m. Suppose -j*y = -28*y + 1780. Does 11 divide y?
False
Let s(j) = -26*j**2 - 17. Let k be s(-4). Let v(d) = -8*d**2 - 9*d - 13. Let a be v(5). Let t = a - k. Is t a multiple of 35?
True
Let a(l) = 28 - 16 + 3*l**2 - 23 + l - 5*l. Is a(10) a multiple of 11?
False
Let d(l) = l**2 - 10*l - 3. Let u be d(11). Suppose 20*o = u*o + 816. Is 17 a factor of o?
True
Suppose -4*y = h - 79, y - 4*y + 237 = 3*h. Let a = h + -76. Suppose -p = -2*u - 301, -a*u - 1214 = -2*p - 2*p. Is 30 a factor of p?
False
Let n be (2/6)/(((-90)/81)/(-10)). Let s(d) = 15*d + 2 + 13*d - 40*d + 15*d - 159*d**n. Does 10 divide s(-1)?
False
Let u = 746 + -1339. Let y = -199 - u. Is y a multiple of 34?
False
Let s be ((-4)/6)/(22/33) - -2. Let z(v) = 17*v**2 + 8*v + 6. Let x(l) = l + 1. Let o(q) = s*z(q) - 6*x(q). Does 8 divide o(-2)?
True
Let w(f) = 3*f**3 - 3*f + 2. Let l be w(1). Suppose -2*y - 4*b + 1190 = y, -785 = -l*y - b. Is 30 a factor of y?
True
Suppose -s - 808 = -5*s. Let u be (-4)/9*(-11457)/38. Suppose 5*p = -3*z + s, 2*p + p + 5*z - u = 0. Is p a multiple of 38?
True
Let i = 121 - 116. Is 15 a factor of -3 + (i - 1) + 145 + -1?
False
Let o(n) = -2*n**2 - 3*n + 2. Let h be o(-4). Suppose 56 - 116 = 15*d. Does 7 divide (-220)/(-30)*h/d?
False
Let q = 12011 + -6035. Is 83 a factor of q?
True
Let r(o) be the first derivative of -13*o**2/2 - 7*o - 6. Let d(a) = 27*a + 14. Let u(j) = 4*d(j) + 7*r(j). Does 14 divide u(5)?
False
Let k(g) = 13*g**2 - 14*g + 46. Let z = 104 + -100. Is 5 a factor of k(z)?
False
Does 12 divide (-1710566)/429*60/(-8)?
False
Does 4 divide 1*(1/(-4) + 114/(-24) - -3212)?
False
Is 8 a factor of (18 + 616/(-22))/(1/(-784))?
True
Let m = -831 + 835. Let b be (0 + -94)*(-1 + 0). Suppose -a - 6 - b = -4*l, m*a = 16. Is l a multiple of 26?
True
Suppose -6*t + 3*t = 5*h - 4861, -4*h + 2*t + 3902 = 0. Suppose -h = -5*f + 2*y, 0 = -2*f - 10*y + 5*y + 407. Is 14 a factor of f?
True
Let b be 0 - -3 - (-10 - -5)/5. Let h be (-1)/((8/(-98))/b). Suppose 2*f = 3*f - h. Is 8 a factor of f?
False
Let t = -39281 + 59441. Suppose -t = -15*r - 6*r. Is 53 a factor of r?
False
Suppose 2*r + 169 = -5*h, -3*r + 3*h - 129 = -r. Does 4 divide r/48*(-8)/3?
True
Suppose -4*z + 9 = -3*s + 47, -3*s + 40 = -5*z. Suppose -s*w + 636 = -6*w. Suppose 6*d = 105 + w. Does 11 divide d?
True
Suppose -4*o + 13 = -3*v - 0*v, 0 = 3*o - 3. Let l be v/2*32/6. Is 9 a factor of (-4)/(-4 - l) + 22?
False
Let x(d) = -483*d - 2383. Is x(-8) a multiple of 2?
False
Suppose -8*u = -1058 - 158. Suppose -6*o + u = 8. Suppose -20*s - 848 = -o*s. Is 53 a factor of s?
True
Let r be (-18)/(-9) + -1 + -45. Let k = -46 - r. Does 16 divide 104 - (k - 10)/(-4)?
False
Does 79 divide (-1422 - 0)/(18/52 + 3/(-6))?
True
Let h be ((-5)/10*-1)/((-1)/2). Let z be (-2)/7 + -2*h/7. Does 6 divide ((-8)/(-4))/(z + -2)*-59?
False
Let y = 57 - 53. Suppose 5*f - 23 - 14 = -2*q, 3*q - 3*f - 45 = 0. Suppose q*d - 432 = y*d. Is d a multiple of 6?
True
Is 0 + (-3)/(-15) + 2260210/575 a multiple of 11?
False
Is 40/30 + 89832/18 a multiple of 12?
True
Let z = 58478 + -29736. Does 196 divide z?
False
Let o = 7690 - 3132. Does 41 divide o?
False
Suppose -30 = -3*c - 21. Suppose 0 = 2*t + 5*a - 365, -c*t - 8*a + 565 = -4*a. D