x*u + 5. Let d = 12 - t. Is d prime?
False
Suppose 0 = 2*q + 3*d + 2*d - 239, 5*q - 5*d - 650 = 0. Is q prime?
True
Let s(m) = -m**3 - 9*m**2 - 5*m - 8. Let r be s(-11). Suppose -2*b = -j - 224 + 28, 3*b - r = -j. Is b a prime number?
True
Let w(p) = -14*p - 5. Let b(f) = 98*f + 36. Let m(t) = -6*b(t) - 44*w(t). Let i be m(4). Let n = i + -61. Is n prime?
False
Is (-1300)/(-2) - 1*-3 a prime number?
True
Suppose -5*q - 651 = -2*m, 2*m + 5*q = -0*q + 621. Suppose 2*z + 0*z - m = 0. Is ((-1)/(-1))/(3/z) a prime number?
True
Let t = -51 - -116. Is t composite?
True
Suppose -4*j + 10 = 3*w, -4 = 4*j - 0*w - 4*w. Let o be (j - 1)/(-3)*-1. Is 1 + 69 - (3 + o) a prime number?
True
Suppose 4*k - 6 = -2*i + 4, 0 = i - k + 4. Let d(r) = -18*r**2 - r - 1. Let x be d(i). Is (-82)/x*3*6 a composite number?
True
Let n = -424 + 819. Suppose 0 = -4*r - t - 2*t + 316, 5*r - n = t. Is r prime?
True
Suppose 3*c + 5 = -5*g, -c = -0 - 5. Let p be ((-2)/g)/(1/(-4)). Is (1 - 1) + (-50)/p prime?
False
Suppose 7 = m - 1. Is 346/1 - (m + -8) composite?
True
Let q(n) = n**2 - 6*n - 4. Let j be q(7). Let t(s) = -s + 2*s**2 + 4 - j - s**2 - 4*s. Is t(6) prime?
True
Let a be (-8)/6 + (-5)/(-15). Is 36 - (-2)/a - 3 prime?
True
Suppose 0 = -3*z + 10 + 2. Suppose 5*v = 3*v + z. Suppose -l - v = -23. Is l prime?
False
Let d be (1*254)/((-3)/(-6)). Let q(h) = -h**2 - 8*h - 7. Let i be q(-6). Suppose -9*b + i*b = -d. Is b a prime number?
True
Let f(d) be the second derivative of d**4/12 + d**3/3 - 2*d**2 - d. Let v = -4 - -9. Is f(v) a prime number?
True
Let w = 12 + -9. Suppose -5*a - w*i + 454 = 0, -2*a - i = -0*i - 181. Is a a composite number?
False
Suppose -27040 = -9*i - 3559. Is i prime?
True
Is (0 - 20/(-8))*118 prime?
False
Is (12/(-14))/3 - 284945/(-35) a prime number?
False
Suppose 0 = -3*y - 5*x - 715, -5*y + 4*x + 555 = 1685. Is (-2)/6 + y/(-15) composite?
True
Let c = -282 + 535. Is c composite?
True
Let c be (296 + -2)/((-10)/(-15)). Suppose 2*m = 2*o + o + 304, -c = -3*m - 3*o. Is m a composite number?
False
Suppose 4*u + l = 1436, 0 = -5*u + 2*u + 4*l + 1077. Is u prime?
True
Suppose 5*t + 553 = -427. Let m = 433 + t. Is m composite?
True
Suppose 5*l = r + 24, 0*l - 3*r = -2*l + 20. Suppose -l*f - 43 = 41. Is (-4445)/f - 2/3 composite?
False
Let h = -3531 - -5000. Is h a composite number?
True
Let u(k) = k**3 - 11*k**2 - 2. Let a be u(11). Is -3 - (194*2)/a prime?
True
Is (1 - 0)/((-7)/(-5579)) a composite number?
False
Let r = -24 + 57. Is r composite?
True
Let r(n) = n**3 - 5*n**2 - 6*n + 4. Let z be r(6). Suppose 233 = z*v - 411. Is v a prime number?
False
Is -15 + 15 - 179/(-1) prime?
True
Suppose 9*a + 5034 = 15*a. Is a prime?
True
Suppose 2*u - 3*b = -6*b + 27, -u + b = -26. Let m = u - -122. Is m a composite number?
True
Suppose -o = -2 + 3. Let y be (-6 + 5)/(o/135). Let g = 202 - y. Is g composite?
False
Let a(v) = v**3 + 3*v**2 - 2*v - 1. Let p be a(-3). Suppose j - p*z = 52, -5*j - 5*z + z = -347. Is j a composite number?
False
Let j(k) = -2*k - 7. Let n be j(-6). Suppose 0 = 5*v - n*y - 15, 1 + 2 = -5*v - y. Suppose v*c + 2*c = 18. Is c a prime number?
False
Let o(b) = -b**3 - b**2 - b + 491. Is o(0) a composite number?
False
Let p(m) be the second derivative of m**4/12 - 7*m**3/6 + 5*m**2/2 + m. Let v be p(6). Is (-3 + -32)*(v + 0) prime?
False
Suppose 0 = -3*y - 4*r + 2169, 4*y = 3*r + 2326 + 541. Is y composite?
False
Let h = 11 + -10. Is 1 + -1 - (-121)/h prime?
False
Suppose v - 3*v + 2 = 0. Let z be v + 2 + 1 - -2. Let u = 13 - z. Is u a composite number?
False
Suppose 15 = i + 4*i. Suppose 0 = -0*y + i*y. Suppose y = -w - 0*w + 31. Is w composite?
False
Let a = -194 - -330. Let r = a - 83. Is r a prime number?
True
Let r = 3 - 5. Is (r - 5*-29) + 2 prime?
False
Let f(r) = r**3 + 16. Is f(9) prime?
False
Suppose 3*c + 44 = -3*w + 4*w, 5*c + w + 76 = 0. Suppose -2*n + 0*n = -18. Is (-146)/(-10) + n/c a composite number?
True
Suppose 1048 = 2*j - 6*j. Let y = j - -439. Is y composite?
True
Let p(s) = 86*s - 1. Is p(3) a composite number?
False
Let x = 9 + -6. Is 19/((2 - x)*-1) a prime number?
True
Suppose 5*q = -3*g - 36, 4*g + 0 = -q + 3. Let f(t) = -11*t - 22. Is f(q) composite?
True
Let a(p) = 192*p**2 + 3. Is a(2) a prime number?
False
Let n be (-2)/3 - (-424)/24. Suppose 8*f - n = 3*f + 3*w, 0 = 3*f - w - 11. Suppose f*v + 20 = 8*v, 29 = l + 2*v. Is l composite?
False
Suppose -3*q + 6 = -2*q. Let s = 121 + q. Is s prime?
True
Is (-116)/(-2)*(-1)/(-1) prime?
False
Let n be (-2 + -2)*(-3)/4. Suppose 107 = n*t + 8. Is t prime?
False
Suppose -w - w + 42841 = 5*s, 0 = 3*s + w - 25704. Is s composite?
True
Let q be (-228)/(-15) - 1/5. Suppose 0 = 5*i - 0*i - q. Suppose i*h - 389 = 94. Is h prime?
False
Let a(p) = -p**2 - 12*p + 13. Let k be a(-9). Suppose 64 = 2*q - 4*h, 2*q + h = -3*h + k. Is q composite?
True
Suppose -5*k + 12 = -k. Suppose -s + 7 = 4. Suppose 0 = k*v + 12, 3*a + s*v - 2 = a. Is a prime?
True
Let b(c) = c - 5. Let o be b(7). Suppose o*q = -0*q + 190. Is q composite?
True
Let l(p) = -208*p. Let b(r) = -73217*r. Let i(q) = 3*b(q) - 1055*l(q). Is i(-1) prime?
True
Suppose -26 = -5*c - 2*j, -3*c + 10 + 10 = -j. Let g(w) = 2*w + 17. Let l be g(6). Let f = l - c. Is f composite?
False
Suppose 0 = 5*l - 2*j - 1167 - 1040, 5*l - 2231 = -4*j. Is l composite?
False
Suppose -b = -291 - 38. Is b prime?
False
Let y = 141 - 74. Suppose 0 = -3*o + 3, -4*n - 2*o + 243 = -y. Is n composite?
True
Suppose -5*y = -y - 16. Let g(z) be the first derivative of 4*z**2 - z - 1. Is g(y) prime?
True
Let q = 331 + -232. Let o = 353 - q. Is o a composite number?
True
Suppose 12 = 2*i - 0. Is 14/21 - (-218)/i composite?
False
Let u(p) = p**2 + 2*p + 1. Let n be u(-3). Suppose 0 = -3*m - n*k + 154, -m + 4*k = -0*m - 78. Is m a composite number?
True
Let n = 189 - 107. Let u = n + -17. Is u a prime number?
False
Let y = -1 - -300. Is y prime?
False
Suppose k = -3*q + 13, -3*k - q = -k - 36. Is k composite?
False
Let t(a) be the first derivative of 15*a**2/2 + 1. Let b be t(-1). Is b/(-3)*(-14)/(-2) composite?
True
Suppose 6*a - 4*a - 110 = 0. Is a composite?
True
Let h(c) = 11*c**2 - 5*c + 11. Is h(6) prime?
False
Let h(f) = 3*f + 4. Let d be h(-4). Let l(r) = r**3 + 7*r**2 - 9*r + 11. Is l(d) composite?
False
Suppose 0 = p - 0*p - 3. Let g = -33 + 157. Suppose -p*h - h = -g. Is h a prime number?
True
Let s(h) = -h**2 - 6*h. Let n be s(-5). Suppose -2*u = 3*u - 4*t - 333, -n*t = -u + 75. Is u prime?
False
Let v = 10935 - 7188. Is v composite?
True
Suppose 2*v - 6*v = -5*g + 3345, -3*v = 2*g - 1361. Is g composite?
False
Let k(g) = -835*g**3 + 2*g**2 - 4*g - 2. Let z(d) = 836*d**3 - d**2 + 3*d + 1. Let u(b) = 2*k(b) + 3*z(b). Is u(1) prime?
True
Suppose 3*o + 2*o - 10 = 0, 2*o + 38 = 3*k. Let f be 1*k + (6 - 3). Let t = 42 - f. Is t a prime number?
False
Suppose m + 2*m = 0. Suppose -s + 55 = -m*s. Is s a prime number?
False
Suppose l - 4 = 0, -3*g + 4*l = 3*l - 149. Is g a composite number?
True
Suppose 3 + 499 = 2*u. Is u composite?
False
Let w be ((3 - 1) + -2)/1. Let y(b) = b**3 - 13*b**2 + 13*b - 7. Let n be y(12). Suppose w*j + 338 = n*f - j, -f + 4*j + 79 = 0. Is f composite?
False
Let q = 4 - -1. Let c(p) be the second derivative of p**4/4 + p**2 + 2*p. Is c(q) a composite number?
True
Let t(u) = -u**3 - 5*u**2 - 4*u - 1. Let f be t(-4). Is 31*-1*(-2 - f) a prime number?
True
Let x(z) = -z. Let q = 7 - 9. Let a be x(q). Suppose 0 = a*u - 130 + 24. Is u prime?
True
Let v(d) = 293*d**2. Suppose -1 = 2*b + 1. Is v(b) composite?
False
Let f(b) = b + 809. Let v = -24 + 24. Is f(v) prime?
True
Suppose 8*z - 4121 = -5*z. Is z a prime number?
True
Let z(d) = -6*d - 5. Let y be z(-1). Let c(l) be the first derivative of 7*l**2/2 - 1. Is c(y) composite?
False
Let h = 155 + -76. Is h composite?
False
Let p = 2 + 0. Let f(n) = -5*n**2 + 102 - n**3 + 36 - 41 + 4*n**p - n. Is f(0) prime?
True
Suppose -3*v + 0 = -15, 4*j - 4 = 4*v. Suppose -j*u + 2*u = -3*d - 50, -u = -d - 13. Is u a composite number?
False
Suppose 0 = -2*o - o. Suppose -p + 3*h + 10 = -o*p, -22 = -5*p + h. Suppose -2 = -j, -3*j - 25 - 45 = -p*w. Is w a composite number?
False
Is 1076/(-4)*(-5 + 4) composite?
False
Suppose 5*i = -3*c - 2*c + 675, c - 127 = i. Is c a prime number?
True
Let i = 3 