
Let h(s) = s**2 - 650. Let y be h(0). Let f be 2*(y/4)/(-5). Let w = f + -42. Is w a composite number?
False
Let f(x) = -3*x**3 + x**2 + 5*x + 4. Let n = 20 + -8. Let z be ((-6)/12)/(2/n). Is f(z) a composite number?
False
Let x(y) = -20*y**3 - 2*y**2. Let s be x(-2). Suppose k + 3*k = s. Is k composite?
True
Suppose -2*j + 7*j - 20 = 0. Suppose -3*t - 4*n = -n - 42, -t - j*n + 23 = 0. Is t a prime number?
True
Suppose -9 = -2*l - 1. Let t be (0 - 2/(-4))*0. Suppose -l*d + k - 88 = -8*d, -2*d + 2*k + 34 = t. Is d a composite number?
True
Is 59/(-2)*(-6)/1 composite?
True
Let t = 3 - 1. Suppose h - 381 = -t*h. Is h a prime number?
True
Is 6/15 - 3*(-8193)/15 a composite number?
True
Suppose -2*b = -5*b. Suppose 5*r + 3*q - 176 = b, -3*r + 5*q + 58 = -r. Is r a prime number?
False
Let r(y) = -y - 7. Let d(x) = x + 6. Let u be -1*6/(-4)*-4. Let c(s) = u*d(s) - 5*r(s). Is c(-3) a prime number?
True
Let l(v) = -v. Let i be l(0). Let h(s) = -7 + i + 4 + 35*s. Is h(2) a composite number?
False
Let f = -1 + 1. Suppose f*v + 60 = 3*v. Suppose -2*a = -2*w + v, 2*w = -w - 3*a + 30. Is w a composite number?
True
Is ((-4)/2 - -306) + 3 prime?
True
Let c be (3 + 3/(-9))*12. Let v = 70 - c. Is v a prime number?
False
Let g be ((-33)/4)/(1/(-4)). Suppose -2*h = -5*h + g. Is h a prime number?
True
Suppose 105 = 6*u - 2901. Is u prime?
False
Let b(i) = i - 5. Suppose 5*o - 25 = -0*o. Let a be b(o). Suppose 0 = -y + 2*w - a*w + 69, 0 = -2*y - 3*w + 173. Is y a composite number?
False
Suppose 6*a - 235 = a. Is a prime?
True
Let u = 11 - 5. Suppose -c = -2*d - u*c, d - 18 = 2*c. Is d composite?
True
Let t = 2 - 3. Is ((-3)/3 - t) + 39 prime?
False
Let g(z) = -34*z - 5. Let b be g(-3). Let q = -58 + b. Is q a composite number?
True
Suppose 5*a - 25 = 340. Suppose a = b + 5*z, 3 + 3 = -3*z. Is b prime?
True
Let b = 8 + 0. Suppose b = -2*p, 5*n - 288 = n - 5*p. Is n a composite number?
True
Let s be 4*-1*1 + -1. Let o(j) = -1 - 20*j + 14*j - 3 + j**2. Is o(s) prime?
False
Let z be (3/(-5))/((-3)/(-15)). Is (z + (-694)/4)*-2 a composite number?
False
Let v(z) = -z**2 - z + 2. Let y be v(0). Let r be (0 - 0) + 57 + y. Suppose r = 2*x - x. Is x prime?
True
Let g(n) = n**2 - 4*n - 3. Let u be g(5). Let r be 2586/14 - u/(-7). Suppose 0*w + 2*w + 210 = 4*p, 3*p = -4*w + r. Is p a prime number?
False
Let a = -1437 + 2398. Is a a composite number?
True
Let m(a) = 5*a - 4. Let n be m(2). Suppose 2*y - n = 4*y, -376 = -2*v - 4*y. Is v composite?
True
Let v(h) = h**3 - 9*h**2 - h + 11. Let g be (9/6)/(1/6). Let i be v(g). Suppose -p + 165 = i*p. Is p prime?
False
Let x(u) = -552*u + 5. Is x(-1) a prime number?
True
Let g(d) = -43*d**3 - 5*d**2 + 6*d - 2. Let z be g(2). Is (1/(-3))/(2/z) composite?
False
Suppose 4*a + 2*n - 3874 = 0, -5281 = -4*a + 5*n - 1428. Is a a composite number?
False
Let w(m) = -2 + 14*m - 12*m**2 + 18 + m**3 + 0*m. Is w(11) prime?
False
Let b(q) = 1260*q**3 - 3*q**2 + 2. Is b(1) a prime number?
True
Let x(d) = -23*d - 45. Is x(-20) a prime number?
False
Let z(o) be the second derivative of -7*o**5/60 - o**4/8 + o**3/3 - 2*o. Let r(l) be the second derivative of z(l). Is r(-5) prime?
True
Suppose 4*u = 16, b + 3*u = -0*b + 24. Suppose -5*a + b + 58 = 5*z, -a = -4*z + 51. Is z composite?
False
Let c be (2/3)/((-8)/36). Let l be c*(2 - (-15)/(-9)). Is ((-1)/l)/((-7)/(-917)) prime?
True
Let u = 334 - 168. Suppose 57 + u = j. Is j prime?
True
Suppose 2*i - 2086 = 484. Is i a prime number?
False
Let z = 471 + -293. Let t = 389 - z. Is t composite?
False
Let a be (-8)/(-6) + (-4)/(-6). Let t be 4 + (0 - 2) + 95. Suppose -t = -a*c + 85. Is c a prime number?
False
Is 2/((-21)/14*(-4)/2721) a prime number?
True
Suppose 9*a - 68 = 5*a. Suppose -4*t + 69 = a. Is t a composite number?
False
Suppose -4*p - 4*a = 1608, 5*a = -p - 68 - 342. Let t = -273 - p. Is t prime?
True
Suppose -2*z + 0*r = 4*r, 0 = 2*r. Let v be (z + 0)/(0 + 2). Suppose b + v*y - 3*y + 1 = 0, -4*y = 5*b - 71. Is b a composite number?
False
Suppose -5*l + 4437 = 4*l. Is l prime?
False
Let s(j) = 15*j**2 - 9*j - 11. Let n be 4/18 - 188/36. Is s(n) a prime number?
True
Let o = 1102 - 195. Is o a composite number?
False
Let c be -1*(-3)/(3*-1). Is 65/3 + c/(-3) a composite number?
True
Suppose 4*w + 5*a - 3274 = -0*w, -2*a - 1646 = -2*w. Is w composite?
False
Is ((-4809)/(-15))/(1/5) a composite number?
True
Let c = 40 - 127. Let g = c - -158. Is g composite?
False
Let w = 4 + -1. Suppose 411 - 135 = w*t. Suppose 6*j - 2*j - t = 0. Is j composite?
False
Let c = -3 + 2. Let z be c/(-2)*0/(-1). Suppose 0*h - 2*h + 6 = -4*m, 4*h - 5*m - 27 = z. Is h a prime number?
True
Let b(n) = 20*n**2 + 3*n. Let h be b(-2). Let t = 41 + -36. Suppose 3*v + h = t*v. Is v a prime number?
True
Suppose 0 = 4*m - 269 - 255. Is m composite?
False
Let m = 106 + 0. Let v(w) = -15*w**2 - w - 1. Let d be v(-2). Let c = m + d. Is c a composite number?
False
Let p(b) = 10*b**3 - 2*b**2 + 10*b - 7. Is p(5) composite?
True
Let q(p) = 2*p - 2. Let r be 2*((-3 - 2) + 3). Let j be q(r). Is (-25)/10*52/j a prime number?
True
Suppose 5*f + 37 = -4*z, 4*f + 2*z = f - 23. Is (-3)/(f/30*1) composite?
True
Suppose 441 = 2*j - 3*p, 1 = -4*p - 11. Suppose -k + j - 40 = 5*i, 3*i - 755 = -4*k. Is k prime?
True
Let b(s) = -s - 2. Let q be b(-6). Suppose -222 = -q*y + 94. Is y a composite number?
False
Is -1*1028/(-8)*2 composite?
False
Let k(d) = -d**3 + 12*d**2 - 6*d - 1. Let u = 6 + 4. Is k(u) prime?
True
Suppose -5*m + 36 - 6 = 0. Suppose m*d - 12 = 2*d. Suppose -d*x - 1055 = -8*x. Is x a composite number?
False
Let j be (0/1)/(-3 + 4). Let t be 9 + -1 + (j - 3). Let f = t - -30. Is f a composite number?
True
Suppose -8*n + 5925 = 7*n. Is n composite?
True
Let i = 780 + -283. Is i a composite number?
True
Suppose -25 = -2*g + 297. Is g a prime number?
False
Let r = -61 + 109. Let b = 15 - r. Is (2 - b - 2) + 0 prime?
False
Let c(r) = 54*r + 1. Is c(7) a prime number?
True
Let j(h) = -11*h**3 + 4*h**2 + 5*h. Let x(a) = a - 5. Let u be x(3). Is j(u) prime?
False
Let u(m) = 2*m**2 - 7*m + 16. Is u(21) composite?
False
Suppose 0 = 4*g + 12, 0 = 2*b - 7*b - g - 418. Let v = b + 145. Let j = 100 - v. Is j prime?
False
Let s(b) = -b**2 + 6*b - 2. Let y be s(5). Suppose -3*t - j + 11 + 14 = 0, -3*t + 21 = -y*j. Is ((-44)/t)/(2/(-4)) composite?
False
Let i(x) = x**2 - 6*x - 6. Let o be i(7). Let n be o - 0 - (-8)/4. Let v(z) = 2*z**3 - 2*z**2 - 2*z - 4. Is v(n) a composite number?
True
Let j = -74 + -84. Let i = j + 360. Is i a prime number?
False
Suppose 0 = -2*t - 0*i - 2*i + 10, 0 = t - i - 5. Let d = -4 - -7. Suppose -3*k + t*n + 473 = 0, 0 = -d*k + 7*k + 2*n - 648. Is k a prime number?
False
Let t(l) = 20*l**2 + 2*l + 19. Is t(6) a prime number?
True
Suppose 95*m + 737 = 96*m. Is m a prime number?
False
Let f(q) = 4*q**2 - 14*q - 9. Is f(10) a composite number?
False
Suppose 5*m - 155 = -0*m. Suppose -5*r = 6 - m. Is 34 + r + 0 + -2 a composite number?
False
Suppose 2*l + l - 1 = 2*c, 5*c - 20 = 0. Suppose -l*k + 625 = 70. Is k prime?
False
Let n be (2/(-1))/(1 - 2). Let g(o) be the second derivative of 2*o**4/3 - o**3/6 + o**2/2 - o. Is g(n) composite?
False
Suppose f - 2*f + 1 = 0, 3*z + 2*f = 23. Let h(o) = o**2 + 1 + z*o - 1 + 5*o**2. Is h(-5) a composite number?
True
Suppose 5*u - u = 0. Let i(b) = -b**3 + b**2 - b + 155. Is i(u) composite?
True
Suppose -3143 = 31*d - 38*d. Is d prime?
True
Is -3 - (2584/(-104) + 4/(-26)) prime?
False
Suppose -7*c - 8 = -3*c. Let s = c - -4. Suppose -j - 5*u - 25 = -3*j, s*j - 4*u - 30 = 0. Is j composite?
True
Is (-6388)/(-3) - 2/6 a composite number?
False
Suppose -4675 = -12*i + 4889. Is i a composite number?
False
Let i = -94 + 177. Suppose 0 = -2*b - i + 239. Is 0 + (1 - (2 - b)) prime?
False
Let w = -9 - -17. Suppose w*r - 237 = 5*r. Is r composite?
False
Suppose -5*v = -25, 2*v = -2*t - t + 478. Suppose -3*h = h - t. Is h prime?
False
Let u(g) = -32*g**3 - 8*g**2 - 9*g - 16. Is u(-5) prime?
False
Let z be (39/(-12))/((-2)/8). Let k = -7 + z. Is (k/(-4))/(6/(-8)) a composite number?
False
Let s(l) = l**3 - 19*l**2 + 20*l - 21. Is s(19) composite?
False
Suppose -8*w + 9 = -11*w. Is 29 - (w + 5)*-1 composite?
False
Let p = 16 - 28. Is -3*(1456/p + -3) composite?
False
Let j(l) = -19*l - 1. Let c(y)