ppose 0*u - 12 = -4*u. Suppose 4*p + 24 = 5*x - 58, u*x = 5*p + 44. Let r = -12 + x. Is r composite?
True
Suppose 0*q + q - 7 = -4*n, -n + 6 = -4*q. Suppose o = n*o. Suppose -5*w + 126 - 21 = o. Is w composite?
True
Let p = 18 - 18. Suppose -3*x + 21 + 24 = p. Is x composite?
True
Let b(h) = h - h + 5 + 13*h**2 - 4. Is b(-2) prime?
True
Suppose -w - 12 = -5*w. Suppose w*s = -y + 29, 5*y - 5*s = -s + 183. Is y a composite number?
True
Is ((-10)/(-3))/(8/5388) a composite number?
True
Suppose -3*a - 5*l + 5534 = 510, 0 = -4*a - 5*l + 6697. Is a composite?
True
Let d(f) = 342*f**3 + 4*f - 5. Is d(1) a composite number?
True
Let j = -2703 + 4048. Is j composite?
True
Let u(a) = 2483*a + 6. Is u(1) a prime number?
False
Let t(j) = 3*j**3 + 4*j + 1. Let p be t(3). Let q be 3/4 + (-1)/(-4). Is p*(-3)/(-6)*q prime?
True
Let u = 13 + -9. Suppose -2*v - 1 = -11. Suppose 0*y - u = -y, v*k - 177 = -3*y. Is k a composite number?
True
Let n be (-454)/(-18) - 2/9. Let k = 48 - n. Is k a prime number?
True
Suppose 0 = 5*t - 107 - 68. Is t prime?
False
Suppose -5*r + 158 + 147 = 0. Suppose v = r + 100. Is v composite?
True
Suppose 5*d = 2*x + 25, 0*x + 2*d - 10 = -4*x. Let a = 187 + x. Is a composite?
True
Let t(c) be the third derivative of c**5/12 + c**4/24 - 3*c**3/2 - 2*c**2. Is t(-4) a composite number?
False
Let b be 3 + -3 + 1 + 1. Let i be b/4*(1 - -2613). Is (-2)/9 + i/9 prime?
False
Let l(a) = a**2 - 4. Let z be l(3). Suppose -z*p + 9 + 1 = 0. Suppose 4*w + k = -p*k + 280, -3*w + 3*k = -189. Is w composite?
False
Let r = 750 - 371. Is r composite?
False
Let i(o) = -o**3 + 2*o - 1. Let t be i(-2). Let l = t + 0. Suppose 5*g - 70 = -2*a + 4*g, a - 49 = l*g. Is a composite?
False
Let h(j) = j**3 + 2*j**2 + 2*j + 1346. Is h(0) a prime number?
False
Suppose 3*c + 6 = -l - 2, -3*c - 20 = -2*l. Let z(g) = g**3 - 2*g**2 + 2*g - 3. Is z(l) a prime number?
True
Let m = -20 + 55. Let a be 3/(-6) - m/2. Let i = 25 - a. Is i prime?
True
Let j(u) = 30*u + 21. Is j(15) a composite number?
True
Suppose -g - 2*g = -12. Suppose -g*f = -9*f + 10, 460 = q - 5*f. Is q/12 - (-1)/(-6) prime?
False
Let i(x) = x + 64. Let l(k) = k + 63. Let a(v) = 4*i(v) - 3*l(v). Is a(0) a composite number?
False
Let m(i) = -i**3 + 9*i**2 + 7*i + 4. Let r be m(10). Is (r - -5)/((-3)/2) prime?
False
Suppose -4*o - 942 + 121 = -5*t, -2*t + 302 = 5*o. Suppose 0 = 3*h + 2*z - t, 5*h - z + 3*z = 267. Is h composite?
False
Suppose 11*o - 6055 = 4*o. Is o a prime number?
False
Let j(i) be the first derivative of i**4/4 - i**3/3 - i - 6. Is j(4) composite?
False
Let r = -18 - -115. Is r a composite number?
False
Let t(z) = 26*z**3 - z**2 - 3*z. Let q(a) = 27*a**3 - a**2 - 4*a. Let d(i) = -4*q(i) + 5*t(i). Let h = 0 - -1. Is d(h) a prime number?
False
Suppose 0 = -5*o - 4 - 6. Let t be 3/o*(-16)/6. Is ((-6)/t)/(3/(-102)) prime?
False
Is 1484/42*((-390)/(-4))/5 a composite number?
True
Let g = -146 + 687. Is g a prime number?
True
Let h(n) = -2*n + 26. Let j be h(11). Is -3 - j*260/(-8) a prime number?
True
Suppose -2*x + 0*x = -776. Suppose -3*h + o + x = 112, -2*o + 176 = 2*h. Is h a prime number?
False
Suppose 0 = -3*q + 2*v + 15, 12 = -0*v - 4*v. Suppose 4*g = q*a - 29, g - 19 = 2*a + 6*g. Is (7/a)/(5/30) a prime number?
False
Is ((-2)/(-1))/(4/2234) composite?
False
Let b(q) = -7*q**3 - 2*q**2 - q. Let h = 3 + -4. Let y be b(h). Is 7/3 + 4/y a composite number?
False
Let v(s) be the first derivative of -s**3/3 - 2*s**2 + s + 1. Let u be v(-5). Let b = -2 - u. Is b composite?
False
Let h be (-6)/8 + (-21)/(-28). Suppose h*y - 33 = -y. Is y prime?
False
Let r(h) = -6*h + 29. Let c(g) = -2*g + 10. Let w(m) = -8*c(m) + 3*r(m). Suppose 0 = -2*q - 4*k - 24, 2*q - 2*k = -0*q - 24. Is w(q) a composite number?
False
Suppose 2*z + 430 = 3*v, 4*v - 3*z = -5*z + 578. Is v + (0 - (1 - 2)) a composite number?
True
Suppose 2 - 12 = -2*y. Suppose 4*h - y = 7. Suppose -f - h = -7. Is f prime?
False
Suppose 4*t = -0*t + 16. Let n = t - 6. Is (-3 + 0)/(1 + n) a composite number?
False
Let k be 8/(-28) - 4/(-14). Let l(g) = -g**3 - g**2 + g + 67. Is l(k) a prime number?
True
Let b be 96/(-10) + 6/(-15). Let q = b - -9. Is ((-2)/(-6))/(q/(-159)) a prime number?
True
Suppose 0 = h - 5*v - 1734, 0*h + 3538 = 2*h + 4*v. Is h a prime number?
True
Suppose 34 = 3*z + 1. Is z a prime number?
True
Suppose 3*d = -5*b + 2339, 0*b - 2*d + 2341 = 5*b. Is b prime?
False
Suppose 12 = -0*f + 4*f. Suppose -829 = j - f*j - 3*o, 5*j + o = 2040. Is j composite?
True
Let q = 10 - 12. Is 15*(q - (-8)/3) a composite number?
True
Suppose -5*m + 3300 = -5*d, 0 = 2*m - d - 1577 + 255. Is m a composite number?
True
Is 63650/30 + (-8)/(-6) prime?
False
Let u(d) = 61*d + 4. Let o(q) = 41*q + 3. Let p(f) = -7*o(f) + 5*u(f). Is p(2) prime?
False
Let l(o) = -o**2 - o. Let n be l(-1). Suppose d + d + h = -5, n = 2*h + 2. Let x = 17 + d. Is x a prime number?
False
Let c be -2*(-2 + 1 - 1). Suppose -3*v + k = c*k - 66, 4*k - 69 = -3*v. Is v a prime number?
True
Let w = -853 - -1817. Let r = w + -663. Is r a prime number?
False
Let k(o) = o + 14. Let t be k(-10). Is ((-796)/(-16))/(1/t) prime?
True
Let z be 6/(-3) - (-2 + -19). Suppose -5*v = -z + 64. Let s(t) = -17*t + 10. Is s(v) composite?
False
Let j(n) = 122*n - 17. Is j(9) a prime number?
False
Let d(s) = 48*s**2 - s + 1. Let o be d(1). Let k = 38 - -20. Suppose 2*p - k = o. Is p a prime number?
True
Let a(v) = 3*v**2 + 5*v - 5. Let g(x) = 10*x**2 + 14*x - 14. Let b(s) = -7*a(s) + 2*g(s). Let m be b(-8). Is (18/(-8))/(m/4) a prime number?
False
Let b(q) = 3*q**2 - 8*q - 3. Let g(r) = -7*r**3 - r**2. Let d be g(-1). Is b(d) a composite number?
True
Suppose 6*l - 7*l = 0. Suppose -5*z + 0*z + 2225 = l. Is z prime?
False
Let o(i) = 1 - 2*i - 2*i - 3*i**2 + 2*i**2. Let w be o(-3). Suppose -w*d + 159 = -d. Is d composite?
False
Suppose -5*n + 0*n - 36 = 3*u, -n - 12 = 3*u. Let w be 40/n*(-342)/5. Suppose 2*b - 468 = -4*i, 4*i + 0*b - w = -5*b. Is i a composite number?
True
Let l = -354 - -123. Let s = 506 + l. Suppose -r + 16 = -5*r, 5*r = -5*f + s. Is f prime?
True
Suppose -6*w + 2846 = -4*w. Is w a composite number?
False
Let n = 3126 + -89. Is n a prime number?
True
Let n = 16 - -99. Is n a composite number?
True
Is ((-16)/24)/(2/(-795)) prime?
False
Let v = 153 + -239. Let a be ((-12)/(-20))/(2/730). Let q = a + v. Is q a prime number?
False
Let c(r) = r**3 + 9*r**2 - 2*r - 4. Is c(-5) prime?
False
Suppose -93*t = -92*t - 745. Is t a composite number?
True
Let d = 553 - -1500. Is d prime?
True
Suppose 3*y - n = 1399, -y + 473 = -0*n + 3*n. Let b = y - 288. Is b prime?
True
Suppose -5*s + 4435 = 6*n - n, 0 = s + 3*n - 887. Is s composite?
False
Let f(w) = 2*w - w + 0*w**2 + 79 - w**2. Is f(0) a composite number?
False
Suppose 11*m - 2215 = 6*m. Is m prime?
True
Let i = 14 - -12. Let k = -52 + 122. Suppose -2*a - i = -k. Is a composite?
True
Suppose 0 = -4*l - 4*c + 6540, -5*l + c = 5*c - 8177. Is l prime?
True
Suppose 0 = 2*r + 6, 0 = 2*n - n - 4*r - 15. Is -28*(207/(-12))/n a composite number?
True
Let b(y) = -7 + 24 - 16*y**2 + 18*y**2. Is b(12) prime?
False
Suppose -s - 2*j = 8, j + 3 + 2 = 0. Let n = 2 - s. Let b(t) = t**2 + t + 53. Is b(n) a prime number?
True
Let d = -7 - -22. Is d a composite number?
True
Suppose -4*b + 14 - 6 = 0. Let c = 93 - 54. Suppose -b*u = u - c. Is u a composite number?
False
Suppose -u - 364 = -3*l - 6*u, 4*u + 582 = 5*l. Is 1*-2*l/(-4) prime?
True
Let n(m) = -m**3 - 4*m**2 - m - 1. Let b(p) = 3*p**3 + 12*p**2 + 4*p + 3. Let t(v) = -3*b(v) - 8*n(v). Is t(-4) composite?
True
Suppose 2*i = 5443 + 951. Is i a prime number?
False
Let y(c) = c**2 - c. Let r be y(0). Let w = 74 - r. Suppose u + 5*j = -3*u + w, -4*u + 82 = j. Is u a prime number?
False
Suppose 3*w + 0*w = -3*m - 18, 3*m = -5*w - 22. Is (w - (-93)/15)*5 a composite number?
True
Let y(a) = 29*a + 4. Let k(t) = -10*t - 1. Let i(q) = -11*k(q) - 4*y(q). Suppose 5*r + 32 = -h, 2*h = 7*h - 15. Is i(r) a prime number?
True
Let c(l) = 22*l**2 - 2*l - 1. Suppose 9 = -3*u + 6*u. Is c(u) a prime number?
True
Let t(h) = 70*h**2 + 7. Is t(8) composite?
True
Is ((-30)/45)/((-2)/1599) a composite number?
True
Let r(b) be the second derivative of -264*b**5/5 + b**4/12 + 6*b. Is r(-1) composite?
True
Let a = -2 + 7. 