5*q(f) + t(f). Is g(l) composite?
True
Suppose g - 378 = -z, -4*z + 2*z + 10 = 0. Is g a prime number?
True
Let z = -5146 - -10293. Is z prime?
True
Is (-3)/(-6)*1346 - 0 a composite number?
False
Let t = -17 - -20. Let a be (-1 - 165/(-6))*12. Suppose -5*m + t*m + a = 0. Is m a prime number?
False
Let l be (-6 + 3 - -2) + -25. Let n = l - -65. Is n composite?
True
Is (-1)/4 + (-1378)/(-8) + -9 prime?
True
Is (1187 - -2) + 0 + 2 prime?
False
Let j = 3 + -6. Let c be j/(-2) - 6/(-4). Suppose -4*n + c*n + 37 = 0. Is n prime?
True
Suppose 0 = -2*s + r - 99, 0 = 4*r + 2 + 2. Is 2/(-2) + s/(-1) a prime number?
False
Let n(v) = 3*v - 10. Let x be n(8). Let p = 7 + x. Is p prime?
False
Suppose 3*z - 4*z = 1. Let j(p) = -p + 4. Let y be j(0). Is 2*(y + z/(-1)) prime?
False
Let y = -2 - -6. Let o(k) = 3*k + 2. Is o(y) composite?
True
Let u(p) be the third derivative of 1/5*p**5 + 1/24*p**4 - 2*p**2 + 0*p + 0 + 0*p**3. Is u(-2) a composite number?
True
Let n = -175 - -382. Suppose j = s + n, j + 2*s = 5*j - 832. Is j composite?
True
Let i(t) = 4*t - 4. Let z be i(3). Suppose 4*n + z = -0, -5*f = -3*n - 26. Suppose -f*p = -3*p - 39. Is p composite?
True
Let a be 6066/(-6)*3/9. Let q = 572 + a. Is q composite?
True
Let b(m) = 37*m - 16. Is b(6) a composite number?
True
Let d be (-6)/(-9) - 844/(-12). Let t = -33 + d. Is t a prime number?
False
Let r = -8 - -8. Suppose r*w + 86 = 2*w. Is w a prime number?
True
Let v = -15 + 68. Is v prime?
True
Is 3/(7 + -4)*167 prime?
True
Suppose -3*v + 3 = -0*v + 2*j, 4*j + 21 = 3*v. Suppose -v*x = -x - 384. Suppose 4*d = 5*r + x, 0*d + 4*r = -3*d + 113. Is d composite?
False
Let g be -1*5/((-15)/(-6)). Let p(z) = z + 2. Let j be p(g). Suppose j*a + 7 = a. Is a a prime number?
True
Suppose 4*i = -45 - 39. Let m be (-38)/(-14) + (-6)/i. Suppose m*p + f + 0*f - 155 = 0, 4*p = -5*f + 192. Is p composite?
False
Suppose 3*t = 8*t - 5*k - 95, 0 = 3*t + 3*k - 51. Let m be (t/(-4))/(6/(-16)). Suppose -y = q - m, 3*q = -4*y + 29 + 21. Is y a prime number?
False
Suppose -2*i = 3*i + 3*t - 466, -4*i + 5*t = -358. Let v(b) = -b**2 - 12*b - 18. Let a be v(-10). Suppose -5*n + p + i = 0, -3*p = -a*n - n + 48. Is n prime?
True
Let x(v) = -40*v + 13. Is x(-6) a composite number?
True
Let k(q) = 673*q + 1. Is k(2) a composite number?
True
Let s(v) = 4*v**2 - 3*v + 13. Is s(6) prime?
True
Let a(n) = n**3 + 5*n**2 + 3*n - 4. Let z be a(-3). Suppose 5*c + 4*x = 15, 3*x - 4 = -3*c + z. Let g = 6 - c. Is g a composite number?
False
Let t(f) = 52*f**2 - 4*f - 7. Is t(3) composite?
False
Suppose -4*i + 2*z = z - 6, -5*i - z = -12. Suppose -7*j = -i*j. Suppose -2*o + 3*o + 2 = j, -5*o - 31 = -3*r. Is r prime?
True
Suppose 3*o - 728 = -4*b - 193, -o = -4*b - 189. Is o prime?
True
Let k be 420/2*2/2. Let a = 421 - k. Is a a composite number?
False
Suppose -4*o - 4*m = o - 249, -4*o + 232 = -5*m. Is o composite?
False
Suppose -6*v - 14 = v. Is ((-2022)/9)/(v/3) a prime number?
True
Is ((-2238)/9)/(4/(-6)) prime?
True
Let r = 953 - 558. Is r a composite number?
True
Let t = -1 - -1. Suppose t = -4*d + 491 + 249. Is d prime?
False
Suppose 4*t = 689 + 363. Is t composite?
False
Let s(v) = 3*v + 2. Let i be s(-3). Is ((-58)/4)/(i/98) composite?
True
Let g = -13 - -61. Suppose -r - 5 = g. Let k = r - -106. Is k prime?
True
Suppose 0 = -3*o - 5*b - 13, -5*b - 17 = -3*o + 5*o. Suppose 0 = o*w - 971 + 259. Is w composite?
True
Suppose 3*d + 3*a = -21, d + 3*a - 5*a = 8. Let j be 6*((-11)/d + 3). Suppose -j = -3*p + 3*q + 36, 3*p + 3*q = 111. Is p a prime number?
False
Let m(k) = k. Let j = 120 - 85. Let s(r) = -4*r. Let v(w) = j*m(w) + 5*s(w). Is v(1) a composite number?
True
Let a(w) be the first derivative of -w**4/4 + 5*w**3 - 10*w**2 + 7*w + 10. Is a(13) a prime number?
False
Let d(q) = q**3 - 4*q**2 - 2*q - 2. Let u(p) = 2*p**3 - 12*p**2 - 6*p - 5. Let j(a) = 11*d(a) - 4*u(a). Let f be 2 + (-4 + 3)*-1. Is j(f) a prime number?
False
Let x be 18/4 + (-6)/(-12). Suppose 5*a = 4*m + 228, x*a + 3*m - 249 = -0*m. Suppose -v + 0*i + a = 5*i, 84 = 3*v - 5*i. Is v composite?
True
Suppose 124*t = 119*t + 12590. Is t prime?
False
Let x(p) = -p**3 + 2 + 6 + 9*p**2 - 3 - 6*p. Let w be 24/(-14)*(-7)/2. Is x(w) composite?
True
Let x = 73 - -1. Suppose 0 = -3*k + 5*k - x. Is k a prime number?
True
Let p(o) = o**2 - 7*o - 4. Let y be p(8). Suppose -y*u - 5*j + 79 = 0, 2*u + j + 3*j = 32. Is u a prime number?
False
Suppose -8*w + 9*w = 51. Is w a prime number?
False
Suppose i + 59 - 186 = 0. Is i composite?
False
Let o(t) = 115*t**2 + 2*t - 2. Is o(1) composite?
True
Suppose 3*n = 6*n - 15. Let r = 24 - n. Is r composite?
False
Let v be ((-21)/(-14))/(6/844). Let j = -108 + v. Is j composite?
False
Let l(w) = -w**3 - 6*w**2 - 4*w + 3. Let j be l(-5). Let z = 1 - j. Suppose 3*u - 5*p - 878 = 0, 5*u + 8*p = z*p + 1530. Is u prime?
False
Suppose d = 6*d - 10. Suppose 3*o - 107 = -5*s, -2*s - d*o + 103 = 3*s. Is s a composite number?
False
Let l(q) = q**3 - 3*q**2 + 5*q - 4. Let g be l(3). Suppose 0*x - g = -x. Is x prime?
True
Suppose 13 = 5*m - 2*g - 10, 4*m = 3*g + 17. Suppose -3*d + 0*d + m*b = -21, -5*b - 35 = -5*d. Let r = -4 + d. Is r a prime number?
True
Suppose 0 = c - 4*o - 329, 3*c - o - 980 - 29 = 0. Is c composite?
False
Suppose 3*q - 5584 = -4*b - b, -b + q = -1112. Is b composite?
True
Let b(g) = 149*g**3 - g**2 + g. Let y be b(1). Let a = -30 + y. Is a a prime number?
False
Suppose 3*r - 918 = 2373. Is r a composite number?
False
Suppose -7*z + 4*z = -255. Is z prime?
False
Let v = 10 + -18. Let o be -1 - 0 - (v - -4). Suppose -o*p - 74 - 124 = -5*k, 77 = 2*k + p. Is k composite?
True
Let t = -912 - -1819. Is t a composite number?
False
Suppose -5*i - 2*k + 5547 = 0, -2217 = -2*i - k + 2*k. Is i prime?
True
Suppose 0*p + 3 = 3*p. Let c(z) = -1 + 0*z + z + 0*z**3 - z**2 + 3*z**3. Is c(p) a composite number?
False
Let i(b) = b**2 + 9*b - 7. Let y be i(-10). Suppose y*m + 125 = 5*a, -m + 0*m + 75 = 3*a. Is a a composite number?
True
Suppose -12 = 4*u + 2*l, 3*u + 2*u = l - 22. Let t(y) = -y**3 - 5*y**2 - 4*y - 3. Let b be t(u). Let s(d) = 5*d**2 - 2*d - 2. Is s(b) composite?
True
Suppose 13 = 5*s - 12. Let l = -5 + s. Suppose l*q + 69 = 3*q. Is q a composite number?
False
Suppose -123 = -5*u + 27. Let y = u - -23. Is y a prime number?
True
Suppose -12*r + 19*r - 28511 = 0. Is r a prime number?
True
Let q(c) = 3*c**2 - 8*c + 5. Let u be q(6). Let l(n) = -n**3 + 7*n**2 + 3*n + 2. Let d be l(4). Let t = d + u. Is t a prime number?
True
Let h = 6 - 9. Let x be (4/(-10))/(h/15). Suppose 4*q + 23 = x*i + 81, -3*i = 4*q - 63. Is q a prime number?
False
Suppose 3*a + 134 = -q - 66, -4*a - 1044 = 5*q. Let u = q + 661. Is u composite?
False
Suppose 4*l = 2*t + 3*t - 396, 3*t - 5*l = 235. Suppose 3*o = -0*o - 123. Let j = t + o. Is j a composite number?
True
Let a(f) = f - 2. Let l be a(4). Let r = l - -1. Is r prime?
True
Let j = 1 + 2. Suppose -35 - j = -w. Is w a prime number?
False
Let h(z) = 13*z**2 - 8*z - 12. Is h(-7) a composite number?
True
Let j(n) be the second derivative of n**5/20 + 3*n**4/4 + 4*n**3/3 + 2*n**2 + 3*n. Let i(z) = -2*z**2. Let s be i(2). Is j(s) prime?
False
Let v(o) = -4*o**3 + 3*o**2 - 3*o + 2. Let y(f) = -7*f**3 + 6*f**2 - 5*f + 3. Let g(c) = -5*v(c) + 3*y(c). Is g(-4) a prime number?
False
Is 619 - (-4 + 2) - -2 a composite number?
True
Suppose 2*f = 2*x - 7 - 9, -x = 5*f + 16. Suppose 0 = -x*y + 5*b + 311, 195 = -5*y - b + 591. Is y a prime number?
True
Let a be (-3)/(3/2) + 23. Let x(h) = -5*h + 14. Let s be x(-6). Let q = s - a. Is q a composite number?
False
Let h be (2 - (0 - -2))/(-2). Suppose 0*j - 4*j = h. Suppose j = 3*k + 4*i - 365, -k - 2*k + 359 = i. Is k a composite number?
True
Let h(d) = 47*d - 37. Is h(18) a prime number?
True
Let g(r) = -32*r + 19. Is g(-9) a composite number?
False
Suppose -4*g + g = -4*q - 4, 3*g + 3*q + 3 = 0. Suppose 2 = -2*c - 2*r - 8, -r - 5 = g. Suppose c = x - 3*x + 74. Is x composite?
False
Let t be 9/12 + (-26)/(-8). Suppose 5*l = -y - y + 18, 0 = -3*y + t*l + 4. Suppose -5*h = 2*w - 72, y*h + 0*w - 59 = -3*w. Is h prime?
False
Suppose 3*j + 6 = 5*n - 0*j, 0 = n - j. Suppose -x = n*w + 21 + 7, -3*x = -3*w - 24. Is 6/w - (-1023)/9 composite?
False
Is 133 + -2 + 0/2 a prime number?
True
Let p