529*w + 70. Is i(-3) prime?
True
Let p(u) = -u**3 + u**2 + 5*u - 7. Let x be p(3). Is ((-1411)/(-68))/(x/(-8) - 1) composite?
False
Suppose r = -0*r + 5. Let y be -2 - (4/18 - (-1980)/(-162)). Suppose 3*v - 439 = -4*d, r*d + y - 30 = 0. Is v composite?
True
Suppose 15 = -5*g + 3*y, 3*y = 3*g - 4*g - 21. Let m(z) be the second derivative of -z**5/10 - 2*z**4/3 - z**3/2 - z**2/2 + 2*z. Is m(g) a prime number?
False
Suppose -639*w + 620*w = -726541. Is w a prime number?
True
Let k(l) = -14*l + 365. Is k(-24) composite?
False
Suppose -42*t + 544937 = -295945. Is t composite?
False
Suppose -3*m + 16*m - 26689 = 0. Is m prime?
True
Let t(z) = 23*z - 4. Let j = 4 + 1. Is t(j) composite?
True
Let q be (68/(-8))/(2 - 3/2). Let x = q + 54. Is x a prime number?
True
Suppose 46*n = 49*n - 12183. Is n prime?
False
Let b = 8747 - -1842. Is b prime?
True
Let m(q) = -2*q**2 + 10*q - 5. Let c be m(4). Suppose -2*j = -c*d + 2*j + 475, 5*d - 4*j = 789. Is d a prime number?
True
Let w(y) = 1360*y - 91. Is w(5) a composite number?
False
Let j be (-8)/(-28) + (-70470)/(-21). Suppose -28*u + 32*u - j = 0. Is u prime?
True
Let x = -928 - -2265. Is x prime?
False
Suppose 0 = 2*i + 4*l - 5326, -7*l + 11*l = -i + 2657. Is i composite?
True
Let b(k) = 180*k + 534*k - 62*k + 41 - 91*k. Is b(8) composite?
True
Suppose 1243 = 2*f - 723. Let l = f + -342. Is l a prime number?
True
Let p = -15 - -20. Let o(q) = 78*q**2 - 3*q - 4. Let c(h) = 77*h**2 - 4*h - 5. Let a(l) = p*o(l) - 4*c(l). Is a(-2) a composite number?
True
Suppose -2*t - 31 = 103. Let f = 224 + t. Let x = f + -68. Is x a composite number?
False
Let b be 174/58*-4*2/6. Let k(l) = 3*l**2 - 2*l - 1. Is k(b) a composite number?
True
Suppose 3*o - 480 = -3*h, 3*h - 519 = 5*o - 79. Let y = -28 + h. Is y composite?
False
Let c(k) = 27*k + 22. Let p = -15 - -21. Let o be c(p). Let f = 263 - o. Is f a composite number?
False
Let v = 20 - 17. Suppose -8 = v*n - 5*n. Is n a composite number?
True
Suppose 3*l - 4*p = 1853, -2*l + 1224 = -0*l + 3*p. Suppose o + l = 4*y, 5*y = -2*o + 255 + 517. Suppose -4*k + y + 74 = 0. Is k prime?
False
Let c(m) be the second derivative of 19*m**3/6 - m**2/2 + m. Suppose -3*a = -5*j + 22, 4*j - 2*a - 16 + 0 = 0. Is c(j) prime?
True
Suppose 8*t + t - 63 = 0. Let k(n) = 139*n - 6. Is k(t) a prime number?
True
Suppose -2*m - 1178 = -x, x - m = 876 + 305. Suppose 477 = -2*l - r, -5*l - x - 9 = 2*r. Let n = l + 385. Is n composite?
True
Let c(s) = 3243*s + 36. Is c(5) prime?
False
Let q(f) = -f**3 - 7*f**2 + 3. Let d be q(-7). Is (0 - d/2)/((-1)/34) a prime number?
False
Is ((-301883)/(-398))/(1/(-2) + 1) a prime number?
False
Let x(f) = -3*f**2 - 9*f + 2. Let j be x(6). Let a(c) = -21*c + 78. Let n be a(-7). Let p = j + n. Is p prime?
False
Suppose 0 = -276*w + 274*w + 1282. Is w a prime number?
True
Is (-106)/14 - -7 - 121041/(-7) a composite number?
False
Suppose 3*m = -0*m + 828. Suppose 0 - m = -3*h. Let l = 174 - h. Is l a prime number?
False
Let v(u) = -1. Let o(f) = 80*f - 16. Let h(y) = o(y) - 5*v(y). Is h(2) a composite number?
False
Suppose -3*a + 4*v = -8573 - 1920, -25 = 5*v. Is a a composite number?
False
Suppose 6*i - 12885 = 3*i - 4*r, i = -2*r + 4297. Is i a prime number?
False
Suppose 5*k - 4*q - 182055 = 0, 5*q = -15 + 40. Is k a composite number?
True
Let v be 208/7 - ((-6)/21)/1. Let d(z) = -z**3 + 30*z**2 + 4*z + 57. Is d(v) a prime number?
False
Let s(z) = 4*z**2 - 15*z - 5. Let u be s(10). Let r = u + 58. Is r prime?
False
Let l = -9 - 0. Let k(x) = -x**3 - 9*x**2 + 3*x + 3. Let v(d) = d**3 + 9*d**2 - 3*d - 2. Let y(h) = -3*k(h) - 2*v(h). Is y(l) a prime number?
False
Let b(r) = 2*r**2 - r + 1. Let k(v) = -782*v**2 - 2*v + 1. Let h(s) = 2*b(s) - k(s). Is h(1) a prime number?
True
Let l = -110 + 1027. Suppose 203 = 7*k + l. Let h = 643 + k. Is h composite?
False
Let j(i) = i**3 + 5*i**2 + 4*i + 3. Let d be j(-4). Suppose d*s - 9 = -3. Suppose -633 = -s*z - z. Is z composite?
False
Let j = -10 + 9. Let v(w) = -w**2 - w + 1. Let f(r) = -4*r**2 - 5*r + 8. Let z(l) = j*f(l) + 2*v(l). Is z(-7) composite?
False
Let a = 22651 - 1202. Is a prime?
False
Let w(i) = -5*i**3 + 3*i**2 + 5*i + 2. Let g(m) = -m**3 - 3*m**2 - m. Let v be g(-3). Suppose 4*o + 9 = -v. Is w(o) composite?
False
Suppose 3 = -3*k + 12. Suppose -k*g - 3*s + 486 - 102 = 0, g - 116 = -5*s. Is g a prime number?
True
Let m = 4 - 2. Is (954/15)/(m/5) prime?
False
Let x = 35 - 32. Let v(p) = 235*p - 4. Is v(x) a prime number?
True
Is (5259 - -4) + 2 - 1*4 a prime number?
True
Suppose -5*h - 7126 = -y, -4*y + 25*h - 28*h = -28619. Is y composite?
False
Let r(j) = 2*j**3 + 2*j**2 - 3*j + 4. Let n = -6 - -15. Let y = n + -6. Is r(y) a composite number?
False
Suppose w - 73182 = -4*c, -10*c + 8*c + 3*w = -36584. Is c prime?
False
Let z(g) = 19 - 456*g**2 - 6*g + 226*g**2 + 232*g**2. Let d(j) = -j**3 - 6*j**2 - 2*j - 6. Let c be d(-6). Is z(c) composite?
True
Let l(p) = 584*p**2 - 6*p + 29. Is l(4) composite?
False
Let f = -3949 + 7112. Is f prime?
True
Let t be 4/14 - (-4750)/35. Suppose 5*q = q + t. Let m = 189 + q. Is m a prime number?
True
Let d = 6155 - 2362. Is d a prime number?
True
Suppose 13 = c - 1. Let m(l) = 21*l + 37*l - 3*l - c*l + 6. Is m(7) a composite number?
False
Let a be (-1)/(-3)*15/1. Suppose -a*q = -q - 16. Suppose 0*z + 22 = 2*z + q*s, -s - 12 = -2*z. Is z prime?
True
Let u be 69874/21 + 2/(-6). Let k = u + -1480. Is k a composite number?
False
Let l be (-2)/(1 - -2 - (-6 + 7)). Let h(g) = -353*g. Is h(l) composite?
False
Suppose k + 446 - 3175 = 0. Is k a prime number?
True
Let i(v) = 13*v**2 - 7*v + 4. Let r be i(4). Suppose 5*g + r = 3*t, 0 = -t + 4*g - 3*g + 58. Is t a prime number?
True
Let q(z) = 598 - 78*z**2 + 199*z**2 - 591 + 14*z. Is q(-6) a prime number?
False
Let s(q) = 7*q**2 - 5*q + 4. Let p be s(3). Suppose 34 + p = 2*k. Is k a prime number?
True
Suppose -2*p = 5*m - 80992, 78*p = 75*p - 2*m + 121499. Is p prime?
False
Let b = 0 + 0. Let o be (6/(-5))/(33/(-110)). Suppose o*u = -4*t + 1012, 2*u - 3*t + b*t = 511. Is u a composite number?
True
Let p(d) = -d**3 - 21*d**2 - 39*d - 59. Is p(-28) composite?
False
Let z(f) = f**3 + 2*f**2 + f + 20017. Is z(0) a prime number?
False
Suppose 10 = -5*t - 0*t - 5*i, 5*i = t - 22. Suppose 3*z - 11 = -t. Suppose -4*s + 2*x + 503 = -3*x, z*x = 3. Is s composite?
False
Suppose 4*o + 572 = 4*p, -p - 3*p = 4*o - 580. Let l = p - 59. Is l composite?
True
Let x = 931 + 256. Is x composite?
False
Let u(j) = 79*j + 4. Let b be (-92)/(-12) - 2*(-1)/(-3). Is u(b) a prime number?
True
Suppose 20*l = 24*l - 26252. Is l a prime number?
True
Is ((-2)/(-4))/(8 + (-2543706)/317964) a prime number?
True
Let s = 9 + -3. Let z(o) = 2*o**3 - 4*o**2 + o - 5. Is z(s) a prime number?
False
Let s(v) be the second derivative of 0 + 1/20*v**5 + 5/6*v**3 + 7*v + 11/2*v**2 - 5/6*v**4. Is s(11) a composite number?
True
Let t = -14 + 8. Let y = -20 - -18. Is (579/t - -1)*y a composite number?
False
Suppose s - 21688 = -5*z, -9*s - z - 43409 = -11*s. Is s a prime number?
False
Suppose s = 2*f - 4, -3*f = 3*s - 14 - 10. Is -31*f*-3*(-142)/(-24) a prime number?
False
Suppose b + o - 9 + 0 = 0, -5*o = -4*b + 9. Is 213 - (b/2 - 1) prime?
True
Let p be 2/6*0 - -3. Suppose -p*d + 2955 = -192. Is d a prime number?
True
Let u(w) = 3*w**2 + 6*w + 7. Suppose 0*z = 3*z. Suppose 3*f + 5*b + 37 = -0*b, z = 2*f - 2*b - 2. Is u(f) a composite number?
False
Suppose -976 = -0*j + j. Is 8/4 + (-5 - j) a composite number?
True
Suppose 0 = -3*j - 4*f - 14, -3*j - f = j + 23. Is 60/(-90) + -235*10/j composite?
True
Let s(h) = 2936*h - 231. Is s(14) composite?
True
Let l(v) = 503*v**2 + 13*v + 57. Is l(-4) composite?
False
Suppose -4*u - 4*a - 2 = -2*u, -3*u = 4*a - 7. Suppose 0 = -3*x + 6*x - u. Is (968 - 1)*3/x composite?
False
Let p = 50 - 45. Suppose -p*z = 2*n - 1412, 0 = n + 4*z + 141 - 850. Is n a composite number?
False
Let m = 310 - -1057. Let o = m + -490. Is o a composite number?
False
Suppose 2*v + 2*v + 111160 = 5*w, 5*w + 111160 = -4*v. Is 3/(-8) + (v/16)/(-5) prime?
True
Let f be (-5)/(-2)*2222/55. Suppose -122 = -h + f. Is h a prime number?
True
Let m be ((-2)/3)/(12/54). Let i = 1 + m. Is (-149)/(i/6*3) composite?
False
Suppose -4*g = v - 173, 3*v + 2*g - 177 = 2*v. Suppose -k 