. Let j(c) = -5*n(c) - 4*z(c). Let f be j(-3). Suppose -5*v - 5*o + 210 = -f*o, -20 = -4*o. Is v prime?
True
Suppose -s = -r + 75, -4*s + 91 = r + 11. Let d be ((-1)/((-2)/r))/(-1). Let a = d + 63. Is a a prime number?
False
Is (-6868)/(-36) - 2/(-9) composite?
False
Let t = -1 - 0. Let b be 0/(-6) + (t - 0). Is ((-5)/4)/(b/12) a composite number?
True
Let m(w) = 13*w**3 + 15*w**2 + w + 4. Let c(j) = 19*j**3 + 22*j**2 + 2*j + 6. Let a(k) = -5*c(k) + 7*m(k). Let t be a(-4). Is (10/15)/(4/t) composite?
False
Suppose 4*d = 2*d - x + 3597, 0 = 4*d - x - 7209. Is d prime?
True
Let m = -271 - -511. Let p be m - (-1 - 0)*1. Suppose -3*b + p = -3*o + 46, 2*o - 339 = -5*b. Is b composite?
False
Let g be (-3 + 0)/(6/(-8)). Suppose -5*a - 5*o + 885 = 0, 251 + 489 = 4*a - g*o. Is a prime?
True
Is (-4)/(-10)*-4078*(-70)/28 prime?
False
Suppose 5*b = 5*q - 4 - 16, 0 = -5*b + 4*q - 16. Let x = 25 - -28. Suppose l + b*a - x = -a, 0 = -a + 4. Is l a composite number?
True
Let s = 19 + 8. Is -2 + s + (-1 - 1) composite?
False
Let a = -38 + 256. Suppose 5*o - a = 47. Is o prime?
True
Let y(h) = h**3 - 11*h**2 + 4*h - 1. Let z be y(11). Suppose 0*v + z = v. Suppose 0 = -k - 4*j + v, 0 = 3*k - 2*j - 114 - 29. Is k a composite number?
False
Let b be (4 - 2)/((-4)/(-6)). Is (-3346)/(-21)*b/2 prime?
True
Let g be 6/(6/(-40)*2). Suppose -3*f + 6 - 36 = 0. Let o = f - g. Is o composite?
True
Suppose d - 4 = 0, -2*r - 3*r + 697 = -2*d. Suppose -u = -4*u + r. Is u composite?
False
Let r = -679 - -1388. Is r prime?
True
Suppose 2*w - 2 + 4 = 0. Suppose 4 = -3*f + 2*o - 3, -4*f = -2*o + 6. Is f - 3 - (w - 7) prime?
False
Let j(v) = -v**3 + 3*v**2 - 3*v**2 + 2 + 9*v + v**2 + 3. Let r be j(7). Is (-4)/6 + r/(-6) a prime number?
True
Is 2 + (-33021)/(-15) + (-8)/20 composite?
False
Is (14 - 3 - -2) + 1 prime?
False
Suppose 293 = -0*n + n - 4*r, -3*n - 3*r = -819. Suppose -2*b - n = -3*h, 3 = 5*h + 4*b - 466. Is h a composite number?
True
Let h(z) = 19*z + 5. Is h(8) a composite number?
False
Suppose 2*j = -2*k + 16, -5*j + k + 2*k = -32. Is j a prime number?
True
Suppose -v + s + s = -2237, -2237 = -v + 5*s. Is v a composite number?
False
Is 1989 - (-10)/(-1 - 4) prime?
True
Let z(k) = 14*k**2 - k - 13. Is z(12) composite?
True
Suppose 3*b - 28 + 106 = 0. Let g = b - -75. Is g composite?
True
Let k(d) be the first derivative of -20*d**2 - 3*d - 1. Let n be k(-7). Suppose -4*v + 1090 - n = 5*b, b = 3*v + 155. Is b a prime number?
False
Suppose -d + 21 = 2*d. Let c = d - 6. Is (-3 - 16/c)*-1 a composite number?
False
Suppose -4774 = -2*a - 912. Is a a composite number?
False
Let p(g) = g**2 + 4*g - 8. Let j be p(-6). Suppose -70 = 2*d - j*d. Is d prime?
False
Suppose 5*q = -2*q + 742. Is q a composite number?
True
Let d = 226 + 765. Is d a composite number?
False
Let c(h) = h - 18. Let k be c(0). Let y = -3 - k. Is y prime?
False
Let x(k) = -k**3 + 10*k**2 - 3*k - 17. Is x(9) composite?
False
Suppose -i + 10820 = 4*b, 3*b + 6*i - 2*i = 8115. Is b composite?
True
Let m(g) = g**3 - 15*g**2 + 12*g + 3. Let a be m(14). Let w = 114 + a. Is w composite?
False
Let g = 184 - -1215. Is g a composite number?
False
Let t be 4 - 5 - (-5)/(-1). Let v(p) = -p**2 - 6*p + 10. Is v(t) prime?
False
Let c(j) = 7*j**2 - 8*j + 3. Is c(18) composite?
True
Let o = 3 + -2. Let j(t) = 1 - 4 + 2 + 0 + 132*t. Is j(o) a prime number?
True
Let l(t) = t**3 + 7*t**2 + 7. Let p(x) = x**2 + x. Let v(g) = -g**3 - 5*g**2 + 4*g + 1. Let b(y) = -3*p(y) + v(y). Let n be b(-8). Is l(n) prime?
True
Let l(r) = 12*r**3 - 4*r**2 + r - 2. Is l(3) composite?
True
Let b(w) = w**2 - 8*w + 10. Let s be b(7). Let x(m) = -m**2 + 3*m. Let k be x(s). Suppose 0 = n - 6 - k. Is n a prime number?
False
Is -257*(2 + 0)/(-2) a composite number?
False
Let a(v) = -v - 1. Suppose -4*g = 3 + 9. Let p be a(g). Is (4 - -264) + -5 + p composite?
True
Let n be -1*(-4)/(4/(-21)). Let o = 34 + n. Is o a prime number?
True
Suppose 6*a = 17489 - 3587. Is a a prime number?
False
Let h be 6/(-4)*(-4)/6. Let a be (-5)/(2*h/(-2)). Suppose a*f - 335 = -3*i - 2*i, -5*f = 2*i - 128. Is i prime?
False
Let x(z) = 10*z + 9. Suppose -c + 9 = 1. Is x(c) a prime number?
True
Suppose 790 = 5*l - 0*l. Is l a prime number?
False
Let d = 141 - -82. Is d prime?
True
Let a(q) be the second derivative of q**5/20 + 5*q**4/6 + 4*q**3/3 - 7*q**2/2 - 2*q. Let x be a(-9). Suppose -3*j = x*j - 185. Is j prime?
True
Let j(m) be the second derivative of 3/2*m**2 + 3/2*m**3 + 0 - m + 1/12*m**4. Is j(7) a composite number?
True
Let j(c) = -31*c - 4. Let u be j(-3). Suppose -5*p + u = -4*p - v, -2*p + 178 = -4*v. Is p composite?
False
Let q = 61 + -4. Let d be (0 + -16)*(-20)/(-16). Let w = q + d. Is w prime?
True
Let x = 274 - 102. Suppose 3*y + x - 1066 = -3*z, 4*z - 3*y - 1213 = 0. Is z a prime number?
False
Let z(v) = -v**3 + 3*v**2 + 10*v - 1. Let p be (-16)/64 - 19/4. Is z(p) a prime number?
True
Let d(y) = 1801*y**2 - 2*y - 2. Is d(-1) a prime number?
True
Let o = 0 - -5. Suppose 3*f - 3 = 0, 0 = -3*v + 5*v - o*f - 9. Is v composite?
False
Suppose 0*a - 5*a - 25 = 0, -g + 132 = -a. Is g a composite number?
False
Suppose 2*g - 3*d = 107, 123 = -0*g + 3*g + 3*d. Suppose g = -o + 3*o. Is o composite?
False
Let p be 1*(0 + (-2)/(-1)). Is -2 - p/(4/(-258)) prime?
True
Let c = 1 - -3. Suppose b = -5*n + 7, -3*b - 3 = c*n - n. Suppose -57 = -l - n*l. Is l a prime number?
True
Suppose -2 = -4*p + 2, -4*p = -f + 389. Is f prime?
False
Let g = 2 - 0. Suppose -5*o + 393 = -0*o - g*u, -3*o - 3*u = -240. Is o a prime number?
True
Suppose 4*m + v = 17, -6*v - 5 = -2*m - 3*v. Suppose -148 = -m*h + 84. Is h prime?
False
Suppose 2181 - 6305 = -4*p. Is p composite?
False
Let w(a) = 3*a**3 + 2*a**2 - 1. Let n(i) = i**3 - i**2 + 2. Let t be n(2). Suppose 0 = -5*r - 1 + t. Is w(r) prime?
False
Suppose -506 = -d + 381. Is d prime?
True
Let j = 7 - 4. Suppose q + j = 2*q. Suppose w = -3*w - 2*r + 142, 126 = q*w - 5*r. Is w prime?
True
Let b(n) be the third derivative of n**6/120 + n**5/5 - n**4/4 - 4*n**3/3 - 3*n**2. Is b(-11) a prime number?
True
Let g = 1 - -3. Let y be 1/3 + (-1486)/(-6). Suppose y = g*l - 0*l. Is l prime?
False
Suppose 2*c - 1663 = -5*r, 3*c - 3*r = -r + 2485. Is c composite?
False
Let q be (0/1)/(-1 - -3). Suppose q = -x - 3*a + 94, 2*a - 105 = 3*x - 332. Is x a composite number?
False
Suppose 5*t = -3 + 103. Suppose 0 = 5*a - s - 16, -3*s - 4 = s. Suppose -t + 2 = -a*i. Is i composite?
True
Let l(k) = 16*k**2 - 9*k + 26. Let d(p) = -3*p**2 + 2*p - 5. Let g(v) = 11*d(v) + 2*l(v). Let j be g(2). Is j*87 + 1 + -1 a composite number?
True
Let w(r) = -2*r**3 - 23*r**2 - 16*r - 39. Is w(-16) a prime number?
True
Let f(c) = -4*c - 12. Let q be f(-8). Suppose -q = -g + 1. Is g a composite number?
True
Let w be -1 - 2/(-2 + 0). Let d(m) = -3*m**2 + 3*m - 134. Let r(a) = -a**2 + a - 67. Let v(t) = 2*d(t) - 5*r(t). Is v(w) a prime number?
True
Let j = 3323 - 1722. Is j prime?
True
Suppose -4*s = -1101 - 9423. Is s a prime number?
False
Suppose 0*m + 243 = -3*m. Let s = m + 172. Is s a composite number?
True
Let p = 8 - 6. Let v(w) = -p*w + 3*w + 41 + 24. Is v(0) a prime number?
False
Let l = -6973 - -3857. Let b = -1645 - l. Is b a prime number?
True
Let l be (-326)/(-2) + 1/1. Suppose -4*j + l = 44. Suppose 0 = 5*q - 100 - j. Is q prime?
False
Let m = 36942 + -25079. Is m a composite number?
False
Let m = 7 + -3. Let u = m - 0. Suppose -u*f + 485 + 159 = 0. Is f a composite number?
True
Is -1 - 6/27*15*-2019 prime?
False
Let l be -1 + (10 + 2)/3. Suppose 1140 = l*q + 3*v, -763 = -2*q + v - 0*v. Suppose -q = -6*s + 3*s. Is s a prime number?
True
Let o(l) = -l + 1. Let a(y) = 16*y + 10. Suppose -2*i + 18 = 2. Let s(b) = i*o(b) - a(b). Is s(-2) a prime number?
False
Let u(t) = -106*t + 5. Let l(a) = a**2 - a - 6. Let n be l(0). Is u(n) prime?
True
Suppose 3*m + k = 15, -4*k - 9 = -k. Let r be (2/(-4))/((-14)/336). Is ((-117)/r)/(m/(-16)) composite?
True
Suppose o = -3*g + 11, 6*g - 8 = 3*g - 4*o. Is 318/g*42/9 a composite number?
True
Let n(i) = -i**2 + 6*i. Let b be n(6). Suppose -5*j = -b*j, o - 118 = -3*j. Is o composite?
True
Suppose -5*d = 4*j + j + 15, -2*j = -2*d + 6. Suppose 3*p + d = -3. Is (-326)/6*3/p a composite number?
False
Let d(b) be the second derivative of b*