a composite number?
False
Let n = 33999 - 6638. Is n a composite number?
False
Suppose -d + b + 2 + 11 = 0, -3*d = 4*b - 11. Suppose d*c = 54690 + 28623. Is c a prime number?
True
Suppose -17*c = -50055 + 5804. Suppose -34040 = -9*m - c. Is m composite?
True
Let v = 35973 - 10742. Is v a composite number?
True
Let j = -13330 + 47361. Is j a prime number?
True
Let s(o) = -17*o - 353. Let c be s(-21). Suppose c*k - 15698 - 474 = 0. Is k a prime number?
False
Let p(y) = y**3 - 19*y**2 + 31*y - 1. Let j be p(25). Suppose -5*f + j + 6551 = 0. Is f a prime number?
False
Let k be 423/39 + (-2)/(-13). Suppose 2*r - 4*u - 16 = 0, -r + 5*u = -3*r - k. Is r*3/(-6)*-5663 a prime number?
False
Let i be (-4 + (-322)/(-21))*1926/(-4). Let g = -3634 - i. Is g prime?
True
Let x(w) = -45*w**2 + 11*w - 98. Let o be x(16). Let l = 25315 + o. Is l a composite number?
False
Suppose 2*n - 5*t = 68, -3*t + 4*t = 0. Suppose -n*o + 10*o = -4944. Is o prime?
False
Suppose -4*l - 1734969 = -9*h + 6*h, -1734969 = -3*h - 9*l. Is h a prime number?
False
Suppose 3*g - 6 = 0, 22*v - 20*v - 84080 = -3*g. Is v composite?
True
Suppose -709286 = -4*h + 104*l - 102*l, 709296 = 4*h - 4*l. Is h a prime number?
True
Suppose 36*g - 34*g - 39718 = 0. Is g a prime number?
False
Let m(r) = -3*r - 19. Let q be (-19)/114 - -2*(-106)/24. Let i be m(q). Is (i - 276)*(-1)/4 a prime number?
True
Let r be (-116)/(-14) - 3*(-6)/(-63). Is ((-142)/r)/((-8)/2144) prime?
False
Let a(f) = -f**3 + 19*f**2 - 368*f + 13. Is a(-59) a composite number?
True
Let m(b) = 2008*b - 873. Is m(40) a prime number?
False
Let c(x) = 123*x - 8. Let v be c(1). Is v - (-2)/1*2 prime?
False
Is 2*(-8 + 2198) + -7 a composite number?
False
Let t(p) = 16*p**2 + 6*p + 8. Let w be t(-3). Let x = 127 - w. Let z(r) = -2*r**3 - 6*r**2 + r + 12. Is z(x) a prime number?
True
Let i be 142/355 + 14*(-8)/5. Is -4*i*1477/56 a composite number?
True
Let v(q) = 3*q + q**2 - 12*q**2 + 2*q + 10*q**2 + 5. Let u be v(5). Let s(n) = n**3 - n**2 + 8*n - 7. Is s(u) prime?
False
Let u(i) = 330*i**2 - 5*i - 137. Is u(16) a prime number?
True
Suppose 5*j - 33*j + 99428 = 0. Is j a prime number?
False
Let a(m) = m - 2. Let k be a(0). Let r be 42/273 - ((-2)/(-10) - 1008522/(-390)). Is k/(-1)*r/(-4) prime?
False
Let s(l) = -8*l - 4. Let t be s(-1). Let k be 1 + 5/(t*(-5)/(-8)). Suppose -k*o - 2187 = -f - o, 5*f - 5*o = 10955. Is f a prime number?
False
Is (-2 - (8 - 5)) + 1 + 10127 prime?
False
Suppose -538 - 502 = -4*p. Suppose 5*d = -0*d - p. Let t = 74 + d. Is t prime?
False
Let p(y) = -10*y - 19. Let x(d) = -d**2 + 10*d + 15. Let h be x(11). Suppose 53 = -h*n - 43. Is p(n) prime?
False
Suppose -599843 = -4*m + g, -2*m - 3*g = -6*g - 299939. Is m composite?
True
Let q = -46951 + 78858. Is q a composite number?
False
Let q(y) = -2*y**2 + 23 + 4*y**2 - 9*y + 22*y + 53*y**2. Is q(-4) a prime number?
False
Let b(c) = -c**2 - 4*c - 24. Let q be b(-8). Let h be (-6)/(-21) + 34512/q. Is (h/84)/((-3)/(738/4)) a composite number?
True
Suppose 1304748 + 1016054 = 11*h. Is h a prime number?
False
Is (2/24)/((-24)/(-7231968)) a composite number?
False
Let y(c) = 2*c**3 - 81*c**2 - 934*c - 451. Is y(86) prime?
True
Let d = 414 - 418. Is ((-4)/6 + 1)/(d/(-4164)) composite?
False
Let a = -206944 - -501201. Is a a composite number?
True
Let c(g) = 24*g**2 - 4*g - 3. Let w be c(-1). Suppose -w*u + 66 = -19*u. Let z(h) = 9*h**2 + 14. Is z(u) prime?
True
Let n be (-633)/((-63)/15 + 4). Suppose 43*l = 42*l + n. Suppose l = 5*a - 0*a. Is a a composite number?
True
Let g = -1305 + 2164. Let s = 1760 - g. Is s composite?
True
Let r(z) = 451*z + 263. Is r(48) prime?
True
Let q be (-6)/225*5 + 133/(-15). Let i be 85/15 - ((-24)/q)/4. Suppose g + 2*g - 6570 = -i*w, 3*w - 4*g = 3971. Is w a prime number?
False
Let f(u) = 4 - 3 - 1 - 744*u - 1. Let d = -624 - -623. Is f(d) prime?
True
Let q = 4389 - -8828. Is q composite?
False
Let l(n) = -3446*n - 160. Let v be l(14). Let z = v + 77409. Is z a prime number?
False
Let u be (-10)/2*22/(-55). Let b(r) = 529*r + 9. Is b(u) a prime number?
False
Suppose 4*p - 2*p + 16 = 2*n, -4*n + 57 = p. Suppose -n*d - 2498 = -q - 8*d, -2*q + 5*d = -5001. Is q composite?
False
Let m = -18138 + 163033. Is m a composite number?
True
Suppose 0 = m - 2*m + 6. Let d be ((-596)/m)/(((-12)/45)/2). Let s = d + -508. Is s a composite number?
True
Let z(f) = 231*f**2 + 4*f + 22. Let l(q) = -1. Let i(n) = 3*l(n) + z(n). Is i(-5) prime?
False
Let n(q) = q**3 + q**2 + q + 53. Let s be n(0). Suppose -89 = -w + s. Is w composite?
True
Let l(k) = -360*k**3 - 4*k**2 + 8*k + 7. Let w = -114 + 111. Is l(w) prime?
False
Let i(d) be the first derivative of 7*d**3/3 + 2*d**2 - 3*d + 13. Let l be i(1). Let w(h) = 7*h**2 - 11*h - 5. Is w(l) a composite number?
True
Let l be -36 + 15998 - (1 + -2). Suppose -9*m - l = -44790. Is m prime?
True
Let m(a) = -322*a**3 + 2*a**2 - 3*a + 1. Let c be m(2). Let r = c + 5526. Suppose 0 = -q + 5*k + r, 0*q + 4*q = -k + 11812. Is q prime?
True
Let i = 5 - 3. Suppose -i*r + 50400 = 2*r + 3*f, -4*r = 4*f - 50396. Is r composite?
True
Is ((-16)/32 + 3/(-6))*-209431 composite?
False
Let n(q) = -14*q**3 - 5*q**2 - q - 2. Let b(d) = -d**2 - 11*d - 4. Let m be b(-10). Let y(w) = -13*w**3 - 4*w**2 - 2. Let h(c) = m*n(c) - 7*y(c). Is h(4) prime?
False
Suppose -7*b - 52275 + 741831 = 0. Suppose 0 = 105*m - 93*m - b. Is m a prime number?
True
Let y(p) be the first derivative of -879*p**2/2 - 101*p - 55. Is y(-12) a composite number?
True
Suppose 4*q = -q + 20. Let c(b) = 53*b - 3. Is c(q) a composite number?
True
Let k(d) = -d - 11. Let z be k(-12). Let g be (z - (-14)/(-18))/((-6)/(-54)). Suppose -596 = -4*w - g*x - 0*x, 3*x + 149 = w. Is w a prime number?
True
Let f = 44134 - 11363. Is f composite?
False
Let k(d) = -2*d**3 + 8*d**2 + 2*d - 4. Let j be k(4). Suppose 4 = -j*p, 4*r - 8*r + 5*p = -3465. Is r a prime number?
False
Let a(s) = s**2 - 13*s + 3. Suppose z + 56 = 5*z - 2*o, 71 = 5*z - 3*o. Let g be a(z). Suppose g*j = 2*b + 2669, j - 3556 = -3*j + 2*b. Is j a prime number?
True
Suppose 0 = a + 2*a + 4*s + 2, 3*s + 6 = 0. Suppose -a*n - 3*t - 2 = 0, 4*t + 18 = -2*n + 5*t. Let p(k) = 6*k**2 - 3*k + 16. Is p(n) a composite number?
False
Let u(a) = -a**2 - 7 - 12 + a**3 + 20. Let s(p) = 67*p**3 + 2*p**2 - 5. Let l(r) = s(r) + 4*u(r). Is l(2) composite?
True
Suppose 19*j = 14*j + 3056615. Is j composite?
False
Suppose -48*j - 533018 + 4575146 = 0. Is j a prime number?
True
Suppose 4*s - s + 3*i = -6, -4*s + i = -12. Suppose -s*p + 3*m = p - 14922, 5*m - 5 = 0. Is -2 + 0 - p/(-5) a prime number?
False
Let k(h) = 2369*h + 209. Is k(58) a composite number?
True
Suppose -38*v = r - 43*v - 535903, -4*r = 3*v - 2143681. Is r composite?
True
Let q(y) = 11*y - 24. Let a(g) = -176*g + 385. Let r(x) = 2*a(x) + 33*q(x). Let w be r(-12). Let v = w + 248. Is v a prime number?
False
Suppose 12*z = -12*z + 28*z. Let r(f) = 2*f**3 + 5*f**2 - 5*f + 457. Let l(j) = 5*j**3 + 14*j**2 - 14*j + 1370. Let t(g) = 3*l(g) - 8*r(g). Is t(z) composite?
True
Suppose -5*m = 15, -3 = 3*g - 11*m + 15*m. Suppose 3*z + 9 = 0, g*z + 52662 = 5*j + 4*z. Is j a composite number?
True
Let r(m) = 148*m + 9. Let t(z) = -370*z - 22. Let u(f) = -12*r(f) - 5*t(f). Suppose -3*k = -5*y + 17, 9*y - 4*k - 16 = 4*y. Is u(y) a composite number?
True
Is (-3)/3*1 + (-8 - -243528) composite?
True
Let g(h) = 21949*h - 378. Is g(17) composite?
True
Let o(q) = -298*q**3 - 2*q**2 + q + 3. Let a be o(3). Let n = -3103 - a. Is n a composite number?
True
Suppose -44*r + 836993 + 1237635 + 754616 = 0. Is r a composite number?
False
Let d be (0/(-2))/(-2) - -3. Suppose -3*l + 7 = -6*l + 5*j, 3*j + d = 0. Is (1*l/(-6))/(18/12609) a prime number?
True
Let x = -16 - -69. Let b = x + -34. Let w = 450 - b. Is w prime?
True
Let c(a) = 247*a**2 + 2*a - 1. Let b(w) = 2*w**3 + 2*w - 2. Let o be b(1). Is c(o) a prime number?
True
Let g = 1 - 4. Let j(c) = -c**3 - 3*c**2 + 31*c + 18. Let q be j(-7). Is 1988 + q*(-3)/g composite?
True
Let x = 7 + 3. Let h be ((-8)/x)/(-4) - (-58)/10. Suppose -2*c + 23 = -m, -2*c + 3*m + h = -23. Is c prime?
False
Let s(k) = 860*k + 176. Let b be s(7). Let v = -1454 + b. Is v prime?
False
Let n(i) be the second derivative of 17/2*i**2 - 27*i**3 + 0 - 17*i. Is n(-16) a p