ose 0 = 2*o + 2*o - 4. Suppose -4 = -5*j + o. Is (j - 2)/(1/(-33)) composite?
True
Let b be 1/(-1 - 12/(-10)). Suppose -n + 307 = 3*o, 4*o - 3*o + 1535 = b*n. Is n composite?
False
Suppose 0 = -2*s + 2 + 2. Suppose -5*d + s = -73. Is d prime?
False
Suppose 3*n - 5*n + 12 = 0. Let v = -12 - n. Is 4/v + (-2830)/(-18) a prime number?
True
Let q = 1203 - 436. Is q a prime number?
False
Let f(t) = -48*t + 11. Let a(w) = -2*w + 2. Let y be a(5). Is f(y) a prime number?
False
Suppose -6*n + 335 = -199. Is n prime?
True
Let v = -9 + 11. Suppose -4*r = v*i - 325 - 119, 12 = -3*i. Is r a composite number?
False
Let q(f) = 210*f + 1. Is q(1) prime?
True
Suppose -2*t + q = 3*t - 13, -4*q = -5*t + 22. Suppose 0*z = -t*z + 26. Is z a prime number?
True
Suppose -12*k = -7*k - 1255. Is k a prime number?
True
Let j = -4 + 12. Let v = j + -4. Suppose 78 = 2*d + 3*f, v*f = 3*d - 23 - 60. Is d prime?
False
Suppose -4*s = 0, -5*s = -2*q - 3*s + 414. Let u = -88 + q. Is u composite?
True
Suppose 3*z = 585 + 2334. Is z composite?
True
Suppose 814 = -2*u + 4*u. Is u a prime number?
False
Let r(y) = -98*y - 1. Is r(-1) a composite number?
False
Let a(v) = v - 2. Let n be a(5). Suppose -r - 5*z = -126, -6*z + n*z + 696 = 5*r. Is r a composite number?
True
Suppose -k = -5*k + 212. Is k composite?
False
Let l = -1634 - -2589. Is l a composite number?
True
Let g(f) = 4*f. Let h be g(2). Let z = 0 - 1. Let y = h + z. Is y a prime number?
True
Let i be 7 + (0 - 8/4). Suppose i*c - 328 = -3*v - 0*c, -5*c + 434 = 4*v. Is v a composite number?
True
Let o = -31 - -80. Let b(u) = u**3 - 4*u**2 + 3*u + 2. Let r be b(4). Let w = o - r. Is w composite?
True
Suppose 0 = 2*g + 5*s - 1338, g - 5*s - 163 = 536. Is g prime?
False
Let a(w) = -5*w**2 - 3*w - 9. Let b(k) = 21*k**2 + 13*k + 35. Let v(h) = -9*a(h) - 2*b(h). Is v(8) composite?
False
Suppose 0 = -0*t - 3*t. Suppose t = -i + 1 + 2, 3*h - 99 = 4*i. Is h composite?
False
Let g(x) = 4*x**2 + x + 2. Let s be g(-3). Suppose w - 6*w = -s. Is w composite?
False
Suppose -3*h = 2*t - 1754, 3*t + 4385 = 8*t + 3*h. Is t a composite number?
False
Let a(y) = -y**2 + 3*y - 1. Let f(r) = -2*r - 3. Let g be f(-3). Let i be a(g). Is i/1*-14*1 composite?
True
Suppose -2*s = -2*i + 142, 5*s + 3*i = -478 + 139. Let b be 1 + -3 + 2 + 162. Let x = s + b. Is x a prime number?
False
Let z(o) = o**2 + 4*o - 2. Let y be z(-7). Suppose -5*a - b - 2*b + 15 = 0, 4*a = -b + y. Is a a prime number?
False
Is 440 - (0/2 + 3 - 2) composite?
False
Suppose 0 = -5*g + 20. Suppose 0 = 2*k - k - g. Suppose k*w = -4*b + 300, -4*b - b = 2*w - 387. Is b prime?
True
Is (-24)/56 - (-3894)/21 prime?
False
Let u(v) = 2*v - 6. Suppose w + 5*y + 21 = 0, 5*w = -y - 0*y + 15. Let l be u(w). Suppose -3*q + l*o = -63, 5*q = 3*o - 2*o + 98. Is q a prime number?
True
Suppose 4*a - 2*b + 6*b = 48, 2*b = -2. Let t = 22 - a. Is t prime?
False
Let q = -243 - -622. Is q composite?
False
Let m(y) = -y**3 - 7*y**2 + 9*y + 5. Let x be m(-8). Let o(f) = -2*f - 3. Let k be o(x). Suppose 0*z + 40 = v + k*z, -3*v = -4*z - 159. Is v prime?
False
Let a be -1*(-7)/(21/(-18)). Let q be 4/18 + a/27. Suppose -g = -q*g - 167. Is g composite?
False
Let w be (-50)/(-15) - (-1)/(-3). Suppose -4*m - 3*d + 203 = -6*d, w*d - 220 = -5*m. Is m a prime number?
True
Suppose -r = r - 658. Suppose 2*c = 5*i - r, -5*i + 255 = 2*c - 86. Is i prime?
True
Let p(x) = x**3 + 12*x**2 + 16*x + 15. Is p(-10) a composite number?
True
Let x = 309 + -641. Let f = -129 - x. Is f composite?
True
Suppose -2*r + 5*r - 15 = 0. Let q be 2 - (0 + 0 - -8). Let v = r - q. Is v prime?
True
Let y = -23 + 47. Let o = 107 - y. Is o a prime number?
True
Let c(z) = -z + 2. Let x be c(0). Suppose -2*p + p = x. Is ((-6)/4)/(p/44) a composite number?
True
Let g be (-2568)/21 + 2/7. Let m = -27 - g. Is m a composite number?
True
Let o = -5 + 5. Let a be (0 - o) + (176 - -4). Suppose 0 = -2*s - 2, 5*s - a = -4*v + s. Is v a composite number?
True
Let g be 6*1 + 2 + -5. Suppose 0*z + 2*z + 111 = 5*k, -2*k - g*z + 52 = 0. Is k a prime number?
True
Let n(p) = p**3 + 10*p**2 - 4*p + 3. Let m be n(-7). Suppose 2*w = -6, 4*h - 2*w = m - 32. Is h prime?
False
Let s = 2 + 2. Suppose 12 + 0 = s*u. Suppose 0 = -2*r + 5*l + 18, -20 = -2*r + u*l + l. Is r a composite number?
True
Suppose -o = -3*s + 12, -s - 1 = -2*o - 5. Suppose -77 = s*w + 23. Is 1 - (2 + 1 + w) a composite number?
False
Let n be (-3)/(-12) - 7/(-4). Suppose 0 = 4*g - 10 + n. Suppose r = g*r - 47. Is r a composite number?
False
Let f = 10 + -7. Suppose f*z + z = 8. Is z + 38/2 + 2 prime?
True
Let s be -3 + 261 + (-1)/1. Let m = s + -98. Is m composite?
True
Let j(z) be the second derivative of -41*z**3/3 + z**2/2 - 3*z. Is j(-1) composite?
False
Let v(j) = 5*j. Let d be v(2). Suppose 0 = 3*z - u - 8, 3*z + 2*u - 3 = -d. Is 15*(z - 0/1) composite?
True
Let k(f) = 8*f**3 + 2*f**2 + 2*f - 2. Let c be 12/(-8)*(-8)/6. Let a be k(c). Suppose 0 = -5*r + 3*r + a. Is r a prime number?
True
Suppose -4*p + 2*t = -t - 48, 0 = 4*p + 3*t - 48. Suppose -2*i + 5*i = -3*c + p, -2*i + 5*c - 13 = 0. Is 1 - (0 + -35) - i a prime number?
False
Let s(n) = -n**3 - 11*n**2 - 6*n - 18. Is s(-13) composite?
True
Let d be -8 - (-1 + 2 - 3). Let n = d + 8. Suppose -54 = x - 5*x + n*b, -4*b + 18 = x. Is x a prime number?
False
Let b be 4/6 + 2/(-3). Let k(c) = 2*c + 223. Is k(b) a composite number?
False
Let z = -23 + 25. Is -1*(-2)/(z/373) prime?
True
Let g(i) = -i**2 + 6*i - 1. Let x be g(5). Suppose -3*v = -v. Suppose 20 = 5*u + 2*z, 3*u = -v*u - x*z - 2. Is u a prime number?
False
Let j(k) be the third derivative of -k**5/24 - k**4/8 - k**3/6 - 2*k**2. Let a(i) be the first derivative of j(i). Is a(-2) a composite number?
False
Suppose 2*d - 305 = -25. Suppose -d = -6*p + p. Let i = p - 9. Is i prime?
True
Let t be 9*-1*(-8)/(-6). Is 68*(2 + 15/t) composite?
True
Let j be -2 + 3 + 2 - 1. Suppose j*m - 69 = -7. Is m prime?
True
Suppose 4*a + 3*w - 14 = 0, -2*w + 0*w = 4. Suppose -a*g + 3235 = -0*g. Is g prime?
True
Let w be (-1 - 0)/((-13)/(-39)). Is (w/(-2))/(1/46) prime?
False
Let f(a) be the third derivative of -a**5/60 + 7*a**4/24 - 5*a**3/6 - 2*a**2. Let w be f(5). Suppose -w*r - 94 = -4*n, 4*n - r - 65 = 37. Is n a prime number?
False
Let v(t) = 12*t - 13. Is v(6) a prime number?
True
Suppose -4*j - 517 = -2*h - j, 2*h - 527 = 5*j. Is h a composite number?
False
Let b be (-4)/(-10) + (-2372)/(-20). Let m = b - 84. Is m composite?
True
Let c = 821 - 444. Is c a composite number?
True
Suppose -269 = -6*c + 5*c. Is c prime?
True
Let a = -1 + 1. Let w(h) = -h - 139. Let y(l) = l + 138. Let g(c) = -5*w(c) - 4*y(c). Is g(a) prime?
False
Let o(u) = 32*u**3 - u**2 - 5*u + 4. Let m(v) = -v**3 + v**2 - v + 1. Let a(q) = 3*m(q) - o(q). Let t be a(-2). Let g = t + -172. Is g a composite number?
True
Let b = 809 - 558. Is b a composite number?
False
Let x be (-20)/(-6) - (-2)/3. Suppose x*v + 0*v = 148. Is v a composite number?
False
Suppose 0*h - 4 = -h. Suppose -r - r = h*s - 122, 2*r - 4*s = 122. Is r/3 + 2/3 a prime number?
False
Let k = 3 - 3. Suppose -3*d + k*d = -204. Let t = -45 + d. Is t a prime number?
True
Let z = 776 + 67. Is z composite?
True
Let y(p) = -26*p**3 - p**2 + 2*p + 3. Is y(-2) composite?
True
Is 173 - 0 - 3/(-3)*4 composite?
True
Suppose 0 = -q + 6*q - 1350. Suppose -5*d + 3*t = -q, 3*d + 3*t - 16 - 122 = 0. Is d prime?
False
Let s(g) = 10*g**2 + 2*g - 5. Is s(4) a composite number?
False
Let t(i) = -i**2 + 15*i + 3. Let m be t(15). Suppose p + 154 = m*p. Is p prime?
False
Is -5 - -1 - (-319 + 14) a composite number?
True
Let v = 286 - 125. Suppose d - 2*c = v, -3*d = 2*c - c - 490. Is d prime?
True
Is 32914/21*(-6)/(-4) a prime number?
True
Suppose 4*j = 7 + 9. Suppose -20 = -4*d, j*v - 29 = -6*d + d. Is (195/(-3))/v*-1 a composite number?
True
Let o be (-4)/(32/(-26))*8. Suppose 0*m - 8 = -v - 4*m, v = 3*m + 29. Let u = v + o. Is u a prime number?
False
Let k be (4/(-6))/(2/(-6)). Suppose -f - 5*j + k*j + 17 = 0, 9 = 2*f + j. Suppose 4*x - c = c + 32, f*x + 4*c - 36 = 0. Is x a prime number?
False
Let o(j) = -11*j**3 + j + 1. Is o(-2) composite?
True
Suppose 2*z - 1 = -4*w - 3*z, 3*w - 3*z = 21. Suppose f = w*f - 156. Suppose -f = -4*h + 80. Is h a prime number?
False
Suppose -2*a + 1 =