2747. Is j a composite number?
True
Suppose -3*u + 15 = 2*u. Let f be 1 + 0 + 144/u. Suppose 0 = 4*c - 27 - f. Is c prime?
True
Suppose -a + 127 = 4*j + 18, 4*j + 425 = 5*a. Suppose 2*q = -2*q. Suppose q*p - p = -a. Is p a prime number?
True
Suppose -1347 = -3*z - 0*z. Is z a prime number?
True
Let p(f) = 2*f**2 - 6*f - 15. Suppose -78 = -2*z - 3*w, -4*z - 2*w + w + 136 = 0. Suppose n + 2*n + z = 0. Is p(n) a prime number?
True
Suppose 0 = g - 2*g. Suppose g = 2*f + 2, n - 4*n = 2*f - 1003. Is 1*-2*n/(-10) prime?
True
Suppose -3*c = -c + 2, -5*w - 5*c + 1605 = 0. Suppose 9*u - 11*u + w = 0. Is u a prime number?
False
Let d(x) = -15*x**3 + 3*x**2 - 4*x + 1. Is d(-3) a composite number?
True
Suppose -45*b - 1338 = -51*b. Is b composite?
False
Is 42/(-18)*(-17 + (0 - -2)) composite?
True
Is (-6)/4*106/(-3) prime?
True
Suppose 2*m = 4*m + 24. Is (m/(-18))/(2/9) prime?
True
Let x = -284 - -126. Is (2 - 1)/((-1)/x) a prime number?
False
Let y(s) = 2*s + 3. Let f be y(-2). Is 38/(2 + -4)*f a prime number?
True
Suppose 0 = -0*p - p + 77. Is p prime?
False
Suppose -q - 2898 = -4*q. Let p = q - 673. Is p a composite number?
False
Is 5308/14 - ((-13)/7 + 2) composite?
False
Let u(f) be the third derivative of -f**6/120 + f**5/10 - f**3/3 - 2*f**2. Let m be u(6). Is (-6)/(0 - m) + 28 composite?
True
Let i = -209 - -414. Is (12/10)/(2/i) a prime number?
False
Suppose 5 = 4*p - 3*p. Suppose -4*l + 5*s + 17 = -5, -p*l - s = -13. Let q(j) = 4*j**3 + j**2 + 2*j + 4. Is q(l) prime?
True
Suppose 3778 = 3*z - z. Is z a prime number?
True
Suppose 0*g = 5*g. Suppose 6*s - 3*s - 9 = g. Is (-55)/(-15)*(s + 0) prime?
True
Suppose -219 - 135 = -2*v. Is v a composite number?
True
Let f(i) = i**3 + i**2 + i + 422. Is f(0) composite?
True
Let q(p) = -p**2 + 5*p + 3. Let k be q(5). Suppose 4*g = 5*m + 817, -m = -0*g - k*g + 610. Is g a prime number?
False
Let o = -19 - -21. Suppose -3*n - o*k = -k - 358, -122 = -n - k. Is n prime?
False
Suppose 4*r - 9 = 3. Suppose -5*c - 6 = 2*o - 2*c, -27 = -5*o + r*c. Is o prime?
True
Let f(n) = 15*n - 17. Is f(8) prime?
True
Let t = 153 + 53. Suppose 0 = 3*l - 367 - t. Is l a prime number?
True
Is 2*-14*(-61)/4 a prime number?
False
Let u be (-79742)/(-234) - (-4)/18. Let m be (-3)/1*4/(-3). Suppose -423 = -m*w + u. Is w prime?
True
Let w(q) be the second derivative of -q**5/20 - q**4/12 + q**3/3 - q**2 + 4*q. Is w(-3) a prime number?
False
Is (-1313)/1*(-3 + 2) prime?
False
Let x(d) be the first derivative of -d**5/20 + 2*d**4/3 + 2*d**2 + 3*d + 2. Let o(v) be the first derivative of x(v). Is o(8) composite?
True
Let i(t) = -t + 4. Let y be i(4). Suppose 0*h + 3*h - 699 = y. Is h a composite number?
False
Is -3*(-3)/(-9) - -2*317 prime?
False
Suppose 0*w - 2*w + 40 = 0. Suppose -w = -0*d - 5*d, 6 = -5*j + 4*d. Suppose 274 = 4*v - i, 0*v + j*v - 4*i - 130 = 0. Is v a prime number?
False
Suppose 5*j - 268 = 1302. Is j a prime number?
False
Let h be (-15)/10 - (-26)/4. Suppose -4*l = 2*t - 14, h*l - 8 - 17 = -4*t. Suppose -3*y + 5*z + 173 = -195, t*z = 2*y - 247. Is y a prime number?
False
Is (-2 + 5)*(-498)/(-18) composite?
False
Let i be 5*(2 - 24/15). Suppose 0 = -i*g - n + 168, -4 = -n - 6. Is g a composite number?
True
Suppose -5*f + 9 = -21. Is f a composite number?
True
Suppose 5*i = -2*l + 55, 2*i - 1 = -3*l - 2*l. Let q be 0*2/(-4) + -1. Is (-2 - -2 - q) + i prime?
False
Suppose 2*x - 71 - 887 = 0. Is x a prime number?
True
Suppose 4*b - 12 = -0*b. Suppose 5*p - 4*x = 2762, -b*x + 295 - 843 = -p. Is (-8)/(-36) - p/(-18) prime?
True
Let h be (0 + 3)*(2 - 1). Suppose -3*n = 2*a + 2*a - 7, -h*n + 2 = -a. Is 2 + n + (-68)/(-2) a prime number?
True
Suppose 9*j = 4*j + 25. Suppose -j*d = -3*p + 31, d - 1 = -4*p + 2. Suppose 0 = -0*w + w - 5*y - 25, 4*w = p*y + 136. Is w composite?
True
Is 2/(-16) - 14513/(-8) a prime number?
False
Suppose 0*u + 6 = 2*u. Suppose -u*i + 9 + 6 = 0. Suppose -25 = -i*c, -2*c - 6 - 14 = -5*t. Is t prime?
False
Let w(a) = -a**3 - 6*a**2 - 5*a + 2. Let q be w(-5). Suppose q*t = -t + 12. Suppose 5*u - 2*d = 49, 3*d + 3 = t*d. Is u a prime number?
True
Let a(g) = -2*g - 7. Let p be a(-6). Is (p/(-15))/(1/(-609)) composite?
True
Let q(w) = w**3 + 5*w**2 + w - 6. Let v be q(-5). Let x(y) = y**3 + 12*y**2 + 10*y + 4. Is x(v) a prime number?
False
Let r(j) = 224*j - 1. Let b = -1 + 2. Let s be r(b). Suppose -s = -x + 4*z, 0 = 2*z + 3*z + 10. Is x a prime number?
False
Is 2/13 + 103*(-279)/(-39) prime?
False
Suppose f + 3*h = 5, f = -4*f + 2*h + 8. Is f composite?
False
Let t be (59/(-2))/((-3)/(-6)). Let j = 85 + t. Is j composite?
True
Let z(m) be the first derivative of m**3/3 + 4*m**2 + 9*m + 1. Let n be z(-7). Suppose 3*x + n*k - 607 = -0*k, -3*k - 3 = 0. Is x composite?
True
Suppose 2*q + 6 = 3*q. Suppose q*o = -0*o + 1986. Is o a composite number?
False
Is -4 + -3*(-501)/3 a prime number?
False
Let c(v) = -v**3 - 4*v**2 - 4*v - 2. Let a(g) = g**3 - 3*g - 2. Let l be a(-2). Let p be c(l). Is (-4)/p - (-260)/28 a prime number?
False
Suppose -3*t = 15, 9*t = 5*g + 4*t - 40. Suppose -g*w + 847 + 314 = 0. Is (-8)/20 + w/5 a prime number?
False
Suppose 2*m - 992 = -2*m. Suppose 3*f + f - m = 0. Is f composite?
True
Suppose 2*z - 3 - 3 = 0. Suppose 0 = -2*u + h + z*h + 298, 4*h = 12. Is u a composite number?
True
Suppose -4*f = -5*z + 36, 3*f + 4 = -8. Suppose 5*g + z*w = -0*w + 561, -448 = -4*g - 4*w. Is g prime?
True
Let k(p) = -8 - 4*p + 1 - 2. Let v be k(-6). Suppose -68 = -q - v. Is q prime?
True
Let t be (-3 - (0 - -2))/(-1). Suppose 5*v + 5*h - 210 = 0, t*v - 131 - 69 = -3*h. Is v a composite number?
False
Let g(s) = 8*s**2 - 18*s - 7. Is g(-12) a prime number?
True
Is 8654/5 + (-7)/(-35) a prime number?
False
Let z(q) = 7*q**3 + 2 + 6*q**3 - 2*q**2 + 0*q**2 - 4*q. Is z(3) a composite number?
True
Suppose -25 = -p - 4*p. Suppose -15 = p*u, -u = 5*o - 2*u - 1148. Suppose 0 = -4*a - 97 + o. Is a a prime number?
False
Suppose s - 2*s - 5*t + 391 = 0, -3*s - 2*t = -1147. Is s prime?
False
Let j be (3 - 9)*(-4)/(-6). Let y be (2/j)/(2/(-1072)). Suppose -3*s + y = s. Is s prime?
True
Let b be 3/((-9)/(-213)) + 3. Let o = b - 27. Is o prime?
True
Suppose 242 = -0*t + 2*t. Is t composite?
True
Is 4267 - 2 - 0/9 a composite number?
True
Suppose u + 2 - 4 = 0. Suppose 36 = 2*l + 4*n, 0 = -3*l - u*n - n + 42. Suppose 0*q + q = l. Is q a composite number?
True
Let a be (2/1)/(3/12). Suppose -42 = -2*s - 3*o, 2*s + 4*o - 42 = a*o. Is s a composite number?
True
Suppose -2*r + 2*l = -0*r - 2516, -5*r + 3*l = -6288. Is r prime?
False
Let n(b) = -6*b**2 + 2*b - 7. Let h be n(7). Let y = h - -426. Is y a composite number?
False
Let a(c) be the first derivative of c**3/3 + 25*c - 2. Is a(0) prime?
False
Suppose 4*s = -w - w + 24, -36 = -5*s - 4*w. Suppose 2*n = -3*n + 4*m + 124, 0 = -3*n + s*m + 68. Let y = 25 + n. Is y prime?
True
Let n be (-1 - -1)*(-1)/(-2). Suppose n = 5*b - 1 - 9. Suppose 325 = 3*l + b*l. Is l composite?
True
Suppose -2*g + 1 = v - 2, -2*g = 2*v. Let l = -7 + 13. Suppose -g*k = -l*k + 249. Is k composite?
False
Suppose 17*r = 23*r - 16566. Is r a composite number?
True
Let r = 25 - 23. Let u(b) = 36*b**2 - 2*b + 3. Is u(r) a prime number?
False
Suppose -2*p = -p + 18. Let b be p/(-4)*12/18. Is (b/3)/((-1)/(-43)) a composite number?
False
Let z(h) = -h**3 + 6*h**2 + h - 3. Let b be z(6). Suppose -5*y - 2*x = -155, -x - 62 = -2*y - b*x. Let d = 44 - y. Is d prime?
True
Suppose 0 = a + 2*a - 357. Is (a - 1)*3/6 a composite number?
False
Is (-1397)/(-2)*(-18 - -20) prime?
False
Let v = -30 + 68. Suppose 5*s = 4*q + 151, -5*q - 33 = -5*s + 122. Let w = s + v. Is w a composite number?
True
Suppose -5*p + 2100 = -4*c - 11319, -2678 = -p - 5*c. Is p composite?
False
Let h = 154 - -55. Is h composite?
True
Let j be -4*4/(-16) - -1. Suppose -h = 5*q - 173, -5*q = j*h + h - 499. Is h a prime number?
True
Suppose -4*w = -90 - 6. Suppose 4*i - 2*r = 208, 129 = 3*i - 3*r - w. Is i prime?
True
Suppose -5*i - 5 = -15. Suppose 1 - 7 = -i*g. Is (266/(-6))/((-1)/g) composite?
True
Suppose 4*g = 0, 2*g - 342 - 239 = -r. Is r a prime number?
False
Let t(r) = r**3 - 8*r**2 + 5*r + 8. Let k be t(7). Let b(o) = 18*o**2 + o - 7. Is b(k) a composite number?
True
Let q(o) = 31*o**2 + 1. Is q(4) composite?
True
Suppose 2*n - 3*n