
Let n = 13 + 71. Let j = 31 + n. Is j a prime number?
False
Suppose -w + 3*o + 200 = -0*o, -4*w = o - 813. Is w prime?
False
Let y = -29 - -8. Suppose -2*v = 2*g + 2 + 132, 4*v + 268 = -g. Let a = y - v. Is a a composite number?
True
Let l(c) = -c + 345. Let r be l(0). Is (6/(-18))/((-1)/r) composite?
True
Suppose 5*y = 15 + 90. Is y prime?
False
Let a(d) = -d**2 + 5*d. Let v be a(5). Suppose -t - 4*i = 2*t - 182, -2*i + 4 = v. Is t a composite number?
True
Let o be 9/15 + 1333/(-5). Is 1 + 0 - (4 + o) prime?
True
Let i = -174 + 305. Is i a prime number?
True
Let i(w) = -w**3 + 7*w**2 + 4*w - 5. Is i(-6) a composite number?
False
Suppose 0*j + 4*j = 204. Suppose 0 = 4*c - j - 85. Is c prime?
False
Let f(b) be the third derivative of b**4/24 + 11*b**3/3 + b**2. Let v be (-3 + 2 + 0)*0. Is f(v) a composite number?
True
Let v be (2/(-4))/((-1)/(-6)). Let s(l) = -l**2 - 3*l + 2. Let p be s(v). Suppose -p*j = j - 159. Is j prime?
True
Suppose -m + 6 = 4*p - 3*m, 2*p + 5*m - 21 = 0. Suppose p*d + 0*d - 924 = 0. Let l = -202 + d. Is l composite?
True
Let j(b) = -b + 13. Let a be j(0). Let u = a + 114. Is u composite?
False
Let y(z) be the third derivative of -7*z**4/24 - 7*z**3/6 + 3*z**2. Is y(-6) composite?
True
Suppose -7164 = 4*w - 0*w. Let k be (w/(-6))/3*2. Suppose 4*j + x - k = 18, -3 = x. Is j a composite number?
True
Suppose h + 3*o - 211 = 0, 2*h + 3*h - o = 991. Is h prime?
True
Suppose -2*f - 3*k = 12, 5*f - k = 2*f + 4. Let z(b) = b + 109. Is z(f) composite?
False
Suppose -l + 24 = -4*o, 3*l - 4*o - 111 = -31. Suppose 2*b = 3*b - l. Suppose 0*i - 4*i = -b. Is i a prime number?
True
Let q(g) = -4*g - 3. Let t be q(-2). Let h(j) = j**2 - 4*j - 1. Let n be h(t). Suppose 5 = -n*y + 45. Is y a prime number?
False
Suppose -3*l + 3*i - 15 = 0, 4*i = -4*l - 28 - 0. Suppose -76 = -0*t + 4*t. Let h = l - t. Is h a prime number?
True
Suppose -5*w = -b, 0 = -3*b - w + 3*w + 13. Suppose b*q - 3 = -18. Is q/(-2)*(74 - 0) a composite number?
True
Let i be (-2)/8 - 164/(-16). Suppose -9 - i = -m. Is m composite?
False
Let z = 35 - -14. Is 270/14 - 14/z prime?
True
Suppose 0*c - 46 = c. Suppose -5*l - 4*y - 46 = 0, 4*l = y - 15 - 26. Is c/8*(6 + l) a prime number?
True
Suppose 141 + 141 = 3*x. Is x a prime number?
False
Let x = 1437 - 850. Is x prime?
True
Is 3/(15/(-2)) - 11714/(-10) a prime number?
True
Is ((-633)/(-12))/(4/16) a prime number?
True
Let s(m) = -8*m + 6. Let j(o) be the third derivative of -o**6/120 + 3*o**5/20 - 5*o**3/6 - 2*o**2. Let u be j(9). Is s(u) prime?
False
Is 32/48 + 520/(-3)*-4 a composite number?
True
Suppose 0 = -4*j - 2*u + 54586, -36099 = -2*j + 4*u - 8781. Is j a prime number?
True
Let r(w) = 5*w**3 - 8*w**2 - 10*w - 2. Let d be r(7). Suppose d = f + 2*f. Is f a composite number?
True
Suppose 0 = 5*o - 3 - 32. Let r(y) = -y**3 + 8*y**2 - 2*y - 1. Let d be r(o). Let x = d - 9. Is x a prime number?
False
Suppose -690 - 286 = -4*c - 4*k, 4*c - 5*k - 1021 = 0. Suppose 2*n = 5*n - c. Is n a prime number?
True
Let q = 132 - 741. Let u = q + 902. Is u a composite number?
False
Let m(l) = -l**2 + 2*l + 2. Let y(g) = -g - 1. Let s(q) = m(q) - 3*y(q). Let v be s(5). Suppose v*i - 98 - 77 = 0. Is i prime?
False
Let y(s) = -304*s - 85. Is y(-6) a composite number?
True
Suppose 20 = 5*p, 1570 = -l + 3*l + 3*p. Is l composite?
True
Let t(i) = -240*i**2 + 7*i. Let w(g) = 239*g**2 - 6*g. Let b(y) = 5*t(y) + 6*w(y). Is b(-1) a composite number?
True
Suppose 3*o = n - 3*n + 220, 282 = 4*o - 3*n. Suppose 0 = -2*q - q + 4*z + 181, 0 = q + z - o. Is q composite?
False
Let s(z) = z**3 + z + 10. Let i be s(0). Suppose -5*c + 4*h + 34 - 9 = 0, 6 = -c + 3*h. Let r = i + c. Is r a composite number?
False
Suppose -4*c = -l - 15, 0*l - 2*c + 15 = l. Suppose 4*z = x - 66, -86 - 134 = -l*x - 2*z. Is x prime?
False
Let v(z) = -z**2 - 6*z - 6. Let f be (-4)/18 - (-34)/(-9). Let r be v(f). Suppose 3 + 39 = r*l. Is l a prime number?
False
Let q = 10 - 19. Let c(m) be the second derivative of m**4/6 + 2*m**3 + 5*m**2/2 - 9*m. Is c(q) composite?
False
Let z = -3 - -8. Let t = z - 3. Suppose t*w - 250 = 4*k, 3*w = -2*w + 5*k + 640. Is w prime?
True
Suppose 4*b - 8*b = 4*i, -i = -3*b + 20. Suppose -7 = -b*l + 6*s - 2*s, 4*l = -5*s + 22. Suppose l*u = u + 42. Is u prime?
False
Suppose -w + 24545 = 5*p, 4*p - 18018 = -4*w + 1618. Is p prime?
True
Suppose -34*b - 36 = -33*b. Suppose -4*m - 41 = 27. Let h = m - b. Is h a prime number?
True
Let q(r) be the second derivative of 4*r**4/3 - 2*r**3/3 - 5*r**2/2 + 3*r. Is q(4) composite?
True
Let b be (-2)/1 + 1 + 11. Suppose b*a = 7*a + 789. Is a composite?
False
Suppose 20 = 4*m - 0. Suppose 3*d - m*n = 80 + 54, 5*n = 4*d - 187. Is d prime?
True
Suppose 3*x + 5*v - 29 = 0, -4*v = -0*x - 2*x + 12. Suppose 15 = -5*t, -2*t - 1161 = -2*b + 3*t. Is (-2)/x - b/(-4) composite?
True
Let h = 3 + 1. Suppose 315 = 5*y + 2*v, -2*y - v - 178 = -5*y. Suppose 0*c - m + 83 = h*c, -3*c + y = 2*m. Is c prime?
False
Let f(y) = 50*y**2 + y - 1. Let v be 5 - (-1 - -3) - 1. Is f(v) a composite number?
True
Let v(a) = -119*a**3 - a**2 + 1. Let z(l) = -l + 8. Let k be z(9). Is v(k) a prime number?
False
Suppose 691 + 415 = 2*u. Let v = -258 + u. Is v a prime number?
False
Suppose -73 = -t + 97. Is (28/(-35))/((-4)/t) a composite number?
True
Let q = -9 + 8. Is 93/(-6)*2*q a prime number?
True
Suppose -765 = -2*w - p, -3*w - p - 3*p + 1155 = 0. Is w a composite number?
True
Let p(z) = -3*z + 6. Let f be p(5). Let k(n) = 2*n**2 + 12*n + 1. Is k(f) prime?
False
Suppose -59*d + 178 = -57*d. Is d prime?
True
Suppose 2*u - 42 = -0*x + 2*x, -4*x - 100 = -5*u. Suppose 2*z = u + 120. Suppose -4*r + z = -2*r. Is r composite?
True
Is 1403 + 1 + 6 - (0 + 1) a composite number?
False
Let p(x) = -x**3 + 11*x**2 - 9*x + 9. Let y = 11 + -7. Let s = 6 + y. Is p(s) prime?
True
Is (-1 + -2 - -51) + 1 a prime number?
False
Is 186 + (12/(-4))/1 a prime number?
False
Let a be (-4)/(-1) + (2 - 1). Suppose 3*r - 157 = 4*u, r - 37 = -a*u + 47. Is r prime?
True
Let u be (-3)/(-15) + 104/(-20). Let o = 5 - u. Is o a composite number?
True
Let t(i) = -27*i + 10. Let m be t(-9). Let q be m/(-1)*3/(-3). Suppose 0 = -4*d - 16, -7*d + 2*d = 3*w - q. Is w prime?
False
Suppose 3*q - 3*i - 156 = 0, 3*i = -6*q + q + 292. Suppose -o + 0*o = -q. Let v = o + -34. Is v a composite number?
True
Suppose -k - 3*k - 313 = -m, -4*k - 899 = -3*m. Is m composite?
False
Let i(r) = r - 2. Let n be i(6). Suppose 3*g + 5*c = g - 22, 3*g + 19 = -n*c. Is g/((-1)/3) + 74 prime?
False
Suppose -4 = -3*v + 2. Let i be (1 - 0)*(-74)/(-1). Suppose 2*c - 3*u - 89 = i, -3*c + 225 = v*u. Is c prime?
False
Let h be 0 + 1 + 7 + 3. Suppose -h + 45 = k. Is k prime?
False
Let x(m) = m**3. Let l be x(1). Let p = 6 - l. Suppose 4*q - 349 = 3*d, p*q = 3*q + d + 177. Is q a composite number?
True
Suppose 0*i + 3*i - 12 = 0. Is i a prime number?
False
Suppose -4*j + 145 = -3*j. Is j a prime number?
False
Let l be 0 + -2 - (-1 + 2). Let n be (-1)/((l/(-24))/1). Is (62/8)/((-2)/n) a prime number?
True
Suppose -2*j - 4*k + 386 = 0, 0*k = -2*j + 4*k + 378. Is j a composite number?
False
Let w(d) = -14*d - 1. Let z be w(-4). Let a = z + 19. Is (a/(-8))/((-3)/12) composite?
False
Suppose -a = 2*g - 442, -3*g = 3*a - 2*a - 440. Is a a prime number?
False
Let t be (-497)/(-4) + (-11)/44. Suppose -3 = 4*o + 17, 3*o - t = -a. Is a a prime number?
True
Let o(a) = a**2 - a + 161. Let u(f) = -4*f**2 + 5*f - 643. Let p(h) = 9*o(h) + 2*u(h). Let c = 0 - 0. Is p(c) a composite number?
False
Suppose 11 - 968 = -j + 3*t, 2*t = 5*j - 4759. Is j a composite number?
True
Let h be 18*3/27*3. Let p be (5 - h)*0/(-1). Suppose 2*a = 4*a + 2*i - 100, 4*a - 2*i - 182 = p. Is a a composite number?
False
Suppose g - 11 = -2. Suppose l = 3*f - 7*f + 348, 3*f - 2*l - 250 = 0. Suppose -5*m + f = -g. Is m a prime number?
True
Is ((-3 - -2) + 48)*2 a prime number?
False
Suppose 0 = -4*d + 12, c + 0*c - 22 = -5*d. Let g = 9 - c. Is g/(-10) + 36/5 a prime number?
True
Suppose 0 = 3*m + 2*a - 9760, 2*m + 7*a - 6505 = 4*a. Is m composite?
True
Suppose -8*s = -3*s - 555. Suppose 4*x + s = 7*x. Is x a prime number?
True
Suppose 2*h - 5058 = 4506. Suppose h = 4*p + 2*p. Is p a prime number?
True
Suppose 5*x = 4*h - 41 - 17, -4 = 2*x. Is 2/h + (