4 - 10*f**3/3 - 4*f**2. Let v be s(0). Is (-1185)/v - (-1)/(-4) a prime number?
True
Let c(k) = -k**3 - 10*k**2 - 14*k - 9. Let y(i) = 7*i + 4. Let w be y(-2). Is c(w) a prime number?
True
Suppose 0*u + 3268 = 4*u. Suppose 228 = 5*g - u. Is g a composite number?
True
Let q(s) = 4*s**2 - 15*s + 4. Is q(-25) prime?
True
Is (-3 - (-518 + 0)) + -4 a prime number?
False
Let p(j) = 47*j**2 + 3*j + 5. Is p(-4) composite?
True
Suppose 10*g = 7*g + 201. Is g a composite number?
False
Let y be 8/(-6)*(-15)/10. Suppose -3*s - 3*i = s - 183, -i = -5. Suppose 4*j - s = -y. Is j a prime number?
False
Let o be (-6)/27 - (-3975)/27. Suppose -3 = -5*j + 17, -w - o = 4*j. Let r = -108 - w. Is r composite?
True
Suppose 5*y - 1575 = d, -y + 2*d + 121 + 203 = 0. Is y a prime number?
False
Let k(w) = -w**3 + 4*w**2 + w. Let i be k(4). Is 2*(-6)/i + 136 composite?
True
Let k(y) = -3*y + 20. Let i be k(9). Let d(w) be the second derivative of -w**4/12 - 4*w**3/3 + 2*w**2 + w. Is d(i) a prime number?
True
Let t(x) = 26*x**2 + 4*x - 17. Is t(-9) prime?
True
Suppose 5*g = 173 + 37. Suppose -4*c + g = -178. Is c a composite number?
True
Is 109 + 6*1/(-2) a composite number?
True
Let p be (-1244)/(-10) - 8/20. Let b = p + 243. Is b composite?
False
Let p = 91 + -58. Let i = 48 - p. Is i a composite number?
True
Let q(p) = 288*p**2 - 2*p + 1. Let j(r) = -r**2 - 2*r + 1. Let o be j(-2). Let i = 0 + o. Is q(i) a prime number?
False
Let w = -9 + 20. Suppose 3*k = 7*k + 20. Let g = k + w. Is g prime?
False
Let c(o) = 43*o + 7. Is c(6) a prime number?
False
Suppose 951 = 2*d + 3*c, -5*d - c + 1887 = -d. Is d a composite number?
True
Suppose 14*c - 1168 = -20. Is c a prime number?
False
Suppose 5*j + 0*w + 26 = -3*w, -j - 3*w = 10. Is 1341/(-6)*j/6 a composite number?
False
Let g(a) = -127*a + 3. Is g(-2) a composite number?
False
Let r be -22*((-3)/(-2) + -1). Suppose -6*b = -10*b + 200. Let g = b + r. Is g composite?
True
Suppose 0 = 3*r - 6 - 0. Suppose 2*b = r*u + 176, b - u = -6*u + 70. Is b a prime number?
False
Let b = 5 + -4. Is (1 - (1 + b))*-31 prime?
True
Let r = 565 + -24. Is r prime?
True
Is ((-2)/4)/((-21)/51198) prime?
False
Suppose -4*z - 5*y + 25 + 25 = 0, 2*z - 2*y - 34 = 0. Is (z - 1)*111/6 prime?
False
Suppose -4*t = t + 20. Let x(p) = 16*p**2 + 2*p + 9. Is x(t) composite?
False
Let u(d) = 26*d + 2. Let c be u(3). Suppose 5*o - 3*f - c = 82, -o = f - 34. Is o prime?
False
Let k(i) = 3 - i - 2*i - 13*i. Is k(-5) a composite number?
False
Let t(j) = -128*j**2 + 3*j. Let r(z) = 256*z**2 - 7*z. Let w(u) = -2*r(u) - 5*t(u). Is w(1) a composite number?
False
Is (-4)/(-18) + 448715/153 a prime number?
False
Suppose -3 = -s + 1. Suppose l - 3*l = s*q - 12, -2*l = 5*q - 12. Suppose -p = -v + l*v - 112, 0 = -3*v - 3*p + 60. Is v prime?
True
Let d(x) = 5*x. Let o be d(-1). Let w be 6*(0 - 10/3). Let y = o - w. Is y composite?
True
Suppose -7*n + 3*n + 8 = 0, 2*n = z - 5. Let g be 3*1*87/z. Suppose 4*l - 2*f - 72 = 0, 3*l + 4*f - 36 = g. Is l composite?
False
Let g(a) = 7*a + 10. Let m be g(9). Let j = 95 + -143. Let b = m + j. Is b composite?
True
Let x(i) = -69*i**3 + 3*i**2 + 3*i + 2. Is x(-3) a prime number?
False
Suppose 178 - 38 = 4*o. Suppose -h = -2*h + o. Is h composite?
True
Suppose 5*k - 5 = -4*s + 2*k, 3*s + 4*k - 2 = 0. Suppose i + 7 = s*i. Is i a composite number?
False
Is 13*(-5)/(-10)*2 a prime number?
True
Let s(z) = 12*z**3 - z**2 + 2*z - 2. Let g be s(2). Suppose 0 = -6*o + 2*o + 236. Let x = g - o. Is x prime?
False
Suppose -7*a + 707 + 308 = 0. Is a a composite number?
True
Let n = -23 + 54. Suppose 2*g - n - 71 = 0. Is g a prime number?
False
Let y(v) = 27*v**3 + 2*v**2 + 3*v + 1. Is y(3) a composite number?
False
Let k = -187 - -632. Is k a prime number?
False
Let k = -140 - -199. Is k composite?
False
Let d = -11 + 11. Suppose 2*q - 14 = -d*q. Is q a composite number?
False
Let x = -854 + 2103. Is x a prime number?
True
Let b be (-77)/(-22) - 1/2. Suppose b*z = -5*r + 242, 0 = 2*r - z - 52 - 36. Is r a prime number?
False
Suppose -5*k = -2660 - 680. Suppose 1320 = 4*p - 2*l, 2*p - l - 4*l - k = 0. Is p a composite number?
True
Suppose f - 2*r - 8 = -0*r, 3*r - 2 = -2*f. Suppose d + f*d + t = 233, t + 2 = 0. Is d a composite number?
False
Let u(t) = 42*t + 9. Is u(11) a prime number?
False
Let m = -1 - -3. Suppose m*p = 5 - 1. Let r(v) = 3*v**2 - 4*v + 2. Is r(p) composite?
True
Suppose -4*v + 5*l - 6 = 0, -4*v + 0*l + 2 = -l. Let u(s) = -v + 1 - 1 + 8*s. Is u(1) composite?
False
Suppose -2*n - 4*w + 186 = 0, -5*n - 5*w + 475 = -0*n. Is n prime?
True
Suppose -6*n + n + w + 1408 = 0, -4*n + 3*w + 1133 = 0. Let h = -160 + n. Is h a prime number?
False
Let x(h) = 74*h**2 - 4*h + 1. Is x(3) prime?
False
Let y(p) = -13*p**3 + 3*p**2 + 2*p. Is y(-1) a composite number?
True
Suppose -5*i + 962 = c, 1444 + 1493 = 3*c - 2*i. Is c a composite number?
False
Let q = 6997 - 2306. Is q a composite number?
False
Let b(v) = 3*v**2 + v - 4. Let g(x) = x**2 - 1. Let d(q) = b(q) - 2*g(q). Let j be d(2). Suppose -5*f + 2 + 43 = 5*n, -5*n = -j*f + 54. Is f prime?
True
Is (-4)/(-5)*(-290)/(-4) composite?
True
Let f(x) = -x**2 + 7*x - 3. Let o be f(5). Let w(h) = 54*h + 3. Is w(o) a composite number?
True
Let z(v) = -v**3 + 9*v**2 + 11*v - 3. Let k be z(10). Let m(s) = 2*s**2 - 8*s - 7. Is m(k) a composite number?
True
Let d be 1316/(-6)*3/(-2). Let w = d - 202. Is w composite?
False
Suppose h + 0 = 2*r - 3, -4*r - 3 = h. Let i(m) = 5*m - 33. Let f(a) = 9*a - 67. Let x(p) = -4*f(p) + 7*i(p). Is x(r) composite?
False
Let n(f) = 4*f**2 - f - 2. Let h be n(3). Let d = 64 - h. Is d composite?
True
Suppose 25*g = 7*g + 3366. Is g a composite number?
True
Let i(p) = 3*p**2 + 3*p + 11. Let w(m) = m**3 - 6*m**2 - 8*m - 1. Let t be w(7). Is i(t) a prime number?
True
Let o be 118/8 - 2/(-8). Let x = o + -7. Suppose 4*t = -x + 268. Is t a composite number?
True
Let n(m) = -m**3 + 2*m + 149. Is n(0) prime?
True
Let p(a) = 5*a**3 - 6*a**2 - 12*a - 10. Let m(f) = -14*f**3 + 18*f**2 + 35*f + 29. Let q(l) = 4*m(l) + 11*p(l). Is q(7) composite?
False
Let m = -8 + 4. Let u be 2/(-4) - 10/m. Suppose 56 = 4*l - 4*r - r, -u*l = -2*r - 30. Is l prime?
True
Let k = 9 + -30. Let c = k - 80. Is -6 + 7 - (c - 1) prime?
True
Let r(z) = -2*z**3 - 3*z**2 - 7*z - 15. Let x(g) = -g**3 - g**2 - 4*g - 8. Let i(f) = 3*r(f) - 5*x(f). Let y be i(-4). Is 1 + 88 + 2*y composite?
True
Let c(v) = 6*v + 2. Let b be c(-5). Let i = -15 - b. Is i a prime number?
True
Suppose 2*b + 0*b - 4 = 0. Is (-2 + -10 + b)*-1 prime?
False
Suppose 3*r - 2812 = -9535. Let y be r/(-15) + (-2)/5. Suppose 5*k + 34 = y. Is k a composite number?
False
Let s = -39 - -67. Let h = s + -5. Is h a prime number?
True
Let h be (-2 - 1) + (-20)/5. Let d be -3 + h/(14/4). Is (-7 - d)*(-131)/2 a composite number?
False
Let m be (76/(-8))/((-2)/4). Let s = m + 51. Let u = -31 + s. Is u a prime number?
False
Suppose -449 = 5*g - 0*m + 4*m, 5*g + m = -461. Is (g/(-3))/(1/1) a composite number?
False
Let u(b) = -b + 15. Let c be u(12). Is 424/2 - (c + 0) prime?
False
Suppose -15*g - 974 = -17*g. Is g composite?
False
Let n be 13368/(-44) + (-2)/11. Let s = -213 - n. Is s prime?
False
Let b(l) = l - 6. Let k be b(9). Suppose k*h - 2*h = 191. Is h a composite number?
False
Let m(p) = -68*p**3 - p**2 - p. Let k be m(-1). Suppose 3*c + 5 = 3*o + 98, 0 = -3*c - 2*o + k. Is c composite?
True
Let t = 5 + -2. Let x(k) = 2*k**t + 4*k - 4*k**2 - 3 + 4*k**3 + 0. Is x(2) composite?
False
Is (2 + 15/(-6))/(2/(-5924)) prime?
True
Suppose -x = -2*x - 3, -3*x = w - 491. Suppose -155 + w = 5*j. Is j a prime number?
False
Suppose 0 = 83*w - 87*w + 3452. Is w composite?
False
Suppose 4*b + 3*k = b + 18, 4*k = -5*b + 27. Suppose -5*g + b*j = -31, 3 = 2*g + j - 5. Suppose 47 = u + 2*u - g*v, -u - 5*v + 29 = 0. Is u a composite number?
False
Suppose 5*x + 3*y - 12186 = 2*y, -x + 2436 = -y. Is x prime?
True
Let f = 806 + 183. Is f a prime number?
False
Let d = -8 - -12. Let b(u) = 26*u**2 + 2*u - 2. Let x be b(-3). Suppose -d*a = -2*m - 704, a = -5*m + x - 39. Is a composite?
True
Let y(a) = 30*a**2 - 4. Let w(o) = o**2 - 1. Let c(q) = -4*w(q) + y(q). Let p(f) = -f - 7. Let b be p(-6). Is c(b) a composite number?
True
Suppose -v = -405 - 193. Let d = -27 + 13. Is 