= 0, -5*b - 10495 = -10*b + u. Is b composite?
False
Let s = -1668 + 3497. Is s a composite number?
True
Suppose -3446 = -3*m - 626. Let l = 8 + -5. Suppose -f = l*f - m. Is f composite?
True
Suppose -5*z + 8 = -7. Let j(b) = b - 7. Let i be j(z). Let x(l) = -10*l**3 + l**2 + 6*l + 3. Is x(i) a composite number?
True
Let i(p) = -3741*p + 3. Suppose -22*q = -24*q - 10. Let j be i(q). Is (j/48)/(1/4) a composite number?
False
Let q = -131 - -705. Let m be (-2 - -1) + (2 - -3). Suppose -162 + q = m*y. Is y composite?
False
Let x(t) = -t**2 - 3*t + 94. Let f be x(-11). Let c(i) be the first derivative of 7*i**2/2 + 13*i - 1. Is c(f) a composite number?
True
Let f(l) = 32*l**2 - 81*l + 13. Is f(-6) composite?
True
Suppose 3*a = 3, 0 = 2*z - 0*z + 2*a - 2. Suppose -y + 223 = -z*y. Is y composite?
False
Let i(k) = 18*k - 2. Let q(g) be the third derivative of g**6/120 + g**5/20 - g**3/3 - 2*g**2. Let d be q(-2). Is i(d) a prime number?
False
Let r(q) = -2*q - 7. Suppose -8*y = -3*y + 25. Let s be r(y). Suppose -5*x + 155 = 3*h, -h - 2*h = s*x - 93. Is x a prime number?
True
Let r(z) = 11*z**2 + 6*z - 24. Suppose -5*u = 5*v - 60, u = -2*u - 4*v + 37. Is r(u) a composite number?
False
Let o(u) = 5*u**2 - 1. Suppose 3*b + 6 = 3*s, -5*b = -4*s - 2*b + 11. Suppose -s*m + 0*r - 9 = -r, 4*m + 9 = -r. Is o(m) composite?
False
Let q(o) = o**3 - 9*o**2 + o - 9. Let g be q(9). Suppose 25 = -g*m + 5*m. Let f(j) = -j**3 + 6*j**2 - 2*j + 4. Is f(m) prime?
True
Suppose s = 2*z + 50415, 0 = -s + 8*z - 12*z + 50421. Is s prime?
True
Let h(y) = -5 + y**3 + 4*y - 26*y**2 + 8*y**2 + 4*y**2 + 10*y**2. Suppose 0 = 3*z - 3*j - 12, -5*z = -6*j + 3*j - 24. Is h(z) a prime number?
False
Is 27 + -18 - (0 + -4945) prime?
False
Let r = 20 - -20. Suppose -2*i - 2*i + r = 0. Is -5*2/i*-22 prime?
False
Suppose 0 = -x + 2*x + 185. Suppose n = 400 - 466. Let m = n - x. Is m a prime number?
False
Suppose 0*y + 2*y = 884. Suppose 63*f - 61*f + 502 = 0. Let p = f + y. Is p a prime number?
True
Suppose -10*d = -5001 - 6549. Suppose 3*j + 1154 = r, -r = -0*r - 4*j - d. Is r a composite number?
False
Let v be (2/(-4))/((-10)/60) + -4120. Let d = v + 6860. Is d prime?
False
Let r(z) = 2*z + 407. Suppose 2*x = 7*w - 3*w - 22, 7 = w - x. Let t = -4 + w. Is r(t) composite?
True
Let n = -35 - -33. Is 176 - (-20)/4 - 4/n a prime number?
False
Suppose 0 = s - 4*s + 1245. Is 33*s/15 - (2 + -2) composite?
True
Is 2*3692/8 - 2 composite?
True
Suppose -4*a + 2 + 6 = 0. Suppose -5*p + 45 = 5*m, a*p = -4*m + m + 22. Suppose m*k = -l - 7 + 26, 6 = -2*k. Is l a composite number?
False
Suppose -2*i + 5*o = -14, -5*i + 4*o + 16 = o. Suppose -i*u = -h - 812, u + h = -3*u + 1636. Is u - (-2 - (1 - 2)) composite?
False
Let d(r) = 15577*r**2 - 19*r - 18. Is d(-1) a composite number?
True
Suppose -5*r - 2*d + 216185 = -5*d, 43237 = r - 3*d. Is r a prime number?
True
Let n be (-44)/(-10) + 66/(-15) + 4. Suppose 0 = -3*r - 5*i + 159 + 232, -i + 510 = n*r. Is r prime?
True
Let d be (-341)/(3/(-3)*-1). Let g be (12/(-5))/2*40. Let k = g - d. Is k composite?
False
Let g = 22169 + -10413. Suppose 3*z - g = -z. Is z a prime number?
True
Suppose 0 = -48*c + c + 979527. Is c prime?
False
Let h = 96 + -94. Suppose h*n + 4*u - 506 = 0, 0*n + 5*u - 507 = -2*n. Is n composite?
False
Let y = -3 + 7. Suppose y*f - 559 = 969. Is f a prime number?
False
Suppose 11*z - 19*z + 32 = 0. Let f(s) = s**2 - 2*s - 3. Let u be f(-2). Suppose -u*m + 4*n + 575 = -16, z*m = 2*n + 474. Is m a prime number?
False
Let a(d) = -d**2 - 10*d - 5. Suppose 7 = -5*o - 3. Let b be o/((-45)/(-20) + -2). Is a(b) a composite number?
False
Suppose -s + 8*f + 1 = 4*f, -2*f = 3*s - 17. Let h = -1 + s. Suppose 4*o = r + 3*r - 356, h*r - o = 344. Is r composite?
True
Suppose 67*u = 12*u + 72325. Let a = -2172 - -1236. Let f = u + a. Is f a composite number?
False
Let v be (10/2)/(5/2). Suppose -3792 = n + 2*i, v*n + i = 3*n + 3801. Is n/(-6) - (0 - -4) a prime number?
False
Is 317658/30 + -6*(-2)/30 a composite number?
False
Is 3 + (-9470*8)/(-4) + 4 prime?
True
Suppose 0 = 2*a + 8. Let c(y) = -14*y**2 + 4*y + 11. Let v(i) = 14*i**2 - 5*i - 12. Let o(k) = -7*c(k) - 6*v(k). Is o(a) a prime number?
True
Suppose 0 = 2*d + 3*d - 2780. Suppose -3*u + 921 = 4*b, 4*b - 5*b + 609 = 2*u. Let z = d - u. Is z a prime number?
False
Let j(t) = 12*t**2 - t + 1. Let f be j(3). Let r = 235 - f. Is r a composite number?
True
Let s = 1316 - 328. Let k be (-1)/(-3) + (-5)/(-3). Suppose 0 = k*m + 5*n - s, 4*m - 951 = -2*n + 1041. Is m composite?
False
Let c(w) = 52*w**2 + 11*w - 94. Is c(-9) composite?
False
Let d be ((-8)/(-6))/((-4)/(-6)). Suppose 2*k + 1757 = 3*u, 860 - 269 = u + d*k. Is u a prime number?
True
Suppose 0 = -3*j - 4*q - 33 + 4796, 3*q = -4*j + 6346. Is j prime?
False
Let g(v) = 95*v**2 + 28*v - 74. Is g(-25) composite?
False
Suppose 22519 = 5*s - 5*n - 59136, 5*n = -5*s + 81675. Is s composite?
False
Suppose -5851 = -6*j + 6263. Suppose 8*o - j - 1237 = 0. Is o a prime number?
False
Let i(b) = 51*b**3 + b**2 - 8*b - 1. Is i(3) prime?
True
Let u(t) = 12*t**3 - t**2 + t - 1. Let k be u(1). Let v = k + 1104. Suppose -23*l + v = -18*l. Is l composite?
False
Let b(c) = 182*c**3 + 13*c**2 + 7. Is b(4) a prime number?
True
Let q(b) = 177*b**3 - 5*b**2 + 2*b - 1. Let v be q(3). Suppose -5*n = -v - 4136. Suppose 0 = 2*w + 3*y - n, -w + 777 = -y - 113. Is w prime?
False
Let b(y) be the second derivative of 16*y**3/3 - 3*y**2 + y. Let p be -4*6*(-7)/84. Is b(p) prime?
False
Let x(r) = 18*r**2 - r - 3. Let w(p) be the second derivative of 35*p**4/12 - p**3/2 - 7*p**2/2 - 9*p. Let h(i) = -4*w(i) + 9*x(i). Is h(-4) composite?
True
Suppose -30 = 4*t - 5*c, c - 15 = 3*t + 13. Let l(y) = y + 12. Let o be l(t). Suppose 4*u + 0*u - 886 = -3*v, 0 = -v - o. Is u a prime number?
True
Is 18987/2 + (0 - 25/10) a composite number?
False
Suppose 3*p - 86277 = 6*f, 0*f - 57518 = -2*p + 5*f. Is p a composite number?
False
Let p(o) = 17*o**2 - 78*o + 24. Is p(13) prime?
False
Suppose w + 3*l - 670 = 0, 3*w + 9*l = 4*l + 2006. Let y(d) = 337*d - 1. Let n be y(1). Let v = w - n. Is v prime?
True
Let k(x) = -x**3 + 25*x**2 + 18*x + 37. Is k(25) prime?
True
Let j be 302/4*(-4)/(-2). Suppose -2*w + j = -827. Is w a composite number?
True
Let s = 426 - -976. Suppose -2*y + 4*i = -s - 248, 4*y + 5*i = 3274. Is y prime?
True
Suppose -6*v = -v - 1100. Let t = v - -161. Is t a prime number?
False
Let q(n) = 89*n**2 - 4*n - 17. Suppose 2*k = -32 + 12. Is q(k) a composite number?
False
Let n be (-6)/14 - (90/(-14) + 4). Suppose 1101 + 205 = n*o. Is o a composite number?
False
Let v(p) = p**2 - 13*p + 16. Let a be v(12). Suppose d - a = 322. Is d a composite number?
True
Let k(i) = -2*i**2 + 4*i - 7. Let j be 4/(4 + 0 + -2). Let u be k(j). Let b(c) = 5*c**2 + 2*c - 8. Is b(u) prime?
True
Is (1 - -7413)/11*(-2)/(-4) a composite number?
False
Suppose 142*q + 156850 = 152*q. Is q composite?
True
Suppose 5*m = 4*m, 3*t = 3*m + 45. Suppose -3*g = -t, -3*g - 233 = -2*b + 34. Is b a prime number?
False
Suppose 2*h = h. Suppose h = 2*i - 554 + 132. Suppose -i = -x + 294. Is x a prime number?
False
Let s = -372 + 113. Let b(x) = -3*x - 101. Let m be b(-7). Let w = m - s. Is w composite?
False
Let o be 736/(-28) + 2/7. Is 379/2 - 39/o a composite number?
False
Let q = -62 - -67. Suppose -w = q*i - 1123 - 768, -i + 359 = 5*w. Is i composite?
False
Suppose 4*h + 25 = -2*x + 3, -h = -3*x - 12. Let a = -1 - x. Suppose d - 275 = -a*d. Is d prime?
False
Is ((-789)/(-2))/(24/592) composite?
True
Suppose c - 5*w = -2*c + 3096, -5*w + 2064 = 2*c. Suppose 39 - c = -3*h. Is h composite?
False
Let x = 13 - 15. Let o be 0 + 12/4 + x. Is o/3 - 123/(-9) a composite number?
True
Let x = -30 + 29. Let u be (x + 0)/2*-1966. Suppose -5*g + 482 + u = 0. Is g a prime number?
True
Suppose 0 = -3*p - 0*p + 201. Is p prime?
True
Let z = 263 + -352. Let f be (-1)/2 - (-1425)/(-6). Let n = z - f. Is n a composite number?
False
Let x(d) = -d + 3. Let u be x(3). Is -3 + 1365 - (u + 1) prime?
True
Let o = -10 - -7. Let a(n) = -50*n - 75*n - 5 + 3. Is a(o) a composite number?
False
Suppose 2*b - 4250 + 1080 = 0. Is b composite?
True
Is ((-9)/(-12))/(30/103160) a prime number?
True
Let i be 147 + ((-24)/3 - -4). Suppose 2*x + 2*t = 92, 