(((-12)/(-10))/(-3)). Suppose -s*t + w + 807 = -3*w, -2*w + 4 = 0. Is t a composite number?
False
Let l = 1323 - 742. Is l prime?
False
Suppose 5*s - 5873 = c + 4768, 0 = -2*s - 3*c + 4270. Is s a composite number?
False
Let a(r) = r**3 - 10*r**2 - 18. Is a(13) prime?
False
Let g = 16 + -1. Suppose -4*r = r - g. Is r/12 + 259/4 a composite number?
True
Let j(q) = q**2 + 5*q + 2. Let o be j(-5). Suppose -2*c = 5*p - 183, o*p = 2*c + 37 + 25. Is p prime?
False
Suppose 0 = -3*q - 2*q + 10. Let r(l) = -19*l + 1. Let p(m) = -18*m + 1. Let n(f) = -7*p(f) + 6*r(f). Is n(q) a composite number?
False
Let s(h) = h**3 - 4*h**2 - 7*h + 7. Let y be s(5). Is (3/(-5))/(y/165) a composite number?
True
Suppose -3*t = -5*q - 29 + 5, -3*q + 4*t - 21 = 0. Let p = 3 - q. Is p a prime number?
False
Let c(p) = 9*p**2 + 6*p + 6. Is c(-5) composite?
True
Let s be (-1053)/(-15) + 5/(-25). Suppose -5*k = -0*k - s. Is k prime?
False
Let l = 1201 + -855. Is l composite?
True
Let g = 1 - -2. Suppose -2*c = -g*c + 3. Suppose c*p + 10 = 37. Is p a prime number?
False
Suppose -12*l = -11*l - 335. Is l a prime number?
False
Let u(m) = m + 11. Let i be u(-8). Suppose -4*l - 2 = i*a - 6*l, 3 = -3*a + 3*l. Let s(q) = q**3 - q + 34. Is s(a) a prime number?
False
Let n(l) be the second derivative of 65*l**4/6 + l**2/2 - 3*l. Is n(1) prime?
True
Suppose -4*r + 5*w = 5, 7*w = 2*w + 5. Suppose r = -2*b + 6*b - 476. Is b a prime number?
False
Is -1 + 2 - -2*110 a composite number?
True
Is (-4)/(-7) - 54825/(-35) prime?
True
Let q = 34 - 55. Let h = -2 - q. Is h prime?
True
Let s = -95 - -162. Is s a composite number?
False
Let c = 466 - 215. Is c a prime number?
True
Is (127/2)/(9/18) a composite number?
False
Suppose 0*v - v + 3 = 0. Suppose -2*f = -2*q - 8, 3*f - f = -v*q + 8. Suppose f*l + 5 - 145 = 0. Is l prime?
False
Let s(n) be the second derivative of 4*n - 1/12*n**4 + 37/2*n**2 + 1/6*n**3 + 0. Is s(0) a composite number?
False
Let g = 1 + -1. Suppose -w + 3 + 19 = g. Is w prime?
False
Suppose -2*d + 3*d + 3*r = -16, -28 = 5*d + 2*r. Let w = d - -6. Suppose 4*h - 1 - 25 = -2*i, -3*i = -w*h - 15. Is i a composite number?
False
Let u(b) = 0 + 7 - b + 8 - 1. Let y be u(8). Let f(n) = -n**3 + 8*n**2 - 8*n + 2. Is f(y) prime?
False
Is ((-12)/12)/(2/(-1298)) prime?
False
Let w(q) = -q**2 + 8*q + 13. Let a be w(9). Suppose -7*y - 5*v = -2*y - 15, a*y + 3 = -v. Is (-112)/(-6) - y/6 prime?
True
Let k = -1376 - -2435. Is k a prime number?
False
Is (-8582)/(-42) + (-4)/(-6) prime?
False
Let f be 1/((-4)/(-2868)*-3). Let b be (28/1)/((-2)/8). Let u = b - f. Is u a prime number?
True
Suppose -4*q - 46 = -2*m, 3*m - 5 - 14 = q. Let l = 45 + q. Is l a composite number?
True
Suppose -2*g = 4*z - 30, -2*z = -4*g + 6 + 24. Is 3/g + 164/3 prime?
False
Suppose -m = 5*d - 4691 - 231, 1 = -d. Is m prime?
False
Let g be (-1)/2*-6 + 0. Let u(r) = -2 - 1 + 2*r + g*r**2 + 2. Is u(-6) composite?
True
Let s be ((-4)/(-8))/(2/(-4)). Let u be 10/s*(-3)/6. Suppose -5*k - u = 0, -3*i - 4*k + 106 + 391 = 0. Is i prime?
True
Is (-158)/1*3/(-6) prime?
True
Let l = 5 - 7. Is 22 + (l/(-1) - 3) a composite number?
True
Let n be (-1180)/25*5/(-2). Suppose -97 - 38 = -5*g + 4*v, 3*g = -5*v + n. Is g a prime number?
True
Let i = 395 + 259. Suppose -q + 6 = 4*n, 0 = -0*q - 2*q + 3*n + 1. Suppose -5*o = -m - i, 5*o + 75 = -q*m + 732. Is o composite?
False
Suppose -3*d - 5*k - 10 = 0, 4*k + 6 = 5*d - 2. Suppose -4*i - 2*j + 998 = -d*j, -3*i + 744 = 3*j. Is i prime?
True
Suppose 9278 = 2*n - 4*j + 1384, 11843 = 3*n - 4*j. Is n a composite number?
True
Let o = -2979 + 5558. Is o a prime number?
True
Let h = 0 - -5. Suppose h*t + 4*z = 0, 3*z + 9 = 4*t - 22. Suppose -2*y + p + 28 - 7 = 0, t*y + 3*p - 67 = 0. Is y a composite number?
False
Let d be ((-2)/(-4))/1*0. Let v(i) be the first derivative of i**2/2 + 83*i + 4. Is v(d) a prime number?
True
Let d(a) = -a**2 - 4*a - 2. Let k be d(10). Let s = -3 - k. Is s composite?
False
Suppose 0 = 6*j - 5*j + 804. Is (-4)/(-6)*j/(-8) a prime number?
True
Suppose 0*y + 2 = -2*y. Suppose 2*a + 4*b - b = 44, 3*b + 68 = 2*a. Is a/4 - (y - 1) prime?
False
Let g(d) = -4*d - 13*d + 2*d**2 - 3*d**2 + 13. Is g(-9) a prime number?
False
Let u(s) be the first derivative of 5*s**2/2 + 7*s - 2. Suppose -4*z - 2 = -34. Is u(z) composite?
False
Let z be 56/12 + (-4)/6. Suppose -3*j - 2*j = -z*v - 407, 4*j - 325 = 3*v. Is j a prime number?
True
Let w(x) = 145*x + 14. Is w(3) prime?
True
Let o(t) = 32 + 3*t + 56 - 17. Is o(0) prime?
True
Suppose -3*a + 0*a + 51 = 0. Suppose 2 - a = -x. Is x a composite number?
True
Suppose -6*n + 8 = -2*n. Let z = 0 + n. Suppose 3*p + z*p - 245 = 0. Is p prime?
False
Let z be (6/8)/(5/20). Suppose z*f = -5*x + 83, 5*x + 2*f + 55 - 142 = 0. Is x composite?
False
Let a(n) = -n**2 - 4*n + 3. Let r be a(-9). Is 14*(r/(-4) - 2) a prime number?
False
Suppose 0 = 3*b - 5*i - 35, 4*b + 0*b - 4*i = 36. Suppose 0 = 2*w - 2, 0 = b*v + 2*w - 6*w - 151. Is v a composite number?
False
Let s(t) = 8*t**2 - 12. Let l be s(5). Let h = l + -61. Is h a prime number?
True
Let d = 677 + -172. Let a = d + -296. Is a composite?
True
Let o be (-3 - -2) + 4 - 0. Suppose -o*x = 9 - 39. Is (-1 - -11)*x/4 composite?
True
Let q = -38 + -15. Let y = q + -73. Is y/(-10) - (-4)/10 prime?
True
Let b(t) = -t**3 + 2*t**2 + 2*t + 641. Is b(0) composite?
False
Let a(m) = m**3 - 2*m + 247. Let c be a(0). Suppose 3*r = 4*l - 1002, -l - r = -0*r - c. Is l a prime number?
False
Let d be 7/((15/(-108))/(-5)). Is (-1)/(d/(-249) + 1) prime?
True
Suppose 2*x + 2*s = 22, 4*s - 55 = -5*x - 3. Is x/(-12) + 202/6 composite?
True
Suppose -g - 5*y = -40, 4*g - 3*y - 132 = 143. Let m = -13 + g. Suppose -3*s = -7*s + m. Is s a composite number?
False
Let x(p) = 2*p**3 - p**2 + 3*p - 1. Is x(6) composite?
True
Let s(v) = -18*v**2 + 1. Let t(k) = k**2 + 1. Let l(r) = -s(r) - 3*t(r). Is l(3) composite?
False
Let t(n) = 2*n - 6. Let c be t(6). Is -2*(-1 - 27/c) a prime number?
True
Suppose 0 = -p - 20 - 0. Let d be p*(0 - (-6)/4). Let w = 51 + d. Is w a composite number?
True
Is -3 - ((-11)/55 - 238/10) a prime number?
False
Let x = 9 - 5. Suppose 0 = 3*r - 6, -x*c - 2*r + 1018 = -c. Suppose -c = -4*l + 2*g, 2*g = l + 4*g - 87. Is l a composite number?
True
Let k = 1205 - 574. Is k a composite number?
False
Let l(f) = 18*f - 5. Suppose -2*a + 9 = -15. Is l(a) a composite number?
False
Let i = 12 + -21. Suppose 3*m = p + 2*p - 63, 3*p - m = 65. Let d = p + i. Is d a prime number?
True
Suppose -5*r + 5 + 5 = 0. Suppose -4*y + 42 = -r*y. Is y composite?
True
Let o = -7 + 8. Let y be (-6)/(-3)*o - -2. Suppose -p - 30 = -5*h + 211, 3*p = -y*h + 208. Is h prime?
False
Let t(b) = -3*b**2 + b - 1. Let u be t(1). Is 33 - (5 + -2)/u a prime number?
False
Is (131/4)/(-3 - 183/(-60)) a prime number?
False
Let b = -12 + 20. Let o = b + -3. Suppose y + 4*y = -2*j + 13, -o*y = -2*j + 43. Is j a composite number?
True
Let v(z) = -z**3 - 7*z**2 - 3*z + 10. Let b be v(-7). Suppose 3*p = 6*p - g - 29, -2*p + 3*g + b = 0. Is 7/(2*2/p) prime?
False
Let y be (1 + -2)/((-1)/34). Let f = y - 24. Is f a composite number?
True
Let o(g) = -5*g + 10. Is o(-3) prime?
False
Let p(i) = -i - 2. Let b be p(-5). Let a(w) = 13*w**3 - 2*w**2 - 2*w + 4. Is a(b) prime?
True
Suppose -5*k = -6*k + 74. Is k prime?
False
Suppose 203 = o - 3*r, -406 = -0*o - 2*o - 5*r. Is o composite?
True
Suppose 13*y = 21231 - 1198. Is y a prime number?
False
Let x(v) = v**2 - 3*v - 3. Is x(-3) a composite number?
True
Suppose -1486 = i - 3*i. Is i composite?
False
Let h be -5 + (1 - 2)*1. Is 890 - (h/(-2) + -2) prime?
False
Let n be 281 + 1 + 2/(-2). Suppose 4*s - n = j, 0 = -5*s - 4*j + 93 + 274. Is s prime?
True
Suppose -u - 3*u + 6212 = 0. Is u composite?
False
Let m = -178 - -257. Is m composite?
False
Let r = 301 - -1336. Is r a prime number?
True
Is (-4)/10 + 432/5 a prime number?
False
Suppose -5*t = -15, 4*k + 4*t - 1180 = 1524. Is k prime?
True
Let i = 1853 + -1308. Is i a composite number?
True
Suppose p - 31 = -4*v + 63, 3*p = 5*v + 282. Is p prime?
False
Suppose -51 = -2*f - 3*l + 40, f - l - 33 = 0. Let i = 9 + f. Is i prime?
True
Let o = 72 - -85. Is o a prime number?
True
Suppose -2*d + 6 = 2*j, -6 = -4*d + 14. Let o = -5 - j. Let m(f) = -f**3 - f**2 + 5*f + 