 number?
False
Let x = -12 + 8. Is (-212)/x*3 + -2 prime?
True
Let p(q) be the third derivative of -q**5/60 + q**3/2 - q**2. Let z be p(3). Is (-447)/z*(2 - 0) composite?
False
Let g be (-22)/55 - 156/10. Let q = g - -71. Is q prime?
False
Suppose -3*p + 11 = -1. Suppose 0 = -5*h + 2*g + 193 + 416, -3*h - p*g = -355. Is h prime?
False
Let l be (4/(-2) - 2)*-1. Suppose 2*g + 354 = 4*g. Suppose -f + l*f = g. Is f a prime number?
True
Let g(r) = 38*r + 41. Is g(24) composite?
False
Let p(y) = 139*y - 7. Is p(2) prime?
True
Suppose -4*x + 2*d + 1776 = 0, -x + 235 + 214 = -3*d. Is x composite?
False
Let p = 7 + -6. Let t be 1 + p/((-1)/(-2)). Suppose -t*m + 131 = -2*m. Is m a prime number?
True
Suppose -2*c + 4*c - 38 = -2*g, 2*c = -6. Let b = -16 + g. Is b composite?
True
Let z = -4 + 6. Suppose -z*t + 3*t + 11 = 3*g, g + t = 1. Is g a composite number?
False
Let f = 111 - 52. Is 1*6*f/2 prime?
False
Let h(u) = -u - 5. Let p be h(-6). Suppose v + 5*z - 5 = 0, -v + p = -z + 2. Suppose 4*f + f = 3*s - 45, v = 3*f. Is s composite?
True
Let q(l) = -l**3 + 6*l**2 + 5*l + 1. Let r = -15 + 21. Is q(r) composite?
False
Is 13125/9 - 2/(-3) a composite number?
False
Suppose 0 = 4*r + 12 - 0. Let x be r*(1 + -2) + 0. Suppose -4*d + 50 = 2*c, -x*c + 2*c - 3*d + 27 = 0. Is c a composite number?
True
Let w = 159 + -50. Is w prime?
True
Suppose 17 = 4*m + 1. Suppose 0*h + 4 = m*h. Is (h/1)/(2/174) a composite number?
True
Suppose 2*c = 404 + 84. Suppose -r = -c - 49. Is r a prime number?
True
Let b = 3 + -1. Let z = b - -1. Suppose -z*i - 2*i = -10. Is i a prime number?
True
Let x(g) = -g**3 + 11*g**2 + 4*g - 7. Is x(10) prime?
False
Let z(j) = -199*j - 2. Let q be z(-2). Suppose -15 + q = 3*n. Is n prime?
True
Is (-2)/9 + 4/((-72)/(-8950)) composite?
True
Let s = -7 + 7. Let m(q) = -q**3 + q**2 + 79. Is m(s) a composite number?
False
Suppose 0 = -4*t + 3*y - 100 + 1275, t - 290 = -3*y. Is t composite?
False
Let v = -7 + 98. Is v composite?
True
Let j = 56 + -170. Let a = j + 305. Is a a prime number?
True
Suppose 0 = -h - 5*p + 8, -13 = -3*h - 0*h - 4*p. Let z be 3/(-7) + (-9)/(-21). Suppose z*x = -h*x + 159. Is x prime?
True
Suppose 4*k + 4*y = 392, 2*k + 4*y = 100 + 98. Is k composite?
False
Let o = -1394 + 2361. Is o composite?
False
Let t = 393 + 94. Is t a prime number?
True
Let g(t) = t**2 - 10*t + 14. Is g(13) a composite number?
False
Let c(g) = -83*g + 3. Is c(-4) a composite number?
True
Suppose 2*h - 67 = 5*n, -2*n - 3*n = -3*h + 103. Suppose -3 - h = -3*f. Is f composite?
False
Suppose -t + 2*t = 14. Is t a prime number?
False
Is ((1 - -2) + -206)/(-1) composite?
True
Let y be (-10)/4*(-20)/25. Suppose 0 = 2*a - x - 123, 5*a + y*x - 226 = a. Is a composite?
False
Is (-101)/(-2)*(13 - -1) a prime number?
False
Let g = 8282 + -5779. Is g prime?
True
Let b(f) = f**2 - f - 1. Suppose -5*l - h = 2, -2*h - 7 = -2*l - 5*h. Let d be b(l). Is 1/(-2)*(-61 - d) a prime number?
True
Suppose 5*n + 4*z = 26, -2*z = 3*n - 3*z - 2. Is 168/15 - n/10 a prime number?
True
Suppose v = -4*b + 5, 2*b - 2*v - 5 = 5. Suppose -3*o - u + 47 = o, -o - b*u = -17. Is o composite?
False
Let q(a) = 14*a**2 - 16*a + 1. Is q(5) prime?
True
Let w(z) be the second derivative of -z**5/20 + z**4/6 + z**3/6 - z**2 + z. Let n be w(2). Suppose 465 = 3*a - n*a. Is a a prime number?
False
Let t be (-1)/(3/(-6)*2). Is (4 - (4 - t)) + 36 composite?
False
Suppose 1102 - 362 = 2*g. Suppose -5*q - 5*f = -g, -q = -7*f + 3*f - 99. Is q a prime number?
True
Suppose -6 = -y - 2*y. Suppose 13 = y*w - w. Is w prime?
True
Let q = 14 - 9. Suppose -4*x + 219 = -q*c, -x - 7 = 3*c - 49. Is x composite?
True
Let o(j) = -2*j**3 + 7*j**2 + 3*j + 4. Let i(x) = -3*x**3 + 8*x**2 + 3*x + 5. Let b(a) = -3*i(a) + 4*o(a). Let l be b(-2). Is 158/(l/(3/2)) a prime number?
True
Let n be 83/(-5) - 12/30. Let j = -9 + 33. Let b = j + n. Is b a prime number?
True
Let z(k) = -k**3 - 7*k**2 - 6*k + 3. Let v be z(-6). Suppose -2*g = v*a - 335, -2 = g + 3. Is a a composite number?
True
Let m = -3 + 5. Suppose 2*f = -4, x + 3*f + m + 1 = 0. Is x prime?
True
Let q = 412 + 454. Let u = 1279 - q. Is u a prime number?
False
Let g(v) be the first derivative of 10*v**3 - 9*v**2/2 - 5*v + 3. Let j(q) = -20*q**2 + 6*q + 3. Let d(w) = -5*g(w) - 8*j(w). Is d(4) a composite number?
False
Let y = -4 - -6. Suppose -y*n - n = 6. Is (-42)/n - (-1 + 0) prime?
False
Suppose -32 = 4*g - 480. Let i be g/2 + 3/1. Suppose 2*n = -5*q + i, -3*n + 2*q + 3*q + 51 = 0. Is n a composite number?
True
Suppose 739 = 4*b + 27. Is b prime?
False
Let w(u) be the third derivative of 7*u**5/60 + u**4/12 - 2*u**3/3 + 3*u**2. Is w(-3) composite?
False
Let b(u) = 10*u**2 - 1. Suppose -5*d + 20 = -9*t + 4*t, 2*d - 18 = -3*t. Suppose -4*k + d*k = 2. Is b(k) prime?
False
Let u be 3 - (-3 + (2 - 0)). Suppose 2*x + 212 = u*x. Is x composite?
True
Let k(u) = 4*u - 8. Let l be k(10). Let o = l + 15. Is o prime?
True
Suppose 4*f - 227 = 309. Is f*(0 + -2)/(-4) a prime number?
True
Suppose -r + 129 + 86 = 0. Is r prime?
False
Let f = 1233 + -746. Is f a prime number?
True
Let a be 1*6 + 2/(-2). Suppose 1986 = -2*b + a*b. Suppose -t - t = -b. Is t a prime number?
True
Let k(h) = h**3 - 9*h**2 - 5*h - 12. Suppose s = 4*b + 21, s + 4*s - 4*b - 57 = 0. Let c be k(s). Let l = c - -103. Is l a composite number?
True
Suppose 0 = -5*a + 206 + 2999. Is a prime?
True
Let q(x) = -2*x**2 - 2*x - 5. Let p be q(6). Is 2*p*2/(-4) a prime number?
True
Let a be -2*(0 + (-6)/4). Let x = a - 4. Is (-1)/x - (-25 + 3) composite?
False
Suppose -f - 2 = -0. Let p be (3/f)/(3/4). Is 1 + p*1*-12 prime?
False
Suppose 4*v = -r + 6621, -5*v - 26568 = -0*r - 4*r. Is r composite?
False
Suppose -3*q + 4 = -q. Suppose -2*u + 2 + q = 0. Suppose -22 - 3 = -5*h - 5*m, u*m - 28 = -5*h. Is h composite?
True
Is 20 - 1*(1 - 0) a prime number?
True
Let p = 2362 + -1641. Let t = p + -386. Is t prime?
False
Let c = 1 - 3. Let n be c/8 - (-13)/4. Suppose 4*x - 140 = -0*x + g, 0 = 5*x - n*g - 175. Is x a prime number?
False
Is (0 - -1 - -1245) + -21 + 24 a composite number?
False
Let k be (6/(-9))/((-2)/15). Suppose k*a + 4*r - 28 = 0, 5*a - 2*r - 3 = 13. Suppose 2*q = 3*z + 45 + 17, -4*q - a*z = -164. Is q prime?
True
Let c(i) = 3*i**2 + 5*i - 1. Let y be c(-5). Suppose -2*v - 70 = -14. Let x = v + y. Is x prime?
False
Let o = -23 - -7. Suppose -3*m - 2*d = -305, -m - 4*m + 5*d + 525 = 0. Let i = o + m. Is i composite?
True
Let f(z) = -z + 12. Let i be f(0). Suppose 5*a - i = -2. Suppose 4*q - a*q = 46. Is q a composite number?
False
Suppose -b + 0*b = 0. Suppose -4*z = -0*z + o - 148, -5*z + 185 = -3*o. Suppose b*u - z = -u. Is u a composite number?
False
Let c(x) = x**3 - 6*x**2 + 2*x + 1. Let l be c(5). Let w = 17 + l. Is w a composite number?
False
Let b = -8 - -11. Suppose -b*s = -12 + 3. Suppose -3*g + 0*g + 168 = s*m, 3*g + m = 174. Is g a prime number?
True
Suppose 4*o = 7 + 21. Let s(u) = 3*u - 1 - 6 - u**2 + 7*u. Is s(o) prime?
False
Let n(a) = a**3 - 18*a**2 + 14*a + 40. Is n(19) a composite number?
True
Let n be 5/(-4 + 151/38). Let z = 443 + n. Is z prime?
False
Let i(u) = u**3 + u**2 - u + 1. Let k be i(1). Suppose 5*z - 15 = -5*y, -3*y = -k*z + 6*z - 13. Suppose -z*w - 2*h = -74, -54 = -0*w - 3*w - 3*h. Is w prime?
True
Let c(r) = 50*r**2 + r + 1. Let k = -4 - -6. Is c(k) a composite number?
True
Let a = -226 - -73. Let z = 274 + a. Is z a composite number?
True
Let m(y) = y**3 - 4*y**2 - y + 9. Let x = -5 + 12. Is m(x) prime?
True
Let n be ((-2)/6)/((-1)/3). Let s(b) = 2*b**3 - 3*b**2 + 2. Let i be s(5). Is (n + -2)/((-3)/i) a prime number?
True
Suppose 4 = 4*v - 8. Suppose 3*o + 0*o = v. Let f = 50 + o. Is f a composite number?
True
Let b = 804 - 422. Is b composite?
True
Let z(w) = -143*w. Let u be (0 - -1)*(-1 + 0). Is z(u) a prime number?
False
Let x(j) = 93*j**3 - 4*j**2 + j - 1. Is x(3) a prime number?
True
Is (-786)/4*26/(-39) composite?
False
Suppose j = 5*j + 208. Suppose 2*b = 4*a - 0*a - 40, 4*a = -20. Let l = b - j. Is l composite?
True
Let y = -4 + 3. Let g be y/2 - 620/(-8). Let j = g - -2. Is j composite?
False
Suppose v - 38 = -v. Is v composite?
False
Suppose -6*w = -w - 40. Suppose -l + 4 = l, -w = -h - 3*l. Suppose t - v + 2*v = 15, -4*v = -h*t + 30. Is t prime?
False
Let r(u