 a = -1 + 3. Is -2 + (148 - (-1 + a)) a prime number?
False
Suppose -2 + 5 = p. Suppose 0 = -j - 0*j + 4*r + 88, -2*j + p*r = -151. Let l = -31 + j. Is l prime?
True
Let d = 44 - 47. Let l(q) be the second derivative of -17*q**3/2 - 2*q**2 - q. Is l(d) a composite number?
False
Let o = 419 - 126. Is o composite?
False
Let q = 5 + 50. Is q a prime number?
False
Suppose -4*m = k + 32 - 1683, -m + 2*k = -415. Is m a composite number?
True
Let f = -1 + 1. Suppose 283 = p - f*q - 2*q, -5*q = -5*p + 1440. Is p a prime number?
True
Let b = 330 - -117. Is b composite?
True
Let a = 29 - -63. Suppose 2*y + 0*y - a = 0. Suppose 4*t = -4*s + 212, -s + 7 + y = -4*t. Is s a prime number?
True
Suppose 66 + 60 = 6*q. Is q a composite number?
True
Suppose -3*i = -5*k - 345, -462 = -4*i + 3*k - 2. Is i a composite number?
True
Suppose 4*f = 15 + 9. Suppose -3*w - i + 239 = 0, -5*w + f*w = -5*i + 89. Is w a prime number?
True
Suppose 0 = -15*x + 18*x - 237. Is x prime?
True
Suppose 3*j = 177 + 69. Suppose 3*p - j = 47. Is p a composite number?
False
Let c(v) = -v**3 + 9*v**2 - 4*v - 5. Let o(m) = m**3 - 8*m**2 + 5*m + 6. Let a(x) = 3*c(x) + 2*o(x). Is a(10) prime?
False
Suppose 5*w + 0*w + 485 = 0. Let c = 174 + w. Is c prime?
False
Let z be (-1 - (-3 - -2))/1. Let k be (z + 2)*(4 + -2). Suppose 0 = 5*s - 10*s - 2*j + 519, -410 = -k*s + j. Is s composite?
False
Let s(p) = 57*p + 5. Suppose -26 = -5*a - 71. Let z(b) = -14*b - 1. Let k(o) = a*z(o) - 2*s(o). Is k(3) composite?
True
Let h = 793 - 236. Is h prime?
True
Let q(a) = 2*a**2 - 4*a - 2. Let l be q(-5). Suppose -2*t - l = -234. Is t + -1*(3 - 3) a composite number?
False
Let t(b) = 2*b**2 - 8*b + 4. Let r = 10 + -5. Let w be t(r). Suppose -u = -4*x - w, 4*u + 3*x - 78 = 8*x. Is u prime?
False
Let b(q) be the second derivative of 5*q**4/12 + q**3/2 + 2*q**2 + 4*q. Let v be b(-3). Is (-16)/v - (-834)/10 prime?
True
Let q(w) = 2*w**3 - 8*w**2 - 3*w - 2. Let t be q(6). Let c = t + -88. Suppose c = h - 10. Is h a composite number?
True
Suppose 0 = -5*i - 6 + 1. Let n(s) = -78*s**3 - s**2 + s + 1. Is n(i) prime?
False
Let h = 11 + 47. Is h a prime number?
False
Let s(a) = a**2 - 16*a - 73. Is s(-8) a composite number?
True
Suppose 0 = 4*f + 49 + 43. Let v be (-84)/30*5*-7. Let o = v - f. Is o a composite number?
True
Let u = -539 + 1382. Is u a composite number?
True
Let d(l) = 13*l. Let c be d(1). Is 2/c + (-3832)/(-104) a composite number?
False
Let j(w) = w**2 - 2*w - 6. Let k be j(-9). Let f = 112 + k. Is f a composite number?
True
Suppose -15*u = -16*u + 181. Is u prime?
True
Suppose -14*n + 522 = -11*n. Let k = 323 - n. Is k a composite number?
False
Let w(g) = 4*g. Let x be w(1). Suppose x*u = 1 + 7. Suppose -d + u*d = 21. Is d prime?
False
Let x(u) = -u**3 + 3*u**2 + 2*u + 5. Let y be x(4). Let p be 2 + y/3 + 0. Is ((-50)/(-6))/(p/3) composite?
True
Suppose -5*i + 2*a = -20, 4 = 3*a + 19. Suppose 2*g = i*c + 39 + 9, -3*g - 2*c + 47 = 0. Is g composite?
False
Suppose m - 4*q = 10, -3*q + 2*q - 7 = -m. Let u(o) = 3*o**2 - 8*o - 5. Is u(m) composite?
True
Let x(s) = s + 7. Let f be x(-5). Suppose f*y - 5 = 7. Suppose -d + y*d = 335. Is d prime?
True
Let m = -10 + 4. Is 23 + (-3 - m - 4) composite?
True
Suppose -4*d + 19 = -93. Let x be 25/15 - 1/(-3). Suppose 0*m = -x*m + d. Is m a prime number?
False
Suppose -3*s = -p - 24, -5*s + p + 28 = -14. Let i = 22 - s. Is i prime?
True
Suppose 15 - 1 = 4*h + 3*p, 4*h - 3*p - 26 = 0. Suppose 0 = 2*u, h*c + 2*u - 645 = 5*u. Is c composite?
True
Suppose 6*o - 4*o + 4 = 0. Let p be 1*(24/1 + o). Suppose 0 = -4*q + 12, -v - q + p = 0. Is v a prime number?
True
Let i(p) = -28*p**3 + 2*p - 1. Is i(-3) a composite number?
True
Suppose 0 = -r - 3*z + 2586 + 5152, 5*z - 38640 = -5*r. Is r a prime number?
True
Suppose -5*b = 3*f - 3040 - 5639, -2893 = -f + 5*b. Is f a composite number?
True
Let h be (-38)/(-3*2/3). Suppose 158 = 3*k - h. Is k composite?
False
Let s = 23 - -21. Let n(b) = b - 5. Let f be n(5). Suppose -4*k + 46 = 2*g - 72, f = g - k - s. Is g a prime number?
False
Let f(g) = -153*g + 5. Is f(-2) a prime number?
True
Suppose 4*b - p = -26, 5*b + 26 = 3*p - 5*p. Let f(s) be the second derivative of -s**3 + 3*s**2/2 + s. Is f(b) prime?
False
Let n be ((-1)/1 + 0)*0. Suppose n = -5*u + 10 + 10. Is 1/(-4) - (-101)/u composite?
True
Let p(c) = 142*c**3 + c - 1. Is p(1) composite?
True
Suppose 9 = -3*b - 3*m, 2*m - 30 = -5*b + 6*m. Suppose b = 2*k - 4. Is (1110/20)/(k/4) composite?
True
Let k be (-5)/((-15)/63) + -3. Suppose -2 = 5*a - 3*n - 47, -2*a + k = n. Is a composite?
True
Suppose -3*d = 2*d + 295. Let s = d + 117. Is s composite?
True
Is (-73666)/(-12) - (-2)/12*1 a prime number?
False
Is 2*1156/8 + 2 prime?
False
Let v(o) = 11*o**2 - 3*o. Let k(u) be the third derivative of u**6/120 - u**5/30 - u**4/8 + u**3/3 + 2*u**2. Let b be k(3). Is v(b) composite?
True
Let f = 20 + -51. Let m = -20 - f. Is m a composite number?
False
Let m(y) = -y**3 - 3*y**2 - 3*y - 4. Is m(-6) a composite number?
True
Suppose 10559 + 35769 = 8*p. Is p composite?
False
Let c = 267 + -148. Suppose c = -5*j - 6. Let p = -10 - j. Is p a composite number?
True
Suppose -4*p - 4*d - 6690 = -d, -p - 1663 = -4*d. Let n be p/(-15) - 4/10. Is (n/(-9))/(1/(-3)) a prime number?
True
Let c be (0 - 0)*(-1 + 0). Let u be (0 + c)/(1 + -2). Suppose 5*y - 3*o - 74 = u, -14 = -2*y + o + 15. Is y prime?
True
Let w(x) = x**3 + 5*x**2 - 7*x - 5. Let n be w(-6). Suppose j + 183 = 2*z, n = j + 6. Is z a prime number?
True
Suppose -c + 3*c + 3*r = 441, 0 = 3*c - 4*r - 670. Is (-5)/10 + c/4 prime?
False
Let j(s) = 2*s**2 - 2*s - 7. Suppose -7*y + 3*y - 5*g = 5, -y = 5*g - 10. Is j(y) composite?
False
Suppose 4*w = 7*w - 3147. Is w composite?
False
Let k be (-30)/195 - 594/26. Let v = 2 + 0. Is (-1)/v*2 - k a composite number?
True
Suppose 2*r + 5 = x - 2, 8 = -2*r. Let i(t) be the second derivative of 17*t**4/6 - t**3/6 - t. Is i(x) a composite number?
True
Let r = 342 + -95. Let d = r + -168. Is d prime?
True
Suppose 16*m = 17*m - 789. Is m a prime number?
False
Let p(x) = -6*x**3 - 1. Let t be p(-1). Suppose 40 + 445 = t*q. Suppose -5*g - 27 = -q. Is g a composite number?
True
Let q(y) = 3*y - 5. Let k be q(2). Is 21/3 + k + 3 a composite number?
False
Let a(h) = 2 - 4*h - 1 - 3*h + 2*h. Is a(-1) a prime number?
False
Let d(h) = h**3 - 11*h**2 + 3*h - 8. Is d(11) a composite number?
True
Let m(y) = 8*y**2 - 16*y - 1. Is m(6) a composite number?
False
Suppose -u = 2*u - 9. Let h = u + -3. Suppose h = 3*c - 30 - 33. Is c a composite number?
True
Suppose -4*w + 7*w = 759. Is w prime?
False
Let u = 73 + 0. Suppose -4*y + u + 285 = -2*s, -3*y + 4*s = -256. Let m = y - 55. Is m a composite number?
False
Let w(u) be the first derivative of 13*u**3/3 + 5*u**2/2 - 5*u + 4. Is w(4) prime?
True
Suppose -3*r + 0*r + 3063 = 0. Suppose -2*o = -5*f + 403, -r = 4*o + o + f. Let l = -73 - o. Is l a prime number?
True
Is 3/9*0 + 319 a composite number?
True
Let k = 292 + -518. Is k/(-4) - (-6)/(-4) composite?
True
Let f(q) = 2*q**2 + 2*q - 1. Let w be f(-2). Suppose 12 = 3*z, 2*z = -w*g - 22 + 144. Is g a prime number?
False
Let q(n) = 9*n**2 + n + 1. Suppose -3*w + 17 = 2. Suppose 5*m = w + 15. Is q(m) composite?
False
Let k(t) = -t**3 + 6*t**2 - 4*t + 4. Let a be (-20)/(-6) + (-1)/3. Let i be k(a). Let y = i + 4. Is y prime?
True
Let t = 34 - -219. Is t composite?
True
Suppose -5*g = -3*d, -5*g + 0*g + 5*d = 0. Let r(s) be the first derivative of s**2/2 + 127*s + 23. Is r(g) composite?
False
Let i be 3/12 - 53/4. Let s = 26 + i. Is s prime?
True
Let w be (-6)/(-4) - 5/(-10). Suppose -q + 0 = -w. Suppose -q*y + 99 - 33 = 0. Is y composite?
True
Let k(q) = -89*q**2 - 5*q + 7. Let g(d) = 45*d**2 + 2*d - 3. Let a(c) = 5*g(c) + 2*k(c). Is a(-4) composite?
False
Let l = 602 - -138. Let c = l + -243. Is c a composite number?
True
Let c(x) = -x**3 - 8*x**2 - 10*x - 10. Suppose 3*m - i + 23 = 5*m, 0 = -2*m + 3*i + 43. Suppose -21 = 5*k + m. Is c(k) a composite number?
False
Suppose 0 = -4*t + 3*j - 3 - 30, 3*j = -15. Let s(w) = 2*w**2 - 6*w - 13. Is s(t) a composite number?
False
Is (-8)/(-28) + 481/7 a prime number?
False
Let c(r) = -2*r**2 + 4*r**2 - 7 + 13*r + 3*r**2 - 4*r**2. Is c(9) composite?
False
Suppose 0*g + 4*i + 1326