Let z = 4 - 1. Suppose 3*s - u - 1385 = -2*s, 3*u = 0. Suppose 2*v + 3*l - 128 = l, 4*v - s = z*l. Is v prime?
True
Let h = 5 + -3. Let i(r) = -5 + 5 - h*r. Is i(-7) a prime number?
False
Let i(c) = 5*c**3 - 3*c**2 + 5*c + 3. Is i(4) composite?
True
Let q(n) = n**3 + 12*n**2 + 10*n - 7. Let g be q(-10). Suppose -2*z + 17 = -g. Is z a prime number?
False
Let z(w) = -w**3 + 15*w**2 + 10. Is z(15) a composite number?
True
Suppose -1 = -m, -2*m = x + 2*m - 1155. Is x prime?
True
Let w(r) = r**3 - r**2 + 1211. Is w(0) a prime number?
False
Suppose 4*d - 1372 = -292. Suppose 4*g = z - 2*z + 530, d = 2*g - 2*z. Is g a composite number?
True
Suppose 0 = -2*v + 150 + 160. Suppose -267 - v = -2*g. Is g a prime number?
True
Suppose -2*g - 2*g + 332 = 0. Is (-4)/(-2)*g/2 prime?
True
Suppose -2*b = -c - 16, 4*b = -b - 3*c + 51. Let r = b + -14. Let k = r + 15. Is k composite?
True
Suppose 0 = -5*o + 3*q + 13 + 1433, -4*q - 1152 = -4*o. Is o prime?
False
Let n = -135 - -313. Is n a composite number?
True
Let t(n) = -1 + 2*n - 4*n**2 - 10*n + 6*n**2. Is t(6) composite?
False
Let s(o) = 19*o**2 - 15*o - 5. Is s(9) composite?
False
Let d(b) = 2*b**2 + 10*b + 5. Is d(9) a composite number?
False
Let s(i) = -i**2 - i - 57. Let v(x) = -x - 6. Let w be v(-6). Let t be s(w). Is 3*(-2)/(18/t) a composite number?
False
Let a(h) = -3*h**3 - 3*h**2 - 2*h**3 + 6 + 2*h + 2*h**3 + 2*h**3. Let t = -7 - -3. Is a(t) a prime number?
False
Suppose 580 = 2*k - h, -k + 2*h + 0*h + 296 = 0. Suppose 5*z + p - 486 = 2*p, -k = -3*z - 3*p. Is z a prime number?
True
Let l(r) = 3*r - 4. Let w be l(3). Suppose w*y - 3*v + 5*v - 320 = 0, -2*y = -v - 137. Suppose 0*c = -3*c + y. Is c a composite number?
True
Is 4 - (3 - 0 - 5456/11) a prime number?
False
Suppose 56 - 44 = 4*f. Let v be 1 + (8 - 1) - -1. Suppose -v = -f*j + 3. Is j a prime number?
False
Let k be -3*1/((-12)/116). Let j = 122 - k. Is j a composite number?
True
Suppose 33 - 3 = -5*y. Let c = -6 - y. Suppose c = 4*i - 3*v - 254 + 11, 3*v = -2*i + 99. Is i composite?
True
Let z = -1 - -4. Let u(p) = p**2 + 6*p**2 - 4 - p**2 - p. Is u(z) prime?
True
Let h(r) = -r**3 - 2*r**2 + r - 2. Let q be h(-3). Suppose -q*t - 5 - 7 = -5*u, -u - 2*t - 6 = 0. Is 1*(u - (-35)/1) prime?
False
Let h(g) be the first derivative of g**4/4 + 8*g**3/3 - g**2/2 - g + 1. Suppose -4*a + 24 = -y - y, 3*y - 4*a = -30. Is h(y) a composite number?
True
Let f(p) be the third derivative of -p**6/120 - p**5/10 - 5*p**4/24 - 5*p**3/6 + 2*p**2. Is f(-7) composite?
False
Let f(t) = 139*t**2 + 8*t - 16. Is f(3) a prime number?
True
Suppose 0*p = -p + 3. Suppose 0 = -2*n + p*n + 3. Is -3*n/9*119 prime?
False
Let v be ((-969)/(-68))/((-6)/(-592)). Suppose 0 = 4*b - 662 - v. Is b a composite number?
True
Suppose 241 = m - 57. Suppose 0*r + 2*r = m. Is r a composite number?
False
Suppose 6590 = 5*p - 0*s + s, 4*p - 5301 = 5*s. Is p composite?
False
Let q(k) = -11*k + 2. Is q(-7) prime?
True
Suppose -5*y = -4*r, 5*r + 4*y = -0*y. Suppose 0*p + 443 = 5*p + 4*z, 2*p + z - 176 = r. Is p prime?
False
Let g = -1085 - -1530. Is g a prime number?
False
Let m be (257/4)/((-5)/20). Let w be m/(-5) - (-8)/(-20). Suppose -81 = -4*j + w. Is j prime?
False
Let m(b) = 0 + 2 + 5*b - 6*b. Let f be m(-3). Let x(v) = v + 2. Is x(f) a prime number?
True
Let r(n) = -2*n**3 - 9*n**2 - 9*n + 5. Is r(-6) composite?
False
Is (-178 - 0)/(-1 + 0) a composite number?
True
Let p(v) = -v**2 - 6*v - 3. Let j be p(-5). Suppose r - 113 = 3*b, j*r = -2*r + 4*b + 468. Is r a composite number?
True
Suppose 1 = 2*v - v. Let k be 123 + 0 + (2 - v). Suppose 4*u = -0*u + k. Is u a composite number?
False
Suppose -g - 1 = -2*g. Let t = -1 - g. Let b = 4 + t. Is b composite?
False
Let g = 710 + -353. Let z = 548 - g. Is z composite?
False
Suppose -4*j + 161 + 143 = 0. Let u = j + -23. Is u composite?
False
Suppose 2*v + 171 = 1103. Is v a prime number?
False
Let i(a) = a**2 - 7*a + 11. Let y be i(-11). Is y + 2/(-3)*-3 prime?
True
Let d be (-16)/(-6) - (-2)/(-3). Suppose d*p = 266 - 76. Suppose 0 = 5*l - 10*l + p. Is l a composite number?
False
Let v(r) = -r**3 + 8*r**2 + 10*r - 13. Let t be v(9). Let x be (7 - 4)*t/(-3). Suppose 0 = -2*p - x*u + 2*u + 64, 5*u = -15. Is p prime?
False
Suppose -r - 6 = -3*t + 6, -2*r = -t + 9. Suppose 4*z = -2*y - 2*y - 4, z = -t*y - 5. Is (278/4)/(z/2) composite?
False
Let d(n) = -35*n - 13. Is d(-4) prime?
True
Suppose -2*p = -8 - 0. Suppose 3*t = p*t - 330. Suppose 5*a + 6*r - 315 = 2*r, r - t = -5*a. Is a a composite number?
False
Suppose 5*j + 21 = -2*m, -5*m = -4*j - 29 - 1. Let c(x) = x**3 - x**2 + 2*x - 2. Let o be c(m). Let t(w) = w**3 - 5*w + 5. Is t(o) composite?
False
Is (116/6)/(7/(1155/10)) a composite number?
True
Let d = 1465 + -208. Is d a composite number?
True
Let d be (-1115)/4 - 1/4. Let v = d - -398. Is v prime?
False
Suppose -142 = 5*k - 27. Let p = 12 - k. Is p a prime number?
False
Suppose 14*c - 1464 = 6*c. Is c a prime number?
False
Let j(z) = 4*z**2 + 21*z - 15. Is j(8) composite?
False
Suppose -187 = -2*q + 447. Is q prime?
True
Let f = -3480 - -6409. Is f prime?
False
Let c = 80 - 32. Let w = -29 + c. Is w a composite number?
False
Let u = 5 - 3. Suppose -20 = u*n + 2*j, -45 = 5*n + 5*j - j. Let q(a) = -2*a + 3. Is q(n) a composite number?
False
Let v(k) be the first derivative of -11*k**4/24 - k**2/2 + 1. Let w(n) be the second derivative of v(n). Is w(-3) composite?
True
Let m be ((-8)/(-10))/(6/15). Suppose m*j + 11 = 145. Is j a composite number?
False
Suppose 0 = -x + 50 + 61. Is x a composite number?
True
Suppose -3*u = 4*i - 2*i + 8, 8 = -5*u - 2*i. Let g = -23 + 23. Suppose w + g*w - 14 = u. Is w composite?
True
Suppose n - 4*k = -2*n + 658, 2*k + 8 = 0. Is n a prime number?
False
Let p be (6/(-4))/(6/232). Let w = p + 207. Is w prime?
True
Suppose 5505 = 3*r - 5778. Is r a composite number?
False
Suppose -2*g + 1 = -13. Let z(t) = 9*t**2 - 6*t - 8. Let y be z(g). Suppose -94 = -3*c - 4*s + y, s = 2*c - 327. Is c a prime number?
True
Suppose v - 4 = 3*s, -5*v + 10*v = s - 22. Let j(q) = q**2 - q + 3. Is j(s) a prime number?
False
Suppose 0 = 3*v - 3*q - 1192 + 97, -2*v + 744 = 5*q. Is v prime?
True
Is (994/4)/(((-18)/4)/(-9)) composite?
True
Let i = -10 + 12. Suppose i*j - 6 = 54. Suppose -2*b + j = 4*v - 116, v = 3*b - 240. Is b prime?
True
Let r = -16 + 735. Is r a prime number?
True
Let g(j) = -j**2 - 15*j - 14. Let b be g(-13). Is (-282)/(-8) + (-3)/b prime?
False
Let k(p) = 12*p - 1. Suppose 0 = 3*n - 0*n - 6. Suppose -n*w + 5*f = 3*w - 35, 3*w - 2*f = 19. Is k(w) a prime number?
True
Suppose 2*c - 4*h - 12 = 0, 2*h + 10 = -c + 4*c. Suppose -3*z + 53 = -c*b, -z - b + 19 = -2. Is z a prime number?
True
Let y(b) = 35*b**2 + 6*b - 2. Is y(3) a composite number?
False
Let q(z) = 48*z + 3 + 3 - 5. Let g = -98 - -100. Is q(g) prime?
True
Suppose -34 - 11 = -3*y. Let v = y + -11. Is v a prime number?
False
Let s(f) = -f**2 + 7*f - 8. Let w be s(6). Is (-381)/w*(-4)/(-6) composite?
False
Let i(f) = 6*f**2 - f. Let h be i(-1). Let s = h + -5. Suppose -65 = -2*u + b, s*u = -2*u - b + 121. Is u a composite number?
False
Let x = -364 - -678. Is x composite?
True
Let n(y) = 2*y**2 - 3*y - 2. Let b be n(7). Suppose 0 = q + 2*q - b. Is q composite?
True
Let h(k) = k**2. Let i(m) = 8*m**2 - 3*m - 1. Let j(y) = -6*h(y) + i(y). Is j(4) prime?
True
Suppose -2 = -2*a - q + 1, 5*a - 35 = 3*q. Let s(y) = 5*y**2 + 6*y - 2. Let f be s(a). Let z = f - 40. Is z prime?
False
Suppose 4*j - 296 = 5*j. Let m = j - -507. Is m prime?
True
Let q = 1732 - 75. Is q prime?
True
Let a = -259 + 455. Let k = a - 117. Is k composite?
False
Suppose 4*r = 4*d - d + 383, 5*d - 435 = -5*r. Let l(y) = 36*y**2 + 1. Let n be l(2). Let p = n - r. Is p a composite number?
False
Let c = 4 - 3. Let l be ((0 - -1) + -4)*c. Let g = l + 10. Is g composite?
False
Is 15/(-10)*2680/(-12) a composite number?
True
Let l(c) = c**2 + 127. Let o be l(0). Let x = 17 - 14. Is (-2 - x/(-1))*o composite?
False
Let f = -8 + 13. Suppose -3*t - 266 = -f*t. Is t a prime number?
False
Let g(p) = p + 11. Let b be 12/4 + 4*3. Let q = -4 + b. Is g(q) prime?
False
Let u(n) = n**2 + 13*n - 67. Is u(29) prime?
True
Let d = 5 - 3. Suppose d*k = -q + 51, -4*q = 5*k - 116 - 91. Is q composite?
False
Suppose