False
Let n be 8/20 - 186/(-10). Suppose -n*y + 23*y = 4396. Suppose -y = -t - 6*t. Is t a composite number?
False
Let s(h) = 23*h**2 - 5*h - 5. Let a(g) = g. Let r(v) = -v**2 + v - 4. Let b(x) = 2*a(x) + r(x). Let y be b(2). Is s(y) a prime number?
True
Let a = 1373282 + -683049. Is a prime?
True
Let k be 10/(-65) - 87795/(-39). Let s = k - -13660. Is s a prime number?
False
Let x = -1591 - 2607. Let z = -2401 - x. Is z a composite number?
True
Suppose -4*l = -5*m - 6663, -4*l = -m - m - 6678. Let f = 2957 - l. Is f a composite number?
True
Let l(i) be the first derivative of -i**6/60 - i**5/6 - i**4/24 - i**3/2 + 19*i**2 - 37. Let d(s) be the second derivative of l(s). Is d(-8) prime?
True
Let j = 360 + -361. Is (-46198)/(-6)*(j - -4) a prime number?
True
Let p(i) = i**2 - 3*i - 9. Let m be p(5). Suppose 4*s - 108 = -5*s. Is 1052 + s - (2 + m) a composite number?
False
Let f(a) = 23*a**2 - 6*a - 12. Let x be f(-5). Suppose 3*z + 5*y = x, -3*z + y + 321 = -248. Is z composite?
False
Let n be 90 + 3/((-12)/8). Let m be 2/11 + 248/n. Let v(s) = 279*s + 2. Is v(m) prime?
True
Let z be 2 + 6 - 3*-1. Suppose z*a + 31763 - 158692 = 0. Is a a composite number?
True
Let k(l) = -l**3 - 7*l**2 - 9*l - 12. Let w be k(-6). Suppose y = w*y - 5. Is (-1 - y)*(-1956)/24 a prime number?
True
Suppose n - 87 = -o + 468, 2783 = 5*n + 3*o. Suppose -491 = -2*t + 5*i, 0 = -2*t - 4*i - 41 + n. Is t composite?
True
Let u = 270 + -268. Let p(s) = 311*s**3 + s**2 + 4*s - 5. Is p(u) prime?
False
Suppose 19*n + 966680 = -n. Let t = -32831 - n. Is t a prime number?
False
Let h be (3/(-6))/((-15)/(-6) - 2). Let f be -3*(-2)/(-3)*h. Suppose 0 = -f*y - 2*y + 1556. Is y composite?
False
Suppose 47832 = 4*d + 20*z - 22*z, 6 = 3*z. Is d a composite number?
False
Let f be 2/12*1 + 123/18. Suppose -f*l + 125520 = -43537. Is l a composite number?
False
Let r(a) = -5*a**3 - 12*a**2 - 13*a + 13. Let s(t) = 6*t**3 + 13*t**2 + 14*t - 12. Let m(u) = 5*r(u) + 4*s(u). Let l = 32 + -41. Is m(l) a prime number?
True
Let q = -35 + -255. Let a = 1269 + q. Is a composite?
True
Let a be 6 - -930 - (3 - 3). Suppose -l = 2*x + a, -2*l = -5*x + 2*l - 2366. Is 7/(5*(-2)/x) prime?
False
Let o(w) be the second derivative of w**5/5 + 7*w**4/6 + 23*w**3/6 + 10*w**2 + 61*w. Is o(11) a composite number?
True
Let m(n) = -69*n - 16. Let j(c) = 206*c + 49. Let r(d) = -3*j(d) - 8*m(d). Let t = 596 - 612. Is r(t) composite?
True
Let h be 9*(-6)/(-162) + 7/(-3). Is ((663/h)/(-3))/((-1)/(-2)) a composite number?
True
Suppose 4*a + 15506 = -21510. Let n = -741 - a. Is n prime?
True
Suppose -2*f + 5*f + 3*t = 1598556, 3*t - 2131405 = -4*f. Is f a prime number?
True
Suppose -22*y + 12581702 = -1881076. Is y a prime number?
False
Let v(r) = -12 + r + 22 + 17 + 1. Let s be v(-28). Suppose x + s*y - 163 = 2*y, 0 = -x - 4*y + 181. Is x prime?
False
Let j(k) = 224*k + 15. Let w be (-54)/((-1)/(2/(-3))). Let r = -32 - w. Is j(r) prime?
True
Let d = 26418 - 13757. Is d prime?
False
Let x(c) = -c**2 - 27*c - 4. Let a be x(-27). Let v be 56/2*1442/a. Is (-2)/9 + v/(-63) + -3 composite?
False
Let t = 29190 - 8987. Is t a composite number?
True
Let o = -548 - -563. Suppose o*d + 0*d = 16515. Is d prime?
False
Let x = 35 - 48. Let t be (-117)/x*(2 + -1). Is 4526/8 + t/(-12) composite?
True
Let o(w) = -w**3 + 5*w**2 - 2*w - 4. Let q(m) = -2*m + 19. Let j be q(8). Let y be o(j). Is 28/y*138 + -4 composite?
False
Suppose -144 = -5*q - 4*y, 80 = 3*q + 5*y - 9. Let a(l) = 9 + q*l + 4 + 49*l. Is a(8) prime?
False
Let o(g) be the second derivative of 5/2*g**2 - 11*g + 0 + 263/20*g**5 - 1/6*g**3 - 1/6*g**4. Is o(2) composite?
False
Let f = -447 - -458. Suppose n = -4*x + 15, -f*x + 6*x + 104 = 4*n. Is n a composite number?
False
Let x(j) be the third derivative of 17*j**4/12 - 97*j**3/2 + 168*j**2. Is x(16) composite?
True
Let z(l) = -5*l**2 + 10*l + 30. Let d be z(11). Let r = 819 + d. Suppose 8*q - 6*q - r = 0. Is q a composite number?
True
Let q be ((-72828)/15)/(-1*4/20). Let m be q/60 + (-4)/(-10). Let g = 106 + m. Is g a composite number?
True
Let i = 43709 + 22814. Is i prime?
True
Let c(r) = 98*r**2 - 763*r - 39. Is c(16) composite?
False
Let r be 2/5 - (-69)/15. Let t(a) = 5*a**3 - 3*a**2 - 11*a + 2. Let g be t(r). Is -1 + g + 9/(-12)*-4 a composite number?
False
Let z = -299 - -3114. Let d = -1607 - -3503. Let i = z - d. Is i a prime number?
True
Let q = -12064 + 31311. Suppose -z - 2*b = -q, 3*z + 9740 = 4*b + 67461. Is z a composite number?
True
Suppose 3*k - 12 = k - v, 0 = -k - 2*v + 6. Suppose -t + 2*l - k = -2*t, 2*l + 10 = 3*t. Suppose 654 = t*j - 4934. Is j a composite number?
True
Let f = 38 + -28. Let a be (-3)/15 - (-112)/f. Is 682 - ((a - 4) + -4) a prime number?
False
Let x = -74 - -79. Suppose 3*g + 3*q = 6165, 4*g + 4*q = x*g - 2045. Is g a prime number?
True
Suppose q = 4*q - 0*q. Let x(i) = 0*i**3 + q*i**3 - i**2 - 7*i**3 + 6*i**3 + i - 5. Is x(-4) a composite number?
True
Suppose -2*z - 4*z = 0. Suppose -3*m = d - z + 1, -4*d + m = -61. Is (5 - 91/d)/((-3)/3670) prime?
False
Suppose 2074624 = 4*b + 2*u, 82 = 10*u + 22. Is b composite?
True
Suppose -4*k - 3*l = -97, -2*l = 2*k + 3*l - 59. Is (-3747 + -1)/((-44)/k) a prime number?
False
Let j(l) be the second derivative of l**4/6 - l**3/3 + 2*l**2 + 6*l. Let g be j(0). Suppose 3*u + 2*s - 365 = 0, -236 = g*u - 5*s - 692. Is u a prime number?
False
Suppose 13 = t - 1. Is (-2)/(-42)*6 - (-63654)/t a composite number?
False
Let t be (15 + -9)/(3/2 + 0). Suppose t*x - 66633 + 8721 = 0. Suppose -x = 7*p - 13*p. Is p a composite number?
True
Suppose -2*v + 20 = 12. Suppose 3*b - 5922 = -3*s, -3*b + v*s + 5915 = -0*b. Is b composite?
False
Let o(k) = -1901*k + 4510. Is o(-113) prime?
False
Suppose -s + 2 = 4*k, -10 = 7*k - 8*k - 5*s. Suppose -800 + 6714 = t - r, -t + 5*r + 5902 = k. Is t a prime number?
False
Let z = -41051 + 139608. Is z a composite number?
True
Let r(i) = i**3 - 21*i**2 + 15*i + 4. Suppose 2*q + 16*q - 450 = 0. Is r(q) a prime number?
True
Let f(q) = -12*q + 4*q - 2 + 63*q. Let r(l) = -111*l + 3. Let b(m) = -5*f(m) - 2*r(m). Is b(-1) prime?
False
Suppose 4*f = 2698 + 930. Is f a composite number?
False
Suppose 4*h = -28, 13*c + 1637649 = 18*c - 2*h. Is c composite?
True
Let z = 83600 + -52471. Is z a prime number?
False
Let o(d) = d**2 + 9*d + 12. Let z be o(-9). Let q be (-15)/18*(-6)/15*z. Is q/(-10)*(-1167 + -1 + 3) prime?
False
Let s(z) = -5*z**3 + z**2 + z. Let m be s(-2). Let h = -38 + m. Suppose 5*x = -2*d + 1262, 0 = d + 4*d + h*x - 3189. Is d a composite number?
False
Let l = 362 - 336. Suppose 629158 = l*h - 16552. Is h composite?
True
Let v(s) = -16*s + 24. Let o be v(-2). Suppose o*h = 57*h - 5623. Is h composite?
False
Suppose -r = 5*g + 3*r - 786688, 2*g = 4*r + 314692. Suppose -28*f + 8*f = -g. Is f prime?
True
Is -3*-1077556*5/60 a prime number?
True
Let z be 3/(-6)*38 + 2. Let c = 28 + z. Let n = 64 - c. Is n composite?
False
Let l(p) = 33*p**2 + 32*p + 379. Is l(-10) a composite number?
False
Let p(c) = -c**3 + 12*c**2 + 12*c + 15. Let s be p(13). Suppose s*n - 5 = -3*q - 27, -q - 4 = 0. Is (-1 + n)*(-535)/15 composite?
True
Let n = -937869 + 1482706. Is n a composite number?
False
Suppose 0 = 16*o - 2600128 + 270384. Is o a composite number?
True
Suppose 3*b - 482016 = 270111. Is b prime?
True
Let f be 60/120*(0 - 69390). Is (-14)/4 + f/(-6) a composite number?
False
Suppose 96*g + 1456 = 92*g. Let m = 55 - g. Is m a prime number?
True
Is (-149194)/(-2)*(-179 - -180) composite?
False
Suppose -i + 5*o - 5 = 3*i, 2 = -5*i + 2*o. Let r be -4 - -7 - i - (0 + -3). Is ((-32)/(-24))/(r/747) prime?
False
Let u(w) be the second derivative of w**4/6 + 7*w. Let s be u(1). Suppose -3*p - 2*m = -s*p - 1001, 2*m + 4044 = 4*p. Is p composite?
False
Let o = -65 + 65. Suppose -21*k + 17*k + 3628 = o. Is k a composite number?
False
Let g = 23 + -33. Let w = 8 + g. Is w*5/(30/(-573)) a prime number?
True
Let r(l) = 4*l**3 - 16*l**2 + 17*l - 19. Suppose 20 = -5*w, 16*v - 21*v - 2*w = -42. Is r(v) a prime number?
True
Let o = 28 + -60. Let t be (-2*10/25)/(4/(-270)). Let y = t + o. Is y a prime number?
False
Let r = -6021 + 12392. Is r composite?
True
Suppose 9*x - 2329212 = -487389. Is x a composite number?
True
Suppose 4*t + 32 = -3*i + 2*t