2*n + o + 9 = 4*m. Suppose -2*h = m*h - 132. Is h a composite number?
True
Suppose -s = 4*n - 4, 20 = -n + 5*n - 3*s. Suppose -r = -3*a + n, 0 = 4*a - 7*a - 4*r - 8. Suppose 3*z + z - 356 = a. Is z composite?
False
Let i(z) = -4*z - 21. Is i(-10) a prime number?
True
Let n = 1433 - 760. Is n prime?
True
Is (478 + 1)*(-22)/(-22) a composite number?
False
Let u(f) = 3*f**2 - 3*f - 1. Let c be u(-3). Is (-1550)/(-14) - (-10)/c a prime number?
False
Suppose -q - 15 = -6*q + 5*z, 2*q - 12 = -4*z. Suppose 2*g + 166 = -q*y, 0*y - 3*y - 3*g - 117 = 0. Let x = -7 - y. Is x a composite number?
False
Let k(u) = -u**3 + 17*u**2 + 5*u + 16. Is k(15) a composite number?
False
Suppose 4*f - f - 357 = 0. Is f prime?
False
Let g be (-87)/2*18/(-27). Let k = 39 - g. Is k prime?
False
Suppose 7*h - 3*h + 20 = 0. Let j = -3 - h. Is j + (1 - 2) - -22 composite?
False
Is 5444*(-8)/12*(-6)/8 a composite number?
True
Let f(p) = 4 + 0 - 2*p**2 + 3*p**2 + 6*p. Let k be f(-5). Is 2 + -4 - 21/k a prime number?
True
Suppose -2*t + 0*t + 42 = 4*y, -2*y = 5*t - 145. Is t a composite number?
False
Suppose 262 = f + 5*v, -5*v = -5*f - 8*v + 1200. Is f a composite number?
True
Let m be 14 - -4*2/(-4). Is 3/m + 59/4 a prime number?
False
Suppose 3*l - 5*z - 5 - 7 = 0, 5*l + 17 = -4*z. Is (-2)/(2/31*l) a composite number?
False
Let n be 28/2 - (1 + -2). Suppose 0 = c - 63 - n. Let g = 113 - c. Is g prime?
False
Let t(c) = 1 + 4*c**2 - 2 + 4*c + 2. Let n be t(-4). Suppose -3*g = l - 145, n + 88 = l + g. Is l prime?
False
Let h be (-66)/(-15) + 2/(-5). Suppose h*g = 15 + 5. Suppose t + q - g = 0, 3*t - 3*q - 21 = -8*q. Is t prime?
True
Suppose -12523 = -3*s - 2*g, -5*s - g + 20905 = -6*g. Is s prime?
True
Suppose -85 + 1 = -u. Suppose 5*j + t = 4*t + u, 39 = 2*j - 3*t. Is j a composite number?
True
Suppose 0 = 4*d - 8, 0 = 5*j - d - 4*d - 10. Suppose -3*v + j*y = -32, 2*y = 3*v + y - 35. Is ((-4)/v)/(1/(-237)) a composite number?
False
Let w(t) = 39*t + 1. Let y be w(3). Suppose 4*j + 2*b = y, j - 3*b = 2*j - 22. Is j a composite number?
False
Let k = -11 + 16. Let n be (k/2)/((-3)/18). Is n/(6/3 - 3) a composite number?
True
Let y(i) = -i**3 + 7*i**2 + 2*i - 5. Let f = -9 - -16. Let a be y(f). Let m = a - 3. Is m prime?
False
Suppose -k - 6 = 4*l, 2 = 3*l - 2*k + 1. Is 3/3*(-223)/l composite?
False
Let z(h) = 4*h + 7. Let p(k) = 4*k + 7. Let x(r) = -5*p(r) + 6*z(r). Is x(7) a prime number?
False
Is (355/3)/(4/12) a composite number?
True
Let p = -162 - -539. Is p a prime number?
False
Let d be (-2)/(-5) - (-32)/20. Suppose -d*o - 8 + 40 = 0. Let p = o + 61. Is p a prime number?
False
Let u = 4 - 2. Suppose 54 = 2*x - 0*p - 2*p, -u*x = 5*p - 47. Is x a prime number?
False
Let l = -120 - -511. Is l a composite number?
True
Suppose q - 2*a - 6 = 0, -q + 2*a = a - 1. Let i = 5 + q. Is 7*i*(2 + 0) composite?
True
Let h(m) = 8 + 11 + m**3 - m**2 + 0*m**2. Is h(0) a composite number?
False
Let y(k) be the third derivative of 31*k**7/2520 + k**6/360 - k**5/120 + k**4/12 + 3*k**2. Let b(c) be the second derivative of y(c). Is b(2) a prime number?
True
Suppose 3*v + 0*v + 27 = k, -4 = -v. Is k a composite number?
True
Let b = -67 + 14. Is (3 + 1)*b/(-2) a composite number?
True
Let y = 20 - 10. Let d = -16 + y. Is (-4)/d*(-114)/(-4) composite?
False
Suppose 2*y - 436 = -2*y. Is y a prime number?
True
Suppose 5*b = x - 387, 8*b - 3*b + 383 = -x. Let o = 144 + b. Is o a composite number?
False
Let p(x) = 2*x**3 + 3*x**2 + 3. Suppose 2*l = -3*j + 7*l - 11, 2*l - 2 = 2*j. Let o be p(j). Suppose -o = -3*h + 9. Is h composite?
False
Let g(u) = 8*u**2 - 2*u + 3. Let b(x) = 40*x**2 - 11*x + 15. Let w(z) = -2*b(z) + 11*g(z). Is w(5) prime?
False
Let a(y) = -y**3 + 3*y**2 + 4*y - 6. Suppose -2*u = -3*x + 4, -3*u + 11 + 9 = 2*x. Let z be a(x). Is z/10*-1*85 a prime number?
False
Suppose 0 = -5*w - 5*z - 1960, -1345 = 3*w - 5*z - 209. Let x = -80 - w. Is x a composite number?
False
Suppose 984 = 3*v + 3*k, 0 = 5*v + k - 4*k - 1648. Is v composite?
True
Let y = 258 - 109. Is y a prime number?
True
Let t = 415 - 2. Is t a prime number?
False
Suppose 0*u - 4*u + 16 = 0. Suppose -u = -4*z + 144. Is z composite?
False
Let d = 7 + -7. Is 162 + (2/(-2) - d) a composite number?
True
Suppose 4*s = 5*s + 7. Is -3*(s - 0) + 1 prime?
False
Suppose -3*h + 2*z = z, -19 = -4*h - 5*z. Let a(g) = 4*g + h - 3*g + g - 4. Is a(7) composite?
False
Let o(k) = -k**2 - 2*k + 2. Let r be o(-2). Suppose h = -r*h + 633. Is h a prime number?
True
Suppose -2*z = -6*z + 7444. Is z a composite number?
False
Let q(p) = 63*p - 1. Let f be q(1). Suppose -l - r - 155 = -6*l, -2*l + r = -f. Is l composite?
False
Suppose -5*d - 2*r + 1013 = 0, r - 1175 = -5*d - 161. Is d prime?
False
Let a(b) be the third derivative of -17/24*b**4 + 0 + 2*b**2 + 0*b + 1/6*b**3. Is a(-2) a prime number?
False
Suppose 5*l = 5*w - 10, 2*l - 4*l - 2*w = 0. Let j be l*3*4/6. Is 25*3/(5 + j) prime?
False
Suppose 4*b = n - 2437, -4*n + 3*n + b + 2437 = 0. Is n composite?
False
Let k(t) = t**2 - 7*t. Let w be k(7). Suppose -5*s + w*s = -20. Suppose s + 45 = c. Is c composite?
True
Suppose v - 8 = -3*v. Suppose -v*h + 14 = -4*w, -2*w + 16 = -4*h + 38. Suppose 0 = h*y - 3*b - 23, -2*y - 2*y - 3*b + 13 = 0. Is y composite?
True
Suppose 3*w = -w + 784. Suppose 4 = -2*d, 2*s - w = -4*d - d. Is s prime?
True
Let j = 1345 - 704. Is j a prime number?
True
Let j = 27 + -19. Let q(b) = b + b + j*b. Is q(1) a prime number?
False
Let g = -64 - -153. Is g prime?
True
Let k = 6 + -4. Let m(q) = 9*q**3 + q**2 + 2*q - 1. Is m(k) prime?
True
Is 7/(-3) - -2 - (-1544)/6 a prime number?
True
Let r = 1043 + -688. Is r composite?
True
Let q = -9 + 12. Suppose 0*p = -q*p + 141. Is p composite?
False
Let v(m) be the first derivative of 2 - 1/4*m**4 + 7/3*m**3 + 7/2*m**2 + 10*m. Is v(7) composite?
False
Suppose -5*c + 28 = -277. Let q = -38 + c. Is q composite?
False
Let r(i) = 924*i - 1. Is r(2) prime?
True
Let g = -7 - -6. Let x be (-1 - 0)/(g/11). Let v = x - -86. Is v prime?
True
Suppose 416 = 5*i + 3*d, -i + 94 = -0*i - 3*d. Is i a composite number?
True
Let r = 30 + -29. Let q(g) = 237*g - 2. Is q(r) prime?
False
Suppose -29525 = -8*r + 4643. Is r prime?
True
Let q = 7 - 3. Suppose -4*x - x + 1750 = 2*w, q*x - 1402 = -2*w. Suppose x = 5*r - 107. Is r a composite number?
True
Suppose -2*o - 1 - 3 = 0. Is (121 - -4) + (0 - o) a composite number?
False
Is -4 + (-2891)/(-1) + 1 + -3 a prime number?
False
Suppose b + 2*u + 5 = 0, 0 = -3*b - 2*u - 3 + 8. Suppose -5*t = -2*t - b*f - 116, 82 = 2*t - f. Let h = t - 23. Is h a prime number?
True
Let s(m) be the first derivative of 2*m + 1 + 7/3*m**3 - 1/4*m**4 - 5/2*m**2. Is s(3) composite?
False
Let b(h) = -h**3 - h**2 + 3*h + 5. Let w be b(-4). Let d = w - -252. Is d composite?
False
Is (2 - (1 + 1 + -2)) + 767 a composite number?
False
Suppose 0 = 4*m - 4*f - 12, 5 = 5*m - 0*m + 5*f. Let d be (-33)/3 + m/2. Let z = 75 - d. Is z a prime number?
False
Let p(h) = 11*h + 3. Is p(16) a composite number?
False
Let d(k) = 78*k + 11. Is d(10) a composite number?
True
Let u = 199 - 31. Suppose -4*x + u = -164. Is x prime?
True
Is 0/1*(-3)/(-3) + 1459 composite?
False
Let o be 14373/24 + 1/8. Suppose 2*d = 8, 4*d = -2*g + 5*g - o. Is g a prime number?
False
Suppose -m = 3*m - 48. Let r = m - 5. Is r composite?
False
Let m be (-3)/(0 + (-6)/(-16)). Let o(i) be the third derivative of -i**4/6 + i**3/6 - i**2. Is o(m) composite?
True
Suppose 36 + 60 = -2*s - 2*q, -4*s - q - 195 = 0. Let x = s - -21. Is (-107)/(-7) - (-8)/x a composite number?
True
Let z = 2439 + -1570. Is z prime?
False
Is ((-6)/(-18))/(-1)*-165 composite?
True
Is 92/12 + -7 + 7111/3 composite?
False
Let f be 2/(4/4)*38. Suppose -i = -135 - f. Is i a composite number?
False
Let c = 6317 - 3568. Is c a composite number?
False
Let j(a) = a**3 + 10*a**2 + 7. Suppose 0 = 3*b + x - 19, -b - 15 = -0*b - 5*x. Suppose -5*y - 70 = -b*n, -3*n - 48 + 10 = 5*y. Is j(y) prime?
True
Suppose -177 - 60 = -3*r. Is r composite?
False
Suppose u = -u + 4. Suppose 3*w - 4*t = -u, 4*w + 2*t + 2*t = 16. Is (w*-1)/(4/(-74)) composite?
False
Suppose 5*a - 70 = 85. Is a a composite number?
False
Suppose 0 = -10*a + 4*a + 3594. Is a a composite number?
False
Let d(b) = b - 3. Let g be d(5). Suppose -318 =