-45, h*v + q + 15 - 36 = 0. Suppose 3*t = -2*f + 77, -2*t = -v*f + 2*t + 104. Is f prime?
True
Let t = -1 - 1. Let v be 4/6*(-12)/t. Suppose -v*z = -2*g + 54, 0 = -5*g + 5*z - 10*z + 210. Is g composite?
False
Suppose -2*f = 3*j + 2*f - 3341, 0 = j + 5*f - 1110. Is j a composite number?
True
Let j be ((-266)/(-8))/((-1)/(-4)). Let a be (-3)/((-14)/4 - -2). Suppose j = a*m - m. Is m a composite number?
True
Let v(m) = -m - 1. Let o be v(5). Let h = o - -5. Is h*2*62/(-4) composite?
False
Let c(j) = 1480*j + 1. Is c(1) a composite number?
False
Let m = -214 - -125. Let n = m + 156. Is n a composite number?
False
Suppose -2*q - 1 + 29 = 0. Is q a composite number?
True
Let t = 0 - 3. Is 650/15 - (-1)/t a composite number?
False
Suppose -3*b = d - 3*d + 511, -3 = b. Is d prime?
True
Suppose 3 = -3*u + 12. Let l be 3 + (u - 9 - 1). Is (-3370)/(-30) + l/(-6) a prime number?
True
Let b(r) = -14*r**3 - r**2 - r. Suppose -12 = 5*w - 2. Let g be b(w). Suppose -5*k + 0*k = -g. Is k composite?
True
Let u(a) = -a**3 + 6*a**2 + 7*a. Let p be u(7). Suppose x - 22 = -b, -2*x - b = -p*x - 40. Let g = x - -1. Is g a composite number?
False
Let g(u) = 40*u + 2. Let z be g(4). Suppose b - 28 = -3*f - 162, b = 4*f - z. Is b/(-4) - 4/(-8) a composite number?
False
Suppose -5*s - 5 = -0, -5*s = g - 246. Suppose 2*h = -195 - g. Let i = 314 + h. Is i composite?
True
Is (-18414)/(-10) + 6/(-15) prime?
False
Let p = -2316 - -4711. Is p composite?
True
Let b(y) = y**2 - 3*y + 11. Let i be b(8). Suppose 0 = x + 3*j - 5, 4 = 4*x + j - 5*j. Suppose -x*t + t = -i. Is t a composite number?
True
Let y be 77/14 - (-3)/(-2). Is y/(-16) + 2074/8 prime?
False
Suppose -2 = -p + 5*s, -5*p + 7 - 24 = 2*s. Is 3 - (-110)/(p - -5) a composite number?
True
Let b(a) = 19*a + 2. Is b(11) a prime number?
True
Let o = 657 - -514. Is o a prime number?
True
Suppose 2*u + 28 = 4*u. Suppose -4*q = -222 - u. Is q prime?
True
Suppose -7 - 1 = -4*y. Suppose 4*m - y*m = 28. Is m a composite number?
True
Let p = -2 + 4. Suppose 0 = 2*a + p*a - 340. Is a prime?
False
Let r(u) = -u**2 - 12*u - 15. Let f be r(-10). Suppose 4*t = f*i + 1033, -t - t + 513 = i. Is t a composite number?
False
Let b be -3*(0/(-2) + 107). Let m = 480 + b. Suppose 7*d - m = 4*d. Is d composite?
False
Let x(i) = 5*i**2 + i - 1. Let f(u) = u**2 + 6*u - 2. Let j be f(-6). Let z(w) = -w**3 + 2*w. Let c be z(j). Is x(c) a composite number?
False
Suppose 2*y = 195 + 149. Suppose -2*q = -7*q + p + y, 0 = -2*q - 5*p + 58. Is -2 + 2 + q + -1 composite?
True
Let z(a) = a**3 + a + 36. Let m be z(0). Let g be (-8)/m + 1991/9. Let b = -36 + g. Is b prime?
False
Let t(a) be the third derivative of 11*a**4/6 - a**2. Let s be t(-1). Is ((-2)/(-4))/((-2)/s) a composite number?
False
Let d be (-4)/(-18) - 6/27. Suppose -2*k + 0*k + 8 = d, -3*j - 2*k = -77. Is j a composite number?
False
Let j = 11 - 6. Suppose -65 = -5*p - 5*n, j*p - 2*n = -n + 65. Is p prime?
True
Let b be (-2)/(-5) + (-85)/25. Let n(j) = -3*j**3 - 3*j**2 + j + 2. Is n(b) a composite number?
False
Let i(g) = g + 318. Let w be i(0). Let k be 15725/35 + 2/(-7). Let c = k - w. Is c prime?
True
Let l(u) = 3*u**3 + u**2 + 31. Is l(7) prime?
True
Suppose -3*a = -0*d - 4*d + 265, -d = 5*a - 72. Suppose 2*k = 15 + 81. Let t = d - k. Is t a prime number?
True
Let q(v) be the second derivative of -v**5/10 - v**4/4 + 2*v**3/3 + v**2/2 + v. Suppose -s + 8 - 12 = 0. Is q(s) composite?
True
Suppose 5*v = -d + 3750, -2914 = -5*v + 2*d + 851. Is v a prime number?
True
Let t = -93 - -874. Is t a composite number?
True
Suppose 0 = -2*l - 2*v + 8, -2*l + 8 + 4 = 3*v. Suppose 5*r = -5*o + 1275 - 125, 5*o - 2*r = 1150. Suppose 5*q = -l*q + o. Is q prime?
False
Let w = 161 + -90. Let t = -40 + w. Is t a composite number?
False
Let c(g) = -g**2 + 7*g - 23. Let p(s) = -2*s + 8. Let u(l) = -3*c(l) - 8*p(l). Is u(5) prime?
False
Suppose 6*c - 3*n = 4*c + 12, -4*n = 16. Suppose -l + 2*l - 4 = c. Suppose l*y + 51 = 5*u, -u + 2*y = 4*u - 43. Is u prime?
True
Let t = 160 + -75. Is t a prime number?
False
Is (-5742)/(-30) - 2/5 a prime number?
True
Suppose 41 = -5*x + 4*d - 0*d, -2*d = -8. Let y = 2 - x. Is y prime?
True
Let y(a) = -22*a + 7. Let f(k) = 23*k - 8. Let c(l) = -3*f(l) - 4*y(l). Is c(3) prime?
True
Suppose g - 13 = -2*w, -g = -4*g + 3*w - 6. Suppose -3*h = -g*q - 271 + 742, -2*q + 338 = 4*h. Let d = -70 + q. Is d a composite number?
True
Let p(r) = -17*r + 16. Let m(x) = -x**3 - 7*x**2 - 5*x - 5. Let k be m(-6). Is p(k) composite?
True
Let y(b) = b**2 + 7*b + 3. Let m be y(-8). Suppose -3*n + 28 = -m. Is n a composite number?
False
Is 1/(2 + -3) + 294 a composite number?
False
Let w(x) = x + 6. Let z be w(-7). Let r = 14 + z. Is r composite?
False
Suppose 33 = -2*p + c + 4*c, 0 = p - 3*c + 19. Let m(l) = l**2 - 2. Is m(p) a composite number?
True
Suppose -8 - 282 = -2*o. Is o prime?
False
Let a = -34 - -14. Is 6/(-10) + (-7432)/a a prime number?
False
Let z be (4/(-12))/((-2)/18). Suppose 1784 = 11*d - z*d. Is d a prime number?
True
Suppose 0 = -2*r - 3*d - 2, -7*d + 22 = -3*r - 2*d. Let s(j) = -j**3 - j**2 + 6*j + 2. Is s(r) composite?
True
Let a(r) = 2*r**3 - 10*r**2 - 7*r + 23. Is a(10) prime?
True
Let c(t) = -t**2 - 11*t - 3. Let o be c(-9). Is (485/o)/((-1)/(-21)) a prime number?
False
Let j = 3 + -1. Suppose -j*d - 3*h = -0*h - 4, -48 = -4*d + 4*h. Let x(g) = -g**3 + 10*g**2 - 4*g - 5. Is x(d) prime?
False
Suppose -30 = 2*h + 2*w - 0*w, -4*w - 4 = 0. Let b = 29 + h. Is b a composite number?
True
Let z(i) = -i**3 + 12*i**2 - 6*i + 15. Is z(8) a prime number?
True
Let h(x) = -x**3 - 4*x**2 - 3*x - 3. Let q(p) = 2*p**3 + 8*p**2 + 6*p + 7. Let v(g) = -7*h(g) - 4*q(g). Let c be (-100)/15 + 2/3. Is v(c) a prime number?
True
Suppose 0 = 4*h - 0 + 4. Let y = 21 + h. Is (8/y)/(1/5) a prime number?
True
Suppose -6*y + y = -750. Let k = y + -100. Suppose 2*n + k = 4*a, 2*n + 67 = 5*a + n. Is a prime?
False
Suppose -5*d + 20 = 0, 0 = -3*g + 7*g + d - 8. Let y be g/4 + (-134)/(-8). Suppose -3*l - 5*f + 94 = 0, -f = -l + y + 1. Is l prime?
True
Suppose 5*n + 5 - 15 = 0. Suppose 0 = n*w + w - 12. Suppose 0*u = -4*u - 5*z + 151, -2*u = -w*z - 82. Is u prime?
False
Let v(l) = -l**3 + 469. Let g be (0 - 0)*(-4 - -5). Is v(g) composite?
True
Let q = 0 + 62. Is q a prime number?
False
Is ((-3898)/(-6))/((-6)/(-18)) a composite number?
False
Let x = -10 - -25. Suppose 0 = b - 0*b + x. Is (10/b)/(4/(-690)) a prime number?
False
Is 0 + (7057/(-3))/(2/(-6)) prime?
True
Let b(p) = 11*p**2 - 2*p + 2. Is b(3) composite?
True
Let v be 3/9*(7 - 1). Let d be 6 + -5 - v/(-1). Suppose 0 = 2*i - d*i + 129. Is i composite?
True
Let a(x) = -x**2 - 6*x - 3. Let z be a(-7). Let b be (z/(-4))/((-3)/(-12)). Suppose -f + b = -79. Is f a prime number?
True
Suppose 0 = 3*a + 2*x - 2, 9 = -4*a - 5*x. Suppose 5*y - 8 + 2 = a*c, -8 = -4*y. Is 94*(c - 2/4) composite?
False
Let a = 3185 + -5783. Is (-6)/(-8) + a/(-24) composite?
False
Let t = -2 + -3. Let d = 5 + t. Suppose -z + 3*z - 226 = d. Is z composite?
False
Let d be 6/9 - (-8)/6. Suppose -271 = -d*s + 19. Is s composite?
True
Let v be 4 - 4 - 0/2. Suppose 0*i - 2*i + 154 = v. Is i a composite number?
True
Is (-1270)/(-1) + (-1)/((-4)/(-12)) composite?
True
Let h be -3 + 0 + 21/3. Is 6/h*678/9 prime?
True
Let c(h) = h**2 - h + 47. Let x(w) be the second derivative of w**4/12 - 2*w**3/3 + 3*w**2/2 + 2*w. Let u be x(3). Is c(u) a prime number?
True
Let i(a) = -17*a - 1. Let b be i(-2). Let g = 14 + b. Is g a prime number?
True
Let w(r) be the first derivative of 7*r**2 + 13*r + 4. Is w(5) composite?
False
Suppose 5*l + 0*l + r = 13, -3*l + r = -11. Suppose 0 = -l*k + 10 + 32. Is k composite?
True
Let r = -11 + 16. Let o(g) = -g + 6 + 0*g + 2*g. Is o(r) a composite number?
False
Let x be (6/(-5))/((-6)/15). Suppose -3*u - 5*d = x + 3, -12 = u + 5*d. Suppose 3*v - 363 = -r - u*r, 2*v - 242 = 5*r. Is v prime?
False
Suppose 3 = -2*s - 5. Let p = 8 + s. Suppose -3*j + 4*j + 182 = 2*o, 455 = 5*o + p*j. Is o prime?
False
Suppose -3*z - 4*r + 8 - 2 = 0, 3*r - 9 = 0. Suppose 4*b = -3*j + 102, 5*j + 0*j + 4*b = 170. Is z + (-3)/((-6)/j) a prime number?
False
Let g be 2/(1 + 7/(-9)). Let z = -5 + g. Suppose -4*t - z*n = -80, 0*n - 9 = 3*n. Is t a composite number?
False
Let p(n) = 2*n*