6*f + 11. Let v be s(6). Let y be (4 - v - -2) + 1. Let z(j) = -13*j - 9. Is z(y) prime?
True
Suppose 93*y - 2051 = 86*y. Is y a prime number?
True
Let t = -47 + 47. Suppose k - 845 = -2*x, 2*x - 2523 = -t*k - 3*k. Is k composite?
False
Let u = 6564 + 1057. Is u a composite number?
False
Let v = -3069 + 5198. Is v composite?
False
Let j(a) = a**3 + 8*a**2 + 7*a + 4. Let m be j(-7). Suppose -3*q = 0, -q + 4908 = m*y - 0*y. Is y a prime number?
False
Let k be (-1)/(-1*(-1)/(-3)). Suppose -4*c + d = 18, 1 + 5 = -k*d. Let v = 5 - c. Is v a prime number?
False
Let o = 1 - -2. Suppose 54 = u + o*u - 3*r, 0 = -2*r + 4. Suppose -3*t + 36 = -2*l, u = -6*l + l. Is t a prime number?
False
Is -31 - -27 - (1 + -2312) a prime number?
False
Let j = 351 - 31. Suppose 5*g - j = -3*v, -10 = g - 3*v - 92. Is g composite?
False
Let a(g) = 3*g + g**3 - 4*g + 15 + 11 - 22*g**2 - 9. Is a(24) a composite number?
True
Let c(z) = 531*z - 4. Suppose -27*l + 6 = -25*l. Is c(l) a composite number?
True
Suppose 451 = v - 3*z - 2095, 10 = 5*z. Suppose -4*l + 1676 + 844 = -3*i, 0 = -4*l - 5*i + v. Is l a composite number?
True
Suppose -8054 - 6866 = -8*o. Is o prime?
False
Let b(j) be the third derivative of -5/6*j**3 - 2/15*j**5 + 1/120*j**6 - 4*j**2 + 1/3*j**4 + 0*j + 0. Is b(8) prime?
True
Let r = -18 - 31. Let i = 488 + r. Is i a prime number?
True
Suppose m - 1 = 2. Suppose 23 = 4*p - m*q, -5*p + 1 = 2*q - 22. Suppose 6 = -p*t + 391. Is t prime?
False
Let a be ((-4)/4)/(1/(-2)). Suppose 2*c + 1 - 9 = y, y - a = -3*c. Suppose -4*f = -3*v - 2 + 3, -2*v + 4 = -c*f. Is v a prime number?
True
Let b = -12368 + 25027. Is b composite?
False
Suppose 60*o = -17*o + 4131127. Is o prime?
False
Is 2656350/126 + (-6)/(-7) a composite number?
True
Suppose 6*b = 2*b. Suppose b = -0*v + 5*v - 16675. Suppose 3*p - 867 = -5*q + 2504, 4*q = 3*p - v. Is p prime?
True
Let a be 6/(-8) - (-945)/60. Suppose -14*o = -a*o + 37. Is o a composite number?
False
Let o = 5047 + 10212. Is o prime?
True
Let z be (-1)/(-4) - (4 + (-635)/20). Let b(f) = f**3 + 134. Let g be b(0). Let o = g - z. Is o a composite number?
True
Let i = -2237 + 10386. Is i a composite number?
True
Let i(o) = 14*o**2 - 3*o - 4. Let r = 8 - 11. Let z be i(r). Suppose -z = -2*v + 3. Is v a composite number?
False
Suppose 72*f - 507489 - 470055 = 0. Is f prime?
True
Let z be (-52)/(-9) + -1 - (-8)/36. Suppose 0 = -z*r + k + 9750, -2*r + 3*k + k + 3918 = 0. Is r composite?
False
Is ((-5431)/2)/((-21)/42) a composite number?
False
Let d be (8/(24/9))/((-1)/(-3)). Suppose -4*q = -d*q + 265. Is q a prime number?
True
Let i = 6436 + 6405. Is i a composite number?
False
Let m be (-32)/20 - (-2)/(-5). Let q be (0 - m - -2) + -2. Is -7 - (-6 + q) - -160 a prime number?
True
Suppose 7*u - 2*u = 0. Suppose 2*i - 2*x + 0*x - 3612 = u, 2*x = i - 1811. Is i a composite number?
False
Let w be 3 + (1/1 - (-6)/(-2)). Let v = w + 234. Is v prime?
False
Let k(r) = 27*r**2 - 11*r - 29. Suppose -3*u - 2*u - 25 = 0. Is k(u) a prime number?
True
Let v(g) = g**2 + 2*g - 4. Let k be v(-4). Suppose 4*i = 2*q + 720, -4*q + 7*q = -i + 166. Suppose 0 = k*z - 2*z - i. Is z composite?
False
Suppose -9 = 3*q, 3*c - 2*q - 1008 = -q. Suppose 4*h - a = c, 400 = 5*h - 0*h + 5*a. Is h a composite number?
False
Suppose h - 87790 = -9*h. Is h a composite number?
False
Suppose -6*d = -3221 - 517. Is d a composite number?
True
Let w be (-18)/(-6)*(-5471)/(-3). Is w + (-9)/(-3) - 3 prime?
True
Let a be 134*1*(10 - 9). Let p = 45 - a. Let h = p + 312. Is h a composite number?
False
Let p(k) be the first derivative of 2*k**3/3 - 4*k**2 - 35*k - 11. Is p(-19) a prime number?
True
Let r = 40 + -67. Let l be -2 + (r/3)/(-3). Is 0 - 0 - (-157)/l composite?
False
Let i(k) = -168*k**3 + k**2 + 2*k. Let b be i(-2). Suppose -c + b = 85. Is c prime?
True
Let k(c) = -c**2 + 10*c + 22. Let q(j) = j**3 + 26*j**2 + j + 35. Let b be q(-26). Is k(b) composite?
False
Suppose g = -g + 10. Suppose 1782 = g*o - q, 3*q + 610 = -3*o + 1690. Suppose -5*w - y + 265 = -570, -5*y + o = 2*w. Is w composite?
True
Let h(x) = 8*x + 4. Let o be h(4). Suppose -o = -4*n + 600. Is n prime?
False
Let b be (13 - 6) + (-1 - 1). Suppose 0*c - b*c = -5*x - 5, -1 = -c + 4*x. Is (-4 + 5)*4*c prime?
False
Suppose 40*o = 36*o + 14084. Is o a composite number?
True
Let k(t) = -3 + 20*t + 22 - 4 + 4. Let n be k(-13). Let s = n + 398. Is s prime?
True
Let g(l) = -7*l**3 + 14*l**2 - 11*l + 5. Let w(y) = -6*y**3 + 13*y**2 - 10*y + 5. Let q(a) = -5*g(a) + 6*w(a). Is q(5) a composite number?
True
Suppose 407*f = 398*f + 119367. Is f a prime number?
False
Suppose 0 = -2*x + 3*s - 9, -3*x = x - s - 7. Let f(c) = 6*c**3 - 1 - c**x + 4*c**3 + c - 2*c. Is f(2) prime?
False
Suppose -29*n = -41*n - 216. Let k(g) = 11*g**2 - 4. Let c be k(-3). Let h = n + c. Is h a prime number?
False
Suppose 2 = 2*c - 4. Let l be c/(-2)*(-60)/18. Suppose 4*z - 145 = z + x, 249 = l*z + 2*x. Is z a composite number?
True
Suppose 8*b = 2*b + 3552. Is b/(-24)*3/(-2) a composite number?
False
Let i = -16 + 19. Suppose 0 = -t - i*k + 14, 2*t + 16 = 2*k + 4. Is (110 - t)*5/15 a prime number?
True
Suppose -304*c + 296*c + 3048 = 0. Is c a prime number?
False
Suppose 3*n + 2*a = -2*n + 5409, 5*a = 10. Is n composite?
True
Is 6/(-12) + 42330/12 prime?
True
Let a(i) = -103*i + 2. Let z = -30 - -10. Let g = z - -15. Is a(g) a composite number?
True
Suppose 3*r + 288 = -3*r. Let h = r + 182. Is h a prime number?
False
Suppose 1355 = 7*h - 19134. Is h prime?
True
Is 1*(66/6 + 3108) a prime number?
True
Suppose 53*x - 227495 - 529398 = 0. Is x a composite number?
False
Suppose -4*k + 0*t - 4*t + 48 = 0, -2*k - 5*t + 39 = 0. Suppose 6682 + 9019 = k*m. Is m composite?
False
Is (50/15 - 4)*78879/(-2) a prime number?
True
Let l(n) = 2*n**2 - 4*n - 13. Suppose j - 3*w = 14, 4*j + 2*w - 16 = 12. Is l(j) a composite number?
False
Let l be -382*3/42 - 10/(-35). Is (-746)/6*2*l/6 composite?
True
Let s be (0 - -2)*(-534)/(-4). Suppose 2*g - 424 = 3*q, 2*q - 290 = 4*q - 5*g. Let n = s - q. Is n a composite number?
True
Suppose -g = -0 - 3. Let n be (0/((-6)/(-3)))/(-2). Suppose -g*v + 3*b + b + 175 = n, 0 = -5*v + 4*b + 281. Is v prime?
True
Let y(g) = g**3 - 7*g**2 - 10*g + 20. Let a be y(8). Suppose 5*w = -a*z - 210, 0 = 2*w + 2*z - 3*z + 84. Is (-4)/(-14) + (-4734)/w a prime number?
True
Let a(s) = 2*s**2 - 2*s + 0 + 2*s - 17. Is a(-8) composite?
True
Is (59/1)/(-11 - (-9800)/890) composite?
True
Suppose 0*r = -3*u - 2*r + 474031, 5*u - r - 790043 = 0. Is u a prime number?
True
Let j be 4*5/(-2)*(-6)/15. Suppose -4*c = 4*h - 4620, -5*h + 24 = j. Is c composite?
False
Let p(t) = -t**3 + 7*t**2 - t - 3. Let w be p(3). Suppose 3*k = w - 3. Suppose k*n - 1285 = 4*n. Is n composite?
False
Suppose 0 = v - 530 - 951. Is v prime?
True
Suppose 2*f + 72265 = 5*z, 3*z - 2*f = 5*z - 28906. Is z a composite number?
True
Suppose -53 + 553 = 4*v. Suppose 5*d - 3*d - 4 = 0. Let z = v + d. Is z composite?
False
Suppose -5*v + 90873 = h - 8*v, -4*h = -3*v - 363510. Is h a composite number?
True
Is 145244/18 - (-22)/(-198) prime?
True
Let u = -48 + 104. Let z be (-298)/14 + 2/7. Let h = z + u. Is h a prime number?
False
Let m = 951 + -585. Suppose 5*g = 3*r - m, -3*g - 146 - 99 = -2*r. Suppose 0*u + r = u. Is u a prime number?
True
Let w(o) be the first derivative of -3*o**4/4 - o**3/3 - o**2/2 - o - 4. Let d be w(-1). Is -22*((-3)/(-6) - d) prime?
False
Suppose -2*t + 5 = -1. Suppose 0*h - 352 = -3*s - h, -3*s + 372 = -t*h. Is s a prime number?
False
Is 6/(-9)*(-1910 + 17) composite?
True
Let t be 60 + (0 + 2 - 3). Let w be (-388)/(-16) + 4/(-16). Let h = t - w. Is h a prime number?
False
Suppose -520 = -3*p + 5. Suppose -9*v - p = -14*v. Is v a prime number?
False
Let q(z) = 18*z**3 + z**2. Let h be q(1). Suppose 3*k = 2*x - 2552, k + 2709 = 4*x - 2395. Suppose 15*w = h*w - x. Is w composite?
True
Suppose -5*r - 12 = -11*r. Is (-1538)/((-10)/(r - -3)) a composite number?
False
Let n(d) = 4553*d + 112. Is n(3) a prime number?
False
Let j be (6/4 - 0)*2. Suppose 5*t - 7 = -4*m, 5*m - 11*t = -9*t + 17. Suppose 3*q + m = 0, -x = -3*x + j*q + 1501. Is x a composite number?
True
Let z(n) = -n. Let k be z(-2). Suppose k = -2*g - 2. Is g/6 + 448/3 prime?
True
Suppose 0 = -0*i + 17*i - 3