rime?
False
Is ((408620/8)/5)/((-5)/(-10)) a composite number?
False
Let x(n) be the first derivative of 39*n**2 - 19*n - 24. Is x(3) composite?
True
Is 29379/9 - (259/21 + -13) prime?
False
Let t = 12 + -13. Let v be t + 4 + -3 + -518. Let k = -220 - v. Is k composite?
True
Let i be (-4)/34 + 24/204. Suppose i = -2*m + 583 + 123. Is m prime?
True
Let u(l) = -l**2 + 6*l + 1. Let h be u(8). Let r(j) = -j**2 - 16*j - 9. Let o be r(h). Is 4/o*(1 + 5) a prime number?
False
Let i(z) = 387*z**2 + z - 7. Is i(2) a composite number?
False
Let x(v) = -v + 447. Let u be (-1)/2*(-17 - -17). Let k be x(u). Is k/9*(5 - 2) prime?
True
Suppose 1398*h - 1388*h - 130270 = 0. Is h a composite number?
True
Suppose -8*o = -3*o + 3*k - 2036, -4*k + 1624 = 4*o. Is o a prime number?
True
Let f = 13 + -10. Suppose f*a + 3*b - 1356 = -0*a, 0 = a - 5*b - 434. Is a a prime number?
True
Let r(b) = -4783*b - 378. Is r(-7) composite?
True
Suppose -8*w + 47 = -9. Suppose -w*i + 10*i = 921. Is i a prime number?
True
Suppose -4*r + 4*q - 1 = -29, -2*r - 5*q = 7. Suppose -2*a + 0*a = -r. Suppose 4*n - 50 = -3*m, m = 2*n + a*m - 24. Is n prime?
True
Is -4 + 102963/3 + -2 a composite number?
True
Is 4142 + -13 - (-1 + -3*1) a composite number?
False
Is 18/(-117) - ((-1580550)/65 - 1) prime?
True
Let y be 0/(0 + -2 + 4). Suppose -5*m + 59 = -5*s + 9, -2*s + 6 = y. Suppose 0 = -3*o + m + 44. Is o composite?
False
Let u(k) be the first derivative of k**4/4 + 7*k**3/3 - 7*k**2/2 + 5*k - 13. Is u(6) a composite number?
False
Is (46392/18 + -7)*3 prime?
False
Let l(t) = -4294*t - 45. Is l(-2) a prime number?
True
Suppose -683 = -5*x - 3*v - 0*v, -4*v = -x + 132. Let p = x + -87. Suppose -2*a + p = -r + 4*r, -3*a + 72 = 3*r. Is a prime?
True
Let s(v) = 84*v**2 + 2*v - 1. Suppose 5*b - 10 = -5. Let g be s(b). Suppose -3*h - 2*q + 74 + g = 0, 3*h + q - 159 = 0. Is h a prime number?
True
Let l(f) = 35*f + 28. Is l(15) composite?
True
Let n = 18 - 18. Suppose 2*x + 2369 = 5*u, 5*x - 302 = 3*u - 1731. Suppose y - 2*y + u = n. Is y prime?
False
Let y(x) = 450*x - 2. Let f be y(1). Suppose q + 2*t = -498, f + 1042 = -3*q - 4*t. Let s = 1023 + q. Is s prime?
False
Let h(l) be the third derivative of l**5/20 - l**4/6 + 5*l**3/6 - 11*l**2. Is h(6) a composite number?
False
Let f = -52 + 94. Suppose 2*p + 2 = 10. Suppose p*j = 58 + f. Is j a composite number?
True
Let b = 33418 + -23411. Is b a composite number?
False
Suppose 0 = 3*w + 4*k + 784, -13 = -4*k + 7. Let n = w - -1145. Is n prime?
True
Let c be (18/(-12))/(2/(-1516)). Suppose -1616 = -4*v + 4*x, 2*x = -2*v - 309 + c. Is v composite?
False
Suppose -4*k + 31 = -f, 0*f = 4*k + 4*f - 56. Suppose -5*a = -k*a + 5036. Is a a composite number?
False
Let r = -560 - -2095. Suppose 6*f - r = f. Is f prime?
True
Suppose 4*g - 4 = 5*v + 13, 7 = -4*v + g. Is ((-2183)/(-2))/v*-2 composite?
True
Suppose -3*x + 4*k - 6*k + 983 = 0, -657 = -2*x - k. Is x a prime number?
True
Suppose -3*i - 4*k + 21503 = 0, -k + 16939 = 2*i + 2607. Is i prime?
False
Let g be 12/((7 + -2)/75). Suppose -4497 = -g*p + 177*p. Is p composite?
False
Let g(l) = l**2 + l - 4. Let n be g(-3). Is (-1)/n - 2710/(-4) a composite number?
False
Let r be (40/(-15))/((-2)/15). Let i be (-56)/(-10) + (-12)/r. Suppose -i*b = -2*b - 447. Is b a prime number?
True
Let s = 2946 + -1093. Suppose 4*h = s - 449. Let y = h - 100. Is y prime?
True
Suppose -i = 3*f + 1615, -2*i + 10 = -0*i. Let j = 1283 + f. Is j prime?
True
Suppose -16 = 4*w + 36. Let d(j) = -60*j - 23. Is d(w) prime?
True
Is 24/6 - (3087/(-3))/3 composite?
False
Is (-6 + -2657)/(1/(-5)) prime?
False
Suppose 0 = 4*x + 2 + 10. Let v be x/(3/12 + -1). Suppose 39 = v*h - 37. Is h a composite number?
False
Let s = 1624 - 765. Suppose -2*v - s = -6159. Suppose 695 = -5*x + v. Is x prime?
False
Let g(p) = -23*p**3 + p**2 + 3*p + 5. Let l be g(-2). Suppose 6*n - 1931 = l. Is n composite?
False
Let j(t) = -t**3 - 4*t**2. Let k be j(-3). Let y(u) = 3*u**2 - 14*u + 12. Is y(k) a composite number?
True
Suppose -1428 = 15*t + 462. Let y = 613 - t. Is y composite?
False
Suppose 5*m - 6630 = 9185. Is m prime?
True
Let r(j) = j + 11. Let z be r(-7). Let t = z + -1. Suppose 26 - 92 = -t*d. Is d composite?
True
Suppose -4*q = -2*j + 636, 5*q - 5*j = -0*j - 795. Let i = 274 + q. Is i a composite number?
True
Let a(h) = h**2 - 11*h + 2. Let m be a(11). Let q(v) = -3 - 2*v**3 - 2*v + v**m + 5*v - 6*v**2. Is q(-8) composite?
False
Let p(v) = 3177*v + 56. Is p(3) a prime number?
True
Let c = -67 + 68. Is (-47925)/(-54) + c/(4/6) prime?
False
Let q = 4 - 8. Let g = -9 + 97. Is g/(-12)*138/q a prime number?
False
Is -73 + 23167 + 2/(-4)*-6 prime?
False
Let h(g) = -g - 5. Let q be h(-8). Suppose -5*y + f - 3 + 17 = 0, 4*f = q*y - 22. Suppose -k + y*r + 166 = 0, k - 97 = -r + 57. Is k a prime number?
False
Let f(k) be the third derivative of -k**5/60 + 7*k**4/6 + 31*k**3/6 + k**2. Is f(24) a prime number?
True
Let u(r) = 431*r**3 - r**2 - r + 2. Suppose -13*s + 16*s = 0. Suppose s = 6*a - 7*a + 1. Is u(a) a prime number?
True
Let s = -4 - -6. Suppose -3*l = s*l - 4*f - 41, 5*f + 25 = l. Is 6/(-15) + 417/l composite?
False
Suppose -3*l - 1 = 2. Let x be 4 + ((-9)/3 - l). Suppose -567 = -3*h + x*z, -5*h + 761 = -h - z. Is h a prime number?
True
Let c = 9753 + -4616. Is c a prime number?
False
Suppose 17*c = 10*c + 1827. Is ((-116)/(-30) - (-2)/15) + c composite?
True
Suppose 0 = 42*a - 36*a - 2514. Is a a composite number?
False
Suppose 0 = -u - 0*o - 4*o + 18, 9 = u + o. Let t(i) = 73*i + 12. Let k be t(u). Let z = k + -227. Is z composite?
False
Let n = 175 - 12. Suppose 82 = 5*k - n. Suppose 3 = 2*f - k. Is f composite?
True
Is 11859/9 + (-24)/(-18) + -1 a composite number?
True
Suppose -443*c + 444*c + 4 = 0, -4*a - 5*c + 32136 = 0. Is a composite?
False
Suppose -2*y = 3*y + 15. Let f be 2/(-6) + y/(-9). Suppose -2*m + 3*m + 5*z - 58 = f, -5*m = z - 170. Is m a prime number?
False
Let y be (-5467)/(-55) - 2/5. Suppose q = -k + 75, 5*k + 292 = 3*q + y. Is q a prime number?
True
Suppose 5*f = -o - o + 3187, 4*f = o - 1626. Let x = o - 793. Suppose -a - 316 = -x. Is a prime?
False
Suppose 5*b + 4*g - 78 = 3*b, 6 = 3*g. Suppose y + 23 = -y - c, 5*y = 5*c - 80. Let n = b + y. Is n a composite number?
True
Let v(q) = q**2 - 3*q. Let n be v(0). Suppose -2*y + y - 2*f + 14 = n, 0 = -3*y - 2*f + 42. Is y prime?
False
Suppose 11255 = 50*r - 45*r. Is r composite?
False
Let w(h) be the second derivative of 0 + 5/2*h**2 - 5/6*h**3 + 187/12*h**4 - 2*h. Is w(2) composite?
False
Let y(t) = -7*t - 4. Let i(k) = 13*k + 9. Let d(m) = 6*i(m) + 11*y(m). Let s be d(-5). Suppose s*w = 15 - 0. Is w prime?
True
Let z(s) = -s**3 + 5*s**2 + 2*s + 4. Let d = 4 + 1. Let h be z(d). Is 7315/49 - 4/h a prime number?
True
Let x(l) = 18*l**2 - 23*l + 194. Is x(27) prime?
False
Is -1*(-6 + -102212)*(-6)/(-12) composite?
False
Suppose -3171 = -5*b + 4*c, 114*b - 118*b = -c - 2528. Is b prime?
True
Let q(w) = w**2 + 2*w - 8. Let c be 5/(-20)*(2 - 30). Is q(c) prime?
False
Let s = -11349 + 18427. Is s a composite number?
True
Is ((-12)/10)/((-4)/(-14660)*-2) a prime number?
False
Let u(o) = o**3 - 3*o**2 - 3*o + 1. Let i be u(4). Suppose i*s - 4*t - 1604 = 2693, 4*s = 2*t + 3440. Suppose -5*c + s = 2*c. Is c a prime number?
False
Let v = -1352 + 3685. Is v a composite number?
False
Let t be (-24)/(-40)*(1 - -14). Let i(v) = v**3 - 7*v**2 + 7*v - 8. Is i(t) prime?
False
Suppose 9 + 3 = 2*a + 3*n, 5*a - n = 30. Is a/15 - 1758/(-30) prime?
True
Suppose 5*c - 59290 = -2*m, -5*c - 4*m + 82829 - 23539 = 0. Suppose -3*b = -o + 2957, c = 4*o + 3*b - 0*b. Is o composite?
False
Let r(t) = -238*t - 5. Let m(o) = -238*o - 5. Let w(z) = -4*m(z) + 5*r(z). Is w(-2) prime?
False
Let o(p) = 6*p**2 - 6*p + 1. Let t be o(-6). Let l be 17/34 - t/(-2). Let s = -72 + l. Is s composite?
True
Suppose 2*n = 2*h - 4077 - 1387, 0 = -2*n - 6. Is h a composite number?
False
Let a be 10/(-35) + 102/14. Suppose a*q + 7890 = 9*q. Suppose -5*y + 3910 = 5*h, 5*y - 2*h = -0*h + q. Is y prime?
True
Let y = 33057 + -17616. Is y a prime number?
False
Let l(h) = h**3 + 23*h**2 + 29*h - 2. Is l(-9) composite?
True
Suppose -3*i + 6*i - 15 = 0. Suppose -m = i*k - 18, 3*m - k - 3 = m. Suppose 17 = b - 5*y - 79, -3*b - m*y = -2