3 + (-99)/12)*(-25 - 11)?
True
Suppose -80 = -7*z + 179. Suppose -z*r = -38*r + 64. Is r a multiple of 32?
True
Suppose 0 = -3*s + 4929 + 2139. Is s a multiple of 25?
False
Suppose 1114 = 71*d - 7761. Is 19 a factor of d?
False
Let k = -49 - -155. Suppose -c + 31 = -4*b, 2 = -5*c - 3. Does 3 divide b/(-20) - k/(-10)?
False
Let t be 3/((-15)/20) + 38. Let a = 21 + t. Is a a multiple of 4?
False
Let y = -432 - -728. Is 37 a factor of y?
True
Does 8 divide (-2)/3*(-85 - 2387)?
True
Suppose 8*u - 4 + 180 = 0. Is (16/8)/((-4)/u) a multiple of 11?
True
Let x(z) = z**2 + 3*z - 34. Is 4 a factor of x(-18)?
True
Let d = -13 - -19. Let f(j) = -2*j + 6*j**2 - 4*j - 5*j**2 + 3 + 5. Is 4 a factor of f(d)?
True
Let o(z) = -2*z - 11. Let g(v) = -v + 1. Let t(s) = -3*g(s) - o(s). Suppose 57*c - 58*c + 2 = h, 0 = -3*h - 5*c. Is 20 a factor of t(h)?
False
Let m(q) = -q**3 + 28*q**2 + 61*q + 26. Is 34 a factor of m(28)?
True
Let k(q) = 3*q + 11*q - 5 + 5*q - 14. Suppose 0 = -0*m + 3*m - 27. Is 36 a factor of k(m)?
False
Let g = -5 + 5. Let d = g + -2. Is d + -2 + 3 + 39 a multiple of 16?
False
Does 20 divide (87/(-58))/(6/(-5344))?
False
Let k = -699 - -1029. Is 10 a factor of k?
True
Let n(u) = 3*u**2 - 4*u + 5. Let o be n(5). Suppose 4*r = o + 60. Is 15 a factor of r?
True
Let u = -299 - -567. Does 42 divide u?
False
Suppose 0 = 2*w + 3*f + 7, -16 = 3*f - 1. Does 9 divide (w - 2 - -1)/((-17)/(-323))?
False
Suppose -5*i = -a - 0*a - 119, 0 = -4*a - 16. Let u be i/5 + (-6)/(-15). Suppose -w = 2*w + 3, -2*k + u*w = -155. Is k a multiple of 25?
True
Let t = -9 - -9. Suppose -5*r + t*r + 50 = 0. Let v = r - 5. Does 4 divide v?
False
Let l = -2 - 3. Let t = 0 - l. Let c = 9 - t. Is c even?
True
Suppose -5*t + 570 = 5*z, -z - 2*z = -6. Let j = t - 76. Does 18 divide j?
True
Suppose 3*c - 6441 = -3*l, -4*c - 2*l = -7*l - 8588. Is 15 a factor of c?
False
Is (2697/116)/(6/200) a multiple of 59?
False
Let x(r) = -r**2 - 4*r + 15. Let i be x(-5). Suppose 38 = 12*w - i*w. Is w a multiple of 2?
False
Let b = -610 - -1031. Suppose 4*d - 2*i - 4 = 0, 4*i + 7 + 1 = -2*d. Suppose -4*r + b + 123 = -4*j, d = 5*r + 4*j - 635. Does 32 divide r?
False
Suppose 10 + 14 = 4*q. Suppose -x = g - q - 33, -x + 45 = 3*g. Is x a multiple of 4?
True
Let i = 22 - 31. Let d(w) be the second derivative of -5*w**3/6 + 10*w**2 - w. Does 16 divide d(i)?
False
Let v(s) = -s**3 - 3*s**2 - 2. Let c be v(-3). Is (332/(-6))/(4*c/12) a multiple of 24?
False
Let d(t) = 2 + 10*t - 19*t**2 - t + 18*t**2. Let h be d(9). Is (-2 - 19)/(h - 3) a multiple of 7?
True
Is 16 a factor of 7/(98/4708) - (-18)/(-63)?
True
Let t(f) = 30*f**2 - 2*f + 2. Let l(s) = s**2. Let m(r) = -10*l(r) + t(r). Let o = -170 - -172. Is 28 a factor of m(o)?
False
Suppose 0 = 67*s - 61*s - 22656. Does 12 divide s?
False
Let o = -60 - -50. Is 48 a factor of 3*24*o/(-3)?
True
Is 3 a factor of ((-1395)/4)/(-9)*4?
False
Let l be (-4)/(-16) - 22/(-8). Is 44 a factor of 2 + (2 - l) + 169?
False
Let d(w) = w**3 + 8*w**2 + 7*w + 3. Let j be d(-7). Let o be 135/3 + -3 - j. Suppose 5*t - 4*t = o. Is t a multiple of 39?
True
Let n(x) = 171*x**2 + 10*x + 35. Is n(-5) a multiple of 20?
True
Let d = -174 - -315. Is d a multiple of 7?
False
Let b be -2*4/16*-2. Let s = 4 - b. Suppose -s*a + 6 = -2*q, 3*a + 10 = -2*q + 7*a. Is 2 a factor of q?
False
Let r(a) = -a**3 + 24*a**2 + 31*a - 38. Is 4 a factor of r(25)?
True
Suppose 0 = -8*t + 48 - 8. Let q be 36/5 + 4/(-20). Let b = q + t. Is 12 a factor of b?
True
Let b = 173 - 3. Suppose -3*t - t = 3*i - 585, t - b = 4*i. Does 15 divide t?
True
Let k be (1 + (-1)/3)*(-90)/(-12). Let i(p) = -p**3 + 5*p**2 + 4*p + 4. Is 24 a factor of i(k)?
True
Let m be 3/18 - (-383)/6. Suppose -i + 69 + m = 0. Suppose 4*a - i = -3*c, -7*a = 2*c - 4*a - 87. Is c a multiple of 17?
True
Let a(v) = 2*v**3 + 17*v**2 - 12*v + 20. Let o(n) = n - 14. Let d be o(5). Is a(d) a multiple of 9?
False
Let c(z) = 15*z - 4. Let f be c(1). Suppose -f*l + 9*l = -126. Is 7 a factor of l?
True
Suppose 4*b - 12 = 4*y, -6 = -0*b - 2*b. Suppose -4*j - 13 = -5*d, y*j - 17 = -4*d + j. Suppose 3*f + 9 = 4*h - 156, h = -d*f + 70. Does 15 divide h?
True
Does 41 divide 631 - (3 - 12 - -2)?
False
Suppose 8 - 38 = -5*b. Is 6 a factor of (-3)/21*b*-14?
True
Suppose -87 - 35 = -2*q - h, 5*q + 2*h - 305 = 0. Let k = q - 11. Is 10 a factor of k?
True
Does 12 divide 349470/(-385)*(-28)/6?
True
Let b(y) = -54*y - 6. Let i be b(-4). Let k be (0 + 3/(-6))*i. Is 5 a factor of k/(-7) + 2 + -1?
False
Suppose -2*j + 546 = 4*j. Let n = -43 + j. Does 25 divide n?
False
Let t(y) = -73*y - 7. Let l be t(-3). Let x = l - 50. Is x a multiple of 18?
True
Let b(w) = w + 16. Let f be b(-12). Suppose 2*m - 7*m = 5*c - 40, -3*c + 2*m + 14 = 0. Is ((-92)/(-3))/(f/c) a multiple of 16?
False
Let g = 11 - 17. Does 9 divide -3*(g/7)/(2/56)?
True
Suppose m - 2*h + 60 = 334, 2*h + 556 = 2*m. Suppose -4*f = -f - m. Is f a multiple of 17?
False
Let n be -6*(-2)/(-3) + 1. Let a be (-7 + 1)/(1 + n). Suppose -a*y + 8*y = 260. Does 17 divide y?
False
Let i = -12 - -17. Suppose 2*d - 10 = 4*l, -7 = -i*l - 5*d + 3. Is (l - -24) + (-3 - -6) a multiple of 7?
False
Suppose 4 = -5*t - 46. Does 11 divide t/15 - (-298)/6?
False
Suppose 5*p + 5*g = -0*p + 1580, 0 = -4*p + g + 1279. Is 15 a factor of p?
False
Let b(h) = -h**3 + 16*h**2 - 29*h + 52. Does 20 divide b(12)?
True
Let j be (-38)/(-57)*(-1 - (-34)/4). Is 523/j + 6*5/75 a multiple of 21?
True
Suppose 8 = 2*u - 0*u. Suppose u*r - 27 = r. Does 2 divide r?
False
Let o = -11 + -9. Let m = 47 + o. Suppose -l + m - 6 = 0. Is l a multiple of 21?
True
Let o = -22 + 29. Suppose -s - 5*j + 67 = 0, -10*j + o*j - 91 = -s. Does 20 divide s?
False
Suppose -3*k + 13 = 4*g + 2, 3*g + 3*k - 9 = 0. Suppose g*c - 8 = -4. Let u(p) = 2*p**3 + p**2 - 3*p + 4. Is 3 a factor of u(c)?
True
Let l(u) = 2*u**3 + 8*u**2 + 4*u. Let v be l(-3). Suppose 0*m + 276 = v*m. Does 5 divide m?
False
Let a = -12 - -14. Suppose 0 = 3*n + a*n - 125. Is (-4)/10 + 1160/n a multiple of 12?
False
Let g = -22 + 14. Let o = g - -16. Suppose -10 = -5*h, 54 + o = 4*z - 5*h. Does 6 divide z?
True
Suppose 5*d = -4*p + 30, 3*d - 32 = -5*p - 1. Suppose 6*h = h - i + 47, 4*h = -d*i + 34. Suppose -4*k + 20 = x, 2*k - h = 7*k. Does 14 divide x?
True
Let d = 12073 + -8392. Does 27 divide d?
False
Suppose 5*q - 810 = s, 3*q + 4*s - 423 - 63 = 0. Suppose -5*t + q = t. Is 12 a factor of t?
False
Suppose 312 = 2*m + 3*s - s, 2*m = s + 312. Suppose 2*r + m = -2*r. Let c = r + 73. Does 29 divide c?
False
Let b(g) = -2*g**2 + 23. Let n(c) = -c**2 - c - 2. Let m(z) = b(z) - 3*n(z). Is 37 a factor of m(-15)?
False
Suppose 2*c = -4*q + 402, 0 = -2*q - c - c + 204. Suppose q + 48 = 3*h. Is 17 a factor of h?
False
Suppose 2*i - 490 = 66. Suppose -i = -3*y + 31. Is 21 a factor of y?
False
Let m(j) = 17*j**2 - 11*j - 43. Does 39 divide m(-4)?
True
Let r be (-1)/2*(4 + -2). Let s be 0/(0/4 - r). Is (-2 - -1) + (53 - s) a multiple of 13?
True
Suppose -14*s + 69355 = 2379. Is 16 a factor of s?
True
Let u be (1 + -6)*(-154)/35. Let r be (2 - (-3 + 3)) + u. Suppose -3*n = -5*n + r. Does 12 divide n?
True
Let r(a) = a**2 - 6*a - 1. Let p be r(7). Suppose 2*m + 5*i = -4, -4*m - p*i + 4 = -2*i. Is 4 a factor of 60/m*2/5?
True
Suppose 5342 = 7*n - 5424. Does 7 divide n?
False
Let d be (20/(-50))/((-1)/10). Let g be (-1)/(((-7)/d)/7). Is 24/2*g/4 a multiple of 12?
True
Suppose 3*v + 16 = 316. Let g = v - 74. Is 7 a factor of g?
False
Let d(i) = 2*i - 7. Let x be d(5). Suppose 9 = -0*q - x*q. Is 8 a factor of -3*(-9 - q - 2)?
True
Let z be 1/((332/41)/4 + -2). Suppose 40*c = z*c - 96. Does 16 divide c?
True
Let q be (-12)/(-24) - (-17)/(-2). Is 3 a factor of (-16)/10*60/q?
True
Suppose 3*j - 1259 = 4*d - 2*d, -j = 4*d - 401. Is 8 a factor of j?
False
Let k = -11 - -27. Let n be 0*1*4/k. Suppose -4*l + n*l = -40. Is l a multiple of 5?
True
Suppose -3*b - 19 = -x - 3*x, -5*x + 25 = -4*b. Let h(r) = 80*r**2 - 1. Does 18 divide h(x)?
False
Let z = -302 - -98. Let c = z - -318. Let g = c + -30. Is g a multiple of 21?
True
Suppose -3*s + 2*w = -0 - 9, 2*w - 12 = -4*s. Let k(d) = -d + 2*d**3 - 2*d**2 - 3*d**2 + 3*d**2. Does 11 divide k(s)?
True
Suppose 104 + 50 = f - 3*r, 0 = f - r - 158. Is 20 a factor of f?
True
Suppose -3