et z = a - x. Is z a prime number?
False
Let w(i) = i**3 + 23*i**2 + 12*i - 13. Let f(s) = s**2 + 7*s - 8. Let u be f(-4). Is w(u) prime?
True
Suppose 5*d = 5*a - 220730, -132444 = -55*a + 52*a + 5*d. Is a composite?
True
Let g(v) = 367*v**2 - 6*v + 25. Let x = -80 - -84. Is g(x) a prime number?
False
Suppose -7*w = -508 - 591. Let c = 1374 + w. Is c a prime number?
True
Suppose -3*d - 40812 = -3*m, 8863 = -4*m - 3*d + 63272. Is m composite?
True
Let k(h) = -93*h**3 + h**2 + h. Let x be k(-1). Let o = x + -88. Suppose 4*v - 4*y = 3550 - 1006, 3*v + o*y = 1868. Is v composite?
False
Let l(m) = -72*m + 15. Let h(r) = -7*r**2 - 2*r - 2. Suppose -6 = 13*y - 7*y. Let v be h(y). Is l(v) a prime number?
False
Suppose n = 4*h - 8442, 0 = -5*h - n + 14773 - 4216. Let u = h - 1258. Is u a prime number?
True
Suppose 4*h - 26 + 6 = 0. Is -9*(-6)/135 + 85163/h composite?
False
Suppose -2*k - 12 = -3*c, -4*c = k - 0 - 5. Is (1 - 11544/3)/((-2)/c) composite?
False
Suppose -48*h + 1346119 + 3159689 = 0. Is h a composite number?
False
Let g(n) = n**3 - 5*n**2 - 15*n + 6. Let b be g(7). Let r(v) = -v**2. Let z(u) = 305*u**2 - u. Let t(l) = r(l) + z(l). Is t(b) a prime number?
False
Suppose -19*j - 722976 = -3*j - 4219120. Is j a composite number?
False
Suppose -121*p + 280*p - 221776539 = 0. Is p composite?
False
Let k(g) = g**3 + 2*g**2 - 2*g - 3. Let i be k(2). Suppose 0 = 3*t - i, 0 = -4*v + t + 15047 + 3102. Is v composite?
True
Suppose 8*f - 5*f = -3*c + 23730, -c = -5*f + 39532. Suppose 7*a - f = 6*a. Is a a prime number?
True
Suppose -160704 = 8*s - 599224. Let w = -37302 + s. Is w a prime number?
False
Suppose -3*h + 0*h + 4*g - 25 = 0, -4*h - 2*g = 26. Let y(c) = -254*c + 61. Is y(h) composite?
True
Suppose -z + 8 = 0, 4*t = 4*z - 5 + 13. Is t prime?
False
Let t(j) = 14*j**2 + 14*j - 27. Let b(q) be the second derivative of -q**5/20 + 8*q**4/3 - 11*q**2/2 + 47*q. Let s be b(32). Is t(s) a composite number?
True
Let m(l) = -l**3 - 4*l**2 - 4*l - 17. Let i be m(-4). Is (i - (9 + -10)) + (-2603)/(-1) a prime number?
False
Suppose -46*w - g = -51*w + 1710774, -9*w - 2*g = -3079378. Is w a prime number?
False
Let a(h) = -2*h**2 + 21*h + 19. Let p be a(11). Suppose -2707 = -2*b + 5*l, 5*b - 4*l = p*b - 4095. Is b a prime number?
True
Suppose 0 = -4*b - b - 3*b. Is 3*3095 + (4 - b) a composite number?
True
Suppose -684*n - 4606215 = -699*n. Is n composite?
True
Let o(l) = l**2 - 2*l + 1. Let z be o(-2). Suppose -6*n - z*n = -139065. Is n composite?
True
Suppose -3*p - 3*f - 1400 - 52 = 0, 5*p + 2418 = -3*f. Let x be (4 - -8)*(p/6)/7. Let y = 171 + x. Is y a prime number?
False
Is (1/13 + 1320/(-260))*-4969 composite?
True
Let i be 6/(-15)*(14 + -534). Is 1422480/i - (-4)/26 a composite number?
True
Let g = -506 + 814. Let q = 1403 + g. Is q composite?
True
Let s = -40 + 45. Suppose -s*f - 14 = -4*x + 16, 4*x + 4*f = 48. Let t = x + -3. Is t a composite number?
False
Let v(m) = 179128*m**3 - 5*m**2 + 27*m - 19. Is v(1) a composite number?
True
Let n = 2702 + 17756. Suppose -n = -16*m + 4230. Is m a prime number?
True
Let j = -38 - -43. Suppose 2*d + 30 = 4*d - 5*y, -17 = -j*d - 2*y. Suppose -1855 = -d*w - 0*w. Is w a composite number?
True
Let m(b) = -2*b**3 + 24*b + b**3 - b**2 - 5*b**2 + 15. Suppose -216 = 35*p + 344. Is m(p) composite?
True
Let g(w) be the second derivative of -31*w**3/6 - 79*w**2/2 + 1452*w. Suppose 2*o + 38 = -8. Is g(o) composite?
True
Suppose 0 = -34*g + 33*g + 3. Suppose 9*y - 12 = g*y. Suppose 9*f + 593 = y*z + 4*f, -3*z + 870 = -f. Is z a composite number?
True
Let t = 48105 - 28058. Is t a composite number?
False
Suppose n = 5*a + 258841, -30 = -23*a + 18*a. Is n a prime number?
True
Let m(d) = 2*d**3 + 21*d**2 - 47*d - 1. Let p be m(2). Suppose 5893 = 2*q - 5*x, -3*x - 2944 = -p*q + 4*q. Is q a prime number?
False
Suppose -20*q - 24962 + 120379 = -17163. Is q a composite number?
True
Let k(u) = -2*u**3 - 11*u**2 + 24*u - 4. Let p(x) = 3*x**3 + 11*x**2 - 24*x + 5. Let h(j) = 4*k(j) + 3*p(j). Is h(9) a prime number?
True
Let v be -58 + (2/(-6) - 8/(-6)). Let z = 60 + v. Suppose 7*m = z*m + 2732. Is m a prime number?
True
Suppose 102241 = 11*i - 209598. Suppose -5*v - 4*p = -28329, 23*v - 18*v - p - i = 0. Is v prime?
True
Let t(q) = 3*q**3 + 8*q**2 - 2*q + 71943. Is t(0) composite?
True
Let j(y) = 2*y**3 - 82*y**2 - 2*y + 82. Let i be j(41). Let h(g) = g**3 - 5*g**2 + 7394. Is h(i) a composite number?
True
Let t = 121582 + 86575. Is t prime?
False
Suppose -d + 5*z = d - 145, 248 = 4*d + 4*z. Let i be 403/d + 2/(-10). Suppose -13*k + i*k + 2219 = 0. Is k a prime number?
True
Let v(j) = -13737 + 13728 + 2*j + 18*j. Let o = -31 - -44. Is v(o) a prime number?
True
Suppose 74*u - 5 = 73*u. Suppose 18243 + 5512 = u*k. Is k composite?
False
Let p(t) = 23*t + 24*t + 19*t - 70*t + 69. Is p(8) prime?
True
Let i = 425 + -2005. Let h = -841 - i. Is h a composite number?
False
Suppose 4*u = -5*o + 4409, 0 = -o - 9*u + 6*u + 884. Suppose -12*c = -3893 + o. Is c prime?
True
Let m = -166412 + 344767. Is m composite?
True
Suppose -4*b + 12 = 4*c, 0 = 4*c - 2*b - b - 26. Suppose 0*q - c*q + i = 15962, -3200 = q - 4*i. Let d = -1535 - q. Is d composite?
False
Is (221164*17/(-204))/((-3)/9) a prime number?
True
Suppose 4*p = 5*l - 665120, 532137 = 2*l + 2*l + 5*p. Suppose 30*m - 2*m - l = 0. Is m composite?
False
Let y(i) = i**3 + 23*i**2 - i - 13. Let u be y(-23). Suppose u*w + 6339 = 52429. Is w a composite number?
True
Let m(f) be the first derivative of 795*f**4 + 4*f**3/3 + f**2/2 - 2*f - 25. Is m(1) composite?
True
Let z(c) be the first derivative of 31*c**5/30 - 5*c**4/12 + 19*c**3/6 - c**2 - 14. Let g(q) be the second derivative of z(q). Is g(8) prime?
True
Let n be (-3 + 0)*((-2124)/27)/2. Let w be 1 - -90 - (-1 + -1). Let x = w + n. Is x composite?
False
Let t(d) = -1660*d - 897. Is t(-54) a prime number?
False
Let g be 1218 + -3 + 0 + 5. Suppose -240 = -f - 3*v, -2*f = -7*f + 5*v + g. Let t = 400 - f. Is t a prime number?
True
Suppose 3*y + 104458 = -31*o + 33*o, -o + 3*y + 52229 = 0. Is o a prime number?
False
Let s(q) = -q**2 + 12*q + 11. Let j be s(13). Let h(d) = 34*d**2 - 3*d - 4. Let l be h(j). Suppose -2*m - l = -y, -4*y - 5*m = -114 - 464. Is y prime?
False
Suppose 2*t - 43253 = 5*h, 108142 = 5*t - 20*h + 17*h. Is t prime?
False
Suppose 13*h - 11*h + 562795 = 7*h. Is h prime?
True
Let r(h) = 4*h**2 - 3*h. Let j be r(-2). Let q = j + 67. Let o = 1604 + q. Is o a prime number?
True
Let h(p) = 2*p**2 - 17*p + 11. Let g be h(13). Suppose g*q = 3*y + 124*q - 13181, -5*y + 21965 = -5*q. Is y a composite number?
False
Let o = -150 + 147. Is ((-16621)/(-44))/(o/(-12)) a prime number?
True
Suppose -3850 = -5*s - 5*z, -12*s + 750 = -11*s - 4*z. Let v = s + -420. Is v a composite number?
True
Let t(j) = -32*j - 8. Let f(k) = k**3 - 3*k**2 + 2*k - 3. Let p be f(2). Let b be t(p). Suppose -o - m + b = 2*m, 164 = 2*o + 2*m. Is o a prime number?
True
Suppose 4*y - 2*n = -156, 2*n = -4*y - n - 176. Let r(q) = -26*q + 303. Is r(y) composite?
True
Let a(t) = t**3 + 2*t**2 - 41*t + 13. Let w be a(14). Let l = w + -1214. Is l a prime number?
True
Suppose 0 = -10*k - 2 + 42. Suppose 0 = -b - 0*b + k*z + 3387, 3*b - 10101 = -3*z. Is b composite?
False
Let n = -2674 + 84695. Is n a composite number?
False
Let k(b) = 363*b**2 - 1. Let n be k(-2). Suppose -7*z + 2*i = -6*z - n, 0 = -2*z - 5*i + 2902. Is z a prime number?
True
Suppose -16472*h - 2098490 = -16482*h. Is h a composite number?
True
Suppose 845 + 555 = 7*a. Suppose q - a = -3*z + 20, 1111 = 5*q + 4*z. Is q a prime number?
True
Suppose -5*k - 870 = -360. Let o = 78 + k. Is o/(-16)*(-1002)/(-9) a prime number?
True
Suppose 0 = 4*n + w - 6554, 5*n + 2*w - 8192 = w. Suppose 0 = 4*u - n - 2950. Is u composite?
True
Let f = -41 - -50. Let y(o) = -2*o + 20. Let g be y(f). Is (g/3)/(1 + (-367)/369) prime?
False
Let v = -221 - 4. Let x be (-124)/(-30) - (-30)/v. Suppose -14490 = -5*b - 3*j, 3*b - x*j = j + 8728. Is b prime?
False
Let r be -634 + 216/48 + (-2)/4. Let v = r + 6187. Is v composite?
False
Let j(h) be the second derivative of h**4/6 + 8*h**3/3 + h**2 - 24*h. Let x be j(-8). Is x/(-2) - -3 - -1371 prime?
True
Let q(i) = 60*i**3 - 3*i**2 + 36*i - 449. Is q(10) composite?
False
Suppose 1046 = 