s l(4) prime?
False
Let j = 1 + 2. Suppose 2*s = -j*s + 215. Is s prime?
True
Let g be (-10)/45 - 7/9. Let o(q) = -468*q**3 - q**2. Is o(g) a composite number?
False
Suppose -v = 3, 3*v = -5*c - v + 1283. Is c composite?
True
Let s(f) = -4*f - 2. Let q be s(-2). Suppose -a = 0, -q*z = -z - 4*a - 40. Suppose 4*p - 2*y = 3*y + 130, -z = -4*y. Is p a prime number?
False
Let r(q) = -60*q - 7. Let o be r(-6). Let m = o - 189. Suppose -m = -2*z + i + 151, i + 780 = 5*z. Is z composite?
True
Let o(v) = 70*v**2 - 1. Let j be 6/(-4)*2/3. Is o(j) prime?
False
Let r = 2 - -1. Suppose 0 = 2*p - 5*p + r*l + 165, -4*p = 4*l - 204. Is p a prime number?
True
Suppose 0 = -5*p, 3*k - 1758 = k - p. Is k prime?
False
Let a(l) = -l**2 - 2*l + 4. Let q be a(6). Let y = q - 2. Let x = -27 - y. Is x a composite number?
False
Suppose -3*p = -2 - 7. Suppose 2*s - 159 = -3*k - s, p*k = -2*s + 156. Suppose -x = -d + 4*d - k, 2*d + 6 = 0. Is x composite?
False
Let q(p) = -356*p + 19. Is q(-3) a prime number?
True
Suppose -4*m = 20, 2*y = -2*y + m - 3. Let s(u) = -15*u - 4. Is s(y) composite?
True
Suppose -v + 54 + 73 = 0. Is v a prime number?
True
Suppose 4*z = -4*a + 2 + 2, 3*z - 12 = 0. Let r = a + 7. Suppose -8*k + 3*k - 42 = -2*l, 4*l - 108 = r*k. Is l a prime number?
True
Let z(h) = h**2 - 4*h + 6. Let f(t) = -t**2 - 5*t - 1. Let c be f(-5). Let s = 3 - c. Is z(s) prime?
False
Suppose 0 = l - 2*l. Is l - ((-79)/1)/1 composite?
False
Let b be 47*13*(6 - 8). Let s = -725 - b. Suppose -3*v + s = 2*u, -2*v = -0*v - 5*u - 306. Is v prime?
True
Let k(d) be the second derivative of 0 + d**2 + 5/6*d**3 + 5/6*d**4 + d. Is k(-3) a prime number?
False
Suppose -4*u + 10 + 14 = 3*r, 3*u = 2*r + 18. Is (20/u + 3)*9 prime?
False
Let p be (-2 - -4) + 9 - 1. Let u = 36 - p. Suppose 0*o - z - u = -o, -165 = -5*o - 2*z. Is o prime?
True
Suppose 2*l = g - 4 - 3, l = -5*g + 79. Suppose -3*m + 0*m - g = 0. Let v(j) = j**2 - j - 4. Is v(m) composite?
True
Let z = 2614 + -1491. Is z composite?
False
Suppose -11*w + 14*w - 1341 = 0. Is w a composite number?
True
Suppose -4*s + 22 = -5*d, 2*d + 1 + 0 = -s. Let j be s/15 + 13593/(-15). Is j/(-26) - (-4)/26 prime?
False
Suppose v = -v - 14. Let r be (0 - 1)*(v - -4). Let z(y) = 36*y + 1. Is z(r) a prime number?
True
Let u(a) = -2*a - 9. Let l be u(-6). Suppose -l*o = 2*o - 75. Is o a composite number?
True
Let j = 11 + -8. Suppose -j*x = -3*z + 213 - 2430, 5*z = -3*x + 2201. Is x prime?
False
Let s(p) = 10*p**2 - 5*p - 2. Suppose 0 = 2*k - 0*k + 6. Is s(k) composite?
False
Let s be (-1 + -3 + 3)/(-1). Let i be (2 - s)*(-1)/(-1). Is i/(-2) + (-1002)/(-12) composite?
False
Is (0 + -293)*(2 - (-2 - -5)) composite?
False
Let u(r) = 12*r + 11. Is u(7) prime?
False
Let f(c) = -5*c**3 - 11*c - 7. Is f(-5) a prime number?
True
Let a(o) = -190*o + 13. Let n be a(-4). Suppose 5*r + 138 - n = 0. Is r composite?
False
Is ((-2)/(-3))/(34/3009) prime?
True
Let m = -79 + 152. Let p = m + -36. Is p a composite number?
False
Let y(l) = l - 2. Let d be y(6). Suppose 456 = f + 2*f. Suppose d*b - f = 236. Is b composite?
False
Suppose -11*w = 3*w - 32102. Is w a prime number?
True
Is 358/(-1 + (-52)/(-44) - 0) a composite number?
True
Suppose 0 = 15*s - 19*s + 1052. Is s a composite number?
False
Suppose -4*d + 931 + 1233 = 0. Is d composite?
False
Suppose 2*h - 1 = 3. Suppose -3*s + o = -16, 5*s + 16 = 6*s - 3*o. Suppose h*r - s*r + 74 = 0. Is r prime?
True
Let v(f) = -f**3 - 7*f**2 - 5*f - 9. Is v(-8) composite?
True
Suppose -5*w = 3*l + 106, -12 = w - 4*l - 0. Let x = -13 - w. Is x a prime number?
True
Let a(o) = -34*o + 33*o - 84*o**2 + 292*o**2. Is a(-1) composite?
True
Let m = 1271 - 500. Is m composite?
True
Suppose -h = 4*h - 70. Is h prime?
False
Let h(r) be the second derivative of -7*r**5/60 + 7*r**4/24 + r**3/6 + 4*r. Let a(k) be the second derivative of h(k). Is a(-6) a prime number?
False
Let y(x) = 14*x - 2. Suppose 6 = 3*i, -5*k - 2*i = i + 4. Let q be y(k). Let v = q + 67. Is v prime?
True
Suppose -b + 12 = 2*q, q - 4*q = -b - 28. Suppose -2 = -u + 2*v, v = -3*u + q + 33. Suppose 3*x - 98 = -5*z, -u = -2*z + 3*x + 23. Is z prime?
True
Let d be 0/((-6)/(-2 - 0)). Suppose i - 2*i + 10 = d. Is i a composite number?
True
Is 387 - (-3 - -1)*2 composite?
True
Let m be (-8215)/(-25) + (-2)/(-5). Suppose k = -q + m, 2*k = 5*q - 0*q + 658. Suppose -324 = -2*u - 2*t, -2*u + 4*t = 5*t - k. Is u a composite number?
False
Let n be (-10)/(-2) - (-1 + 2). Suppose 24 = -7*p - 46. Let v = n - p. Is v a composite number?
True
Let x = 2177 - -434. Is x a composite number?
True
Let u(o) = -428*o - 1. Let z be u(-6). Suppose 3*m = 2*r - 1273, 4*r + 0*r + m - z = 0. Is r prime?
True
Suppose v + 3*f + 5 = -f, 2*v = 5*f + 16. Let q = -1 - -2. Is (15 - v) + q + 0 composite?
False
Let s be (-436)/4 - (3 + -5). Let q = 294 + s. Is q composite?
True
Let y be ((-4)/6)/((-1)/3). Suppose x + x + 24 = 0. Is (y/4)/((-1)/x) a composite number?
True
Suppose -744 = -5*k + 246. Is (-36)/k - 3282/(-22) a composite number?
False
Suppose -3*v + 3 = -j, 0 = -0*j + 4*j - v + 1. Suppose y - 8 - 19 = c, j = -4*c - 4*y - 84. Let h = -13 - c. Is h a prime number?
True
Suppose 5*s = 168 + 997. Is s a prime number?
True
Suppose -1535 = 2*g - 7*g. Is g prime?
True
Is -3 + ((-1)/2)/((-5)/4220) prime?
True
Let c(m) = 19*m**2 - m + 7. Let h be c(-5). Suppose 2*u = 4*z + u - h, 3*z - 349 = 4*u. Is z a prime number?
False
Suppose -5*s = -2*v + 73, s - 100 = -2*v - 33. Suppose -3*m - c - 4*c = -v, -5*c = -m + 18. Is m prime?
True
Let q be (-2)/(-7) - 876/(-21). Let d = 11 + q. Is d prime?
True
Let k(p) = p + 13. Let z be k(-9). Let o(i) = 2*i - 3 - z*i - 6*i. Is o(-5) composite?
False
Let z = -2890 + 4893. Is z prime?
True
Let k(r) = r**3 - 8*r**2 - 3*r. Let m(x) = -x**3 + 7*x**2 + 2*x + 1. Let s(i) = 3*k(i) + 4*m(i). Let y be s(4). Is 26/6*(y - -9) a composite number?
True
Suppose 4*a - a - 5*m - 31 = 0, 2*a = 5*m + 29. Suppose -68 = -0*f - a*f. Is f a prime number?
False
Let c(u) = 817*u**2 + 5*u - 4. Is c(2) prime?
False
Let h = -239 - -604. Is h a composite number?
True
Let w = 363 - 34. Is w prime?
False
Suppose 3*h + 1 = 4*q, 5*h - 8 = -2*q - 1. Let a(z) = 82*z**3 + 1. Is a(h) a composite number?
False
Suppose 0 = -5*d + d + 1060. Is d prime?
False
Let k be 30/5*5/(-3). Let h be (876/k)/((-2)/10). Suppose -2*q + 189 = -10*i + 5*i, -5*q + i = -h. Is q a composite number?
True
Let i = 111 + -12. Let s(q) = 35*q + 2. Let g be s(-2). Let h = i + g. Is h a prime number?
True
Let l be (3 - 3) + -2 - 3. Let t(z) = 37*z - 5. Let j be t(l). Let r = 303 + j. Is r a prime number?
True
Suppose 2*z = -2*z - 20. Let p(c) = 3*c**2 - 5*c + 4. Let f be p(z). Suppose -q - 5*i - f = -5*q, -5*q + 4*i = -121. Is q prime?
False
Suppose 3*t + 189 = f, -5*f + 0*t + 1017 = 3*t. Let a = -56 + f. Is a a composite number?
True
Let a be 1/3 - (-4)/6. Let w(t) = t. Let m(n) = n - 1. Let k(s) = a*m(s) + 6*w(s). Is k(1) a composite number?
True
Let x = -11 + 8. Let m(w) = w**3 + 6*w**2 + w - 2. Is m(x) prime?
False
Suppose -4*u - 5*y = -24, 24 = 4*u - 0*y + 2*y. Suppose 0 = 8*o - u*o - 164. Is o a prime number?
False
Suppose 233 = 3*w - 34. Is w prime?
True
Suppose x = -2 - 1, -5*x = 4*b + 15. Is -1 + b + 0 + 110 a prime number?
True
Suppose -2*n + 11 = -m, -32 = -5*n + n + 4*m. Let q(d) = -3*d - n*d + 6*d - 35*d**3 + d. Is q(-1) a prime number?
False
Suppose 4*o - 2*s + s - 21 = 0, -4*s = -4*o + 36. Suppose -4*h = o*q - 432, 0*q = -4*h + 3*q + 453. Is h composite?
True
Let i be (2/(-4))/(5/(-530)). Suppose 0 = -2*r - 4, 618 = v + r - i. Is v a composite number?
False
Suppose -4*x - 2*c + 2692 = -c, 0 = -4*c. Is x composite?
False
Let t be (3/(-1))/(3/(-547)). Suppose 424 = 4*c - 3*g - 2*g, -5*c + 2*g = -t. Is c prime?
False
Suppose -2*d + 6*d - 20 = 0. Suppose -d*g + 0*g = -15. Let o = g + 8. Is o composite?
False
Let z = -18 - -22. Let o be 3/6 - 18/(-4). Suppose -o*t + 1 = 2*g - 21, 0 = z*t - 2*g - 14. Is t prime?
False
Let s(i) = -i**3 + i**2 + i + 4. Let y be s(0). Let t(u) = -u**3 + 6*u**2 - 4*u + 5. Is t(y) a prime number?
False
Let a(i) = i**2 - 7*i - 9. Let f be a(-7). Let g = -30 + f. Is g a prime number?
True
Suppose 0 = -0*b + 2*b + 4. Let q be -1 - (-1 + 0) - b. Suppose -q*p + 34 = 8. Is p a prime number?
Tru