e
Suppose -21 = 3*g, 0 = 2*y - g - 75469 + 13568. Is y a multiple of 213?
False
Let j(r) = 66*r**2 + 1331*r - 47. Is j(-21) a multiple of 3?
False
Let m(b) = 757*b - 7633. Is m(56) a multiple of 22?
False
Suppose -5*r - 4*x + 5697 = -932, 2*r - 5*x = 2645. Suppose r = 9*k - 4*k + i, 0 = -3*i. Suppose 6*g - 3*g - 426 = 2*v, -5*v + k = 2*g. Is 45 a factor of g?
False
Let z(k) = -k**2 + 2*k + 5. Let x be z(-7). Suppose -3*r + 310 = -189 - 20. Let u = r + x. Is u a multiple of 8?
False
Let z = -9036 - -12713. Is z a multiple of 47?
False
Let d be -3*(2 + -4 + 1). Is 13 a factor of (21 - -564)*1/d?
True
Suppose -4*h = -3*h + 46. Let a be (-3280)/(-64)*(1 + h/(-2)). Is ((-9)/(-5))/(-3) - a/(-50) a multiple of 4?
True
Let s(w) = 72*w**2 + 278*w - 1384. Does 21 divide s(5)?
True
Suppose -7575 = -10*n + 35*n. Let y = -258 - n. Does 2 divide y?
False
Suppose -146*g + 149*g = 231. Is 10 a factor of ((-180)/21)/(2/g*-1)?
True
Let b(d) = -42*d + 51. Let c be b(7). Let t = 85 + -128. Let n = t - c. Does 40 divide n?
True
Let a(m) = -30*m - 3 + 44*m + 17*m + m**3 - 14*m**2. Is a(13) a multiple of 7?
True
Suppose 33*v - 30*v - 39 = 0. Does 14 divide 34/(-6)*(-13)/(v/42)?
True
Is 6 a factor of (246/9)/((-2)/(-108))?
True
Suppose 17*q - 8*q = -86*q + 189810. Is 18 a factor of q?
True
Suppose 0 = -23*o - 754 + 5400. Suppose -11*c + o = -2515. Is 2 a factor of c?
False
Let k be (-9)/(-15)*6 + 6/15. Suppose 2*t = -2*j + 92, -t + 6*j = k*j - 46. Is 3 a factor of t?
False
Suppose 97*i + 103*i - 107712 = 194*i. Does 12 divide i?
True
Suppose -11*d - 1374 = -5*d. Let v = -181 - d. Is v a multiple of 16?
True
Suppose -2*q + 2*o - 3 = -39, o - 52 = -4*q. Suppose -y - 49 = -5*s, s = -0*s - 4*y + q. Suppose 12 = -9*j + s*j. Is 4 a factor of j?
True
Let b = 14000 + -5258. Does 15 divide b?
False
Suppose 3*y = 4*m - 935, 8*m - 13*m - 5*y = -1125. Is 13 a factor of 6*(-12)/(-54) - m/(-3)?
True
Let b(i) = 6*i**2 - 7*i - 31. Let o be b(-9). Let c = o - 359. Is c a multiple of 8?
False
Let a(t) = 55*t + 3. Let g(i) = 112*i + 6. Let o(p) = 10*a(p) - 4*g(p). Does 9 divide o(1)?
True
Let x(h) = h**3 + 7*h**2 - 4*h - 5. Let b be x(-6). Let c = 52 - b. Let y = 126 - c. Is y a multiple of 26?
False
Let c(y) = 3*y**2 - 2*y - 2. Let r be c(-1). Let q be (532/(-6))/2 + 1/r. Let t = q - -51. Does 4 divide t?
False
Let h be (57/2)/(75/(-40) + 2). Suppose -8*n + h = -4*n. Suppose -12*k + n = -687. Is k a multiple of 9?
False
Let s be -344 + -1*(-14)/(-7). Let t = 677 + s. Is 28 a factor of t?
False
Let m be ((-1036)/(-56))/(2/16). Let p = -115 + m. Does 2 divide p?
False
Let f(r) = r**3 + 18*r**2 - 95*r + 3. Let u be f(8). Suppose -y + 5*y = h + u, 917 = 4*y + h. Is 9 a factor of y?
False
Does 15 divide (1980/(-8))/(13/(-130)*5)?
True
Let q(i) = 311*i**2 - 250*i + 8. Is q(10) a multiple of 16?
True
Let k(t) = 12*t**2 - 140*t + 894. Is 92 a factor of k(46)?
False
Suppose 2*b - k = -189, 0 = -5*b - 5*k - 262 - 248. Let f = b - -101. Suppose 3*d = -t + 18, 0 = -f*t - 0*d - 4*d + 104. Is 3 a factor of t?
True
Let p = -5694 - -10721. Is 47 a factor of p?
False
Let g(z) = z**3 - 18*z**2 - 35*z + 13. Let u be 2717/133 + (-2)/((-28)/(-6)). Is 13 a factor of g(u)?
False
Does 19 divide ((-20)/40)/(3/18) - -725?
True
Let g(h) = -1551*h + 1083. Is 138 a factor of g(-9)?
True
Let c(u) = -46*u**3 - 31*u**2 + 8*u + 3. Is c(-3) a multiple of 25?
False
Let i = 44825 - -2602. Does 16 divide i?
False
Suppose -6*z - 2 = -8*z. Suppose 0 = -2*f - 4*h, -3*h - 2*h = 3*f + z. Let k(s) = 8*s**2 - s. Is k(f) a multiple of 34?
True
Let d = -32 - -32. Suppose d = -3*a - a - 20. Is -6*a/(-10) - -55 a multiple of 13?
True
Suppose -h = -2*m - 1233 - 4213, -2*h - 2*m = -10868. Is h a multiple of 43?
False
Suppose 2*m + 3*w - 1490 = 0, -3*m + 2*w = -1494 - 702. Is m a multiple of 32?
True
Let b(q) be the first derivative of -q**3/3 + 15*q**2/2 + 18*q + 19. Let t be b(18). Let s = 53 - t. Is 5 a factor of s?
False
Let g = 6363 + -5647. Is g a multiple of 34?
False
Let g = 1500 + -695. Is 21 a factor of (27/(-5))/((-69)/g)?
True
Suppose -274 = -5*l - 2*m, 4 = -m + 1. Does 9 divide (5/20*-9)/((-3)/l)?
False
Let i be 1*(4 + -1 + -3). Let a be -1 + -1 + i + 4. Suppose a*p - 48 - 80 = 0. Is 29 a factor of p?
False
Let z(h) = -7*h**2 - 12*h - 19. Let w(g) = 3*g**2 + 6*g + 9. Let p(y) = -9*w(y) - 4*z(y). Let m be (-2)/(-3)*126/12. Is 2 a factor of p(m)?
True
Let f = -712 + 2003. Is 39 a factor of f?
False
Let y = 9 + -5. Suppose 15 = 5*t + 5*h - 15, t + y*h - 15 = 0. Suppose 0 = t*a - 258 + 24. Does 13 divide a?
True
Suppose n + 2*o - 7171 = 0, 0 = 506*n - 509*n - 2*o + 21525. Does 74 divide n?
False
Suppose -1003 = -a - 4*q - 2, 4*a - 4037 = -5*q. Suppose -2*u + 3*t = -483, -t - a = -5*u + 162. Is 9 a factor of u?
True
Suppose 21*q + 59 - 473 = 468. Let u be ((-20)/(-6))/((-1)/9). Let f = q + u. Does 12 divide f?
True
Let r(h) = -h**3 - 2*h**2 + 3*h + 10. Let v be r(-4). Let f(t) = t**3 - 31*t**2 + 45*t - 76. Is f(v) a multiple of 22?
True
Suppose 5*o - 7*v = -8*v + 23481, o = -5*v + 4725. Is o a multiple of 11?
False
Suppose -24*l = -28*l + 4588. Suppose -2*z + 383 = a - 0*z, 3*a + 4*z - l = 0. Is a a multiple of 30?
False
Suppose 4*r = -2*y + 35130, -66*r + 61*r = -2*y + 35067. Is y a multiple of 9?
False
Suppose -17*d = -12*d - 195. Suppose 4*s - s = d. Let u(p) = 4*p + 29. Does 9 divide u(s)?
True
Let g be ((-10)/(-15))/(1/(-3)) + 2. Let a be 159 + ((11 - -1)/(-4) - g). Does 7 divide (-2 + 0)/((-318)/a + 2)?
False
Let a be (10 + -4)*(-5)/(-6). Let f(j) = -j**3 + 18*j**2 - 5*j - 12. Does 16 divide f(a)?
True
Let j(c) = 5 + 54 + 55 + 10*c + 16. Is j(22) a multiple of 25?
True
Suppose 2*r - 3*r - 116 = 0. Let c = r - -96. Is 3*(-5)/c*216 a multiple of 15?
False
Let z = 29054 - 19919. Does 11 divide z?
False
Suppose 0*c = -5*d - 4*c + 36, -4 = 4*d - 5*c. Suppose -d*m + 198 = -m. Let i = m - 58. Is 4 a factor of i?
True
Let n(d) = -4*d + 55. Let s be n(10). Let a = -11 + s. Suppose -4*y + 0 + 236 = -4*g, -a*y + 235 = -5*g. Is 10 a factor of y?
True
Let m be (-5*6/(-15))/((-2)/(-27)). Let o be 6/m - (-52)/9. Suppose o*x - 56 = 5*x. Does 8 divide x?
True
Suppose -5*j = 3*j + 96. Is 55 a factor of 835 + (j - -6) + 3?
False
Suppose -66*n - 75019 = -537252 - 338743. Is n a multiple of 82?
True
Let r be ((-17)/(51/(-90)))/1. Suppose c + 5 - 3 = 0, 2*n = 2*c + r. Suppose 1176 = n*z + 292. Is 17 a factor of z?
True
Let y be 136/(-56) - 6/(-14). Let c be 17/(85/(-450)) - y. Let b = c + 156. Is b a multiple of 4?
True
Let x(m) = m**3 + 10*m**2 - 41*m + 1. Let o be x(-13). Is o/18*(245 + -7) a multiple of 7?
True
Suppose -84*g - 12 = -90*g. Suppose 2*j + g*a = 102, -7*j = -8*j + 4*a + 36. Is 6 a factor of j?
True
Let q = 103 - 45. Suppose -4*x = -6 - 582. Let w = x - q. Is w a multiple of 14?
False
Let l = -20 - -42. Let k = l + -25. Does 15 divide -35*(k + (-36)/(-28))?
True
Let k be (-147)/245 - 18/(-5). Suppose s - 986 = -k*x, -16*s = 5*x - 17*s - 1630. Is x a multiple of 5?
False
Suppose 3*m = -5*b + 25, 2*m = m + 5*b - 25. Let n be (m + (-4)/(-12))*123. Let g = n - 36. Is g a multiple of 5?
True
Suppose w - 16 - 90 = 0. Suppose -3*t - 4*j = w + 63, -j - 111 = 2*t. Let v = -47 - t. Does 2 divide v?
True
Let k(v) = 893*v - 9872. Is 3 a factor of k(15)?
False
Let v(p) = -1146*p - 5205. Is 45 a factor of v(-10)?
True
Suppose -6*q + 1224 = -3234. Let h = -668 + q. Is h a multiple of 15?
True
Let n(c) = c**3 - 28*c - 15. Let w be n(-5). Suppose 4*g + 4*g - 2400 = w. Is g a multiple of 10?
True
Let p = 3605 - 205. Is 40 a factor of p?
True
Suppose -56 = 3*r - 20*o + 18*o, -2*r - 4*o = 48. Let m = 9 - 14. Is 27 a factor of (-7)/(28/(-592)) + r/m?
False
Suppose 21311*q - 21321*q = -49600. Is q a multiple of 136?
False
Let f = -35 + 35. Suppose 5*v = -2*w + 10, 3*v = 4*w + 26 + 6. Suppose -5*k = -3*j + 123, -3*j - j - v*k + 132 = f. Does 9 divide j?
True
Let b = 18276 - 13446. Is b a multiple of 14?
True
Let p = 138 - -598. Let s = -392 + p. Is 49 a factor of s?
False
Let s(m) = -m**3 + 6*m**2 + 2*m + 49. Let r be s(10). Let b = 69 - r. Is 25 a factor of b?
True
Let d = 2020 + -3393. Let c = d + 1944. Is c a multiple of 52?
False
Let t be ((-2)/(-1) + 15/(-6))*0. Suppose 4*x + 0 - 16 = t. Suppose 5*k + 13 = 3*g, -x*g - 3*k = g - 67. Is g a m