t + 6. Let x be b(u). Is (-635)/(-25) + x/10 a composite number?
True
Let p(d) = -d**2 + 11*d - 4. Let g be p(11). Is (-1*602)/(8/g) composite?
True
Let g be 7 - 2*2/4. Suppose p + 2*p = -21. Is (g + p)*(-83)/1 composite?
False
Let v be (2 + (-235)/(-10))*2. Suppose -d + o - v = 0, 3*d = 8*d + 2*o + 290. Let c = -19 - d. Is c prime?
True
Suppose 2*a + 40 = -0*a. Let v be 8/6*81210/a. Is v/(-10) + (-10)/25 composite?
False
Let y = -887 + 1246. Is y a prime number?
True
Let d(q) = -2*q**2 - 5*q - 4. Let i be d(-3). Let t be (-16)/56 + (-37)/i. Suppose -3*g - 66 = -t*g. Is g a composite number?
True
Suppose 10 = 5*o + 2*p, p - 21 = -4*o + 2*p. Suppose -4*d = o*d - 2024. Is d a prime number?
False
Suppose -132*o = -143*o + 9647. Is o composite?
False
Suppose 74705 = -116*k + 121*k. Is k composite?
True
Suppose -4*d - 12*m + 8*m + 570116 = 0, 5*d - 712645 = 5*m. Is d a composite number?
False
Suppose 0 = -3*j + 3, -2*d + 0*j - 8 = -2*j. Is 3 + (-2 - 1335/d) prime?
False
Suppose 2*m = 1 + 5. Let g(a) = -1 + 2 + 9*a**m + a**2 - 3*a + a + a. Is g(1) prime?
False
Let j(y) be the third derivative of -539*y**4/24 - y**3/3 - 20*y**2. Is j(-1) a composite number?
True
Suppose -f + 572 = 4*g, g + f = -65 + 211. Suppose 2*d = 292 + g. Is d prime?
False
Suppose -5*m - 6*m - 58168 = 0. Is (15/(-10))/(4/m) a composite number?
True
Is (-5135)/(-9) + 16/36 a prime number?
True
Let f(x) = -86*x + 4. Let g be f(-4). Suppose v = -2*y + 184, 4*v + y - 423 = g. Suppose 4*a + 4*p - v = 162, -3*p + 441 = 5*a. Is a composite?
True
Let n(c) = -673*c - 445. Is n(-6) a composite number?
False
Let k be (1 + (-2)/4)*10392*1. Suppose -k = -5*w - 5*a + 2*a, -12 = 4*a. Is w prime?
False
Let b = -11058 - -17483. Suppose 5*p + b = 10*p. Suppose -p = -4*y - y. Is y prime?
True
Let k be -150*(-85)/(-30)*3. Let m = k - -1916. Is m a composite number?
False
Let w = 11 - 7. Suppose 2*l - 5*n = -11, 0*n - 3*n + 13 = 2*l. Is 491 + (-1)/(l/w) prime?
False
Let a(x) = -x + 13. Let o be a(9). Let r(q) = q + 16. Let n be r(-14). Suppose -o*s - 42 = n*g - 536, 0 = -5*g + 4*s + 1179. Is g a composite number?
False
Let v(x) = 339*x**2 + 6*x - 244. Is v(17) prime?
True
Let u = 246 - 165. Suppose -1131 = -4*o + u. Is o a prime number?
False
Let r be 1/4 + 17826/24. Let j = r - 514. Let a = 750 - j. Is a composite?
False
Let x = -1816 - -3071. Let j = -213 + x. Is j a prime number?
False
Suppose 0*x = -4*x - 3*r + 504, -5*r - 126 = -x. Suppose 7*q - 5075 - x = 0. Let a = -406 + q. Is a a composite number?
False
Let d = -2796 + 4364. Let l be d/2 + -6 + 7. Suppose -3*t = 5*j - l, 0*j + 5*t - 157 = -j. Is j a composite number?
False
Let s = 0 + -20. Let c(q) = -3*q + 11. Is c(s) a composite number?
False
Let b(c) = 3337*c**2 + 11*c + 13. Is b(-5) composite?
False
Suppose 3*b - 5 = 2*k, 5 = 2*k + 4*b - 25. Suppose 2*o = -3*m + 1613, 4*o - 1916 = -k*m + 769. Is m prime?
True
Let k(f) be the second derivative of f**5/10 + 13*f**4/24 - 2*f**3/3 + 2*f**2 - 9*f. Let z(i) be the first derivative of k(i). Is z(5) prime?
True
Suppose -5*n - 5 = -5*r, -2*r + 6 = 3*n + 29. Let v be (-2)/(r*3/30). Suppose -3*a - 2*x = -659, -644 = -0*a - 3*a - v*x. Is a a composite number?
False
Suppose -9*g = -2*g - 539. Let y = g + 12. Is y composite?
False
Suppose 4*r - 14083 - 8069 = j, -4*r + 22136 = -5*j. Is r prime?
False
Let d(i) = -6 - 13 + 2 - 32*i + 334*i. Is d(3) a prime number?
False
Let h = -11 - -72. Let z = 224 - h. Is z a prime number?
True
Let j(g) = 3*g**2 - 8*g + 2. Let h be 11 + -8*2/4. Is j(h) a composite number?
True
Suppose -4224 = -6*n - 15378. Let d = -1302 - n. Is d a prime number?
True
Let x be (115661/65 + 4/(-10))/1. Suppose -3*v = i - 2711, 0 = 3*v + 4*i - 920 - x. Is v composite?
True
Suppose -5*z - 3*n = -0*z + 58, -3*n - 36 = 3*z. Let w(x) = x**2 - 104. Let a be w(-10). Let v = a - z. Is v a composite number?
False
Let s(p) = -p**2 - 10*p - 12. Let n be s(-8). Suppose 2*o + 2*y = 0, -o + y + n = -0. Suppose -94 = -o*x + 696. Is x composite?
True
Let p(b) = b**3 + 21*b**2 - 2*b - 34. Let a be p(-21). Suppose -23 = 5*g - a, 4*g + 1099 = o. Is o a prime number?
True
Suppose -22*b - 7821 = -31*b. Is b a prime number?
False
Suppose 5*t - 1475 = 9290. Is t prime?
True
Let n = -749 - -1792. Is n prime?
False
Suppose -16616 = -2*t - 8*n + 3*n, -4*t - 4*n = -33244. Let a = -4766 + t. Is a a composite number?
False
Let l(g) = 4*g**2 + 11*g - 36. Let i be l(17). Suppose i + 927 = 2*p. Is p a composite number?
False
Let o be 12/42 - 52/(-14). Suppose 3*n + 3*f - 3180 = 0, -o*n - 5*f + 4243 = -0*n. Suppose 4*r - n = 1747. Is r prime?
True
Let c = -97 - -101. Suppose -3037 = -3*i - 2*y, 3*i - 1596 - 1451 = -c*y. Is i a composite number?
False
Is 4/1 - (0 - 207/1) a prime number?
True
Let p be (-1 + (-1 - 2))/(-1). Suppose p*t + 2*a = 26 + 2, -2*a - 35 = -3*t. Let i(u) = 3*u**2 - 5*u + 11. Is i(t) prime?
False
Suppose 6 - 1 = g. Suppose -568 - 687 = -g*u. Is u composite?
False
Let z = -314 - -477. Is z prime?
True
Let u = -42 + 47. Is (-2)/(-10) - (-4564)/u prime?
False
Let b = -14562 - -41035. Is b a prime number?
False
Let d(m) = m + 1. Let h be d(2). Suppose -3*z + 1458 = -0*z - h*b, 2*z = -b + 960. Is z a prime number?
False
Let t(v) = 3*v**3 + 26*v**2 + 15*v - 331. Is t(19) a composite number?
False
Suppose -6 = -4*n - 2. Is (-12 - -11)/(n/(-131)) composite?
False
Is (-3*8147/12)/(4/(-16)) prime?
True
Let k = 3630 + -699. Suppose 0 = 5*t + 4*d - k, -3*d = 5*t - 3*t - 1178. Is t a prime number?
False
Suppose -3*c = -8 - 16. Suppose 0 = -d + 6 - c. Is ((-3736)/(-16))/(d/(-4)) a prime number?
True
Let b = -7 + 35. Suppose p = 5*p + 4. Is 6237/b + p/(-4) a prime number?
True
Let p = 113 + -93. Is ((-3862)/6)/(p/(-60)) composite?
False
Suppose -21 = -3*f + 4*v + 387, -3 = v. Suppose -p - f = -5*p. Is p a prime number?
False
Let y = 1024 - 71. Is y composite?
False
Suppose -183*d + 182*d = 5*w - 22480, 0 = 2*d + 10. Is w prime?
False
Let q(c) = 63*c**2 + c + 69. Is q(-7) a composite number?
True
Let o be 3 + 0 - (0 + (2 - 3)). Is o/(-34) - 55825/(-119) a composite number?
True
Let c(z) = -z**3 - 38*z**2 - 43*z - 75. Is c(-38) prime?
True
Suppose 24 = -6*j + 96. Suppose j*r - 17*r = 0. Suppose r = -q - 100 + 481. Is q composite?
True
Suppose -3*s + 61 - 49 = 0. Suppose 0 = s*p - 3*a - 20986, -p - p + 10492 = -a. Is p a composite number?
True
Let g(h) = 80*h - 7. Let f be 4/18 + (-1220)/(-180). Let y(m) = m**3 - 5*m**2 - 12*m - 9. Let q be y(f). Is g(q) a prime number?
False
Let r be 4/(-10) + (-14)/(-35) + 12. Is -1 - -2726 - r/(-3) a composite number?
False
Let j = -17 - -19. Let s(a) = 2*a - 2 + 5*a - 1 - 3*a + 12*a**j. Is s(4) prime?
False
Suppose 7*x - 65247 = -14*x. Is x a prime number?
False
Let n = 4060 + -2390. Let c be 24/20*n/4. Let i = c - -56. Is i a prime number?
True
Let b = -25 + 30. Suppose b*k - 351 = 44. Is k a composite number?
False
Let x be -1*20/12*-3. Suppose 5*t - 5 = x. Suppose -5*s - 5 = 0, t*s + 0*s = -3*d + 343. Is d prime?
False
Let k(z) = -1263*z + 1. Let d be k(1). Let q = d + 2255. Is q a composite number?
True
Suppose -5*x - 242735 = -801840. Is x a prime number?
True
Let p(c) = 3*c + 76*c**2 + 1 + 0 - 5*c - 79*c**2 - 23*c**3. Is p(-1) composite?
False
Let j(l) be the third derivative of -113*l**4/6 - 2*l**3/3 + 2*l**2. Let h be j(-6). Suppose 0 = -5*p + p + h. Is p a composite number?
False
Suppose 9 + 12 = -3*n. Suppose -3*l = -4*l. Is -3 + l - (n + -157) composite?
True
Suppose -u + 62 = -3*c + c, -77 = -u + 5*c. Suppose 48*f = u*f - 1004. Is f prime?
True
Suppose -5*z + 5 = -4*z, b - 6219 = 5*z. Suppose -6576 = -4*a + b. Is a composite?
True
Let f(x) = 16*x**2 + 2*x + 1. Let l be f(-9). Suppose -4*k + 25 = -l. Suppose 4*s = k - 58. Is s composite?
False
Let a be (-7 + 5)*(2 - 0). Is 6/a*(7 + -5) + 190 a prime number?
False
Suppose 10 = -5*m + 3*n, -6*m + 2*m + 2*n - 8 = 0. Is (m/(-4))/((-9)/(-19962)) composite?
False
Let j(n) = -2*n**2 - n + 631. Suppose 2*u - 1 = l + 1, 0 = 2*l + 4. Is j(u) composite?
False
Let d(a) = -6*a - 2*a**2 + a**2 - 1 + 11 - 4*a. Let p be d(-15). Let s = p - -192. Is s a prime number?
True
Let u(p) = -57*p - 1. Let y(n) = 2*n - 14. Let d = 6 - 0. Let a be y(d). Is u(a) a prime number?
True
Let a(l) = -3*l**3 - 4*l**2 - 5*l - 3. Let s = 14 + -4. 