 k(-12) a prime number?
True
Let g(p) = 2*p**2 + 19. Let j be g(-17). Suppose r + 299 = -0*z + 2*z, -r - j = -4*z. Is z prime?
True
Let r(w) = 3*w**3 - w**2 + w. Let i be r(1). Let c = i - 1. Suppose 0 = 5*k - c*k - 33. Is k a prime number?
True
Let r = -21 - -23. Is (r - 3)/(2/(-142)) prime?
True
Suppose -2*k - 870 = -8*k. Is k a composite number?
True
Is 400 - ((-6)/5)/(12/(-30)) a composite number?
False
Let t = 0 + 9. Suppose x - t = -2*x. Suppose 0*l + x*l = 3*j - 21, 2*l = j - 8. Is j composite?
True
Suppose -3*u = 9, 5*u - u + 32 = 4*r. Suppose 5*d = -5*x + 855, 0*d = -4*x + r*d + 657. Suppose -4*w - 75 = -3*o + x, 2*o - 3*w - 163 = 0. Is o composite?
True
Suppose 11995 = 10*s + 665. Is s composite?
True
Let t be 12*((-171)/(-12))/3. Suppose -t = -3*j + 81. Is j a prime number?
False
Let q = 174 - 107. Is q composite?
False
Let u(j) = j**2 - 56. Let p be u(0). Let k be 1 + (p - 2) + -2. Let l = k + 92. Is l prime?
False
Let l(h) = 85*h**2 + 2*h - 16. Is l(-5) a prime number?
True
Is (1/(-2)*307)/((-14)/28) composite?
False
Suppose 4*c - 3*r - 135 = -c, 108 = 4*c - 4*r. Suppose 41 + c = -d. Let i = d - -183. Is i a prime number?
False
Let s(i) = i + 14. Is s(-10) composite?
True
Suppose -2*a + 10 = 3*a. Suppose -3*y - a*y = -730. Suppose -b + 72 = 2*u, 2*b + y = 4*u + 3*b. Is u a composite number?
False
Is 6/(-4) - 195/(-6) a composite number?
False
Let d(a) be the second derivative of a**3/6 - a**2/2 + a. Let s be d(4). Is 2/s*483/2 a prime number?
False
Let u(t) = 2*t**2 + 7*t - 2. Let d be u(8). Suppose 0*v - 4*c - d = -v, v - 170 = c. Is v prime?
False
Let s(o) = o**3 + o**2 - 3*o - 3. Let w be s(-2). Let r be 0 + (-1)/(w/76). Suppose r = -0*m + 4*m. Is m prime?
True
Suppose -2*c = -2*a + 1416, 2*a - c - 1417 = -0*a. Is a a composite number?
False
Let w = -3 + 18. Suppose 3*v + t - 112 = 0, -2*t + 128 = 3*v + w. Is v a prime number?
True
Suppose 0*n - 4*n = 0. Suppose -3*h + 4*l + 85 = n, 2*l + 127 = 5*h - l. Is h a prime number?
True
Let h = -46 - -297. Is h prime?
True
Let o(q) = -q**3 + 4*q**2 - 3*q + 1. Let v be o(2). Suppose -191 - 43 = -v*t. Suppose a = -3*b + 67 + t, 0 = -3*b - 2*a + 149. Is b composite?
False
Is (-5818)/(-3) - 1/3 a composite number?
True
Let g(h) be the first derivative of h**4/4 - 16*h**3/3 + 4*h**2 + 21*h - 7. Is g(16) a composite number?
False
Is (-28)/(-21)*(-2586)/(-8) a prime number?
True
Let f = 2 + 2. Let v(m) = m**3 - 6*m**2 + 10*m + 7. Let h be v(8). Suppose h = f*r + r. Is r prime?
True
Suppose 0 = v - 2*p - 14, p - 4*p - 23 = -2*v. Suppose l - 895 = -v*l. Suppose -3*y = -8*y + 2*s + l, 4*s = -4*y + 132. Is y prime?
False
Let t = -7 - -6. Let d be (t - 0)*(-5 + 2). Suppose -x - d*x + 1204 = 0. Is x prime?
False
Let j = -209 + 367. Let b be 36/(-6)*j/(-6). Let f = b - 73. Is f a composite number?
True
Is (-64983)/(-21) - 4/(-7) a composite number?
True
Suppose -y - y = -1596. Is (-1 - y/(-4))*2 prime?
True
Suppose -t + 13 = c, -5*c + 16 + 4 = 0. Let y(i) = 5*i**2 - i**3 + 2 + 6*i**2 - i**2 - 8*i. Is y(t) a prime number?
True
Suppose 2*g = -g - 6. Is ((-91)/2 + 1)*g prime?
True
Let p be 4/(-16) - (-4596)/16. Suppose -3*a = -106 - p. Is a a composite number?
False
Let i(q) = -2*q**3 - 4*q**2 + 4*q - 2. Suppose 0 = 2*m + 3*m + 20. Let d be i(m). Suppose -14 = z + a - d, 0 = -z - 5*a + 36. Is z prime?
True
Let c(r) = -r**2 - 4*r + 5. Let m be c(-4). Let l(k) = k**2 - 7*k + 3*k**2 + 3*k**2 - k**3. Is l(m) a prime number?
False
Is 413 - (-1*(1 - 1))/(-2) a composite number?
True
Let k = 20 + -14. Suppose 3*w + k = -3. Let d(z) = z**3 + 2*z**2 - 3*z + 3. Is d(w) a composite number?
False
Let n(d) = -d**3 + 6*d**2 + 9*d - 1. Let g(o) = o + 1. Let w be g(5). Is n(w) prime?
True
Let k be 11/3 + (-2)/(-6). Suppose -a = -5*v + 1059, -216 + 1064 = k*v - a. Is v prime?
True
Let i be 12/9*18/(-4). Let q(r) = -r**2 - 6*r + 6. Is q(i) a composite number?
True
Let s = -19 + 34. Suppose 11*x = s*x - 308. Is x a prime number?
False
Suppose -f + 85 + 60 = 0. Suppose 3*j + 3*g - 12 - 75 = 0, g = 5*j - f. Suppose 3*s - j = 70. Is s composite?
True
Suppose 35 = -2*l + 487. Suppose 0 = -4*o + l - 22. Let t = o - 32. Is t prime?
True
Let q(k) = 16*k + 1. Let m(n) = -24*n - 2. Let p(v) = 5*m(v) + 7*q(v). Is p(-5) prime?
True
Suppose 5*v + 3*l = 1046, -5*l + 4*l = -v + 214. Is v a prime number?
True
Suppose 1146 = -9*i + 15*i. Is i a prime number?
True
Is 10/95 - (-51334)/38 a prime number?
False
Suppose 0 = -3*o + 5 - 14, 1130 = p + 3*o. Is p a prime number?
False
Suppose 0 = -5*f - 710 + 3865. Is f composite?
False
Let j(b) = b + 6. Let u(m) = -6*m**2 + 1. Let w be u(-1). Let o be j(w). Suppose 0 = -3*q + 7 - o. Is q a composite number?
False
Suppose -4*w + 2*l + 15146 = 0, -4*w = -0*l + l - 15149. Is w composite?
True
Suppose -5*f + 1217 = -578. Let c = f - 210. Is c a prime number?
True
Let c(g) = -g**3 - 7*g**2 - 8*g - 4. Let u(o) = -o**3 - o**2 - 1. Let y(d) = c(d) - 2*u(d). Let n be y(6). Is (-132)/(-8)*n/(-3) prime?
False
Let y(k) = -2*k - 6. Let z be y(-4). Is ((-4)/z - -98) + -2 prime?
False
Let z(r) = -7*r**2 - 5*r + 6. Let f be z(-5). Suppose 0 = -2*p - 5*t - 16, -4*p - 2 = 4*t + 6. Is f/(-15) + p/5 prime?
False
Let z be (0 + 0)*(-1)/(-2). Let a = z - -2. Suppose 0 = a*q - 2*d - 2*d - 80, 0 = -2*q - 3*d + 101. Is q a prime number?
False
Let c(o) be the second derivative of 3*o**4/4 + o**3/2 - 3*o**2/2 - 3*o. Is c(-6) a prime number?
False
Is -3*5/(-5) + 620 a composite number?
True
Let h be 2/(-10) + 32/10. Let j be (-2 - -3)*6 + -2. Suppose 2*v + h*p - 14 = 0, -v = -j*v + 5*p + 21. Is v a composite number?
False
Suppose 6 - 2 = -2*h. Let r(p) = -9*p**3 - 17*p**2 - 6*p - 1. Let y(n) = -6*n**3 - 11*n**2 - 4*n - 1. Let l(o) = -5*r(o) + 8*y(o). Is l(h) a composite number?
False
Suppose 2*b = 4*i - 3*i - 67, 0 = i - 4*b - 67. Is i composite?
False
Let n = 1 - -2. Suppose -114 = -d + n*i - 0*i, -i = 3*d - 332. Suppose -d = -5*j + 184. Is j a prime number?
True
Let i = -9 - -1. Is 74/(-2*4/i) a composite number?
True
Let q = -4 - -4. Let t be q/(6/2 - 2). Is -1 - (t + 46/(-2)) a composite number?
True
Suppose -4*v + k - 3169 + 1087 = 0, 0 = 5*v - 5*k + 2595. Let g = -334 - v. Is g composite?
True
Let r = 1110 - 787. Suppose 5*g = -48 + r. Suppose 0*o + g = o. Is o composite?
True
Suppose -5*a = r - 60, -r + 0*r - 3*a = -58. Is r prime?
False
Suppose 0 = 2*g - 3*t - 9, 4*g + 3*t + 18 = 3*g. Let p be g/(-2)*2/(-3). Is ((-14)/8)/(p/20) a composite number?
True
Let d = 3 + 1. Suppose -1 - 19 = -d*y. Suppose 238 = y*b + 53. Is b a composite number?
False
Suppose 112 = 6*t - 410. Is t a composite number?
True
Suppose 4*s = 4*k - 7*k + 22658, 4*k - 28323 = -5*s. Is s prime?
False
Let w be 0/(-1*(1 + -2)). Let r be (-4 - -1) + (-21)/(-3). Suppose -n - 4*f + 33 = 0, w*f + f + 47 = r*n. Is n composite?
False
Let o(l) = -l. Let z be ((-42)/(-35))/(1/15). Suppose -z = -0*d + 3*d. Is o(d) a composite number?
True
Suppose -202 = -4*k + 3*b + 49, b + 182 = 3*k. Is k prime?
True
Let p(q) = 9*q**2 + 2*q - 3. Let k be (-4)/16 - 98/(-8). Let j be k/9 - 6/(-9). Is p(j) prime?
True
Is 1509/12*14 + 6/(-4) a prime number?
True
Suppose 6*z - 4*z - 1038 = 0. Is z composite?
True
Let h = -64 + -29. Let g = 256 + h. Is g prime?
True
Let j = -265 - -744. Is j a prime number?
True
Let s(r) = 20*r**2 + 3*r + 4. Let w be s(3). Suppose 2*f = 3*g - 197, -6*f - w = -3*g - 2*f. Is g composite?
False
Let k(h) = -24*h - 13. Let p be ((-12)/(-8))/(4/(-24)). Is k(p) composite?
True
Let j(s) = -s**2 + 12*s + 5. Let t(d) = 5*d + 2. Let f be t(2). Let r be j(f). Suppose r*c - 20 + 5 = 0. Is c a composite number?
False
Let g(t) = t**2 - 4*t - 5. Let m be g(4). Let r be (-2)/m - (-18)/5. Suppose -3*s = r*x - 0*s - 68, -3*x + 46 = s. Is x composite?
True
Let q(y) = -65*y + 1. Is q(-2) prime?
True
Suppose -113 = -5*f - z + 92, -5*f + z = -215. Let c be f/4*4/6. Suppose -c*s + 2*s + 395 = 0. Is s prime?
True
Suppose 2 = k - 2. Suppose -5*h = -q - 1463, q + 1170 = k*h - 0*q. Is h prime?
True
Let y = 0 - 3. Let s(c) = 7*c**2 + 2*c + 2. Is s(y) composite?
False
Let i be (2/4)/((-4)/24). Let c = 52 + i. Is c a composite number?
True
Suppose 0 = -p + 6 + 105. Is p a composite number?
True
Let c = 14 + -9. Suppose 322 = 2*a - 0*s - 4*s, -c*s = -a + 161. Suppose 3*p -