True
Let a(m) = m**3 - 2*m**2 + 3*m. Let k be a(3). Let g be (6/9)/((-1)/k). Is (-9)/g - 2354/(-8) prime?
False
Suppose 4*n + 4*s - 111 - 389 = 0, 0 = -4*n - 2*s + 504. Is n*(1 - (-3 + 3)) prime?
True
Let s = 6 + -10. Is 5/(-20) - 189/s prime?
True
Let c(g) = 6*g**3 - g. Let x(p) = 5*p**3 - 1. Let o(h) = 6*c(h) - 7*x(h). Is o(6) a composite number?
True
Suppose 48 = -j - 3*j. Is ((-508)/j)/((-1)/(-3)) a composite number?
False
Let m = -9 + 11. Let c be 4/(1 + m + -5). Is 1 - (-160 + 2 + c) a prime number?
False
Let l = -28 + 92. Let t = l - -60. Let c = -45 + t. Is c composite?
False
Let b = 326 + -161. Suppose w = -4*w. Suppose 6*d - 3*d - b = w. Is d prime?
False
Suppose 0*j = 2*q + j - 256, -260 = -2*q + j. Suppose 4*w = w + q. Is w a composite number?
False
Suppose -4*t - 3*s = -18940, 0 = 5*t + 6*s - s - 23675. Is t a composite number?
True
Let i(a) = -a**3 + 17*a**2 - 10*a - 31. Is i(13) composite?
True
Let b(k) = -15*k**3 + 4*k**2 - k + 3. Is b(-4) composite?
False
Suppose -7*z + 2386 = -5*z. Is z a composite number?
False
Is (2/2)/((-16)/(-160)) prime?
False
Suppose -5*m - 3*t = -4*m + 8, 0 = -m + 5*t + 24. Suppose m*d = -d + 50. Is d composite?
True
Let z be 2/(0 - (1 + -2)). Suppose 4*y = z*y + 8. Is y a prime number?
False
Let s(l) = -36*l**3 + 1. Suppose -16 = -4*c - 3*t, 0 = -4*c + 5*t + 3 + 45. Let m = 6 - c. Is s(m) a prime number?
True
Let s = 12 - 7. Suppose -1389 = -s*y - 344. Let o = y - 118. Is o prime?
False
Let t(u) = -u**2 + 8*u + 14. Let h be t(10). Is 957/5 - h/(-15) composite?
False
Suppose 8*a = 4*a + 12. Suppose 0 = -m - h + 64, 2*m + 2*h - a*h - 131 = 0. Is m a composite number?
True
Is (-164)/12*-15*1 composite?
True
Suppose -7*h + 4*h + 12 = 0, 3*z + 5*h - 140 = 0. Let r = z + -26. Is r composite?
True
Let o(i) = 11*i**2 + 8*i + 29. Let t(g) = -3*g**2 - 2*g - 7. Let b(x) = -2*o(x) - 9*t(x). Is b(-4) a prime number?
False
Suppose 2*h - 11223 = -7*h. Is h prime?
False
Let p(j) = j**2 - 3*j + 1. Let x(z) = 2*z**2 - 7*z + 3. Let l(n) = 10*p(n) - 4*x(n). Let v be l(-4). Suppose k = -k + v. Is k a prime number?
True
Suppose 0 = 2*l - 4*f - 0*f - 150, -2*l + 144 = -2*f. Let t = 1 + -3. Is (l/(-4))/(t/8) composite?
True
Let v = 7874 - 3931. Is v prime?
True
Let b(l) = -l**3 + 5*l**2 - 3*l + 6. Let s(h) = -h**3 + 6*h**2 - 3*h + 6. Let j(o) = -3*b(o) + 4*s(o). Is j(5) a composite number?
True
Is (23/4)/((-3)/(-60)) prime?
False
Suppose -t = 3*t - 60. Suppose 7*z = 2*z + t. Is z prime?
True
Let p be (-2)/6 - (-404)/(-12). Let v = p + 23. Let k = v + 24. Is k a prime number?
True
Let v(x) = -3*x**3 - 11*x**2 - 7*x + 1. Is v(-8) a prime number?
False
Is 124/(-2)*1/(-2) a prime number?
True
Let y(t) = 31*t. Let z be y(7). Suppose -4*v = v - 2*w - 1049, z = v + 2*w. Is v a composite number?
False
Let w(d) = -17*d - 2. Let v(y) = 34*y + 5. Let n(l) = 3*v(l) + 7*w(l). Let j be n(4). Let a = j - -146. Is a a composite number?
False
Let q(j) = -j**2 + 4*j - 3. Let l be q(3). Suppose -4*p + 68 = 2*v, 4*v - 8 + l = 0. Suppose -p = 4*x, -4*y + 3*x + 19 = -77. Is y a composite number?
True
Suppose 0*b = 2*b. Suppose 3*x + 4*m + 19 = b, 2*m + 13 = -x - m. Is 88 + 2 + (x - 0) prime?
True
Let d(m) be the first derivative of 28*m**3/3 + m**2/2 + m + 3. Is d(-2) composite?
True
Let q be -1*10/4*-2. Suppose q*k - 2*n = 1617, 2*k - 3*k + 321 = 2*n. Is k a prime number?
False
Let m = 11 + -5. Let u = -2 + m. Is (2/u)/((-6)/(-72)) composite?
True
Suppose -s - 6*y + 393 = -y, 0 = 2*y - 8. Is s prime?
True
Let x(y) = -24*y + 8 - 8. Let d be x(-3). Suppose -5*b + 38 + d = 0. Is b a prime number?
False
Let x = -29 - -17. Let o be (488/(-12))/(2/(-3)). Let d = o + x. Is d prime?
False
Let h(c) = c**3 + 7*c**2 - c - 3. Let f be h(-7). Is (-978)/f*(-6)/9 composite?
False
Let w(h) = -h**2 - 5*h - 1. Let o be (-3 + 2)*-1 + -5. Let m be w(o). Suppose -m*p + 110 = -p. Is p a composite number?
True
Let d be (6/15)/((-2)/(-10)). Suppose 5*g + 0 + d = -4*o, 6 = -2*o. Let q(k) = 15*k**3 + 2*k**2 - 1. Is q(g) prime?
True
Suppose 3*u + 6 = -4*s, -4*u + s - 4*s = 1. Is ((-147)/6)/((-1)/u) prime?
False
Suppose 9*n + 3*z - 56 = 4*n, -z - 68 = -5*n. Suppose -102 + n = -h. Is h composite?
False
Let r be -1 + (-3)/((-9)/129). Suppose -r = 2*t + 4. Let q = -14 - t. Is q a prime number?
False
Let u(w) = -w**3 + 3*w**2 + 3*w. Suppose -d = -5 + 1. Let z be u(d). Is (-6)/z - 419/(-2) a prime number?
True
Let n be (2/(-4))/(-1)*1922. Suppose -243 + 824 = 3*g - 4*w, -5*g + n = -3*w. Is g composite?
False
Let j = 21 - 18. Is j/(992/(-1004) + 1) a composite number?
False
Suppose -20174 - 11412 = -17*j. Is j a prime number?
False
Let i(j) = 3*j - 13. Let l be i(7). Is (-2 + -2)/l*-22 prime?
True
Let o(g) = 147*g**2 + g + 1. Let p be o(-1). Suppose -109 = -z + 3*z - 3*b, -p = 3*z + b. Let q = z - -109. Is q a composite number?
False
Suppose 0*k - 3*k = -54. Is 9/(-6)*(-6252)/k composite?
False
Let j = 6 - 3. Suppose 5*n + 2 + j = 0. Let d = 2 - n. Is d a composite number?
False
Is (-487)/(-3) + (-4)/(-6) a prime number?
True
Let v(k) = 2*k**2 + 11*k - 5*k + 3 - 4*k**2. Let f be v(-5). Let y = f + 286. Is y a prime number?
False
Suppose -6*g + 4*g = 0. Suppose 3*m - 55 - 14 = g. Is m prime?
True
Suppose 4*x + 3*c + 100 = 0, 3*c - 152 = 3*x + 2*x. Suppose -2*k = -k + v - 50, 4*k + 5*v = 199. Let b = x + k. Is b prime?
True
Let l(k) = k**3 - 4*k**2 + 7*k - 4. Let m be l(4). Let n = 32 + -17. Let j = n + m. Is j a prime number?
False
Let u be ((-16)/(-6))/((-6)/(-981)). Let y = u - 259. Is y a prime number?
False
Suppose -v + 4 = -r, -3*v + 0*v = 5*r - 28. Is v a prime number?
False
Suppose 4*n = 5*i + 42, -5*i - 3*n = -4*n + 48. Let z be 52/20 - 4/i. Is 1*(-3)/(z/(-31)) composite?
False
Suppose -9*q + 11898 = -0*q. Is q prime?
False
Suppose -5*f = -4*f. Suppose -3*w + 0*u + 4*u + 289 = 0, f = 5*w - 5*u - 475. Is w a prime number?
False
Is (-2 - -4 - -162) + -1 composite?
False
Let w(j) = -2*j - 2. Let g = -10 + 6. Let h be w(g). Suppose 2*r - h*r = -60. Is r a prime number?
False
Let n = 2933 - 522. Is n composite?
False
Is 12/18*1590/4 a prime number?
False
Suppose 4*x = 3*c - 33, 2*c - 55 = -3*c - 3*x. Suppose -19 = -5*b + c. Is ((-152)/b)/(-4)*3 prime?
True
Let c be 3 + (-3 - (-8 + 3)). Let f = c - 2. Suppose 30 = -0*b + f*b. Is b composite?
True
Suppose d + 108 = o, 2*o + 2*d = 3*o - 103. Is o composite?
False
Is 98 + 2 - (0 + 3) a prime number?
True
Is (-13)/(52/(-120)) + 3 composite?
True
Let b(h) = 17*h + 2. Let k be b(5). Suppose 4*a + 189 = -k. Let s = a + 124. Is s a composite number?
True
Let g be (-15)/(-4) - (-3)/(-4). Suppose g*h + 81 = 267. Suppose l = -l + h. Is l a prime number?
True
Let o be ((-28)/(-21))/(1/(-3)). Let z(v) = -3*v**3 - 4*v**2 - v - 5. Is z(o) a prime number?
True
Let c = 2 - -3. Suppose 2*s = -i - 0*s + 499, c*i - 3*s - 2482 = 0. Is i prime?
False
Suppose -4*w + 4*p + 33856 = 0, 0 = p + 2 + 1. Is w a prime number?
True
Let c(f) = f**2 + 9*f - 13. Let z be c(-10). Is (-128)/(-3) - 1/z prime?
True
Suppose -3*t = -122 - 4. Let n = t + 23. Suppose -5*r + n = -5. Is r prime?
False
Suppose -8*c = 20851 - 7819. Is 4/14 - c/7 a prime number?
True
Suppose -2*p + 4*b = -2314, -5*b + 3471 = 3*p - 3*b. Is p a composite number?
True
Suppose -a + 3*a - 6 = 0. Suppose -2*o + 35 = a*o. Is o a prime number?
True
Let i be 4/10 + (-4501)/(-35). Suppose 0*n = -q + n + 21, 5*n - i = -4*q. Is q a composite number?
True
Let g(m) be the first derivative of -3*m**2/2 - 6*m - 1. Let z = 2 - 9. Is g(z) a composite number?
True
Let p be 0/((-5)/(-1) - 2). Suppose -28 = -p*l - 2*l. Is l prime?
False
Suppose 5*o - 32 = 9*o. Let f(h) = -h**3 - 8*h**2 - h - 3. Let z be f(o). Suppose 0*a = z*a - 470. Is a a composite number?
True
Let f(p) = 386*p + 33. Is f(11) a prime number?
False
Suppose -4*d - 8 + 0 = 0. Let s be (2*d - -2) + 144. Suppose 25 - s = -3*i. Is i composite?
True
Let x = 0 + 5. Suppose 34 = 5*b - 4*t + x, b = -2*t + 3. Suppose -3*o = 5*w - 101, -b*w - 84 = -5*o + 3*o. Is o composite?
False
Let v(i) = 165*i - 19. Is v(6) a composite number?
False
Let d(o) = -o**3 - 5*o**2 + 5*o - 2. Let w be d(-6). Suppose 5*t - 49 - 29 = -a, -187 = -w*a + 5*t. Is a a composite number?
False
Let m = 62 + 376. Is m/14 - 12/42 a composite number?
False
Suppose t + 5 = 2*t. Suppo