 composite?
True
Suppose -2*o = 6, 10 = -0*p - p - 4*o. Let k = 0 + p. Suppose 0 = -5*g + k*g + 93. Is g a prime number?
True
Let m be 27/(-36) + 1/(-4). Is -19 - -21 - (m - 28) prime?
True
Suppose -15*g = -1378553 - 19432. Is g a prime number?
True
Let n be (-2)/((-4)/22) + 0. Let m be 196/16 + (-2)/((-16)/6). Suppose n*p - m*p = -578. Is p prime?
False
Suppose 2*s + s = 5757. Is s composite?
True
Suppose 4*h - r = 5 + 8, 3*h - 13 = 4*r. Suppose -h*z + 0 + 3 = 0. Suppose -98 = -4*j - n + 1315, -z = -n. Is j composite?
False
Let h = 4330 - 2277. Is h prime?
True
Suppose -20*p + 18*p = -12822. Is p a prime number?
False
Let v be 5/2 - (-1)/2. Suppose v*o = 6*o - 15. Suppose -a = 0, i - 6*i + o*a = -515. Is i prime?
True
Suppose 0 = o + 5*y + 24, -14 = 3*o - 5*y - 2. Let q(f) = -f**3 - 4*f**2 + 10*f - 13. Let v be q(o). Let s = v - -33. Is s prime?
False
Let m(b) = 7994*b**2 + 20*b - 21. Is m(1) a composite number?
False
Suppose -4*p - 8 = -5*d + 8, d = 0. Let z be 2 + p + (15 - 1). Let u(a) = 2*a - 9. Is u(z) prime?
False
Let v(s) = -3529*s - 50. Is v(-7) a prime number?
False
Is -23763*(-6)/9 - 7 a composite number?
True
Let a(p) = -p**2 + 6*p - 3. Let m be a(2). Suppose m*k - 1027 + 57 = 0. Is k a prime number?
False
Is -10*(-1)/(-4)*(-1 - 3) a prime number?
False
Suppose -2*k = 4*h - 9910, -1359 = -h - 5*k + 1132. Is 4/12 + h/6 a prime number?
False
Let d = 3363 - -2722. Is d a prime number?
False
Let b = 3305 + 8274. Is b a composite number?
False
Let g(q) = -q**3 - 41*q**2 + 77*q - 107. Is g(-46) composite?
True
Let i(l) = 2*l**2 + l + 2*l - l**2 + 3 + 0*l. Let b be i(-2). Let y(j) = 162*j**2 + 1. Is y(b) prime?
True
Let a = 3104 + 2607. Is a prime?
True
Suppose 0 = -5*f + 76 + 59. Let p be (-5036)/(-18) - (-6)/f. Suppose 0 = 2*t + p - 870. Is t a prime number?
False
Let j(s) = s**3 + 12*s**2 + 11*s. Let o be j(-11). Suppose -2*n + x - 6 + 507 = o, -5*x = n - 256. Is n prime?
True
Is (-4089)/2*(-14)/21 composite?
True
Suppose 255 = -w + 1161. Suppose -2*s - 140 = 2*q - w, s - 389 = -4*q. Is s a composite number?
True
Let o(l) = -l + 7 + 5*l - l + 2*l**2. Let i = 31 - 39. Is o(i) a prime number?
False
Let j(c) = -2*c - 5 - 3*c - 47*c**2 + 166*c**2. Is j(-3) prime?
False
Suppose 3*o + 5*w = -2*o + 23585, w + 18848 = 4*o. Is o prime?
False
Let q = 12 - 10. Suppose 2*y + 2*c + q*c = -54, -3*c + 37 = -y. Let f = y - -222. Is f composite?
False
Let n = 30364 + -20973. Is n a prime number?
True
Suppose -4*l = -l - 339. Let u = 110 + l. Is u composite?
False
Let j = 11296 - 5386. Suppose -2*q + j = 2*q - v, 5916 = 4*q - 4*v. Is q prime?
False
Let y = 633 - -52. Is y prime?
False
Let t(v) = -13*v**3 + 6*v**2 + 21*v + 127. Is t(-10) a composite number?
True
Let w(t) = -t**2 - 4*t + 1. Let n be w(-7). Let l be (3 - n*2)*1. Suppose -23 = -2*p + l. Is p prime?
False
Let c(a) = 8*a - 13. Let y be c(-7). Let j = 135 + y. Let r = j + 185. Is r a composite number?
False
Is (12/8)/(11/((-110440)/(-12))) composite?
True
Suppose -13*w + 21*w = 32. Suppose 3*h - x - 1450 = 0, 3*h - w*x = 4*h - 505. Is h a composite number?
True
Let o = -21 + 32. Let g(v) = -v**3 + 10*v**2 + 10*v + 16. Let l be g(o). Suppose 447 = 5*s - l*d - 158, -4*s = 4*d - 500. Is s composite?
True
Let h = -21 + 23. Suppose 3*x = -h*x + 3965. Is x prime?
False
Let x = 21 + -19. Suppose -k = -2*k - x*f + 43, 0 = 2*k + f - 74. Is k a composite number?
True
Let h = 9531 - -6652. Is h a composite number?
False
Let t(h) = h**3 - 20*h**2 + 19*h + 23. Let b be t(20). Suppose 2*u = 0, -2*l + 3*u = -1157 + b. Is l composite?
True
Let m(p) = 10*p**2 - 11*p + 25. Is m(-12) a composite number?
False
Let q(m) = -2*m**2 - 16*m**3 - 8*m**3 + 2*m**3 - 7*m**3 - m. Let z be q(-1). Let n = z - -31. Is n composite?
False
Suppose 0 = -5*m + l + 3058, m - 3*l = 926 - 306. Let j = 49 + -45. Suppose -1070 = -j*d - f, -3*f = -5*d + 718 + m. Is d a prime number?
False
Suppose -3*d - 408 = f, -3*f + 780 = -5*f + 3*d. Let m be (-47 - -42)*(1 + 166). Let r = f - m. Is r a composite number?
False
Let h(w) = 6352*w + 413. Is h(5) a prime number?
True
Let k = 316 - 62. Let n = k + -75. Is n composite?
False
Suppose 0 = -3*h + 4*s, 2*s = -2*h + 7*s - 7. Suppose -8 = -2*c + h*i, 2*i = 5*c - 5 + 1. Suppose 0 = 2*x - b - 1488, c*b + 3707 = 5*x + 4*b. Is x prime?
True
Let r(q) = -q**2 - 11*q + 16. Let a be r(-12). Suppose m = -a*m - 5. Is 2073*m/(-6)*2 a composite number?
False
Suppose -6*t = 3*u - 11*t - 25386, -u - 3*t = -8476. Let l = 16106 - u. Is l prime?
True
Let m(f) = f**2 - 11*f + 12. Let s be m(10). Let t(b) = -b + 4. Let j be t(s). Suppose 2*v - 1516 = -j*v. Is v a prime number?
True
Let n(j) be the third derivative of -1/12*j**4 + 37/60*j**5 + 0 + 0*j + 1/3*j**3 + 3*j**2. Is n(2) composite?
True
Let w(v) = -v**3 - 26*v**2 + 22*v + 22. Is w(-29) composite?
False
Suppose -7*h + 677022 = -518921. Is h prime?
False
Is (-12)/66 + (-114162)/(-22) a composite number?
False
Let q(i) = 8*i**2 - 45*i - 53. Is q(-12) prime?
False
Suppose -7*v + 17033 - 814 = 0. Is v a prime number?
False
Suppose -l + 5 = -2*a + 3*a, -3*l - 17 = -5*a. Suppose -a*x + 49 = 4*h - 43, -3*x - 12 = 0. Suppose d - 4*v - h = -2, -3*d - 2*v = -19. Is d prime?
False
Let v(u) be the second derivative of u**4/12 + 11*u**3/6 - 2*u**2 - 7*u. Let t be -13 + 2 + -2 + -1. Is v(t) composite?
True
Let z be 1/4*64/4. Suppose z*j - 1130 = 2658. Is j prime?
True
Let u(m) = 4*m. Let f be u(3). Suppose -f*o + 9*o = -78. Is (4 - o)*21/(-6) composite?
True
Suppose -t = -f - 2632, 2*t + 3*t + 3*f = 13168. Is t prime?
True
Suppose -5*x + 21505 = 5*j - 8350, 0 = 5*x - j - 29855. Is x prime?
False
Suppose -24 = -4*u + 2*a, 5*u + 2*a - a - 44 = 0. Suppose u*t + 15 = 3*t. Is t + (3 - 221*-1) composite?
True
Let w(d) = 176*d**2 - 34*d + 309. Is w(10) a composite number?
False
Let b(k) = -k**3 - k**3 - 10 - 2*k**2 - 2*k**2 - 3*k. Let l be (7/(28/18))/(3/(-6)). Is b(l) a prime number?
True
Let n = 780 - 759. Let d(f) = -f + 12. Let w be d(5). Is 2/w + 28575/n composite?
False
Suppose 95842 - 442790 = -28*p. Is p a prime number?
True
Suppose -804*k = -817*k - 117. Let g be (16/(-6))/(2/18). Let i = k - g. Is i a prime number?
False
Let b(a) = a**2 - 18*a + 5. Let r be b(18). Suppose -r*q = f - 1370, -2*f - f = 15. Suppose 0 = 6*c - c - q. Is c a prime number?
False
Let i be ((-2)/4)/((-2)/(-4)). Let x = 49 - 50. Is (i/2 - x)*14 composite?
False
Suppose 2 + 4 = -3*m. Is (14/(-28))/(m/1572) a prime number?
False
Let p(g) = g**3 + 4*g**2 + 2*g - 3. Let b be p(-3). Suppose b = 2*x + 4*y - 114, 0 = 4*x + y - 6*y - 215. Is x prime?
False
Let k(b) = 8*b**2 - 7*b - 9. Suppose -33 = 3*c + 5*g - 0*g, 27 = -2*c - 5*g. Is k(c) composite?
True
Let a be 10/(-4)*(-2 + -2). Let m be (23/2)/(a/140). Let l = m + -12. Is l a composite number?
False
Let t be ((-4)/3)/((-8)/(-12)). Let s(r) = -r + 1. Let m(o) = -83*o + 2. Let w(h) = t*s(h) - m(h). Is w(3) prime?
True
Let q(l) = 5*l - 35. Let k be q(6). Is (k + 253 + 3)*5 prime?
False
Let v(u) = u**2 - 5*u + 7. Let o be v(6). Let q(b) be the first derivative of 2*b**3/3 - 15*b**2/2 + 18*b + 73. Is q(o) composite?
True
Suppose 0 = -t - 4*p + 3814 + 16915, t - 20753 = 4*p. Is t a prime number?
False
Let h(i) = -1757*i - 167. Is h(-14) a composite number?
True
Let v(j) = 64*j - 10. Let q be v(-16). Let x = 1453 + q. Is x a composite number?
False
Let d = -15647 - -53704. Is d a composite number?
True
Let j = -24 - -71. Suppose 0*o - 5*q = 2*o - 7, -4*o = -q - j. Let c = 4 + o. Is c prime?
False
Let s be 25/6 + 18/(-108). Let h = 307 - 144. Suppose 2*u + 4*r = -r + 78, -h = -3*u + s*r. Is u a prime number?
False
Let s(j) = -j**3 - 2*j. Let m be s(0). Suppose 327 = 3*k - m*k. Is k composite?
False
Let j(r) = 42*r**2 + 12*r - 31. Is j(11) composite?
True
Is 5 + (1 - -1107) - -4 a composite number?
False
Suppose -2*w + 2 = -2. Let y be (1 - (w - 1)) + -1256. Let i = -609 - y. Is i a composite number?
False
Suppose 136 = 4*m + 4*u - 3*u, -4*m = 4*u - 136. Suppose -w = k - 257, -w + k + m = -227. Is w a prime number?
False
Suppose 0 = 4*d - 2*y + y - 105, -4*y - 134 = -5*d. Let h = d - -33. Is h composite?
False
Is 822/5 + -1 - (-52)/(-130) prime?
True
Is (-4)/50 - (-13374063)/1725 prime?
True
Let a(o) = -2*o**3 + 14*o**2 - 1. Let g be a(7). Let h(x) = 2