+ 2*n(g). Is v(3) a composite number?
False
Let j = -3 + 62. Is j composite?
False
Suppose -3*b + 2*b - 372 = 0. Let c(i) = -2*i + 2. Let p be c(2). Is p/(-10) - b/15 composite?
True
Let r = 152 - 84. Suppose 0 = -z - 15 + r. Is z a composite number?
False
Let q be 1/(1/2)*1. Let b = 37 + q. Is b composite?
True
Is (-2)/8 - 53/(-4) a composite number?
False
Suppose 0 = -6*b + 3*b + 5*k + 5703, 0 = b - 5*k - 1901. Is b a composite number?
False
Let t(p) = 612*p**2 + 4*p - 3. Is t(1) prime?
True
Let g(o) = -26*o + 1. Let r be g(1). Let l = 346 - r. Is l a prime number?
False
Suppose 5*x + 2*v - 5 = 6*v, 0 = 4*v. Let t be ((1 - x) + 1)*153. Suppose 0*s = -3*s + t. Is s prime?
False
Let l(x) = 78*x**3 + x**2 - 2*x + 1. Let a be l(1). Suppose 0 = h - 3*i - 16, 4*h - a = -i - i. Is h a prime number?
True
Let g(m) = 3*m**2 + m + 1. Is g(8) composite?
True
Let f = -1376 - -1969. Is f a prime number?
True
Let a(l) be the second derivative of -l**8/6720 + l**7/630 + l**6/240 - l**5/120 - l**4/12 + 2*l. Let z(s) be the third derivative of a(s). Is z(-3) composite?
False
Let k(t) = 19*t**2 + t - 13. Let m be 1 + (-12)/(-9)*3. Is k(m) a prime number?
True
Let x(z) = -19*z**3 - 3*z**2 - 4*z + 1. Is x(-3) a prime number?
True
Suppose 0 = 4*b - 7*b - 3. Let m be (1 + -1 + b)*-4. Suppose 0*c + m*c - 44 = 0. Is c composite?
False
Let s be 1*(-22)/4*2. Is (7 - 5)/((-2)/s) a composite number?
False
Suppose 30 = 5*k - 30. Let u(l) = 2*l**2 - 3*l - 5. Is u(k) a prime number?
False
Let f(s) = -s**2 - 6*s - 2. Let z be f(-4). Suppose -z*m = -m - 1055. Is m a prime number?
True
Let f be ((-5)/10)/((-2)/624). Suppose 0*o + 4*o - f = 0. Is o prime?
False
Let o be ((-75)/10)/(1/(-6)). Let d = o + 16. Suppose 2*b - 5 = d. Is b prime?
False
Let s be ((-2 - -1) + 1)/(-1). Let u = -1 + 4. Suppose s = u*m - 311 + 74. Is m composite?
False
Let j(n) be the first derivative of 19*n - 1/2*n**2 + 1. Is j(0) composite?
False
Suppose 0*w + 3*w - 451 = 2*v, -4*v = 3*w - 439. Is w a prime number?
True
Let d be 24/(-2)*(-3)/9. Suppose -3*m = -d*c - 302, c + 204 = 2*m - c. Suppose m = -0*f + 2*f. Is f a composite number?
False
Let x(l) = -l**3 + 5*l**2 + 7*l - 4. Let j be x(6). Let y(c) = 3*c - 2. Let h be y(j). Is (254/8)/(1/h) a prime number?
True
Suppose m - 20 = -4*m. Suppose m*n - 1066 = 138. Is n a composite number?
True
Suppose -2*u + 4518 = 5*h + 80, 3*u = h + 6657. Is u composite?
True
Suppose 216 = -3*i - 291. Let m = i - -248. Is m composite?
False
Let x(f) be the second derivative of 47*f**4/12 + 3*f**2/2 - 2*f. Is x(2) a composite number?
False
Let a(q) = q**3 - 8*q**2 - 9*q - 13. Suppose -59 = -4*u - 19. Is a(u) composite?
False
Let l(m) = m - 3. Let z(u) = -7*u**3 + u + 1. Let o be z(-1). Let r be l(o). Suppose r*b = -0*b + 76. Is b prime?
True
Let w be (-6)/(-15)*1*10. Suppose 3*n = w + 2. Is n a prime number?
True
Suppose 1 = -2*i + 5. Suppose -i*m = -4*h - 94 - 140, -12 = -4*h. Is 1 + m - (3 + -6) a prime number?
True
Let c = 5 + -2. Suppose c*i - 4 = 8. Suppose 5*y - 2*j = 241, -i*y + j = -j - 192. Is y a prime number?
False
Let y(u) = -125*u - 16. Is y(-6) composite?
True
Let y = 123 - 34. Is y a prime number?
True
Let f(a) = a**2 + 7*a - 5. Let n be f(-8). Is 3 - ((-9)/n + -29) composite?
True
Suppose 3*x - 5*p + p + 2 = 0, -4*x + 3*p = -2. Is ((-59)/x)/((-11)/154) a prime number?
False
Let g(q) = -311*q**2 + 7*q + 6. Let c(u) = -2*u + 2. Let l be c(3). Let x be g(l). Is x/(-35) + 1/5 a composite number?
True
Let q = 1581 - -92. Is q prime?
False
Let o(w) = -6*w**3 - 2*w + 1. Let a = 16 - 10. Let b be (a/(-4))/(-3)*-4. Is o(b) a composite number?
False
Let d be (-2)/(-5) + 28/5. Suppose d*t - 345 = t. Is t a prime number?
False
Suppose 2*b - z = -2*z + 11, -4*b - 4*z + 32 = 0. Suppose -b*j + 486 = y, -3*j = 3*y + 2*y - 474. Is j a prime number?
True
Let z(h) = 227*h**2 - h. Is z(1) a prime number?
False
Suppose 2*v - 4*p = 381 + 37, -5*v - 4*p + 1003 = 0. Is v a composite number?
True
Let j be 1 - (-1 + 16 - -2). Let y be 6/(-21) + j/(-7). Suppose -y*i = 2*i - 152. Is i prime?
False
Suppose -164 = -5*m - 9. Suppose -3*k + m = -2*d, -7 + 4 = -4*k - 5*d. Is k a composite number?
False
Suppose 2*k = -3*k + 15, 3*f = 5*k + 198. Is f a prime number?
True
Let s be 4/(-14) + 1476/21. Suppose -s = w - 3*w. Is w prime?
False
Let w(l) = -3*l**2 + 8*l + 3. Let b(h) = -3*h**2 + 7*h + 2. Let y(p) = -5*b(p) + 4*w(p). Let j(f) be the first derivative of y(f). Is j(3) prime?
False
Let z be -3 - (1 + (-4 - 2)). Suppose 6*q = z*q + 364. Is q a prime number?
False
Let a(o) = o**2 - 10*o + 8. Is a(15) composite?
False
Suppose 0*w - 5*b - 35 = -5*w, -5*b = -4*w + 33. Suppose -64 = -w*r - 2*r. Suppose 3*v - r - 26 = 0. Is v a prime number?
False
Suppose -4*c = 5*z - 178, -z + 33 = 2*c - 5. Is z a composite number?
True
Let i = 0 + -7. Let g = 11 + i. Suppose g*a - 240 = 2*x, -5*a + a = 2*x - 224. Is a a prime number?
False
Suppose -4*y - 15 = -5*z, 0 = z + 3*z - y - 23. Let d(c) = 3*c**2 - 2*c + 10. Is d(z) prime?
False
Suppose 1032 = -4*h + 3092. Is h composite?
True
Let p(i) = i**2 + 13. Let v = 16 + -6. Is p(v) prime?
True
Is 0 - ((-2)/13 + 104880/(-195)) a prime number?
False
Let z be -9 + -1 - 22/(-11). Is ((-254)/z)/(2/8) a composite number?
False
Suppose 0*a + 4*a - 12 = 0. Suppose -2 = -p, h + a*p - 21 = -2*h. Suppose 2*v - v - 45 = -2*q, 5 = -h*v. Is q a prime number?
True
Let d be ((-4)/2)/(3/6). Let p be -2 - (-9 - (d - -2)). Suppose 0 = p*r + 3*n - 592, 3*n - 2*n + 239 = 2*r. Is r composite?
True
Let d(k) = -k**2 + 11*k - 10. Let a be d(8). Is 186/a - (-10)/(-35) composite?
False
Let q(j) = j**2 + 4. Let t be q(0). Suppose 2*w - t*w = -174. Suppose -4*g + w = -45. Is g a prime number?
False
Suppose -476 - 61 = -3*m. Suppose -5*s + 266 + m = 0. Is s a prime number?
True
Suppose 9*x - 3068 = 5*x. Is x a prime number?
False
Is ((-879)/9)/(-1*(-4)/(-12)) composite?
False
Let x = 16352 - 10767. Is x prime?
False
Suppose 2*k - 1680 = -226. Is k a composite number?
False
Let c = -270 + 637. Is c a prime number?
True
Let q be (-10 - 0)*3/6. Let x(y) = y**2 + 5*y + 2. Let w be x(q). Suppose -d + 3*m + 59 = -0*m, -d - w*m + 59 = 0. Is d composite?
False
Let d be (3 - 555/(-6))*2. Suppose -g + 10 = -2*v + d, 15 = -5*g. Is v a composite number?
False
Suppose 219 = 3*y - 534. Is y a composite number?
False
Suppose -l + 54 = -103. Is l a composite number?
False
Suppose -11*x + 8*x + 381 = 0. Is x a composite number?
False
Let l be (15/2)/5*2. Suppose 4*v = -0*v + 8, -l*s + 96 = 3*v. Let j = s + 61. Is j a prime number?
False
Let z(u) = u**3 - 2*u**3 + u - 4 - 3*u**3 - 6*u**2 + 5*u**3. Is z(6) a composite number?
False
Let q = 3 - 1. Suppose -5*z - 2*r = -273, -q*z - 3*z = 3*r - 277. Is (-3)/((-3)/z) + -2 prime?
False
Let h = -13 - -6. Suppose 6 + 122 = 4*f. Let l = f + h. Is l a prime number?
False
Let f(u) = -u**3 - 2*u**2 + 2*u + 5. Let o be f(6). Let h = o + 380. Is h composite?
False
Suppose -5*y - 114 = -3*y. Is y/(-2)*4/6 a composite number?
False
Let s be ((-24)/(-8))/(6/(-16)). Let c = s - -13. Suppose 28 = 2*i - 2*r, i - c*r = -2*i + 40. Is i prime?
False
Is 3 + (-3 - -37)/1 composite?
False
Suppose 5*k - 3 - 2 = 0. Suppose -2 = 3*f + k. Is (f + -1 - -49) + 0 a composite number?
False
Suppose -3*p + 28 = -50. Let g = 40 - p. Is g composite?
True
Let c = -7 - -8. Suppose -3*p = -2 - c. Suppose 0 = y - 3*d - 7, 7*d = y + 2*d + p. Is y a composite number?
False
Suppose 2*m + d = 0, 3*m - 5*m + 2*d + 12 = 0. Let k = -2 - -4. Suppose 0 = 2*w - 4*a - 30, k*w - m*a = -7*a + 48. Is w a prime number?
True
Suppose -15875 = -11*m + 240. Is m a prime number?
False
Let w(h) = 2*h**3 + h**2 + h - 3. Is w(7) prime?
True
Let l be 0/(4*2/(-4)). Is (-120)/(-10) + (l - 2) a prime number?
False
Let o = 3 - 7. Is ((-74)/o)/((-7)/(-14)) prime?
True
Let f(b) = b**3 + 2*b**2 - b + 2. Let h be f(-2). Suppose -3*k + 672 = -3*d, 0*d + h*d = -2*k + 442. Is k a composite number?
False
Let k(t) = 5*t**2 - 12*t + 6. Let d(r) = -10*r**2 + 23*r - 13. Let c(q) = -3*d(q) - 5*k(q). Is c(7) prime?
True
Let s = -4 - 1. Is 7 + -8 - 3*s a composite number?
True
Suppose -4*m - 108 = -0*m. Let d = m + 46. Is d composite?
False
Let a = -82 - -200. Let d = -84 + a. Is d composite?
True
Let q be -1 + (2/1 - -120). Let r