 q(m) composite?
True
Is ((-32)/(-96))/(2/512826) composite?
True
Suppose 25*x = 3*t + 28*x - 10386, 3*t = 5*x + 10346. Is t a composite number?
False
Let g = -4 - -4. Let o(q) = -2*q + 5. Let m be o(g). Suppose -180 - 75 = -m*p. Is p composite?
True
Let p = -74 + 82. Let f(r) = 16*r - 9. Is f(p) prime?
False
Let q(c) = -3*c + 7. Let y = -2 - 8. Is q(y) prime?
True
Suppose 12 = 4*c + 2*l, -4*c + 20 = -0*c - 2*l. Suppose 9 = c*o + 1. Is 49/21*66/o composite?
True
Suppose n - 12700 = 6*n. Let o = -1641 - n. Is o a composite number?
True
Let j(f) = 2*f + 3. Let t be j(0). Suppose t*a = 22 - 7. Suppose -4*l = -a*l + 3*d + 14, -l + 4*d = -10. Is l prime?
False
Let s(j) = -17*j**3 - j**2 + j - 3. Let d be 0*(3 + 6/(-3)). Suppose 2*l = -2*q, d*l + 2 = l. Is s(q) prime?
True
Let l be -6*(3/(-9) - 0). Suppose -l*g - 55 = -7*g. Let b(j) = 9*j - 2. Is b(g) a composite number?
False
Let y be 2/4*(-4)/(-1). Suppose -y*o + 190 = -4*k, 5*o = -2*k + 440 - 13. Is o composite?
True
Let g be 1041/1*(-5)/(-15). Is -6 + 11 + g*2 a prime number?
False
Let m = 15 + -13. Suppose 0 = -s + 6*f - 4*f + 5, m*f = 0. Suppose -s*b + 105 = 3*v, -4*b - v + 84 = 4*v. Is b a prime number?
False
Let n = -856 + 646. Let u(v) = 38*v + 4. Let t be u(-4). Let x = t - n. Is x a prime number?
False
Let m = -2343 + 5524. Is m prime?
True
Is -7 + 2 - 1352*-2 a composite number?
False
Let m = -4 - -3. Let q(s) = -1955*s - 6. Is q(m) a prime number?
True
Let j(v) = 548*v - 57. Is j(13) prime?
False
Let i be (10/25)/((-2)/(-30)). Let v(u) = 86*u - 29. Is v(i) a prime number?
True
Suppose 3*a - 28957 = a + 3*i, 28932 = 2*a + 2*i. Is a composite?
True
Let b = 9 + -9. Suppose 2*f - 7*f + 30 = b. Is f composite?
True
Suppose -3*o - 4*h - 12 = o, 0 = o + 3*h + 9. Suppose x - 514 = -u, 2*u - x - x - 1032 = o. Let m = u - 184. Is m a composite number?
False
Let d = -12 + 13. Let g be d/(1*2/4). Suppose 0*x - 14 = -g*x. Is x a prime number?
True
Suppose 5*v + 16 = -3*s, 0 = -s + v - 6*v - 22. Is s/9 - (-9)/((-54)/(-11404)) prime?
True
Let q(o) = -o**3 + 6*o**2 - 4*o - 1. Let w be q(5). Suppose 4*d + 410 = 3*f, 4*d = f + 3*d - 135. Suppose 330 = w*m - f. Is m composite?
True
Suppose 0 = 3*h + c - 3563, -8*c = 5*h - 13*c - 5965. Is h prime?
False
Let k = 162742 - 73481. Is k a prime number?
True
Let t be (75 + -1)/(1/2). Suppose 3*f - u = 146, -t = 4*f - 7*f - u. Is f prime?
False
Let f = 17 + -9. Suppose -f*i + 3*i - 15915 = 0. Is ((-4)/(-6))/((-2)/i) prime?
True
Suppose -u - 29 = -138. Let s = u - 42. Is s composite?
False
Let m(f) = -f - 1. Let k be m(-4). Suppose 3*w = w - 4*p + 38, 0 = 3*w + k*p - 42. Let b(u) = 4*u**2 - 4*u + 5. Is b(w) a composite number?
False
Let g = -1 - 3. Let f be 18/8 + 1/g. Suppose f*q + 3*y = 244, 2*y - 21 = -4*q + 459. Is q a prime number?
False
Suppose 36*v - 52031 = 64213. Is v a prime number?
True
Suppose -8*o + 3*o + 30235 = 5*a, 5*a + 12094 = 2*o. Is o composite?
False
Suppose 0 = 358*l - 373*l + 287355. Is l a prime number?
True
Let q(f) = 88*f**2 - 34*f - 239. Is q(-9) prime?
False
Suppose 0*a + 4*a - x - 15 = 0, a - 9 = 2*x. Let b be (-2 + 2)/(-5 + a). Suppose 5*g + 3*y - 1978 = b, 3*g + 3*y = 7*y + 1181. Is g composite?
True
Let u(j) = -42*j**3 + j**2 - j - 1. Let c be 6/(-3)*(-6)/(-12). Let m be u(c). Suppose -y = m - 188. Is y a composite number?
True
Suppose -57852 - 30312 = -3*z + 5*g, 3*z - 88146 = -g. Is z a prime number?
True
Suppose 0 = -0*k + k - 2*g + 4, 0 = 4*g. Let v(o) be the first derivative of 5*o**3/3 - 2*o**2 - 3*o + 2. Is v(k) a prime number?
False
Suppose 0*b - 4*b = 2*l - 1254, -5*l + 3147 = 4*b. Is l prime?
True
Suppose -4*w + 2 = 18. Let q(u) = -u**3 - u + 1. Let p be q(0). Is 7468/16 - p/w a prime number?
True
Let m(s) = -2*s**2 - 14*s + 9511. Is m(0) a composite number?
False
Suppose -k + 5*k = 2*f + 269010, -k + 67245 = -2*f. Is k prime?
False
Let m(g) = 3 + 245*g + 1 - 3. Is m(2) prime?
True
Let c(h) be the third derivative of -3*h**4/8 - 13*h**3/6 + h**2. Suppose -7*r - 96 = r. Is c(r) a composite number?
True
Let h be (5 - 0) + (-1582 - 0). Let s = h - -2694. Is s prime?
True
Suppose -3*x - 2*x = -28610. Suppose -2*p + 0*s - s + x = 0, 0 = 4*s. Is p a prime number?
True
Suppose 31*j - 33*j = 3214. Let b = j + 4690. Is b prime?
True
Suppose 2*s = -m + 3301 + 2503, 4*s - 3*m = 11608. Is s composite?
True
Suppose 0 = -6*l + 5*l + 63823. Is l a prime number?
True
Let v(p) = -p**2 - p - 1. Let u be v(-1). Let c(d) = -188*d**2 - 2*d - 1. Let x be c(u). Let j = -104 - x. Is j a prime number?
True
Let y = 15 - 10. Suppose 0 = -3*r - y*j + 4291, -j + 4936 = 4*r - 808. Suppose r = 7*a - 4*a. Is a a prime number?
True
Let n(y) = 17*y**3 - 7 + y + y**2 - 8*y**2 - 20*y**3. Is n(-8) composite?
True
Let m = -51 - -23. Suppose 5*g + 8 = 303. Let l = m + g. Is l composite?
False
Let a(g) = g - 11. Let i be a(15). Let j(s) = 5*s + 1 - 2*s**2 + i*s**2 + 4 - s. Is j(-6) composite?
False
Let w(a) be the second derivative of -11*a**5/60 - 5*a**4/24 + a**3/2 - 3*a. Let o(v) be the second derivative of w(v). Is o(-6) composite?
False
Suppose 0 = 4*p - 25 - 59. Suppose -c + p = 5. Let h = 39 - c. Is h composite?
False
Let u = 6115 + -2964. Is u a composite number?
True
Let x be (2 + -3)*(-7 + 0). Let l = x - 5. Suppose -u - 441 = -l*h + 358, -1583 = -4*h - u. Is h prime?
True
Let f(a) = 48*a**3 + 16*a**2 - 48*a + 79. Is f(12) a prime number?
True
Is 7431*7 - (20 + -26) composite?
True
Let c(p) = 222*p**3 - 5*p**2 + 11*p - 1. Is c(3) prime?
True
Suppose -k = 5*y - 10, -2*k + 3*y + 2 = -k. Let m(n) = -3*n**3 - 5*n**2 + 0*n - n**3 + k*n + 5*n**3 + 1. Is m(6) a composite number?
False
Let r be (21610/28 + (-12)/42)*2. Let v = r + -456. Is v a prime number?
True
Suppose -4*w + 14761 = -3*v, -w - 9*v + 3687 = -13*v. Is w composite?
False
Let j = -10 - -13. Suppose 468 = 2*g + 5*x - j*x, 4*x = -12. Suppose 5*i - g = 2*i. Is i a composite number?
False
Let l = 235 - 235. Let t = -22 - -14. Is 812/t*(-2 - l) a prime number?
False
Suppose n - 5*a - 3 = -3*a, 2*n - 6 = 2*a. Let c be 146/5 + 1/(-5). Suppose -n*x - 5*f + c = -81, f = 1. Is x composite?
True
Let m(v) = -v**3 - 6*v**2 + 7*v. Let y be m(-7). Let d(t) = t**3 - 2*t + 317. Is d(y) composite?
False
Let n be -1 + (-4 - (-3 - 3)). Let t be (n/3)/((-4)/(-24)). Suppose 0 = 3*a - o - 492, o + t + 1 = 0. Is a a prime number?
True
Suppose 0 = 5*i - 1943 - 97. Is 3 + ((-2)/(-1) - (6 - i)) composite?
True
Let t be (-808)/(-14) + (-4)/(-14). Suppose -143 - t = 3*v. Is v*1*(15 + -20) composite?
True
Let c be 1/(-8) + 6/48. Let n = c - -5. Suppose n*p = a + 2090, -5*a + 2054 = 4*p + 353. Is p prime?
True
Let n(q) be the second derivative of 0 - 13/2*q**2 - q + 1/12*q**4 - 5/6*q**3. Is n(12) composite?
False
Suppose 6*w = 5*w + 3. Let f(d) = 997*d + 8. Is f(w) a prime number?
True
Let u(z) = 9 + 4*z**3 + 0*z**3 - 7*z**2 + 2 - 3*z**3 - 10*z. Suppose 67 = 8*o - 5. Is u(o) composite?
False
Suppose 4*c + 5*a = 37941, -5*c + 5*a + 47370 = -0*a. Is c a composite number?
False
Suppose 0 = -3*s + 5129 + 13138. Is s a composite number?
False
Let z = -13 - 5. Let f be z/(-2)*(-4)/6. Let k(j) = -40*j - 3. Is k(f) a prime number?
False
Let y(m) be the second derivative of 23/6*m**3 + 6*m + 2*m**2 + 0. Is y(5) a composite number?
True
Suppose 7135 + 4822 = 11*i. Is i prime?
True
Let r = -2343 + 5800. Is r a prime number?
True
Let f(c) = -c**2 - 13*c - 26. Let k be f(-11). Let b be (-1339)/(-3) + k/12. Suppose 4*l + 2889 = 5*s, -5*s + 2479 = 5*l - b. Is s composite?
True
Suppose 3*h - 3720 = 3*v + 18342, 0 = 5*h - 4*v - 36765. Is h composite?
False
Let m be 3 - (4/4 - 0). Let c(z) = -m - 4 - 2 + z**2 + 7*z + 1. Is c(-9) composite?
False
Suppose 4*f + 16 = 4*l - 0*l, 4*l + 5*f = -20. Suppose -1131 = -3*g - l*g. Is g a composite number?
True
Let w(l) = -99*l**3 + 7*l**2 - 10*l + 7. Let c be w(5). Is c/(-9) - (-8)/12 a prime number?
True
Suppose 473 = 6*i - 1471. Suppose -q = 70 - i. Is q composite?
True
Suppose 10*y - 18*y = -24. Suppose 5*p - 10294 = -y*w - w, 4 = 2*p. Is w prime?
False
Let t = -3770 - -13879. Is t a prime number?
False
Let k(q) = q - 4. Let h be k(6). Suppose -3*z - z - 82 = 3*y, 3*z + 56 = -h*y. Is (-1)/2*y*3 a prime number?
False
Let d = 686 + 5327. Is d prime?
False
Suppose 0*l + 5*l - 32335 = 0. Let f = l + -