 j composite?
False
Suppose 5*r + 0*r = 635. Is r a prime number?
True
Is (-4)/14 + (-92)/(-28) a prime number?
True
Let v = 1 + 1. Suppose -3 = -v*b + 3*b. Is 0*b/(-9) - -31 a prime number?
True
Suppose 0 = -2*j - 4*u - 2, -3*u - 12 = -0*j - 2*j. Suppose -j = -2*q + q, -2*s = 2*q - 938. Is s a prime number?
False
Let z be 14/14*(1 - -4). Suppose g = 2*s - 186, z + 7 = -3*g. Is s a composite number?
True
Let d(t) = t**3 - 4*t**2 + t. Let f be d(4). Suppose -588 = -5*r - 5*i + 317, 0 = -2*r - f*i + 358. Is r prime?
False
Let t be -1 - (3/(-1) + -9). Let u(r) = r**3 - 9*r**2 - 11*r - 1. Let v be u(t). Let z = v + -67. Is z prime?
True
Let d = 239 + -96. Is d prime?
False
Is (2/(-4))/(23471/(-11732) - -2) a composite number?
True
Suppose -2*s = -4*u + 1946, -u = u - 2*s - 978. Suppose 0 = -2*o + 6*o - u. Is o a composite number?
True
Let h(g) = -g**2 + 7*g - 1. Let p be h(6). Let a = p - 2. Is a composite?
False
Suppose -3*h + 17 = -1. Let o be h/(-4) - (-27)/(-2). Is 3 - o - (-1)/1 composite?
False
Suppose 5*h + 267 = 682. Is h composite?
False
Let v(i) = -3 + 3*i**3 + 2*i + 2 + 0 + i. Let o be v(2). Let f = o + -18. Is f a composite number?
False
Let s(g) be the first derivative of 3*g**4/4 - g**3/3 - 3*g**2/2 + 2*g - 1. Is s(3) prime?
False
Let g = -25 - -62. Is g a composite number?
False
Suppose 0*p = -b + p + 85, -3*b - 5*p + 239 = 0. Is b prime?
True
Let m(i) = i**2 - 3*i + 1. Let h be m(5). Suppose -10*o + h*o = 113. Is o prime?
True
Suppose -2*y + 2*f + 12 = -0*f, 8 = 2*y + 2*f. Suppose y*p - 32 = p. Is 11/((p/14)/4) composite?
True
Suppose -7*o + 6*o = 87. Let v = 68 - o. Is v prime?
False
Let s(u) be the third derivative of -7*u**5/120 + u**4/8 + u**3/6 + u**2. Let p(v) be the first derivative of s(v). Is p(-4) a composite number?
False
Let x = 0 - -3. Suppose 219 = 4*o - o - x*r, -2*r - 300 = -4*o. Is o prime?
False
Suppose 0*r + r + 28 = 0. Let f = 77 + r. Is f composite?
True
Is 148/(-6)*30/(-20) composite?
False
Suppose 0 = -4*j + 24 - 4. Suppose -460 = -j*l + 175. Is l a prime number?
True
Is (-42)/147 - (-11610)/14 prime?
True
Let l(z) = z**3 - z**2 - z + 197. Let v be l(0). Let m = -132 + v. Is m prime?
False
Let r(f) = -153*f**2 - 2*f - 1. Let t be r(-1). Let u = 11 - t. Is u a prime number?
True
Suppose -n + 537 + 2804 = 0. Is n prime?
False
Suppose -4*q = 3*h - 80, -2*q + 55 = 2*h - q. Let p be 24/14 + 6/21. Suppose -42 - h = -p*z. Is z a prime number?
False
Is (171/(-18))/(1/(-2)) prime?
True
Suppose 3*h = h - 5*t + 38, h - 1 = 2*t. Let f = h - 5. Suppose 0*x - 4*n + 138 = 2*x, -4*n + 256 = f*x. Is x a composite number?
False
Is (-2)/(-3) - 111195/(-54)*2 a prime number?
False
Let n(f) = f**3 + 2*f**2 - 4*f - 1. Let d be n(-3). Suppose d*p - 830 = -3*p. Let h = -89 + p. Is h prime?
False
Let t(b) = -3*b**2 + 3*b + 4. Let c be t(-7). Let m = c - -291. Is m a prime number?
True
Let w = -11 + 8. Is 51 + (w - -2) + -1 a prime number?
False
Let x be -2 + (-6)/(-3) + 6. Let y = 0 - x. Let a = y - -41. Is a prime?
False
Suppose 0 = -3*i - 3*h + 1635, -3*h + 0*h + 2180 = 4*i. Let o = i - 252. Is o prime?
True
Let v(p) = 27*p - 4. Let l(d) = 49*d - 1. Let q(u) = u - 1. Let r(w) = l(w) + 6*q(w). Let y(m) = -3*r(m) + 7*v(m). Is y(5) prime?
True
Let w(h) = -h**3 + 17*h**2 + 2 + 4*h - 8 - 7*h**2 - 3*h**2. Let i = 8 + -1. Is w(i) prime?
False
Let m(t) = -t**3 + 6*t**2 + 7*t + 7. Let h be m(7). Let w(i) = 12*i + 9. Let z be w(h). Suppose 5*s - 2*s - z = 0. Is s prime?
True
Suppose -2*k = -5*j + 1695, -2*k + 950 + 388 = 4*j. Is j a prime number?
True
Let o(f) = -2*f**2 + 3. Suppose 0 = c - 0*c - 3. Let i be o(c). Is (-3)/i - 114/(-5) composite?
False
Is ((-6704)/(-8))/((2 + 4)/3) composite?
False
Let o be 5/(15/(-12))*-1. Suppose -o*j - 4*x = -308, -4*j - x + 386 = 75. Suppose 0 = -4*z + j - 18. Is z prime?
False
Let p(s) = 2*s**3 - 13*s**2 + 5*s - 6. Let w(l) = -l**3 + 6*l**2 - 3*l + 3. Let d(i) = -2*p(i) - 5*w(i). Is d(3) composite?
False
Let v(b) = 2*b - 1. Suppose 0 = -4*r + 4*l + 22 + 6, l = 3*r - 11. Let j be v(r). Suppose -9 = -j*g + 12. Is g a prime number?
True
Let p = 3291 + -6033. Is p/(-24) + 6/8 composite?
True
Suppose -5*j = 4*o - 26, 4*o + 10 = -3*j + 8*o. Suppose 0 = -3*l - 2*f + 167, 4*l + 0*l - 226 = -j*f. Is l composite?
False
Suppose -2*u - 1466 = -4*i, 4*u = -2*i - 0*i + 708. Suppose -2*y = 2*y - i. Is y prime?
False
Let w = 5 + -5. Let i(l) = l + 19. Is i(w) a prime number?
True
Let q(w) = w**3 + 1 + 2*w**2 - 7*w + 3*w**2 + 0*w**3. Let f be (-2)/(-6) + (-76)/12. Is q(f) prime?
True
Let i = 148 + -51. Is i a composite number?
False
Let q = -84 + 127. Let z = q + 100. Is z composite?
True
Let d(s) = s**2 - 1. Let z(u) = -u**3 + 4*u**2 + 3*u + 7. Let b be z(5). Let x be d(b). Suppose -3*l - x = -h, -l + 2 = -h + 20. Is h a composite number?
False
Let f be (-1 + 4)*(-10)/(-6). Suppose z + 328 = f*z. Is z a prime number?
False
Let m = 1889 - 854. Let p = m + -721. Is (p/(-4))/((-6)/12) composite?
False
Let a(m) = m**3 + 16*m**2 + 9*m - 5. Let b(y) = -3*y**2 + 3*y + 3. Let h be b(-2). Is a(h) prime?
False
Suppose 9*v - 11*v - 18 = 0. Suppose 3*m = -2*r - 17, -4*r - m - 10 = -3*m. Is (-298)/r*(-7 - v) prime?
True
Let z = 18 - 18. Is z + 73 - 7/(-7) a prime number?
False
Let a = 725 + -504. Is a composite?
True
Suppose -6*n = -n + 5*x - 575, -4*x = -3*n + 317. Is n a prime number?
False
Let k(r) = 3*r**3 - 5*r**2 + 3*r. Is k(5) a composite number?
True
Suppose p - 217 = -3*i, -2*i + 227 = i - p. Is i composite?
True
Suppose 3*z = -0*z - 111. Let t = z + 68. Is t a composite number?
False
Suppose 0 = 2*o + 3*o - 140. Let v = 42 - o. Suppose 3*b = 4*b - v. Is b a prime number?
False
Let u(d) = -d**3 + 6*d**2 + 2*d**3 + 9*d - 3 - 5*d. Let m be u(-5). Suppose w + m*w = 249. Is w composite?
False
Let i(h) = 3*h**2 + h - 1. Let p be i(1). Let n be 5/(-5)*(1 - p). Is 4/6*(n + 31) prime?
False
Let d = 3750 + -6015. Let m = 25 - 45. Is d/m - (-1)/(-4) prime?
True
Suppose 6*c = c. Is (4 + c)*(-46)/(-4) a prime number?
False
Let p(r) = r**3 - 8*r**2 + 3*r - 6. Let u be p(8). Let w = 105 - u. Is w a composite number?
True
Let l(q) = -110*q**3 + 2*q**2 + q. Let s be l(-1). Suppose n - 758 = -s. Is n a composite number?
False
Suppose 2*i + 0*i - 1320 = 4*q, -i + 659 = -3*q. Is i a prime number?
False
Let i(y) = -3 + 9*y - 10*y**2 + 12*y**2 - 2. Is i(6) prime?
False
Let m(u) = -u**3 - u**2 - u + 701. Is m(0) prime?
True
Suppose 0*i + 2*i - 174 = 0. Is i prime?
False
Let j(q) = q**2 - 6*q + 8. Let h be j(6). Suppose -2*n = 5*o - h, -4*o - 20 = 4*n - 9*n. Let a = 6 - n. Is a a composite number?
False
Let b(s) = -s**2 + 8*s - 4. Let j be b(7). Suppose j*h + 71 = u, -2*u - h + 0 + 128 = 0. Is u a prime number?
False
Let u = -3222 - -5411. Is u a prime number?
False
Suppose 14*z + 8 = 12*z. Let j(n) = -4*n**3 + 5*n**2 + 2*n + 1. Is j(z) a prime number?
False
Let j = 17 + 34. Is j a composite number?
True
Let f = 502 + -256. Let i = f - 63. Is i a prime number?
False
Let a(v) = -v + 5. Let c be a(0). Suppose c*l - 185 = -0*l. Is l a prime number?
True
Suppose 4*q - 4 = -0*q, -5*q = -5*c + 10. Let u(g) = g**2 - 2*g. Let y be u(c). Suppose -2*m + 3*i + 29 = 0, 0*m + y*m = -i + 16. Is m a prime number?
True
Let p(k) be the second derivative of k**6/180 + k**5/40 + k**4/24 + k**3/3 + 2*k. Let d(s) be the second derivative of p(s). Is d(-3) a composite number?
True
Suppose 5*r - 12519 = -4*a, -7 + 4 = -3*a. Is r prime?
True
Let p(o) = o**2 - 13*o + 7. Let b be p(11). Is 21/b*-1*5 a composite number?
False
Let y(m) = -m - 7. Suppose 0*q - 36 = 3*q. Let d be y(q). Let p(r) = -r**3 + 6*r**2 - 2*r + 4. Is p(d) a prime number?
True
Suppose b - 3*w = 66, -4*b + 4*w + 35 = -197. Let j = b - -73. Is j a composite number?
False
Suppose -17*h + 1655 = -12*h. Is h prime?
True
Is 662/((-2)/(-3 + 2)) a composite number?
False
Let v(l) = l**3 + 8*l**2 - 8*l + 10. Let z be v(-9). Let f(g) = 204*g**3 - 2*g**2 + g. Is f(z) prime?
False
Let k be 2*(-4)/(32/52). Let p = 16 + k. Is p a prime number?
True
Is 19518/22 - (-2)/(-11) a prime number?
True
Let x(g) = g**3 - 3*g**2 + 5*g - 13. Let p(u) = 2*u**3 - 5*u**2 + 9*u - 26. Let h(o) = -4*p(o) + 7*x(o). Let w be (-2)/(-8) + 2/(-8). Is h(w) a prime number?
True
Suppose 4*b = -o + 20398, 0 = -4*b - 6*o + 2*o + 20404. Is