 a prime number?
False
Let y(a) be the first derivative of 31*a**3/3 + 4*a**2 - 22*a + 44. Is y(5) a prime number?
False
Suppose -2*h - 2*n = -1 + 3, -3*h + n + 13 = 0. Suppose 5*q = -2*f + 6083, -4*f - h*q + 4*q = -12155. Is f prime?
False
Suppose -4*z - 24 = 0, 3223923 = 5*w - 2*z + 323716. Is w prime?
False
Is (-120)/(-90)*(5942062*(-5)/(-40) + 4) prime?
True
Let g(v) = 26*v**2 - 226*v - 57. Is g(36) prime?
False
Suppose -3*r - 55068 = -394095. Is r a composite number?
True
Let s(j) = -j**2 - 9*j - 11. Let o be s(-7). Let f(m) = 72*m - 17. Is f(o) a composite number?
False
Let r = -22 + 43. Suppose 2*y - 3*i = 11, -4*y + 8*i - 3*i = -r. Suppose -y*p - 4*c + 716 = 0, -4*p + 0*c = 5*c - 712. Is p a composite number?
True
Suppose 14*w - 16*w = 9*w - 689293. Is w composite?
True
Suppose 15*l - 647791 - 682849 = 1042105. Is l composite?
True
Let j(c) = 136680*c + 305. Is j(1) a prime number?
False
Suppose -5*c - 104 = -149. Suppose 3309 = c*r - 6*r. Let o = r + -634. Is o prime?
False
Let b(d) = 6465*d**2 + 17*d + 285. Is b(-7) a composite number?
False
Let r = 308 + -192. Suppose 5530 = r*o - 106*o. Is o a prime number?
False
Let p(d) = d**3 + d**2 - 8*d - 24. Let a be p(-7). Let q = a + 749. Is q a prime number?
True
Suppose 356*z + 7132519 = 458*z - 7736123. Is z prime?
True
Let t = -1892 + 3555. Let q(l) = 123*l**3 - 4. Let j be q(2). Let r = t - j. Is r a composite number?
False
Let k(b) = -25*b + 20. Let r be k(-14). Suppose -7*g + r = -7939. Is g a composite number?
False
Let x = -1538 + 5081. Is x composite?
True
Let x be 2765/15 + (-2)/6. Suppose 0 = -2*f - 54 + x. Let i = 430 - f. Is i a prime number?
False
Let p(m) = -28*m**3 + 3*m**2 - 29*m - 2. Let g(x) = -42*x**3 + 5*x**2 - 43*x - 3. Let d(k) = -5*g(k) + 7*p(k). Is d(5) a composite number?
True
Suppose -2*f + f + 31 = 0. Suppose -3*i = 10 + 5, 3*s - 2*i = f. Suppose 0 = -5*o - 2*u + 2931, 8*u - 585 = -o + s*u. Is o prime?
True
Let r(y) = -90*y - 11. Let o be r(-15). Let f = 24 + -22. Suppose l - o = 2*k, 2*l - 6*l + 5346 = f*k. Is l a composite number?
True
Let a = -665735 - -1060120. Is a a prime number?
False
Let i(r) = -12502*r**3 - 3*r**2 - 8*r - 4. Let m be i(-1). Let a = m + -3757. Is a prime?
False
Let i(h) = 15 + 12 + 21 - h - 44. Let n be i(3). Is 2494 - 3 - 4*n a composite number?
True
Let t(h) be the third derivative of h**7/252 + 17*h**6/240 - 13*h**5/30 + h**2. Let k(y) be the third derivative of t(y). Is k(8) composite?
False
Suppose 0 = -5*g - 11238 + 1123. Let i = g - -3494. Is i prime?
True
Let a(x) be the third derivative of 338*x**5/15 - x**4/12 - x**3/2 - x**2. Suppose 100 = 5*d + 3*b + 120, -8 = -2*d + 2*b. Is a(d) prime?
False
Suppose 3*m + 16379 = 14*m. Suppose -4*f = 3*s - m, 0 = 3*f - f + 4*s - 742. Is f a composite number?
False
Let a(c) = -136*c + 15. Let t be a(-6). Suppose -v = 5*y - 4*y - 408, 2*y + 5*v = t. Is y a prime number?
False
Let z(g) = 4*g + 106. Let x be z(-22). Is 18/(-8)*(-4)/x*37186 composite?
False
Suppose 4*f + 6*f = -720. Let i = -65 - f. Suppose -i*w - 1542 = -13*w. Is w a composite number?
False
Suppose 10 = 583*c - 585*c, i - 3354303 = -4*c. Is i a composite number?
True
Let o = 3213 - 5960. Let l = o - -4734. Is l a composite number?
False
Let g = 1900 + -299. Suppose 0*v = 4*v - 15000. Let x = v - g. Is x a composite number?
True
Let h(d) = 412*d + 2. Let a(k) = k - 1. Let u(m) = 2*a(m) - h(m). Let s be u(-4). Suppose 0 = -0*t + 4*t - s. Is t a prime number?
True
Suppose -57*i + 61*i = -61788. Let g = i + 31780. Is g a composite number?
False
Let k(a) = a**2 + 9*a + 17. Let r be k(-7). Suppose 13*b - 3*m - 4518 = 10*b, -6059 = -4*b - r*m. Is b a prime number?
True
Let c be (210816/(-30))/8 - 6/10. Is ((-28)/(-6))/(0 + (-2)/c) composite?
True
Let b = 72 + -75. Is 1/(-2)*b - (-6395)/10 prime?
True
Let v be ((-105)/(-20))/7 - 9/(-4). Suppose v*s + 52 = -h, 56 = -4*s + h + h. Let n(q) = 14*q**2 - 17*q + 37. Is n(s) a composite number?
True
Let l(m) = 900*m - 17. Let v be l(3). Suppose 2*a - 3*n - v = 0, -3*a + 388 + 3640 = -n. Is a a composite number?
True
Let b be 10 - 288/28 - (-53680)/14. Let f = -755 + b. Is f prime?
True
Let f be -5*2/(-2)*1. Suppose 0 = f*x - b - 105, -x - 4*x + 125 = 3*b. Suppose 6483 = x*p - 19*p. Is p a prime number?
True
Is (-1413841)/(-65) + 8/(-20) a composite number?
False
Let s(g) = 155*g**3 - 12*g**2 + 8*g - 4. Let i(d) = 620*d**3 - 51*d**2 + 33*d - 15. Let a(j) = 2*i(j) - 9*s(j). Is a(-5) composite?
True
Suppose 3*b = -3*q - 72, b - 69 = 3*q - 13. Let n(r) = -r**3 - 5*r**2 + 6*r - 31. Is n(q) composite?
False
Let z(i) = 729*i + 185. Is z(32) prime?
False
Let k(p) = 20*p + 233. Let n be k(-12). Let v = 4 + -2. Is n/(168/(-9822)) + v/(-8) prime?
True
Let f = 423110 + -171031. Is f a prime number?
True
Let b(h) = h**3 + 5*h**2 + 5*h. Let p be b(-2). Let u be (p/(-4))/((-5)/(-10)) - -296. Suppose -c + 286 = -u. Is c a composite number?
True
Let h(t) = t**2. Let r(q) = 43*q**2 + 2*q - 1. Let m(v) = 3*h(v) + r(v). Let d(w) = w**3 + 37*w**2 - 38*w - 2. Let f be d(-38). Is m(f) a composite number?
False
Let k(b) be the third derivative of 49/30*b**5 - 41*b**2 + 0*b + b**3 - 5/24*b**4 + 0. Is k(-5) composite?
True
Let q(z) = z**3 + 102*z**2 - 92*z - 660. Is q(-79) prime?
True
Suppose -4*h + 44 = 2*s, -s + 2*h = -2*h - 4. Is (-4)/s + 27466/8 prime?
True
Suppose 0 = -5*m + 15, -5*u + m = -58867 - 51025. Is u a prime number?
False
Let z(q) = -q - 4. Let b be z(-3). Let d be b/2 - ((-369)/(-6))/3. Is (d/2)/((-5)/60) + 1 prime?
True
Let k = -683 - -2710. Suppose 0 = -18*s - 225 + 2007. Suppose l - 656 = -3*g, -3*l + k - s = g. Is l composite?
False
Suppose -207*j = 13609716 - 44730717. Is j prime?
True
Suppose 19*v = 16*v + 3942. Is (v/10)/1 + 40/(-100) composite?
False
Let k = 68 + -66. Suppose k*r + 3*m + 0*m = -7, 0 = -r + 2*m + 14. Suppose -5271 = -r*z + z. Is z composite?
True
Let h(g) = -5*g - 32. Let n be h(-12). Suppose -2*f + n = -5*d, -4*f = -5*d + 6 - 72. Let p = 60 + f. Is p a composite number?
False
Let j(t) = 16994*t**2 - 75*t + 698. Is j(17) a prime number?
False
Let t = 17721 + 749. Suppose 34*x = 24*x + t. Is x a prime number?
True
Suppose -4*s = 2*x - 34, -3*x - 29 = -s - s. Let z be ((-2736)/40)/((-2)/s). Suppose 0 = 7*n - z - 1219. Is n prime?
True
Let c(r) be the second derivative of 7*r**3 - 11*r**2/2 + r. Let a be c(13). Suppose a = 2*d - 143. Is d a prime number?
False
Suppose -18*s + 145867 + 104171 = 0. Is s a composite number?
True
Let b = 2479 - 1995. Let r be 0 + (0/2 - -5). Suppose 2761 = r*i - b. Is i composite?
True
Let v = 953 + -457. Suppose 4*i + v = -2*k, 505 = -2*k - 0*k + 5*i. Is k/(-20)*(-6)/(-5) a composite number?
True
Let z(y) be the second derivative of -1250*y**3 + 205*y**2/2 + 3*y + 4. Is z(-13) composite?
True
Suppose 2*h - 3 + 0 = q, 4*q = 4*h + 4. Suppose -j = 7*y - 4*y - 20, 0 = j - q. Suppose 3*d - 2230 = -y*i, -2*i + d + 981 = 78. Is i prime?
True
Let s(a) = a**3 - 7*a**2 + 3*a - 11. Let q be s(8). Suppose -2*h = -q - 3. Suppose 2*w - h + 2 = 0. Is w a prime number?
True
Let b = -41464 + -242. Let x = b + 72335. Is x a prime number?
False
Let p(b) = 174*b + 17. Let u = -6 - -18. Let j be (u/(-9))/(2/(-9)). Is p(j) prime?
True
Is -11 + -192*(-21 + -1411) prime?
False
Suppose -17*l + 1470370 = -6*l. Suppose -18*v + 8*v + l = 0. Is v prime?
True
Let a be 2082 - (-7 + 6 - (-2)/(-1)). Suppose 6*b - 2757 = a. Suppose 13*p + b = 16*p. Is p prime?
True
Let r be ((-4)/(-5))/((-2)/(-20)). Suppose -3*b = -3*i + 11103, -16*i - 18508 = -21*i + 2*b. Suppose 2258 + i = r*f. Is f composite?
True
Let n = -23207 - -38801. Suppose 2*j = n + 1688. Is j a prime number?
True
Let a(h) = -h**2 - 15*h - 56. Let x be a(-6). Is (-13343)/10*x - (-30)/75 prime?
False
Let f = 4461 + -2133. Suppose f = 16*l - 1816. Is l a composite number?
True
Suppose -2*i = -3*t - 14810, 4*i - 10*t + 15*t - 29664 = 0. Is i a prime number?
True
Let x be (2 - (-1)/(8/(-12)))*8. Suppose 0 = x*f - 1579 - 5393. Suppose -f - 574 = -7*r. Is r composite?
False
Let q = -32221 + 56572. Is q prime?
False
Let t(h) = h**3 + 11*h**2 + 16*h - 12. Let i be t(-9). Is (-14253)/3*(-6)/(36/i) a prime number?
True
Let s = 41387 - 26790. Is s a prime number?
False
Let l be ((6 - 3) + 0)/1. Suppose -l*t + 2*n = 11, -3*n = -5*t -