*n = -o - 18 + 3, 5*o = -5*n. Is (-1)/((-6)/1354)*n composite?
False
Let p(x) = x**2 + x + 1. Let z(j) = 4*j**2 + 11*j + 12. Let q(w) = 3*p(w) - z(w). Let r be q(-6). Let u(b) = 2*b**2 + 2*b + 7. Is u(r) a composite number?
False
Suppose -54*t - 636 = -58*t. Let v(j) = -10*j**2 + j - 2. Let h be v(2). Let d = t + h. Is d a prime number?
False
Let n = 8 - 14. Let k be (n/15)/((-2)/20). Suppose 5*s + 291 + 409 = 5*t, s + 557 = k*t. Is t a composite number?
False
Let h be ((-4)/(-12)*0)/(-1). Let v(n) = -n**2 - 2*n + 339. Let r be v(h). Suppose 4*u = u + r. Is u composite?
False
Suppose -5*l = m + 278, 5*m + 0*l - 5*l = -1330. Let c = 603 + m. Is c prime?
False
Suppose -14 = -3*u + 4. Let m(a) = 8*a**3 - 8*a**2 - 5*a - 1. Is m(u) a composite number?
False
Let d = 13 - 11. Suppose d = 2*l - 2*j, -4*j - 3 + 9 = l. Suppose -2*z + 58 + 101 = k, l*k = 5*z + 273. Is k a prime number?
True
Suppose 5*j - 924 = -3*d + 1039, -3*d - 12 = 0. Suppose 177 + j = 2*q + 2*v, 3*v = -9. Is q composite?
True
Let c be 6*(1630/(-3))/(-5). Suppose -z + 819 = -c. Is z a prime number?
True
Let f(y) = 608*y + 9. Let o be f(3). Suppose 5*a + o = 8108. Is a a composite number?
True
Let l = 648 - 39. Let o = -430 + l. Is o prime?
True
Let y = 5026 - 1985. Is y prime?
True
Suppose -h - 2*x + 11539 = 0, -2*h + 23*x + 23113 = 20*x. Is h composite?
False
Let y = -4733 - -57964. Is y a prime number?
True
Suppose 6 = -2*p - 4*l, -4*p - 5*l - 6 = -3*l. Is (742 - p) + (-24)/6 prime?
True
Let o(r) = 415*r - 180. Is o(11) composite?
True
Let n(q) = q. Let z(x) = 3. Let g(k) = -2*n(k) - 2*z(k). Let d be g(-11). Is d/40 - 123/(-5) a composite number?
True
Suppose 7*k - 4*k - 9 = 0. Suppose -k*s + 4*w + 779 = -0*s, -5*s + 1255 = 2*w. Is s a composite number?
True
Let t(r) = -3*r + 20. Let l be t(4). Suppose -4*c + l*c - 3356 = 0. Is c a composite number?
False
Suppose 4*g = -8, -5*c + 3*g - 93 = 7*g. Let y = 24 + c. Suppose -11*t + y*t = -572. Is t a prime number?
False
Suppose 4*b = -3*d - d, 0 = -b + 4*d + 10. Suppose 3*a = -2*m + 6445, -2*m - b*a + 6448 = -0*m. Is m prime?
False
Let b(u) = -3*u**3 - 2*u - 1. Let c be b(-1). Let q(m) = m**2 - 3. Is q(c) prime?
True
Let u be (2 - 3)/((-2)/(-22)). Is (-50061)/u + -1 + -3 prime?
True
Is 23497*4/((-4)/(-4) + 3) a composite number?
False
Let r = -3087 - -4768. Is r composite?
True
Let o(c) = -c**3 - 11*c**2 - 12*c - 21. Suppose 9*k - 3*k = -60. Let y be o(k). Is (0/4 + -23)*y a composite number?
False
Let y = 189243 + -104116. Is y a prime number?
False
Is 6 + ((-13)/(-3))/(38/29640) a composite number?
True
Let r = 17 - 16. Is (r + -94)*-2 + 4 + 1 composite?
False
Is 12/8*8/(-12)*-6087 prime?
False
Let k(a) = 3*a**3 + a**2 + 2*a - 5. Let c(n) = 11 - 2*n - 7*n**3 - n**2 - 2*n + 0*n. Let j(u) = 4*c(u) + 9*k(u). Is j(4) a prime number?
True
Let u be ((-1)/3)/1*-39. Let i = u - 9. Let o = i + 3. Is o a composite number?
False
Let k = 7534 + -5291. Is k prime?
True
Let t(f) = f**3 - 10*f**2 - 2*f + 2. Let s be t(11). Let y = 107 + s. Let n = y - 51. Is n prime?
True
Let q = -13 + 27. Let w = 8 - q. Is w/4*(0 + -46) a composite number?
True
Suppose 4*m - 3*j = -0*j + 105, 5*m = 4*j + 130. Let z = m + -28. Is 0*z/(-8) + 71 composite?
False
Let c be -8 + 6 - -1*197. Suppose -3*b - 5*a + 1957 = 0, b + a - c = 456. Is b a composite number?
True
Is -7 - (11 - 16 - 17649) composite?
True
Suppose -2*l = 2*w - 5*l + 9, 11 = -w - 5*l. Let t be ((-21)/14)/(w/208). Is 2/(-8) + 4537/t a prime number?
False
Let w(d) = 19*d**3 + 15*d**2 - 28*d - 25. Is w(12) prime?
True
Let f = -13 + 10. Is f - 9740/(-75) - (-4)/30 a prime number?
True
Suppose 3*t - 7 = 2*t. Suppose 55 = -4*v + t. Is v/(-6) - (-88 + 1) prime?
True
Suppose -6*l - 48 = -210. Suppose 0 = 24*v - l*v + 879. Is v prime?
True
Let d be 1/((-1)/78*2). Let f(z) = 18*z - 26. Let l be f(5). Let v = l + d. Is v a prime number?
False
Let m = 30303 - 15874. Is m composite?
True
Let j = 40 + -27. Let n = -99 - -153. Let r = j + n. Is r prime?
True
Let d = -548 - -1891. Is d prime?
False
Suppose 4*q = 5*u - 2*u - 11, -7 = 2*q - 3*u. Is ((-1)/q)/((-4)/(-24)) + 2048 prime?
False
Let a(v) = 3056*v**2 + 9*v + 8. Let h be a(-1). Suppose u = 6*u - h. Is u a composite number?
True
Suppose -4*z = -3*d - 78677, 0 = -4*z - 4*d + 104441 - 25729. Is z composite?
True
Let q = 21 - 15. Suppose q*t - 11*t = -25. Is 778/t + 9/(-15) composite?
True
Let s = 552 - -716. Let y = 4189 - s. Is y a composite number?
True
Let x be (-271)/3 + (-5)/(-15). Let w = x + 246. Suppose 5*r = 3*l + 3*r - 473, -l = r - w. Is l a prime number?
True
Suppose 3*j = -5*v - 5361, -5365 = v + 4*v + 5*j. Let k be v/(-117) + (-4)/26. Is 1378*(2 + k/(-6)) a composite number?
True
Let m = -27 - -36. Suppose -3*y - 1 = -2*x, -x = 3*y - 5 - m. Is (3 + 980)*y/3 a prime number?
True
Suppose -10 = -4*p + 5*j, -3*p - p = -3*j - 14. Let o(n) = 114*n + 7. Is o(p) a prime number?
True
Let x be (-8)/(-20) - 8940/(-25). Suppose w - 57 - x = 0. Is w a composite number?
True
Suppose 0 = -2*i + 10, -2*s + 3*i + 31 = 8*i. Suppose -s*k + 34674 = 3*k. Is k a prime number?
True
Let n(t) = 68*t - 1. Let x = -18 - -22. Is n(x) a composite number?
False
Let w(u) = 5*u**3 - 26*u**2 - 37*u + 29. Is w(20) prime?
False
Suppose 5*y - 21 = 79. Suppose 2*b = -3*b + y. Is -692*((-6)/b - -1) prime?
False
Is -4156*((-102)/(-17) - (-93)/(-12)) a composite number?
True
Is ((-2)/12)/((-4)/3336) composite?
False
Let p(m) = -m**3 - 32*m**2 - 2*m - 57. Let k be p(-32). Let q(g) = 2*g**3 - 8*g**2 + 2*g - 15. Is q(k) a prime number?
True
Let d = -2663 - -4508. Let m = d + -694. Is m a composite number?
False
Let z(w) = -3691*w**3 + 2*w**2 - 2*w - 4. Is z(-1) composite?
False
Let o(g) = -6*g**3 - 22*g**2 + 39*g + 12. Is o(-17) a prime number?
True
Let b = -135 + 65. Is ((-126)/b)/((-2)/(-10)) composite?
True
Suppose 0 = -5*x - 4*p - 90, 0*x - x + 4*p = -6. Let d = x + 28. Suppose -4*h = 3*b - 4 - 25, 4*h = 2*b + d. Is b a prime number?
True
Let s be (-119)/(-4) + (-12)/16. Suppose 5*a = -25, a - 6*a = -3*i - s. Is 3*(-3)/i*746 composite?
False
Let q = -7891 - -16980. Is q a composite number?
True
Let x(h) = -38 + 9*h - 3*h**3 - 44 + 9*h**2 + 81. Is x(-6) a prime number?
False
Suppose 12*q = -4*f + 14*q + 95434, -f - q + 23854 = 0. Is f prime?
True
Suppose -76*w + 63*w = -153998. Is w prime?
False
Let o = 543 + -232. Is (3 + o)/(0 + 2) prime?
True
Suppose -k = -2*k + 3. Let n(l) = -7*l + l**2 + 4*l**2 - 3 - k*l. Is n(-8) prime?
True
Suppose 6*z - 2 - 16 = 0. Let f(u) = 49*u + 10. Is f(z) a prime number?
True
Let a be (212/16)/(-2*1/8). Is a/((10/26)/(-5)) composite?
True
Suppose 2*z - 5926 - 41772 = 3*f, -5*z + 119245 = 3*f. Is z prime?
False
Let c = -527 + 2798. Is c composite?
True
Suppose -12*l - 1004 + 11672 = 0. Is l prime?
False
Let n = -11 + 23. Suppose -4 = -2*u + n. Suppose u*q = 1549 + 1099. Is q composite?
False
Let c = 147 - -259. Let w be (-8 + c)/((-4)/(-6)). Suppose 3*z - a - 34 = 400, -5*a = -4*z + w. Is z a prime number?
False
Let i be 0/(4 - (-12)/(-4)). Suppose -2*c + 169 = 5*l, -c + i*l = -4*l - 117. Is c a composite number?
False
Suppose 1 = -t + 6. Suppose 2*z - 585 = -2*h - z, t*h - 1459 = -4*z. Is h composite?
True
Let h be 24/132 - (-130425)/11. Suppose -3*n = 12, 2*g - 7*g + 3*n + h = 0. Is g a prime number?
False
Suppose 4*i - 540 = -2*s + 7834, -4*i = 4*s - 16736. Is s composite?
True
Suppose -w - 2 = -2*w. Suppose -w*u + 4*x + 23 = 3, -3*u + 22 = -4*x. Suppose u*a - 191 = a. Is a a prime number?
True
Is (-6551)/(-4) + (-531)/708 a prime number?
True
Suppose -81 = -3*f - 555. Let x = f + 317. Is x composite?
True
Let a = 28020 - 16169. Is a prime?
False
Let f(b) be the first derivative of -b**4/2 + 2*b**3/3 + 3*b**2/2 + b + 5. Let x be 0 + (3*6)/(-3). Is f(x) a prime number?
True
Suppose -5*h - 3*o = -8*o - 42745, 0 = 5*o + 20. Is h a composite number?
True
Suppose 0 = 27*s - 23*s - 50444. Is s composite?
False
Let o = 42 - -3917. Is o composite?
True
Suppose 2*d = -2*d + 3*w + 5, 3*d = -2*w + 25. Suppose 0*h + 4*m + 765 = d*h, 0 = 5*m + 25. Is h a prime number?
True
Let z be (-2)/8*-4*(9 - 2). Suppose 2822 = z*q + 10*q. Is q composite?
True
Let h(a) = 8*a**2 - 40*a - 59. Is h(22) a composite number?
True
Suppose 0 = 15*d - 2*d - 113633. Is d prime?
True
Suppos