s l prime?
True
Suppose 3*v - 4*f + 2 = -8, 2*f = -3*v + 14. Suppose -c = 3*q + 79 - 368, 568 = v*c + q. Suppose 4*r - 4*b = -b + c, 3*r + 5*b = 176. Is r a composite number?
False
Let a(p) = -5567*p**3 + 8*p**2 + 17*p + 3. Is a(-2) a composite number?
False
Let h(n) be the third derivative of 199*n**4/24 - 79*n**3/6 + n**2 - 8. Is h(8) prime?
False
Let w(f) be the third derivative of -1/6*f**3 + 0 - 1/3*f**4 - 2*f**2 + 0*f - 11/30*f**5 + 1/120*f**6. Is w(24) composite?
True
Let j = -58682 + 101449. Let w = j - 17976. Is w a prime number?
False
Let x(q) = -4009*q**3 + 45*q**2 + 224*q - 23. Is x(-5) prime?
False
Let k(g) = -g + 1. Suppose 15 = -r + 13. Let q be k(r). Is 923 - 9/3 - q a composite number?
True
Is 4/10*(-353170)/(-2) - -3 a composite number?
True
Suppose 45*h - 36*h - 36 = 0. Suppose 2*x = h*i + 4898, 0*x = 3*x + 3*i - 7365. Is x a composite number?
True
Let v(u) = 121*u - 11. Let i(x) = -120*x + 11. Let a(g) = 4*i(g) + 5*v(g). Let w = -40 - -46. Is a(w) a composite number?
False
Let r(u) = -1. Let x(d) = -390*d + 63. Let g(y) = 2*r(y) + x(y). Is g(-12) a prime number?
False
Let v be (142/4)/(((-3)/(-240))/1). Suppose -13*x + v = -8*x. Suppose 4*g = -4*o + 187 + 253, 5*o - x = g. Is o prime?
True
Suppose 0 = -17*o + 48 - 201. Is (o + 2 - -5248)*1 a prime number?
False
Suppose 0 = -r + z + 35440 - 4435, 5*r = z + 155057. Is r composite?
False
Suppose -20*l - 75777 = -343397. Is l prime?
True
Let d(t) = -46*t**2 + 19*t + 41. Let z be d(19). Let o = z - -22739. Is o composite?
True
Suppose -4*z - 5*g - 89 = 0, -3*z - 76 = -5*g - 18. Let j(s) = -104*s - 5. Is j(z) composite?
False
Suppose 72432 - 177 = u + 2*p, -p = -2. Is u prime?
True
Suppose -60*a = -1303667 - 1172353. Is a a composite number?
True
Suppose o = -3252 + 12200. Suppose 3009*b = 3013*b - o. Is b a prime number?
True
Let t(r) = 15*r + 14 + 10*r**2 - 41 + 11 + 5 - r**3. Let v = 17 + -7. Is t(v) a composite number?
False
Let h(k) be the third derivative of k**5/15 - k**4/12 + k**3/3 + 8*k**2. Let l be h(1). Is (503/l)/(30/24 + -1) prime?
True
Suppose -5*d + 5 = 5*x, d - 4*x = -x - 19. Is ((d/(-3))/2)/((-74)/(-192363)) a composite number?
False
Is 2*73182/4 - 0/(-4 + 1) prime?
False
Suppose -5 = -0*b + b, -4*o + 4*b = -5004. Suppose -477 + o = s. Is s composite?
False
Let o be (1593/(-2))/((-9)/18). Suppose -2*j - 7*j = -o. Suppose 3*a - 7*a = -3*x + 487, 5*a = x - j. Is x a composite number?
False
Let t be -90*(-23 - -29 - (-40)/(-6)). Suppose 48*k - t*k + 119820 = 0. Is k a composite number?
True
Let y = 218 - 215. Suppose 221 + 1802 = y*m + p, m - 693 = -5*p. Is m a prime number?
True
Let d = 41 - 31. Suppose -d*t + 11*t - 10 = 0. Suppose 2*z - t*z = -8792. Is z prime?
False
Let i(b) = 2*b + 18. Let r be i(-12). Let k be (r - -329 - 2)*1/3. Suppose v - 84 = k. Is v a composite number?
False
Let s(n) = -n**2 + 5*n. Let d be s(4). Let a be (d/(-5))/(7/(-35)). Suppose 5*f = a*t + 547 + 1958, 1002 = 2*f - 2*t. Is f a composite number?
True
Let q = 4426 - -6278. Let u = -6121 + q. Is u prime?
True
Is 12/(-14) - 206056460/(-1316) a prime number?
True
Let o(u) = -3*u**3 + 20*u**2 - 15*u - 109. Is o(-17) a prime number?
False
Let b(z) be the first derivative of 2*z**3/3 - 23*z**2/2 + 4*z + 13. Let v be b(12). Suppose -v*w = -18*w + 742. Is w prime?
False
Suppose -3*z - 3204 = 14610. Let k = z - -14307. Is k prime?
True
Let d(j) = 16440*j - 2741. Is d(8) a composite number?
True
Suppose -3*b + 4*y + y = -70, 2*b + 2*y - 36 = 0. Let k be -4*((-45)/b - 5). Let h = k + 1370. Is h a prime number?
True
Let h be 0/((-42)/6) + 4 + 0. Suppose 0*i = -3*i + g + 33757, 5*i - h*g = 56271. Is i a prime number?
True
Let l = 115114 - 52085. Is l composite?
False
Suppose -3*y + 5*y + 1550 = i, -3*y = 2*i + 2339. Let q = 3180 - y. Is q composite?
True
Let f(n) = 10*n - 87. Let h be f(9). Suppose -4*s - 2*c = -11882, -2*s - 3*s + h*c + 14880 = 0. Is s composite?
True
Let c = 9120 - -69349. Is c prime?
False
Let w(h) = -738*h - 241. Is w(-34) composite?
False
Suppose 3*c + 4*t = 821, -c = -2*c + 5*t + 280. Suppose -3*r - r = -5*s - 36, 5*r - 78 = -2*s. Suppose -9*o + r*o - c = 0. Is o a prime number?
False
Let d = 106 + -104. Suppose -d*o + 918 = 2*x, 5*o - 4*x - 966 = 1365. Is o a prime number?
True
Let m(r) be the third derivative of -293*r**4/24 - 53*r**3/3 + 20*r**2 - 2. Is m(-9) a prime number?
True
Suppose 12*a - 48 = 4*a. Let i(o) = 105*o**2 + o - 31. Is i(a) composite?
True
Suppose 37*d - 28*d = 72. Is (1592/d)/(3/201) prime?
False
Let a(k) = 47513*k**2 - 66*k - 98. Is a(-3) composite?
False
Let d = -109 - -111. Suppose d*i + 3*g = 13072, 2*i - 3187 = -4*g + 9885. Suppose -i = 10*m - 21306. Is m prime?
False
Let z be (-5)/(7/((-320964)/4)). Suppose 2*k = 0, -3*f - 7*k + z = -3*k. Is f prime?
False
Let j(t) = 3*t - 2. Let c(l) = 4*l - 2. Let f(o) = 2*c(o) - 3*j(o). Let y be f(2). Is ((-8)/(32/(-1340)))/(1 - y) a composite number?
True
Let k be (-2)/(2/5) - 4/4. Let a be (k/(-4))/(16/32). Is 2332/8 + ((-6)/4)/a composite?
True
Let m(c) = c**3 + 5*c**2 + 4*c + 1. Let u be m(-2). Suppose -5*f = -5*j + 148070, 6*j - u*j - 29618 = -3*f. Is j composite?
True
Suppose -82*y + 70*y = -4800108. Is y composite?
False
Let b(z) = 29*z**2 - 4*z + 86. Let w(f) = 27*f**2 - 3*f + 85. Let t(a) = 5*b(a) - 4*w(a). Is t(-14) prime?
False
Suppose 4*r - r = -r. Suppose -2*k + 4*u = -8 - 0, -k + u + 4 = r. Is k*(99/4 + 4) a composite number?
True
Let s(f) = 34*f**2 - 7*f - 28. Is s(19) a prime number?
True
Let l(x) be the third derivative of -x**6/40 - 3*x**5/20 - 23*x**4/24 - 3*x**3/2 - 23*x**2 + 4. Is l(-10) a prime number?
False
Let l = 101 - 26. Suppose 74*k = l*k - 9046. Is k a composite number?
True
Suppose -6*l = 14*l + 757396 - 2842736. Is l prime?
False
Suppose 83 = -14*q + 27. Let y(l) = 163*l**2 + 17*l + 3. Is y(q) prime?
True
Let r = -70 - -52. Let t be 2/((-45)/75*20/r). Suppose -5*j = t*j - 20312. Is j a composite number?
False
Let b(f) = -f**2 + 8*f - 1. Let k be b(4). Is 274521/k + 2 - (-34)/(-85) a prime number?
False
Let d = -32 + 35. Let y be ((-1)/d)/(2/(-408)). Is (y - -1) + (2 - 4) a prime number?
True
Is 169203 + (-9)/3 - (17 + -16) a composite number?
False
Let o(v) = -6*v + 43. Let p be o(7). Let f be (-236)/(-2)*p/((-4)/(-22)). Let w = 610 + f. Is w a composite number?
False
Is 1627234 - (44/121 - 37*(-5)/(-55)) composite?
False
Suppose -2*g = -4*d + 16, -2 = 2*d + 2*g - 10. Suppose -2*c - 10 = -3*c + d*k, 0 = c + 2*k + 8. Is 1/c + 507/6 + 2 a composite number?
True
Suppose -5*t + 4*x + 9 + 24 = 0, 2*t - 33 = -5*x. Is -2*7484/(-6)*t/12 a prime number?
True
Let m(q) = -q**3 + 14*q**2 - 5. Let s be m(-13). Let v = 7935 - s. Is v a prime number?
False
Suppose 8745*w - 8749*w = -81476. Is w composite?
False
Suppose -4*i + 4*d = -0*i - 20, -4 = -2*i + 5*d. Suppose -i = -2*g + g - 5*m, 3*m = -4*g - 6. Is -3*(g + (-2660)/15) a prime number?
True
Let j(m) = 5*m**2 - 2*m - 2. Suppose -4*r = 0, 3*l + r + 2 = -1. Let v be j(l). Suppose -125 = -v*a + 60. Is a a composite number?
False
Suppose -5*s + 2*i = -699405 - 520522, 3*i = -18. Is s a composite number?
True
Suppose 28 = 2*r + d, 16 = -d + 22. Let w = -710 + 1421. Is (5 + w)*r/4 composite?
True
Let b(d) = 308*d**2 + 11*d - 203. Is b(-20) a composite number?
False
Suppose 21 = -10*x - 59. Is 18736/3 + x + 184/24 prime?
False
Let x = -4 + 7. Suppose -114*p + 110*p + 26412 = 0. Suppose -7*q + p = -x*q + 5*b, -b = q - 1652. Is q prime?
True
Let t(f) = f**3 - 3*f**2 - 9*f + 1. Suppose -17 = -4*g - 3*u, 5*u = 12 + 3. Suppose -4*h = -5*q - 48, 6*h + q - 24 = g*h. Is t(h) prime?
False
Suppose -51*i + 1559023 = -175*i + 5873355. Is i prime?
False
Is (-3016072)/(-40) - (-88)/(-110) composite?
False
Let y(a) = -373*a - 115. Let i(z) = -374*z - 113. Let x(q) = -5*i(q) + 6*y(q). Is x(-8) a prime number?
True
Suppose -96*m = -y - 94*m + 173029, -2*y = -m - 346055. Is y prime?
False
Suppose -176*g + 171*g + 15 = 0, 5*c = 5*g + 1391150. Is c a prime number?
True
Suppose 12507 = 7*o - 4*o. Suppose -4*k + 3*u = -16720, u - 3*u + o = k. Is k a composite number?
False
Suppose -11*a + 5 = -6*a, 5*a + 231050 = 5*d. Is d prime?
False
Suppose 0 = -5*r - 10*o + 3679 + 6287576, 0 = -4*o - 32. Is r composite?
False
Let q(o) be the second derivative of 24*o + 1/4*o**4