k**3 + 9*k**2 - 7*k - 4. Let d(y) = -4*h(y) - 7*r(y). Let b be d(0). Suppose -x + 18 = b*x. Is x composite?
True
Let z = 35 - 4. Is z composite?
False
Let i(z) = -z + 7. Let f be i(5). Suppose l = -4*r + 1, -l - l + 32 = f*r. Is l prime?
False
Suppose -q + 150 = -61. Is q composite?
False
Let s be (2 - (3 + 1)) + 6. Suppose -2*x - 257 = -t, 4*x + 1291 = s*t + t. Is t composite?
True
Let v(u) = -u**2 + 4*u + 2. Let z be v(5). Let k be (2 + -2)/(0 + z). Suppose k = 3*f - 0*f - 57. Is f a composite number?
False
Suppose -16*b = -13*b - 1659. Is b prime?
False
Let z = 4 - 1. Let o be 100/8 - 1/(-2). Is -2 + 6/z + o a prime number?
True
Is 12/3 - (-253 - 2) prime?
False
Let n(x) be the first derivative of 2*x**3/3 + 4*x**2 - 11*x - 3. Let r be (-1)/(-4) - 148/16. Is n(r) composite?
False
Let w be (-1)/(-6) - (-3)/(-18). Suppose 3*j + w = 153. Is j composite?
True
Suppose -2*c - c = -921. Is c a composite number?
False
Suppose -6*q = -3*q - 57. Suppose 9 + q = g. Let u = g + -17. Is u composite?
False
Suppose 3*l - h + 11 = -0*h, -4*h = -3*l - 17. Let d be l/(-1*(-2)/(-2)). Suppose 9 = d*v + 2*b - 16, 4*v - b = 48. Is v composite?
False
Suppose -3*f - 5*g - 30 = -8*f, g + 2 = 0. Suppose f*m = -3*x + 459, -x - 217 = -2*m - 0*x. Is m composite?
True
Let v be -12*((-5)/35 + (-15)/(-7)). Let z(d) = 7*d + 7. Let w be z(-6). Let m = v - w. Is m a composite number?
False
Suppose 0 = -3*w - 2*w. Suppose w = -y - y + 42. Is y a composite number?
True
Let q = -143 + 2220. Is q prime?
False
Suppose -3*q - 1145 = -5*c, 2*c - 4*q - 458 = -3*q. Let y = 524 - c. Is y prime?
False
Suppose -15 = 3*l, -5*i - 6 = 4*l + 14. Suppose -4*r + 1 + 135 = i. Is r a composite number?
True
Let b = -2 - -2. Let m(z) = -z**3 - z**2 + 44. Let f be m(b). Suppose -4*d + f = 2*r, -5*r + 48 = 4*d + 4. Is d prime?
True
Let g(s) = -7*s. Let r be 1/(-3)*(2 - -13). Is g(r) a composite number?
True
Suppose -64 = -2*d - 2*d. Suppose -r = 2*l + 8, -r + 3*l + l + d = 0. Suppose -2*u + 32 = t, r*u - u - 5*t = -25. Is u a prime number?
False
Suppose -754 = -4*z + 474. Is z prime?
True
Let l(f) = 15*f**2 + 4*f + 3. Let o be (-4)/(-22) - (-168)/44. Let b be o*(2 + -4 + 3). Is l(b) a prime number?
False
Suppose 5*m - 363 = b + 457, -5*m + 5*b = -840. Is m prime?
True
Let o = 189 + -86. Is o a composite number?
False
Let t(b) = -23*b**3 - b**2 - b - 3. Is t(-2) prime?
True
Let b be 4 + (-2 - -6 - 3). Suppose 707 = a + 4*z, -b*a + 1188 = 4*z - 2315. Is a a composite number?
True
Suppose 4*u = -5*w + 2*u + 18, w - u + 2 = 0. Suppose -y - 4 = 0, s = -w*y - 0*y + 5. Is s prime?
True
Suppose -3*v = 2*p - 13394 + 4097, -4*v - 3*p + 12395 = 0. Is v a prime number?
False
Let g = 66 + -33. Is g prime?
False
Let z = -1 - 2. Is 2/z - (-321)/9 prime?
False
Let t(f) = -f**2 + 3*f. Let g be t(2). Suppose -h - g = -15. Is h composite?
False
Suppose l - 4 = -l. Suppose -4*i = -l*i. Suppose 4*k - 16 - 20 = i. Is k a composite number?
True
Let z(f) = -f**2 - 7*f - 2. Let k be z(-5). Is ((-45)/6)/((-4)/k) composite?
True
Suppose 4*o - 60 = -3*f + 4*f, 4*o = 4*f + 48. Is (-60)/o*(-8)/3 composite?
True
Let n(f) = 5*f + 2. Let r(v) = 9*v + 5. Let o(b) = 5*n(b) - 3*r(b). Let l be o(4). Let m = l + 26. Is m a prime number?
True
Suppose -3*q + 6 = -0. Suppose -p + 3382 = 5*m + q*p, -2*p = 2. Is m composite?
False
Is -4 - (-2)/4*4 - -409 composite?
True
Let t(l) = 5*l + 1. Let h be t(1). Is (12/(-18))/(h/(-4239)) a prime number?
False
Let l = 1683 - 998. Is l a prime number?
False
Let o(n) = -8*n - 3. Let s be o(-5). Let t be -3 - ((-12)/(-2))/(-2). Suppose t = -0*f + f - s. Is f a composite number?
False
Suppose 3*t = 9 - 3. Let w be 1/t - (-50)/4. Suppose -4*k = k - 3*v - 65, k + 3*v - w = 0. Is k prime?
True
Suppose 4*l = 3*l + 5*g + 48, -2*l + 105 = -g. Is l a prime number?
True
Suppose -3*x + 8*x - 25 = 0. Suppose x*k = -0*k + 275. Is k a composite number?
True
Let j(u) = u + 2. Let b(g) = -g - 1. Let r be b(-7). Let h be j(r). Let c(s) = -s**3 + 8*s**2 + s + 5. Is c(h) a prime number?
True
Let m = 7 - 4. Suppose m*b = -4*l + b + 66, 2*b = -5*l + 81. Is l a prime number?
False
Let v be (-3)/4 - (-2625)/(-20). Let f = v + 319. Is f a composite number?
True
Let u be 14/(-21) + 16/(-3). Is ((-255)/(-9))/((-2)/u) a prime number?
False
Let p be 14/(-4) - 1/2. Let i be (-225)/(2/p*2). Let t = i + -22. Is t a composite number?
True
Is 1 - 12/3 - (2 - 1879) a composite number?
True
Suppose 5*m - 301 = -2*s, -s + 3*m - 94 = -239. Suppose a = s - 54. Is a prime?
False
Let l(r) = -r**3 + 0 + 45*r**2 + 12*r - 5 - 34*r**2. Let v be ((-1)/2)/(2/(-44)). Is l(v) composite?
False
Let m be (-4)/(-12) - (-287)/3. Let f = -29 + m. Is f prime?
True
Let o = -52 - -32. Let d = 35 + o. Is d prime?
False
Let m(b) = 5*b**2 + 3*b + 3. Is m(4) prime?
False
Let o(g) = 1 + 3 + 4 - 1 + 25*g. Is o(6) a prime number?
True
Let y = -4 - -7. Suppose -4*x + 18 = 5*a, -3*a + 9 = y*x - 3. Suppose 0*u + 526 = 4*p - x*u, 2*p - 260 = 2*u. Is p a composite number?
True
Let z(d) = -d**3 - 5*d**2 + 6. Let p be z(-5). Is (0 + -3)*(-1 - p) composite?
True
Let m be 8/((-8)/(-4)) - 32. Is ((-830)/20)/(2/m) a composite number?
True
Suppose -2*v = -v - 57. Is v prime?
False
Let t be 4893/5 + 6/(-10). Let m = t + -485. Is m a composite number?
True
Let l(f) = -f**3 - 10*f**2 - 8 - 5 - 10*f + 1 + 3. Let k be l(-9). Is k - 2/2*-43 prime?
True
Suppose 14 + 1 = 5*i. Suppose -i*r + 1251 = 150. Suppose r = 4*s - 169. Is s a prime number?
False
Let v be (-1897)/(-6) - 3/18. Suppose 3*n - v = -n. Is n composite?
False
Let n be (-12)/8 + 2/(-4). Is -4*669/24*n a composite number?
False
Let j(x) = -x**3 - 9*x**2 + 4*x. Let l be j(-7). Let b = l - -205. Is b composite?
False
Is 9/(-2)*1228/(-6) a prime number?
False
Let d be 161/5 + 3/(-15). Let m = 57 - d. Is m composite?
True
Let h(y) = 71*y + 3. Is h(4) a composite number?
True
Suppose 2*t - 3*g + 4*g - 7299 = 0, 0 = t + 5*g - 3672. Is t composite?
True
Let q = -1 + 3. Suppose -q*c = 118 - 500. Is c prime?
True
Let r be -7*(64/(-28))/4. Suppose 5*d - 100 = -u, -r*d - 4*u = -56 - 40. Is d a prime number?
True
Let b be 1 - 0 - 0 - -6. Let f = 0 - b. Let g = 30 + f. Is g a composite number?
False
Suppose 3*i + 2*i = 170. Let d = -11 - -80. Let r = d - i. Is r composite?
True
Suppose 2 - 111 = -y. Let z = y - 22. Is z prime?
False
Let k(h) be the first derivative of -2*h - h**3 - 1/4*h**4 - 7/2*h**2 + 3. Is k(-5) a prime number?
True
Suppose 6 = 2*h - 0*h. Suppose 0 = -0*t + h*t + r - 203, -2 = -r. Is t a prime number?
True
Is 37/(20/4 + -4) prime?
True
Suppose 0 = 4*l + 4*z - 2832, -5*l = 2*z - 1140 - 2385. Is l prime?
False
Suppose 2*o = -2*r + 3*r + 3, 4*r + 4*o - 24 = 0. Suppose -1484 = -d - r*d. Is d prime?
False
Let a be -3 - (1 + (-3 - -1)). Is 1*314*a/(-4) a composite number?
False
Let f be 2 - 2 - (2 - 28). Suppose -o + 99 - f = 0. Suppose -5*b + o = -562. Is b a composite number?
False
Let p(q) = -q**3 + 9*q**2 - 7*q - 11. Let v be p(8). Is 3*(-37)/9*v prime?
True
Suppose -h + 68 = 3*h. Let z = -8 + h. Let o(k) = -k**2 + 11*k - 5. Is o(z) a composite number?
False
Suppose 5*u - 119 = 216. Is u a composite number?
False
Let k be (54 - 1)/(1/1). Let o(p) = 4*p**3 + p**2 + p - 2. Let q be o(-2). Let y = q + k. Is y prime?
False
Suppose -4*m = -4*t + 26 + 2, -5*t = -m - 19. Let p = -6 - m. Is -37*2*p/4 composite?
False
Let u(q) = -q**2 + 7*q + 6. Let p be u(7). Is 61 + 4/p*-3 a composite number?
False
Let l = 367 - 172. Suppose 0*x + 160 = 5*x. Let t = l - x. Is t a prime number?
True
Let k be (4 + -3)/(3/18). Is (-357)/k*-4 + -1 prime?
False
Suppose 8 = -0*b + 4*b. Suppose l - b*l = -4*k - 35, 3*l + 2*k = 133. Is l a composite number?
False
Suppose 0*i = i, 2*b - 184 = 4*i. Let p be 2/(-7) + b/28. Suppose 2*r - 103 = -p*n, 0 = -0*n - n - 4*r + 41. Is n prime?
False
Suppose -4*u - 4*n = -1928, -u - 110 = 5*n - 588. Suppose 3*y - 957 = -4*h, u = 2*h + 5*y - 2*y. Is h composite?
True
Let b(g) = -2*g**3 - 4*g**2 + 2*g + 3. Let i(v) = -v**3 + v**2 + v - 1. Let p be i(0). Let o be ((p - -2) + -4)*1. Is b(o) composite?
True
Let g = 791 - 312. Is g prime?
True
Let d = -2626 - -4847. Is d a prime number?
True
Is (92/6)/((-26)/(-5109)) a composite number?
True
Let t = -690 + 1069. Is t a prime number?
True
Is (3 - 1)/((-20)/(-130