ose 0 = -c + 3*o - 7, -5*c + 9 - 32 = -3*o. Let n be -3*113*c/6. Let b = -137 + n. Is b a prime number?
True
Let d be (6/8)/(1/(-20)). Let y = d + 52. Is y prime?
True
Let h = -33 - -98. Suppose 0 = 2*l - 3*l + 2. Suppose -b + h = 5*y + b, -4*b + 10 = l*y. Is y a prime number?
False
Let o be ((-5 - 1) + 1)*-1. Suppose -3*u = -2*w - 0*u + 13, -u - o = -w. Suppose -3*q - w*q + 15 = 0. Is q composite?
False
Let v = 44 - -118. Let r = 455 - v. Is r composite?
False
Suppose 2*o + 6376 = 10*o. Is o prime?
True
Suppose -6*x - 213 + 5067 = 0. Is x a composite number?
False
Let o be (-1)/3 + 24/(-9). Is ((-1 - -255) + o)/1 prime?
True
Let m be (-2)/1 - (1 + -3). Let j be m*(1 + (-1 - 1)). Is 2 + 0 + j + 19 prime?
False
Let f be 8/(-36) + 2/9. Suppose f = 4*l - 9 - 3. Suppose -w + 204 = l*w. Is w a prime number?
False
Let h(g) = g + 4*g**2 + 0*g**2 - g**3 + 0*g**2. Let f be h(4). Is (f/(-8))/((-2)/12) composite?
False
Let o be (-14)/4*(-2 + 6). Let z = o + 3. Let x(y) = y**2 + 9*y. Is x(z) a prime number?
False
Is 90 + (-2)/(-1 - -3) a prime number?
True
Let d = 786 - 479. Is d a prime number?
True
Suppose 2021 = 5*o - 3734. Is o a prime number?
True
Suppose -4*m = -q - 2*q + 12, m = -4*q + 16. Suppose 150 = q*f - 110. Is f prime?
False
Let h(l) be the second derivative of -l**3/6 - 4*l**2 + l. Let g be h(-6). Is 3/(g + 5)*49 prime?
False
Let r(g) be the first derivative of -g**4/4 + 10*g**3/3 - 9*g**2/2 + 5*g - 1. Let k be r(9). Suppose k*n - 58 = 327. Is n a composite number?
True
Let t be 3/(-18) - (-3)/18. Let p(i) = -i + 13. Is p(t) a composite number?
False
Suppose -5*w + 753 = -2*w. Is w composite?
False
Let u be 95/20 + (-1)/(-4). Suppose u*v + o = 96, -5*v - 6 = -o - 100. Is v a prime number?
True
Let z be (-25)/(-10)*(-8)/(-5). Suppose -n - 1347 = -z*n. Is n a composite number?
False
Let r(k) = k**3 + k**2 - k + 87. Is r(0) a composite number?
True
Let o = 1 - -3. Let z = 1072 + -482. Suppose -k + 137 = 4*u, -4*k + o*u + z = -u. Is k prime?
False
Suppose 2*i = 4*a - 6, -6 = -i - a + 3. Let m = 5 - i. Suppose -u = -m*u - 19. Is u prime?
True
Suppose -79 = c - 5*n, c + 3*c + 370 = 2*n. Let v be c/3 - (-4)/(-6). Let y = -11 - v. Is y a prime number?
False
Let z(q) = q + 8. Let h be z(6). Let l = 25 - h. Is l composite?
False
Let u = 116 + 71. Is u a composite number?
True
Suppose 0 = 4*m + 2*o + 2*o - 1132, -m + 3*o = -299. Let s be m/1 - (3 - 3). Let i = s + -160. Is i a prime number?
True
Let l = -3 + 5. Let f be 1762/9 + l/9. Suppose -x - 3*x + f = 0. Is x a composite number?
True
Is (-297)/(-44) - 1/(-4) a prime number?
True
Is ((-196)/6)/(25/(-15) + 1) composite?
True
Let d(z) = 35*z + 22. Is d(3) a composite number?
False
Suppose 0 = 3*d - 3*m - 792, 4*d + 3*m = 6*m + 1059. Suppose -3*r + 207 + d = 3*v, 5*r - 5 = 0. Is v composite?
False
Let b = 3 + 0. Suppose -2*y = -2*d + 110, 0 = -b*d - 5*y + 156 - 23. Is d prime?
False
Let l(j) = j**3 + 7*j**2 + 5*j - 1. Let u be l(-4). Suppose -u = -0*h + 3*h. Is -9*84/h - -1 prime?
False
Let k = 207 + -127. Suppose 52 = 4*y - k. Is y prime?
False
Let c = 658 - 422. Suppose c = s + 3*s. Is s prime?
True
Suppose 4*u - 16 = -0*u. Let p be (-3)/(6/u) - -37. Suppose i = -0*i + p. Is i prime?
False
Suppose -5*i = -3*s - 12, -2*i - 3*s = s - 10. Suppose 0 = i*o - 15 - 18. Is o prime?
True
Let j be (-20)/(-7) + 20/140. Is (53/j)/((-18)/(-54)) composite?
False
Let u(i) = -3*i + 3*i**3 + 10*i - 4 - 8*i**2 - 7 - 4*i**3. Is u(-10) composite?
True
Let n = 3 + 0. Suppose m = -k - 4, -2*k + k = n*m + 8. Is m/(-6) - (-368)/12 a prime number?
True
Let g(z) = 8*z**2 - 6*z - 7. Is g(-2) a prime number?
True
Suppose -127 = 3*y + 2*t, -2*t - 43 = 4*y + 123. Is 3/(-6) + y/(-2) a prime number?
True
Suppose -2*q = -p - 79, p - 3*q = 4*p + 246. Let f = p - -236. Suppose 2*o = -5*d + f, 0 = 4*d + 5*o - 145 + 21. Is d prime?
True
Suppose 289 = 5*o - 366. Is o prime?
True
Let q(u) = -66*u + 5. Suppose -3*m - 42 = 5*a - 1, 2*m - 10 = 2*a. Is q(a) prime?
True
Let i(h) = 5*h - 5. Let z be i(3). Is (1484/(-70))/((-2)/z) a composite number?
True
Let j(z) be the third derivative of -7*z**6/120 + z**5/30 + z**4/8 - 2*z**2. Is j(-2) prime?
False
Let o(w) = -70*w + w**3 - 6 + 75*w + 3*w**2 + 4*w**2. Is o(-5) composite?
False
Suppose 0 = g - 2*g + 141. Suppose 0 = u - 2*u + g. Is u prime?
False
Suppose -4*u + 41 = -2*l + 115, l + 2*u = 37. Is l composite?
False
Let r(x) = -3*x + 1. Let o be r(-6). Let z be (o/2)/((-2)/(-4)). Let p = -6 + z. Is p composite?
False
Let q be 1 + 0 + 12/6. Suppose 201 = q*p + k, 3*p - 5*k = -k + 201. Is p composite?
False
Suppose -5*x - 43 = -2*p, p + 4*x = 1 - 12. Let d be 1308/54 - 2/p. Is 76*-2*(-9)/d composite?
True
Suppose -8*k + 1021 = -9755. Is k prime?
False
Let w be (-1)/(-5) - (-96)/20. Let f = w - -30. Is f a prime number?
False
Is 2148/10 - (-2)/10 a composite number?
True
Let s be (3/2)/((-9)/(-12)). Let p(g) = -3*g**3 + 1 - 2*g**2 - g + 4*g**2 + 12*g**3. Is p(s) composite?
False
Suppose 24 - 9 = 3*d. Suppose d*i - 640 = -5*o, -4*i + 2*o + 89 + 453 = 0. Is i a composite number?
True
Let y = -798 - -1567. Is y a composite number?
False
Is 13/(-3 - 34/(-11)) composite?
True
Suppose 2*h - 7*h = -1055. Is h prime?
True
Let d = -54 - -92. Is d composite?
True
Suppose -4*b + 2*h + 96 + 164 = 0, 4*b - 288 = -5*h. Suppose -b = 5*q + 93. Let g = q + 97. Is g a prime number?
False
Let f(t) = 5*t. Let o(i) = 25*i**2 + 175*i. Let k(r) = -175*f(r) + 5*o(r). Let z be k(1). Suppose 4*p = -p + z. Is p a composite number?
True
Let p(q) = -q**3 + 10*q**2 - 16*q + 4. Let r be p(8). Let a(i) = -i**3 + 2*i**2. Let m be a(2). Suppose -r*j + 5*h + m*h = -117, -41 = -2*j - h. Is j composite?
False
Let u = 137 + -22. Is u prime?
False
Let v(k) = k**2 + 2*k + 2. Let w be v(-2). Let d be (w/(-3))/(4/(-372)). Is 1*(-2)/(-4)*d composite?
False
Let h = 1 + 3. Let m(x) = x**3 - 4*x**2 + 3. Is m(h) a prime number?
True
Suppose 97 = 2*z - 31. Suppose 5*m + z = 669. Is m prime?
False
Let n = -4 - -5. Let s = n + -3. Is (4 + s - -9) + -2 composite?
True
Let g(l) = 31*l**2 + 3. Is g(2) a prime number?
True
Suppose -4*m + o + 2*o = -50, -3*m + 2*o = -38. Is m a composite number?
True
Suppose 0 = -t + 6 + 24. Suppose 4*b + 20 = 3*b - 5*j, b = 5*j + t. Suppose -3*p + x + x = -35, -5*p - b*x = -25. Is p a composite number?
True
Let d = 2782 + -1733. Is d a composite number?
False
Let c = 3033 - 1376. Is c prime?
True
Suppose 5167 = 14*m - 1147. Is m a composite number?
True
Let l = -8 + 5. Is ((-5)/l)/(2/534) prime?
False
Let u = 2385 - 1546. Is u composite?
False
Let b(a) = a**3 + 3*a**2 - 4*a. Suppose 3*r + 4 = 2*r. Let u be b(r). Suppose -4*f + 3*n - 24 = -148, 3*f - 3*n - 93 = u. Is f prime?
True
Suppose 3*t + 0*t - 62 = 5*q, -5*q = -5*t + 70. Let z = 8 + q. Is ((-204)/18)/(z/6) a prime number?
False
Let k(a) = a + 4. Let z be k(5). Suppose -2*v - n + 8 = 0, 2*n - 4*n - z = -v. Suppose 3*m - t - 29 = 32, 4*t = -v*m + 79. Is m a composite number?
False
Let s(z) = -7*z + 4. Let x be (-3)/(-9) + 44/(-6). Is s(x) composite?
False
Suppose 5*v = 3 + 12. Suppose -2*k + 149 = v*x, k - x = 12 + 50. Is k prime?
True
Let t(z) = -z**3 - 12*z**2 - 16*z - 9. Is t(-11) prime?
False
Suppose 2*m = -5 + 19. Suppose 0 = y + l, -5*y + 5*l + 0 + 20 = 0. Suppose -y*h = -m*h + 255. Is h a composite number?
True
Suppose 4*y + 2*m = 6, 0 = y + 4*m - 0*m + 16. Let p = y + -10. Is (-71)/(1*3/p) composite?
True
Let n(a) = a**2 - 6*a + 4. Let p be n(6). Let x be ((-186)/(-9))/((-4)/(-30)). Is x/3 + p/(-6) a composite number?
True
Let s(d) = 2*d**3 - 3. Is s(7) composite?
False
Suppose 4*q - 3*q + c - 108 = 0, 4*c - 20 = 0. Is q a prime number?
True
Suppose 0 = -14*j + 18*j - 644. Is j prime?
False
Let j = 2 - 2. Let b = 33 - j. Is b a prime number?
False
Let b = -62 - -141. Is b a prime number?
True
Let g be ((-12)/20)/((-2)/10). Is 1 - (-3 + g) - -33 prime?
False
Let n = -150 - -785. Is n prime?
False
Let b = -9 + 13. Suppose -2*u - 2*u + 360 = 0. Suppose 201 = 5*g + 2*t, -u - 63 = -b*g + t. Is g a composite number?
True
Let f = 12 - 9. Suppose 716 = f*i + i. Is i a prime number?
True
Let a(n) = -8*n - 6. Let b be a(5). Let i = 65 + b. Is i prime?
True
Let g(c) = -28*c**2 - 4*c + 1. Let z be g(5). Let y = z + 1050. Is y a composite number?
False
Suppose 5