= 98*s - 15. Let x(q) = q + 1. Let d be x(6). Is u(d) prime?
False
Let x(c) = c**3 - 16*c**2 + 17*c + 3. Is x(15) prime?
False
Let l be (4/(-5))/(2/(-10)). Let n be ((-6)/l)/(2/(-4)). Suppose 24 = n*d - 15. Is d prime?
True
Let a(d) = 3*d. Let g be a(1). Let i = 6 - g. Is 94/6*(i + 0) prime?
True
Suppose 2*a = q + 114, -42 - 64 = -2*a + 3*q. Is a composite?
False
Suppose x = -1, 0 = r + x + 2*x - 8. Let n = -4 - r. Is (14/5)/((-3)/n) composite?
True
Let s = 2 - -2. Suppose 1535 = s*r + r. Is r composite?
False
Suppose -4*i - 10 = k - 0, 0 = 3*k - i + 17. Let d be ((-3)/6)/((-1)/k). Is d*(-4)/6 + 95 a prime number?
True
Suppose -t + 3*j = -31, 78 = -0*t + 3*t - 4*j. Suppose 1107 - 455 = 4*z. Suppose -z = -5*n + t. Is n a composite number?
False
Let k = 23 + 3272. Is k a composite number?
True
Suppose 5*t = -4*p + 633, -3*t = -3*p - 2*p + 782. Is p a prime number?
True
Let g(r) = -4*r**2 + 2*r - 2. Let k be g(3). Is ((-709)/(-2))/((-16)/k) a composite number?
False
Let d(o) = -3*o + 1. Let y be d(-1). Let k(t) = -t**2 + 4*t + 4. Let l be k(y). Suppose -331 + 63 = -l*i. Is i composite?
False
Let u(o) = -354*o + 11. Is u(-3) a composite number?
True
Let k(r) = 0*r**3 + 7 - 2*r**2 - 12*r + 0*r**3 + r**3. Let n be k(8). Suppose -5*b + 450 = -n. Is b prime?
True
Let l(q) = q**3 - 4*q**2 - 5*q + 3. Let k be l(5). Suppose 2*z = z + k. Suppose z*t - 130 = t. Is t a prime number?
False
Suppose -16 = -s - q + 78, 3*q - 375 = -4*s. Is s - 3/(1 - 4) a prime number?
False
Suppose 3*i - 3 = 2*i, 3*r - 126 = 2*i. Let h = r - -71. Is h a prime number?
False
Let o be ((-10)/3)/(12/(-18)). Let y = o + 2. Is y prime?
True
Let q(p) = -2*p**2 - 2*p + 4. Let g(l) = 5 - 3 - l**2 - 5*l + 4*l. Let o(k) = 13*g(k) - 6*q(k). Is o(0) prime?
True
Let l(a) = 68*a - 54. Is l(7) prime?
False
Suppose -4*g + z = -11, g - 3 = -g + z. Let i(d) = d**3 - 4*d**2 + d - 1. Let t be i(g). Suppose 0*h = 3*h + v - 104, 3*v = -t*h + 102. Is h composite?
True
Suppose 0*u - 5*u + 15 = 0. Suppose y = -o + 88, 0 = -2*o + 3 + u. Is y prime?
False
Suppose 5*j = -i + 15, 6*i = 2*i - j + 98. Let m = i + 166. Is m prime?
True
Let q(m) = 58*m**2 + 4*m + 2. Let j be q(-3). Let d = j - 351. Is d a composite number?
True
Let l(b) be the second derivative of b**4/6 + b**3/3 - b**2/2 - 2*b. Let n(y) be the first derivative of l(y). Is n(5) a prime number?
False
Suppose 4*h - 9 + 33 = 0. Is h/5*(-50)/4 composite?
True
Suppose 99517 - 15625 = 12*u. Is u prime?
True
Is (4 - (5 - 3)) + 63 a prime number?
False
Let m(b) = b**2 - 2*b - 9. Let v be m(7). Let y(t) = -t**3 - 3*t**2. Let j be y(-3). Let k = v + j. Is k composite?
True
Suppose -48 = 5*c - 18. Is (-154)/c*(2 + 1) a composite number?
True
Let s = -5 + 1. Let x be (s/(-6))/((-1)/(-6)). Suppose 3 = -3*y + x*y, 3*y - 109 = -4*w. Is w prime?
False
Suppose -2*l - l = -2139. Is l a composite number?
True
Suppose 2*g + 7 = 3*b - 6, -3*g - 7 = -2*b. Suppose b = w - 9. Is w a composite number?
True
Let o(n) = -n**2 - 5*n + 5. Let f be o(-7). Let h(r) = -r**3 - 10*r**2 - 12*r + 8. Is h(f) a prime number?
False
Let p = 329 + -171. Is p prime?
False
Let c = -7 + 10. Let a = -6 + 9. Suppose -a = -c*q + 54. Is q a prime number?
True
Suppose -5*c = -g + 205, -820 = -4*g + 3*c + c. Is g a composite number?
True
Let h(x) = -31*x + 1. Let s be h(-1). Suppose 0 = -5*c + s + 153. Is c prime?
True
Let v(k) = k**2 - 8*k + 6. Let y be v(6). Is 687/6 - y/(-4) a composite number?
False
Suppose -y + 4*k = -7151, -15*y - 7151 = -16*y - 4*k. Is y prime?
True
Suppose 2*o = -2*o - 880. Let x = o - -316. Let d = -63 + x. Is d a prime number?
False
Let f = 760 + -315. Is f a composite number?
True
Let s = -1542 + 986. Is 6/6 + (0 - s) prime?
True
Let r(m) be the first derivative of -m**4/4 - 3*m**3 + m**2/2 + 7*m + 3. Let s be r(-9). Is -2*s/(-4) - -12 a prime number?
True
Suppose 6*p - 5*p - 8 = 0. Let h be p/4 + 7*3. Suppose -v = -h - 26. Is v a composite number?
True
Let n(s) = -s**2 - 4*s + 2. Let a be n(-3). Suppose -b + a = 3. Suppose 11 - 55 = -b*x. Is x a composite number?
True
Suppose 3*z + 2*z - 140 = 0. Let w = z - 11. Let c = 32 - w. Is c prime?
False
Let r(v) = -v**2 + v**2 - 6 + 6*v + 5*v**2. Let a be r(4). Let z = a + -19. Is z prime?
True
Let z be 0*(9/(-6) + 2). Suppose -5*u + 76 + 59 = z. Suppose p - 5*x - u = 0, 0 = -x + 4*x - 6. Is p a prime number?
True
Let p = 315 + -102. Is p a composite number?
True
Suppose -c + 0*c + 84 = i, -4*i - 447 = -5*c. Is c prime?
False
Suppose -p + 3283 = 6*p. Is p prime?
False
Let j = 4 - 7. Let x = 7 + j. Suppose -x*m + 105 = 3*k, -4 = 2*m + 2. Is k prime?
False
Is (-4 + (-9)/(-2))/(2/3164) a composite number?
True
Let b(a) = -41*a**3 + a**2 - 2*a + 1. Let n be b(1). Let g = n - -76. Is g a composite number?
True
Let c = -12 + 15. Suppose c*a - 50 = 7. Is a composite?
False
Is (6/(-9))/((-2)/1257) prime?
True
Let y = -24 + 27. Suppose 668 = p + l, -p + 688 = -0*l - y*l. Is p composite?
False
Suppose -7*m - 20 = -2*m. Let z(u) = 3*u**2 - 8*u - 9. Is z(m) a composite number?
False
Suppose -3*g + 3*y + 18 = 0, 0*g = -5*g - 4*y - 6. Let o be ((-1)/g)/((-2)/(-12)). Let w = 5 + o. Is w composite?
False
Suppose 5*g - 2*v + 3*v = 7, -3*v + 7 = g. Let o be g - 3 - (-1 + -2). Suppose r = -o + 20. Is r composite?
False
Let g(c) = 0*c + 3 - c + 5 + 4. Let v be g(8). Suppose v*h + 4*l - 7*l = 491, h - 139 = 4*l. Is h a prime number?
False
Let h(d) = d**2 + 6*d + 3. Let r be h(-5). Let l be (9/15)/(r/(-10)). Suppose -4*k + 104 = 2*q, l*q = -4*k - q + 104. Is k composite?
True
Let q be 1 - (3 + -5) - 1. Suppose q*s - 5*x = 441, -3*x + 81 + 145 = s. Is s composite?
False
Let y(x) = -8*x + 1. Let t be y(-2). Let s = t + -51. Let h = -19 - s. Is h composite?
True
Suppose -b = 2*s - 205, 371 = 5*b + 4*s - 642. Is b a prime number?
False
Let b(u) = 13. Let p(q) = q - 14. Let o be p(9). Let l(d) = -d - 12. Let g(t) = o*b(t) - 6*l(t). Is g(5) composite?
False
Let l(g) = 2*g**3 - 4*g**2 + g + 2. Let s be l(2). Suppose -2*q = 4*a - 560, 2*a + 6*q - 278 = s*q. Is a a prime number?
False
Suppose -2*m + 11 - 1 = 0. Let t(s) = -s**3 - 5*s**2 + 2*s + 2. Let r be t(-6). Suppose 4*i + r = m*i - 5*p, i - 26 = -p. Is i a prime number?
False
Let v(y) = -y**3 - 13*y**2 - 14*y - 15. Let l be v(-12). Let x(a) be the first derivative of 13*a**2/2 + 10*a + 2. Is x(l) prime?
True
Suppose 5*l - 14 = 1. Let a(i) = 6*i**3 + 3*i**2 + 3*i + 1. Is a(l) a composite number?
False
Suppose -2*s + 290 = -216. Is s a composite number?
True
Suppose 0 = -2*i - 3*p + 1494, -4*i + 748 = -3*i + 2*p. Suppose 4*g + 921 = 5*u, -4*g + i = -4*u + 8*u. Is u a prime number?
False
Is (354/12)/((-2)/(-28)) a prime number?
False
Suppose -o + 3*m + m = -217, -4*o + m + 823 = 0. Is o prime?
False
Suppose -5*o = 2*g - 2733, 3*o - 7*o = -5*g - 2160. Is o a composite number?
True
Let u(r) = -4*r**3 + 18*r**2 - 8*r + 15. Let f(d) = d**3 - 6*d**2 + 3*d - 5. Let k(j) = -7*f(j) - 2*u(j). Is k(4) a prime number?
False
Suppose 0*w = -5*x + 3*w + 6896, 0 = 3*x + 3*w - 4152. Is x a prime number?
True
Let h(s) = s**3 + 9*s**2 + 9*s + 12. Let p be h(-8). Let j = 4 - p. Suppose -y = 5*n - 46, j = 5*n - 2*y - 49 + 6. Is n composite?
True
Let q = 51 - 85. Let y = -19 - q. Is y prime?
False
Suppose -3*o - 4*k + 3 = 0, k = 2*o - 3*o + 1. Let c = o - 0. Let m = 13 + c. Is m composite?
True
Let h = 794 - 520. Let m = h - -135. Is m composite?
False
Suppose -3*l = u + 18, -4*u + 5*l - 8 + 21 = 0. Is 4/6 + (-343)/u a composite number?
True
Let w(m) = 9*m. Let u(q) = 4*q. Let s(d) = -7*u(d) + 3*w(d). Let r be s(-6). Suppose 0*a + 3*n = 3*a - 6, r = 3*a + 4*n. Is a composite?
False
Suppose 0 = -4*x - 16 - 8. Is ((-2)/x)/((-5)/(-150)) a prime number?
False
Suppose 0 = -2*k - 35 + 505. Is k prime?
False
Is (-15740)/(-30)*(-9)/(-2) a composite number?
True
Let p = 1 - -2. Suppose 78 = 4*o - p*d - 299, 4*o = 4*d + 380. Suppose 3*v - 4*h - 135 = 0, 5*v - o = 3*v + 2*h. Is v a composite number?
True
Let x = -892 + 2151. Is x a prime number?
True
Let z = -9984 + 15529. Is z prime?
False
Suppose -4*s + 26 - 2 = 0. Is -2 + 2/(s/69) composite?
True
Let n = 3871 + -2756. Is n a composite number?
True
Let h be -2*(-3)/6*1. Let a be (h - -69) + -2 - 0. Suppose -21 + a = g. Is g a prime number?
True
Let v = -731 + 1108. Is v a com