Is f a composite number?
True
Let z(n) = 57*n**2 - 7*n - 8. Let x(k) = k**2 + k. Let h(l) = -6*x(l) - z(l). Let y(d) be the first derivative of h(d). Is y(-5) composite?
False
Let y = 57 + -64. Let h(s) = -3*s - 17. Let m be h(y). Suppose -m*f + 283 = -369. Is f prime?
True
Suppose 0 = 3*q - 3*k - 15, -2*k + 0*k - 10 = 2*q. Suppose -3*n + q*v = -3*v - 5163, 0 = 4*n - 5*v - 6888. Is n a composite number?
True
Suppose 2 = -2*f - 2*o + 10, -f = 3*o - 8. Let r(l) = -l**2 + 46*l - 24*l - 17*l + 2*l**f - 8. Is r(10) a composite number?
True
Let t = -29151 + 71758. Is t composite?
True
Let p(b) = -4317*b - 1382. Is p(-5) a prime number?
False
Suppose 1111616 + 58057 = 106*k - 258041. Is k composite?
False
Let c be (1*(-2 - 4) - -9) + 1. Suppose 70631 = 5*v + 4*x, -c*v - x = -12569 - 43927. Is v composite?
True
Let y(z) = 33003*z + 120. Is y(13) a composite number?
True
Let g = -1659 + 849. Let o = 733 - g. Is o a composite number?
False
Suppose -4*i = -5*i + 63. Suppose 55*k - 57*k + 8 = 0. Is ((-18102)/i)/((k/(-6))/1) a composite number?
False
Suppose 3*b = 4*b - 5*i - 9188, 0 = 4*i. Let o = b - 5967. Is o a prime number?
True
Let j(l) = -l**2 - 10*l - 4. Let w be j(-9). Suppose -25 = -w*b, -2*y - 3*b = -6*b - 891. Is y composite?
True
Let g be 51/6 + 39/(-6) + 7. Is 110586/g*(-6)/(-4) prime?
False
Is (-19 + -818132)*(-21 - -17)*(-1)/(-12) a prime number?
True
Suppose 32*o - 35*o = -152760 - 87417. Is o prime?
False
Suppose -4*w + 22 = 2*l, l - 22 = w - 4*l. Suppose -c - w*q + 1808 = 0, 5*q + 625 = 2*c - 3046. Is c prime?
True
Let d = 174992 + -12213. Is d a composite number?
False
Let z(n) = 28*n - 68. Let t be z(-14). Let k = t - -1337. Is k composite?
False
Let a = -46570 + 318701. Is a a composite number?
False
Let i = -19 - -28. Suppose 8*s - 4 = i*s. Is s/1 + -13 + 870 composite?
False
Suppose -8 = -11*g + 124. Suppose -g*l = -6*l - 2706. Is l prime?
False
Let w = 9479 + 44999. Is w a prime number?
False
Let x be (-9)/15 + 63/5. Suppose -44*t = -48*t + x. Is 980 - (t + 1 + -3) a composite number?
True
Suppose 0 = 2*v + 4*p - 56650, -4*v - 12*p = -11*p - 113286. Is v a prime number?
False
Let c = -304 + 148. Let x = c + 269. Is x a prime number?
True
Let u(s) = 1095*s**2 + 2205*s + 1. Is u(-21) a prime number?
True
Suppose -3*j + p = 42 - 123, 0 = 3*j - 4*p - 81. Suppose -j*a + 35966 = -31615. Is a a composite number?
False
Let q = -14468 + 20924. Suppose 4*h + 8 = 32. Is q/18*h/4 prime?
False
Let s = 81 - 1. Let b = s + -75. Suppose b*l + 0*l + 5*n - 400 = 0, -3*l = -5*n - 216. Is l composite?
True
Suppose -14*n = 51 - 177. Let s(d) = 469*d**2 - 19*d + 31. Is s(n) composite?
True
Let r(y) = -3 + 2*y - 415*y**3 + 410*y**3 - 11*y + y**2. Let t(w) = 4*w**3 + 8*w + 3. Let p(z) = -6*r(z) - 7*t(z). Is p(6) composite?
True
Let c(b) = 198*b + 9 + 225*b - 101*b. Is c(1) a prime number?
True
Let s(c) = 6*c + 923. Suppose -2*d - d = -3*p - 12, 4 = 5*d - p. Is s(d) composite?
True
Suppose -7596*f + 7583*f + 89674 = 0. Is f a prime number?
False
Let i be 3/(12/4) + 4. Suppose 6 = i*n - 8*n. Is (5151/(-34))/(n/4) a prime number?
False
Suppose 52 + 531 = m + 4*s, 0 = -4*m + 5*s + 2332. Let q(l) = -l**3 - 46*l**2 + 100*l + 46. Let y be q(-48). Let k = y + m. Is k prime?
False
Let f(k) = -17 - 2*k**2 + 4 + 9 + 2*k**3. Let p be f(2). Suppose -7415 = p*j - 18779. Is j prime?
False
Let k = -1330 + -1810. Let i = 5679 + k. Is i prime?
True
Let g = 2024976 - 912575. Is g prime?
False
Let q = 907538 - 310204. Is q a prime number?
False
Let f = 208 + -140. Let k = f - 71. Is 1/1 + k/(-3)*3792 composite?
False
Suppose 0 = l + u - 46536, 0*u = -l - 3*u + 46534. Suppose -9*b + l = 5731. Is b composite?
True
Is (228/36 - (-1)/(-3))*(-4555307)/(-57) composite?
True
Is (-3 + 437164/10)*(-7)/((-14)/10) prime?
False
Let m(r) = 70*r**2 + 4*r + 9. Let x be (-4*(-5)/40)/(2/20). Is m(x) a prime number?
False
Suppose f + 8 = h, 0 = -2*h + 3*f + 51 - 30. Suppose 0*k + 5847 = h*k. Is k prime?
True
Let p be (-93677)/(-10) + 30/100. Let o = -4323 + p. Is o prime?
False
Let z = 8 + 16. Let d = z - 21. Is 3 - (d + 4 + -153) a composite number?
False
Suppose 2*m = -2*j + j, 3*m - 5*j = -13. Let n(t) = 2*t**2 - 63*t - 243. Let z be n(35). Is (z - 4 - m)/((-7)/2611) prime?
True
Let w(j) = 5*j**3 + 2*j**2 + j - 2. Let s be w(1). Suppose 3*f = -5*l + 49553, -4*f + 49549 = -l + s*l. Is l a prime number?
False
Let a(i) = -i**3 - 10*i**2 - 9*i + 2. Let w be a(-9). Suppose 2070 = w*r + 7*r. Suppose r = 22*y - 20*y. Is y prime?
False
Let c = -355992 + 606191. Is c prime?
True
Let y(a) = 1501*a**2 + 214*a + 646. Is y(-3) composite?
False
Let b = 49 - -1697. Let f = 25777 - b. Is f prime?
False
Suppose 5*g - 9823 = 2*p, p + 4*g = 947 - 5891. Let k = -1758 - p. Let u = -2207 + k. Is u a prime number?
False
Suppose -g - 2*g + 15 = 0. Let i(y) = -10 - 3*y + 10 + 6*y**2 + 10 + 0. Is i(g) prime?
False
Let o be 1/((-25)/(-115)) - 4/(-10). Suppose 4*v + 16 = -2*k, -o*k + 12 = -k - 3*v. Suppose 5*g - 2*x - 2785 = k, 3*g - 4*g = -x - 557. Is g a prime number?
True
Suppose -3*l + 498 = -3*z, 4*z - 343 = -4*l - 1015. Is (z/(-3))/(2/246) prime?
False
Let w(h) be the first derivative of -h**4/4 - 11*h**3/3 - 5*h**2 - 9*h - 1. Let k = -4362 - -4348. Is w(k) a prime number?
True
Let k = 310 - 665. Let d = 990 + k. Is d a prime number?
False
Suppose 0 = 4*y - 6*q + 4*q - 319868, 6*q = 5*y - 399835. Is y prime?
True
Let k = 98 + -95. Suppose q = k*z + 2293, 0 = -2*z - z. Is q a composite number?
False
Suppose -10*z + 7*z = 453. Let d be (-5)/5 + (-152)/2. Let p = d - z. Is p composite?
True
Let n(f) = 3*f**3 - 8*f**2 - 2*f - 4. Let s be n(3). Is ((-4)/(140/205667))/(s/5) a composite number?
True
Suppose 4*i - 3*p = 255139, -4*p - 145894 - 109250 = -4*i. Is i a prime number?
True
Let k(f) = 78*f + 35. Let j = 74 - 70. Is k(j) composite?
False
Suppose 281*b + 539657 = 300*b. Is b composite?
False
Let y be (-9)/(-5 + (-13349)/(-2674)). Suppose -17*d + 555 = -16*d - 4*h, 2*d = -h + y. Is d prime?
True
Suppose 16*i - 613252 - 180403 + 228007 = 0. Is i a prime number?
True
Let p(s) = s**3 + 14*s**2 + 46*s + 14. Let q be p(-9). Suppose -j + 7*h + 1662 = 2*h, 6573 = 4*j - q*h. Is j a prime number?
True
Let s(k) = -k**2 + 1. Let m(f) = -f**2 - 8*f - 1. Let g be m(-8). Let x(t) = 357*t**2 + 6*t - 4. Let a(j) = g*s(j) + x(j). Is a(2) prime?
True
Suppose l = -5*n + 279831, 10*n - 5*n = 4*l + 279851. Is n a composite number?
False
Let z = -25799 - -30500. Is z prime?
False
Let b(m) be the second derivative of -32*m**3 + 0 - 37/2*m**2 + 15*m. Is b(-6) prime?
False
Let c = -116 - -124. Is (c/(-12))/(((-24)/(-53433))/(-4)) a prime number?
False
Suppose 0 = 2*s - 5*t - 19541, 4*s - 3*t - 47945 = -8856. Is s a composite number?
True
Let d be (-2 - (-15)/10)*50. Let f = 6 - 16. Is ((-332)/f)/((-5)/d) composite?
True
Let y(t) = 7535*t**2 - 4*t + 4. Let r be y(1). Suppose -3*q - 2*q + 5*g = -r, g + 6031 = 4*q. Is q/(-6)*(-5)/((-80)/(-24)) a prime number?
False
Suppose -i = -g - 44197, i + 2*g - 33960 = 10237. Is i composite?
True
Let a(l) = 7863*l - 63. Let v be a(-19). Is ((-2)/8)/(15/v) prime?
False
Let t(s) = 32*s**2 - 2*s - 2. Let k be t(-2). Suppose -2*c - 2*w + k = -0*w, -3*w = c - 71. Suppose -i + q = -c, -3*q + 99 = 2*i - 0*i. Is i a prime number?
False
Suppose 192*h + 3299716 = 277*h - 6174979. Is h a composite number?
False
Let g(t) = -t**3 - 2*t**2 + 12*t - 10. Let y be g(-5). Suppose -o = 4*i - 25697, 4*i - y*o - 4072 - 21643 = 0. Suppose -31*w + 26*w = -i. Is w a prime number?
False
Suppose -123*q + 125*q + 2*i - 23040 = 0, 57604 = 5*q + i. Is q prime?
False
Suppose 70592520 = 232*h + 7279024. Is h a prime number?
True
Let v(d) = -d - 1 + 74*d**2 + 1 + 6 - 5. Let y be v(2). Suppose -7*z - y = -12*z. Is z a prime number?
True
Suppose -2*y = -3*i + 8699, 6*y = 4*i + 4*y - 11598. Is i prime?
False
Suppose 11*l - 7117 = 3*m + 13*l, -3*l - 2370 = m. Let c = m - -3734. Is c a composite number?
False
Suppose 0 = -q - 4*j + 22, -3*q + 17*j = 12*j + 19. Suppose -182761 = q*r - 21*r. Is r composite?
False
Let q = -375989 + 547012. Is q a prime number?
True
Suppose 0 - 12 = -2*f. Let i = 2146 + -2143. Suppose f*j - i*o = j + 1795, 0 = j - o - 359. Is j a prime number?
True
Let z(g) = 9*g**3 + 7*g**2 - 18*g + 13. Let m be z(8). 