0 = n*f + 12. Is q prime?
False
Suppose -8*f + 31 = -1705. Suppose q - f = 156. Is q a composite number?
False
Suppose -3*i - 7 + 2 = -4*t, -2 = -2*i. Let w = 143 - t. Is w a composite number?
True
Let p = 55 + -25. Suppose -5*b - 4*d + p = 0, -2*d = -2*b - 4 - 2. Suppose t - 4*k = k + 356, 672 = 2*t - b*k. Is t composite?
False
Suppose -3*w + 2*y = 671, 0 = -5*w + y + 3*y - 1119. Let h = -919 - w. Is (1 + h)*(-18)/30 a prime number?
False
Let s = -12 - -10. Let c(w) = -29*w - 3. Is c(s) a prime number?
False
Suppose 0 = -2*n + 47 - 49. Is 533 - n/(2/8) a prime number?
False
Suppose -2*c + 2*v = 3*v - 35, 5*c - 3*v = 71. Suppose c*i + 72 = 12*i. Let h = 95 + i. Is h a composite number?
True
Let u be (-6)/((-31)/15 - -2). Let x = -132 - -132. Suppose 3*i - 183 - u = x. Is i a composite number?
True
Let c be (-8)/4 - -2 - -2099. Suppose 5*y = c + 131. Is y prime?
False
Let o(j) = -13*j**3 - 5*j**2 - 1. Let l be (-20)/(-12) - 17/3. Is o(l) a composite number?
False
Let p be (6/(-4))/(4/824). Let y = 458 + p. Is y prime?
True
Suppose -2*u - 5 = -3*w, 0 = -u + 2*w - 4*w + 15. Is 502*u*3/6 a composite number?
True
Suppose l = 4*n + 4222, -5*l + n + 23037 = 1927. Suppose -6557 = -3*x + l. Is x a prime number?
True
Suppose -p = 4*p - 140. Let c(w) = -17*w. Let l be c(1). Let o = p + l. Is o composite?
False
Suppose -f = 1209 - 7178. Is f a composite number?
True
Let t be (2 - 0)*(-2307)/(-6). Let d = 138 + t. Is d prime?
True
Let h(l) be the third derivative of 7/8*l**4 + 4/3*l**3 + 4*l**2 + 0 + 0*l. Is h(11) prime?
True
Let i(v) = v**3 + 5*v**2 + 5*v + 3. Let s be i(-3). Let u(r) = -19*r - 26*r + 5*r**2 - 5 + 44*r. Is u(s) a prime number?
False
Let k(d) = 266*d**2 - 35*d + 342. Is k(8) composite?
True
Let g = -59 - -40. Let k = g - -34. Is (k/(-6))/((-1)/58) composite?
True
Let k be 4*(13/2 - 2). Let z = -13 + k. Suppose 475 + 520 = z*b. Is b prime?
True
Let t = 44364 + -31471. Is t composite?
False
Let h(s) = -s**3 + s + 172. Let a be h(0). Suppose -4*r + 4*l + a = -32, -r + 51 = -5*l. Suppose r = 4*c - 81. Is c composite?
True
Let o be 4 + (-7)/((-35)/(-30)). Let p(q) = 71*q**2 - q + 1. Is p(o) a prime number?
False
Let q = 13 + -10. Let n be (1 + 0)*q*-11. Let h = 224 + n. Is h prime?
True
Let r be (-18)/(-3 + 3645/1218). Suppose p + 3*p = r. Let k = p + -406. Is k a prime number?
False
Let y(m) = -m**3 + 4*m**2 + m - 4. Let d be y(4). Let a be 1 + -1 - (-58 + d). Suppose 0 = s - 2*s + a. Is s composite?
True
Let x = 29686 - -7999. Is x composite?
True
Let y(k) = -k + 12. Let z be y(12). Let t = -18 - z. Is (-3)/t - 3082/(-12) prime?
True
Let t = 15598 - 5207. Is t composite?
False
Suppose -a + 7*k = 3*k - 785, 4*a + 4*k = 3120. Is a a composite number?
True
Suppose -48*w = 2930953 - 8481241. Is w prime?
True
Let l(x) = -4*x**3 - 78*x**2 + 52*x - 115. Is l(-41) composite?
False
Suppose 0*y - 3*y = -369. Is (4 + -4 + y)*1 composite?
True
Let l(r) = r**3 + 19*r**2 + 3. Let b be l(-19). Let g(n) = n**3 + 7*n**2 - 5*n + 9. Let o be g(-7). Is o/b + (-4)/(-12) a prime number?
False
Suppose -3*w = -5*o - 1236, -3*w + o + 2*o = -1236. Let r = w + -255. Is r a composite number?
False
Let y = 34391 + -8698. Is y prime?
True
Let r = -2 + 4. Suppose -3*z = -r*z. Let m = 33 + z. Is m prime?
False
Suppose 4*c + 20 = -2*o, 5*o - 2*c + 35 = 3*c. Let n(l) = -2*l**3 - 7*l**2 - 11*l - 11. Is n(o) a composite number?
False
Let r = -7 - -12. Suppose 5*n + 0*y + 3*y = 37, -3*n + 5*y - r = 0. Suppose n*p = 4*f - 83, -p + 2*p = 1. Is f composite?
True
Is 24/(-156) - (-564308)/26 - 3 composite?
False
Let z be 1 + 2 - (7 - 4). Suppose z = -x - 1. Is 3 + x - (-120)/6 composite?
True
Suppose -3*i = -7*i + 20. Suppose i*n - 8 - 2 = 0. Suppose 2*a + 896 = 2*l, 0*l - 2*a = n*l - 892. Is l composite?
True
Let v be (-3)/(-7) - (192/14)/4. Let c(x) be the third derivative of -7*x**6/120 + x**5/15 + x**4/4 + 2*x**3/3 - x**2. Is c(v) prime?
True
Suppose 0 = -x + 5*m + 1227, 2*x + 2*x - 5*m - 4983 = 0. Let i = 3585 - x. Is i prime?
True
Is 18654/12*(160/8 + -6) a composite number?
True
Is 6/27 + 206613/81 a prime number?
True
Let o be 2/(-8)*(-8 - 0). Suppose 0 = o*r + w - 0*w + 4, -w = r + 4. Suppose r = -k + 3, -6*k + 3*k + 29 = 2*l. Is l a composite number?
True
Let g = -42 + 42. Suppose 7 = f - g. Is f a composite number?
False
Suppose 3*o + 3*h = -2*o + 1221, -4*o + 975 = 3*h. Let c = o + -79. Is c a composite number?
False
Let l(c) = 17*c**3 - 5*c**2 - 6*c + 3. Let m = 15 - 22. Let x(k) = -35*k**3 + 10*k**2 + 11*k - 5. Let d(h) = m*l(h) - 4*x(h). Is d(4) a prime number?
False
Let x(b) = 10*b**3 - 3*b**2 - 8*b + 2. Let k(f) = f**3 - f**2 + f. Let c(i) = -k(i) - x(i). Is c(-5) composite?
True
Let o(h) = 141*h - 158. Is o(27) a prime number?
False
Is 848412/132 + 4/(-11) a composite number?
False
Let b = -28 + 3. Let i = b - -32. Is i a composite number?
False
Let y(p) = 366*p**2 - 2*p - 10. Let s be y(-4). Let v = -4145 + s. Is v a composite number?
False
Let l = 21311 - 14116. Is l prime?
False
Let p = 215 - -2006. Is p a composite number?
False
Is (-2081436)/(-252) - (-4)/3 a composite number?
True
Suppose -f + 377 = -1734. Suppose -125*j + 124*j + f = 0. Is j a prime number?
True
Suppose 4*w + 2 = 5*w. Let y be (0/(4 + -3))/w. Suppose -2*j = 3*r - 394, -4*r + 6*r + 2*j - 260 = y. Is r a composite number?
True
Suppose 5*s = -4*b + 473747, 13*s - 14*s + 94735 = -4*b. Is s a composite number?
False
Suppose -3425 = -5*z + 5*h, 5*h - 709 = z - 2*z. Is z composite?
True
Let n = -8 + 12. Suppose 0*h - 3*j + 38 = -n*h, 0 = 4*h + 4*j + 24. Is 1838/14 - h/(-28) composite?
False
Suppose 7*c - 35 = 6*c. Is 4/7 - (-1835)/c a prime number?
True
Let q(i) be the second derivative of i**3/2 + i**2/2 + 3*i. Let k be q(1). Is (-2)/8*(k - 512) a composite number?
False
Let x(o) = -2*o**3 - 18*o**2 - 28*o - 53. Is x(-26) a composite number?
True
Let a(q) = 9050*q - 115. Is a(10) composite?
True
Let u be ((-78)/65)/((-4)/30). Is 2257/u - (-36)/162 composite?
False
Let i(c) = -c - 1. Let d be i(-4). Suppose -2*x + 0*u + 346 = -2*u, -4*u = d*x - 533. Suppose 9 - x = -2*b. Is b a composite number?
False
Suppose 0 = -2*z - 0*z - 2, -127 = 2*m - 3*z. Let n = m + 104. Is n prime?
False
Let c(f) = 2*f**2 + 5*f + 2. Let l be c(-3). Suppose 0 = 5*u, 2*u = 5*j - 2202 - 2533. Suppose 4*s + 40 = -l*a + j, s + a - 226 = 0. Is s prime?
True
Suppose -y - 18 = -3*q, 4*q - 48 = -5*y - 5. Suppose -8 = -l + d, -18 = -l + 4*d - q. Let k(x) = 15*x - 8. Is k(l) a composite number?
False
Let q(i) = -12*i + 0*i**2 - 19 + 10*i**2 + 7*i**2. Is q(-8) a prime number?
False
Let p(z) = -41*z**3 + z + 1. Let f be p(2). Let o = f + 632. Is o composite?
False
Suppose 4816 = s - 529. Suppose -4*c - c + s = 0. Is c prime?
True
Let y(m) = m**2 + 11*m + 11. Let b be y(9). Suppose -4*i - b = -q, 3*q - 6*i + i - 573 = 0. Is q composite?
False
Suppose 0 = 5*i + 5*c - 580, -2*c + 353 = 3*i - 4*c. Suppose -i = -y + 2*d, -5*y + 2*d = -0*d - 553. Is y a composite number?
False
Let l(h) = 287*h + 4. Let m be l(-2). Suppose -r - 374 = 4*j - 2*j, -4*j + 3*r - 768 = 0. Let y = j - m. Is y a prime number?
False
Let w be (-4)/(2 + 0) - -42. Let n be (-16)/w*(-7 - -2). Suppose 396 = 3*r - 5*j, -5*j - 13 = n. Is r a prime number?
True
Suppose -3*y = -322 - 1223. Suppose 8*q = 3*q + y. Suppose j - 5*m - 128 - q = 0, -2*j + 434 = -3*m. Is j composite?
False
Let x = -15621 + 63692. Is x prime?
False
Let a(o) = -150*o - 37. Let r be a(-23). Suppose -1053 = -14*l + r. Is l prime?
False
Suppose -5*h - 316260 = 2*x - 7*x, -x + 63250 = -2*h. Is x a composite number?
True
Suppose 3*r - 553 + 124 = 0. Is 257279/r - (-2)/(-13) prime?
False
Let w(z) = 70*z**2 - 2*z + 4. Let h be w(-2). Let c = h + -97. Is c a prime number?
True
Let a be 369/(0 - 6/(-8)). Let f = 272 + -553. Let u = a + f. Is u a composite number?
False
Let i be (-3)/9 - (-8)/(-12). Is i/((-4)/(-1528)*-2) a prime number?
True
Let y(k) = 2*k**3 - 7*k**2 - 24*k + 128. Is y(29) composite?
False
Suppose 5*y = 3*k - 47, 3*y = -4 - 8. Suppose -125 = -k*b + 82. Is b prime?
True
Let o(x) = -156*x + 5. Let s be 2/(4/(-2 + -2)). Is o(s) a prime number?
True
Let y(r) = 1399*r + 487. Is y(28) a composite number?
False
Let d = 15 + 2. Let h be (-2)/(-2) + 1 - d. Let v = 59 - h. Is v prime?
False
Let h =