 (-1 - -3) + (2 - t) a prime number?
False
Suppose 0 = -h + 3*h. Suppose h*j + 12 = 4*j. Suppose 12 = -j*m + 5*m. Is m a prime number?
False
Let b(u) = u**2 - u. Let v be b(-1). Suppose -3*c = -0*c + 2*r - 279, -2*c - v*r + 188 = 0. Is c composite?
True
Let c = -162 + 539. Is c a prime number?
False
Let x(d) = d**2 + 5*d + 2. Let g be x(-5). Let k be g + 1 + 3/3. Suppose 0 = k*f - 8, 103 = 4*m + f + 9. Is m prime?
True
Let x = 493 - 240. Is x prime?
False
Suppose -11*y - 3 = -8*y. Let x = 20 + y. Is x composite?
False
Suppose 4*d + p - 5*p = 0, 4*p = 16. Let b(r) = 2*r**3 - 3*r**2 + 5*r - 4. Let a be b(d). Suppose 5*i - a - 59 = 0. Is i a composite number?
False
Let a = -22 + 120. Suppose 0 = -5*h + a + 2. Suppose 4*w - 4*r = 52, 2*w = r - 2*r + h. Is w a prime number?
True
Suppose -3252 = -6*w - 378. Is w a prime number?
True
Suppose 2*b + 2*b = 20. Suppose 3*f = b*t + f + 318, 5*t + 330 = 5*f. Let h = t + 109. Is h composite?
False
Let k = -301 - -506. Is k a prime number?
False
Suppose n - 2 = 1. Suppose 49 - 7 = n*q. Is q a prime number?
False
Suppose -5*p + 4*d + 335 = 0, p - 91 = 3*d - 35. Is p a prime number?
True
Let g = -11 - -18. Let k(n) = 0 - g*n - 5*n + 2. Is k(-2) a prime number?
False
Suppose -4*r + 1285 = r. Is r a composite number?
False
Suppose 2*f + 2*m - 579 = -143, 2*f = 5*m + 471. Is f a prime number?
True
Suppose -4*t + 95 = -49. Suppose t + 237 = 3*a. Is a composite?
True
Let q(g) = 11*g**2 + 7*g + 11. Is q(6) composite?
False
Let p(w) = -3*w - 2. Suppose -10 = -3*s + 2, -q - 4*s + 21 = 0. Suppose -3*g + 1 = t - q*g, -3*g = 3*t + 15. Is p(t) a prime number?
True
Let b(k) = 5*k + 2. Let y be b(-3). Let r = -21 - y. Is 60/r*1*-2 prime?
False
Suppose 0*u = -u. Suppose u*z = 5*z - 20. Suppose 0 = z*y, 3*v - 5*y + 30 - 123 = 0. Is v a prime number?
True
Let u = 3 + -5. Let c be (1 - -1)/(u/(-5)). Suppose 0 = -2*n + 2*z + 84, 11 + 4 = -c*z. Is n a composite number?
True
Let a be (-3 + (2 - 1))*-2. Suppose -f = a*z + 11, z + 5*f = -3*z - 23. Is 12*(-22)/z - 1 a composite number?
False
Let o be 856/(-6) + 3/(-9). Let b = 220 + o. Is b prime?
False
Let i(k) = k**2 + 6*k. Let h be 1 + -2 + -2 + 1. Let y be (-14)/(-4)*(0 + h). Is i(y) composite?
False
Let p = 140 + -243. Let t = p + 158. Is t composite?
True
Let v = 1545 - 922. Is v a prime number?
False
Is ((-1542)/(-24))/(1/4) a composite number?
False
Let o(t) = -t - 4. Let i be o(-9). Suppose -330 = 3*f - i*f. Let a = f - 110. Is a a prime number?
False
Is 2/(8/2436*3) a prime number?
False
Let b = -4 + 4. Suppose -16 = -8*f + 4*f. Suppose -o + 90 = -f*i + 5*i, b = -4*i - 4. Is o a composite number?
True
Let m be (1 - 2)*-3 - -420. Let v = m + -218. Suppose -q + 4*q = -o + v, 2*q - 144 = 3*o. Is q a composite number?
True
Let t(w) = w**3 - 58. Let y be t(0). Let d = 204 - 57. Let v = y + d. Is v a prime number?
True
Let o = 2 + 4. Suppose -o = 3*v - 6*v. Suppose g = 2*x - 16, v*x = -x + 5*g + 17. Is x a prime number?
False
Suppose 3*i - 4*i + 4 = 0. Suppose -i*w = -0*w - 764. Is w a prime number?
True
Let r(b) = -b**3 - 12*b**2 + 9*b + 10. Is r(-13) composite?
True
Is 1/(-4 - 8028/(-4012) - -2) a composite number?
True
Let l(g) = -g**3 + 25*g**2 - 10*g + 45. Is l(24) composite?
True
Suppose -m = 4*m - 10. Suppose -m*q + q = p - 58, 4*p = 5*q - 299. Is q a composite number?
False
Suppose -5*s + 127 = 4*u, 2*s + 50 = -3*u + 5*u. Let f be 2*(-6)/4 + 50. Let j = f - u. Is j composite?
False
Let v(b) = 157*b. Let f be v(3). Suppose 0 = 5*y - 1004 - f. Is y a prime number?
False
Is (-20632)/(-4)*(-7)/(-14) a prime number?
True
Let o = -27 - 5. Let v be 284/5 + 5/25. Let f = v + o. Is f a prime number?
False
Let n(m) = -m**3 - 2*m + 505. Let x be n(0). Is 12/78 + x/13 a prime number?
False
Suppose 3*o - 17 + 2 = 0. Suppose d - 4 = -f, 3 = d - o*f - 1. Suppose -u = -d*u + 111. Is u prime?
True
Is 3260 + 3 + (7 - 7) composite?
True
Suppose -l = -2*v + 4*v + 48, -5*v - 3*l - 119 = 0. Let y = -11 - v. Is y a prime number?
False
Let y(m) = -m**3 + 8*m**2 - 3*m + 2. Let s be y(7). Suppose 0 = -d + 1, -2*d + 4 = 3*c - 5*c. Is (s - 0) + c + 2 composite?
False
Let g(u) be the second derivative of -u**6/120 + u**5/20 + u**4/24 - u**2/2 + 2*u. Let x(c) be the first derivative of g(c). Is x(2) a prime number?
False
Suppose 0*d + 2*d = -568. Let w be (11/3)/((-1)/(-78)). Is 1/(d/w + 1) a composite number?
True
Suppose 5*r + 3*y = 445, -4*y = 4*r - 3*y - 356. Is r a composite number?
False
Let f = -1 + -2. Is ((-4)/f)/((-1)/(-3)) a composite number?
True
Suppose -3*g + 403 = q - 2*q, 3*q = -g + 121. Let v = -86 + g. Is v a prime number?
True
Let g(k) = -452*k + 1. Is g(-3) composite?
True
Let v(r) = -29*r + 4. Let c(n) = 58*n - 8. Let l(i) = -3*c(i) - 7*v(i). Is l(3) a prime number?
True
Suppose 0 = -p + 4, -3*w - 3*p + 5*p = -427. Is w a composite number?
True
Let r = -1 - -6. Suppose 3*s + 6 = r*s. Suppose -4*g + 0*g = s*w - 41, -5*w + 17 = 2*g. Is g composite?
False
Suppose 0 = -3*y + 2*y + 2. Suppose 0*v + 2*v - f = y, 1 = v - 5*f. Let g(k) = 7*k**3 + k**2 - k. Is g(v) composite?
False
Suppose 583 = -7*q + 8*q. Is q a prime number?
False
Suppose 0*q - 3*q = -36. Let f be 6/4*32/q. Suppose 342 = f*g - 230. Is g prime?
False
Let q(y) = -12*y**3 + y**2 + y - 7. Is q(-2) a composite number?
True
Suppose 2*v - 1095 = -3*v. Let r = v + -85. Suppose -56 = -2*j + r. Is j prime?
False
Suppose 0*y + 4*y + 5*a = 834, -4*y - 4*a = -836. Is y composite?
False
Let y = 742 - 435. Let w = 518 - y. Is w a prime number?
True
Let g(t) = 2*t**3 + 3*t**2 - 3*t - 3. Is g(4) a composite number?
True
Let v(w) = -w**3 + 7*w**2 + 6*w - 1. Is v(-8) a composite number?
False
Let g = 4368 - -905. Is g composite?
False
Let g be 3/((60/16)/5). Suppose -5*d + g*d = -35. Is d prime?
False
Is (-319)/(((1 - 3)*-1)/(-2)) a prime number?
False
Let i be 18*-101*3/(-9). Let v be i/4 + (-2)/4. Let f = v + -86. Is f prime?
False
Let n = 6 + -4. Let m(r) = r - 16*r + 4*r**3 - 15 - 2*r + 14*r**n - 3*r**3. Is m(-14) a composite number?
False
Let w = 49 + 73. Suppose 82*q = 84*q + 174. Let b = q + w. Is b a composite number?
True
Let p = 2048 + -363. Is p composite?
True
Let p(w) be the second derivative of w**5/6 + w**4/12 - w**3/6 + w**2 + w. Let v(k) be the first derivative of p(k). Is v(-2) a composite number?
True
Let v(t) = -t**2 + 4*t - 1. Let z be v(3). Let n be -3 - 1/z*-26. Is n/(4*(-1)/(-22)) composite?
True
Let g be 9/(-2)*16/12. Let i = g - -7. Is 3/(3*i/159) prime?
False
Suppose -2*w = 3*u - 754, 0 = -4*w + 3*w + 3*u + 359. Is w a prime number?
False
Suppose -3 + 12 = -3*r. Is (-1)/(r/75) + -2 a composite number?
False
Let r = -2553 - -5588. Is r composite?
True
Suppose -6*c - 5*w + 1050 = -c, 0 = c + 4*w - 207. Suppose 0*v - 4*v = p - 527, -3*v - 5*p + 391 = 0. Let y = c - v. Is y composite?
False
Is ((-24)/(-9) + -4)*3 + 1121 a composite number?
False
Let b = -2 + 4. Suppose 6*d + 108 = -5*x + b*d, -5*x - 2*d - 114 = 0. Let q = -17 - x. Is q a composite number?
False
Let v(i) = -i**3 + 3*i**2 + 6*i - 5. Let w be 1*2 - (2 - 4). Let r be v(w). Suppose -5*c = -r*g + g - 44, 0 = 3*c - 3*g - 21. Is c a composite number?
True
Suppose 4439 = 5*f + d, 6*f - 5*d = 11*f - 4455. Is f composite?
False
Is (3542 + 2)/4 - -3 composite?
True
Let x = 1 + 1. Suppose -x*c + 28 = 2*k, 4*c - 6 = 5*k + 23. Is c a prime number?
True
Let t = 364 + 417. Is t prime?
False
Let q(k) = -3*k - 19. Is q(-10) a prime number?
True
Let a = -4 + 6. Let u = a - -2. Suppose -105 = u*f - 7*f. Is f prime?
False
Let w be (-3)/(-2 + 44/28). Let m be ((-54)/(-8))/((-3)/(-8)). Suppose -w = -z + m. Is z a prime number?
False
Suppose k + 53 = -4*k - 4*d, 4*d = 4*k + 64. Is -5*(k + -4 - -4) a composite number?
True
Let z(q) = q**3 + 8*q**2 - q. Let h be z(-6). Let i = h - 35. Is i prime?
True
Let y be 1/1 - (3 - -42). Let p(j) = -6*j + 1. Let w be p(2). Let a = w - y. Is a prime?
False
Suppose -5*y + 1 = -9. Let d(o) = -y + 4 - 8*o - 7*o. Is d(-5) a prime number?
False
Let v be (80/(-6) - 2)*-3. Suppose 3*p + v = -3*h - 23, 2*p = -4*h - 54. Let d = 4 - p. Is d a composite number?
False
Suppose -1437 = -m + 428. Is m a composite number?
True
Suppose l = 5*g - l - 25087, -4*g + 5*l + 20073 = 0. Is g prime?
False
Suppose 0 = g + 2 + 4. Let z(k) = -k**3 - 6*k**2 + 1