 m = -40 + 327. Is m prime?
False
Suppose -12*l - 47 = -13*l. Is l a composite number?
False
Let f = -3 + 3. Suppose 3*b + f*b = -162. Let p = b + 103. Is p composite?
True
Suppose -1 + 16 = -3*d, 5*d = 5*r - 5000. Suppose r = 6*u - u. Is u a composite number?
False
Let p be (-13811)/(-35) - 4/(-10). Suppose -4*f = f - p. Is f a composite number?
False
Let j be (-2)/(-4 - 1191/(-298)). Let t(i) = i**3 - 6*i**2 + 2*i - 9. Let l be t(6). Suppose n + l*n = j. Is n a composite number?
False
Let l = 13 + -11. Suppose -3*k + k + 234 = -l*d, -3*d = -6. Is k a prime number?
False
Let m = 2 - -3. Let n(w) = w**2 - 2*w - 3. Let r be n(m). Is 2/(-6) + 664/r a composite number?
True
Let q(h) = 4*h**2 - 52*h + 17. Is q(31) composite?
True
Let m = 182 - -119. Is m a prime number?
False
Suppose -w = c - 8, w + 10 = 5*c - 6. Suppose -282 - 113 = -5*u - c*r, -4*u = 5*r - 316. Is u a prime number?
True
Let v(r) = -r**3 - 8*r**2 + 10*r + 10. Let u be v(-9). Let m(g) = -g**2 + 3*g - 8. Let q(t) = 1. Let a(k) = u*q(k) - m(k). Is a(7) a composite number?
False
Let b = -566 - -993. Is b prime?
False
Let n = 1567 + 750. Is n prime?
False
Suppose 0 = 2*r - 4*s - 974, 4 - 24 = 5*s. Is r a prime number?
True
Let s be (-255)/10*8/6. Let q be 3/((-37)/s + -1). Is q - 0/(1 - -2) a prime number?
False
Is 1 + (3296 - (-1 + 5)) a composite number?
True
Let u(i) = -i**3 - 4*i**2 - 8*i - 5. Is u(-6) a composite number?
True
Let x(z) = -z**3 + 26*z**2 - z + 7. Is x(8) a prime number?
True
Let f(c) = 16*c**2 - 31. Is f(8) a prime number?
False
Suppose -5*a - 5*t + 620 = 0, -4*a + 0*a + 2*t + 484 = 0. Is a + 1 + 1 + -3 a prime number?
False
Let q = 10 - 4. Let s be q*(40/3 + 2). Suppose -s = -0*c - 4*c. Is c a composite number?
False
Is 2963 - 0*(1 - (-6)/(-9)) a composite number?
False
Let g = 22 - 12. Let i = g - 7. Is ((-485)/15)/((-1)/i) composite?
False
Let n be (-1 - -4) + -1 + 0. Is (-7)/(-3) - n/6 prime?
True
Suppose -5 = -p, 0*p = -4*t + 3*p - 3. Suppose t*q - q = 0. Suppose q = -r + 28 + 57. Is r composite?
True
Let t(f) = -f**3 - 2*f**2 - 3*f + 254. Is t(0) prime?
False
Suppose 2*i + 150 = 5*i. Let k(x) = -2*x**2 + 11*x + 8. Let u be k(6). Suppose -7*n = -u*n - i. Is n a prime number?
False
Is (-4 - (-12980)/(-6))/((-6)/9) a composite number?
False
Let t = -475 + 1382. Is t a composite number?
False
Suppose 149 = -7*z + 8*z. Is z a prime number?
True
Suppose -4*q - 14632 = -9*q + 3*a, 11711 = 4*q + 3*a. Is q a prime number?
True
Let i(b) be the second derivative of -23*b**6/720 - b**5/60 + b**4/3 - 4*b. Let s(w) be the third derivative of i(w). Is s(-3) a prime number?
True
Let z = -7 + 10. Is ((-3)/(z/(-293)))/1 prime?
True
Suppose 0 = -3*v - v + l + 1512, -2*v = 4*l - 774. Is v composite?
False
Suppose -6*t = -5*t + 103. Let s = t - -216. Is s composite?
False
Let u be (-3 - -1) + 1215 + 2. Is u/25 - (-4)/10 a prime number?
False
Let j = -408 + 677. Is j prime?
True
Let a(f) = 2*f - 2. Let k be a(-2). Let l be k/(-1 - 2/(-6)). Is (3 + -2)*l/1 composite?
True
Suppose 0 = 3*i - 1 - 2. Let x be ((-82)/(-3 + 1))/i. Suppose x = -5*b + 226. Is b a prime number?
True
Let m(a) = a**2 - 5*a + 1. Let u be m(5). Let d be u/(10/8)*5. Suppose -5*z - 2*k = -165, d*z + 28 = k + 173. Is z a composite number?
True
Let i(y) = 19*y**3 - 2*y**2 - 3*y - 3. Is i(4) a prime number?
False
Let h(f) = -f**3 - 8*f**2 + 11. Is h(-10) composite?
False
Suppose 2*b - 221 + 56 = 3*k, -5*k + 102 = b. Is b prime?
False
Let r(q) = -q**2 - 8*q + 3. Let f be r(-8). Suppose 1 = v - f. Suppose 125 = s + v*s. Is s prime?
False
Let c be 84/(-10)*20/(-8). Suppose -2*h - 40 = -5*u + 3*h, 3*u - 4*h = c. Is ((-4)/(-2))/(2/u) a prime number?
True
Let j be (-2)/4*(-30)/(-5). Suppose 0 = r + 2 - 0. Is (j + 8)/(r/(-26)) composite?
True
Let t(a) = 50*a + 1. Let u be t(5). Is 18/6*u/3 composite?
False
Let p(j) = 126*j**2 - 2. Is p(2) a prime number?
False
Suppose -5*c + 5 = u, -3*u - 2*u = 2*c - 2. Suppose j - 5*v - 13 = 0, 4*v + 2 + u = -2*j. Suppose 0*n + 33 = j*n. Is n a prime number?
True
Let i(z) = 4*z + 1. Let y be i(1). Suppose -201 = 2*j - y*j. Is j composite?
False
Let k(h) = 4*h**2 + 18*h + 8. Let r(q) = -3*q**2 - 17*q - 7. Let o(f) = -4*k(f) - 5*r(f). Let b be o(7). Suppose 4*c - b = -c. Is c prime?
False
Is ((-13887)/6)/1*2/(-3) composite?
False
Let k = -43 - -26. Suppose 2*n - 244 = 624. Let x = n - k. Is x prime?
False
Let h(d) = -d + 2. Let s be h(-3). Suppose 3*v - 6895 = -5*o, 2*o - v - 3544 + 775 = 0. Suppose -87 = s*c - o. Is c a prime number?
False
Suppose -m - m - 5 = -d, 25 = -d - 4*m. Is 130 + d + 1 + 1 a composite number?
False
Let v be (54/(-4))/((-2)/20). Suppose -3*p = -24 - v. Is 4*(-1)/(-2) + p a prime number?
False
Suppose 4*d = -0*d + 1340. Is d a prime number?
False
Let z = -1085 + 1804. Is z a composite number?
False
Let w(f) = -f + 1. Let o be w(-4). Suppose -2*m = -b + o*b - 2450, -3*b - 3*m + 1830 = 0. Suppose 2*s - 5*s = -2*i - b, 3*s - 603 = -2*i. Is s composite?
True
Suppose 44 = 2*h - 8. Suppose -2*o = -4*q + 18, o + 0*q + 3*q + 14 = 0. Let u = h + o. Is u a composite number?
True
Suppose 17 = 4*u - 5*b, -u - 22 = b + 3*b. Is 0 - u - 0 - -19 composite?
True
Let q(s) be the first derivative of 18*s**3 + s**2/2 - 2*s + 7. Is q(1) composite?
False
Let y(d) = 36*d - 37. Is y(14) a composite number?
False
Let u(o) be the third derivative of o**5/30 + o**3/6 - 6*o**2. Is u(2) composite?
True
Let c be (-428)/(-18) + 4/18. Suppose 4*q + 0*q = c. Is q/21 + (-61)/(-7) composite?
True
Let o(g) = -g**2 + g. Let f be o(1). Suppose f = 4*h + 51 - 15. Is (57/h)/(3/(-9)) a composite number?
False
Suppose 2*s - 4*p = 0, 3 - 2 = p. Suppose -670 = -7*b + s*b. Is b composite?
True
Let l be (0 + 2 - 0)*1. Suppose -l*y + 104 = -66. Is y a composite number?
True
Let h be (1548/15)/((-3)/15). Let l = h - -1025. Is l composite?
False
Suppose 0 = -4*v + 2*v + 2498. Is v a composite number?
False
Let o = -284 - -405. Suppose n = -38 + o. Is n composite?
False
Suppose 5*y - 2 = -4*d + 3*d, -4*d + 5*y = -8. Suppose -2*r - 308 = -2*n, -1 = d*n - n. Let w = r + 224. Is w a prime number?
False
Let p = -44 + 107. Suppose 0 = h - 4 - p. Is h composite?
False
Let m = 6 + -1. Suppose -1980 = -m*h - 0*h - g, 4*g - 1995 = -5*h. Is h a composite number?
True
Suppose 5*y - 3*y - 31 = 5*t, -4*y - t = -29. Suppose 5*f - y*f = -3. Is f/3*3*59 composite?
False
Suppose 5*p - 2*n - 635 = 0, -254 = -2*p - 3*n - 0. Is p a prime number?
True
Let r(t) = -t**2 + 10*t - 7. Let w be r(9). Suppose -w*h = -h - 2. Suppose -3*x + 3*b + 146 = h*b, 119 = 2*x - 5*b. Is x a prime number?
True
Suppose -2*g - 5*r = -12, 3*r = g + 3*g - 50. Suppose g*u - 424 = 7*u. Is u prime?
False
Let p be -2 - 6*(-5)/2. Let j = 24 - p. Is j a composite number?
False
Suppose c - 3*z - 65 = 0, 2*c - c - 2*z = 70. Suppose -c - 38 = -2*g. Is g composite?
False
Let c = -67 - -182. Suppose -h - c = -2*h - 2*p, 345 = 3*h + 5*p. Is h prime?
False
Suppose 2*w = 7*w - 820. Suppose 0*l + 266 = 5*b + l, 3*b + 5*l = w. Is b a prime number?
True
Suppose -m = -2*m + 2*p - 8, 0 = -5*m - 2*p + 20. Is m/((-6)/(-9)) - -94 a prime number?
True
Let d(f) = f + 5. Let t be d(0). Suppose t + 2420 = 5*z. Is z composite?
True
Let q be 3 - 5 - (-1)/(-1). Let w be 138 + 6/(1*q). Let o = w - 83. Is o a composite number?
False
Is (-3109 + -3 + (-15)/(-5))/(-1) composite?
False
Let r = 2 - -1. Suppose -3 - 1 = 2*c, r*a = 5*c + 67. Is a prime?
True
Let u = -19 + 13. Is (-4252)/u + (-1)/(-3) a composite number?
False
Suppose -2*u = u + 126. Let q = -7 - u. Is q composite?
True
Let z(j) = -j**2 - 2*j - 8. Let q be z(-6). Let s = -127 - q. Is 1/(-3)*(s - -2) a prime number?
True
Let t(y) = y**2 + 4*y + 2. Let h be t(-4). Suppose h*r + 2*r = 492. Is r a composite number?
True
Let p = 726 - 91. Is p a composite number?
True
Let r = 3 - -3. Suppose 0 = -2*l + 2 + r, -4*l - 919 = -5*p. Is p prime?
False
Is -2 + -4 + 8 - -29 prime?
True
Let s(r) = 3*r**2 + 10*r + 2. Let q be s(7). Suppose -4*t = -567 + q. Is t composite?
True
Suppose 2*m - 4*d = 462, 3*m + m - 960 = -d. Is m prime?
True
Suppose y + 4*j - 17 = 5*j, 3*y - 35 = -j. Is y composite?
False
Let x(r) = r**3 - r**2 - 3*r + 2. Let o be x(2). Suppose 0 = -3*i - o*i + 36. Suppose 2*j - i = -2*j. Is j a prime number?
True
Let g be (0 -