-3*t - 177 + 612 = j. Is t a composite number?
True
Suppose 0 = -2*d + 375 + 47. Is d prime?
True
Let w = -60 + 30. Is (-2)/(-5) + (-2598)/w prime?
False
Let f = -226 + 362. Suppose -f - 237 = -v. Is v a prime number?
True
Suppose -2*w + 38 = 4*v - w, 5*v - 4*w - 37 = 0. Suppose d - 4*d + v = 0. Is d composite?
False
Let j = 2422 + 147. Is j composite?
True
Let o = -6113 - -8722. Is o composite?
False
Suppose -61 = z - 330. Is z a composite number?
False
Let o(k) = -13*k**3 - 3*k**2 - 7*k - 8. Is o(-5) a composite number?
True
Let u = 19 - 13. Suppose 4 = -u*c + 2*c. Is -2 - (1 + c + -21) a composite number?
False
Suppose -566 = -8*t - 142. Is t prime?
True
Suppose 2*s + s + m - 5 = 0, 4*m = 5*s + 20. Let r = 70 + 39. Suppose -2*p + z = p - r, 2*p - 3*z - 68 = s. Is p composite?
False
Let a(x) = -20*x - 2. Let z(v) = 21*v + 1. Let h(o) = -2*a(o) - 3*z(o). Let u be h(-3). Suppose 0 = -k + 3*k - u. Is k prime?
False
Let h(w) = w**2 + w - 1. Let q be h(-2). Suppose 4*s = -c + 13, 3*c = 4*s - q + 8. Is 3/s + (-531)/(-18) a composite number?
False
Let u(x) = -32*x**2 - x + 1. Let w(c) = c**2 - 1. Let f(n) = -u(n) - w(n). Let r be f(-1). Suppose 4*h + r = l + 185, -3*h + 2*l = -115. Is h a prime number?
False
Let r(m) = 38*m + 11. Is r(4) prime?
True
Let z(q) = -q**3 - 3*q**2 + 3*q - 2. Let i be z(-4). Let m(o) be the third derivative of o**5/12 + o**4/12 - o**3/3 + o**2. Is m(i) a composite number?
True
Suppose 0 = -16*y + 468 + 60. Is y prime?
False
Suppose -3*r - 87 = -3*o, o + r - 39 = -3*r. Is o a prime number?
True
Let j(m) = -950*m + 3. Is j(-1) a composite number?
False
Let n = 31 - 10. Suppose -n + 319 = 2*j. Is j prime?
True
Let c be 2/(-3) - (-14)/21. Suppose -3*z = -5*w + 35, 4*w - 2*z = -c*w + 30. Is w a prime number?
False
Suppose -875 = 6*h - h. Let o = h - -336. Is o a composite number?
True
Is (989 + (-2)/(-1))/((-17)/(-85)) prime?
False
Let i(b) = -4*b - 25. Is i(-21) a composite number?
False
Suppose 16 = 2*j + 6, -2*y + 17 = j. Let u = 16 + y. Is u prime?
False
Suppose 0 = v + 2*v - 6. Suppose 2*j + 6 = -v. Is (-18)/j*(-8)/(-6) prime?
False
Let z(v) = -v**3 + 7*v**2 - 7*v + 2. Let w be z(6). Let k = 71 + w. Is k composite?
False
Let z = -14 + 23. Suppose 5*f + 13 = 3*u, f + z = -3*u + 2*u. Let k = 59 + u. Is k a composite number?
True
Suppose 0 = -7*l + 3*l - 16, -2*i + l + 4 = 0. Suppose 3 = -v, i*y = -2*y + 5*v + 53. Is y prime?
True
Suppose 0 = 4*d - 8, 2*o + 2*d = 13 - 5. Let k be 3 + 0 + (o - 2). Suppose -k*b = z - 28, -2*z + 2*b + 2*b = -76. Is z prime?
False
Let w(j) = -j**2 - 8*j + 11. Suppose 0*p + 34 = 5*p + l, -10 = -5*p + 5*l. Let q(u) = u**2 + 9*u - 11. Let h(t) = p*q(t) + 5*w(t). Is h(12) prime?
False
Let h be 1 - (5 + -2)/(-1). Suppose -2*q - r + 154 = 0, 4*r - r - 304 = -h*q. Is q a prime number?
True
Suppose 5*u - 53 - 27 = -5*v, 59 = 4*v - u. Let j be 2*(v/6)/1. Suppose -j*g + 12 - 3 = -4*r, -4*g + 36 = 4*r. Is r a composite number?
True
Let o be (-1082)/(-8) - (-3)/(-12). Let l = 112 - 188. Let p = l + o. Is p a composite number?
False
Suppose 2*a + 39 = -15. Let j be (4/6)/(2/123). Let p = j + a. Is p a prime number?
False
Let l(m) = 17*m**2 - 2*m - 2. Let d be l(-3). Is (-3)/(12/d)*-4 prime?
True
Let p be ((-8)/(-20))/(2/(-10)). Let h be (-1 - -3) + 1 + p. Is 1 - h - (-66)/3 a composite number?
True
Is 36/(-9) + 412 + 1 a composite number?
False
Suppose -3*p + 5 = -7. Suppose u = p*y - 1365, -5*y + 2*y - 4*u + 1038 = 0. Let z = y - 215. Is z prime?
True
Let i be 1*3 + 1 + -1. Suppose i*v - 5*v = 0. Suppose d + 2 = v, -4*z + 2*z + 18 = 4*d. Is z composite?
False
Suppose 0 = 5*n + 2*m - 49, 5*n = 3*m - m + 41. Suppose -2*k = k - n. Suppose -k*d - d + 76 = 0. Is d prime?
True
Let b(c) = -c**2 + 9*c - 3. Suppose 0*p = 4*p - 24. Is b(p) a prime number?
False
Let n(x) be the third derivative of -2*x**2 + 0 - 11/6*x**3 + 0*x - 7/6*x**4. Is n(-8) composite?
True
Suppose 66 = -5*u - 164. Let c = u + 93. Is c prime?
True
Let g = 19 + -20. Is (-3368)/(-18) + g/9 a prime number?
False
Suppose 137 + 488 = -5*h. Suppose -5*x + 890 = m, 0*x = 4*x + 2*m - 712. Let u = h + x. Is u a prime number?
True
Suppose 3524 = 9*r - 787. Is r composite?
False
Let t be (-6)/(-1) + 3 + -5. Suppose -r = -5*r + t. Is r + 0 + 64/2 composite?
True
Let p = -1 - 5. Let h = p - -7. Is ((-1)/(h/94))/(-2) a composite number?
False
Let l = 2 + 478. Suppose -2*z + 2*i = 2, z - 9 - 5 = -4*i. Suppose z*y - 157 = -5*f + l, -3*y = -3. Is f prime?
True
Let m(b) = -b**3 + 8*b**2 - 7*b - 4. Let l be m(7). Let o(f) = -19*f + 1. Is o(l) a composite number?
True
Let s(x) = -97*x - 50. Is s(-12) prime?
False
Let p be ((-362)/(2/1))/(-1). Suppose -5*r + 84 + p = 0. Is r composite?
False
Suppose -7*a + 110 = -2*a. Is a a prime number?
False
Suppose 6*m = 2*m. Suppose m = 4*w - w - 762. Is w prime?
False
Let g = 59 - -8. Suppose -4*h - 2*m + 194 = 0, h + 3*m - 43 = 8. Let o = g - h. Is o composite?
False
Let d = 6 - 10. Let j be (-277)/3 - d/12. Is 1/(-2*2/j) composite?
False
Let t be (109*-1)/(0 - 1). Let s = 52 + t. Is s a prime number?
False
Let h(d) = -d**3 + 7*d**2 + 2*d - 10. Let t be h(7). Suppose 0 = -t*m - 3*u, 2*u - 8 = -4*m + u. Is 1/m - 508/(-6) a composite number?
True
Suppose -4*r = -y + 3*y + 378, 2*y = 3*r + 287. Let o = 346 + r. Is o a composite number?
False
Let q(k) = 0 + 0*k - 1 - 3*k. Let m be q(-1). Suppose -m*t + 381 = t. Is t composite?
False
Suppose -5*g + 7 = 2, 0 = 2*f - 4*g - 214. Is f prime?
True
Is (20/(-6))/((-8)/84) a prime number?
False
Suppose -10 = -4*a - s, 4*a + 2*s = 8 + 4. Suppose 4*f = m - 42, 4*f - 2 = a*f. Is m a composite number?
True
Let g(u) = -5 - 4*u**2 - 9*u + 2*u - u**3 - 2*u**2. Let h be g(-5). Suppose 3*p - 44 = -4*j + 5*p, -h*j - 3*p + 33 = 0. Is j a composite number?
True
Suppose 0 = 4*s + 5*l + 33213, -16600 = 2*s - l - 3*l. Is (-2)/6 + s/(-21) composite?
True
Let r = -4 + 9. Suppose -313 - 82 = -r*q. Is q a composite number?
False
Is 6/2 + ((-1472)/(-2))/2 a composite number?
True
Suppose -2*v + 9 = -0*v + 3*m, 0 = 3*v + 4*m - 12. Suppose -f = -0*n - 2*n, v = -4*n + 4. Is (1 - f)/(1/(-35)) a prime number?
False
Let z(p) = -3*p**3 - 5*p**2 + p - 2. Let t(s) = 2*s**3 + 5*s**2 + 1. Let k(q) = -5*t(q) - 4*z(q). Let j be k(5). Suppose a + 19 = j. Is a composite?
False
Let f = 19 + 198. Is f prime?
False
Let m be 2/8*4*0. Suppose m = -f - 4*z + 199, z = 4*f + 5*z - 832. Is f prime?
True
Let t = -7 + 7. Suppose -o - 4*o + 155 = t. Is o prime?
True
Let d(b) = b**2 + 7*b + 8. Let v be d(-7). Let w = v + 6. Is w a composite number?
True
Suppose 5*y - 25 = -3*r, 5 + 2 = 3*r - 4*y. Let a = r - 5. Suppose 3*q + q - 236 = a. Is q a composite number?
False
Let u(h) = h**2 + 9*h + 11. Let g be u(-8). Is 632 - g*(-3)/(-9) a prime number?
True
Let f = 0 - 0. Suppose f = -4*n - 3*w - 137 + 494, -444 = -5*n - 3*w. Is n composite?
True
Let d be (1/2)/(3/18). Suppose 6 - d = i. Is i composite?
False
Let v = 4 + -3. Suppose f - 22 = -6. Is 216/f + v/(-2) a composite number?
False
Let n = 36 + -72. Let g = -26 - n. Is g a composite number?
True
Suppose 0 = -f - 4*r + 16, f = r - 1 + 2. Suppose -2*j = -u + 103, f*u - j = 226 + 214. Is u a prime number?
False
Let l be -4*((-1737)/4 - -3). Let q = -1208 + l. Is q a composite number?
True
Let d = 18 - 11. Let i(v) = v**2 - 5*v + 2. Let n be i(5). Suppose -n*b - 235 = -d*b. Is b prime?
True
Suppose 0 = f - 5*i + 8, -2*f - 2*i = -i - 6. Is (-3 + f)/((-3)/1317) a composite number?
False
Suppose -4*z = 4*k - 44, -5*k + 7 - 2 = -5*z. Let w be (15/10)/(k/632). Suppose -2*l - f + 4*f + 142 = 0, 0 = -2*l - f + w. Is l a composite number?
True
Suppose 6*d - 2505 = d. Suppose -48 - d = -5*a - 4*g, -4*a = -2*g - 460. Is a composite?
False
Suppose 13*j = 10*j + 10023. Is j a composite number?
True
Let b(d) be the third derivative of d**5/20 - d**4/8 - d**3/2 - 3*d**2. Is b(4) prime?
False
Let m(g) = g**3 + 2*g**2 + g. Let o be m(-2). Is o/(-4) - 276/(-8) a composite number?
True
Suppose -2*n + n + 5 = -v, -n = -5*v - 9. Suppose -5*m = -2*m - 4*b - 757, 0 = -5*m - n*b + 1251. Is m a composite number?
False
Suppose 2*n - 3*n = -6. Let h = n + -4. Suppose 6*g = -5*f + 3*g + 284, -h*f + 95 = -5*g. Is f prime?
False
Let d be (-5)/15 - (-20)/6. Let h be 3*(d + (-8)/3). Is (-536)/(-6) + h/(-3) prime?