h/4) + -3 a composite number?
False
Suppose 0 - 4 = -b + 3*k, 16 = 4*b + 5*k. Suppose -m - 3 = 0, b*m + 0 = -3*c + 12. Is 1478/c - 6/(-24) a composite number?
True
Let k be (-6 - 0)/(9/6). Let z(t) = -3*t**3 - 3*t**2 - 2*t + 1. Let j be z(k). Suppose -s = -26 - j. Is s prime?
True
Let h = 139139 + -85056. Is h a prime number?
True
Let v = 35 - -49. Is v/3 + -4 + 1 a composite number?
True
Let b(u) = -45*u**2 - u + 1. Let q(t) = -t**2 + t. Let k(s) = -s**3 + 3*s**2 - 1. Let p be k(3). Let l(x) = p*b(x) - 2*q(x). Is l(2) composite?
True
Let r(l) be the first derivative of 17*l**3/3 + 5*l**2/2 + 5*l - 5. Let b be ((-2)/5)/(1/10). Is r(b) a prime number?
True
Let h(u) = -u**3 + 15*u**2 + 3*u - 5. Let m be h(11). Suppose -4*x - 5*p + m = 0, -4*x + 3*p = -2*p - 552. Is x a composite number?
True
Suppose 2*s - 11 - 3 = -4*l, -s - 5*l + 7 = 0. Suppose 9*c = s*c + 6. Suppose -h = c*a - 313, 3*a - h - 408 = -a. Is a prime?
True
Let u(d) = -d**3 + 20*d**2 + 63*d + 91. Let h(m) = 5*m**2 + 16*m + 23. Let n(z) = -9*h(z) + 2*u(z). Is n(-14) a composite number?
True
Suppose 37*h - 39*h + 1594 = 0. Is h prime?
True
Let a = -1339 - -771. Let y = 601 - a. Is y a composite number?
True
Let k = 35073 - 19104. Is k prime?
False
Let j be (-5)/((-30)/(-9))*-4. Let a be (-5068)/(-44) - j/33. Is a + 8 + 4 + 0 a prime number?
True
Let l be 1801/4 + 3/(-12). Suppose 3*i + 2*i + 4*t - 6 = 0, -i + 4*t = -6. Suppose -4*z + 423 = 3*n, -n - i*n + l = -5*z. Is n composite?
True
Suppose c - 4*o - 8375 = 12086, 0 = -4*c - 4*o + 81924. Is c composite?
False
Let m be (15 - 8 - 4)/(-1). Let s(n) = -2 + 7 + 2 + 36*n**2. Is s(m) prime?
True
Suppose -u - 3*m + 5 + 1 = 0, -4*m - 11 = -5*u. Suppose 3*q + u*q - 7266 = 0. Is q a composite number?
True
Suppose 133*h - 302042 = 107*h. Is h composite?
False
Let w(u) = -97*u**2 - 6*u - 7. Let g(k) = -146*k**2 - 9*k - 11. Let c(i) = 5*g(i) - 8*w(i). Let x be c(-4). Let p = x + -204. Is p a composite number?
False
Suppose 216955 + 379935 = 10*l. Is l a composite number?
True
Let a(g) = g**2 + 11*g + 22. Let s be a(-9). Suppose k + s*k = 290. Is k a composite number?
True
Let s be (-1)/(-3) + 4/(-12). Suppose s*y = -2*b + 2*y + 116, -y = 3*b - 170. Is b a prime number?
False
Suppose -2*j = -7*j - 25. Is (-348)/(-15) + 0 - j/(-25) composite?
False
Suppose 3*d - 12 = -0*v + 4*v, -3*d - v = 3. Suppose d = s - 2*s - 14. Let o = 273 - s. Is o composite?
True
Suppose -a + 26 = 5*l, 14 = -5*a + 4*a + 5*l. Is 1328/a - (-3)/(-9) prime?
False
Let m = 9 + -142. Let c(q) = 11*q**3 + 4*q**2 + q. Let z be c(-2). Let s = z - m. Is s prime?
True
Is (-10)/8 - ((-34725)/20 - -2) prime?
True
Suppose -3*b + o + 20413 = 0, 0 = 2*b + 2*o - 791 - 12807. Is b composite?
False
Suppose -2*r = -3*h + 58 + 118, 248 = 4*h + 4*r. Suppose 0 = 2*x, 0 = -3*d + x - 3*x - 9. Let g = d + h. Is g prime?
False
Suppose 5*t - 4*u - 4067 = 1881, 4*u = 2*t - 2384. Let l = t + 221. Is l a prime number?
True
Let t(g) = g**2 - 6*g. Suppose 4*k = 11 - 3. Suppose -k*a = -3*a - 5. Is t(a) a composite number?
True
Let b = 31 - 58. Let r be (-9)/b + 4/(-3). Is (5 + -58)*r*1 a composite number?
False
Let y(k) = 2*k**3 - 10*k**2 - 11*k + 8. Let n be y(14). Let h = n + 365. Is h composite?
True
Suppose -14*u + 180 = -10*u. Is ((-3)/(u/(-5442)))/((-4)/(-10)) composite?
False
Let a(q) = 2*q + 2. Let u be a(-7). Let b be (1 + 0)/(u/(-60)). Suppose 0 = -b*l + 5*v - 6*v + 236, -96 = -2*l - 2*v. Is l prime?
True
Suppose 4*s - 31651 = -3*r, 1 = s + 3. Is r prime?
False
Let p be (-12)/(-7) - 4/(-14). Suppose -3*j + q = 3909, 0 = 5*j + p*q - 5*q + 6519. Is j/4*(-6)/9 a composite number?
True
Let n(w) = w**3 - 10*w**2 - 4*w + 11. Let x be n(10). Let c = x - -32. Is 3 + 123 - (2 - c) composite?
False
Is (-5 - 1) + (12374 - -2 - -3) a prime number?
True
Suppose 48*i - 66*i + 151362 = 0. Is i composite?
True
Suppose 128231 = 3*r + 4*i, 0 = 4*r + 4*i - 16388 - 154580. Is r prime?
True
Suppose -16*p = -63*p + 81169. Is p a prime number?
False
Suppose 0 = 2*g + 4*o - 15626, 3*g - 4*o - 15594 = g. Suppose -9*p + 4*p = -g. Is p prime?
False
Suppose -5*q + 5*u = -6 - 19, -8 = -2*q + u. Suppose -4*c + j = -q*j - 5460, -4*j = -4. Is c prime?
False
Suppose -q - 163 = -0*q. Suppose -5*z = 3*t - 2, 2*z - 4*z - 4*t + 12 = 0. Let n = z - q. Is n composite?
True
Is 16/(-16) + (-3508)/(-2) a prime number?
True
Suppose -10*o + 2*o + 24 = 0. Suppose 4*d = 5*m + 960, d + 3*d + o*m - 928 = 0. Is d a prime number?
False
Let o(u) = 1913*u - 10. Let k be o(-3). Is k/(-4) + 30/40 prime?
False
Let v be 791*(-4 - -2)/(-4 - -2). Let x = v + -352. Is x a prime number?
True
Let l(n) = 357*n - 242. Is l(21) a composite number?
True
Suppose -11*k - 4 = -7*k. Let b(z) = -30*z**3 + z**2 + z + 1. Is b(k) prime?
True
Suppose -5*l + 2*p = -33, 4*l - 37 = -l + 3*p. Suppose 0 = -b - 3*b + 4144. Suppose -z = -l*z + b. Is z a composite number?
True
Let x(v) = v**3 - v**2. Let f be x(0). Suppose f = -3*m - 30 - 96. Let r = 119 + m. Is r a prime number?
False
Suppose 2*p = -5*b + 758, -2*p + p = -2*b - 388. Let w = -127 + p. Is w prime?
True
Suppose -7*r + 20390 = -13427. Is r a composite number?
False
Let g(z) = 3*z**2 - 3*z - 1. Suppose -y - 180 = 3*y. Let j be 4/(-18) - (-170)/y. Is g(j) prime?
True
Suppose 76 = -3*a - 2*y, 5*a - 4*y = -48 - 42. Let x = 9 - a. Is x composite?
False
Let u(v) = 2*v - 19. Let s(h) = 4*h - 38. Let x(j) = 3*s(j) - 7*u(j). Is x(6) prime?
True
Suppose -2*a + 3*z - 8*z = -46906, 3*z + 46906 = 2*a. Is a composite?
True
Let r = -22 - -21. Let w be (r/(-3))/((-1)/(-3)). Is (w/(-3))/((-4)/2556) composite?
True
Let g = -9 + 5. Let r(u) be the second derivative of 23*u**4/12 - u**3/3 - 5*u**2/2 - 26*u. Is r(g) a prime number?
False
Let f be (4 + -4)/(4/(-2)). Suppose f*j - 3360 = -4*g - j, 3*j = -2*g + 1690. Is g composite?
False
Suppose 2*o + 2*o - 5*l + 84 = 0, -84 = 4*o + 3*l. Let p = o - -27. Suppose -2*z + 2*b - p*b + 2742 = 0, -5*z + 2*b = -6903. Is z a composite number?
True
Let o(x) = x**3 + 5*x**2 + 2*x + 1. Let b be o(-4). Let q be (-2)/3 + 3453/b. Let a = q - 270. Is a prime?
True
Suppose -5*f - 2*y - 488647 = -8*f, 3*f - 3*y = 488646. Is f a prime number?
False
Let i = 2051 - 3927. Let w = -556 - i. Suppose -j + 4*j + 9 = 0, 3*s - 3*j = w. Is s prime?
False
Let d be -976 + (-7)/((-35)/(-10)). Suppose -3*s + 0*s = -4443. Let j = s + d. Is j a composite number?
False
Suppose -9*m + 10*m = 1481. Is m a composite number?
False
Suppose -v = 2*i - 89812, -16*v + 14*v + 89810 = 2*i. Is i prime?
False
Is (-5)/(-6)*(-7 - -13) + 4196 a composite number?
False
Let x = -115 - -1241. Is x a composite number?
True
Let g(i) = -439*i - 75. Is g(-19) a prime number?
False
Let l(x) = 132*x + 3. Let k(u) = 3*u - 6. Let f be k(5). Let a be l(f). Suppose a = -0*d + 3*d. Is d composite?
False
Let a = -14 + 20. Let f(j) = 7*j**2 + 5*j - 5. Let v be f(a). Let d = v - 12. Is d a prime number?
False
Let z be (1 + (-1652 - -3))/(-1). Is (2 - 7) + z/4 prime?
False
Suppose 0 = 7*p + 5*p - 344868. Is p prime?
False
Let t(n) = n**3 + 17*n**2 + 18*n + 15. Let k be 7*(-1)/(28/48). Let v be t(k). Let w = -262 + v. Is w prime?
True
Let f = -281 + 532. Suppose -b = -2*j - 365, -2*j + 1123 = 3*b - j. Let a = b - f. Is a prime?
False
Suppose -5*k + 120168 = 4*q, 206631 - 86439 = 4*q - k. Is q composite?
False
Suppose -2*z + 7*z - 10 = 3*r, 3*r = -4*z + 35. Suppose 5*j + 0*j = -r*w + 100, 0 = 5*j. Is (-2)/8 - (-1825)/w prime?
False
Let g(r) = 174*r - 5. Let c(d) = 8*d**2 - 3*d + 2. Let w be c(1). Is g(w) a prime number?
True
Let p(u) = -u**2 + 21*u + 17. Let h(z) be the second derivative of 4*z**4/3 + z**3/3 - z**2 - 8*z. Let i be h(1). Is p(i) composite?
False
Suppose -3*c + 170 = -7. Suppose -3*w - c - 13 = 0. Let v = 61 + w. Is v a composite number?
False
Let p be (-5)/20*4*(0 + 0). Suppose 4*h + 2*i = 3*i + 233, p = 3*h - 3*i - 186. Is h prime?
False
Suppose 0 = -4*f - 1 - 3. Let a be f/(-8) - (-35127)/72. Suppose 3*q = -l + 652, a = 3*q - 5*l - 158. Is q a composite number?
True
Is 2 - (-192)/(-90) - 226654/(-30) composite?
True
Let s = -13 + 16. Suppose 2*h - 158 = -s*o, 2*h - o - 158 = -5*o. Is h prime?
True
Let y = -694 - -1443. Suppose -5*u - 558 = -3*l - 4*u, 4*l - 3*u = y. Is l a prime number?
False
Let t be (-6)/4 - (-15)/(-2). Let h = -