821 = -3*f. Is t composite?
True
Let h(y) = y**3 + 10*y**2 + 9*y + 4. Let n be h(-9). Let r(j) = -4*j - 7. Let u be r(-3). Suppose 2*f + u*m = 1104, n*f + 4*m = 620 + 1600. Is f a prime number?
True
Let t(f) = -f**2 - 7*f + 7. Let o be t(-4). Suppose o*d - 953 = 18*d. Is d composite?
False
Let j = -22 - -27. Suppose -d - j*d + 2286 = 0. Is d composite?
True
Let m be 10/40 - 3346/8. Let v = m - -1297. Is v prime?
False
Let y(d) = -39*d + 8. Let a(c) = -79*c + 17. Suppose 5*l - l + 28 = 0. Let j(v) = l*y(v) + 3*a(v). Is j(4) composite?
False
Let o(s) = -s**2 - 5*s - 2. Let w be o(-4). Suppose 0 = -x - w*f + 257, f - 2*f + 1321 = 5*x. Is x a prime number?
False
Suppose 4 + 1 = k. Suppose 5*w = -0*w + k*t + 2385, -w = 2*t - 483. Is w a composite number?
False
Suppose -5*t + 7037 + 6828 = 0. Is t prime?
False
Let v = 9 + -17. Let g be v/(-72) + 5633/9. Suppose -f + 266 = 2*z + 3*f, 3*f = 5*z - g. Is z composite?
False
Let v(c) = -c**3 + 73*c**2 - 222*c - 151. Is v(66) a prime number?
False
Let x be 39/18*3*2. Let f = 0 + x. Is (f/2)/(6/60) a composite number?
True
Suppose y - i = -5, 0 = -4*y - 2*i - 6 - 2. Let c(g) be the first derivative of g**3 + g**2/2 - 2*g - 5. Is c(y) composite?
True
Is -13 + 6 - 37*-122 a prime number?
True
Suppose -5*x + c - 13 = 27, -x - 14 = c. Let n be 10502/(-10) + x/(-45). Let f = -395 - n. Is f prime?
False
Let j = 12550 + -4499. Is j composite?
True
Let x = -23174 + 33475. Is x composite?
False
Suppose 2*s - 5*i - 86 = 1520, -s - i = -789. Suppose 0 = y - 120 - s. Is y prime?
False
Let a(x) = 34*x**2 - 2*x + 5. Let n(u) = 69*u**2 - 4*u + 11. Let h(t) = 5*a(t) - 2*n(t). Is h(1) composite?
True
Let y(p) be the first derivative of p**4/4 + 6*p**3 + 15*p**2/2 + 9*p + 8. Is y(-14) a prime number?
False
Let q be ((-7900)/(-15))/(6/9). Let h = q + -383. Is h prime?
False
Suppose -182*r - 56934 = -191*r. Is r composite?
True
Let x be ((-24)/(-60))/(1/(-1605)). Suppose 3*r = 9, 2*t = -5*r + 46 + 39. Let g = t - x. Is g composite?
False
Let l(w) be the third derivative of w**5/60 + w**4/8 + 2*w**3/3 - 4*w**2. Let c be l(-3). Suppose c*f = a + 215, 4*f - 275 + 50 = -a. Is f prime?
False
Let h = -4804 - -8417. Is h a composite number?
False
Suppose -4*j + 4*c = -275160, 3*c + 51299 = 2*j - 86280. Is j a composite number?
False
Suppose 2*r + 2*m = 6618, -13232 = 37*r - 41*r - 2*m. Is r a composite number?
False
Let u = -55 + 50. Is (-18990)/(-75) - (-1)/u prime?
False
Let b be 2/3 - (-18100)/(-15). Let p = -1241 - -486. Let u = p - b. Is u a prime number?
False
Suppose 7*t - 2*t + 95 = 0. Let f(k) = k**2 + 13*k - 35. Is f(t) composite?
False
Let k = -68 + 469. Let o = -246 + k. Is o a composite number?
True
Let p(k) = -k**3 + 6*k**2 + 17*k - 4. Let f be p(8). Suppose f*s + 4*l - 3548 = 0, -l = l. Is s a composite number?
False
Let n = -106 + 98. Let a(b) = -10*b**3 - 7*b**2 + 10*b - 9. Is a(n) a composite number?
False
Suppose -v = -4*a - 0*v - 12, 3*a = -3*v - 24. Let y be (-2)/4*a/(-1). Is 148 - (y + 2 + -1) a composite number?
False
Suppose 4*j - 7897 = g, 3*j + 2*j + 3*g - 9850 = 0. Is j composite?
False
Let p(m) = 16*m**2 - 14*m - 2. Let t be p(7). Let j = t + -253. Is j composite?
False
Suppose -10*z + 5*z = -5. Let k(w) = 116*w**3 + 2*w**2 - 7*w - 7. Let p(c) = -58*c**3 - c**2 + 4*c + 4. Let h(g) = 4*k(g) + 7*p(g). Is h(z) a prime number?
True
Suppose 0 = 4*q - 20, 4*t - q + 4 = 5*t. Is (t + 0)*-221 - -2 prime?
True
Suppose 0 = -8*a + 53 + 11. Let x(l) = l**3 + 7*l**2 - 8*l - 7. Is x(a) a prime number?
False
Suppose 5*u - 2*u - 3 = 0. Is 8616/18 + 2 - u/(-3) composite?
True
Suppose d = 6 + 2. Suppose d*t - 259 = 1269. Is t composite?
False
Suppose -l + 3715 = 2*h, -4*l - 19*h + 14*h + 14866 = 0. Is l a composite number?
False
Suppose 5*g = 4*j + 15, -3*j - 5*g = -g - 12. Suppose j = -4*r + 5*r - 3589. Is r a prime number?
False
Suppose -6*w + 10 = -w. Suppose w*i = -6, 2*p - i = -2*p + 6239. Is p a composite number?
False
Let a(r) = r**3 + 16*r**2 - 17*r - 6. Let j be a(-17). Let c(s) = 43*s**2 - 4*s - 11. Is c(j) a prime number?
False
Let y = 13 - 10. Let o(f) = 2*f - 1. Let p be o(y). Suppose -p*d + 2229 = -2*d. Is d a prime number?
True
Let l = -7204 + 13305. Is l a composite number?
False
Suppose 6*c - 70704 = -22386. Is c a composite number?
False
Let q = -51476 + 165253. Is q a prime number?
True
Let u be 102/15 - 2 - (-2)/10. Suppose 3*f - 7*f = -16, -u*y - 3*f + 18747 = 0. Is y prime?
False
Suppose 3422 = 10*l + 652. Let d = -20 + l. Is d a prime number?
True
Let i = 3945 - 1022. Is i a composite number?
True
Let d = 2465 - 1578. Is d a prime number?
True
Let p(b) = 178*b**3 - 21*b**2 + 152*b - 11. Is p(6) a prime number?
True
Let j be (-5 + 11/(-4))*12/(-1). Suppose 0 = 5*o - 2 - j. Is o a composite number?
False
Suppose 1426858 - 444078 = 20*a. Is a prime?
True
Let t = -2670 + 1840. Let g = 1209 + t. Is g a prime number?
True
Let f = 17580 - 12199. Is f composite?
False
Suppose -50*n = -30*n - 21340. Is n a composite number?
True
Suppose -2463 = -4*y - p - 18, -p = 5*y - 3055. Suppose 2*t = -2*g + y, t = -3*g - g + 299. Is t composite?
False
Let y be (-1 - -3)/((-6)/(-21)). Let x(h) = 12*h**2 + 7*h + 10. Is x(y) a prime number?
True
Let q = 27566 - -21027. Is q composite?
False
Suppose -75621 = -66*q + 190425. Is q prime?
False
Is ((-26236)/12*-3 - -4)/1 prime?
True
Is ((-4)/10 - 16884/(-60))*7 composite?
True
Suppose 0 = -4*u + 5*u + 2*j - 189, 743 = 4*u - 5*j. Let r = 410 - u. Is r composite?
False
Let j(w) = 972*w**2 + 17*w + 30. Is j(-7) prime?
False
Suppose 5*i + 60204 = 17*i. Is i a composite number?
True
Is (-4)/96*-28*2514 a prime number?
False
Suppose 0 = 2481*u - 2477*u - 30220. Is u a composite number?
True
Suppose 3*q + 3*w = 3, 2*q + 3 = -4*w + 11. Let u = 6 + q. Suppose -5*t + 19 = -0*n + u*n, 0 = -5*n + 5. Is t prime?
True
Suppose -4*b + 2*d + d - 12 = 0, 0 = 3*b + 5*d - 20. Suppose 4*a + b*a = 0. Suppose 2*j = -j + y + 95, 5*j - 5*y - 145 = a. Is j a composite number?
True
Let n(w) = 71*w**3 + w**2 + 4*w - 17. Is n(5) a composite number?
True
Let b(s) = 0*s**2 - 13 + 11*s**3 + 8*s**2 - 12*s**3 + 4*s. Is b(8) a composite number?
False
Let n = 35926 - -17553. Is n prime?
True
Suppose 55*m - 62*m + 147623 = 0. Is m prime?
True
Suppose 0 = -3*o + 5*q + 49, -5*q + 4 = 3*o - q. Is (-1 + o/12)*6 + 543 a composite number?
False
Let h be -13 + 15 - (1 + 1). Suppose h = q + 6 + 4. Let o = q + 33. Is o a composite number?
False
Let b be 51*(25/15 + -1). Let d = 34 - b. Suppose m - l - 82 = d, 4*m + 2*l + 136 = 434. Is m prime?
False
Let y be (-14)/(-63) + 9151/9. Suppose 7*z - y = 5402. Is z composite?
True
Suppose 152 + 232 = 4*w. Suppose 4*z + 344 + w = 0. Let f = z + 204. Is f prime?
False
Suppose 18570 + 11433 = 3*h. Is h a prime number?
False
Let z(v) = -v**3 - 12*v**2 - 3*v - 16. Let p be z(-12). Is (-4)/(-10) + 18372/p prime?
True
Let z be (-4)/(-2) + 14 + 2 + 1. Is 4*z - -1*(-5 + 3) a prime number?
False
Suppose 15905 = 5*k - 2*w, -5*w + w - 6362 = -2*k. Suppose g + 3*h = 641, -3*h + k = -0*g + 5*g. Is g a prime number?
False
Let f(g) = -3*g**3 - 5*g**2 - 29*g - 11. Let l(h) = -h**3 - 2*h**2 - 10*h - 4. Let k(z) = 3*f(z) - 8*l(z). Is k(-14) a composite number?
False
Let c(w) = 2*w**2 - 4*w - 6. Let o be c(7). Suppose 3*b - 299 = o. Is b a composite number?
True
Suppose -4*v + 6*v = -8. Suppose -10*s = -8*s + 4. Is (s*(-742)/v)/(-1) a prime number?
False
Let i = -12 + 13. Let s(f) = i + 9*f - 5 + 37*f**2 - 34*f**2 - 3. Is s(-11) prime?
True
Let n(z) = 5*z**3 - 8*z**2 + 5*z + 6. Let m(b) = -b**3 + b**2 - 1. Let d(u) = 6*m(u) + n(u). Let p(w) be the second derivative of d(w). Is p(-5) a prime number?
False
Suppose 6 = -2*t - 0*t. Is ((-153)/12)/(t/12) composite?
True
Suppose -3*z = -3*a - 18, -5*z + 9 + 15 = -2*a. Let q be 6 + 3/(a + -1). Suppose 0 = -4*l + 2*f + 3872, -q*l = -4*f - 2516 - 2327. Is l prime?
True
Let j(y) = -22 - 15*y - 9 + 3*y**3 + 9 - 4*y**3 - 5*y**2. Is j(-9) a prime number?
False
Is (-6 - (-12150)/40) + (-10)/(-8) prime?
False
Let v = 527 + -857. Let a = v + 551. Is a prime?
False
Let b be -2 + -1 + (1 - -4). Suppose -4*d - b*z = -2355 + 547, 2260 = 5*d - 4*z. Is d/4*(-1)/(-1) composite?
False
Let p(g) be the third derivative of -5*g**4/6 + 2*g**3/3 + g**2. Let j be p(6). Let q