*a - j, -a + 159 = j - f. Is a a composite number?
True
Suppose -2*k = -3*f - f - 88, -4*f + 20 = k. Let y be (-1 + 3)/((-6)/k). Is 2/(-4) - 642/y a prime number?
True
Let u = 362 - 180. Let b = u + -61. Is b a prime number?
False
Suppose 3*x = -2*k + 49685, -35471 = -5*k - 4*x + 88738. Is k a prime number?
True
Suppose 2*p + 4*f = 9646, 3*f + 7756 + 16346 = 5*p. Is p a prime number?
False
Let c be (-6)/10 - 309/(-15). Suppose l = 4*m - c, 4*l - 13 = -m - 42. Let h(o) = o**3 + 10*o**2 - 4*o + 1. Is h(l) prime?
False
Let s be (5 - -4 - 1) + -3. Let w = s + 15. Suppose 2*a - w = 7*a, -i + 231 = a. Is i prime?
False
Let v = -7 + 11. Suppose -v*s = -3*s - 429. Suppose -s - 371 = -3*j + 5*z, 0 = 3*z + 3. Is j a composite number?
True
Is -1*(6/(-12))/((-4)/(-24088)) prime?
True
Let t = 35973 + -9602. Is t prime?
True
Suppose 5*b = -25, -2*b + 453 = 3*q - 2240. Is q composite?
True
Let l(z) = -z - 6. Let f be l(-6). Suppose f = 4*m - 0*m. Suppose m = 2*c - c - 751. Is c composite?
False
Is -15*14738*7/(-70) composite?
True
Let u(t) = -111*t + 1. Let r be 1/(-1 + 9/6). Suppose r*b + 2*p + 0*p + 4 = 0, -2*b + 3*p = 4. Is u(b) a prime number?
True
Suppose -3*v - 7 = -25. Suppose 1640 = 2*j + v*j. Is j prime?
False
Let f(h) = 268*h**3 + 3*h**2 + 4*h - 12. Let z(m) = -89*m**3 - m**2 - m + 4. Let n(a) = -2*f(a) - 7*z(a). Is n(3) composite?
False
Suppose -r = n - 5565, -2*r + 7955 + 3187 = -4*n. Is r a composite number?
True
Suppose -18*u = 20*u - 187606. Is u prime?
True
Suppose -67*o - 649 = -68*o. Is o prime?
False
Suppose 2*n + 72 = -0. Let w = 432 + -212. Is w/(-6)*n/24 a prime number?
False
Let k = -4 - -12. Let s(x) = -5*x**3 + 40*x**2 + 15*x - 14. Let t(o) = o**3 - 8*o**2 - 3*o + 3. Let u(j) = -2*s(j) - 11*t(j). Is u(k) a composite number?
False
Let m = 1966 + -854. Let v = -577 + m. Is v prime?
False
Let f be (6/3 - 0)*(-21)/(-14). Suppose 5*d - 5*x - 3913 = -9*x, 0 = -f*d + x + 2358. Is d prime?
False
Let b be 0 - -2 - 0/3. Suppose -x + 66 = b*f - 4*f, -f - 5*x - 44 = 0. Let n = 13 - f. Is n prime?
True
Suppose -3*n + 6*n = f - 187, 2*n - 986 = -5*f. Suppose 4*p - b + 2*b - 378 = 0, f = 2*p + 4*b. Is p prime?
False
Is 2272325/150 - (-3)/18 a composite number?
False
Is 4909 - (5 + -12) - -3 a prime number?
True
Let l(w) = -8*w**3 - 11*w**2 - 5*w + 9. Is l(-13) prime?
True
Let i(z) = -z**2 - 12*z - 11. Let f be i(-11). Suppose -p = -3 - f. Suppose -170 = -p*d + 253. Is d a composite number?
True
Let j(l) = l**3 + 38*l**2 + 28*l + 58. Is j(-25) a prime number?
False
Let g(z) = -16*z**3 - 22*z**2 - 25*z - 92. Is g(-17) a composite number?
True
Let b be -4 - (-4*1 - (-3 + 2)). Let n(f) = 29*f**2 + 34*f**2 - 15*f**2 + f. Is n(b) a prime number?
True
Let z be 2366 + ((-128)/60 - 6/(-45)). Is (-3 + 1)/((-8)/z) composite?
True
Let w(m) = 111*m + 7. Let p(y) = 110*y + 6. Suppose -4*j = -6 + 22. Let b(a) = j*p(a) + 3*w(a). Is b(-2) composite?
False
Is -2*(1 + (-210885)/10 + 3) prime?
True
Suppose -1 = -u, 13424 + 3733 = 4*p + u. Is p a prime number?
True
Is -1*(-13092 - 1)/(2 - 1) a composite number?
False
Let z(g) = g**3 + 4*g**2 + 4*g + 2. Let u be z(-2). Suppose -u*v + 984 = -818. Suppose 0 = -y - 3*r - 2*r + 164, 0 = 5*y - 2*r - v. Is y a composite number?
False
Suppose 7*a - 6*a - 5*y - 717 = 0, -3*a - 3*y = -2223. Is a a prime number?
False
Is 5/(2 - 7) - -16847 a composite number?
True
Let o = -107 + 111. Suppose -7*s + 3*s + 673 = 5*d, -505 = -3*s - o*d. Is s prime?
True
Let s(o) = o**2 + 2*o + 2. Let h be s(-3). Suppose -5*t + 404 + 173 = z, -3*t - h*z + 355 = 0. Is t a composite number?
True
Suppose 2*v - 31724 = -2*h, 4*v = -0*h + 5*h - 79283. Is h a composite number?
False
Suppose -3*z - 7 = -19. Suppose -z*x = -279 - 197. Is x prime?
False
Let y be (-2 + 2)/(1 - 5). Is (y - 1174)/(-6 + 4) a prime number?
True
Suppose -n + z = -1350, 2*z = -n - 0*z + 1335. Is n composite?
True
Let o(i) be the second derivative of -i**5/20 + i**4 + 3*i**3/2 + 11*i**2/2 + 28*i. Let j = 8 - -1. Is o(j) prime?
False
Suppose -3*j - 3*n = -0*n + 12, j = 3*n + 4. Let p = j + 2. Suppose p*k - 182 = -2*k. Is k composite?
True
Let w(l) = -750*l + 197. Is w(-61) a composite number?
True
Let d be (-5 - -4)/(2/(-10)). Suppose -d*t = 280 + 200. Let n = -61 - t. Is n a composite number?
True
Suppose 4*h - 2*v - 232 = 0, -3*v - 168 = -3*h - 0*v. Suppose 3*a + h = 5*l, l - 7 = -3*a + 5. Let r(k) = 8*k + 15. Is r(l) a prime number?
False
Let a(b) = 2*b**2 - 16*b + 24. Let p be a(6). Let x(c) = c**3 - c**2 + c + 221. Is x(p) a prime number?
False
Suppose -30*l = -33*l + 6. Suppose -u - 543 = -l*u + 2*d, -2*u + 1085 = -3*d. Is u a composite number?
False
Let o(i) = -6 - 5 + 4 + 124*i. Let g(n) = 125*n - 6. Let j(y) = 5*g(y) - 4*o(y). Is j(1) a prime number?
True
Let f(y) = 48*y - 96. Let m(p) = -3*p + 6. Let g(q) = -2*f(q) - 33*m(q). Let v be g(4). Is (v - 260)*(-2)/4 a prime number?
True
Suppose -3*j + 1256 = -3*g + 2*g, 2*g = -j + 421. Suppose 15*r - j = 14*r. Is r prime?
True
Suppose 6*d = d - 2*b + 17, 36 = 4*d - 4*b. Suppose -d*t = -9*t + 2732. Is t prime?
True
Let y(d) = -13 + 7*d - 3*d + 4. Let k be y(6). Suppose -k*l = -17*l + 76. Is l composite?
True
Let h(u) = 81*u**2 + 2*u + 4. Let l be h(-3). Let j(o) = 63*o - 123. Let d be j(2). Suppose d*c + l = 2*a - 0*a, -10 = -2*c. Is a composite?
True
Is -10694*((-3)/(-2) - 2) a prime number?
True
Suppose -5*b = -6*b + 26669. Is b a composite number?
False
Let t(c) = 10*c**2 + 19*c + 18. Is t(19) a composite number?
False
Suppose -3*y - 2*f + 147 = 0, 2*y + 2*f - 2 = 94. Suppose z + y = 710. Let x = -366 + z. Is x a composite number?
False
Suppose 4*f = 2*f + 6. Let q be 3 + (f - 1) - 2. Suppose -225 = -z + d, 2*d + 20 = -q*d. Is z prime?
False
Suppose 14*v = 18*v - 3*i - 281714, 5*v - 352141 = 3*i. Is v composite?
True
Suppose 2*s - 18 = -2*j, -4*s + 0*j + 1 = -3*j. Suppose -4*h = 3*r - 555, -3*h = s*r - 0*r - 733. Is r a prime number?
True
Let a(j) = j**3 + 6*j**2 - 8*j - 4. Let r be a(-7). Suppose -5*v + 2*y + 4427 = 0, r*y = 5*v - 2*v - 2649. Is v a prime number?
True
Let r be (-9)/((-4 - -3)*(-2)/(-10)). Let o = 17 + r. Is o composite?
True
Suppose -2*d + 6*d = -4, -4*d = -3*u + 2053. Is u composite?
False
Let r be 10/25*490/(-2). Let a = r - -280. Suppose 2*g + 44 = a. Is g a prime number?
False
Let s(p) be the first derivative of -2*p**3 - 4*p + 1/4*p**4 + p**2 + 4. Is s(7) prime?
True
Let n = 1 + 150. Let z = -1 - -3. Suppose -z*v = -187 - n. Is v composite?
True
Let j(y) = y**2 + 7*y + 7. Let f be -1 + 1 + 4 + 18 + -7. Is j(f) prime?
True
Let v(t) be the second derivative of 13*t**4/12 + 5*t**3/6 + 13*t**2/2 - 4*t. Is v(-3) a composite number?
True
Let l(d) = -d**3 - 6*d**2 + 34*d - 5. Is l(-18) prime?
True
Let o = -464 - -720. Suppose -t = h - 6*t + o, -5*t - 25 = 0. Let m = 412 + h. Is m prime?
True
Let m = -34 + 56. Suppose 0 = 2*j + 90 - m. Let a = j + 245. Is a a composite number?
False
Let z(j) = -3 + 2*j**2 - 3*j**2 - 13*j + 18. Let m(r) = 12*r + 1. Let f be m(-1). Is z(f) prime?
True
Suppose 0 = 28*g - 22*g - 28914. Is g prime?
False
Let d = -10 + 9. Is 184*(2 - -3) + d prime?
True
Let v = 0 - 32. Let x = -294 - v. Let d = -113 - x. Is d prime?
True
Let r = 7 - 4. Let l be 0/r + 154 + -2. Let m = l + -57. Is m prime?
False
Suppose 24*c - 3748 = -796. Is c prime?
False
Let w(r) = -r**2 - 21*r + 2. Let z be w(-20). Suppose z*b = 6*b + 14416. Is b a prime number?
False
Let h = 9358 + -4915. Is h prime?
False
Let l(b) = 9*b**2 - 27*b - 39. Let i be l(-17). Suppose 4*m = m + i. Is m prime?
False
Suppose -2*l - 8 + 26 = 0. Is (-2)/(-4)*-6*(-201)/l a composite number?
False
Suppose -12*w + 20 = -16. Suppose -3*j - 650 = -c - 1641, -2*j + 656 = -w*c. Is j composite?
False
Let p(v) be the second derivative of 139*v**4/12 - 2*v**3/3 + 5*v**2/2 - 7*v. Is p(2) a composite number?
True
Is -73*(0 - 67) - (-10)/(-5) prime?
True
Suppose 4*u - 7*t + 2*t + 101 = 0, -4*t = -4. Let g be 594/u - 2/8. Is 2/(-5) + (-11085)/g prime?
True
Suppose 2*x + g - 6778 = 0, 0 = 9*x - 4*x + 2*g - 16945. Is x prime?
True
Let s(l) = -l**3 - 5*l**2 - 5*l - 3. Suppose 0 = 3*g - 1 + 13. Let j be s(g). Is 3/j - (-59 + 7) prime?
False
Let s = -69 + 1072. Is s composite?
True
Suppose 4*v = 3*h - 4*h + 233, -4*v = 5*h - 1117. Is h composite?
True
Let n