
Let o = 12 - 13. Is (-2)/o + 70 + -3 prime?
False
Let c be (-9)/15 + (-69)/(-15). Suppose 4*z + c = 0, -3*x = -2*z + 3 + 16. Is (x/(2 - 3))/1 composite?
False
Let u be 2/(0 + 3/(-30)). Let y = u + 51. Is y a composite number?
False
Is 9742/18 - (-8 - (-148)/18) a composite number?
False
Let d = 6 + -4. Let q be d/(-4) + (-20)/(-8). Suppose 3 = -i + 2, 50 = 2*u + q*i. Is u a composite number?
True
Suppose 3*s = 8 + 7. Suppose s*y - 1614 = x, -3*y = -5*x - 1359 + 395. Is y prime?
False
Let m be 0 - (3 + -2 - 5). Let n(s) = -s**3 + 5*s**2 + 2*s + 2. Let u be n(m). Let k = u - 11. Is k a composite number?
True
Suppose 4*f - 5*f = -14. Suppose i - 2*i + f = 0. Is i prime?
False
Let h(a) = 2*a - 1. Let i be h(-7). Is (-664)/(-10) - i/25 prime?
True
Let o(q) = q**3 - 7*q**2 + q + 5. Let d be o(7). Let k = -7 + d. Suppose c - k*a + 0 = 5, 2 = a. Is c a composite number?
True
Suppose -1 = -5*y - 11. Let v(m) = -7*m**3 + m**2 - 1. Is v(y) composite?
False
Suppose -p = 3*t + 2*p - 180, -4*t = -5*p - 231. Let m = 8 - 4. Suppose t = 5*i - m*i. Is i a composite number?
False
Let j(m) = m**2 - 4*m. Let c be j(5). Suppose 5*f = c*s + 160, -s + 0*s + 73 = 2*f. Is f a composite number?
True
Suppose 3 = -3*a - 12, 5*h - 155 = 3*a. Let c be (h/6)/((-1)/18). Let j = 149 + c. Is j a composite number?
True
Is 326*3 + (10 - 7) - 2 a composite number?
True
Let f(a) = a**2 - 2*a. Let u be f(3). Is (-34)/((-2)/21*u) a composite number?
True
Let g = -5 - -1. Let w = g + 8. Suppose -265 = -w*a + 75. Is a prime?
False
Let j = -4 - 3. Let p(x) = -3 - x**2 + 2*x**2 + 1 + x**2 + 9*x. Is p(j) a prime number?
False
Let p(u) = 6*u - u**2 + 6*u - 3*u + 7*u - 10. Is p(9) composite?
False
Suppose 0*u = -u + 108. Let l = -59 + u. Is l prime?
False
Let d be (0 - -15)*(2 + -1). Suppose -4*g + 37 = -d. Is g a composite number?
False
Let o = -292 - -202. Let z = 157 + o. Is z a prime number?
True
Let c = -98 + 361. Is c a composite number?
False
Suppose 4*g = 19 + 1. Let d = g + 2. Is d prime?
True
Suppose -3*v - 3 = -3*u, 5*v - 1 = 3*u - 0. Suppose 0*m = -v*a + 2*m + 46, 10 = -5*m. Is a composite?
True
Suppose q + 3*q - 9340 = 0. Is q prime?
False
Let y be 2 + (-1 - -3) + -2. Suppose 395 = 3*f + y*f. Is f prime?
True
Suppose 4*z - 1008 = 4*w, 0*z - 5*w = 2*z - 469. Is z composite?
True
Is (-2022)/(-4)*8/6 a composite number?
True
Suppose 2*i = t + 20, 0 = 4*i + 7 + 5. Is (7 + t)*(0 + -1) composite?
False
Let q = 644 - -173. Is q a prime number?
False
Let g(y) = 143*y. Let q(z) = -z**3 - 7*z**2 + 9*z + 10. Let h be q(-8). Suppose -h + 0 = -2*o. Is g(o) prime?
False
Suppose -n + 275 = m + 2*m, 3*n + 5*m = 841. Is n a composite number?
True
Let t = 1 + -2. Let j be 1/(t/(-2)) - 12. Let x = 3 - j. Is x a composite number?
False
Let n = 5 + -7. Let s = -6 - n. Is (26/6)/(s/(-36)) composite?
True
Suppose -5*v - 5*d + 5 = 0, -3*v + 5*d - 13 = -0. Let n be (-3 + 3)/(2*v). Suppose 3*b + n*b = 273. Is b a composite number?
True
Suppose 2*s + m + 145 = 1368, -2*s + m = -1233. Is s a composite number?
True
Let t(d) be the second derivative of 11*d**4/12 + d**3/3 + d**2/2 - 6*d. Is t(4) a composite number?
True
Suppose 953 = 5*k + 148. Is k composite?
True
Let l(g) = 49*g + 33*g - 2 - 26*g. Is l(3) composite?
True
Let k be (-1)/(-2)*(2 - 2). Suppose -4*l + 32 = -5*m, 3*m + 27 = 4*l - 13. Let d = l - k. Is d a prime number?
True
Suppose -4*s - 22 = 3*v - 0*v, -3*v - 3*s - 21 = 0. Is ((-2)/v)/(12/5364) composite?
False
Suppose -3*d + 4*b = -2211, -5*b = 12 + 3. Is d prime?
True
Is (73 + -2)*(5 + -2) composite?
True
Suppose 0 + 3 = -3*h. Is 53 - ((4 - 1) + h) composite?
True
Let c(j) = 46*j - 59. Is c(15) a composite number?
False
Suppose -2*t + 5*i - 157 = -4*t, -261 = -3*t + i. Is t composite?
True
Let w be (-2)/(-5) + 10419/15. Suppose -3*c = 2*c - w. Is c prime?
True
Let c be ((-75)/(-5))/((-6)/(-40)). Suppose -c = -0*d - 4*d. Is d prime?
False
Let f be 2/(5/(15/2)). Let z(c) = 3 - 3*c + 6*c**2 - f*c + 3*c. Is z(2) prime?
False
Let l(z) = 13*z**2 - 2*z - 5. Let t(r) = -r**2 - 3*r. Let x be t(-4). Is l(x) composite?
False
Let q(s) = -s**3 + 5*s**2 - 6*s + 2. Let d(v) = -3*v + 1. Let b be d(-1). Let t be q(b). Is (-256)/(-24) - 2/t a prime number?
True
Suppose x + 3*x - 20 = 0. Suppose x*s + 5*j - 21 = s, 4*j - 16 = -3*s. Is s a prime number?
False
Suppose -5*n + 4*n + 84 = 0. Let h = n - 57. Let z = h - -62. Is z a prime number?
True
Let z(d) be the third derivative of d**4/24 + 11*d**3/6 - d**2. Let q be z(-5). Let x(y) = y**3 - 5*y**2 - 2*y - 1. Is x(q) prime?
True
Suppose 1710 = 2*l + n, 3*n = -4*l + 1209 + 2215. Is l a prime number?
True
Let s = 4 - 1. Is s + -1 + (256 - -1) prime?
False
Let i(q) = q**2 - 2*q + 1. Let c be i(1). Suppose 5*s + 868 - 4853 = c. Is s a composite number?
False
Let r be 603/11 + 4/22. Is (r/(-5))/((-1)/17) a prime number?
False
Let d(o) be the third derivative of -o**4/8 + 4*o**3/3 - 3*o**2. Is d(-6) prime?
False
Let c be -1*-1*(0 - -39). Let t = 19 + c. Is t a prime number?
False
Let u(l) = -l**2 - 7*l + 3. Let r be u(-6). Suppose x + r = 3. Let q(b) = 2*b**2 + 6*b - 1. Is q(x) prime?
False
Is 1/(-2) + -1*(-321)/6 composite?
False
Suppose 0 = 4*j - 488 - 2492. Is j prime?
False
Let p(h) = -80*h**2 + 8*h - 15. Let a(i) = 120*i**2 - 12*i + 23. Let l(q) = -5*a(q) - 8*p(q). Is l(2) a composite number?
False
Let x(o) = -o**2 - o. Let m be x(-1). Let f(c) = 2*c + 3*c**2 + c**2 + m - 1. Is f(-5) composite?
False
Let b be 36/15 - 2/5. Suppose b*i - p - 40 = 15, 3*i - 85 = 2*p. Is i composite?
True
Let g(n) be the third derivative of n**6/120 + n**5/15 - n**4/6 + 2*n**3/3 + 2*n**2. Let d be g(-5). Let v(b) = 37*b**2. Is v(d) prime?
True
Let n be 1/(-2)*0/(-1). Suppose -i + n*i = -233. Is i a prime number?
True
Let s be (-9)/(-18)*(-8)/(-1). Suppose 0 = -3*c - t + 596, -c + t + 196 = s*t. Is c a prime number?
True
Let c(x) = 9*x**2 + 4. Let n(s) = -s**2 - s. Let l(a) = c(a) + 5*n(a). Let j = 65 - 62. Is l(j) composite?
True
Is -3*(-22)/2 - -2 a prime number?
False
Suppose -11*l = -l - 3820. Is l a prime number?
False
Suppose -3*v - 2*u + 391 = 0, 5*u - 3*u = 5*v - 625. Is v composite?
False
Let q(p) = 109*p + 1. Let n = 6 - 4. Is q(n) a prime number?
False
Let a be (8/(-3))/((-1)/(-3)). Let s be (-507)/(-12) + 2/a. Let v = s - -23. Is v prime?
False
Suppose -90 - 6 = -2*k + 3*z, -3*z = -3*k + 141. Let j be 10/k + 376/9. Let m = j + -20. Is m composite?
True
Let p = 686 - 247. Is p prime?
True
Let v(t) = -2*t**3 + t**3 - 2*t**2 + 0*t**3 - t. Let u be v(-1). Suppose m - 4*m + 111 = u. Is m a prime number?
True
Let v = 32 + -206. Let y = 308 + v. Is y a prime number?
False
Let m = -82 + 245. Is m a composite number?
False
Let d(i) = 55*i + 2. Let l be d(2). Let w = l - 9. Is w prime?
True
Let g = 919 + -228. Is g composite?
False
Suppose 0*t - 5*t = -10. Suppose 10 = -t*a + 7*a. Suppose -a*r + 14 = -14. Is r prime?
False
Let f = 5 + -15. Let w be (-2 + (-14)/f)*-5. Suppose 2*t - 27 = 3*m, -5*t + 0*t - w*m = -120. Is t composite?
True
Let o be (-4)/2 - (7 - 14). Suppose 5*z - 25 = 5*y + 75, z = -o*y + 14. Is z a prime number?
True
Let o be (-1 - 0)/(1/(-2)). Let m(t) = -t + 1 - 2 + 11*t. Is m(o) a prime number?
True
Let v(w) = -7*w**3 - 5*w**2 + w - 2. Let p(c) = c**3 + 11*c**2 - 11*c + 7. Let n be p(-12). Is v(n) a prime number?
True
Let h = 204 + -117. Suppose 3*v - h = 78. Let n = v - 33. Is n composite?
True
Suppose -2*a = 2*a - 948. Suppose 3*p + 4*x + x = a, 0 = -5*p + 4*x + 358. Is p a prime number?
False
Is 3*(-5)/45*-663 a prime number?
False
Suppose 4*i - 14 = j - 2*j, 4*i = 5*j + 2. Let y = j + 1. Suppose -y*g = g - 36. Is g prime?
False
Suppose c + 0 = 5. Let d(g) = 3*g**3 - 3*g**2 + 4*g - 3. Is d(c) prime?
True
Let i(y) = -1348*y**3 + y**2 - 2*y - 2. Is i(-1) composite?
True
Let c(k) = -15*k**3 + k + 2. Let r be c(-4). Suppose 3*m + j = r, m + 3*j = 2*j + 320. Is m composite?
True
Is (-238)/(4/(-4) + 1 + -2) composite?
True
Let n = 3 - -2. Suppose -2*i + 7*i = 50. Suppose -n*m + 5 = -i. Is m composite?
False
Suppose k - 5*a - 664 = -2*a, 3*a - 2052 = -3*k. Is k composite?
True
Suppose 0 = -2*p - 0 + 4. Let k be (-2)/(9/(-6) + 1). Suppose 5*b = -3*t + 73, -p*b = -0*t + k*t - 116. Is t a prime number?
True
Suppose 4*o - 1 - 8 = -a, 2*o - 3*a - 1 = 0. Suppose 4*j 