Is i composite?
True
Let x(v) be the first derivative of -4*v**4 - 4*v**3/3 + v**2 + 11*v + 4. Is x(-3) prime?
True
Let n(k) be the second derivative of -7*k**6/120 - 7*k**5/120 - k**4/3 + 5*k. Let g(s) be the third derivative of n(s). Is g(-7) a prime number?
False
Suppose 11*a = -5*t + 7*a + 35, -2*t - 2*a = -14. Suppose 0 = 5*p + 5*n - 1560, -6*p - 3*n = -t*p + 332. Is p prime?
True
Let a(m) be the second derivative of -m**5/20 + 19*m**4/12 + 19*m**3/3 - 19*m**2/2 - 2*m + 2. Is a(18) prime?
False
Let w(z) = 4*z**3 - z**2 - 7. Let s be w(4). Suppose s + 613 = 6*n. Is n a prime number?
False
Suppose -3*p + x - 5*x = -5744, 4*x = -5*p + 9576. Suppose -5*c - p = -9*c. Is c prime?
True
Suppose -3*x + 10860 = 3*a, -5*x - 2*a - 7252 = -7*x. Is x composite?
False
Let t be (0 + 9)*(1 + -2). Let z = t - -200. Is z composite?
False
Let n = 18098 + 383. Is n a composite number?
False
Suppose -1 = -4*n + 15. Let b be (2/3)/(n/12). Is b/6*(-1 - -178) a prime number?
True
Suppose o - 3 + 7 = 0, -2*w - 3*o - 4 = 0. Suppose w*s - 5*b - 20 = 5*s, -b - 15 = -2*s. Suppose -s = c - 2*f, 5*f - 2 = 3*c + 9. Is c composite?
False
Let u = -3651 - -6130. Is u a prime number?
False
Let b(p) be the third derivative of -p**6/120 + 7*p**5/60 + 7*p**4/24 + p**3 + 4*p**2. Let v be b(7). Let m = -2 + v. Is m a composite number?
False
Suppose 6*o - 373180 = -14*o. Is o prime?
False
Let z(k) = -k**3 - 5*k**2 - 6*k - 5. Let i be z(-4). Suppose i*h - 5*c = 5, 1 = 2*c - 3. Suppose h*o - 911 = 1524. Is o a prime number?
True
Let r = -12 - -27. Suppose -r = -c + 15. Let a = 188 - c. Is a a composite number?
True
Suppose 0 = 7*v - 12*v - 130. Let k = -22 - v. Suppose 3*w - k*w = -499. Is w prime?
True
Let t(k) = k**3 + 7*k**2 - 11*k - 10. Let g be t(-8). Is g*(-4)/(-16)*94 prime?
False
Suppose -7*m - 131729 = -20*m. Is m prime?
True
Let m = 6812 - 3295. Is m composite?
False
Suppose -3*g - 37*z + 19522 = -32*z, 2*g + 3*z = 13013. Is g a composite number?
True
Suppose -3 + 15 = 2*k - 5*r, 0 = 5*r. Let s(n) = -220 + 113 + n**3 + 0*n**3 + 114. Is s(k) composite?
False
Let m(s) = -s**3 - 8*s**2 + s + 8. Let n be m(-8). Suppose -14 = -2*j - 3*w - 70, w + 4 = n. Is 4/j + (-3695)/(-55) prime?
True
Let j = -18 - -24. Is 4/j + ((-7959)/(-9))/7 composite?
False
Suppose -8 - 23 = -p. Suppose 5*s - 118 = -3*o, 5*s - 25 - p = -o. Is o a composite number?
False
Suppose -l - 8 = -2*b, 5*b = -3*l + 4 + 5. Suppose -4*o - o + 264 = s, 5*o - 802 = -b*s. Is s a prime number?
True
Suppose -2*g + 6*g - 12924 = 2*i, -4*g - i + 12912 = 0. Is g a composite number?
False
Suppose -2*h + 15422 = -3*o, -9*h + 5*h - 3*o = -30880. Is h composite?
False
Let a(p) = p - 3. Suppose -3*n = -1 - 11. Let d be a(n). Let k(q) = 38*q - 1. Is k(d) prime?
True
Let f be (26/2)/((-2)/(-10)). Suppose 5*m + 3*g = 2*m + 18, 2*g - 6 = 4*m. Suppose h - 40 + m = -3*a, 3*h + f = 5*a. Is a a prime number?
True
Let v(w) = w**2 - 4*w - 1. Let u be v(5). Let k be u/10 - 18/(-5). Suppose -c + 5*y = -141, 0 = -3*c - 0*c + k*y + 401. Is c a composite number?
False
Let r = -23 + 26. Suppose r*g + 3*m - 3636 = 0, 4*m = 3*g + 377 - 4006. Is g prime?
False
Let d(c) = 19*c**2 + 6*c - 31. Let q be d(4). Let b = -170 + q. Is b prime?
True
Is (-422466)/(-90) - 2/30 prime?
False
Suppose 3*d - 4*d + 2 = 0, -5*a + 2*d + 251 = 0. Suppose -424 + a = -t. Is t a prime number?
True
Suppose -3*n + 2*n + 1808 = 5*i, -4*n + 4*i + 7232 = 0. Let g = n - -30. Is g composite?
True
Let s = -17 - -22. Let w(o) = 9*o + 0 + 43*o - 3. Is w(s) a prime number?
True
Suppose -l + 1881 = -1804. Suppose 0 = -3*o + g + l, 0 = o - 0*o + g - 1223. Is o prime?
False
Let u(o) = -3*o - 13. Let x be u(-5). Suppose 0 = -x*r + 2*y + 1478, -481 + 1984 = 2*r + 3*y. Suppose -3*t + 9*l - 4*l = -581, 4*t + l - r = 0. Is t prime?
False
Suppose 3*r = -3 + 12. Let w = r + -7. Is (-2451)/(-27) + w/(-18) composite?
True
Let u = 3138 - 2136. Let r = -347 + u. Let v = 1476 - r. Is v composite?
False
Let h(s) = -5*s**3 + 22*s**2 + 11*s - 51. Is h(-13) a composite number?
True
Let r(x) = -x**2 + 8*x + 7. Suppose 18 = -2*j + 4*j. Let y be r(j). Is ((-3)/2 + y)*-22 a prime number?
False
Let x = -3181 + 5234. Is x composite?
False
Suppose -2*w = -128 + 1306. Let z = -282 - w. Is z a composite number?
False
Let b(u) be the first derivative of -64*u**2 + 53*u + 42. Is b(-15) prime?
True
Let p(z) = 243*z**2 - 10*z + 91. Is p(-16) prime?
True
Let p(l) = -l**2 - 7*l + 10. Let t be p(-8). Suppose f + 2*f - 2 = -w, 2*w - t*f - 20 = 0. Suppose -w = -v + 86. Is v composite?
True
Let w = 17106 + -8503. Is w prime?
False
Let f be 54/(-3)*3/(-2). Suppose h + 3*l - 1 = -3, 4 = 2*h + 4*l. Let c = f + h. Is c prime?
True
Let d be 4*(-1 + 2)*1. Let n(i) = -11*i**2 + 43*i**2 + 1 + i + 0*i. Is n(d) a prime number?
False
Suppose 0*k - 4*k - 11 = -3*l, 0 = 4*l - 4*k - 16. Suppose p + 3*z = 7468, 37328 = l*p - z + 4*z. Is p a prime number?
False
Let d(g) = 191*g**2 - 3*g + 25. Let i be d(-6). Suppose -1089 = 10*j - i. Is j prime?
False
Let x be 2*(-3 + 1)/(-1). Let i(c) = 8*c**2 + 7*c - 7. Is i(x) a composite number?
False
Suppose 5*r + 5*o - 2*o - 48829 = 0, -4*o = 3*r - 29293. Is r prime?
True
Suppose 0 = -17*d + 129862 + 554065. Is d a prime number?
True
Suppose -2*l + l = -11. Suppose 118 - 26 = 23*z. Is (2 - z)/(-2)*l a prime number?
True
Let i be ((-1)/3)/(1/(-15)). Suppose 0 = -i*t - 29 - 171. Is t/(-2) + 11 + -9 a composite number?
True
Let j(t) = 4*t**2 - 6 + 31*t + 41 - 16*t - 20*t. Is j(-14) a composite number?
True
Let u(k) = 2*k**3 - 8*k**2 - 6*k + 9. Suppose d = 3*c + 4*d - 36, -3*c - 4*d = -37. Is u(c) a prime number?
True
Let i be (-8 - -9)*(1 + 1524/2). Suppose 15*b - 2728 + i = 0. Is b a prime number?
True
Is (-66)/(-12) - 5 - 2937/(-2) prime?
False
Let o = 7 - 4. Is (-1182)/(-2) - (o + 1) prime?
True
Suppose m + 3*m - 4989 = -3*b, 25 = -5*b. Suppose -2*d = v - 255, -5*v - 3*d + m = d. Is v prime?
False
Is (-112052)/(-20) + (-6)/(-15) a prime number?
False
Let t = 160 - 154. Is (2/t)/((56/(-8))/(-17661)) prime?
False
Suppose 3*b = -4 + 13. Suppose u + b*s = 136, s - 4*s - 626 = -5*u. Is u prime?
True
Suppose -3*s - 5*y = 32, s = 2*s - y + 8. Is (s/(-27))/((-1)/(-717)) composite?
False
Suppose 3*u + 84986 = 5*r, 581*r - 583*r - 2*u = -34004. Is r prime?
False
Let w = -11 - -18. Suppose -5*l = 0, -3*u + w*u = -l - 700. Let k = 302 + u. Is k prime?
True
Let x(n) = n**3 + n**2 - 5*n + 5. Let v be x(5). Let l = v - -173. Let i = l + -46. Is i a composite number?
False
Suppose -3*i + 0*i = -4*v - 10783, 5*v = i - 3576. Is i a composite number?
True
Let w(o) = -o**2 - 7*o + 2. Let d be w(-7). Is 382/d + (7 + -14 - -7) a prime number?
True
Let k(w) = -298*w**3 + w**2 - w. Let x be k(1). Let i = x - -549. Is i a prime number?
True
Is -2*8/(16 - 0)*-3247 composite?
True
Let v = 83 - 564. Let i be (-1)/(-1)*(11 - -769). Let z = v + i. Is z composite?
True
Let o(d) = -2*d**2 + 17*d - 13. Let j(m) = m**2 - 8*m + 6. Let y(b) = -5*j(b) - 2*o(b). Let h be y(6). Is h/(-12)*(1 + 776) composite?
True
Suppose -16*r = 867 - 2899. Is r composite?
False
Let d(p) = 310*p - 13. Let g = 100 - 95. Is d(g) composite?
True
Let a(r) = 2*r + 2. Let l be a(9). Let u = 25 - l. Suppose 0 = -y + u*y - 892. Is y a prime number?
True
Let s = 31 - 208. Let i = 535 + s. Is i prime?
False
Let j(b) = -4*b**3 + 5*b**3 - 1 + 5*b - 3 + 0*b**2 - 4*b**2. Let x be j(3). Is 2*403*1/x composite?
True
Suppose -3*l = -5*l - 3*v - 9, 4*v = 3*l - 12. Let h(s) = -5 + 62*s**2 - 3*s + l*s + s. Is h(4) composite?
True
Is (-5)/1*2203/(-5) prime?
True
Suppose q + 1675 = 5*f, 0 = -0*f - f - q + 335. Is f composite?
True
Let i(m) = m**3 + 3*m**2 - 4*m + 3. Let g be i(-4). Suppose 0 = -5*l - g*v + 2053, v - 1 + 5 = 0. Is l*-1*(2 + -3) a composite number?
True
Let w be (-2 + -1)*2*-2. Is 1258/3 - w/36 prime?
True
Suppose 49705 = 11*h - 114976. Is h composite?
True
Let a(p) = 117*p**2 - 4*p - 48. Is a(-5) prime?
True
Let i = 31431 - 22160. Is i a composite number?
True
Suppose 45300 = 51*r - 110199. Is r composite?
False
Suppose 0 = 5*b - 4*b - 3*y - 14143, -4*b + 56572 = -3*y. Is b a composite number?
False
Let b(m) = -m**3 - 11*m**2 + 12*m + 5. Let w be b(-12). Suppose 4*v + 5*g = 276, w*v - g + 4*g - 345 = 0. Is v a composite number?
True
Let k be (-19 - 