a prime number?
True
Let h(j) = j**2 + j + 1. Let m be h(0). Is m/(-3) - (-3774)/9 prime?
True
Let t(m) = -5960*m + 51. Is t(-4) composite?
True
Let n = -577 - -918. Suppose -467 = 5*g + 533. Let f = n - g. Is f prime?
True
Let m = -917 + 1362. Is m prime?
False
Suppose -66350 = -7*k + 339. Is k a prime number?
False
Let p be (-4055)/(-2)*6/45*9. Suppose 2*r + p = c + r, 2*c - 4882 = -2*r. Is c a composite number?
False
Let u(s) = -7*s**2 - s - 1. Let b be u(1). Let y(x) = x - 5*x + 0*x - 2*x + 8. Is y(b) prime?
False
Let c = -2828 - -21009. Is c prime?
True
Let g = -25 - -27. Let l(w) = -12*w - 8. Let y be l(-9). Suppose -66 - y = -g*f. Is f prime?
True
Let l(n) be the third derivative of 3/2*n**3 + 7*n**2 + 0*n + 0 - 1/8*n**4 + 0*n**5 + 1/120*n**6. Is l(5) prime?
False
Let t be (3 + -1 - -3) + -2. Suppose -5*h = -c + 7, 0 = -2*c + h + t*h + 8. Is 39/c + 12/(-24) a prime number?
True
Let c(a) = -5*a**3 + a**2 + 14*a - 1. Let x(y) = 6*y**3 - 15*y + 1. Let b(n) = -7*c(n) - 6*x(n). Is b(-6) a composite number?
False
Let q(f) be the first derivative of f**3/3 + f**2/2 + 269*f - 7. Is q(0) composite?
False
Let g be 0/(-1) + (-1)/(1/(-2)). Is (5 + -7)*-19*g/4 composite?
False
Let o(g) = 353*g**3 + g**2 + 4*g - 3. Let k be o(3). Let m = k + -6764. Is m a composite number?
True
Let z = -19 - -20. Suppose -z = -f + 4, -4*f + 90 = 2*n. Is n prime?
False
Let p(l) = 157*l**2 - 3*l + 7. Let k(o) = -o**2 + o - 1. Let r(f) = -4*k(f) - p(f). Let u(x) be the first derivative of r(x). Is u(-1) a prime number?
False
Let x(v) = 2*v**3 - 57*v**2 + 66*v - 66. Is x(28) a prime number?
False
Let y = 1867 - 2635. Let w = -437 - y. Is w composite?
False
Is 10802/6 - (-13 + 222/18) prime?
True
Let g(q) = -3*q**3 + 7*q**2 - 2*q + 13. Let t(p) = -34*p**2 - 80 + 14 + 9*p - 8*p**3 + 24*p**3. Let o(a) = 11*g(a) + 2*t(a). Is o(5) a composite number?
True
Let m be (-120)/(3 + 114/(-40)). Let h = m + 1353. Is h a prime number?
False
Is (20/(-12) + 2)*6387 composite?
False
Suppose 3*o = 12, -53 = -2*g - 3*g + 3*o. Let s = g + -24. Let v = s - -76. Is v a composite number?
True
Suppose 2*k = -o - 0*k + 2, 3*k - 8 = -4*o. Suppose -o*n = -2*x + 14, n - 8 = -2*x - 0*n. Suppose -1616 = -4*b + x*w, -3*w - w + 1243 = 3*b. Is b prime?
True
Let r(g) = -1 + 9*g + 0 - 8*g. Let l(w) = 16*w + 15. Let k(p) = -l(p) - 4*r(p). Is k(-5) a composite number?
False
Suppose 3*f + 4*a = -f + 47104, 0 = -2*f + 4*a + 23564. Suppose 10*x - 4*x = f. Is x composite?
True
Suppose 4*v + 95 = 31. Let x be v/20 - (-1254)/5. Suppose -61 = -0*s - s - 2*p, -5*p + x = 4*s. Is s composite?
True
Suppose 5*j + 503 = 2943. Let m be 2/10 + 1758/(-15). Let r = m + j. Is r a prime number?
False
Suppose j + 2 = -4. Is 2*(-5055)/j*1 prime?
False
Suppose 84828 = 15*g - 3*g. Is g composite?
False
Let n(x) = -10*x**3 - 9*x**2 + 7*x - 7. Is n(-9) a composite number?
False
Suppose -68*v = -61*v - 57757. Is v prime?
False
Let b(v) = 2*v**2 + 45*v - 13. Is b(6) a composite number?
True
Let j = 93 + -41. Suppose -4*d - 420 = -8*d. Let a = j + d. Is a composite?
False
Let d(x) = 20*x + 123. Is d(14) prime?
False
Suppose -57*z + 60158 = -55*z. Is z a prime number?
False
Let d(i) = 3*i - 20. Let g be d(9). Suppose g + 48 = 5*w. Is ((-586)/(-8))/(w/44) a prime number?
True
Let z = 21693 - 3056. Is z a composite number?
False
Is 1*(-211)/(-1 - 0) prime?
True
Let a(l) = -249*l**3 - 2*l**2. Is a(-1) a composite number?
True
Suppose -158 = -2*w + 8. Is w a composite number?
False
Let h be 0/((-1)/(-4)*4). Suppose 2077 = 3*d - 0*d - 5*c, 2*d + 2*c - 1406 = h. Let t = -486 + d. Is t a composite number?
True
Suppose 2*g - 1933 = 515. Suppose 52 = -4*a + g. Is a prime?
True
Is 113 - ((15 - (5 + 1)) + -5) a composite number?
False
Let h(j) = -j**2 - 11*j + 9. Suppose -1 = r + 12. Let t be h(r). Let u = t + 36. Is u a prime number?
True
Suppose 3*x = -0*x + 12. Let p(q) = -q**3 + 11*q**2 - 3*q - 13. Let y be p(7). Is -2 - (-2)/(x/y) a prime number?
True
Suppose -2*b = -0*j + 3*j - 6648, 5*j = -b + 3317. Is b composite?
True
Suppose 0 = -6*m + 9*m - 6693. Is (m - (9 + -5)) + 0/2 a prime number?
False
Suppose -5*o = 3*m - 4*m + 54, 5*m = 2*o + 40. Let n = 12 + o. Suppose -4*p + 342 = n*u, -5*u + 3*u = 2*p - 332. Is u a composite number?
True
Suppose 0 = 6*k - 1500 + 24. Let q = k - -901. Is q a prime number?
False
Suppose -722*n = -719*n - 1095. Is n a prime number?
False
Let t = 1513 - -4492. Is t a prime number?
False
Suppose 3*i - 249 = 3*h + 33801, 11348 = i - 3*h. Is i a prime number?
True
Suppose j + 46 = d, 2*d + 5*j = -0*j + 99. Is d prime?
True
Let t = -342 + 2593. Is t composite?
False
Let y(m) = -1078*m + 349. Is y(-4) a composite number?
True
Suppose 0*l + l = -4*u - 5, -5*u - 10 = 0. Suppose l*f + 0*f - 105 = 0. Suppose f = 2*n - n. Is n a prime number?
False
Let r(u) = -11*u**2 - 20*u - 19. Let c(h) = 7*h**2 + 13*h + 13. Let n(p) = 8*c(p) + 5*r(p). Let x(a) = 3*a - 5. Let j be x(5). Is n(j) a prime number?
True
Let q(u) = -1292*u + 19. Let c(b) = 646*b - 9. Let w(v) = -11*c(v) - 6*q(v). Is w(4) a composite number?
True
Suppose 0 = -3*m - 3 - 3. Let s be (-4 - 1)/(-1 - m). Is (-160)/(-7) + s/(-35) composite?
False
Is (-314)/5*525/(-42) composite?
True
Let j = 38 - 37. Let u be 2/4*214/j. Let k = u + -54. Is k a prime number?
True
Suppose 2*g = 3*b - 30, -g + 5*b - 3*b = 16. Suppose -12*q - 35 = -359. Let l = q + g. Is l prime?
False
Let f = -965 + 609. Let l = f - -733. Is l a composite number?
True
Suppose 14 = 5*t + 4. Suppose 0 = -5*m - 5*r + t + 3, -5*m - 2*r = -2. Suppose 4*s + m*s - 2204 = 0. Is s a composite number?
True
Let w be (-6)/(-2) + 0/(-5). Suppose -x + 4*i + 48 = x, 0 = w*x - i - 72. Let h = 119 - x. Is h prime?
False
Suppose 3*k = -k + 12. Let c(a) = -a**2 + 4*a - 3. Let b be c(k). Suppose b = -h + 16 + 79. Is h composite?
True
Let l(s) = -s**2 + 8*s + 7. Let g be l(9). Suppose 7*f - 2*f - 1 = 3*y, 5*y = -3*f - 13. Is (93/y + 2)*g prime?
True
Let f be -4 + 1 + 1984 + 3. Suppose -5*c - 329 = -f. Is c prime?
True
Suppose -4465 = -2*i - 5*p, 4*i - 10965 + 2075 = -2*p. Is ((-6)/9)/((-8)/i) a prime number?
False
Let c(q) = 2*q - 8. Let b be c(6). Suppose w - 2*j = -4*j - 6, b*w - 2*j = 16. Suppose w*f = 69 + 37. Is f composite?
False
Suppose 0 = -x + 2*w + 174937, x + 2*x - 524779 = -2*w. Is x composite?
False
Let h(l) = 139*l**2 - 2*l - 35. Is h(-10) a prime number?
False
Is ((-3893)/102)/((-2)/24) prime?
False
Let p be -15*5/(-15) - 0. Suppose 14 = p*d - d + 2*t, -1 = -d + 2*t. Suppose 0 = -d*m - 4*b + 705 + 754, -1958 = -4*m + b. Is m prime?
False
Let l(i) be the first derivative of i**2/2 - i + 4. Let o be l(-5). Is o/(-4)*(-2930)/(-15) a composite number?
False
Suppose -3*o - 2*v - v = -9, o + 2*v = 1. Suppose -3*u = o*h - 7084, h - 1424 = -4*u + u. Is h a prime number?
False
Suppose 0*m + 3*m + 81 = 0. Is (-9)/m*(1348 - 1) prime?
True
Suppose 0 = 16*z - 1418 - 38630. Is z a composite number?
False
Let a(h) be the second derivative of 8*h - 1/20*h**5 + 2/3*h**3 + 0 + 5/12*h**4 - 1/2*h**2. Is a(4) a prime number?
True
Let r(s) = 5*s**3 + 2*s**2 - s. Let c be r(1). Let j(k) = 4*k**2 + k - 12. Let f be j(c). Let l = 301 - f. Is l a prime number?
True
Suppose 5*b + 3*c - 406 = -0*b, -5*c = -10. Let q be (b/(-12))/(-2)*12. Suppose -2*j + 434 = -q. Is j a composite number?
True
Let i = 2487 - -1024. Is i composite?
False
Let c = 22487 + -14316. Is c a prime number?
True
Let o(s) = -s**2 - 6*s - 1. Let u be o(-6). Is (-14)/21*(u + 2425/(-2)) a composite number?
False
Let k(q) be the first derivative of 4*q**4/3 + q**3/2 - 3*q**2/2 - q - 2. Let u(g) be the first derivative of k(g). Is u(2) a prime number?
True
Let j(v) = 2*v**3 - 12*v**2 + 4*v + 4. Let c(t) = 25*t**2 - 5*t**3 - 7*t - 10 + 2 - 2*t. Let l(q) = 3*c(q) + 7*j(q). Is l(-11) prime?
False
Let o = -54255 + 118142. Is o a prime number?
False
Suppose -z - 118 + 28 = 0. Let m be z/105*14/(-4). Suppose s = m*s - 158. Is s a composite number?
False
Suppose -5*j + i = -i - 5105, j = 3*i + 1008. Suppose 4*k - 4691 = -j. Is k a composite number?
True
Suppose -18*r + 258 = -15*r. Suppose 3*y - 82 - 22 = -2*p, -47 = -p - 4*y. Let k = r - p. Is k prime?
True
Suppose -2*o = -5*o - 129. Let d = o + 102. Suppose -4*k + 3*k = -d. Is k a prime number?
True
Let n(d) = -88*d + 