-344. Is t a prime number?
False
Let v = -13 + 28. Let n = 19 - v. Is n + (2*57 - -3) a composite number?
True
Let k(a) = -a + 1. Let x be k(1). Let q be 14/49*7 - 0. Suppose x = -5*v + 4*g + 119, q*g + 25 = -0*v + v. Is v a composite number?
False
Let d = 1480 - -1725. Is d prime?
False
Let i = 5662 - 3920. Let y = 3001 - i. Is y prime?
True
Is (1141/7)/(-1 + -1 + 3) prime?
True
Suppose 4*c + 12 = 0, 4*c - 1387 = -g + c. Suppose -2*x + 726 = -g. Is x composite?
False
Let z(v) = -3*v + 2. Let w be z(2). Is 12/(-16)*w + 188 composite?
False
Let h = -6505 + 16706. Is h prime?
False
Let m = -791 + 2302. Is m a composite number?
False
Is 79034/10 + (-16)/40 prime?
False
Suppose -9*t + 7*t + 360 = 0. Let m = t - 356. Let q = 11 - m. Is q a prime number?
False
Let d be (-68)/(-20) - 4/10. Suppose -5*f = -5, -3*p + 2*f = -d*f + 170. Is (2 + p/(-2))*2 a prime number?
True
Let v = 6226 + 36617. Is v composite?
True
Let o(x) = 5*x - 93. Let l be o(15). Let h(d) = d**3 + 23*d**2 - 14*d - 25. Is h(l) composite?
False
Let p = -2 - -5. Suppose -83 = -5*h + p*w + 1581, -h - 3*w = -322. Let a = -174 + h. Is a a composite number?
False
Suppose q - 4*q = -12. Is (-97 + 3)*(-10)/q a prime number?
False
Let m(o) = -59*o**3 + o**2 + 2*o + 2. Let y be m(-1). Suppose y = 2*c - 6*c. Is ((-1535)/c)/(2/6) a composite number?
False
Let g = 45 + -43. Suppose -3*n + 10770 = 5*x, -x - g*n = -6*n - 2177. Is x a prime number?
False
Suppose 3*p - s + 163 = -467, -5*s = 0. Let j = 74 + -157. Let m = j - p. Is m a prime number?
True
Suppose -5*x - 46 = -4*y + 14, 0 = 3*y - 2*x - 38. Is 5*(14512/y)/8 a prime number?
True
Let u(x) = 1 - 3 + 0 + 6*x. Let f be 22/(-77) + 30/7. Is u(f) prime?
False
Let f(q) = 3*q**3 - 24*q**2 + 33*q + 5. Is f(12) composite?
False
Suppose l + 2*l = -483. Let y = -20 + l. Let c = y - -258. Is c a prime number?
False
Suppose 0 = 4*a - 4*v - 51 + 19, 4*a + v - 12 = 0. Suppose -a = -2*u - 5*l + 4, 4*u + 3*l = 30. Let w(k) = 3*k**2 + 3*k - 7. Is w(u) composite?
False
Let t = -1082 - -1619. Is t composite?
True
Suppose -2*l + 6985 = -14341. Let z = l + -4914. Is z prime?
True
Let o be (5/(-15))/(1/(-18)). Let q be (-36)/8*(-560)/o. Suppose 5*b - 440 = -c, -3*c + q = 5*b + 2*c. Is b prime?
True
Let j(f) = -2368*f - 65. Is j(-6) prime?
True
Let w(i) = 42*i**2 + 27*i - 32. Is w(-9) prime?
False
Let k be 0/1 - 1 - -240. Let f be -2 + 9 + 3/(-1). Let j = k - f. Is j composite?
True
Let b = 50 - 47. Suppose -3 = b*o - 0, 2*t - 569 = -5*o. Is t composite?
True
Let n be ((-6)/(-1))/1 - 2. Suppose -144 = 2*p - n*i, 178 + 65 = -4*p - i. Let s = p - -129. Is s composite?
False
Let x(w) = -w**2 - 9*w + 9. Let k be x(-9). Suppose k*d - 946 - 1313 = 0. Is d composite?
False
Let d(k) = 11411*k - 5. Let g be d(1). Suppose -3*o - 22812 = -4*q - 6*o, 2*q - 3*o - g = 0. Is q composite?
True
Let g(c) = -7*c**2 - 9*c + 13. Suppose -w = -2*w - 4*z - 18, -2*w + 3*z = 3. Let b(t) = -6*t**2 - 8*t + 12. Let m(u) = w*b(u) + 5*g(u). Is m(10) composite?
True
Let j(t) = -t**2 + 9*t - 10. Let b be j(8). Is (-6 - -2) + (931 - b) composite?
False
Suppose c - 4 = -0*c. Suppose c*d = 8, f - 3*d = -d + 1. Suppose -f*o - 4*q = -3*o - 34, o + q = 15. Is o composite?
False
Let j(d) = -9366*d - 109. Is j(-6) a prime number?
True
Suppose 0 = 2*g + 19 - 23. Is (499/g)/(4/24) prime?
False
Let x(y) = 7 + y**3 + 10*y**2 + 0 - 5*y**2 - 5*y. Let k be x(-6). Is 112 - (k - 10)/(-3) composite?
False
Let z = 13 - 16. Let t be (-4)/z*99/6. Let c = 41 - t. Is c a prime number?
True
Is -2 - (1272/(-2) - -3) a composite number?
False
Let h(m) = -9*m - 37. Suppose 0*x + 4*x + 80 = 0. Is h(x) a composite number?
True
Let a = -284 - -451. Let y(z) = -6*z + 259. Let c be y(43). Is -7 + a + 3/c prime?
True
Let d = 0 - -2. Suppose 267 = i + d*i. Is i prime?
True
Let a be 932/6 + 1/(-3). Let y = 87 - a. Is y/(-8)*74 + 4 a composite number?
True
Suppose -2*y - 69 = 3*h - 1285, -4*y + 2416 = -2*h. Suppose y = c - 248. Is c a prime number?
True
Suppose -103*k = -510926 - 267239. Is k a composite number?
True
Suppose 0 = -11*d + 16*d + 420. Let i = 335 + d. Is i a composite number?
False
Let a = -5407 + 16829. Is a a composite number?
True
Let k(v) = -3*v - 13. Let n(p) = 2*p + 12. Let z(d) = -3*k(d) - 4*n(d). Let j be z(10). Suppose m + 61 = 2*h, j = 2*m - 1. Is h composite?
False
Suppose -4 = 3*d - 1. Is ((-5)/(-2))/(d/(-26)) composite?
True
Suppose -3*y = -0*y + 12. Let h be (y - -1 - -4) + -1. Suppose 3*w + r + 0*r - 104 = h, 3*w = -2*r + 103. Is w prime?
False
Suppose 3*j - 4*j = -5. Suppose 4 = d + 1, 678 = 3*s + j*d. Suppose 2*x - s - 65 = 0. Is x a prime number?
False
Suppose 0 = 10*m - 6 - 14. Suppose -4*g + 7911 = -5*x - 1421, 5*g - m*x - 11665 = 0. Is g composite?
False
Let v(d) = -d**2 - 6*d + 4. Let j be v(-6). Let b = j - 0. Suppose -a = 2*w - b*a - 24, -19 = -w - 2*a. Is w prime?
False
Let f(s) = -s**2 - 10*s + 2. Let l be f(-7). Suppose 28*t - 17265 = l*t. Is t a composite number?
True
Is 11302 - (-15 + (5 - -1)) a prime number?
True
Let t(h) = -1147*h + 947. Is t(-6) composite?
False
Suppose 0 = -4*n + 2*n + 16. Let o be n/2 - 0/(-1). Suppose -o*f + 313 = -571. Is f composite?
True
Let p(m) = 21*m**3 - 27*m**2 + 13*m + 19. Suppose -16 - 29 = 5*y. Let d(b) = -5*b**3 + 7*b**2 - 3*b - 5. Let l(w) = y*d(w) - 2*p(w). Is l(6) a prime number?
True
Suppose f - 2*m - 363 = -6, f - 342 = -m. Is f a composite number?
False
Let g = 4166 - 919. Is g a composite number?
True
Let f(a) = 9*a - 2. Let o be f(3). Let s = 10 + -7. Suppose -o = -5*n, -s*u + 0*n = -2*n - 473. Is u a prime number?
False
Let z = -2054 - -3072. Is z a prime number?
False
Let o = 7 + -3. Suppose -4*j = -o*i + j + 1007, -4 = -4*j. Is i prime?
False
Suppose -7*n + 4*n + 4*s = -14, -5 = 5*n - s. Is (7850/(-30))/(n/6) a composite number?
True
Suppose 3*x - 43384 - 11171 = 0. Is x a prime number?
False
Suppose 0 = 3*x + 266 - 1487. Is x prime?
False
Let r(x) = 2260*x + 25. Let f be r(-6). Is (0 + -1)/(5/f) composite?
False
Suppose 2 = -0*n - n. Is (-1 - n)*(10 - -481) composite?
False
Suppose -4*y + 184563 = 22567. Is y prime?
True
Let x = 65 + 121. Let u = x + -133. Is u a prime number?
True
Let l = 24305 - 17274. Is l a prime number?
False
Let u = 78647 + -50638. Is u prime?
False
Let a(g) = 7*g + 14. Let c(z) = -7*z - 14. Let s(v) = -3*a(v) - 2*c(v). Is s(-9) a prime number?
False
Let p(x) = -5*x - 5. Let q be p(-4). Suppose 2*g = -g + q. Suppose 2*t = 3*w - 2937, 1224 + 3649 = g*w + 4*t. Is w composite?
False
Let x = 64 + -109. Is x/(-2) + (5 - (-36)/(-8)) prime?
True
Suppose 2*o + 0*o - 4 = -3*g, 2*o - 4 = -4*g. Let y be o - (-5 - (0 - -3)). Is 216/21 + y/(-35) a composite number?
True
Suppose 2*c + 3*s - 16 = 0, -3*c + 0*c + 2*s - 2 = 0. Suppose -9085 = -c*f - 3*l, -4*f + l + 4*l + 18203 = 0. Is f prime?
True
Let t = 141 - 141. Suppose t = -15*r + 10*r + a + 8765, a - 3506 = -2*r. Is r a composite number?
False
Let f be (16/(-12))/(-1*(-2)/3). Is 0 - (f - -3)*-691 a prime number?
True
Suppose 2*n + 2*m - 4326 = 0, -2*m = -5*n - 1675 + 12462. Is n a composite number?
True
Let k = 6042 - 3301. Is k a composite number?
False
Let l = -7 + 17. Let c = -4 - -6. Suppose -c*m = -3*m + l. Is m a composite number?
True
Suppose 3*d + 0*d + 4 = -4*l, 2 = 3*l + d. Suppose -l*j + 4 = -2. Suppose -4*f + 332 = j*k - 2, 3*f = 2*k - 200. Is k a prime number?
False
Let q(t) = 5*t**2 - 4*t - 4. Let b be q(-2). Let s = b - -13. Is s a composite number?
False
Let m = 7847 - -11706. Is m prime?
True
Let h(j) = -6*j + 8 + 8 - 4*j + j**2. Let m be h(8). Suppose -2*o = -c - 17, -13 = -o - m*o - c. Is o prime?
False
Let y(h) = 48*h**2 - 20*h - 79. Is y(11) a prime number?
False
Suppose 3*n - 10090 - 9317 = 0. Is n composite?
False
Suppose -2*o - 200 = -4*o. Let l be (334/4)/((-3)/(-6)). Let b = l - o. Is b prime?
True
Is (-121 + -1 + 0)*752/(-32) prime?
False
Suppose d - 8 = -5. Suppose 2*k = -d*a, a + a + 8 = 0. Suppose 25 = i - 3*j, 4*j - j - k = 0. Is i a composite number?
False
Let j = -403 + 666. Is j a prime number?
True
Let f(y) = 2 - 3 - 9*y + 8*y - 143*y. Let g(b) = b + 5. Let l be g(-6). Is f(l) a composite number?
True
Suppose -7*y + 4*y = r - 1910, -9580 = -5*r - 5*y. Is r composite?
True
Is (-7281)/(-3) + -2 + 4 a composite number?
True
Suppose 0 = -5*f