/2) prime?
False
Let j = 16 - 12. Suppose -2*r + 37 = -5*o, r - 5*o - 14 = -j*o. Is r composite?
False
Let i(b) = -6*b**3 - 9*b**2 + 3*b - 3. Let j(y) = -5*y**3 - 9*y**2 + 2*y - 3. Let f(k) = -4*i(k) + 5*j(k). Is f(-9) a prime number?
False
Suppose -50 = -4*b + 62. Suppose -s + 10 + b = q, 0 = 2*q - s - 73. Is q prime?
True
Suppose -h + 5 = 4*h. Suppose b - 1 = 5*v - 4*v, -2*b + v + h = 0. Suppose 2*s + 2*n - 122 = 0, -4*n - 20 + 4 = b. Is s prime?
False
Let n be 21 + 5 + -3 + -3. Is 70/(-2)*(-8)/n composite?
True
Let v(u) = u**3 + 5*u**2 + 2*u - 3. Let n be v(-4). Suppose -4*x + 287 + 171 = 2*j, -n*x + 576 = -j. Is x prime?
False
Suppose 149 = p - 116. Let a be (6/15)/((-2)/(-20)). Suppose -a*n = n - p. Is n composite?
False
Let n = 438 - 121. Is n a composite number?
False
Let t be -2 - -1 - (-6 - -2). Suppose -t*q + 1 = 13, -3*a - q + 1487 = 0. Is a a composite number?
True
Let l = -2 + 0. Let i be 42/10 + l/10. Is i + (-4)/2 - -17 composite?
False
Suppose 0 = c - 2*c, -3*q - 30 = 5*c. Let h = 41 - q. Is h prime?
False
Is (0 + 3)*1*(-3543)/(-9) a prime number?
True
Let t(y) = y**2 + 4*y + 7. Suppose -7 = -4*k + 17. Is t(k) a composite number?
False
Let b = -4 - -4. Suppose 4*m = -b*m + 596. Is m prime?
True
Suppose -40 = -2*n - 3*n. Let d = 9 - n. Is (-107)/3*-6*d a composite number?
True
Suppose 193 = -3*v + 4. Let c = v - -88. Is c a prime number?
False
Let v(t) = -5*t**3 + 3*t**2 - t. Let x(s) = -4*s**3 + 2*s**2 - s - 1. Let y(h) = 3*v(h) - 4*x(h). Is y(0) a composite number?
True
Let z = -1107 + 2366. Is z a composite number?
False
Is (53/5)/((-15)/(-75)) composite?
False
Let b be ((-8)/(-10))/((-8)/140). Let p = b + 52. Suppose 0*y - 2*y + p = 0. Is y composite?
False
Suppose -16*p + 21*p = 6295. Is p a prime number?
True
Let f(t) = 3*t**2. Let w be f(-2). Suppose -2*k - k - 55 = -2*l, -4*k = w. Let z = l + -4. Is z a prime number?
True
Suppose -35*v + 39*v = 1012. Is v a composite number?
True
Suppose -3*o + 303 + 3 = 0. Let z = o + 25. Is z prime?
True
Suppose 0 = -2*m + m + 16. Suppose 3*y + 6*w - w = 19, 4*w = -m. Is y a composite number?
False
Let f = -19 - -22. Suppose -4*h = -3*k - h + 6, -k + 4*h - 7 = 0. Suppose f*s - 169 = 2*p - 0*p, -k*p - 98 = -2*s. Is s composite?
False
Let a(l) = -l**2 + 6*l - 3. Let m be a(5). Suppose -m*z + 39 + 31 = 0. Is z prime?
False
Let d(h) = 5*h**3 - 2*h**2 + 5*h - 4. Let y be d(5). Suppose y = -3*l + 7*l. Is l a composite number?
False
Let s(t) = 2 - 6 + 5 + 52*t. Is s(1) a composite number?
False
Suppose 4*k - 7998 - 3941 = -5*q, k + 4 = 0. Is q a composite number?
True
Let n(m) be the second derivative of -m**3/6 + 37*m**2/2 - 2*m. Let p(d) = -d + 4. Let h be p(4). Is n(h) composite?
False
Let y(g) = -g - 19. Let p be y(-14). Is 3 - p/(-1) - -133 a prime number?
True
Let h(z) = 258*z + 1. Let g be h(2). Let k = g - 326. Is k a prime number?
True
Let v = 1821 - -274. Is v prime?
False
Suppose -f + 0*f + 2 = 0. Suppose -10 = -f*o - 2*p, o - 3*p = -o - 5. Is (o/2 + 0)*3 composite?
False
Let s(r) = 16*r**2 + r. Let t(n) = n**2 + 5*n - 8. Let p be t(-6). Let w be s(p). Let d = -13 + w. Is d a composite number?
True
Is (0 + -2)*(2 - 3) prime?
True
Let o(g) = g**3 - 7*g**2 - 9*g - 1. Let d be o(8). Is ((-9)/d)/((-1)/(-163)) a prime number?
True
Let t(i) = 385*i - 16. Is t(3) prime?
False
Let b(m) = m**3 - 3*m**2 + 4*m. Let p be b(3). Let n = p + 21. Suppose 0 = 5*a - n - 62. Is a a composite number?
False
Let m = 140 + -66. Let i = m - 52. Is -2 + i + 1 + -2 composite?
False
Let g = -57 - -169. Suppose 2*l - g = -4*c - l, 0 = 3*l. Suppose c = -0*v + 4*v. Is v a prime number?
True
Suppose -5*q + 1533 = -512. Is q a composite number?
False
Let j(g) = g**3 - 4*g**2 - 5*g + 1. Let r be j(5). Let q = 14 + r. Suppose -5*b = q, -v = -2*v - 3*b + 140. Is v prime?
True
Let c(b) = -b**2 + 9*b + 10. Let i be c(10). Is (3 + i)*(-92)/(-12) composite?
False
Let o = -1851 + 2686. Is o a prime number?
False
Suppose -v - 5*g - 30 = -6*v, -4*v - 1 = g. Let p = 1 - v. Suppose -223 = -z - p*z. Is z composite?
False
Is (-154)/2*(-1)/1 a composite number?
True
Let p(z) = 54*z - 33. Is p(21) prime?
False
Is 5 + -3 + 2 + 444 - 3 a prime number?
False
Suppose -2*l = l. Suppose -4*u - 28 + 8 = l. Let h(p) = -10*p - 3. Is h(u) composite?
False
Suppose 5*x = 194 + 21. Is x a composite number?
False
Let b(d) be the third derivative of -677*d**4/24 + 2*d**2. Let u be b(-1). Suppose 3*j - 4*o = -2*j + u, 390 = 3*j + 3*o. Is j prime?
False
Suppose -f + 5 = -4*d - 62, -d = 2*f - 161. Is f a prime number?
True
Suppose 0 + 1 = -o, 1 = -2*d + o. Let y(i) = -225*i**3 - i. Let p be y(1). Is -3 - ((d - -1) + p) a composite number?
False
Is 14244/9 - 4/(-15 + 3) a composite number?
False
Suppose 7*u + 5*u - 6612 = 0. Is u a composite number?
True
Let s = -5 + 7. Is ((-5736)/18)/(s/(-3)) a composite number?
True
Is (2 + -4)/((-14)/217) prime?
True
Let l = -397 + 854. Is l a prime number?
True
Suppose 5*t = -5*t + 3710. Is t a prime number?
False
Suppose -4*t + 2*s = -1949 - 1031, 4*s + 2245 = 3*t. Is t prime?
True
Suppose 4*c - 9 = c. Suppose -y + 26 = 2*z, -z + 76 = 3*y + c*z. Let t = 119 - y. Is t a prime number?
False
Suppose 131*f - 136*f = -5545. Is f a prime number?
True
Suppose 12 - 37 = -5*j. Let t be (-10)/3*(-15)/10. Suppose 3*i = -2*i - 5, 40 = t*p - j*i. Is p a prime number?
True
Let w(l) be the first derivative of 5*l**3/3 + 3*l**2/2 - l + 2. Is w(4) composite?
True
Suppose 2 = -l + 5*g, -3*l + 6*l + 4*g - 32 = 0. Let p(h) = 2*h**2 - 10*h + 5. Is p(l) a prime number?
True
Suppose -4*i + v = 28, -16 = 2*i + 2*i + 2*v. Suppose l + d - 17 = 2*d, 5*d = -3*l + 67. Let y = l + i. Is y composite?
False
Let h(b) = 4*b**2 + b - 5. Let l(k) = k + 6. Let c be l(0). Is h(c) composite?
True
Is (196/(-112))/(787/788 + -1) a composite number?
True
Suppose 0 = 4*k - 8*k - 3*w + 11201, 11195 = 4*k + w. Is k prime?
False
Suppose 4*s + 28 - 67 = 5*b, -3*s - 5*b + 3 = 0. Is 886/s + (-8)/(-6) prime?
True
Let b = 655 + -24. Is b composite?
False
Is (-1 + -4)/5 - -1466 composite?
True
Let r = 320 + -119. Is (r/6)/((-2)/(-4)) a prime number?
True
Is 5/(-4)*-14*2 a prime number?
False
Let i be (12/9)/((-1)/(-3)). Suppose h - 2*h - 632 = -3*z, -5*h = -i*z + 839. Is z prime?
True
Let v(k) = 4*k**2 - 2*k + 7. Is v(-4) a prime number?
True
Suppose -6*o = -2*o. Suppose -2*j - 2 = o, m + j - 6 = -0*j. Suppose -4*p = -h - m, -5*p + 36 + 28 = 3*h. Is h composite?
False
Let b(w) be the second derivative of w**4/4 + 2*w**2 - 2*w. Suppose 0 = 4*q - 6 - 6. Is b(q) a prime number?
True
Suppose 401 = -0*j - j. Let x = 1042 + j. Is x composite?
False
Let i be 84*1 - (3 + -3). Suppose -4*p = 2*c - 4*c - i, 5*c + 72 = 4*p. Is p prime?
True
Let x = -8 + 13. Suppose 5*k + 2*t - 32 = 0, -k + 15 = 4*t + x. Is k a prime number?
False
Suppose 0*k - 6 = -3*k. Suppose -5*r + 5*z = -20, 2 = r - k*z + 1. Is (r - 1*-2) + 1 composite?
True
Let b be (-21)/(-14)*(-20)/(-6). Suppose b*t - 2*s = 149, 4*t - 50 = -3*s + 83. Is t a composite number?
False
Let u be (-1)/3 + (-16)/(-3). Suppose l - 26 = -u. Is l composite?
True
Suppose 3*x - 5624 = x + 3*h, 0 = -x - h + 2807. Is x a composite number?
True
Let c(z) = -284*z**3 + 3*z**2 + 1. Is c(-2) a prime number?
False
Let x(f) = -4 + 4 - f. Let c be x(-5). Suppose -5*d - v - 3*v + 53 = 0, c*v = -15. Is d a prime number?
True
Suppose 152 = 4*b - 5*m, -47 - 35 = -2*b + 4*m. Let y = -19 + b. Is y composite?
True
Let q = -25 - -58. Is q a prime number?
False
Is -3*(-2)/(-24)*-2876 prime?
True
Let g = 21 + -20. Suppose 4*r + 5*p - 226 = 0, g + 3 = -2*p. Is r a prime number?
True
Let f(c) = -3*c**2 - 2*c - 2. Let x be f(-2). Let y be (-2)/x - (-11)/(-5). Is (-1)/y - (-219)/6 composite?
False
Is (1800 + 14)/(1 - -1) a prime number?
True
Suppose -5*x + 3*g = -0*g - 182, 3*g = -5*x + 158. Is x prime?
False
Let v(q) = -q**3 - 6*q**2 + 13*q + 13. Is v(-9) a composite number?
False
Suppose a + 4 = 2*a. Is (-1 - (-518)/a)*2 composite?
False
Let a(d) = 3*d**2 - 3*d - 5. Let x be a(5). Let o be ((-39)/(-4))/((-5)/(-60)). Suppose 3*m + 2*q - o = 0, 3*m + 5*q + x = 181. Is m composite?
False
Suppose 242 = 5*p - 653. Is p prime?
True
Suppose -5*h + 5*w = -30, 5 - 2 = 3*h + 2*w. Suppose -35 = -4*i + h*i. Is i composite?
True
Suppose 2*z - m + 20 = -0*