ctor of x(u)?
True
Let w be (5/((-35)/(-12)))/((-56)/(-392)). Suppose 3*b = -b + w, -1559 = -2*y + 3*b. Is y a multiple of 14?
True
Suppose 0 = 2*b + 8, -5204 = -2*p + 5*b - 6*b. Does 93 divide p?
True
Let k(q) = -q**3 + 12*q**2 - 10*q - 6. Let t(z) = 33 - 8*z + 3*z + z**2 + 15*z. Let c be t(-5). Does 17 divide k(c)?
True
Let k(z) = z**2 - 7*z - 20. Let v be k(9). Let g be (-1)/v + (-21)/14. Let w = 3 + g. Is w even?
True
Suppose -5*j = -6*j - 4, 4*j + 60412 = 3*q. Is 19 a factor of q?
False
Let q = 21 - 22. Let j be (3 + -5)*81/(-6) + q. Is (1/2)/(0 + 1/j) a multiple of 13?
True
Suppose 0 = 4*x - 90*u + 91*u - 78388, 0 = 3*u + 12. Is 27 a factor of x?
False
Let r be (24/60)/((-1)/(-5)). Suppose r*g - 11 = -5*k, -2*k + 3*g = k - 15. Suppose -5*h + 4*m + 17 = k, -3*h + 2*m + 10 = 0. Is h a multiple of 3?
True
Let w(r) = 178*r - 620. Let p be w(6). Let c(t) = t**2 + 5*t - 2. Let v be c(-6). Suppose -2*y = 2*x - p, -y - 5*x - 648 = -v*y. Does 50 divide y?
False
Let d(c) = 223*c**2 + 6*c - 4. Let i be -4 - (9/(-18))/(1/12). Let f be d(i). Suppose 2*a = -2*p + 364, 5*a - 7*p - f = -2*p. Is a a multiple of 29?
False
Let r(u) = 15*u**2 - 243*u + 3125. Does 65 divide r(14)?
False
Let n = -266 + 271. Suppose 344 = -b + 2*p + 1058, 2*b - 1424 = n*p. Is 19 a factor of b?
True
Let f = -9258 + 9614. Is 7 a factor of f?
False
Let v(k) be the first derivative of k**4/4 + 2*k**3/3 + k**2 + k + 3. Let z be v(-1). Suppose z = 4*a + 2*a - 570. Is 15 a factor of a?
False
Let q(v) be the first derivative of 10*v**3/3 + v**2/2 - v + 131. Let i be 18/(-14) + 10/35. Is 3 a factor of q(i)?
False
Suppose -41*t = 19774 + 4457. Is 29 a factor of (t/4)/(46/(-184))?
False
Suppose 17*o - 21 = 14*o. Let d(w) = w**2 + 4*w + 4. Let f be d(o). Suppose 86*s = 83*s + f. Is 10 a factor of s?
False
Suppose 770*i = -3*v + 765*i + 166409, 3*i = -5*v + 277359. Is 39 a factor of v?
False
Let a be 2/(-3)*1 - (-236)/(-6). Let j = a - -38. Is (j - -89)*22/33 a multiple of 5?
False
Let a(t) = 260*t - 75. Let f be a(-12). Is f/(-5)*4/12 a multiple of 7?
False
Let v = 142 - 136. Is 28 a factor of 3 - (-133)/(-42) - (-2353)/v?
True
Let f(s) = 691*s - 283. Let r be f(19). Suppose 16*u = 882 + r. Is 39 a factor of u?
True
Suppose -5*h - 10 = 0, 3*h + 9285 + 2817 = 3*n. Is 32 a factor of n?
True
Let x be 2 - (-2 - -51) - (-3 + 0). Let c = -5 - x. Let v = 76 - c. Is v a multiple of 12?
False
Is 5539364/199 - (1 + 4 + -7) a multiple of 31?
True
Suppose -5*h = -f + 1759 + 1049, 3*f = -4*h + 8576. Does 6 divide f?
False
Suppose -2*n - 20632 = -3*d, 1072*d = 1077*d + 5*n - 34370. Is 12 a factor of d?
True
Suppose 3*d = 35*o - 33*o + 42816, 0 = -3*o + 9. Does 183 divide d?
True
Let n = -245 - -232. Let i(j) = -j**2 - 19*j. Does 39 divide i(n)?
True
Let j(y) = y**2 + 7*y - 7. Let q be (3 - (10 - 4)) + -6. Let a be j(q). Suppose 13*b - 40 = a*b. Is b a multiple of 5?
True
Does 80 divide (-20 + (-18 - -35))*(-2484 + 1)?
False
Let r be (0 + 27 + 0)/(22/1760). Suppose -106*h = -115*h + r. Is h a multiple of 8?
True
Suppose -2*j - 27 - 11 = 0. Let i(d) = -4*d + 44. Is 4 a factor of i(j)?
True
Let y = 85951 + -52603. Is y a multiple of 84?
True
Suppose 0 = t + 8*z - 9*z - 4668, -3*z = -12. Suppose -4*j = -20*j + t. Does 59 divide j?
False
Let r = -186 + 178. Is (30/r)/(4291/616 - 7) a multiple of 6?
False
Suppose 249*z = -51*z - 223*z + 22659498. Is 83 a factor of z?
True
Does 63 divide ((-107688)/(-9))/2 + (-555)/(-45) + -12?
False
Let o(h) = 202*h - 55. Let w be o(-2). Let v = -111 - w. Is 29 a factor of v?
True
Let j(t) = -138*t - 597. Does 15 divide j(-24)?
True
Suppose 4*j - 3*i - 17 = 0, 5*j + 2*i = 4*i + 16. Suppose 0*a + j*a = a. Suppose 2*u + 9*b = 4*b, a = 2*u + 2*b - 12. Is 5 a factor of u?
True
Does 11 divide (114/(-9))/(44/(-10362))?
False
Suppose z + z - 40 = -2*o, 0 = 3*z + 4*o - 65. Let s be (-2 - 1)/(z/(-15)). Let g(m) = 3*m**3 - 3*m**2 - m - 2. Is 7 a factor of g(s)?
True
Suppose 0*z - 210 = 6*z. Let q = z + 60. Suppose u + 1 - 15 = 4*r, 3*u + 5*r = q. Is u a multiple of 4?
False
Suppose 0 = 3*a - 18, -13*a = -5*g - 15*a + 43207. Is g a multiple of 27?
False
Let p(v) = -8*v**2 + 86*v + 26. Let m be p(11). Suppose 5*q = -5*t + 406 + 449, -t - m*q = -171. Does 57 divide t?
True
Suppose 0 = 5*s - 5*v - 47435, v = 44*s - 40*s - 37939. Suppose -10*l + 3096 = -s. Is 34 a factor of l?
True
Suppose -2*k - 2*k - 552 = -4*x, 5*x = -4*k - 525. Let s = k - -144. Is 7 a factor of s?
False
Is 55 a factor of (2 + 1188/(-14))/((-94)/3619)?
True
Let f = 376 - 372. Suppose 4*r + 1202 = 3*v, 1586 = f*v + 5*r - 2*r. Does 44 divide v?
False
Let j be (-2)/(-3)*6 + -2. Suppose 417 = j*o - 815. Suppose -2*a + o = 4*s, 3*a - 8 = 4. Is 28 a factor of s?
False
Let k(x) = -45*x**3 - 5*x**2 + 8*x + 11. Is 34 a factor of k(-5)?
False
Let p(f) = f**3 - 12*f**2 - 3*f + 151. Let j be p(11). Let i(b) = -3*b**3 + 2*b**2 - 7*b. Does 12 divide i(j)?
True
Let j(z) = 281*z**2 + z. Let a be j(1). Suppose -a = 4*n - 34. Let m = 216 + n. Does 22 divide m?
True
Let b(c) = -c**3 - 10*c**2 + 3*c + 47. Let j = 68 + -59. Let u be (2 - 10)/4 - j*1. Is 15 a factor of b(u)?
True
Suppose 3*j + 89 - 2939 = 2*s, 0 = s - j + 1427. Is 61 a factor of (3 + s/6)/((-39)/52)?
False
Suppose 4936 = 5125*c - 5123*c. Is c a multiple of 10?
False
Let v be (-12 + 231/22)/((-3)/100). Let i be (-1 - (-6)/4)*0. Suppose o - v = -i*o. Is o a multiple of 12?
False
Suppose -w - 5*j = -6179, 6131 = w - 10*j + 7*j. Is 11 a factor of w?
True
Let b(w) = 7*w + 72. Let l be b(-10). Suppose -3*d = -l*v - 666, -2*d + 249 = -2*v - 197. Is d a multiple of 58?
False
Let o be (3 - 3)/(-8 + 1). Let p be 3*1/3*2. Suppose 39 = 3*d - 5*i, -2*i + o*i = -p*d + 30. Is 9 a factor of d?
True
Let n(z) = 4*z**2 - 2*z - 6. Let o be n(2). Suppose 132 = o*w + 12. Suppose 15*v + 335 = w*v. Does 32 divide v?
False
Suppose 0 = 2*g + 6, -z + 25 = -0*z + 9*g. Suppose -18 = -5*m - 4*v, m - 5 = -v - 1. Suppose -z = m*k - 194. Is k a multiple of 41?
False
Let p be (-1 - 5)*(-2)/(-9)*-24. Let v = 32 - p. Is 5 a factor of (-42)/4*-6 + (v - 3)?
True
Is (8 + 381)*2 - (1 + 2) a multiple of 25?
True
Suppose 2*l - 10 = -2*s, -5*s = -16 - 4. Does 19 divide 471/l - (-13 - -9)?
True
Suppose -989*g + 987*g = -48. Suppose 2*y - 2*r - g = 448, -3*r = -2*y + 474. Is y a multiple of 26?
True
Let p(q) = -76 - 12*q + 15*q + 17*q. Let g(z) = 4*z - 15. Let w(h) = -11*g(h) + 2*p(h). Does 16 divide w(-16)?
False
Suppose -30*w + 22774 = -27*w - 19154. Is 63 a factor of w?
False
Let j(u) = u**3 + 5*u**2 - 7*u - 27. Let r be j(-5). Suppose -400 - 624 = -r*q. Is 32 a factor of q?
True
Let v(w) = -8*w - 76. Let a be v(-10). Suppose 0 = a*z - 24*z + 7020. Is z a multiple of 27?
True
Let s = -4 - -6. Suppose 2*i = -k + 11, 2*k - s*i = 7*k - 15. Does 8 divide (-384)/(-112)*k*7?
True
Let g = 281 + -268. Suppose g*o - 165 = 212. Is o even?
False
Let i(k) = k**2 - 3*k - 8. Let s be i(-2). Suppose 2*m + 2069 = 8*u - 5*u, s*u - 1376 = 2*m. Is u a multiple of 33?
True
Suppose 0 = -n + 2*m + 136, 2*m + 135 = n - m. Suppose -2*k + n = -198. Is 14 a factor of k?
True
Is 5 a factor of 1601 - 90/9 - -9?
True
Let x = -196 + 220. Does 3 divide (-16)/x*(-6)/4 + 11?
True
Suppose -o - 49406 = -6*u, 2*u - 5779 = -5*o + 10679. Is u a multiple of 43?
False
Let l(t) = -70*t**2 - 2*t. Let y be l(-2). Let h = 573 + y. Is 11 a factor of h?
True
Let m = 31892 - 20372. Does 20 divide m?
True
Let c = 382 - 434. Is (-92)/(-6)*(-1248)/c a multiple of 8?
True
Suppose -43*m + 609 + 552 = 0. Let h(n) = 21*n + 61. Is h(m) a multiple of 19?
False
Suppose -3*h + 4*h = 3*w - 16, 0 = 4*w - 5*h - 14. Suppose 38 + w = o. Is 3 a factor of o?
False
Let g(u) = 2 - 27*u + 2*u**2 + 20*u + 4 - 2. Let p be g(-7). Suppose -p + 22 = -3*z. Is 4 a factor of z?
False
Let p be ((-328)/12)/((-7)/(-3) + -2). Let n = 162 + p. Is n a multiple of 5?
True
Suppose -263 = -3*f - 2*o, -f + 2*f + 4*o = 81. Suppose 0 = -z - f + 419. Is 33 a factor of z?
True
Let i be 1*(83 + -3) + (2 - -1). Let k = i + -31. Does 13 divide k?
True
Suppose 5*g = 8*m + 86936, -4*g + 4*m + 65178 = -4366. Is g a multiple of 164?
True
Does 47 divide (-3 + -3 - 229)*30/(-25)?
True
Let y(x) = 237*x**2 - 13*x + 19. Is y(-4) a multiple of 12?
False
Suppose 102757 - 23497 = -15*x. Does 25 divide 6/(-180)*4 