= 5*u + 6 - 26. Suppose -4*w + 4 = 0, 5*x - 4*x - 93 = -u*w. Is x prime?
True
Let q be (-2)/(-3) + 30/9. Let s = -3 + q. Is (1 + s)/(8/92) a prime number?
True
Let v(b) = 49*b. Let f be v(4). Suppose -2*j + 45 = -4*t - 53, 4*j = -2*t + f. Suppose 0*s - s = -j. Is s a composite number?
True
Let w(t) = t**2 - t + 119. Let d be 5/((-15)/6) + 2. Is w(d) a prime number?
False
Let t = 612 - 121. Is t composite?
False
Suppose 233 - 1379 = -6*i. Is i a prime number?
True
Suppose l = -0*l. Suppose l = 4*w - 4*p - 6 - 2, 3*w + p + 2 = 0. Suppose -5*d - i + 190 = w, 5*i + 9 = -3*d + 145. Is d a prime number?
True
Let p(m) = -5*m**2 - 4*m + 13. Let i be p(-9). Let n = -190 - i. Is n prime?
False
Suppose -3*p = 188 - 1151. Is p a composite number?
True
Let b(s) = s - 1. Let q be b(-3). Let v be q/(33/9 + -3). Is (-1)/v*3*26 composite?
False
Suppose 0 = 2*a + 4*l - 8386, a - 5*l + 4187 = 2*a. Is a composite?
True
Suppose 0 = -41*l + 45*l - 11572. Is l prime?
False
Let r = 24 + 7. Is r prime?
True
Suppose 16*l = 2*l + 23198. Is l a composite number?
False
Suppose -5*c = -k - 1914, 3*k - 788 - 346 = -3*c. Is c prime?
False
Suppose -38 = -4*p + 90. Suppose -5*o - 51 = 64. Let f = p + o. Is f composite?
True
Let l(j) = 25*j**2 + 4*j. Let f(u) = -26*u**2 - 5*u. Let h(x) = 5*f(x) + 6*l(x). Let s be (-10)/(-12) - 1/(-6). Is h(s) a prime number?
True
Suppose -2*g + 121 = 3*f, 5*f = 5*g - 205 - 35. Is g composite?
False
Let i(a) = -a**3 + 6*a**2 - 5*a - 4. Let w be i(4). Suppose -4*x + w*x - 88 = 0. Is x composite?
True
Suppose s - 5 = 0, -5*z + 204 = -3*s + 674. Is (1 - -2 - 4)*z prime?
False
Suppose 0 = -2*k + 176 + 194. Is k prime?
False
Suppose -1310 = -4*r - 2*h, 3*r - h - 24 = 966. Let z = r + -162. Is z a prime number?
True
Let s(x) = 24*x**2. Let c be s(1). Let k be 198/(-4)*c/(-9). Suppose 5*w - 20 = 0, 2*w = -4*p + 4*w + k. Is p a composite number?
True
Let i(f) = -2*f**3 - 3*f**2 + 2*f + 5. Let b be (6 + -1)*(-6)/(-10). Suppose -9 = 3*u - b*d, 2*u - d = -5*d - 12. Is i(u) a composite number?
True
Suppose -s = 4*j - j - 2180, -j = -s + 2160. Is s a composite number?
True
Let d be -1*(-3)/((-3)/(-2)). Let s(n) = -122*n - 3. Let v be s(-3). Suppose -t = d*t - v. Is t a prime number?
False
Suppose -2*l - 3*l = -170. Suppose 3*f - l = 59. Is f a prime number?
True
Let d = 9 + -1. Is ((-53)/4)/((-2)/d) prime?
True
Let k be (-695)/3 - (-1)/(-3). Let y = 717 + k. Is y a composite number?
True
Let i(d) = -3*d + 5 - 6 - 5. Is i(-7) prime?
False
Suppose 133 = 2*r - 5*w, -r - 3*w + 74 = -20. Is r a prime number?
True
Suppose 3*z - 265 - 2252 = 0. Is z prime?
True
Is (-59)/4*4/((-1)/1) a composite number?
False
Let c(o) = -o**3 - 3*o**2 - 2*o. Let k be c(-3). Suppose k*a - 3*a + 15 = 0. Is 114/a*20/(-8) prime?
False
Let d(q) be the second derivative of q**4/12 + q**3/2 + 9*q**2/2 - 3*q. Is d(-7) composite?
False
Suppose -8*l = -17 - 23. Suppose -51 = -x + 12. Suppose -q + 150 = 2*h - l*q, -h + x = 4*q. Is h a composite number?
False
Suppose -3*y = 5*s - 650, -s - 2*y + 70 = -67. Is s prime?
True
Let o(q) = 2*q**3 + 10*q**2 + 7*q + 1. Let y be o(-6). Suppose s - 534 = -2*s. Let u = y + s. Is u composite?
True
Suppose -3*h + 8 = -1. Suppose 4*i = -4, h*v - 3*i - 19 = 2. Suppose j - 15 - v = 0. Is j a composite number?
True
Suppose -4*i + 2 + 58 = 0. Let c = i + 16. Is c a prime number?
True
Suppose -2*r = -0*r - 4. Let n = r - 0. Suppose -d + n*s + 28 = 0, -2*d = -5*s + 2*s - 61. Is d a composite number?
True
Suppose 6*w - w = 8275. Suppose -6*y = -y - w. Is y composite?
False
Let s(i) = i - 18. Let b be s(13). Is 12/(-30) + (-1267)/b a prime number?
False
Let k(n) = -n**3 - 4*n**2 + 12*n + 13. Is k(-10) a composite number?
True
Let a(g) = -g**2 + 4*g + 3503. Is a(0) a composite number?
True
Suppose -3*k - 146 = 235. Let c = k + 350. Is c prime?
True
Let o(m) = -m - 2. Let k be o(3). Let x(b) = -3*b**2 - 2*b - 2. Let r(n) = -6*n**2 - 3*n - 3. Let s(j) = 3*r(j) - 7*x(j). Is s(k) a prime number?
False
Let k(u) = 14*u**2 - 1. Is k(-2) a prime number?
False
Let n = 188 + 409. Is n a prime number?
False
Suppose 0 = 2*m - 0*m + 10. Let h(k) = k**3 + 6*k**2 + 3*k + 3. Is h(m) composite?
False
Let n = -2855 + 5526. Is n a composite number?
False
Let b = 0 + 3. Suppose 2*z = -5*p + 221, z - 12 = -b*p + 120. Is p composite?
False
Let t = 581 + -28. Is t a composite number?
True
Let f(x) = x**2 + x - 3. Let u be f(0). Let q = -1 - u. Is 33/(1 - 0) - q composite?
False
Let o = 290 + -490. Let t = -91 - o. Is t a prime number?
True
Let j(s) = -5*s + 1. Let w be j(1). Is (-2)/6*5604/w a composite number?
False
Let s(t) = 2*t**3 - 11*t**2 + 10*t - 6. Let p be s(7). Let z = -98 + p. Is z a composite number?
False
Let l = -150 + 959. Is l a prime number?
True
Suppose -3*w + 4*w = 2*r - 6, 5*w - 2*r = 2. Suppose -w*c + 25 = -13. Is c a composite number?
False
Let z be -45*(-1 + -3 + 5). Let g = z + 134. Is g a composite number?
False
Suppose -3*d = -8*d - 15. Is d/(12/14)*-58 a composite number?
True
Let u be (0 - 0)/(2/(-1)). Suppose -4*j = -5 + 1, -b = -j - 3. Suppose u = -b*q - q + 265. Is q prime?
True
Suppose u - 4*w = 9, 5*u - 4*w - 1 = -6*w. Let v be (8 + u)*(-5)/(-15). Is (-1)/v - 292/(-3) a composite number?
False
Suppose 4*u + 5*l = l + 16, u - 5 = -2*l. Let v be 775/u - (-2)/(-6). Suppose -5*j = -v - 127. Is j a prime number?
False
Let h(s) = s**2 - 3*s - 5. Let m be h(5). Let o = m - 5. Suppose -36 = -4*n + 2*q, 2*n + q + o*q - 10 = 0. Is n a composite number?
False
Is (639 + -4)/5 - 0 a prime number?
True
Let z(j) = -305*j + 3. Let u(i) = -102*i + 1. Let g(v) = 11*u(v) - 4*z(v). Is g(3) composite?
False
Let j be (8/(-14))/((-2)/7). Suppose b = 4*n + j, 2*n + 0*n = -5*b + 32. Is (-15)/(-2) - 3/b composite?
False
Suppose 2*x = 3*x - 65. Suppose 125 = 5*w - x. Is w composite?
True
Let v = 7 + -4. Is 3/v + (2 - -7) prime?
False
Let o(b) be the first derivative of b**4/4 + 7*b**3/3 + 2*b**2 - 8*b - 3. Let u = -1 + -5. Is o(u) prime?
False
Let o = 50 + 81. Is o a composite number?
False
Is 14/(-28)*(1 + -587) a prime number?
True
Suppose 107 + 181 = 3*t. Let n = 161 - t. Is n a composite number?
True
Let u be 1/(-1 - 12/(-10)). Suppose 0 = -t + 3*j + 130, u*j = -0*j - 25. Is t composite?
True
Let w(a) = a**2 + a - 145. Let g be w(0). Let b = g - -492. Is b composite?
False
Suppose 4*b + 3*y = 2*b + 12, -5*y = 4*b - 20. Suppose -3*p - x + 2288 = b, -4*p + 4*x + 2456 = -568. Is p composite?
False
Suppose -43 = 3*n - 1540. Is n prime?
True
Let r(a) be the third derivative of -a**6/60 - a**5/20 + a**4/24 - a**3/6 + 2*a**2. Suppose 2*o = -0*o - 6. Is r(o) prime?
True
Let y(n) = -3*n**3 + 9*n**2 + 12*n + 6. Let b be y(-8). Let r be b/21 - 4/14. Is r/9 + 2/6 a prime number?
True
Let s(u) = 3*u**2 - 5. Let o be s(10). Suppose r = -3*c + o, -4*r - 174 = -2*c + r. Is c composite?
False
Suppose 3*o - 2505 = -2*o. Is o prime?
False
Is 8/8 - 2 - 566/(-1) a composite number?
True
Let n(r) = -r**3 + r**2 + 169. Let c be 2/(-4)*-2 + -1. Let g be n(c). Suppose -4*v = -3*s - g, -v + s + 42 = -0*v. Is v composite?
False
Is (-131461)/(-77) - (-4)/(-14) a composite number?
True
Let h(a) = -1 - a - 3 + 4. Let q be h(-5). Suppose 0*d + 955 = q*d. Is d a prime number?
True
Is 77 - (-9)/(-12)*4 a composite number?
True
Suppose -337 = -45*f + 44*f. Is f a prime number?
True
Let s be 5 + (2/1 - 3). Suppose 2*l = 2*q + 2 + 6, -3*l + 12 = s*q. Suppose 5*r + 21 = p, 5*p + r - 1 - 26 = q. Is p prime?
False
Let v be 3/9*3 + 0. Let c be 58 + -2*v/2. Suppose 3*g - c = 90. Is g a prime number?
False
Let v(g) be the second derivative of 5*g**3/6 + g**2/2 - 3*g. Is v(1) composite?
True
Suppose -8*l = l - 118557. Is l prime?
False
Suppose 4*q - 1137 - 967 = 0. Is q a composite number?
True
Suppose -5*m + 4 = 3*b - 1, 4*m - 1 = -3*b. Suppose 0 = m*z + 3*x + 8, -2*x + 13 = -0*z - z. Let v(u) = u**3 + 6*u**2 - 3*u - 7. Is v(z) composite?
True
Suppose 7 = 2*v - 0*v - a, -a - 22 = -5*v. Suppose 3 - v = 2*i. Is 14 + i + 1 - 0 prime?
False
Let k(v) = -2*v**2 - 11*v + 3. Let g(d) = 5*d**2 + 32*d - 10. Let t(j) = 3*g(j) + 8*k(j). Let m be t(7). Is (-39 - -2)/(-2 + m) a prime number?
True
Let w(a) = -5*a - 265. Let h(j) = -9*j - 531. Let m(r) = -4*h(r) + 7*w(r). Is m(0) composite?
False
Let b(h) = 2*h**2 + h - 11. Is b(-8)