s - 4*v - 0*v. Is a(s) a composite number?
True
Is 201/2*(-32)/(-48) prime?
True
Let b(h) = 2*h - 204. Let g be b(0). Let n = g - -293. Is n a prime number?
True
Suppose 18 = 5*g - 2. Is (-3 + 5)*226/g prime?
True
Let w = 171 - -80. Is w a prime number?
True
Suppose 0 = 3*z - 6, -2*z + 16 = -4*y - 0*z. Let b(x) = -11*x**2 - 3*x + 7. Let c(d) = 5*d**2 + d - 3. Let h(g) = 4*b(g) + 9*c(g). Is h(y) a prime number?
True
Suppose 0 = w - 0*w - 6. Is 111/w*(8 + -4) a composite number?
True
Suppose -n = 4, 8 = -y - y - 3*n. Let j(g) = 6*g**2 + 2*g + 1. Let d be j(-1). Suppose -10 = 2*o, d*q - y*o = o + 200. Is q a prime number?
True
Suppose 0 = -6*u + 7*u - 21. Is u composite?
True
Suppose m + 5*s = 152, 5*m = -0*s - s + 688. Suppose 3*u = -9, -m = -5*o + 2*u + 2*u. Is o a composite number?
True
Suppose -469 = -3*r + 1544. Is r prime?
False
Suppose -k - 337 = -1398. Is k composite?
False
Let b(i) = -i**2 + 3. Let l be b(0). Suppose -2*z + 5*h = z - 43, z - l*h - 9 = 0. Is z a prime number?
False
Suppose 4*i = -3*k + 2209, 5*i - 94 = -k + 635. Is k prime?
True
Suppose 0 = 5*w + 5, 0*n + 3*n - w = 1474. Is n a prime number?
True
Suppose -11*u + 678 = -9*u. Is u composite?
True
Let q = 31 - 22. Suppose q = 3*n - 0*n. Suppose 0 = -3*i - 4*w + 111, w = -n*i + 6*w + 111. Is i a composite number?
False
Let j be 8/(1 - 3)*-1. Let r be j/(-10) + (-68)/(-20). Suppose -2*h - 7*k + 274 = -r*k, -4*h + 560 = 2*k. Is h a composite number?
True
Let g be (-6)/(4/(4*-2)). Let x(j) = -j + 1. Let z be x(1). Suppose 2*y - 154 - g = z. Is y a composite number?
False
Let n = 2 + 1. Is (-79)/(-2*n/6) composite?
False
Suppose -5*a + 3*l + 13 = 3, -3*a = 3*l - 6. Suppose 5 = x - a. Is x composite?
False
Suppose 0 = 6*o + 45 - 507. Is o a prime number?
False
Let z = 4 + 4. Is ((-14)/z)/(5/(-100)) a prime number?
False
Suppose 4*v - 3*k = -4*k - 12, 0 = -4*k. Let p(q) = -q**2 + 3*q + 4. Let l be p(4). Let i = l - v. Is i prime?
True
Let v(f) = f**2 - 3*f + 15. Is v(6) composite?
True
Suppose -440 = -b - b. Let a = -153 + b. Is a a prime number?
True
Let v(c) be the first derivative of -3*c**2 - 9*c + 4. Is v(-7) prime?
False
Let n = 7 - 4. Suppose 0*g - n*i = -g + 134, -3*g = 4*i - 337. Is g prime?
False
Let y(s) be the third derivative of -11*s**4/24 - s**3/2 - s**2. Let l = 10 + -12. Is y(l) a prime number?
True
Let s(w) = 33*w**2 + w - 3. Is s(-2) composite?
False
Let l(z) = -8*z**3 - 6*z**2 - 10*z - 13. Is l(-6) a composite number?
False
Suppose -2*x = 2*x. Let a be x + (35 - (-4)/2). Suppose -3*v = -4*v + a. Is v composite?
False
Let q = -70 + 361. Is q composite?
True
Let s = -10 - -14. Suppose -4688 = -5*o + 3*o. Is (o/16)/(2/s) a composite number?
False
Let b be (12/(-15))/2*-15. Suppose -b*w = -w - 275. Suppose 3*g - 2*g = w. Is g composite?
True
Let h be (18/(-6))/((-1)/(-2)). Is (-2650)/15*h/4 composite?
True
Let a be -2 - 5*2/(-2). Suppose -c - a*c = -8. Suppose -c*r + 5*r = 21. Is r prime?
True
Let t(w) = 2*w - 4. Let p be t(3). Suppose o - 20 - 328 = -2*x, 5*x - 870 = -5*o. Suppose 3*y + 2*d - 177 = -p*y, -d = -5*y + x. Is y prime?
False
Suppose -3*s = -9, -3*b + 22 = 3*s + 4. Let k be (15/(-12))/((-1)/4). Suppose b*d - 7*o - 13 = -3*o, -k*o + 7 = 4*d. Is d prime?
True
Let l(v) = 5*v**2 + 3*v. Let k = -5 - -3. Let b be l(k). Is (-304)/(-14) - (-4)/b a composite number?
True
Let v(p) = p**2 + 5*p - 2. Let l be v(-6). Suppose -u + l*u - 237 = 0. Is u composite?
False
Suppose 2*n + 3*n + 70 = 0. Suppose -4*l + 2*m - 200 = 4*m, 3*l - 3*m = -141. Let g = n - l. Is g prime?
False
Suppose -6*r = -0*r - 3522. Is r a prime number?
True
Let v(h) = h**3 - 7*h**2 - 8*h + 3. Suppose 0 = -0*y - y + 8. Let t be v(y). Suppose t*m = -3*q + 705, q + 2*q + m = 705. Is q prime?
False
Suppose 4 = w - 0. Suppose 5*q - 1 = 3*r, w*q + 1 = 5*r - 6. Suppose -2*j = q*j - 232. Is j a composite number?
True
Let p(x) = -x - 1. Let k be p(-3). Suppose 2*d - 3*f = 446, 0 = 5*f + 5 + 5. Suppose 3*v + 10 = -k*v, 5*v = -5*c + d. Is c composite?
True
Let h = 10 - 1. Suppose s + h - 62 = 0. Is s prime?
True
Suppose -4*x + 33 = -y + 112, 2*y - 158 = -3*x. Suppose 21 + y = 4*r. Is r prime?
False
Suppose p - 389 - 108 = 0. Is p composite?
True
Suppose m - 256 = -3*x + x, x - 5*m = 117. Is x composite?
False
Let g be -3*2/(-6)*3. Suppose g*k + k - d = 11, -2*d = 6. Suppose -u + 55 = k*w + 2*w, -220 = -4*u + 5*w. Is u a prime number?
False
Is 2678/12 + 1/(-6) a composite number?
False
Let l(f) = f**2 - 7*f - 8. Let z be l(8). Let g be (10 + z)*(-1)/(-2). Suppose 5*j - g*n = -0*j + 150, 2*n = -3*j + 65. Is j prime?
False
Suppose -2*y + 8 + 306 = 0. Is y prime?
True
Let x be (-8)/(-3)*90/12. Let b be (4/(-5))/((-4)/x). Is (10/15)/(b/726) a prime number?
False
Let g(n) = n + 3*n - 15 + 11*n**2 + 17. Is g(-5) composite?
False
Suppose -5*c = -4*k + 2596, -471 - 2125 = -4*k + 4*c. Is k a prime number?
False
Suppose -j + x + 178 = 0, -x + 5 = -2*x. Suppose -2*o - 2*t + 88 = -80, t = -2*o + j. Is o a composite number?
False
Suppose 3*j = -j + 8. Suppose j*a = 6*a - 84. Is a composite?
True
Suppose -4*f = -4*o - 36, -f + 3*f + 4*o + 6 = 0. Let q = f - 4. Is 0 - (2 - 61/q) prime?
True
Suppose 90 - 588 = 3*o. Let w = o + 245. Is w composite?
False
Let c = -11 + 8. Let p(g) = -4*g**2 - 4. Let n(x) = -1. Let o(b) = 6*n(b) - p(b). Is o(c) a prime number?
False
Let d(k) = k**3 + 2*k**2 + 2*k + 1. Let z be d(-1). Suppose -2*t + 484 = -z*t. Let f = t + -173. Is f composite?
True
Let j(x) = x - 6. Let m be j(5). Let p = -1 - m. Suppose d - 11 - 10 = p. Is d prime?
False
Suppose 0*d - 2*d = -10302. Let i be 4/(-14) - d/(-21). Suppose 99 = 4*s + 4*r - i, s + 5*r = 66. Is s prime?
False
Suppose 9 = 4*f - 2339. Is f a prime number?
True
Let f = 678 - 383. Suppose 6*c - f = c. Is c a prime number?
True
Let a = 56 + 35. Is a prime?
False
Let p(w) be the second derivative of -1/12*w**4 + 0 - 1/2*w**2 - 9/20*w**5 + 0*w**3 + w. Is p(-2) prime?
True
Let v = 66 + 53. Is v prime?
False
Suppose 8 = -3*b + 2. Is (-399)/(-12) - b/(-8) a prime number?
False
Let k = 7 - 10. Is 179/(2/(-6)*k) composite?
False
Suppose 0 = 3*r - 2*y + 813, 3*y + 321 = -3*r - 507. Let h = 418 + r. Is h a prime number?
False
Let v be 30/18 + (-2)/(-6). Is (-3 - v/4)*-22 a composite number?
True
Let b = -27 + 98. Is b prime?
True
Let x = -262 - -456. Is x composite?
True
Suppose -16 = 4*y, 4*j + 0*y + 5*y = 0. Suppose -2*z = -p - p - 660, -j*z + 2*p + 1653 = 0. Is z composite?
False
Let m(g) = -3*g**3 - g**2 - 4*g - 5. Is m(-4) prime?
False
Let z be (1 + 0)/((-1)/1). Is (2 - z - 0)*11 a prime number?
False
Let r(n) = n**2 + 14*n - 12. Is r(-17) a composite number?
True
Let d(s) be the second derivative of -s**6/120 - s**5/12 - s**4/24 - 7*s**3/6 - 3*s**2/2 - 4*s. Let r(u) be the first derivative of d(u). Is r(-6) composite?
True
Let t = -629 + 1026. Is t a composite number?
False
Let z be 4/12 - (-14)/3. Suppose -3*m + 829 = m - 3*r, -z*m = 4*r - 1075. Is m a prime number?
True
Suppose 2*q - k = 3*k + 132, -2*q + 126 = -k. Suppose 5*v + p - 48 = q, 25 = -5*p. Is v a composite number?
False
Suppose -3*q - 2*q + 7 = 4*r, 4*r - 2*q - 14 = 0. Suppose -274 = -5*b + 3*i, 76 = r*b + 4*i - 71. Is b a prime number?
True
Let r(c) = -c + 6. Let f be r(4). Suppose 0 = -f*o + 3*o - 22. Is 4/(-22) + 3106/o a composite number?
True
Let r = 0 - -2. Is ((-21)/28)/(r/(-8)) a prime number?
True
Let q(o) be the second derivative of 2*o**4 - o**2/2 + 3*o. Let u be q(-2). Suppose 0*l + u = 2*l - 5*a, 0 = -3*a - 15. Is l composite?
True
Let i(g) = g**3 - 6*g**2 - g + 7. Let b be i(6). Let a = b + 7. Is (-45)/(-4) + (-2)/a prime?
True
Suppose -f - 11 = 3*g, 5*g + 30 = 5. Is 3*(0 - -7 - f) composite?
True
Let h be (0 + -5)*2/(-5). Let g be -2 + h - (-4)/(-2). Is 446*(10/4 + g) a prime number?
True
Let i(p) = 0 + 1 + 75*p - 2. Is i(1) a prime number?
False
Suppose -6*o = -8*o + 5942. Is o prime?
True
Suppose -3*p - 5*v + 29 = -2*p, 4*v + 29 = p. Let x = p + -18. Suppose x = -3*o + 242. Is o a prime number?
False
Suppose 0 = -12*c + 20*c - 15064. Is c a composite number?
True
Let t be (1 + 87)*(-15)/(-12). Let c = t - 58. Suppose -3*u + c = -59. Is u a prime number?
True
Let q be (-2)/(5/((-45)/6)). Suppose 0*o + 8 = o - 5*r, 0 = 3*r + q. Suppose -o*c + 8*c - 60 = 5*j, 0 = 2*c - 3*j - 