6*a. Is (-1143)/(-2)*6/a prime?
False
Suppose -21*m = -23*m + 382. Is m composite?
False
Suppose 1825 = 5*z - 220. Is z prime?
True
Let n(q) = 29*q - 1 + 23*q - 3*q. Let d be n(4). Suppose 0 = -2*c - c + d. Is c prime?
False
Let m = 8 + -4. Let t = m - 4. Suppose 3*s - 133 = -a, -5*a + 639 = 2*s - t*s. Is a a prime number?
True
Let q(i) = 2*i**2 + 2*i - 3. Let s = -2 - -4. Let t be q(s). Is (-4)/(-18) - (-1411)/t prime?
True
Suppose 2*n - 5*n = -477. Suppose 0*y = -y + n. Is y prime?
False
Suppose -112 = 2*w - 4*w. Suppose -5*u + w + 54 = 0. Is u composite?
True
Let o(n) = -n - 3. Let r be o(-5). Let v(s) = -r + 0 - 80*s + 1. Is v(-1) prime?
True
Let l(n) = n**3 - 5*n**2 - n - 7. Let c be l(5). Suppose -5*b + 3 - 9 = m, 0 = -4*b. Let t = m - c. Is t prime?
False
Let o = -25 - -18. Suppose 5*u - 205 = -5*j - 35, -5*u = -j - 146. Let m = o + u. Is m prime?
True
Let i = 0 + 1. Let q = i + 2. Suppose -q*s = -u + 14, -s + 94 = 3*u + 3*s. Is u a composite number?
True
Suppose -4*f + 340 = -0*f. Let m = -26 + f. Is m prime?
True
Let f be ((-14)/(-4))/(5/(-10)). Let o(k) = -k**3 - k**2 - k - 8. Is o(f) a composite number?
False
Let m(v) = 51*v + 4. Suppose 2*f + 0 = -2*b + 6, -4*b = 2*f - 6. Is m(f) a prime number?
True
Let x(c) be the first derivative of c**4/4 - 5*c**3/3 - 3*c**2 + 7*c - 3. Let p be x(6). Suppose -4 = j, 0 = -5*d - p*j + 4*j + 453. Is d prime?
False
Suppose -5*y + 15 = 0, 5*y = -0*n + 2*n - 17. Suppose -n*m + 235 = -11*m. Is m composite?
False
Is 5/((-80)/(-28))*52 a prime number?
False
Let m be (-1501)/(-4) + (-2)/8. Suppose m = 5*i + 4*h + h, -4*h + 221 = 3*i. Is i a composite number?
False
Suppose 0*i - 12 = -3*i. Let d = -2 + i. Suppose -3*l + d*n = -69, -2*l = -l + 4*n - 23. Is l prime?
True
Let m(k) = -12*k**3 - k**2 - 1. Let l(h) = 11*h**3 + 2. Let o(s) = -2*l(s) - 3*m(s). Suppose -3*v + 3 = -3. Is o(v) prime?
False
Let t(j) = 5*j**2 - j - 1. Let f be t(-1). Suppose 0 = -n + f*o + 613, 2*n + 0*o - o = 1244. Is n a composite number?
True
Let j be (-2)/4 - 7/(-2). Let k(s) = s**3 - s**2 + 3*s - 4. Is k(j) a prime number?
True
Let t = -3 - -3. Suppose 0 = -6*v + v + 3*k + 89, t = k - 2. Is v a prime number?
True
Suppose 3*f + 2*k - 5 = 0, 5*k + 0 + 50 = 5*f. Suppose 0 = -4*q + w + 42 + 1231, f*w - 926 = -3*q. Is q a composite number?
False
Let w(h) = 10*h**2. Let i be w(-1). Suppose 283 + i = n. Is n a prime number?
True
Let o(b) = -b**2 - b. Let l(v) = 9*v**2 + 9*v - 7. Let c(s) = l(s) + 6*o(s). Is c(-6) composite?
False
Let g be -3 + 2 + 0 - 1. Is 1*(-104)/g - -1 a composite number?
False
Suppose 716 = 3*t + t. Suppose o = -0*o + t. Is o a prime number?
True
Suppose -6*r + 5*r = 0. Let t = 3 + 2. Suppose r = -t*u - 2*v + 265, 4*u + u = -v + 265. Is u composite?
False
Let n = 7 + -4. Let p be (-304 - n)/(-1 + 0). Suppose 5*s - 28 = p. Is s composite?
False
Suppose 4*j - 468 = 472. Is j a prime number?
False
Let h be (12/10)/(4/40). Suppose 6 = i + 6*n - 3*n, -n - h = -2*i. Suppose -4*f = 3*v - i*f - 20, 32 = 5*v - 2*f. Is v composite?
True
Suppose i - 5 = 6*i. Is 3/(6/32) + i a prime number?
False
Suppose 0 = -0*k - 5*k - 195. Let c = 250 + k. Is c a composite number?
False
Let y = -160 - -42. Let w = y - -167. Is w a prime number?
False
Suppose -2*z = 2*n - 1596, 0*z = -3*z + 3. Is n composite?
False
Let g = -1 - -4. Let d be 26/g*(-3)/(-2). Suppose -2*s = d - 87. Is s prime?
True
Let k = -213 - -1004. Is k composite?
True
Let g = 15 + -11. Suppose 0*c = -g*c + 2976. Suppose 5*i - c = f, 3*f - 684 - 64 = -5*i. Is i a composite number?
False
Suppose 0*k + 2041 = 5*w - k, 2*k - 8 = 0. Is w prime?
True
Suppose k + 3*k = x + 18, 0 = 5*k - 15. Let a be x/10 - 7384/10. Let n = -518 - a. Is n prime?
False
Suppose 2*r = 4*r - 14. Let k = 11 - r. Is (382/k)/(2/4) a composite number?
False
Let h(s) = -36*s - 61. Let k(o) = 7*o + 12. Let y(f) = 2*h(f) + 11*k(f). Is y(5) a composite number?
True
Let o = -616 - -1014. Is o prime?
False
Let w(g) = 9*g**2 - 7*g + 3. Is w(-7) prime?
False
Let d(f) = 4*f**3 + 5*f**2 - 6*f - 1. Is d(3) a prime number?
False
Suppose -4*m + 8 + 100 = 0. Let w = 9 + -3. Let c = m - w. Is c prime?
False
Let p(i) = 3*i**3 - 11*i**2 - i + 29. Is p(8) composite?
False
Let o(p) = 5*p**2. Let y be o(-1). Suppose -5*t - y*v + 575 = 0, 5*v + 299 = 3*t - 46. Is t a composite number?
True
Let w = -659 + 1273. Is w prime?
False
Let u = 320 - 206. Suppose -4*z + 250 + u = 0. Is z a prime number?
False
Let v(d) = -2*d - 2. Let p be v(-3). Let x be (-3 - -1)/(p/2). Is 74/4 + x/(-2) a prime number?
True
Suppose -v = -258 - 461. Is v a composite number?
False
Suppose 1031 = 4*i + t, i + 2*i - 5*t = 756. Is i a prime number?
True
Suppose -4*f + 942 + 778 = 4*i, -f + 438 = -3*i. Suppose c - f = 473. Is c prime?
False
Let h = -19 - -71. Let c(z) = z**2 + 15*z + 31. Let p be c(-13). Suppose -36 - h = -3*y + p*t, 3*y - 3*t - 90 = 0. Is y a composite number?
False
Let u = -273 + 836. Is u a prime number?
True
Suppose -5*w - 968 = -3*z, z - 3*z + 2*w = -652. Is z composite?
False
Let o be (20 - 1)*1*31. Suppose -6*y = -5*y - 7. Suppose -3*l + d - 479 = -y*l, 2*d = 5*l - o. Is l a composite number?
True
Let h = 1844 - 567. Is h a prime number?
True
Let q(k) = k**3 + 3*k**2 + 15*k. Is q(13) prime?
False
Is (-9222)/(-30) + 2/(-5) a composite number?
False
Let t(a) = 31*a**3 + 2*a**2 + 9*a - 11. Is t(4) a composite number?
True
Let q = -59 + 173. Suppose 5*w - q = 3*w. Is w a composite number?
True
Let k = 88 - 42. Is k a composite number?
True
Let o = 2 - -1. Suppose -24 = -o*h + 2*h. Let g = 43 - h. Is g a prime number?
True
Let l(z) = z**2 + 6*z - 7. Let x be l(-6). Let d(s) = 6*s + 10. Let q be d(x). Let g = 63 + q. Is g prime?
True
Let u = 13 - -940. Is u a composite number?
False
Let h(b) = 6*b + b**3 + 5*b**2 - 3*b - 3 + 2. Is h(-4) a composite number?
False
Suppose 10 + 2 = 3*f. Suppose f = -p + 2*p. Let d(r) = -r**3 + 6*r**2 - r - 2. Is d(p) prime?
False
Let t(r) = 142*r + 1. Let q be t(-1). Is (-1 - -1 - q) + 2 prime?
False
Let y be (13/(-26))/((-2)/4884). Suppose 3*c = 3*g + y, -5*g - 430 = -c - 31. Is c a prime number?
True
Let y be (-12)/(-1)*(-1)/(-2). Let c be (-682)/9 - y/27. Let q = c + 171. Is q a prime number?
False
Is ((-4677)/(-9))/(2/6) a composite number?
False
Let s(t) = -t**2 - 6*t + 1. Suppose 5*p - 5 = -4*r - 43, -p = -5*r - 4. Let u be s(p). Let w(c) = 38*c**3 + c**2 - c. Is w(u) prime?
False
Suppose 0 = -3*v + 571 + 80. Is v a prime number?
False
Let q(x) = 0 + 1 + 2*x**2 - 4*x**3 + 0 + 2*x. Let h be q(-1). Suppose -h*y = -133 + 28. Is y a composite number?
True
Suppose -10*m = -6037 + 167. Is m composite?
False
Suppose 0 = 3*r - x + 17, 9*r = 4*r - 3*x - 5. Is 12/(-10)*70/r composite?
True
Is 6/24 + (-451)/(-4) a composite number?
False
Suppose 3*n = 32 + 220. Suppose 0 = 5*f - 409 - 46. Suppose -5*b + 15 = -2*a - n, -2*a + f = 5*b. Is b a composite number?
False
Let h(c) = -c + 14. Let f be h(10). Let y = 2 + 1. Suppose f*j - 34 = y*j. Is j prime?
False
Let u be 2 + 3 + 6/(-2). Suppose 5*h + 7 = 4*t - 0, 5*t - 4*h = u. Is t/(1*(-3)/6) a prime number?
False
Is ((-60)/(-90))/((-3301)/3303 - -1) composite?
True
Let o(y) be the first derivative of 11*y**2/2 + y - 2. Is o(8) composite?
False
Suppose 0 = z + 47 - 678. Is z a prime number?
True
Let c(b) = b - 8. Let k = 15 - 9. Let y be c(k). Let t(i) = 4*i**2 - 2. Is t(y) a composite number?
True
Let h(d) = -2*d - d + d + d + d**2 - 2. Let p be h(0). Is (p + 1)/((-2)/92) a prime number?
False
Let z(p) = 2*p - 7. Suppose -5*s + 2*g + 32 = 0, 0 = 2*s + 2*g - 2 - 8. Let f be z(s). Suppose -4*j + 112 = f*b, b + 119 - 16 = 3*j. Is j a prime number?
False
Let w = 146 - 35. Is w a prime number?
False
Suppose 2*l - 136 = -3*i, -4*l + 0*l = -i - 258. Is l composite?
True
Let i = -120 - -195. Suppose h - 6*h = -i. Is h a composite number?
True
Let o be (-5 - -146)*(-1)/(-3). Let v = 102 - o. Is v a composite number?
True
Suppose -3*q = 5*q - 1432. Is q a composite number?
False
Let n = 6 - 3. Suppose -n*c - q - q - 267 = 0, 3*c = q - 258. Let x = c - -166. Is x composite?
False
Suppose 7*j = 5*j + 286. Is j a composite number?
True
Suppose -3*o + 4*o - 19 = 0. Suppose 4*m + 3 - o = 0. Suppose s - 3*g = -5*g + 13, -g = -m*s + 88. Is s composite?
True
Suppose 1304 - 346 = 