?
True
Let l = 186 + 209. Suppose -l = 3*t - 8*t. Is t prime?
True
Suppose -2893 = -5*i - 4*t - 617, -3*i + 5*t + 1373 = 0. Is (i/3 + -3)*1 a prime number?
True
Let u = 852 + -446. Suppose -3*n = 5*r - u, -4*r + n - 5*n + 320 = 0. Is r composite?
False
Is -5 + 2 - -14 - -2 prime?
True
Suppose 2*t = -t - 141. Let z = 102 + t. Is z a composite number?
True
Let n be ((-71)/2)/((-1)/2). Let l = -18 + n. Is l composite?
False
Let w(k) = k + 2. Let a = -6 + 6. Let j be w(a). Suppose 174 = j*d + d. Is d prime?
False
Let h(r) = -r**2 + 7*r + 5. Let f be h(-5). Let j be (-33 - (4 + -2))*(-56)/20. Let s = f + j. Is s a composite number?
False
Suppose r - 3*q - 1 = -0*q, 5*q = 0. Is (r/(-3))/(11/(-5478)) a composite number?
True
Let i(j) = -3*j**3 - 6*j**2 - 5*j + 3. Is i(-5) prime?
False
Suppose -294 = m - 1607. Is m prime?
False
Let d = -12 - -5. Let x(a) = -a**2 - 8*a + 10. Let b be x(d). Let j = b - 4. Is j a prime number?
True
Let t be 776/10 + (-12)/20. Let r = t - 24. Is r prime?
True
Let n be (2/(-3))/(3/(-261)). Suppose -4*j = -4*w + 148, -2*j = 2*w - 0*w - n. Is w composite?
True
Let d(m) = -m**3 - m**2 - m - 4. Let z = -7 - -7. Let u be d(z). Let j(x) = -85*x + 1. Is j(u) composite?
True
Let h = 6 + -2. Let f be h/(-10) + 186/15. Suppose -f = -3*q - q. Is q prime?
True
Let g(r) = -r**3 - 5*r**2 - r + 6. Let q be g(-5). Suppose 4*n + 5*c - 127 = 0, q = 4*c - 1. Is (9/(-6))/((-3)/n) prime?
False
Let j(a) = 6*a**2 + 4*a + 15. Is j(-8) a composite number?
False
Let l be 1*2 + (-1 - -2). Suppose 2*w + l*w - 3115 = 0. Is w prime?
False
Let z = -29 + -156. Let t = -107 - z. Suppose 0 = 3*r - t + 21. Is r prime?
True
Let r be ((-2)/6)/(2/(-24)). Suppose -6*l = -r*l - 350. Suppose -m - l = -6*m. Is m composite?
True
Let t(f) = 682*f - 41. Is t(6) a composite number?
False
Suppose 159 = 5*o - 236. Suppose 0 = -a + o - 10. Is a a composite number?
True
Let l be (0/1 - -4)/1. Suppose l*i - 2 = 2*i. Is 38*(-1)/(-2)*i composite?
False
Let u(c) be the third derivative of c**6/120 - c**5/5 + c**4/3 - 7*c**3/6 - c**2. Let w be u(7). Is (w + 5)/(1 + -2) a prime number?
True
Let t be 438/4*(-42)/(-9). Let m = -302 + t. Is m a prime number?
False
Let b be ((-3)/9)/(2/(-60)). Let j be (2 + -2)/(2 + -1). Let u = j + b. Is u a composite number?
True
Let s = -9137 - -12892. Is s composite?
True
Let a(j) = 4*j - 1. Is a(5) composite?
False
Let t = 1471 - -852. Is t a composite number?
True
Let c = -8 - -8. Is (1 + 0)*(3 - c) a prime number?
True
Let p(z) = 53*z**2 - 5*z + 11. Is p(-6) a prime number?
True
Is 2214/10 + (-10)/25 prime?
False
Suppose 0*m + 15938 = 4*m + y, 3*y + 6 = 0. Is m composite?
True
Let k = 846 - 523. Is k prime?
False
Is 3/(-45)*3*-1623*5 composite?
True
Let y(j) = -j**3 - j**2 + j + 133. Let s = 12 + -12. Is y(s) prime?
False
Let s(f) = -f**3 + 5*f**2 + 6*f. Suppose 2*q + 0*q = 12. Let o be s(q). Suppose y = -o + 2. Is y prime?
True
Let p(u) = u**2 - 8*u + 6. Let n be p(6). Let j be 2*3/n - -5. Is ((-8)/12)/(j/(-2814)) a prime number?
False
Suppose 4*v + 13 = -5*z, -5*z + 18 = -3*v + 52. Let t(n) = n**2 + 3*n + 3. Is t(z) prime?
True
Let j(u) = u**3 - 5*u**2 - 6*u - 1. Let w = 15 + -9. Let p be j(w). Is (2/p - -3)*33 prime?
False
Suppose 0 = -0*h + 4*h + 36. Let t(s) = 2*s**2 - 3*s - 7. Let c be t(h). Suppose -4*d = -c + 34. Is d a prime number?
True
Let y(w) be the third derivative of w**5/20 + 7*w**3/6 + w**2. Is y(-6) a composite number?
True
Suppose -4*s = 4*l - 5044, l = -2*s + 2586 - 66. Is s a composite number?
False
Let v(x) = 3*x**2 - 17*x + 15. Let w(k) = -k**3 - 6*k**2 - 7*k + 1. Let o be w(-5). Is v(o) a prime number?
True
Let m = 11 + -8. Is (-572)/(-8) - m/6 a composite number?
False
Suppose 0 = 4*y - 0*y + 3*t + 13, 2*t = 4*y - 2. Is y + 502 - 2/1 composite?
False
Let b be 1/(-1) - (-1 + 0). Let i = -2 + b. Is ((-153)/2)/3*i composite?
True
Let h(w) = -2*w**2 + 20*w + 7. Let f(u) = u**2 - 10*u - 3. Let k(l) = -5*f(l) - 2*h(l). Suppose 3*x + 2*x = 30. Is k(x) a composite number?
True
Suppose 660 = 4*b + 4*t, -8*b + 7*b + t + 173 = 0. Is b prime?
False
Let s(h) = 2*h**2 - 38*h - 19. Is s(-25) a prime number?
False
Let q(x) = x**3 + 2*x**2 - 2*x - 2. Let u be (2/2 + 0)*-2. Let c be q(u). Is (c - 1)*(13 - -1) a prime number?
False
Let v = -3 + 7. Suppose -v*n + 2*n + 354 = 0. Is n a composite number?
True
Let f(j) be the third derivative of 1/6*j**3 + 0*j + 0 + 1/20*j**5 - 2*j**2 - 1/24*j**4. Is f(-3) a composite number?
False
Let g be (-28)/3 - 36/(-27). Suppose i - 5*w - 20 = 5*i, -3*w + 15 = -3*i. Let q = i - g. Is q a composite number?
False
Let m(q) = -2*q**3 + 3*q**2 - 2*q + 2. Is m(-3) a composite number?
False
Let b = -94 - -32. Let x(v) = 182*v**3 + 2*v**2 + v. Let j be x(-1). Let n = b - j. Is n prime?
False
Suppose 2*v = -3*v - 490. Let i = -47 - v. Is i a composite number?
True
Let k(u) = u**3 + 14*u**2 + 5. Is k(-12) a prime number?
True
Let a = -1302 - -2923. Is a a prime number?
True
Let c(g) be the second derivative of -2*g**3 + 13*g**2/2 - 6*g. Is c(-10) a composite number?
True
Suppose 0 = -2*u + 4*f - 50, -2*u + 4*u + 2*f = -38. Let w = u - -58. Is w composite?
False
Suppose -3*j + 157 = -320. Let v(o) = o. Let m be v(2). Is (j/6)/1*m a composite number?
False
Let r(p) = 2*p + 3. Let k be r(-3). Is (3 - 2)*(-42)/k composite?
True
Let y(j) = 4*j**2 + 2*j + 5. Let u be -3*(3/3 + -3). Is y(u) a composite number?
True
Let t(k) = 11*k + 4. Let r be t(2). Let q = r - -119. Is q a composite number?
True
Let r be -1 - (-2 + 2) - -58. Let d = r - 25. Suppose -3*l + d = -31. Is l a prime number?
False
Let n = 44 - -15. Suppose -4*j - 95 - 37 = 0. Let t = j + n. Is t a composite number?
True
Let l(f) be the third derivative of -f**6/60 - f**5/12 + f**4/24 + f**3/3 - 2*f**2. Is l(-4) a prime number?
False
Let w(k) = k**2 - 8*k - 7. Is w(10) a prime number?
True
Suppose -3*y + 0*y + 24 = 0. Let s = 6 - y. Is (117/6)/((-1)/s) a prime number?
False
Let p = 400 - 140. Let n(h) = -h**3 + 3*h**2 + 3*h + 4. Let a be n(7). Let s = a + p. Is s a prime number?
True
Let u(g) = -g**2 + 6*g + 3. Let a be u(6). Suppose a*n + 0*n = 78. Is n a composite number?
True
Suppose -25 + 3415 = 5*h - u, 0 = 5*h + 5*u - 3420. Is h composite?
True
Suppose 0*z + 2*z - 4 = 0. Is 4*z/8 + 218 a composite number?
True
Is (-2 + 89)*1 + (-48)/(-24) a composite number?
False
Is (-3)/((-1522)/(-382) - 4) a prime number?
True
Let y be (10/(-3))/((-4)/(-90)). Suppose 3*q + 441 = -3*l, 3*q - 764 = 3*l - 293. Let u = y - l. Is u a prime number?
False
Let l(s) = -s + 3 + s - 2*s + 9. Is l(-7) prime?
False
Is (-25)/10*-206 - -2 prime?
False
Let k = 642 - 99. Suppose -4*b + b + 3*p = -k, 3*b - 4*p - 539 = 0. Is b a prime number?
False
Suppose 16 + 25 = -a. Let v = 243 + a. Is v composite?
True
Let f = -7 + 10. Let s be (2 + -3)/((-3)/75). Suppose -s = -f*u - 4. Is u prime?
True
Let o(a) = a**2 + 6*a + 12. Let j(i) = i**2 + 7*i + 12. Let u(n) = -6*j(n) + 5*o(n). Let z be u(-10). Is 74*(-1)/z*-4 a prime number?
True
Let g be (6 - 0)/1 - 1. Let c(q) = q**3 - 5*q**2 + 2*q - 6. Let x be c(g). Suppose -x*k = -274 - 306. Is k composite?
True
Let b = 2198 + -1081. Is b prime?
True
Suppose -3*g + 3*m - 219 - 18 = 0, -g = -3*m + 81. Suppose -20 = -5*x, 5*a - 4*x + 169 - 778 = 0. Let h = a + g. Is h a prime number?
True
Suppose -2 = 2*n, -2*q + q = 3*n. Suppose 35 = 2*y - q*y. Is (y/3)/((-1)/3) a composite number?
True
Let d be 3 - 0 - 288/3. Is (-3)/((-27)/(-15))*d prime?
False
Let r = -16 - -90. Suppose 0 = 2*b - 4*l - r, -3*b + 6*b - l - 96 = 0. Is b composite?
False
Let h(w) be the first derivative of -w**6/360 + w**5/8 + 5*w**4/24 - 4*w**3/3 - 2. Let y(v) be the third derivative of h(v). Is y(9) prime?
True
Let t(i) = -2*i**3 - 4*i**2 + 1. Let j be (8/(-12))/((-6)/(-27)). Is t(j) composite?
False
Is 330/2 + 52/(-13) a composite number?
True
Let t(c) = c**3 + 6*c**2 - 1. Let m be t(-6). Let h = m + 2. Is (-5)/(h + (-12)/10) prime?
False
Let x = 2 + -3. Is (15/(-2))/(x/2) a prime number?
False
Suppose -4*i + f + 2*f + 144 = 0, -4*i + 5*f + 152 = 0. Is (-2)/6 - (-19184)/i a composite number?
True
Suppose 2*k - 164 - 218 = 0. Is k prime?
True
Suppose -5*u = 19 - 194. Is u a prime number?
False
Let z(p) = 35*p + 2. Let r be z(-2). Let y(o) = -4*o**3 + o**2 - 3*o + 1. Let v b