True
Suppose -4 = -0*t + t + 3*q, 0 = -2*t - 2*q. Suppose 3*f + 4*o - 96 = 0, 18*f = 13*f + 4*o + 160. Suppose t*a = 642 + f. Is a composite?
False
Suppose 0 = -11*w + 151016 + 95747. Is w composite?
False
Let z be (-1)/(3 + (-64)/20). Let y be (-20)/8*4/z. Is (-236)/(-12) - y/(-3) a composite number?
False
Suppose 5*z = 5, 4*z = 13*o - 10*o - 166355. Is o a composite number?
True
Let n be (10 - 0)*(-13384)/(-10). Suppose -14*p = -6*p - n. Is p composite?
True
Let w be -5*36/(-150)*10/(-3). Let s(d) = -1761*d + 1. Is s(w) composite?
True
Let j = -1368 + 48109. Is j composite?
True
Let j = 24058 - 5351. Is j a prime number?
False
Suppose -d + 3565 = 4*d. Let g be 8/(-4)*d/(-2). Suppose 5*p = -3*o + g, p - 3*o - 240 = -83. Is p a composite number?
True
Suppose 3*l - 3 = 2*l. Suppose -4*p = -x - 4496, l*p - 3*x = 4917 - 1536. Is p a composite number?
False
Let f = 72 - 49. Let o = -17 + f. Suppose -2*b - o = 0, z + 4*b + 29 - 100 = 0. Is z prime?
True
Let j be ((-7)/21 - 34/(-3)) + -1. Suppose j*o = 8*o + 2018. Is o prime?
True
Suppose -3 = -3*x, 3*x + x - 7 = -m. Suppose 0 = -m*b - b - 2*c + 10, -4*c + 20 = 5*b. Is b - (-469 - (-6)/3) composite?
False
Let s(y) be the third derivative of -5*y**2 + 3/10*y**5 - 1/12*y**4 + 0*y + 0 - 1/6*y**3. Is s(6) a prime number?
False
Is (-140470)/55*2/(-4)*1 prime?
True
Suppose s + i - 40350 = 12292, 3*i = 3*s - 157908. Is s a prime number?
True
Suppose 5*v + 5*u = 2*v + 18, -3*v + 18 = -2*u. Is (6/(-4))/(v*1/(-7948)) a composite number?
False
Let d = 48328 + -27647. Is d prime?
True
Suppose 0 = -9*l - 0*l + 7389. Is l prime?
True
Suppose 0 = 4*h - 25034 - 11226. Suppose 0 = -5*y + 2*q + 2*q + h, 2*y = -4*q + 3654. Is y prime?
False
Let o = -36 - -26. Let f = 15 + o. Suppose 3*j + f*s - 757 = 0, -5*j = 2*s - 1019 - 249. Is j prime?
False
Let k(c) = c**3 - 6*c**2 - 16*c. Let b be k(8). Let i be (-6)/21 + (-3383)/(-7). Suppose z - 4*z + i = b. Is z a composite number?
True
Let u(x) = 1219*x**2 - 7*x + 21. Is u(-4) a composite number?
False
Let o(j) = -2*j**3 + 9*j**2 - 10*j - 16. Let u(a) = 2*a**3 - 9*a**2 + 9*a + 16. Let y(i) = 5*o(i) + 6*u(i). Is y(9) composite?
True
Let b(o) = -2*o + 3*o + 0*o. Let t be b(5). Let w(l) = 16*l + 11. Is w(t) a prime number?
False
Let n(y) = -16476*y - 151. Is n(-4) prime?
False
Let t(w) = w**3 + 2*w**2 + 24071. Is t(0) prime?
True
Suppose 10*z = 58130 + 26840. Is z a prime number?
False
Let l = -24 + 29. Let v(b) = 9*b**3 + 4*b**2 + 5*b - 1. Is v(l) prime?
True
Let b = 42263 - 29230. Is b prime?
True
Is 27808 + -3 - ((-30)/(-6) - 3) a prime number?
True
Let f be 3*((-33)/(-9) + -3). Suppose -2*x + 947 = y, 0 = -f*x + y + 2*y + 927. Suppose 2*l = -l + x. Is l a prime number?
True
Let y = 163679 + -114776. Is y a prime number?
False
Suppose -35 = 2*t + 3*t. Let v(z) = -z**3 - 5*z**2 - 5*z - 9. Let j be v(t). Is (j/6)/((-10)/(-15)) composite?
False
Let f(c) = 91*c**2 + 15*c - 73. Is f(6) a composite number?
True
Let w(i) = -36*i**3 - 2*i**2 - 27*i - 37. Is w(-6) a prime number?
True
Suppose -7*g = -3*g. Suppose 2*k - 3*q - 269 = g, 8*k - 533 = 4*k + 5*q. Is k a prime number?
True
Let s(w) = w**2 - 1. Let h(a) = 87*a**2 - 7*a + 13. Let d(x) = h(x) + 4*s(x). Is d(2) a prime number?
True
Let x(m) = 64*m**2 - 11*m - 5. Let a be x(-6). Let s = 4158 - a. Is s a composite number?
True
Suppose -2*i = i. Suppose g - 4*c - 489 = i, 0*g - 1975 = -4*g - 3*c. Let u = g + -275. Is u composite?
True
Suppose 5*q - 57*r + 52*r - 85380 = 0, -5*q - 2*r + 85387 = 0. Is q a prime number?
True
Let c(a) be the second derivative of a**5/20 - 5*a**4/12 + a**3/3 + a**2/2 + 2*a. Let z = -157 + 165. Is c(z) composite?
True
Suppose -2*g = -2*n + 6 - 0, 5*n - 2*g - 15 = 0. Suppose w + 7633 = n*d, -3*d + 7627 = -5*w + w. Is d a prime number?
False
Let x(c) = 182*c + 3. Let a be x(4). Let h be -1*(-2 + (-3)/(-2))*2900. Let d = h - a. Is d prime?
True
Let d(c) = -2*c + 2. Suppose -3*r + 9 = 3*b, 0 = -b + r - 3 - 0. Let q be (b + 1)/((-1)/6). Is d(q) a prime number?
False
Let f = -4366 - -7029. Let b = -762 + f. Is b prime?
True
Let a be 19/7 - (-4)/14. Let k = 476 + -471. Suppose f + 2*q - 597 = 0, -k*f + 2955 = q + a*q. Is f a composite number?
False
Let b be 10/(-55) - 6/(-33). Let l(g) = -3*g - 1251. Let c be l(b). Is (-2 - c)/(2/2) prime?
True
Suppose 0 = -4*w - 5*a - 52, 9 - 1 = w - 4*a. Let i = -38 - -53. Let t = i + w. Is t a composite number?
False
Let i(b) = 4*b**2 - 4*b + 3. Let r be i(4). Let m = -18 + r. Suppose -m = -4*y + 859. Is y composite?
False
Let j(a) = 2*a**2 - a - 20. Suppose -3*s + 2*u = 10, 20 = s + s + 4*u. Let q be (-26 - -4)/(-2) + s. Is j(q) a prime number?
True
Let w(g) be the first derivative of -g**4/4 + 3*g**3 + g**2/2 - 8*g + 8. Let u be w(9). Is 113*(3 + u - 3) a composite number?
False
Let q(b) = -89*b + 71741. Is q(0) a prime number?
True
Let o(u) = 17*u**2 - 4*u + 10. Let y be o(4). Suppose -z + 55 = -2*v, 0 = 4*z + z - v - y. Let g = z - -62. Is g composite?
True
Let k(v) = -16 + v + 32 + 2*v**2 - 7 + 38. Is k(-18) prime?
True
Is (8343/(-6) + -2 + -1)*-2 composite?
True
Is ((-74)/(-6) - 13)/((-4)/1391514) a composite number?
False
Suppose -7*b + 3*b - f = -123792, 3*b - f = 92837. Is b a prime number?
False
Suppose 0 = 10*h - 19*h + 75969. Is h a prime number?
False
Let l = 59 + -55. Suppose 4*o + o - 2*p - 485 = 0, 3*p = -l*o + 365. Is o prime?
False
Suppose 5*l = -4*z + 47979, 0 = -27*l + 28*l - z - 9603. Is l composite?
True
Let v(p) = -2*p**2 - 14*p + 7. Let a = 54 + -61. Is v(a) a prime number?
True
Let b(f) = -3*f**2 - f. Let n be b(-1). Let p(i) = -i**3 - 3*i**2 + 3*i - 3. Let k(u) = -u**2 + u - 1. Let z(s) = n*p(s) + 5*k(s). Is z(2) a prime number?
True
Suppose -17 = -2*k - 7. Suppose 6*n - n = k. Is (1 - -96)*(2 - n) prime?
True
Let b be 37 - 4/(-2) - 1. Suppose 153 + b = y. Is y composite?
False
Is (-35)/14*(-9118)/5 prime?
False
Suppose 0 = -5*x - 6*x + 49357. Is x a prime number?
False
Let h = -1464 + 4249. Is h a composite number?
True
Let b(j) = 172*j**3 + 9*j**2 - 8*j - 2. Is b(3) a composite number?
True
Let h(d) = 4*d**2 + 3*d. Let p = -32 - -18. Let c be h(p). Is c + (4/(-2) - -3) a prime number?
True
Let d be (-3 - -3)/(-5 - -7). Suppose d = -v - 3, 0 = -2*c - 3*v + 61 + 64. Is c a prime number?
True
Let s = 202 - 57. Let q = -18 + s. Is q + -6*4/6 prime?
False
Let z(w) = -4*w**3 + 6*w**2 - 29*w - 25. Is z(-14) a prime number?
False
Suppose -20*o = -26*o + 22098. Is o prime?
False
Let s = -4109 - -7468. Is s a prime number?
True
Let y = -1454 - -1002. Let d = y + 1949. Is d a prime number?
False
Let r = -8 - -8. Suppose 1096 = -2*l + 7*l - 2*t, r = 3*t - 6. Suppose -m + 4*m - 211 = -4*u, -5*m - l = -5*u. Is u composite?
True
Let a(i) = 5*i**2 - 35*i - 5. Let f be ((-16)/24*4)/(1/6). Is a(f) a composite number?
True
Let t = 6947 - -2462. Is t prime?
False
Suppose -3*y + 7*y = 28. Suppose c + y = -2*b, 0 = -2*c - c + b + 14. Let z = c + 36. Is z a composite number?
True
Is (93000/(-2))/(-6) - -1 composite?
True
Let v = -33 + 39. Suppose v*s + 385 - 4387 = 0. Is s a composite number?
True
Is (-8328)/(-40)*(-40)/(-24) prime?
True
Let x = -30 + 22. Is 2*-318*2/x prime?
False
Let j(y) = 19*y**2 + 7*y - 1. Suppose a - 7*a = -96. Let n be (-12)/a*(1 + 3). Is j(n) a composite number?
False
Let u(g) = 161*g - 78. Is u(7) a composite number?
False
Let v(c) = c + 2. Let q be v(5). Suppose -11*m + q*m = -1028. Is m a prime number?
True
Let q be (-273)/(-4) - 18/(-24). Suppose 359 = 2*o - q. Is o composite?
True
Let z(s) = -3543*s - 58. Is z(-5) a prime number?
True
Suppose a + 3*x - 3451 = 0, 5*a - 6691 = 3*x + 10600. Is a a prime number?
True
Let k(s) = 302*s - 107. Let n(u) = 201*u - 71. Let d(y) = -5*k(y) + 7*n(y). Is d(-11) a composite number?
False
Let q(s) = -4*s - 6. Suppose 0*c + 30 = -5*c. Let m be q(c). Suppose -w - m + 830 = 4*d, 0 = w. Is d prime?
False
Let o(f) be the first derivative of -3*f**3 + f**2/2 + 2*f - 4. Let u(x) be the first derivative of o(x). Is u(-3) prime?
False
Suppose -5*z + 5*c = -95, -3*c + 5 = z - 2. Suppose -r - 5*n + 2 = -6, 5*n = -2*r + z. Suppose r*w - 3*w - 745 = 0. Is w a prime number?
True
Suppose -8*w - 1137 = -7*w. Let m = -128 - w. Is m composite?
False
Let z(g) = g**3 - 10*g**2 + 17*g - 4. Let d be z(8). Suppose 13 = 5*t 