, 2*d = a + 4*a - p. Is a prime?
True
Suppose s = -2 + 36. Is s a composite number?
True
Let k(f) = f**2 - 7*f + 5. Let y be k(7). Let g(p) = 2*p - 13. Let b be g(9). Suppose 4*i - 554 = -b*t - 109, -2*t - y*i = -178. Is t a composite number?
False
Is 3438/(-12)*(-8)/12 a composite number?
False
Let a(g) = 3*g - 1. Let y be a(4). Let i = y + 0. Is i a prime number?
True
Suppose -4*g = -0*g + 40. Let w be 2/(-2*2)*g. Suppose -w*q = -5*o + 6*o - 91, -q - 5*o = 1. Is q a composite number?
False
Let u(q) = -q**3 + 5*q**2 + 8*q - 7. Let c be u(6). Suppose -4*v + 34 = 2*w, -5*w - 2*v = -c*v - 98. Is 2/3 + w/3 a prime number?
True
Let y(j) = j**3 + 5*j**2 + 6*j + 6. Let a be y(-4). Let l(z) = -1 + 3 - 3 - 57*z + 2. Is l(a) prime?
False
Let r(y) = -y**2 + 17. Let o be r(0). Suppose 0 = 5*z + o + 3, 4*i = 4*z + 16. Suppose i = 3*w + 2*w - 175. Is w composite?
True
Let w = 74 + 363. Is w prime?
False
Suppose 0*a - a + 2 = 0. Let z(t) = 0*t**2 + t**2 - 5*t - a*t**2 - 2 + 3*t**2. Is z(5) a composite number?
False
Let q(c) = -c**3 - 8*c**2 - 6*c + 9. Let s be q(-7). Let t be -1 - -2 - s*6. Let u = 22 + t. Is u a composite number?
False
Let x be ((-9)/(-12))/(1/4). Is (-3)/(x*1/(-139)) a composite number?
False
Let w(z) = -z**3 + 5*z**2 + 6*z + 4. Let u be w(6). Suppose 37 + 276 = -u*f + k, f + 4*k = -57. Let s = f + 110. Is s a composite number?
True
Let l(m) be the first derivative of -m**4/2 + m**3/3 - m**2 - 4*m - 2. Is l(-3) a composite number?
True
Let j(o) = -2*o**3 - 4*o**2 - 2*o + 2. Suppose -4*d - 6 - 2 = 0. Let s be j(d). Is 2/(-4) - (-225)/s a composite number?
False
Let u(k) = 50*k - 16. Is u(19) composite?
True
Let a be 20/((20/46)/(-5)). Let q = 201 - a. Is q a composite number?
False
Let u be (7 - 10)*(-4)/3. Suppose -u*m + 3*m = -13. Is m prime?
True
Is 16/(-48)*(-17715 + 0) a prime number?
False
Let a = 7 - 13. Let p be (-2)/6 + (-320)/a. Suppose 3*s - 2*f - 67 = 36, p = s + 4*f. Is s a composite number?
False
Suppose 4*v + 0*v = 4, 3*m = -v + 13. Let c(b) = 94*b - 3. Is c(m) a composite number?
False
Suppose -y + 33 = -33. Suppose -3*i + 6*i = y. Suppose -h + 0*h = -i. Is h a composite number?
True
Let c be (-44)/14 + (-1)/(-7). Is c/(-3) + 50 - 0 a prime number?
False
Let q = -29 - -19. Suppose x = 2*l + 7, 3*l + l + 20 = 4*x. Let k = x - q. Is k prime?
True
Let i(p) = 130*p + 21. Is i(19) prime?
False
Suppose 3*m + 2 = 4*m. Suppose -b + 3*a = 3, -2*b + 2*a - 4 = -m. Suppose b = 5*k - 20 - 135. Is k composite?
False
Let f = -3 - -15. Suppose 3*o + 4*y - f = y, 2*o - 8 = 4*y. Is o prime?
False
Let h = 475 - 2. Is h a prime number?
False
Let u = 16 + -11. Let s(y) = 9*y - u + y - y**2 - 1 - 3. Is s(6) a composite number?
True
Let k = 172 + -45. Is k prime?
True
Let z = -6 + 8. Let g be -9 - 2/(1 - z). Is (-1139)/g - (-10)/35 composite?
False
Let g(u) = u + 1. Let t(r) = 3*r - 2. Let s = 8 - 5. Let c(v) = s*g(v) + t(v). Is c(6) a composite number?
False
Suppose 0 = -3*q, -2*a - 2*q + 47 = -375. Is a a prime number?
True
Let n = -83 + 241. Is n a composite number?
True
Let g = 71 - 159. Let d = g - -150. Is d composite?
True
Is 1*(113 + 4 + -2) a prime number?
False
Suppose q = -0*q + 13. Suppose 5 = n, -2*i = -4*n + q + 11. Let h(p) = -24*p + 1. Is h(i) composite?
True
Is 12015/18*(-2 + 24/9) a composite number?
True
Suppose 0*b = -b + 3*g + 326, 0 = -b - 5*g + 302. Is b a composite number?
False
Let x be (-2065)/(-14)*(-8)/5. Let o = x - -118. Let g = 87 - o. Is g a prime number?
False
Suppose -3*n = 4*i + 227, 4*n - 2*i + 422 = 90. Let t = 130 + n. Is t a composite number?
True
Let p be (8/(-3))/1*-3. Suppose -5*b - 458 = -k, -3*k - p = k. Let z = b - -145. Is z a composite number?
False
Suppose -16984 = -12*i - 5548. Is i prime?
True
Let w be -3 - 1*(0 + 1). Let o(q) = -52*q - 5. Is o(w) prime?
False
Let h(d) = 7*d - 6. Let q be h(6). Suppose 111 = -2*x + 5*x - 4*l, 0 = x - l - q. Is x a prime number?
False
Let g(i) = -i**2 + 6*i - 4. Let j be g(4). Suppose 0 = -3*r + r + j. Suppose 0 = -r*c - 0*c + 66. Is c prime?
False
Let v = -1864 + 5681. Is v a prime number?
False
Let q(l) = -l**2 + 7*l - 7. Let h be q(5). Suppose 4*d + 69 = n - 32, -2*n + 187 = -h*d. Is n*(1/1 + 0) composite?
False
Let b = 1630 + -499. Is 8/(-3)*b/(-52) composite?
True
Let l = 291 - -196. Is l a composite number?
False
Let o(f) = f**2 - 4*f - 3. Let p be o(6). Suppose 4*k + 275 = p*k. Is k prime?
False
Let c(j) = -2*j + 6. Let w be c(6). Let t be (w/(-15))/(3/60). Suppose 0 = 4*z - t - 500. Is z prime?
True
Let g = -931 - -1610. Is g a composite number?
True
Let k(a) = a**3 - 3*a**2. Let g be k(3). Suppose -3*p + 2*n + 1554 = g, -5*p + 2590 = -0*p + 2*n. Suppose -3*h = 155 - p. Is h composite?
True
Let x = 2203 + -1568. Suppose 2*j - 7*j = -x. Is j a composite number?
False
Suppose 0 = 5*v + 4*b + 18, -4*v - 53 = -5*b - 14. Let x be 3/v*0 + 13. Suppose -30 = -5*s - 2*t, 3*t - 48 + x = -5*s. Is s a prime number?
False
Suppose 3943 = 2*u - 2*i - i, -4*u + 7890 = -2*i. Is u a composite number?
False
Is 5/((-25)/(-10)) - -489 prime?
True
Is -7349*(-5 - (-12)/3) a prime number?
True
Let a(q) = q**3 + 10*q**2 - 17*q - 13. Is a(-11) a prime number?
True
Let p(k) = 6*k + 9. Let w be p(-6). Is (-4 - w/6)*358 a composite number?
False
Let g = 3049 - 1166. Is g a prime number?
False
Suppose 0*x = -3*d + 5*x + 30, 5*d = -2*x + 19. Suppose -4*a - 145 = -d*w - 9*a, w - 21 = -5*a. Is w composite?
False
Suppose 0 = -k + 2*y + 166, -y + 154 = -k + 2*k. Is k prime?
False
Suppose 0 = 4*g + s + 2 - 1, 0 = 2*g - 2*s + 8. Let t be g/2 - 11/(-2). Suppose 3*x = t*x - 50. Is x prime?
False
Let a = 381 + -682. Let i = 428 + a. Is i a prime number?
True
Suppose 4*o = 6*o - 266. Let s = o - 56. Is s a composite number?
True
Let r(x) = 30*x**2 + 10. Let j be r(5). Is j/6 - (-11)/33 prime?
True
Suppose -2*y + 80 + 402 = 4*u, -2*y - u = -476. Is y prime?
False
Let n be -1 + -3 + -17 + -1. Let f = -19 - n. Is f a prime number?
True
Let k be 2/8 - (-305)/(-20). Let f = 128 + k. Is f composite?
False
Let r(l) = -64*l - 11. Let x be r(-9). Let w = 33 + -18. Is x/w - 2/3 prime?
True
Let m = 375 - 193. Suppose m = 3*h - 19. Is h composite?
False
Let w(s) = -s**3 - 14*s**2 + 18*s + 3. Let n be w(-15). Let v = 79 + n. Is v prime?
True
Suppose 5*p - p - 3*c - 787 = 0, p = c + 196. Is p composite?
False
Let o be (-3)/(-9) + (-10)/3. Let y(j) = -j**2 - 3*j. Let d be y(o). Suppose -2*k + d = 2, t + 5*k - 8 = 0. Is t prime?
True
Let j be (5/(-15))/(1/(-6)). Suppose -j*d + 5 = -3*d - 4*w, -2*d - 5*w = 4. Suppose -d*v - 5*c + 33 = -112, 3*c = 4*v - 232. Is v a prime number?
False
Suppose j - 10 = -j. Let d = 5 - 4. Let u = j + d. Is u prime?
False
Suppose 0 = j - 0 - 3. Suppose b - j*b = -518. Is b prime?
False
Let s(v) be the first derivative of 67*v**4/2 - 2*v**3/3 - v**2/2 + 2*v - 7. Is s(1) a prime number?
False
Let z = 371 - -150. Is z a prime number?
True
Let s(g) = 2*g**2 - 6*g - 7. Let n = 0 - 9. Is s(n) composite?
True
Let k be 3/3*1/1. Is (-1)/(2/(-194)*k) a composite number?
False
Suppose 4*u - 1504 = 460. Is u composite?
False
Suppose 0 = 4*l + l - 9445. Is l a prime number?
True
Suppose t + d + 0*d - 909 = 0, -5*t + 3*d = -4529. Is t a composite number?
False
Suppose r - 3*n - 9 = 3, -4*n - 11 = -r. Suppose r - 45 = -3*b. Is b a composite number?
True
Let u(p) = p**3 + 14*p**2 - 6*p - 10. Let n(z) = 3*z**3 + 41*z**2 - 17*z - 31. Let v(c) = -4*n(c) + 11*u(c). Let h be v(-10). Is (-51)/h + (-6)/(-4) prime?
False
Let m(p) = 5*p**3 + 3*p**2 - 4*p - 5. Suppose -t + 6 + 9 = 3*a, 19 = 4*a + t. Is m(a) a composite number?
False
Let w be (-540)/(-2) + -1 + 3. Suppose 5*o + 215 = 4*g, g + 4*g - w = 3*o. Is g prime?
False
Let o(y) be the first derivative of 59*y**3/3 - y**2 + y - 1. Is o(2) a prime number?
True
Is 13/(5*3/4965) a prime number?
False
Let v = 186 + -95. Suppose -175 = -2*r + v. Is r a composite number?
True
Let v = 9 + -3. Let y be v/(1/(6/9)). Suppose 0 = y*x - 53 - 95. Is x composite?
False
Suppose -6723 = -3*q + 4*t, -2*q - q + 6729 = -2*t. Is q composite?
True
Let j(c) = -47*c**3 - 2*c**2 + 3*c + 5. Is j(-2) composite?
False
Let y(o) = o**3 - 5*o**2 + 3. Let j be y(5). Suppose 3*f - 18 = j. Is f a prime number?
True
Let n = 1182 - 595. Is n prime?
True
Suppose v - 2055 = -3*q, 0 = 4*q