f q?
True
Let w = 42 + -25. Suppose 4*r = -5*m - w, 5*r - 2*m + 10 = 3*m. Does 7 divide (-1)/r*(-2 - -23)?
True
Suppose -9*p + 10*p = 3*v - 118, -5*v - p = -194. Is v a multiple of 28?
False
Let u = -18 + 21. Suppose 2*c - 23 = 5*k, -u*c - 2*k + 32 = -7*k. Is c a multiple of 9?
True
Let h(f) = -f**3 + 7*f**2 - 6*f + 2. Let i be h(6). Suppose g = -i*g. Suppose 5*w + g*w - 55 = 0. Does 7 divide w?
False
Suppose 5*r - 18 - 3 = o, 5*o + r = 25. Is 24 a factor of 18/(7/(98/o))?
False
Suppose 5*l + 5*y = 20, -5*y - 10 = -5*l + 4*l. Is l a multiple of 2?
False
Let h(d) = -7*d**3 - 4*d**2 - 3*d - 1. Suppose -3*b + 0 = -3. Suppose 0*r + 2*r + 3*p + b = 0, -p + 9 = -4*r. Is 16 a factor of h(r)?
False
Let f(j) = -3*j + 0*j**2 - j**2 + 10*j. Suppose -3*g + 4*g - 6 = 0. Is f(g) a multiple of 3?
True
Let n(d) = d + 9. Let a be n(-7). Suppose a*b - 3*b = -13. Is 6 a factor of b?
False
Let g be (-5)/1*(-18)/45. Suppose g*o = 6*o - 340. Does 19 divide o?
False
Let h(n) = n**2 + 3*n - 2. Let u be h(-4). Is 12 a factor of (-166)/(-10) - u/(-5)?
False
Is 32/((-2)/1)*126/(-36) a multiple of 56?
True
Let n be 37/(-1)*(1 + -2). Suppose -133 = -5*v + n. Suppose -2*t + v = -t. Does 13 divide t?
False
Let l(q) = -4*q**3 - q**2 - q + 1. Does 6 divide l(-2)?
False
Suppose 2*r - 48 = -2*r. Does 4 divide r?
True
Let h = -180 + 309. Is 29 a factor of h?
False
Suppose 5*x - 1 - 19 = 0. Let q = x - 2. Suppose 0 = -3*c + 3*g + 90, 4*c + g - q*g - 126 = 0. Is 22 a factor of c?
False
Let p be 9/(-3)*-5 - 3. Let g = p - 3. Is 4 a factor of g?
False
Let x(i) = -i**2 - 12. Let q be x(0). Is 12 a factor of (4/q)/(2/(-162))?
False
Let h(r) = 6*r - 6. Is h(13) a multiple of 30?
False
Suppose r - 37 = 3*i, -4*i + i - 2*r = 34. Let t = i - -53. Does 13 divide t?
False
Let r be 15/6*12/5. Is 2 a factor of r/21 + (-164)/(-14)?
True
Is (-63)/(-4) - 2/(-8) even?
True
Let j(m) = 7*m**3 + 16*m**2 + 5*m - 6. Let b(t) = -t**3 - t**2. Let v(y) = 6*b(y) + j(y). Is v(-9) a multiple of 17?
False
Suppose 2*j - 95 = -7. Is j a multiple of 22?
True
Let v be -274*(-3)/6 + 3. Suppose v = 4*n - 108. Is 19 a factor of n?
False
Suppose g + 2 = 4. Let b be 2/g*-2 + 3. Is 0 + 7 + -2*b a multiple of 5?
True
Suppose -13*y - 198 = -1212. Is y a multiple of 13?
True
Is (-1183)/(-26) - (7/(-2) + 2) a multiple of 13?
False
Let h = -113 + 190. Does 16 divide h?
False
Let c be 0 - -8*(2 - -2). Suppose 3*f + a = -54 + 134, f - a - c = 0. Is f a multiple of 11?
False
Let f be (-44)/(-4) - 0 - 1. Let d = 92 - f. Is 12 a factor of d?
False
Let i(s) = -s. Suppose 5*v + 0 + 15 = 0. Let m be i(v). Does 5 divide m/(-18)*-3*18?
False
Let t be (-10)/(-3)*(-15)/(-5). Suppose 0 = -10*v + 5*v + t. Suppose 5*b + v*y = 110, 3*b - 5*y - 66 = -4*y. Is b a multiple of 22?
True
Let w = -4 + 30. Does 9 divide w?
False
Let g(y) = 27*y**3 - y**2 - 3*y + 2. Does 16 divide g(2)?
True
Suppose 5*w + 2*i = 21, -3*w + i + 2*i = 0. Let m(l) = l - 1 + w*l + 3. Is 12 a factor of m(7)?
False
Let t(q) = -q - 5. Let x be t(7). Let n(p) = p**2 + 12*p + 8. Let v be n(x). Is (12/v)/((-3)/(-4)) a multiple of 2?
True
Let f(y) = y**3 - 4*y**2 + 5*y - 9. Does 3 divide f(4)?
False
Suppose 2*a - 108 = 5*l + 72, a - l - 87 = 0. Is 17 a factor of a?
True
Let h be 2 - -1 - 2/2. Suppose -4*y + s = -3*s, h*y + 15 = 5*s. Suppose -a + y + 8 = 0. Is a a multiple of 7?
False
Let a(f) = -f + 7. Let q be ((-12)/10)/(21/(-70)). Suppose 5*k - q*b = -24 - 27, -33 = 3*k - 3*b. Does 7 divide a(k)?
True
Let a(l) be the first derivative of 3*l + 1 + 3/2*l**2. Is a(7) a multiple of 11?
False
Let j = -4 - -6. Let g(h) = 4*h**2. Let l be g(j). Let q = l - -21. Does 21 divide q?
False
Let r(o) = -13*o - 7. Let i be r(-6). Let n = 103 - i. Is 16 a factor of n?
True
Suppose -d = -6*a + 3*a + 41, 0 = -5*d - 2*a - 154. Let i = 48 + d. Suppose i = x - 0*x. Is x a multiple of 8?
True
Let d(k) = -17*k + 10. Let n be d(7). Is 14 a factor of (-10)/(-15) - n/3?
False
Let o(q) = q**3 - 2*q**2 + 5*q + 8. Let i be o(8). Is (-4)/20 + i/10 a multiple of 11?
False
Does 3 divide (-26)/(-10) + (-6)/(-15)?
True
Let x be ((-1)/2)/((-2)/196). Suppose 3*h - 31 = z, 8*h - 45 = 3*h + 5*z. Suppose h = 5*b - x. Is b a multiple of 12?
True
Suppose -a - 4 + 1 = 0. Is (-16)/24 + (-56)/a a multiple of 9?
True
Let t be 1 + 0 - -2*11. Suppose 2*m - 3*m = 5*i + t, -3*i - 19 = -2*m. Suppose m*u + 8 = 36. Does 9 divide u?
False
Let n = 19 - 9. Let d = -4 - -10. Suppose j + n = d*j. Is j even?
True
Suppose -13*u + 56 = -5*u. Is u even?
False
Let v(w) = 2*w**2 + 7*w - 6. Is v(-6) a multiple of 16?
False
Suppose 3*q = 4*i - 156, 3*i + 0*q - q - 122 = 0. Is 15 a factor of i?
False
Suppose -12 - 8 = -4*m. Suppose -5*u + 139 = 3*h, 0 = m*h + 5*u - 3*u - 238. Does 12 divide h?
True
Let r = -8 + 8. Suppose r*t - t = -25. Is 25 a factor of t?
True
Suppose -16 = -5*k + 14. Is 6 a factor of k?
True
Let a(s) = -13*s - 44. Does 16 divide a(-15)?
False
Let a = -3 + 5. Is 21*1*a/1 a multiple of 21?
True
Let t = -129 - -185. Is 28 a factor of t?
True
Let t(n) = 2*n**2 - 1 - 8*n - 12*n**2 + n**3 - n. Suppose 2*h - 18 = g + 8, 4*g - 6 = -2*h. Is t(h) a multiple of 9?
False
Let y(w) = -w**3 - 2*w**2 - 4*w - 5. Let s be y(-2). Is (7/s)/((-18)/(-432)) a multiple of 12?
False
Let r = 33 - -51. Is r a multiple of 6?
True
Let v(y) be the first derivative of y**6/120 - y**5/10 - y**4/24 - 4*y**3/3 + y**2/2 - 3. Let t(k) be the second derivative of v(k). Is t(7) a multiple of 17?
True
Suppose -6*s + 140 = 4*i - 5*s, -4*s - 88 = -2*i. Is i a multiple of 4?
True
Suppose -3*k = 4*z - 53 + 183, 0 = 5*k - z + 186. Let w = k + 54. Is w a multiple of 16?
True
Let k(z) = -2*z**2 + 6*z - 5. Let f be k(3). Suppose -v = -4*g + 12 + 4, -3*g - 57 = 5*v. Let c = f - v. Does 4 divide c?
False
Suppose 2*k = k + 3. Is (-16)/(-3 - -4 - k) even?
True
Suppose 4*f - 9 = 3. Suppose 2 = -f*w - 1. Is 2 a factor of (1 - w)/1 + 0?
True
Let y = -1 + -10. Let g = y - -20. Does 3 divide g?
True
Let s be 2/5 + 8/5. Is (-1376)/(-36) - s/9 a multiple of 13?
False
Let p be 6*(1 + 2/(-6)). Is 5 a factor of 184/18 + p/(-18)?
True
Suppose -5*k + 152 = -3*k. Is k a multiple of 19?
True
Suppose -6*o + o + 2*q + 105 = 0, 4*q + 115 = 5*o. Does 12 divide -1 - -3*(o - 2)?
False
Let l(c) = -7*c**3 + c. Let m be l(-1). Suppose -m*d - 54 = -9*d. Is 6 a factor of d?
True
Let c be (1/2)/(8/(-320)). Is 14 a factor of (-14)/(-4 - 76/c)?
True
Let r be ((-12)/15)/(1/(-50)). Suppose 7*m - 2*m - r = 0. Is 4 a factor of m?
True
Let z be 144/40 + (-3)/5. Suppose -z*x - 2*l + 208 = 2*l, 5*x - l - 362 = 0. Is x a multiple of 36?
True
Suppose 1145 = 3*s - 2*n, 11 = 3*n - 4. Is 35 a factor of s?
True
Does 5 divide ((-21)/3 - -3) + 91?
False
Let i be ((-4)/(-12))/((-1)/(-21)). Suppose i*g = 2*g. Suppose 0 = 3*r + 4*u - 41, g = -2*r + u + 5 + 4. Does 4 divide r?
False
Let y = -338 - -241. Let s = 154 + y. Suppose -4*t + 62 = 5*d + 11, d + s = 4*t. Is t a multiple of 7?
True
Suppose 0 = 4*i - i + w - 293, -5*i - w + 491 = 0. Let g = i + -60. Is g a multiple of 7?
False
Let y(m) = m + 9. Let r be y(-4). Suppose -3*c + 3 = 5*b + 1, 35 = r*c + 2*b. Is c a multiple of 2?
False
Suppose 0*c - 114 = -2*c. Suppose -3*m - 23 = -4*p + c, 49 = 3*p - 5*m. Does 22 divide p?
False
Let s(c) = -c**2 + 5*c - 4. Let z be s(3). Suppose -z*m - f + 4*f + 73 = 0, 4*m - 4*f - 140 = 0. Is 16 a factor of m?
True
Suppose 5*c - c = t - 114, c - 342 = -3*t. Does 6 divide t?
True
Let u(j) = -9*j + 16. Is u(-8) a multiple of 37?
False
Suppose 144 - 44 = 5*g. Is 15 a factor of g?
False
Suppose -2*o + 184 = 462. Does 24 divide o/(-4) - 3/(-12)?
False
Suppose 5*s - 2*w - 17 = 16, -4*s - 5*w = 0. Let i = 2 + s. Is 3 a factor of i?
False
Let v(z) = 4*z**2 + z. Let i = 5 + -6. Let q be v(i). Does 9 divide ((-20)/q)/(2/(-6))?
False
Does 28 divide 132/(-99)*(-6)/8*154?
False
Let f = 26 - 8. Is 7 a factor of f?
False
Let q = 9 - 2. Suppose 2*m + 104 = 4*x + q*m, -26 = -x - 2*m. Does 7 divide x?
False
Suppose 6*y - 344 = -32. Is y a multiple of 23?
False
Suppose 24 = -3*k + 141. Is k a multiple of 13?
True
Suppose 0*g - 3*i - 108 = 4*g, -g - i = 27. Is g/(-12)*(-16)/(-3) a multiple of 6?
True
Suppose -49 = -i + 4*b + 23, -2*i + b + 144 = 0. Does 13 divide i?
False
Let d = 17 + -13. Suppose -2*v = -d*i + 2*i + 56, v - 20 = -i. Is i a m