 5*k - 136. Let i = p - 0. Is i a prime number?
False
Let p = 2 - 2. Suppose t = -p*t + 3. Suppose 48 = c + h, -3*c + t*h + 113 = -25. Is c a prime number?
True
Let u(x) = -3*x - 3. Let i be u(-2). Suppose i*v - 76 = v. Is v a composite number?
True
Let a(y) = y**3 - 4*y**2 - 4*y + 3. Let o be a(5). Is 6/(-24) + 1066/o a prime number?
False
Suppose 4*w - 57 = 7. Suppose -7*a + w = -3*a. Suppose 265 = a*n + n. Is n composite?
False
Let s = 7 - 6. Let n(y) = 54*y - 1. Is n(s) composite?
False
Suppose 0 = 2*i + 19 + 227. Let j = -225 + 157. Let o = j - i. Is o a composite number?
True
Let z = 2144 - 309. Is z a prime number?
False
Let z = -13 - -10. Is 0 + (126 - (z + 2)) prime?
True
Suppose 5*j + 127 = -3*z, -3*z + 103 = -5*j - 0*z. Suppose -t + 27 = -15. Let y = t + j. Is y composite?
False
Let j be 2/(3 - 25/9). Let x = -7 + j. Suppose 0 = 3*a - x*a - 77. Is a prime?
False
Let g = -153 - -448. Is g prime?
False
Let o(t) = -4 - 1 - 4*t + 12*t**2 + 2. Is o(-2) a prime number?
True
Let p be -3*-3*(-2)/(-9). Suppose -p*i = 4*q - 72, -6 = 2*q - 4*q. Suppose -s + i - 5 = 0. Is s a prime number?
False
Let i = 0 + -1. Let j be 0 - 0/i - -12. Is ((-231)/j)/(1/(-4)) composite?
True
Let h be 2/(-3)*(0 + -42). Suppose 0 = -4*m + 5*z + 445 + 32, -3*z - 580 = -5*m. Let t = m - h. Is t a prime number?
False
Let t = -80 + 177. Is t a prime number?
True
Suppose 58 = -7*i + 387. Is i a composite number?
False
Suppose -1 = -3*m - 43. Let f = m - -21. Suppose 4*u = -2*w + 4, 20 = -f*u + 2*u. Is w a prime number?
False
Suppose 6*v - 9 = 2*v + i, -5*v + 3 = -4*i. Suppose -v*s + 462 = 162. Is s - (-5 - (-6)/3) composite?
False
Let k(w) = -4*w**3 + 13*w**2 + 4*w - 2. Let n(g) = g**3 - g. Let v(l) = -k(l) - 6*n(l). Is v(-9) composite?
False
Let v = 26 + -7. Is v a prime number?
True
Let v be (-2 - (-6)/4)*-6. Suppose -v*q + 297 + 112 = -4*l, 0 = -2*q + 5*l + 282. Is q a prime number?
True
Let y(v) = -3*v**3 - 6*v**2 + 4*v + 6. Let c be y(-6). Let w be (c/(-8))/(1/(-4)). Is w/3*2/6 prime?
True
Let a(y) = y**3 - y**2 - 6*y - 3. Is a(6) prime?
False
Suppose 5*m - 3*g = -4*g + 13, 2*m - 5*g + 11 = 0. Suppose -m*r + 374 = -156. Is r a prime number?
False
Suppose 3*a = -4 - 11, 0 = -5*f - 5*a. Suppose c - 289 = -5*q - 2*c, -2*q + f*c = -128. Is q a prime number?
True
Suppose 553 = o - 2344. Is o a composite number?
False
Let w = 1053 + -76. Is w prime?
True
Let t(v) = v**3 + 4*v**2 + v - 2. Let f be t(-3). Suppose 23 = z + f. Is z a prime number?
True
Suppose 284 - 96 = 2*a. Is a prime?
False
Is (-2 + (-3003)/(-2))/(2/4) a prime number?
True
Suppose 11 = -4*t + 31. Let m = 78 - t. Suppose 0 = -0*x - 3*x - 2*p + m, x = p + 21. Is x prime?
True
Suppose 4 = d - 0. Suppose -3*t = -0*i + 4*i - 764, -i = -d*t - 191. Is i composite?
False
Let k(i) = -i**3 - i**2 + i - 2. Let l(p) = -p**2 + p + 1. Let o be l(-2). Is k(o) a composite number?
True
Suppose 5*s = 5, 4*s + 63 + 1228 = 5*m. Is m composite?
True
Let l be 2*-93*(-3)/6. Suppose 17 = -4*y + l. Is y a composite number?
False
Let x(b) = -3*b + 1. Let m be x(-1). Suppose 2*d + 5*k = -m, -5*d - 4*k + 5 = k. Is d prime?
True
Suppose -10 = -5*y - 0*y. Suppose -4*a = -2*w - a - 6, 4*w - y*a = -12. Is 6/(-2*w/39) a prime number?
False
Suppose 2*s - s - 5*c = 152, -3*c = -3*s + 396. Is s composite?
False
Suppose -3*u = -5*u + 60. Suppose -3*n = 2*n - u. Suppose -43 = -2*v + 3*f, v + 0*v = -4*f - n. Is v a composite number?
True
Is (611/39)/((-68)/(-66) + -1) prime?
False
Let n(p) = -p - 1. Let u be n(-3). Suppose 15 = -v + u*v. Is v composite?
True
Suppose -5*t + 4*m = -1315, 2*t + 2*m - 789 = -t. Suppose b + t = 2*a, 4*a - 5*b = -b + 524. Suppose -2*n = -6*n + a. Is n composite?
True
Let t = -7297 + 12966. Is t a prime number?
True
Let k = 2804 - 1827. Is k a composite number?
False
Suppose -4*u = -k - 761, 5*k = 2*u + 4*k - 379. Is u prime?
True
Let y = -13 - -7. Is 9 + y + (65 - 1) a prime number?
True
Let u(x) = x**3 + 4*x**2 - 2*x - 5. Let i be u(-4). Suppose n = 3*a - 25, 3*a + i*n - 12 = 21. Suppose a = 3*k - 33. Is k a prime number?
False
Suppose 2*v - 200 - 256 = 0. Suppose -2*p - 3*p + 222 = 3*o, -3*o - v = -5*p. Let n = p - -104. Is n composite?
False
Let r = 1613 + -982. Is r a composite number?
False
Let h(p) = -p**3 + 8*p**2 - 6*p - 6. Let r be h(7). Is (-144)/(-6) - (r - -2) a prime number?
False
Let n be (-73)/(-5) - (-6)/15. Let r = n + 24. Is r composite?
True
Is (-852)/24*(1 - 5) a composite number?
True
Let h(t) = 41*t - 4. Is h(5) a composite number?
True
Let r(u) = -2*u - 8. Let v be r(-6). Suppose 4*b = -3*o - 23, v*b = 2*o + 2*o - 16. Let m = 12 + o. Is m prime?
True
Let q = 1944 + -1102. Suppose 0 = 3*z - 4*z + 4*m + 219, m = -4*z + q. Is z composite?
False
Let u(c) = -c**2 - c - 1. Let h be u(-1). Is h*(-1 + 1) + 67 composite?
False
Suppose -5*c + 14 - 2 = l, -2*l = 4*c - 18. Let x = -4 + l. Suppose 5*p - 31 = x*a + 41, a = -2*p + 31. Is p a prime number?
False
Let o = 798 - -1807. Is o composite?
True
Let h(d) be the third derivative of -2/3*d**3 - 49/24*d**4 + 0*d + 0 + d**2. Is h(-3) prime?
False
Let c = -208 - -317. Let f = c + -74. Is f a composite number?
True
Let o(b) = 2*b**2 + 3*b + 4. Is o(-5) composite?
True
Let y = 378 - 215. Is y a composite number?
False
Is ((-2)/2)/(20/(-4980)) a prime number?
False
Suppose -c - 5 = 0, 2*x - 2*c - 896 = -0*c. Is x composite?
False
Let y(w) = 24*w**2 - w + 1. Let x = -3 + 4. Let n be y(x). Suppose -2*d = -110 - n. Is d prime?
True
Suppose 4*d + 5*v = -5, -2*d - 6*v + 4*v = 0. Suppose d*l = 2*l + 3. Is (-2 + 13)/(l/7) prime?
False
Suppose 3*c = 15, r + 29 = -2*r + c. Let o(s) = 4*s**2 + 2*s**3 - s**2 + 4*s**2 - 10 - 10*s - s**3. Is o(r) a prime number?
False
Let z(u) be the second derivative of u**4/12 + 5*u**3/6 - u**2/2 - u. Let o be z(-5). Is (-684)/(-30) - o/5 prime?
True
Suppose -2*l = -4*k - 122, 15 = -5*k - 10. Is l a prime number?
False
Let j(x) = -x**3 - 5*x**2 + 6*x + 1. Let w be j(-6). Let l = 11 + -22. Is (l/(-2))/(w/2) composite?
False
Let s = -3 - -4. Suppose -t - s + 4 = 0. Suppose -t*h + 20 = 2*u, -4*u - 4*h + 57 = u. Is u prime?
True
Let x(q) = -q**2 - 9*q + 2. Let c be x(-9). Suppose -5*u + 26 = -4*i, u + c*i = -0*u - 6. Suppose -4*n = -u*n - 118. Is n composite?
False
Let w = -20 - -39. Suppose -k = 4*g - 2*k - 53, -4*g + 5*k = -73. Let z = w - g. Is z a composite number?
False
Suppose 3*z = 39 + 117. Let v(y) = -y**3 + 6*y**2 + 8*y - 7. Let b be v(7). Suppose 4*k - z = -b*k. Is k a prime number?
True
Let s(o) = -2*o**3 + 2*o**2 - 3*o + 3. Let i be s(-4). Let y = 260 - i. Is y a composite number?
True
Suppose -5*u + 375 = -3610. Is u a composite number?
False
Let i(k) = 566*k**3 + 5*k**2 - 5. Let x(j) = -189*j**3 - 2*j**2 + 2. Let d(s) = 3*i(s) + 8*x(s). Let g be d(1). Suppose -3*z + 0*z + g = 0. Is z prime?
False
Let v = -2945 + 4500. Is v composite?
True
Is (-1676)/(-10)*(-25)/(-10) a composite number?
False
Let l(j) = 39*j**2 + 2*j + 4. Is l(3) prime?
False
Let v(i) = -2*i - 2. Let w be v(-2). Is 255/w + (-2)/4 a prime number?
True
Let k = -187 + 266. Is k composite?
False
Is 624 - 8/4 - (4 - 5) prime?
False
Suppose 4*h + 4068 = 4*k, 451 - 1477 = -k - 2*h. Suppose -6*d + 2*d - 4*p = -k, -5*d + 1267 = 3*p. Is d a composite number?
False
Let a(y) = -y - 102. Let k be a(0). Is (k/(-4))/(1/2) a composite number?
True
Let w be (7 + -8)/(2/(-12)). Is 40/w*3/2 a prime number?
False
Is (-27052)/(-10) + 0 + 14/(-70) a prime number?
False
Is 2/9 - ((-471392)/36)/8 a composite number?
False
Let v(t) be the second derivative of t**4/6 + 11*t**2/2 + t. Let i = -52 - -62. Is v(i) a prime number?
True
Let c(u) = 62*u**2 - 28*u + 5. Is c(-9) prime?
True
Let p(i) = 2*i**2 - 7*i - 6. Suppose 2 = -3*u - 19. Is p(u) composite?
True
Let x = 235 + 253. Suppose 4*j - 304 = -4*f, 2*j - 94 = 5*f - x. Let k = f + -11. Is k prime?
True
Suppose -4*c + 0*c = -100. Suppose 0*t = 5*t - c. Suppose 46 = 6*s - t*s. Is s a composite number?
True
Let x = 0 - -4. Suppose j = -3*v + 98, -x*v + 0*j + 128 = 4*j. Is v prime?
False
Suppose -17 = -4*t + 3*g - 4, 0 = 2*t - 3*g - 5. Suppose t*y + 3 - 23 = 0. Suppose 4*n = 3*n - 3*v + 27, n - 11 = y*v. Is n prime?
False
Let w = -32 - -53. Is w a composite number?
True
Let m(j) = 7*j**2 - 7*j - 1. Let a be m(-3). Suppose -5*y = 3*d