?
True
Let b be 1372/3 - 2/(-3). Suppose -3*s + 5*i + b = 0, -4*s = -2*s + 5*i - 347. Is s a composite number?
True
Let y(z) = z - 1. Let q(h) = -h**2 - 5*h + 22. Let t(x) = -q(x) - 5*y(x). Is t(-12) a prime number?
True
Let o be (-9)/(-12)*(-8)/(-2). Suppose -2*b = -8, -o*c - b + 4*b - 840 = 0. Is c/(-8)*2 - 2 a composite number?
False
Suppose -s + 0*s - 2*w = -1255, -5*w = -3*s + 3765. Suppose 2*m = s + 3. Is m a composite number?
True
Suppose -7*d = -2*d - 10. Let j be d/2 + 1 + -597. Is 2/(-3) + j/(-15) composite?
True
Let c(z) = -z - 9. Let k be c(-13). Suppose 2*p + 0*b - 278 = k*b, 5*b = -p + 160. Is p prime?
False
Suppose 14*x + 2*x - 648080 = 0. Is x a composite number?
True
Let r(u) = u**3 - 4*u**2 + 3*u - 19. Suppose -3*a + 1 = -20. Is r(a) composite?
False
Suppose -u - 6*c + 11 = -3*c, 2*c - 8 = -u. Suppose -2*a + 770 = -5*g + 214, 0 = u*a + 3*g - 556. Is a prime?
False
Suppose -2 = 2*i, -5*o + 384331 = 5*i - 480649. Is o a composite number?
True
Let k(f) = 8*f + 1. Let g be k(-2). Is ((-10)/g)/((-6496)/(-3246) - 2) composite?
False
Suppose 0 = 2*d, 5*f + 3*d = 2*d + 5935. Is f composite?
False
Suppose 4*d = 7*d + 3693. Let o = 2040 + d. Is o composite?
False
Let b(u) be the first derivative of 103*u**3/3 + u**2 + u - 16. Let t = -6 + 10. Is b(t) prime?
True
Is -2 + 29385/4 - (-250)/(-200) prime?
False
Let k be ((-20)/(-11) - (-4)/22) + -2. Suppose 2913 = -2*o - 5*i + 9069, k = 5*o - 3*i - 15359. Is o a composite number?
True
Suppose -v = -2*v + 7188. Suppose -2*w + 2877 = 3*o, 5*w + 4*o - o = v. Is w a composite number?
True
Let a = -20 + 45. Is 12330/a - (-2)/(-10) composite?
True
Suppose 2*z - 5*d = 66264, -93829 - 5558 = -3*z + 3*d. Is z composite?
True
Suppose 3*x + 24 - 33 = 0. Is 2/x - 13036/(-12) prime?
True
Suppose -4*q - v = 416, 335 = -0*q - 3*q + 5*v. Is (-33894)/q + 0 + (-2)/(-10) a composite number?
True
Let c be (-8)/(-88)*2 - (-142206)/11. Is (-55)/(-385) - (c/(-7))/1 prime?
True
Suppose 0 = -4*r + 5*c - 2601 - 1312, -4*c + 3908 = -4*r. Let z be ((-2033)/5)/(63/(-315)). Let x = r + z. Is x a prime number?
True
Let l be (3 - -820)*1 + 0. Suppose -5*x - l = -3578. Is x composite?
True
Suppose 2*c = 7 - 1. Suppose -c*u - 3*l + 3783 = 0, 3*u - l - 3773 = l. Is u composite?
False
Let l be 7/28 - (-117)/12. Let a(b) = 2 + l - 12*b**2 + 18*b**2 - 6*b - 7*b. Is a(9) a prime number?
False
Let b = 288 - -2225. Is b a prime number?
False
Suppose 4*v = 5*v - 9. Suppose v*x - 15*x = -11082. Is x a composite number?
False
Suppose 0 = 2*x - 3*x + 3. Let s be 21/(-15) + (-2)/(-5). Is x - ((-3)/s - 67) a composite number?
False
Is (19 - (-91168)/42)/((-2)/(-12)) prime?
False
Let g = 38 - 25. Let k(z) = 25*z**3 - z**2. Let i be k(1). Let p = i + g. Is p a composite number?
False
Suppose -v + 7408 = -3*x, 4*v + x = 2*v + 14823. Is v a prime number?
True
Let s(t) = -532*t**3 - t**2 - 13*t - 8. Is s(-3) prime?
False
Suppose 0*a = 26*a - 14482. Is a a composite number?
False
Suppose 7 = 5*s - 18. Let f = s + -3. Is f*(39/6 - 0) a composite number?
False
Let w be (1 - -5)/(6/9). Suppose -9944 = -w*x + x. Is x a composite number?
True
Suppose -13 + 3 = -2*n. Suppose -2*l + 362 + 308 = -2*p, l + n*p - 347 = 0. Is l prime?
True
Let r(g) = 5*g - 1. Let x be r(3). Let c(i) = -i + 1. Let n(q) = q - 15. Let l(h) = -4*c(h) + n(h). Is l(x) a composite number?
True
Let h(y) = 2076*y**2 - 14*y - 5. Is h(3) prime?
True
Suppose 6*x - 2*l - 265 = x, x - 40 = 3*l. Suppose 10*s - 5*s - x = -5*i, 3*s = -2*i + 32. Is s prime?
False
Suppose 21 = 15*v - 8*v. Suppose v*o - 3*z - 45 = 1257, -1776 = -4*o - 4*z. Is o prime?
True
Suppose -8*q + 1265390 = 6*q. Is q a prime number?
False
Let b = 198 + -508. Let z = b + 636. Is z prime?
False
Suppose -1689*j - 15524 = -1693*j. Is j prime?
True
Suppose -4*h - 2 = -0*z - 2*z, 5*h - 2*z = 0. Suppose -h*u + 302 = -4*r, -3*r - 306 = -u - u. Is u a prime number?
False
Let s be 2 - 8*(-3 + (-14)/(-4)). Is (-1)/((-287)/(-1758) - s/(-12)) a prime number?
True
Suppose 0 = -a - 2*v + 2741, -3*a - 13744 = -8*a + 3*v. Is a prime?
False
Let v be (6/(-10))/(7/(-35)). Suppose -i + 6*i + 20 = -5*p, -3*i = -p - 4. Suppose -v*c + 357 + 414 = i. Is c prime?
True
Is ((-9)/(-360)*10)/(1/183932) prime?
False
Suppose 9359 = 7*g - 0*g. Is g composite?
True
Suppose 4*x - 4*k = 628, -2*x - 3*k + 309 = -0*x. Suppose 0*h = -3*h + x. Let j = h - -51. Is j a prime number?
True
Let i = 59 - 57. Is (-3 - 555/(-6))*(4 - i) a prime number?
True
Let b be 6/10 - (-82)/5. Suppose 1 - b = -4*o. Suppose -4*h - 15 = h, -o*h + 626 = 2*t. Is t a prime number?
False
Let b(i) = -4*i**2 + 9*i - 2. Let p(l) = l**2 - 1. Let w(v) = b(v) + 5*p(v). Let n(r) = -2*r**2 - 19*r + 15. Let d(h) = 2*n(h) + 5*w(h). Is d(5) composite?
True
Let s be (-1 - -1) + -2 + 4. Suppose z - s*z + 3 = -w, 12 = 2*z - 5*w. Is ((-1)/(-1) + 22)/z composite?
False
Is 1/((2/1306)/1)*11 composite?
True
Suppose -5*k + 227 + 680 = 4*u, 0 = 3*k + 4*u - 541. Let n(l) = 6*l**2 + l. Let p be n(-1). Suppose p*c = h - k, 4 + 0 = -4*c. Is h composite?
True
Suppose -104 = -4*h - 16. Let y be 146*h/4 + -2. Let n = y - 440. Is n a prime number?
False
Let u(p) = 10*p**2 - 4*p - 5. Let h be u(4). Suppose 0 = 2*w - 4*w + 472. Let g = w - h. Is g a prime number?
True
Suppose 4*y - h + 3*h = 20, -40 = -5*y + 5*h. Suppose -4*c - 274 = b - 3152, y = 3*b. Is c a composite number?
False
Let w(x) = 7*x - x**2 - 13 - 2*x + 18*x. Let d be w(15). Let m = d - 70. Is m a composite number?
False
Let f be 3/2*(-14)/7. Let u(l) = -123*l + 4. Is u(f) a prime number?
True
Let j be ((-1)/1)/((-1)/(-4)). Let s be (-1 - (-800)/(-4))*4. Is (-6)/j*s/(-18) a composite number?
False
Let h = -833 + 4666. Is h prime?
True
Let l(r) = 1220*r**2 + 10*r - 5. Is l(4) a composite number?
True
Let r = 873 - -28. Let l = r + -578. Let q = l - 146. Is q composite?
True
Is (-7)/((-105)/745825) + (-12)/18 prime?
False
Let m(r) = -3617*r - 6. Let s be m(-1). Let i = -1834 + s. Is i composite?
False
Suppose 2*i = -y + 7155, 2*y + 2*i + 0*i - 14310 = 0. Let z = 11194 - y. Is z a composite number?
True
Suppose -4*f = 4*k - 9*k + 145033, 0 = 5*k + f - 145048. Is k a composite number?
False
Let h(m) = -38*m - 36. Let y be h(-10). Suppose -y - 318 = -o. Is o a prime number?
False
Suppose 2*v - 5*k = 11469, 0 = -3*v + 5*k + 3686 + 13520. Is v composite?
False
Let h(q) = -19*q**2 - 6*q + 2. Let d be h(8). Is -1*d/6*3 prime?
True
Let o = -40026 + 67559. Is o composite?
True
Suppose -4*z = 5 + 19. Let f be (-2 - 29) + z/3. Is -1 + (6 - 3 - f) a composite number?
True
Let j = -100 - -265. Suppose -7*x + 12*x = j. Is x a composite number?
True
Suppose 3665 - 59 = 6*j. Suppose 2*y + j = -819. Let b = y - -1677. Is b a composite number?
False
Let v(c) = -4*c + 14. Let w be v(4). Let y(j) be the third derivative of -11*j**6/24 + j**5/60 - j**4/8 + j**3/6 + 8*j**2. Is y(w) a composite number?
True
Let v(u) be the first derivative of -51*u**2/2 + u + 7. Is v(-8) composite?
False
Suppose 2*o + 182 = -2*s, 2*o - o - 349 = 4*s. Let x = 27 - s. Is x composite?
True
Suppose -19 = -2*y - 4*b - 3, b = 5. Is ((-11)/3)/(y/1686) a composite number?
True
Let v(a) = 11*a**2 + 21*a - 5. Let m(p) = -5*p**2 - 10*p + 3. Let d(c) = -7*m(c) - 3*v(c). Is d(5) prime?
True
Let n = 2012 - 391. Let i = -968 + n. Is i prime?
True
Let h(j) = 496*j**2 + 2*j + 1. Is h(1) a composite number?
False
Let y(i) = 4*i - 9. Let g be 0/(-1 - -4) - 1. Let r = g - -6. Is y(r) composite?
False
Suppose 3*z = 3, 2*y - 3*y = -4*z + 10. Let g = -13 - y. Let u(h) = -82*h + 7. Is u(g) a composite number?
True
Let s(u) = 1713*u**2 + 9*u - 23. Is s(3) a composite number?
True
Suppose -3*q = -7*q - 24. Let c = 120 + q. Let w = c + -31. Is w composite?
False
Suppose 0 = -4*o + 8*o - 100. Suppose -3*x = -8*x + o. Suppose p = -4*p + 25, r + x*p - 72 = 0. Is r a composite number?
False
Let a(f) be the first derivative of f**2/2 + f + 1. Let q be a(2). Suppose q*l = 4*d - 251, d - 192 = -2*d + 3*l. Is d prime?
True
Is (-1193)/(-3)*3/1 composite?
False
Let d be -1 + 61/2*(2 + 10). Suppose -12*j = -13*j + d. Is j composite?
True
Let r = 1070 + -182. Suppose -4 = -2*g - 8, r = 2*y - 2*g. Suppose d = -5*v + 460, 2*d - v - y = d. Is d a composite number?
True
Let p = 15645 + 6584. Is p a composite number?
False
Le