t t = r + 657. Is t a composite number?
False
Let a(o) = 7*o**2 - 5*o - 4629. Let c(v) = 3*v**2 - 2*v - 2315. Let d(g) = 2*a(g) - 5*c(g). Is d(0) composite?
True
Let n be ((-318)/12)/((-1)/2). Let o = n - 18. Is o prime?
False
Let p(y) = 77*y**2 + 2*y + 3. Suppose 5 = -3*v + 4*v. Let x = v - 7. Is p(x) composite?
False
Suppose -6*f + 9*f - 6813 = 0. Suppose 3*c - 1476 - f = 0. Is c composite?
False
Suppose -4853 = -4*t + 6599. Is t prime?
False
Let m be (-33)/12 + (-7)/28. Let n(o) be the third derivative of -o**6/60 - o**5/30 + o**3/6 + o**2. Is n(m) a prime number?
True
Let a be (-4)/(-14)*(8 - 1). Suppose a*q + 20 = -2*q. Let k = 16 - q. Is k a composite number?
True
Let k = -1206 + 1367. Is k a composite number?
True
Suppose 2*w + 200 = 2*v, -5*v + v + 373 = 5*w. Let x = 1212 - v. Is x prime?
False
Let y = 5 - 31. Is (2*1)/(y/(-6123)) composite?
True
Suppose 5*i + 2*k - 43 = 0, -2*k = -5*i - 0*k + 47. Let n(u) = u**3 - 9*u**2 - 3. Let w be n(i). Is w*(2 - (-1925)/(-15)) prime?
True
Let y(l) = 5*l**2 + 5*l - 28. Suppose 5*i + 70 = -2*i. Is y(i) composite?
True
Let l be -2 - -1 - (-5)/1. Suppose 8142 + 8134 = l*x. Suppose 5*w = -254 + x. Is w prime?
False
Suppose -174 = -3*j - 3*m, 3*m - 2 = 2*m. Let z = j + 19. Suppose 0 = 5*i + 25, -2*p + 4*i = -211 - z. Is p a prime number?
False
Let v = -94 + 98. Is v/(-7) + ((-3140)/(-7) - 1) composite?
True
Suppose n - 2*n - x = -22999, 2*n - 2*x - 46014 = 0. Is n prime?
True
Is 2*((3374/(-4))/(-7) + 3) a composite number?
True
Let j be (708/(-27) + (-8)/(-36))*2. Is (j/8)/((-2)/208) + 3 a prime number?
False
Let a = -93817 + 171234. Is a a composite number?
False
Let l(o) = -o**3 + 8*o**2 - 4*o + 8. Suppose 5*g = 4*z - 19, -3*z + 25 - 4 = 3*g. Let h be l(z). Is -1 + h - (2 - 0) a composite number?
False
Let u(i) be the second derivative of i**3/6 - 5*i**2 - 5*i. Let f be u(13). Suppose 2*l + 21 = f*l. Is l prime?
False
Let j(o) = 54*o**2 - 7*o + 21. Is j(8) prime?
False
Let s = -2 + 5. Suppose 5*t - 9 = 2*t. Suppose -2*m + 5*f + 882 = 0, s*m - t*f + 236 = 1577. Is m composite?
True
Let y(b) = -6801*b - 34. Is y(-3) a prime number?
True
Let c(m) = 44*m**2 + 6*m - 1. Let s(n) = 22*n**2 + 3*n - 1. Let l(r) = -4*c(r) + 9*s(r). Is l(2) prime?
True
Let y be 11/2 + (-4)/8. Suppose b - 5*p - 120 = 0, 0 = b - y*b - 2*p + 370. Is b a prime number?
False
Suppose 2*d + 154 = -l, 5*l - d + 0*d = -803. Let s = 253 - l. Is s a prime number?
False
Let u = 16 + -40. Let t = u + 37. Is t a composite number?
False
Let j(n) = 2550*n**3 - n**2 + n + 1. Is j(1) prime?
True
Let j be 4/1 - -4 - 2. Let w be 1/((-4)/j - -1). Suppose -2*a + w*a = 37. Is a a prime number?
True
Suppose 0 = p - 4*h - 726, p + 2876 = 5*p - 2*h. Is p a prime number?
False
Let d(g) = 353*g**2 + g. Let w be d(-2). Let c = w + -419. Is c a composite number?
False
Suppose 23*l - 41*l + 306198 = 0. Is l prime?
True
Let z(q) = 2*q**2 - 2. Let p be z(-2). Suppose 0 = 4*k - p*k. Suppose 3*a + a - 1484 = k. Is a prime?
False
Let d be ((-9)/6 - -2)*0. Let h = 3 - d. Suppose 80 + 83 = 4*m - 3*q, -h*q - 200 = -5*m. Is m composite?
False
Let l(p) = -5 + 2 - p**2 - 7*p - 12*p. Suppose -2*c + 34 = -6*c + 2*z, -2*c + 4*z = 8. Is l(c) a prime number?
False
Let k = 4500 - -14083. Is k composite?
False
Suppose 47*i = 49*i - 2374. Is i a composite number?
False
Suppose 3*o - 3612 = -o - 5*p, -4*p = 0. Let r = o + -490. Is r composite?
True
Suppose -8 = 5*o - 4*c, 3*o = -o + 5*c - 10. Suppose -3*h - i + 8786 = -0*i, h - i - 2922 = o. Is h a prime number?
True
Let o be ((-4)/(-12))/(-3 - 37317/(-12438)). Let i = 3119 + o. Is i a composite number?
True
Suppose 2*o - 51466 = 125*a - 121*a, -25733 = -o + 3*a. Is o prime?
True
Suppose -2*i + 344 = 52. Suppose -i*r - 1340 = -150*r. Is r prime?
False
Let b = 23353 + -14732. Is b a prime number?
False
Let n(p) = 30*p**2 - 2. Let k be n(-3). Suppose -2*o = 3*a - a - 536, -2*a - k = -o. Let f = 447 - o. Is f a composite number?
False
Let w = 46776 - 20185. Is w prime?
True
Let v be (-29648)/(-51) - (2/3)/(-1). Suppose 1177 = 4*i + 5*a, a = 2*i - 3*a - v. Is i a prime number?
True
Let f(x) = x**2 - x - 5. Let y be f(0). Let b = y + 8. Suppose -b*a - 3*j + 94 + 5 = 0, 3*j + 15 = 0. Is a a composite number?
True
Let t be (-321)/3*(1 + -21 + -1). Suppose t = a - 1448. Is a a composite number?
True
Let o = 49 - 46. Suppose o*m - 2295 = -0*m - 2*c, -c = -2*m + 1523. Is m composite?
True
Suppose 5*t + 5*r - 203150 = 0, 4*t - 2*t = 5*r + 81239. Is t a composite number?
False
Let f = -5 + 5. Is (2 - f) + (-4 - -1) - -308 prime?
True
Suppose n - 3*l = 103, -19*l + 21*l = -4. Is n a prime number?
True
Let n(f) = 3*f**3 - 5*f**2 + 1. Let g be n(2). Suppose g*y - 1535 + 0 = 0. Is y a composite number?
False
Let d(b) = 4*b**2 - 5*b - 8. Let n = -17 + 11. Is d(n) prime?
False
Suppose 0 = 3*c - 15*c + 2676. Is c a composite number?
False
Let z(f) = -605*f + 24. Is z(-10) a composite number?
True
Let x(s) = s + 6. Suppose 5*z - 6 = 6*z. Let y be x(z). Suppose -5*i = 0, -4*b + 4*i + 884 = -y*b. Is b a composite number?
True
Let a be (-32)/(-14) - 28/98. Is -2*a/4*-934 a composite number?
True
Let r(q) = -16*q**2 + 9*q - 23. Let m be r(10). Let f = 2998 + m. Is f composite?
True
Suppose 3*m + 3*f = 6435, -2*m - f = -5*f - 4314. Is m a prime number?
False
Let r(w) = 69*w**3 - 4*w**2 + w + 3. Let l be 3/(-12) - (-103)/(-4). Let o = 28 + l. Is r(o) a prime number?
True
Suppose -5*a - 355 - 810 = 0. Let w = a - -373. Is (w/(-12))/((-1)/3) a composite number?
True
Let f = 47288 - 27511. Is f a prime number?
True
Let u = -1255 - -2124. Is u a composite number?
True
Let a(i) = i**3 - 2*i**2 - i. Let f be a(-1). Let l be (-1372)/8 + (-1)/f. Is l/(9/(-3)) + 2 composite?
False
Suppose -5*l + 12638 = -2*b - 40615, 4*b = -3*l + 31957. Is l a prime number?
True
Let k(h) = 691*h + 10. Let a be k(2). Suppose 6*w + a = 22*w. Is w prime?
False
Is 1/((-3 - -2)*-1)*11429 a prime number?
False
Let v(m) = 520*m + 1. Let d be v(3). Suppose f = -z - 0*z + 309, 5*z = -f + d. Suppose -a + z = 14. Is a prime?
False
Suppose 4*m + 378 = -118. Let v = m - 1. Let j = v + 202. Is j composite?
True
Let h(l) = -1719*l + 1. Let a be h(-1). Let r be 1/(-3) + a/12. Suppose 5*z + 2*m = 469, m + 240 = 4*z - r. Is z a prime number?
False
Suppose 0 = -6*w + 490 + 236. Let b = w - -38. Is b composite?
True
Let z = 15 - 28. Let j = z + 15. Suppose -3*r = -5*d - 292, -j*d = -r + 79 + 19. Is r a composite number?
True
Let z(w) = -w**2 - 28*w + 16. Let g be z(-14). Let b be 2/(-4)*(-6)/1. Suppose -b*c + g = c. Is c composite?
False
Suppose 237 = 6*s - 1467. Suppose -6*d + s = -2*d. Is d prime?
True
Suppose 345269 + 125969 = 38*z. Is z prime?
True
Let s(o) = -711*o + 83. Is s(-16) composite?
True
Let f(h) = 2*h**3 + 8*h**2 + 5*h - 1. Let l(c) = c**3 - c**2 - 1. Let g(m) = f(m) - 3*l(m). Let b be (0 + 5)*81/45. Is g(b) prime?
False
Let v(t) = 166*t**2 - 2*t + 13. Is v(3) a prime number?
False
Let l(p) = 5*p**2 - 1. Let k be l(-1). Let f(s) = -2 + 3*s + 3*s**2 + 0*s**2 + 2*s**2 - 4*s**2. Is f(k) prime?
False
Suppose 0 = 2*u + 2*s + 3*s - 73, 0 = u - s - 19. Suppose -4382 = u*n - 26*n. Is n prime?
False
Let k(b) = b - 2. Suppose 2*f - 19 = -3*n, n = -n - 2*f + 14. Let c be k(n). Suppose -4*y - 4*h + 473 = -3*y, c*y - 1440 = -5*h. Is y a composite number?
True
Suppose -2*v = q - 26390, v + 16*q = 21*q + 13173. Is v a prime number?
False
Let f(q) = -9*q**3 - 12*q**2 - 12*q - 28. Is f(-9) composite?
False
Let g(t) = -t - 2*t + 8 - 2*t - 4*t + 1902*t**2. Is g(1) a composite number?
False
Let d be 581 - ((-2)/2 + 5). Suppose -2*s - 719 = -5*j, -3*j + s = j - d. Is j a composite number?
True
Suppose -4*m + 6 = 4*i - 14, 3*m - 36 = 4*i. Let o(l) = l**2 - 6*l - 3. Let y be o(m). Suppose -y = r - 128. Is r composite?
True
Suppose -6*z + z = 4*x - 14547, 4*z = -20. Is x prime?
True
Suppose -q + 206 + 617 = 0. Let l(z) = 5*z**2 + z - 10. Let w be l(-8). Let i = q - w. Is i a prime number?
True
Is (18/(-315)*7)/((-4)/692030) a prime number?
True
Suppose -5*n = y - 492, -3*n - 1518 = -3*y - 4*n. Suppose y - 95 = 4*z. Is z a prime number?
True
Let n(u) = 23076*u + 129. Is n(2) a composite number?
True
Suppose -1180 = -2*v + 1964. Suppose -2*l + v = 4*z, -5*l - 1153 = z - 4*z. Is z composite?
True
Let t(b)