 = -6*d. Suppose 3*h = 2*m - s, 5*m = -h - 3*h + d. Is m a prime number?
False
Suppose 2*u = -0*l - 4*l + 18, 2*l = 2*u. Suppose -f + x = -91, -u*f + 314 = -x + 33. Is f a prime number?
False
Let i(z) = z**3 + 6*z**2 - 4*z - 2. Let x(b) = -b**3 + 3*b**2 + 6*b - 1. Let m be x(4). Let s = m + -13. Is i(s) a prime number?
False
Suppose -2*l + 1802 = -0*l. Is l prime?
False
Let s(n) = 10*n - 6. Suppose 2*f = 0, -x - 21 = 2*x + 3*f. Let l = -3 - x. Is s(l) a prime number?
False
Let n(p) = -p**3 - p**2 + p + 1. Let o(i) = -4*i**3 + 2*i**2 - 2. Let v(b) = n(b) + o(b). Let w be v(1). Is (-308)/(-6)*(-6)/w composite?
True
Let b be (-482)/(-3)*(-3)/(-2). Suppose 4*q = b + 147. Is q composite?
False
Let l(a) = 6*a**3. Let y(t) = t - 7. Let d be y(6). Let b be l(d). Let k(r) = -r**2 - 6*r + 7. Is k(b) a prime number?
True
Let o = 21 + -17. Suppose -571 = -5*q - 2*r + 78, -518 = -o*q - r. Is q a composite number?
True
Suppose 8*z = 5*z + 6. Let y be 408/9 - z/6. Suppose -5*a = -245 - y. Is a composite?
True
Let q = 4717 - 2819. Suppose -4*a - n + 3*n = -q, n = -a + 476. Suppose 3*k = -2*k + a. Is k prime?
False
Let i = 8 - -24. Suppose 11 = 2*n + 4*f + 3, 5*n - i = 2*f. Suppose -5*c + 25 = 0, 2*q - 4*c - 80 = n. Is q prime?
True
Is ((-4828)/(-12))/(2/6) prime?
False
Let v = 104 - 58. Is (v/(-4))/(2/(-4)) composite?
False
Let z(f) = f**3 + 14*f**2 + 10*f + 5. Let i be z(-9). Suppose i + 5 = 5*u. Is u a prime number?
False
Let h(z) = -z. Let j be h(-2). Suppose 567 = -3*p + 6*p. Suppose -4*l - 3*c - j*c + 143 = 0, -5*l + p = -4*c. Is l prime?
True
Let m(f) = 4*f**2 - 7*f - 1. Let b(k) = k - 2. Let c be b(8). Let j be m(c). Suppose 2*a + 3*q + 36 = j, 5*q - 5 = 0. Is a a composite number?
False
Let v = 533 + 1920. Is v composite?
True
Let q = -3 - 0. Let o be (3 + (-6)/q)/1. Suppose o*k - 809 + 154 = 5*s, -k = s - 135. Is k prime?
False
Let w(c) = -32*c - 7. Is w(-3) a prime number?
True
Suppose -2*s = -2*i - 2*i, -3*i = 0. Suppose -3*q = -s*q + c - 109, -1 = -c. Is (q + (1 - 0))*1 composite?
False
Let h = 3902 + -1551. Is h a composite number?
False
Let l(s) = 10*s**2 + 3. Let m(j) = 2*j - 2. Let q be m(6). Let u be (-2)/q + 76/(-20). Is l(u) a composite number?
False
Suppose 16 = -2*g - 2*g. Is (-438)/g + (-1)/2 composite?
False
Suppose -2*d + 3 = 5*y - d, 5*y + 12 = 4*d. Let k(h) = 0*h + y*h + 3 + 3*h + 4*h**2 + h**3 + 2. Is k(4) a prime number?
False
Suppose 3*u + m + m = 2, 5*m = 4*u - 18. Suppose -3*s - 96 = -u*f, -190 + 59 = -3*f - 2*s. Suppose 2*k + 2*a - f = k, 4*k - 213 = 3*a. Is k a composite number?
True
Suppose 0*h - 8 = -4*h. Suppose -h*l - z + 144 = z, -4*l = z - 288. Suppose 3*d - 123 = l. Is d composite?
True
Let c be (-2)/(-2) + (3 - 4). Suppose -2*o + 3 = p - 2, 3*o + p - 8 = c. Suppose -2*n = -8, -3*x + 2*x + o*n = -39. Is x a composite number?
True
Let a = 13 - 7. Suppose 2*s - u - 58 = a, -5*u = -s + 23. Is s a composite number?
True
Let f(d) = -164*d. Let p be f(1). Let v = p + 97. Let x = v + 194. Is x a prime number?
True
Let z = 1649 + -1062. Is z prime?
True
Suppose -3*w + 2151 = 372. Is w a prime number?
True
Let v(i) = 3*i**2 + 5*i + 5. Is v(9) a composite number?
False
Let s(g) be the first derivative of -g**3/3 + 15*g**2/2 - g + 1. Is s(7) composite?
True
Suppose -69*n + 64*n = -2095. Is n a prime number?
True
Let k(d) = -96*d**2 + d. Let g be k(-1). Is g*-2*(-1)/(-2) prime?
True
Suppose -3466 = 4*n - 422. Let x = n - -1092. Is x composite?
False
Suppose 8*a = -a + 4311. Is a a prime number?
True
Let y be (10 - 4) + -1*2. Suppose -2*t + 2*h = 5*h + 41, -3*h + 127 = -y*t. Let d = t - -111. Is d prime?
True
Let o(t) = 13*t**2 - 4. Let w be 4/(-2) + -9 + 8. Is o(w) prime?
True
Suppose 2*k = 4*u + 166, 2*k = 2*u - 0*u + 162. Is k prime?
True
Suppose -3*n = -10 + 4, 87 = y + n. Is y a composite number?
True
Let d(p) = -31*p + 4. Is d(-3) prime?
True
Suppose -2*p + 4641 = -4*r - r, 11655 = 5*p - 2*r. Is p a prime number?
True
Let p(s) = 142*s**2 + 10*s - 13. Is p(5) a prime number?
False
Let h(t) = -78*t - 6. Let s be h(6). Let g = -317 - s. Is g a prime number?
True
Let y = -80 + 118. Let p = y + -1. Is p composite?
False
Suppose 1006 = 3*b - 2345. Is b a composite number?
False
Let x = -8 - -4. Let n be ((-9)/2)/(6/16). Is n/(-3)*(-59)/x prime?
True
Let w(z) = -26*z - 1. Let u be w(-5). Is (u/6)/((-2)/(-20)) a prime number?
False
Let x = -24 + 16. Let n = 15 - x. Let a = 282 - n. Is a composite?
True
Let t be (-6)/39 - (-1954)/26. Is (2*t/(-6))/(-1) a composite number?
True
Suppose -6*i = -2*i - 692. Let r = 302 - i. Is r a composite number?
True
Suppose 0 = 3*u - 4*n - 217, -4*u - 2*n = -2*u - 168. Is u a prime number?
True
Let k = 110 + 118. Let i = k + -163. Suppose 2*m - i = -3*m. Is m composite?
False
Let n be 3/12 - 1/4. Suppose 3*w + 0*w - 489 = n. Is w a prime number?
True
Suppose 3*b + 5*n = 4332, 5*b - 8701 + 1521 = 5*n. Is b a composite number?
False
Suppose 5*c + 3*i - 27 = 7*i, -3*i = -4*c + 21. Suppose 3*w + 58 = 5*o - 42, -5*o = c*w - 130. Is o a prime number?
True
Suppose -5*d + d + 2*f + 1352 = 0, -5*d - f = -1683. Let w = d + -176. Is w a composite number?
True
Is 206 - (-12)/(-8)*2 a composite number?
True
Let p(m) = -66*m - 19. Is p(-7) a composite number?
False
Suppose -2*y + 158 = 4*v, v = 3*y + y - 316. Is y a composite number?
False
Let j be ((-4)/12)/(2/(-18)). Suppose 3*t - 3*m = 8 + 7, 0 = j*m. Suppose 0 = -v - 4*c + 14 + 1, -3*v + 80 = t*c. Is v a composite number?
True
Is 126 + 0 - (-4 + 3) a prime number?
True
Let t(i) = -27*i + 4. Is t(-11) prime?
False
Suppose -3*c - 1463 = -413. Let z = c + 604. Is z composite?
True
Let r = 46 - 208. Let s = 234 + r. Let u = 130 - s. Is u prime?
False
Suppose -3788 + 687 = -7*m. Is m a prime number?
True
Suppose -9471 = 6*d - 24597. Is d composite?
False
Suppose -3*t - 3*m = -1236, -3*m - 1036 = -4*t + 577. Is t prime?
False
Let t = 25 + 49. Is t prime?
False
Let u be 1 + (-4 - -1) + 4. Suppose -a = u*a - 36. Suppose -j - 2 = 4*o + o, -a = 4*o. Is j a composite number?
False
Let b(n) = -n**2 + n + 77. Let a be 2/3 - 6/9. Is b(a) prime?
False
Suppose i = 5*i - 48. Let z(r) = -47*r - 14 + r**3 - 11*r**2 + 18*r + 16*r + 14*r. Is z(i) prime?
False
Let c be 2*15/(-9)*-3. Let a be (c/4)/((-2)/(-4)). Suppose 5*g - 70 = a*i, 3*g - 70 = -2*g + i. Is g a composite number?
True
Suppose 0 = 4*a - 0*a. Suppose 3*w - 7 = 2*k, -2*w - 4*k + 3*k + 14 = a. Suppose -2*u - 3*x + 109 = 0, u - x - 57 = -w*x. Is u a composite number?
False
Let q(k) = -132*k + 1. Is q(-17) composite?
True
Let r be (146 - 1) + -2 - 2. Let z = -82 + r. Suppose -3*l + 82 = -z. Is l a composite number?
False
Let v(x) = 76*x**3 - x**2 - 3*x + 1. Let n be v(2). Let y = n - 346. Is y prime?
False
Let h be 3/6 + (-1)/(-2). Let m = -3 + h. Let z(c) = -c**3 + 2*c**2 + c. Is z(m) a prime number?
False
Let z = 693 + -454. Is z a prime number?
True
Suppose -j = 3*s + 20, 7 = s + 3*j + 27. Let h(r) = -3*r + 6 - r - 5*r. Is h(s) composite?
True
Suppose -12*w = 2019 - 12903. Is w prime?
True
Suppose -5*v = 5*h - 945, 113 + 68 = v - h. Is v a prime number?
False
Let c(o) = -o**2 + 24*o + 15. Let v be ((-130)/(-20))/(2/4). Is c(v) prime?
False
Let o = 0 + -3. Suppose -8 = 4*s + 5*q, -2*q = 4*s - 5*q + 8. Is 31/(s - 9/o) composite?
False
Let v(y) = -y**3 + 6*y**2 + 7*y + 3. Let t be v(7). Suppose 0 = 3*u - n - 112, -1 = -2*n + t*n. Is u a prime number?
True
Let m(i) = 80 + i**2 - i + 39 + 4*i**3 - 2*i**3 - i**3. Is m(0) a composite number?
True
Let m = 513 + -10. Is m a prime number?
True
Let c(q) = -2*q - 5. Let j be c(-8). Let i = j - 16. Is i*2*3/(-2) a prime number?
False
Let i(r) = -255*r - 5. Let z be i(-4). Suppose 4*d - z = -d. Is d prime?
False
Let i(w) = 4*w**2 + 5*w - 28. Is i(-15) prime?
True
Let d = -211 + 402. Is d composite?
False
Let j be (2 - 1)*0 - -4. Let q be j/1 - (-3 - -4). Is ((-2)/(-6))/(q/207) a composite number?
False
Let a be (2 - -8)/((-4)/(-10)). Let r = 88 - a. Suppose 2*t = -j + r, -4*j + 2*t = -j - 205. Is j a composite number?
False
Let m(w) = 11*w**3 - 3*w**2 - 3*w - 1. Is m(2) prime?
False
Suppose 4*y = -m + 3015, 3*y - 2 = 5*y. Is m composite?
False
Is 1 - ((-6)/(-9) + 2920/(-6)) composite?
False
Let v(w) = w**3 - 4*w**2 - 5*w. Let x be v(5). Suppose x = 5*f - f + 5*h - 27, 15 = 2*f + 