Let k be 1/a*(-6 + 0). Let l(c) = 20*c**2 + 3*c - 3. Is l(k) a composite number?
False
Let r(t) = t**2 - 2*t + 191. Suppose 8*w = 10*w. Is r(w) a prime number?
True
Let a(z) = -z**3 + 15 - z + 7*z**2 + 4*z**2 - 3. Let u be a(11). Is 2 - 1 - (-25)/u composite?
True
Let t = -4 + 7. Let y(x) = -3*x + x**t - 4*x**2 + x**3 + 4 + 2*x. Is y(3) composite?
False
Suppose 3*l - l - 4*v - 194 = 0, 3*l - 2*v - 307 = 0. Let r = l - -62. Is r a composite number?
False
Let c(s) = 3 - 2 + 18*s + 4*s - 2. Is c(1) prime?
False
Suppose 0 = o - 47 - 54. Suppose -o = -3*u + 3*x + 13, -x = 4*u - 152. Is u composite?
True
Let a = -6 + 7. Is a*-4*388/(-16) a composite number?
False
Let r be 4/2 + 203 + 1. Let v = -69 + r. Suppose 0 = -0*c - 4*c + 5*a + v, -96 = -3*c - 3*a. Is c composite?
True
Let u = 15 + -3. Suppose 3*g - 3*z - 332 = -2*z, -5*z + 5 = 0. Is 2/(u/g)*2 a prime number?
True
Let h be (-15)/5*(-1)/(-3). Is (0 + h)/((-2)/638) composite?
True
Let h(y) = 8*y + 6. Let k be h(5). Let a = k + -31. Is a a prime number?
False
Let d(m) = 12*m**2 + 8 - 20*m**2 + 5*m - m**3 + 3*m**3. Is d(7) composite?
False
Suppose 4*x + 498 = -2*l - 290, 0 = -2*x + 10. Let c = -65 + l. Let a = -210 - c. Is a a prime number?
False
Let i = 326 + -208. Is i composite?
True
Let b(x) = -6*x - 1 + 7*x**2 - x**3 - 4 + 4. Is b(5) prime?
True
Suppose -641 = 2*k + 359. Is (-1)/3 - k/6 prime?
True
Suppose -2*s + 222 = -0*s. Is s prime?
False
Let x(k) = -20*k**2 + 2*k + 9. Let d(g) = -g - 9 + g + 8 + g**2. Let i(q) = -6*d(q) - x(q). Is i(-2) a prime number?
False
Let a(x) = -x**3 - 4*x**2 - 5*x - 4. Let r be a(-3). Suppose -218 = r*o - 4*o. Is o a composite number?
False
Let x(l) = -l**3 - 2*l**2 + l + 4. Let n be x(4). Let t = n - -124. Is (-2301)/(-27) + (-8)/t prime?
False
Let n = 78 + 9. Is n composite?
True
Let n be (516/(-15))/((-4)/(-20)). Is 3/(-2)*n/3 prime?
False
Suppose -3*i = -0*i - 12. Is i/18 + (-9373)/(-63) a prime number?
True
Let l(f) be the first derivative of -f**4/4 - 7*f**3/3 - 5*f + 3. Let h be l(-7). Is 1 + 22 - 10/h a composite number?
True
Let m(l) = 17*l**2 - 6*l + 34. Is m(-9) a prime number?
False
Let j = -22 + 134. Suppose 3*z + b - j = 0, -3*z - 2*z - b = -186. Is z prime?
True
Is 26/(-195) - (-7774)/30 prime?
False
Suppose -10 = -4*c + 34. Is c composite?
False
Let o = 4 + -5. Let t be -1 + o + 3 - 30. Let i = 6 - t. Is i composite?
True
Let o be 2/6 - (-13)/(-3). Let d(b) = 3*b**2 + 4*b + 5. Is d(o) a composite number?
False
Suppose 0*h - 357 = -3*h. Is h prime?
False
Suppose -2*m + 102 = m. Suppose -m = -2*o + 2*x, -3*x = -2*o - 2*x + 36. Is o a prime number?
True
Suppose 23 = 3*l - 5*u, -3*l = -5*l - 5*u - 18. Is 47 + (-3)/3 + l a prime number?
True
Let h be -34*((-47)/2 - 0). Suppose 2*k - 195 = h. Is k composite?
True
Let s(q) = 83*q - 1. Is s(6) a prime number?
False
Let w = 16 + 31. Let n = w - 24. Is n a prime number?
True
Suppose -2*v = -b - 0*v + 5, b - 5*v - 17 = 0. Let u = -11 + 10. Is b - ((-89 - 2) + u) a composite number?
False
Let l = 311 - 88. Is l a composite number?
False
Suppose -99 = l - 4*l. Is ((-2134)/l)/((-2)/3) composite?
False
Let v(c) = -2*c**3 - 6*c**2 - 5*c + 1. Let q be -1*(-3)/(-3)*9. Let s = 5 + q. Is v(s) composite?
False
Suppose 12 = -5*r - 43. Let t = r + 15. Suppose -3*z + 145 = 2*k - 0, 0 = -4*k - t. Is z prime?
False
Suppose k - 4*a - 399 = 290, 0 = 5*k + 5*a - 3345. Is k a prime number?
True
Let r(z) = -12*z**3 + 2*z - 1. Is r(-2) prime?
False
Suppose 0 = -t + 2*t - 97. Is t a prime number?
True
Let o(x) = -5*x + 1 + 23*x + 6*x. Let z be (-3)/(-2)*(-10)/(-3). Is o(z) prime?
False
Let b be -5*2 - 1*-2. Is 1/(-2) + (-412)/b a prime number?
False
Suppose -2*c = -c - 479. Is c composite?
False
Let u = -140 - -351. Is u composite?
False
Let d(h) = 14*h. Let l be d(1). Is ((-12)/l)/((-2)/14) prime?
False
Suppose 9 = 2*n - 1. Suppose -5*l = n*v - 70, 2*v = -3*l - 28 + 69. Is l a prime number?
True
Let v(c) = 9*c**3 + 4*c**2 - 3*c + 13. Let r(i) = -17*i**3 - 8*i**2 + 6*i - 25. Let z(o) = -6*r(o) - 11*v(o). Is z(3) composite?
True
Is (-24)/(-16)*(-1916)/(-6) a composite number?
False
Let t = 316 + -64. Suppose -5*g = -3*k + t, g + 3 + 0 = 0. Is k a composite number?
False
Suppose -5*v - 25 = 0, -v = 3*g - 104 - 65. Is g a composite number?
True
Suppose 0 = -5*p + 2*t + 5, -5*t = -2*p - 13 - 6. Let h(i) = 4*i**3 - i**2 - i - 7. Is h(p) prime?
True
Let f be (-6)/3 - (13 + 0). Is 6/(-15) - 1011/f a composite number?
False
Let t(m) = -3*m. Let i be t(-2). Let s be (40/i)/((-2)/12). Is 1/(-1)*(s - 3) a composite number?
False
Let b be 4/22 - (-60)/33. Is (b - -5)/((-2)/(-10)) a prime number?
False
Suppose 0 = 4*k - 7 - 5. Suppose k*p = 5*l - 817, 20 = -p - 4*p. Is l a composite number?
True
Suppose 9 = 4*z + 3*t, 2*z - 3*t + 7*t + 8 = 0. Let a be (1 - 1) + (8 - z). Suppose -442 = -a*i - 10*n + 5*n, 4*i = n + 840. Is i prime?
True
Let r = -43 + 174. Is r prime?
True
Suppose -i = 2*i + 5*h - 25, -h - 23 = -5*i. Suppose q - 26 = -5*m - 0*q, -i*m = -q - 24. Is m/(21/9 + -2) composite?
True
Let l(x) be the first derivative of 3*x**5/20 + x**3/6 - x**2/2 - 1. Let v(g) be the second derivative of l(g). Is v(1) a composite number?
True
Let t(g) be the third derivative of -g**6/120 + g**5/60 + g**4/3 + 7*g**3/6 - g**2. Is t(-6) composite?
False
Let k = -4 - -14. Suppose -4*n - 3*h = -5*n - k, -5*n = -4*h + 28. Let p = -2 - n. Is p prime?
True
Suppose -6*f + 30425 = -4189. Is (f/(-27))/((-2)/6) composite?
False
Let x = 966 - 32. Let g = -502 + x. Let w = g + -305. Is w composite?
False
Suppose 4*z = z - 5*q - 28, -5*z - 4*q - 38 = 0. Let d(n) = -n**2 - 5*n + 7. Let f be d(z). Is (0 + -19)*-1*f prime?
True
Suppose -21 = -w - 2*h + 371, 0 = -w + 2*h + 388. Suppose -3*d + w = 3*g, -11 = -3*g + 5*d + 355. Is g a prime number?
True
Let i(u) be the third derivative of u**4/24 + 11*u**3/6 - 3*u**2. Let b be i(-9). Suppose 10 = b*j - 28. Is j prime?
True
Let u = 3 + 3. Suppose y - 4*f - u = 0, 2*f - 5*f = 3. Suppose y - 14 = -2*m. Is m a prime number?
False
Let k be (-16)/(-12)*(-3)/2. Let x be 269 + (k - -1)*1. Suppose 0*o = 4*o - x. Is o composite?
False
Suppose -5*d = 4*j - 67, 3*d + d = -2*j + 56. Suppose d = -2*q + 7*q. Is (-1)/q*(-2 + -151) a prime number?
False
Let v(g) be the first derivative of g**3/3 - g**2 + 5*g - 7. Is v(-6) a prime number?
True
Let y = -1 - 2. Let c(p) be the first derivative of 2*p**3 + p**2 + p + 3. Is c(y) a prime number?
False
Let i be 4/(-20) - 2/(-10). Is 7 - (-1 + -1) - i prime?
False
Suppose -2*r = 1 - 13. Let z(q) = 6*q**2 - 6*q. Let s(v) = v**3 - 1. Let b(p) = s(p) - z(p). Is b(r) a composite number?
True
Suppose c = -0*c + 3. Suppose 0 = 2*m - c*m + 409. Is m a composite number?
False
Is (-15)/10*(-764)/6 prime?
True
Suppose -u - 4 = 2*m, -15 = -3*u - 2*m + 5*m. Suppose 93 + 41 = u*n. Is n composite?
False
Let u be 10*(3 + (-22)/(-4)). Let m = 193 + u. Is m a composite number?
True
Suppose v + 1298 = 2*m - v, 2*v + 3257 = 5*m. Is m prime?
True
Suppose 0 = 3*u - g - 1193, u - 407 = -0*g - 2*g. Suppose 0 = -3*f - 0*f + u. Is f a composite number?
True
Is (-6 - -4)/((-2)/391) prime?
False
Let r be (6/(-5))/(7/70). Is (r/(-30))/((-2)/(-10)) prime?
True
Let g(w) = w + 1. Let z be g(0). Let x(u) = 19*u + 1. Let c be x(z). Suppose -k = k - c. Is k composite?
True
Let q = 364 + -96. Let j be 9*(-1)/3*-1. Suppose j*l = 7*l - q. Is l composite?
False
Let t be 3/2 - 332/(-8). Let m(u) = u**2 - 4*u + 3. Let z be m(7). Let o = t - z. Is o a prime number?
True
Suppose -b = 2*v + 2919, -v - 4*b - 5844 = 3*v. Let f = 2843 + v. Is f a composite number?
True
Let c be (44 + 3)*(-2)/1. Let m = -25 - c. Suppose -12 = 3*d - m. Is d composite?
False
Let y be 2/3 + (-234)/27. Suppose -31 = -2*u + 7. Let z = u + y. Is z a prime number?
True
Suppose -2*y + 3*u - 134 = 0, 0 = y - 6*y - 2*u - 316. Let f = -45 - y. Is f prime?
True
Let z(w) = 5*w + 2. Let m be z(5). Suppose -b - 2*y - 19 = 0, -3*b + 8*b - 3*y + 82 = 0. Let h = b + m. Is h prime?
False
Let g(m) = m**2 + 5*m + 8. Let n = -12 + 5. Is g(n) a composite number?
True
Let c(r) = -r**3 + 6*r - 5. Let t(u) = -3*u**3 + u**2 + 18*u - 14. Let f(y) = 17*c(y) - 6*t(y). Is f(7) a prime number?
False
Let d be -6 - 0 - (-3 - -1). Let y(u) = u**3 + 11*u**2 + 4*u - 5. Is y(d) composite?
Tru