Is z a composite number?
True
Suppose 3*n = 2 + 4. Suppose -4*f + 52 = -n*f. Is f prime?
False
Let a(s) = s**3 + 13*s**2 + 9*s - 8. Let p be a(-8). Let m = p - -13. Is m a composite number?
True
Let t(x) = x + 24*x**2 + 90*x**2 + 0*x. Is t(-1) a composite number?
False
Is 6/(-2) + 406/7 composite?
True
Let v be (-2)/(-12) - 2/12. Suppose v*j - j = -489. Is j composite?
True
Let f be (2/4)/((-2)/(-16)). Let o(l) = 14*l + 6. Is o(f) a prime number?
False
Let y(n) be the second derivative of -n**5/4 - n**4/12 + n**3/6 - n**2/2 - n. Let i be y(1). Let q(r) = -r**2 - 7*r + 5. Is q(i) a prime number?
True
Let a(z) = 11*z**3 - 2*z**2 + z + 23. Is a(6) a prime number?
True
Suppose 2*t - 4*f + 16 = 0, 6*t - 2*t - 5*f + 17 = 0. Suppose 96 = -t*x - x. Let u = 67 + x. Is u composite?
True
Let i = 49 + -32. Let t be (-6)/12*4*-31. Let s = i + t. Is s prime?
True
Suppose 7 = u + 428. Let o = u - -720. Is o a composite number?
True
Let l(f) = -4 + 3*f**2 - 2 + 3*f + 3 - f**3. Let r be l(3). Is 108/2 - (-6)/r a composite number?
True
Let f(m) = -2 + 7 - 21*m - 3. Let b(k) = k**2 - 9*k + 13. Let l be b(4). Is f(l) prime?
True
Suppose -2*i + 4*i - 86 = 0. Is i a composite number?
False
Let v(c) = -c + 1. Let d(g) = -26*g + 7. Let p(t) = d(t) - 6*v(t). Let h be p(1). Let w = 6 - h. Is w a composite number?
True
Suppose 3*h - 17 = 160. Suppose -2*p - s = -166, -p - s + 22 = -h. Is p a prime number?
False
Let i be 0/((-9)/(-3) - 1). Let x(r) = 2*r + 127. Is x(i) prime?
True
Suppose 4*c + 148 = 3*m, -2*c + 0*c - 52 = 4*m. Let s = c + 3. Let z = 70 + s. Is z prime?
False
Let q = -6 - -6. Suppose 5*t + l - 3895 = q, -2*t + 3100 = 2*t + 4*l. Suppose -2*z - 413 = -p - 138, -3*p - 3*z = -t. Is p a composite number?
True
Let o = 3 + -3. Suppose 4*j - 196 = -o*j. Is j prime?
False
Let h be (-1 + -78)/(-2 + 1). Suppose r = -j + 5*r + h, 0 = j + 4*r - 87. Is j a composite number?
False
Let k be (3/(-3) + 6)/1. Suppose -k*w + 5*d + 0*d - 25 = 0, -3*w - 10 = -4*d. Let y(l) = l**2 - l + 9. Is y(w) a composite number?
True
Let q(g) = g**2 - 6*g. Let n(m) = -11*m**3 + m. Let s be n(-1). Let j be 9 - 5/(s/4). Is q(j) a prime number?
True
Let u(h) = -h**3 - 3*h**2 - 3*h - 2. Let w be u(-2). Suppose 5*d - 21 = -p, -2*p + 17 = 5*d - w*p. Is (-2)/(-5) - (-113)/d a prime number?
True
Let c = 6 - 1. Suppose -5*f + 10*f + 5 = -2*w, -c*w - 3*f = -16. Suppose -w*x + 0*j + 329 = 2*j, -3*x + j = -204. Is x prime?
True
Suppose v = -0*v. Suppose v = 4*p - 0*p + 4. Is 0 - (-202 + (-2 - p)) composite?
True
Suppose 10*l = 5*l + 1315. Is l composite?
False
Suppose 56 = -2*k + 8. Let w = k + 42. Suppose -i + w = -1. Is i composite?
False
Let b(z) = -z**3 - 6*z**2 - 2*z - 9. Let t be b(-6). Suppose 4*p - 438 = 3*p + t*d, p = 2*d + 437. Suppose p = 5*h + 50. Is h a prime number?
False
Let s = -662 + 1094. Let q = s - -289. Is q a prime number?
False
Suppose 0 = -2*j - p + 130, -3*j - p - 10 = -207. Is j a prime number?
True
Suppose 34 - 1 = -3*r. Let u = r - -15. Suppose -3*f + 3*l + 75 = 0, l = f + u*l - 9. Is f prime?
False
Let m(t) = 3*t**2 + 4. Is m(-3) composite?
False
Suppose -z - 90 = -5*g, -4*g = -0*g - 2*z - 78. Let c(i) = i**3 + 7*i**2 + 2*i + 4. Let f be c(-7). Let j = f + g. Is j composite?
False
Suppose -28 + 83 = 5*o. Let n = -7 + o. Is 2/n*298/1 composite?
False
Let x = 49 - 12. Is x a prime number?
True
Let k(x) = 6*x**2 - 8*x + 23. Is k(14) prime?
True
Suppose -12*r = -9*r - 195. Is r a composite number?
True
Let w(f) = f**3 + 4*f**2 + 5*f - 7. Let d(b) = b**3 + 3*b**2 + 4*b - 6. Let x(u) = -u + 5. Let l be x(8). Let y(j) = l*w(j) + 4*d(j). Is y(4) a prime number?
False
Let u(o) = -o**3 - 9*o**2 - 7*o - 15. Is u(-10) a prime number?
False
Suppose 15 = 5*a - 0*a. Suppose 6*l - a*l - 291 = 0. Is l composite?
False
Let y(a) = -a**3 + 7*a**2 + 10*a + 31. Is y(-8) prime?
True
Let h(k) = 2*k**2 + 16*k - 41. Is h(15) prime?
False
Let z(g) = -g**3 + 15*g + 1. Is z(-6) a prime number?
True
Suppose -3*n + 15 = -3. Suppose -n*r = -2*r + 8. Is (-169)/(-9) - r/9 composite?
False
Let i(v) = -23*v - 4. Let z be i(-3). Let k = 79 + z. Let o = k + -47. Is o a composite number?
False
Suppose -5*p = -3*g - 1895, -p + 5*p - 1516 = 2*g. Is p a prime number?
True
Let a = 7 + -5. Suppose 2*k = -3*x + 5, a*k - k = -2*x. Suppose i - 5 = k. Is i composite?
True
Let s(v) = -v**3 + v**2 + 3*v - 2. Let c be s(2). Suppose 0*g + 97 = 2*u + 3*g, -3*u + g + 140 = c. Is u a composite number?
False
Let w = -110 - -160. Suppose -5*m = -25 - w. Is 1/5 + 792/m prime?
True
Suppose q + 0*q - 3 = 0, -2*m - 2*q = -70. Let i = m - -15. Is i prime?
True
Let a(w) = -26*w - 7. Is a(-6) a prime number?
True
Let x = -265 + 520. Let f be (1 - -4)*17/17. Suppose f*b = 260 + x. Is b a composite number?
False
Suppose 0*g = -4*g + 12. Let i be 28/21*g/(-2). Let h(k) = k**2 - 2*k - 1. Is h(i) a prime number?
True
Suppose -7*s - 1486 = -9*s. Is s a prime number?
True
Is (684 - -7) + (2/(-2) - 1) prime?
False
Suppose 0 = -t + 5*t + 3*z - 43, 5*t - 68 = z. Is t a composite number?
False
Suppose 0 = -n + 8. Suppose -2*a + a = -p + 2, 4*p = -a + n. Is (-20)/(-4) - 4/p a composite number?
False
Suppose 0 = -5*o - g + 3537 - 383, -5*o - 4*g = -3151. Is o a prime number?
True
Suppose 2*y - 16 = 5*q, 5 = -y + 6*y + 5*q. Suppose 0*p - 159 = -y*p. Is p a prime number?
True
Let l be 10*(15/(-6) + 3). Suppose h - 3*h = -l*a + 427, h + 86 = a. Is a prime?
False
Let v = -12 - -585. Is v a composite number?
True
Suppose d = 5*n - 30 + 4, 3*n = d + 16. Suppose 4*h - n*r - 39 - 274 = 0, -2*r = -2*h + 156. Is h a prime number?
False
Suppose 0 = -a + 14 + 237. Is a prime?
True
Suppose 0 = -5*i + 3*t + 17, -4*i - 1 = 2*t + 3. Let c be 8/2*i/2. Suppose w + 5*b = 4, -c*w + 5*b + 13 = -40. Is w a composite number?
False
Suppose -2*p + 18 = -4*g, 4*g = 6*p - 2*p - 24. Suppose s - p*z - 259 = 0, -4*s + 2*z + z + 1036 = 0. Is s composite?
True
Suppose s - 3*i = -119, -i + 702 = -5*s + 107. Let a = s + 191. Let m = 109 - a. Is m a composite number?
False
Suppose 4*b = -0*i - 5*i + 5447, -4*b + 5451 = i. Is b composite?
True
Let f be (-5)/(-3) - 8/(-24). Suppose i + 44 = -f. Let l = -12 - i. Is l a composite number?
True
Let o be 20/15*3/2. Suppose 6*n = o*n + 1972. Is n prime?
False
Suppose 0 = -5*t + 4*d + 10 - 5, -15 = 2*t - 5*d. Suppose -n + 0*n + 13 = -c, t*c = n - 1. Suppose -r + 62 = n. Is r a prime number?
False
Let r be ((-482)/(-8))/((-4)/(-16)). Let q = 444 - r. Is q composite?
True
Is (-2115)/(-2) - (-2)/(-4) prime?
False
Let j(h) = 14*h**2 + 5*h + 8. Is j(11) a composite number?
True
Let m(g) = 3*g**2 - 2*g + 13. Is m(10) prime?
True
Suppose 0 = -5*q + r + 1974, q + 2*r + 3 = 400. Is q a prime number?
False
Suppose -371 - 10 = -j. Is j a prime number?
False
Let w = -2472 - -3600. Suppose 0 = -3*b + w - 39. Suppose -5*x + 302 = -b. Is x a composite number?
True
Let x(g) be the second derivative of -2/3*g**3 + 0 - g**2 + g + 1/6*g**4. Is x(4) a prime number?
False
Let i(l) = 3*l**2 - 2*l - 17. Let a(q) = -q**2 + 4*q - 1. Let f be a(5). Is i(f) composite?
False
Suppose -4*z + 4*o + 776 = 0, -z - o + 197 = -3*o. Is z composite?
False
Let m = -3 + 8. Suppose 223 = -4*j + m*j. Is j a composite number?
False
Let n = 6839 + -4270. Is n a prime number?
False
Let i(n) = -13*n - 7*n**2 + 4*n - 7 - n**3 - 2*n**2. Let x be i(-8). Is (-2)/((-2)/79*x) a composite number?
False
Let i(u) = -184*u - 1. Let r be i(-3). Suppose -5*h - 153 + r = -s, -3*h - 3*s + 228 = 0. Is h prime?
True
Suppose -2*j - k + 196 = 2*k, -k = -2. Suppose 3*z - 5*m - 57 = 0, -z - 3*m = -6*z + j. Suppose -z = -2*v + 27. Is v prime?
True
Suppose -3*m + 1006 + 1379 = 0. Suppose -r + 3*d - 149 - 123 = 0, 2*d = 3*r + m. Is (r/2)/(2/(-4)) a prime number?
True
Let j(u) = u - 8. Let p be j(5). Is p/(9/(-1416)) - 3 prime?
False
Let u(l) be the third derivative of 19*l**4/24 - l**3/2 + 3*l**2. Suppose -3*j + j + 29 = 5*w, -3*w + 9 = -3*j. Is u(j) prime?
False
Is (-5)/15 - -4151*(-8)/(-12) a composite number?
False
Let g(a) = -51*a - 11. Is g(-6) composite?
True
Let s(b) be the second derivative of -113*b**3/2 + 3*b. Let q be s(-2). Is (-2)/(-11) - q/(-22) a prime number?
True
Let f(r) = r + 15. Let n be f(-8). Let u be 2/(-4)*(-1 + n). Is 67/2 - u/(-6) a composite number?
True
Let l(d) = -4 + 2 + 6