Let a = 1442 - 449. Is a a composite number?
True
Is (-1954)/(-6) + (-2)/(-6) a prime number?
False
Let p(s) = 59*s - 23. Is p(6) a prime number?
True
Let l = -3 + 5. Suppose -o + 0*i = -l*i, 4*o - 2*i = 6. Suppose 2*n = v - 87, 0 = -4*v - n + o*n + 355. Is v prime?
True
Let l(c) = -c. Let r(t) = -2*t**3 - 5*t**2 - t - 1. Let b(s) = -2*l(s) + r(s). Suppose 0 = 3*x - x + 10. Is b(x) a composite number?
True
Suppose 5*a = 4*h + 103, 4*a + h + 13 = 108. Let d be 3/9 + (-250)/(-6). Let m = d - a. Is m a composite number?
False
Suppose -3*b - 10 = -34. Let g(k) = -9*k + b - 26*k - 9. Is g(-4) composite?
False
Let o(t) = -3*t**2 - 3*t + 5. Let n(h) = -h**2 - 1. Let i(u) = -6*n(u) - o(u). Is i(3) a composite number?
True
Suppose y - 4 = -y. Suppose -p - 14 = -y*p. Is p prime?
False
Suppose -i = 2*i - 951. Is i a composite number?
False
Is -13*(2 - 3)*6/6 a composite number?
False
Suppose 29 = -5*k + 4. Let y = -3 - k. Suppose -y*j = 5*t - 46, -5*t - 3*j + 6*j = -56. Is t a composite number?
True
Let a be 10/(-6) - (-2)/(-6). Let k be 2*(-1 + (-4)/a). Is ((-291)/(-6))/(1/k) prime?
True
Is 1150 - ((-5)/(-1))/(-5) a composite number?
False
Suppose -925 = -5*j + 495. Suppose -3*t + 0*t - j = -4*i, 284 = 4*i + 4*t. Is i a composite number?
False
Let g(l) = -l**2 - 4*l + 5. Let a be g(-5). Suppose -2*w + 3*t = 7, a = 2*w - 3*t + 6*t - 11. Is 24 - (w + (2 - 2)) composite?
False
Let z(p) = 41*p**2 - 2*p. Let n(x) = x + 6. Let u be n(-8). Let y be z(u). Let i = y - 91. Is i a prime number?
False
Let b = 8151 + -5494. Is b a composite number?
False
Let f be 1 - -67*(-1 - -2). Let g be f/18 - 2/(-9). Is g/(1 + (-3)/9) composite?
True
Let t = 46 - 13. Is (t/(-9))/(1/(-15)) a composite number?
True
Let p = -8 + 160. Let l = -67 + p. Is l prime?
False
Let j = 361 + 1257. Is j a composite number?
True
Let o(w) = -w**3 + 4. Let i be o(0). Suppose -i*a - a = -485. Is a a composite number?
False
Suppose -3*y = -2*y + 2*d - 207, -d + 1053 = 5*y. Is y composite?
False
Let y(f) = f**2 + f + 0*f**2 + 2*f. Let m = -20 - -15. Is y(m) prime?
False
Suppose 5*t + 4*i = 1465, t + 21 - 314 = -3*i. Is t prime?
True
Let h(p) be the second derivative of 29*p**7/1260 - p**6/720 - p**4/6 + 3*p. Let c(f) be the third derivative of h(f). Is c(1) a composite number?
True
Let j be 0 + (-1)/(-1)*2. Is j/2*(-179)/(-1) composite?
False
Suppose -l + 2*l = 196. Suppose l = 4*n + t, 245 = 5*n + 2*t + 2*t. Is n composite?
True
Suppose -5*t - 4*o + 2229 = 0, -3*t - 5*o = 2*t - 2225. Is t composite?
False
Let h(q) = -q + 1. Let x be h(-4). Let i(d) = -d**2 + 5*d + 5. Let m be i(x). Suppose 0 = -m*z - 0*z + 335. Is z composite?
False
Let k(c) be the second derivative of -80*c**3/3 + c**2/2 + 3*c. Is k(-1) a prime number?
False
Suppose v - 17312 = -3*q, 2*v + 2 = -0*v. Is q a prime number?
False
Let f(b) = -3*b**3 + 3*b + 3. Let j be f(-3). Suppose 2*o + 108 = 4*k, 3*k - 4 = o + j. Is k a prime number?
False
Let t be (-44)/(-10) + (-3)/(-5). Suppose -71 = -o - 5*u, -129 = -3*o + t*u + 164. Is o composite?
True
Suppose -377 = 2*r + 59. Let z = -129 - r. Is z composite?
False
Let q = 98 - 31. Suppose c - 15 - q = 0. Is c prime?
False
Suppose 2*y - 4*w + 16 = -2*w, -2*w = 4*y + 20. Let c(g) = -g**3 - 20*g**2 - 27*g + 3 + 16*g**2 + 19*g. Is c(y) prime?
False
Suppose 0 = 3*z - 2*h - 14, z + 6*h = 3*h - 10. Let m(q) = -q**2 - 7*q - 5. Let p be m(-5). Suppose 4*n = -p*i + 104, -3*n + 0*i + 71 = z*i. Is n prime?
False
Is -6*-79*4/12 prime?
False
Let x = -1355 - -2736. Is x a prime number?
True
Let q = -8 + 8. Suppose 5*t - 108 - 147 = q. Is t a composite number?
True
Let l = -1638 - -3971. Is l prime?
True
Suppose -n = 4*j + 3*n - 72, -3*j = -4*n - 26. Is (j/8)/((-1)/(-20)) a prime number?
False
Let r(l) = 10 - 7*l + 2 + l**2 - 4*l. Let y be r(10). Is 2 + y*-1 - -49 a prime number?
False
Let v(t) = -t**2 - 12*t - 11. Suppose 6 + 4 = 2*z. Suppose -2*h - 24 = z*o + 22, -4*o - 26 = -2*h. Is v(o) a composite number?
True
Let f(s) be the first derivative of s**3/3 - s**2 + 6*s + 4. Is f(10) a prime number?
False
Suppose 0 = -4*q + 1 - 5. Let m = 3 + q. Is 129/m + 6/12 a composite number?
True
Suppose 0 = -4*y + 4 - 0. Let f(g) = g**2 - g + 1. Let a be f(1). Is (-77)/(y + -2*a) a prime number?
False
Is (-19)/(3*(-5)/15) prime?
True
Let t = -6 - -7. Is 0/(-1) + t - -96 composite?
False
Suppose 5*k = 2*u + 18, -4*u - 1 = 5*k + 5. Suppose 2*o + k*o = 12. Suppose 86 = v + o*t, -293 = -v - 3*v + 5*t. Is v a prime number?
False
Suppose c - 54 = 5*l, 2*c - 140 = -0*l + 2*l. Is c composite?
True
Let s = 1 - 3. Is (-31)/s*(-2 + 4) prime?
True
Let o(f) = -10 + 8 + 4*f**2 - 5*f + 8. Is o(-5) prime?
True
Let l(t) = 0*t - 6 - 3 - 24*t. Is l(-7) composite?
True
Let b(g) = 1 - 4*g - 3*g**2 + 4*g - 2*g + 1 + 2*g**3. Let v be b(6). Suppose -170 = -2*y + 2*d + 144, -d = -2*y + v. Is y composite?
False
Let u be (-15)/(-4) + 2/8. Suppose 9 = -3*b, b - 2*b + 233 = u*r. Is r composite?
False
Suppose 4 = 2*h + 2*h. Let y be -1 + -26*h/(-1). Let r = -14 + y. Is r composite?
False
Is 185 - (0/(-3))/(-3) a composite number?
True
Let s = 418 - 269. Is s prime?
True
Let f be 2/(-8) - (-651)/12. Let c = -22 + f. Suppose 3*s = -5*x + 14 + c, 3*x + 2*s = 27. Is x composite?
False
Suppose -2*j + 7*l - 3*l = 20, -5*j - 2*l = 26. Let x = -5 + 1. Is (-435)/(-9) + x/j a prime number?
False
Let r be ((-6)/(-15))/((-2)/(-20)). Suppose -12 = -2*z + 5*j, r*z + j + 2 = 4. Is -4*z*14/(-8) a composite number?
False
Let p(w) = 2*w**3 + 7*w**2 + 6*w + 6. Let j = -1 + -3. Let o be p(j). Let k = -20 - o. Is k composite?
True
Let n(c) = 94*c**2 - 6*c + 7. Is n(-4) a composite number?
True
Let h(c) = c**3 - c**2 + c + 254. Let v be h(0). Suppose -6*r - 5*q + 343 = -3*r, 2*r - v = 3*q. Is r a prime number?
False
Let b be (12/(-15))/(-2)*15. Suppose 5*u - 2*h = b - 2, 5*u = -2*h - 4. Is -1 + u - -10 - 2 prime?
True
Suppose 2 - 4 = c. Let a = c + 61. Is a composite?
False
Let a be (-3)/(-2 - (-177)/93). Suppose 2*w - r - a = -0*r, -4*w = -5*r - 77. Is w a prime number?
True
Is 901/7 - 6/(-21) a composite number?
True
Let i = 0 + 5. Let d be 91/28 + 1/(-4). Suppose 5*r + 78 = 2*m, -i*m = r + d*r - 261. Is m prime?
False
Let g = -257 - -616. Is g a composite number?
False
Let l be ((-2)/3)/(1/(-9)). Let k(r) = r**3 - 3*r**2 - 4*r + 1. Let q be k(l). Suppose 39 = 4*h - q. Is h composite?
False
Let l(s) = 163*s - 1. Let y be l(1). Let a = 1 - 98. Let p = y + a. Is p a prime number?
False
Is (-4)/18 - (-24236)/36 a composite number?
False
Is (8/8)/(-2 + (-1759)/(-879)) a prime number?
False
Let x(r) = 122*r**2 - 2*r + 1. Let s be 2 - 1/3*3. Is x(s) prime?
False
Let c = 0 + 2. Suppose -c*t + 0 = 2. Is (-38)/((t + -1)*1) composite?
False
Let f(s) = -87*s. Let v be f(-2). Suppose 0 = 3*h - 33 - v. Suppose h - 407 = -2*w. Is w prime?
False
Let k = -15 - -5. Let h be 12/k*30/(-9). Suppose 0*a = h*a - 44. Is a composite?
False
Let z(u) = -2*u**3 - 5*u**2 - 4*u. Is z(-5) a prime number?
False
Let g(x) = -x**3 - 11*x**2 + 11*x + 9. Let i be g(-12). Let q = 34 + i. Is q composite?
True
Suppose 63 = 3*v + 3*s, -v = 5*s + 5 - 22. Is v composite?
True
Let l(w) be the third derivative of w**6/120 + w**5/15 + w**4/8 + w**3/3 - 4*w**2. Let n be l(-2). Let m(s) = 2*s**3 - 4*s**2 + 2*s - 5. Is m(n) composite?
False
Let o = 419 + -70. Let c = o + -38. Is c a prime number?
True
Let d(u) = 20*u**2 - 4*u + 17. Is d(5) prime?
False
Is -2 - (-210 - (0 - -1)) composite?
True
Let t(s) = s**3 + 8*s**2 - 8*s + 3. Let i be t(-9). Let p(o) = -o**2 - 6*o. Let h be p(i). Suppose h = -r + 117 - 20. Is r a prime number?
True
Suppose 5*c + 166 - 26 = 0. Let z = c - -122. Is z a composite number?
True
Is (-2334)/(-14) + (-62)/(-217) composite?
False
Let s(u) = -u**2 + 3*u - 1 - 7*u + u**3 + 0*u + 0*u**3. Let h be s(-4). Let l = 176 + h. Is l prime?
False
Let o = 7934 - 4558. Suppose -6*q = -2*q - o. Suppose -3*f + q = f. Is f prime?
True
Let u(v) = 15*v**2 + 3*v + 1. Suppose 4*j - 4 = 3*o + 5, -2*j = 4*o - 10. Let l be u(j). Suppose 284 + l = 3*g. Is g a composite number?
True
Let d(h) = -19*h - 3. Let s be d(-3). Let k = 96 - s. Suppose 3*p = -k + 183. Is p a prime number?
True
Let l = 1949 - 1390. Is l a composite number?
True
Let o = -111 - -562. Is o composite?
True
Let q(f) be the third deriv