 -0*b - 2*q, -4*b = q - n. Is b composite?
True
Suppose 0 = -6*h + 2*h + 152. Is h a composite number?
True
Suppose -2*b = -9 + 3. Suppose -73 = -o - o + 3*v, -b*o = -3*v - 108. Is o a prime number?
False
Let j(v) = -21*v - 4. Let u(o) = o. Let l be u(-3). Let y be j(l). Let d = -21 + y. Is d prime?
False
Let d be -6*(2 - (-8)/(-6)). Is 62/2*(-4)/d composite?
False
Suppose 4*f - 2*c + 0*c - 12 = 0, 0 = f + c - 3. Let w(o) = 4*o**3 - 3*o**2 + o + 3. Is w(f) a composite number?
True
Suppose 4*x + 3*t = 2*t - 2, 2*x + 2 = -t. Is 12 + -11 - (x + -388) prime?
True
Suppose -4*n + 9*n = 70. Is n a composite number?
True
Suppose -5*i = 3*d + 19, 0*i - 2*d - 10 = 2*i. Let c be (0/(-1) - i)*-1. Is (1 + c)*(-74)/2 composite?
False
Suppose 0*c + c = 141. Let m be ((-5)/(-3) + -1)*c. Suppose 72 + m = 2*d. Is d composite?
False
Suppose 0 = -2*b - b + 1353. Is b prime?
False
Let c = 511 - 260. Is c prime?
True
Let w be 176 + -2 + 0 - -1. Suppose 2*a = -3*a + w. Is a a prime number?
False
Suppose -2*a - a = -6. Suppose -3*f + 1425 = a*f. Suppose -100 = 5*s - f. Is s a composite number?
False
Is 226/(-3)*(-3)/2 composite?
False
Let p(t) = -t**3 + 16*t**2 + 2*t - 6. Is p(7) composite?
False
Suppose 3*l - 1172 = -4*x, 3*x - 102 = 3*l + 777. Is x a prime number?
True
Suppose -3*f - 2*f + 15 = 0. Suppose 171 = f*o - 6*o. Is o/(-3) + -2 - 2 prime?
False
Let h(b) = b**2 - 13*b. Let z be h(6). Let r = 68 + z. Suppose r = 2*k - 0*k. Is k a prime number?
True
Let k = 6 + -16. Let a be ((-6)/10)/(2/k). Let q = a + 8. Is q a composite number?
False
Let w(o) = 165*o**3 - o**2 + 1. Let i be w(1). Let f = -110 + i. Is f a prime number?
False
Suppose -k + 9 = 3*o - 1, -3*k = 15. Suppose -o*a + 247 = 2*j + 46, j - 133 = 4*a. Is j a prime number?
True
Suppose -b + 0 - 1 = 0. Let l be (-3)/(1/(0 + b)). Suppose -q = -l*q + 38. Is q a prime number?
True
Suppose 2*m - 5 = 4*g - 1, 5*m - 24 = -4*g. Is (-22 + 9)*-1*g a composite number?
False
Let a = 2369 - -450. Is a a composite number?
False
Suppose 5*f - 6 = 4*z, -5*z - 3 = -f - 3*f. Suppose f*x = 7*x - 185. Is x prime?
True
Let t(j) = j**2 + 5*j - 6. Let n be t(-6). Suppose -5*p + n*p = -65. Is p composite?
False
Let k = 173 - 82. Is k a prime number?
False
Suppose -3*m + 2*m + 44 = 0. Let g = -23 + m. Is g a prime number?
False
Let m(q) = 187*q. Suppose -b = 5*r - 11, -1 = 2*b - 2*r + 1. Is m(b) prime?
False
Let r be 0 + ((-4572)/3)/4. Is r/12*2*-2 prime?
True
Let k = 1 - 5. Let v = 10 - k. Is v prime?
False
Let j = 0 + 3. Suppose -3*d + 60 - j = 0. Is d prime?
True
Let n = 5 - 9. Let g be (-9)/n + (-3)/12. Suppose g*w - 12 = -w. Is w composite?
True
Let v = 14 + -7. Is v composite?
False
Suppose -4*s + 64 + 468 = 0. Is s a prime number?
False
Let b be ((-138)/(-9))/(2/(-3)). Let o = 108 - b. Is o prime?
True
Let x(c) = 0 + 21*c**2 + 3 + 4*c + 0. Let n be x(-2). Suppose 0 = 2*h - h - n. Is h composite?
False
Let c(f) = -12*f + 3. Let k(p) = 24*p - 7. Let m be -10*(-2)/4 - -1. Let l(d) = m*k(d) + 13*c(d). Is l(-2) prime?
False
Suppose -5*y + 231 - 41 = 0. Suppose -2*p - p = -5*d - y, -5*d + 25 = 0. Is p prime?
False
Let b(p) = 272*p**2 - 2*p + 3. Is b(2) a prime number?
True
Let u be 0 + (-4)/4 + 16. Suppose s + c = -0*s + u, -4*s = -3*c - 60. Is s prime?
False
Suppose 0 = 2*r - 1 - 9. Suppose 3*t - r*u - 227 = -0*t, 0 = -2*u - 8. Is t a composite number?
True
Suppose 4*p + 0*p = 8. Suppose p*m - 111 = -m. Is m prime?
True
Let x(t) be the second derivative of t**4/12 - t**3 - 4*t**2 - 3*t. Is x(9) composite?
False
Let p = -5 - -21. Suppose 12*m - p*m + 356 = 0. Is m a prime number?
True
Let c = -112 + 56. Let t = c - -118. Is t composite?
True
Let c(f) be the second derivative of -1/6*f**3 + f + 0 + 1/6*f**4 + 21/20*f**5 + 0*f**2. Is c(1) composite?
True
Suppose -n + 3*g + 0*g + 58 = 0, 149 = 2*n + 5*g. Let i = -10 + n. Let j = i + -20. Is j a composite number?
False
Let z(x) = -4*x**2 + 1 + x - x - x. Let k be z(1). Is k/2 + 26 - 1 a composite number?
False
Let b(n) = n**2 - 3*n - 1. Suppose -3*h - 27 = 2*q, -3*q - 38 = h + 3*h. Is b(q) a prime number?
True
Let t(s) = -s**3 - 4*s**2 + 5*s + 7. Suppose -6 = -3*w + 9. Suppose o + w*u + 10 = 0, o - 3*o - 12 = 2*u. Is t(o) a prime number?
True
Let d be (7 - 1)*5/10. Suppose 2*o + 6 = 0, -5*m + d + 6 = 2*o. Let y(p) = 14*p**2 + 2*p + 1. Is y(m) a composite number?
True
Let d(n) = 6 - 3*n**2 + 4*n**2 - 2*n - 2*n**3 - n**2. Let x be d(4). Is (-1 + 2)/((-2)/x) prime?
False
Let w(v) be the first derivative of 3*v**4/4 - 2*v**3/3 + 2*v**2 - 3*v - 2. Is w(2) composite?
True
Let f = -2 - -4. Let r(i) = i**3 - i + 1. Is r(f) prime?
True
Suppose 7*c = 2*c + 25. Let q(v) = -3*v**3 - 5*v**2 - 10*v + 4. Let s(g) = 7*g**3 + 10*g**2 + 21*g - 8. Let z(n) = -9*q(n) - 4*s(n). Is z(c) a prime number?
False
Let f be (0 - -2)*(-10)/(-4). Suppose -k - 596 = -f*k. Is k a prime number?
True
Let j = -350 + 825. Let k = j - 943. Is 2/(-7) + k/(-21) a prime number?
False
Let g be 2 + -1 + 3 + 5. Is (-957)/(-2)*6/g a composite number?
True
Let r(q) = 128*q**2 + 2*q + 1. Is r(2) prime?
False
Let g(u) = u**3 - u**2 - 5*u. Let l be g(5). Suppose -40 = -4*q + 4*c, -4*q - c - 20 = -l. Suppose 3*j - q - 80 = 0. Is j composite?
False
Let m = 179 - -35. Is m composite?
True
Suppose 3*s = -3, 4*a + 2*s + 2 = 188. Let z = 97 - a. Suppose 0 = 3*t + 2*t - z. Is t composite?
True
Suppose -3*o + 0 - 1 = b, 0 = -5*o + 3*b + 17. Is 182/(-4)*(-2)/o a prime number?
False
Is 1/(-2)*(1 + 25)*-223 prime?
False
Suppose 2*u + 148 = 6*u. Is u prime?
True
Suppose 2*i - 609 = 5*j, -188 - 1036 = -4*i + 4*j. Is i composite?
False
Let c be 2/(-5) - 22/(-5). Suppose -c*u + u + 3 = 0, 2*h - 675 = -u. Is h prime?
True
Suppose -2*o + 1988 = -3426. Is o a composite number?
False
Suppose 3*y - 8 - 4 = 0. Suppose -q + g + 12 = 0, -g = -0*q - y*q + 51. Is q prime?
True
Let r(d) = -d**3 + 10*d**2 - 11*d + 13. Is r(6) prime?
False
Let o(a) be the first derivative of -5*a**2/2 - 6*a + 3. Suppose -4*c + 3*m - 25 = c, 4*c - 3*m = -20. Is o(c) prime?
True
Suppose -683 = -4*p + 321. Is p a composite number?
False
Suppose 0*g - g + 74 = 0. Is g a prime number?
False
Suppose 7*q + 1495 = 12*q. Is q a prime number?
False
Suppose -4*f + 9*f - 10475 = 0. Is f a composite number?
True
Let h(d) = -d**2 - 2 + 11*d**3 + 3*d**3 - 4*d**3. Let u be h(2). Suppose 146 = 4*x - u. Is x prime?
False
Suppose 3*v - t + 4*t - 10752 = 0, -7153 = -2*v - 5*t. Is v composite?
True
Let y be (383 - 1)*(0 - -1). Suppose 0 = -3*s - s + 3*z + 317, z = -5*s + y. Is s a prime number?
False
Suppose -5*a = -3*t - 308, -4*t + 3*t = a - 60. Let j = -22 + a. Is j a prime number?
False
Suppose -3*i = -0*w + 4*w - 139, -i = -5*w - 59. Is i prime?
False
Let r(g) = 292*g + 9. Suppose 2 = 3*s - 10. Is r(s) a composite number?
True
Suppose 5*y = 296 + 554. Let z = -105 + y. Is z composite?
True
Let x = -1 + 3. Let c(s) = s**3 + 2*s**2 + s. Let n be c(-1). Suppose -5*l - x*t + 375 = n, 0*t - 25 = 5*t. Is l prime?
False
Let g(h) be the first derivative of -3*h + 3 + 5/2*h**2. Is g(2) composite?
False
Let z(x) = 2*x**2. Let y be z(-1). Suppose -y = -4*m + 6. Suppose -3*u = -b - 5, m*u + 9 + 21 = 4*b. Is b composite?
True
Suppose -b + 360 = 3*z - 206, 2*b = 4*z + 1092. Is b a composite number?
True
Let m be (-33)/(-12) - (-3)/12. Suppose m*c - 5*k - 206 = 0, 7*k = 3*c + 3*k - 205. Suppose 5*l = x + c, -2*l - 5*x + 29 = l. Is l a composite number?
False
Let s = 316 - 129. Is s prime?
False
Let k(i) be the first derivative of 7*i**3/3 - i**2 + i - 1. Let l = -29 + 31. Is k(l) prime?
False
Suppose 0 = 2*j, -5*x + 1365 = -2*j - 1840. Is x a composite number?
False
Let u(n) = n**3 - n**2 + 19. Let m(d) = -d**3 + d**2 - 18. Let i(a) = 2*m(a) + 3*u(a). Is i(0) composite?
True
Let r(c) be the first derivative of -59*c**2/2 - 3. Is r(-1) a composite number?
False
Suppose 7*g = 2*g + 20. Suppose 2*w = -0*x + g*x - 2058, 4*x - 3*w = 2063. Suppose i + x = 4*p, -2*p - 3*p + 615 = 5*i. Is p prime?
True
Let t(p) = -p**3 + 3*p**2 + p + 1. Let s = -6 - -4. Is t(s) composite?
False
Is ((-3)/2)/((-1491)/(-498) + -3) prime?
False
Is ((17772/(-9))/4)/((-2)/6) composite?
False
Let a = 3176 - 1839. Is a a prime number?
False
Let l be 14/(-4) + (-3)/6. Let k = 6 + l. Suppose r = k*t + 10, -3*t + 4 = -2. Is r composi