posite?
True
Let f = -325 - -488. Is f composite?
False
Suppose 303 = 3*b - 6*b. Let u = b - -434. Suppose 0*m + u = 3*m. Is m prime?
False
Suppose -4*f + 3452 = 4*l, -4*f = f + l - 4323. Is f prime?
False
Let y(m) = m**3 - 5*m**2 + 4*m - 6. Let k be y(4). Is (-316)/k*18/12 composite?
False
Let s(l) = 5*l - 1. Let o(u) = 6*u - 1. Let y(r) = 4*o(r) - 5*s(r). Let g be y(-1). Suppose -5*p = -q - 3*q - 145, 3*p - 65 = -g*q. Is p prime?
False
Let i be (2 - (-50)/(-1)) + -2. Let u = i - 60. Let j = u - -243. Is j a composite number?
True
Let n = -1421 + 2098. Is n prime?
True
Let w = -14 + 103. Is w prime?
True
Suppose -4*m - 3*d + 451 = -0*m, d = 3*m - 322. Is m prime?
True
Suppose 5*h - 42 - 43 = 0. Suppose 0 = 4*a + 2*x - 6, -2*a - x - 4*x - h = 0. Suppose -2*v - 1055 = -7*v + a*l, 0 = -2*v + 3*l + 422. Is v a prime number?
True
Let k(l) = l**2 + 5*l + 5. Let v be k(-7). Suppose 5*h - 5*d - 20 = 0, -h + 3 + 9 = -5*d. Suppose v - 177 = -h*o. Is o a prime number?
True
Suppose 48 = 3*r + 3. Let f be (-1)/(0 - (-3)/r). Is (0 - 20)*f/4 composite?
True
Suppose -12 = 3*y + 5*r - 2*r, -4 = 2*y - 2*r. Let c = y - -25. Is c composite?
True
Let z(o) = -o + 12. Let a be z(5). Let w(m) = 12*m + 0*m**2 - a - m**3 + 2*m**3 - 11*m**2. Is w(10) composite?
False
Suppose -5*p - 452 = 4*s, p = 6*p. Is (s/2)/(1/(-2)) a prime number?
True
Suppose 83 = 2*m + 17. Let d = m - -398. Is d a composite number?
False
Suppose 0 = 2*t - 80 - 2578. Is t a prime number?
False
Is (-3 + 1 - -4393)/(2 + -1) prime?
True
Suppose 4*v - 10 = -2. Let p(z) = z**2. Let i be p(v). Suppose 99 = c - 5*o, -453 = -6*c + c + i*o. Is c prime?
True
Let m be (-4)/5*(-30)/(-4). Is (-2)/(m/471) - 2 prime?
False
Let a = 14 - 8. Let f(p) = -2 + a - 2*p**3 - 3*p**2 + 7*p + p**3. Is f(-5) a composite number?
False
Let o be -2 - (1 - 5*2). Suppose 4 = 4*i - 72. Let q = i + o. Is q prime?
False
Let w(q) = q**3 + 16*q**2 + 14*q - 6. Is w(-13) composite?
True
Let q(k) = -141*k - 5. Is q(-4) composite?
True
Let b(j) = -54*j - 1. Let y = 14 - 15. Is b(y) a prime number?
True
Let v = 1 + 2. Suppose -2*s = -v*s + 2. Suppose s*z - 112 = 154. Is z a prime number?
False
Is (((-4)/8)/1)/(2/(-9332)) composite?
False
Let m be ((-5)/(-15))/((-1)/(-6)). Suppose v + 2 = m*v. Suppose 0 = v*s - 55 + 9. Is s prime?
True
Let n = 169 + 52. Is n composite?
True
Suppose 0 = -u - 4*u + 740. Is 5/10*u/2 prime?
True
Suppose -6 = 2*f, -2*k = -4*f - 13 - 1. Is (k + 2)*34/3 prime?
False
Let t(u) = -3*u**3 - 5*u**2 + 17. Is t(-6) prime?
False
Let j = -5 + 9. Suppose -392 = j*i - 2388. Is i prime?
True
Let x(l) = l + 3. Let u be x(-3). Suppose u = -3*m - 0*m + 12. Suppose 4*j - 198 = -2*s, 4*s + 7*j = m*j + 371. Is s prime?
True
Suppose 0 = 2*x - 3*c - 2490 - 1339, c = 5*x - 9566. Is x prime?
True
Suppose -42 = -3*f + 2*a, -5*f - a = -3*f - 21. Let l be (-1)/4 - (-483)/f. Suppose 4*q = -0*d - d + l, q = d + 5. Is q a prime number?
False
Let o = 8 + -5. Suppose -174 = -5*m - p, -3*m + 0*m + 114 = o*p. Is m a composite number?
True
Let k = -1 - 0. Is 64 + (-2 - k)/(-1) prime?
False
Let k(r) = 868*r**2 + 5*r - 4. Is k(1) prime?
False
Let r(u) be the second derivative of -u**3/6 + u**2/2 + 2*u. Let y(t) = 7*t - 12. Let l(a) = 18*r(a) + 2*y(a). Is l(-4) prime?
False
Suppose 0 = -4*t - 12*t + 14768. Is t a prime number?
False
Suppose -4*s + 4*o + 40252 = 0, -5*s + 23768 = -2*o - 26541. Is s prime?
True
Let j(k) = 29*k + 1. Let r be j(6). Let m = 360 - r. Is m a prime number?
False
Is -12 + 10 - (1 + -1634) a prime number?
False
Let x = -2 - -5. Suppose -37 = -5*s - x*u, -14 - 16 = -4*s - 2*u. Is (-28)/s*(-1 + -5) composite?
True
Let c(d) = 2*d**2 - 11*d - 8. Is c(9) a composite number?
True
Is (110 - -3) + (2 - 2) a composite number?
False
Suppose 0 = -2*h - 5*o - 2, 4*h = 3*h + o + 6. Let x be (-2 + 2)/(3 - h). Suppose -5*t = 4*b - 599, 5*t + 2*b + 3*b - 600 = x. Is t a composite number?
True
Is 289 + (-4)/1*(-2)/(-4) composite?
True
Let h(a) = -a**2 + 3*a. Let i be h(8). Let d = i - -97. Is d composite?
True
Let z(f) = 49*f**2 - 2. Suppose -i + 5 = 3. Is z(i) composite?
True
Suppose k - 36 = -m - 132, -2*m + 96 = -k. Suppose -5*p - 11 = -4*f, -4*p + 2*f + 1 = 11. Is ((p - -2) + k)*-1 composite?
False
Suppose -30 = -3*w + 2*s + 359, -3*s + 242 = 2*w. Is (w/(-2))/(2/(-4)) composite?
False
Suppose x = -4*x - 5. Let v(h) = -2*h**3 - h**2 + 1. Let g be v(x). Suppose -g*t + 6*t = 56. Is t a prime number?
False
Let t = 278 - 21. Is t prime?
True
Let s be (28/(-3))/((-4)/6). Let b(r) = r**3 + 5*r**2 - 8*r - 9. Let o be b(-6). Suppose o*u - s = u. Is u composite?
False
Let k = 6 + -4. Let u(g) = -g**2 - k*g**2 - 5*g + 2 + 5*g**2. Is u(4) a composite number?
True
Suppose 0 = -2*u + p + 7361, 8*p = -u + 4*p + 3703. Is u composite?
True
Let c = 105 + -50. Is c a prime number?
False
Let q(b) be the third derivative of 11*b**4/12 + b**3/6 - b**2. Let m be q(4). Let h = -6 + m. Is h prime?
True
Let h(b) = b**3 - 8*b**2 + 2*b - 11. Let x be (-1)/((-1)/7) - -1. Let o be h(x). Suppose o*f = 2*c + 52 + 345, -3*f + 240 = -3*c. Is f a prime number?
True
Suppose -5*q + 4*q = -5. Suppose 0 = q*f + 3*b + 2, f - b - 10 = b. Is f composite?
False
Let j = -3 - -6. Let p = -11 - -16. Suppose -154 = j*r - p*r. Is r prime?
False
Let v = 6 + -1. Suppose 2*i - v = -1. Suppose -i*k + 2*j = 37 - 171, 0 = -2*j. Is k a composite number?
False
Let o(a) = -a - 5. Let w be o(-5). Suppose 2*s + w*t - 416 = 2*t, 217 = s + 2*t. Is s composite?
False
Let x = 3177 - 1504. Is x a composite number?
True
Let c be (0/1)/(-3) - -1. Let r = c + -1. Let o(h) = -h**2 + h + 37. Is o(r) prime?
True
Suppose -j + 95 = -2*s, s - 276 - 188 = -5*j. Is j a prime number?
False
Let w = 20 + -11. Let x = w + -1. Is (-3)/(-12) + 262/x a prime number?
False
Let d = -3 - -3. Suppose -4*g + g + 78 = d. Suppose g = 5*s + 4*l - 14, 0 = -5*s + 3*l + 5. Is s composite?
True
Let j = -879 + 1718. Is j composite?
False
Let u = 182 + -99. Is u prime?
True
Let w(v) = 139*v**2 - 3*v + 3. Is w(2) a prime number?
False
Suppose 4516 - 129 = 5*h + 4*o, -3*h + 2643 = -3*o. Is h a prime number?
False
Let j = 111 + -76. Is j a prime number?
False
Suppose -5*p + 11195 = -4310. Is p a prime number?
False
Let x be (-28)/(-4)*(-8)/(-14). Suppose 2*f + 5*v - 38 = 0, -3*f = -x*f - 4*v + 22. Is f prime?
False
Let l = 986 + 75. Is l a prime number?
True
Let s(c) = -8*c + 7. Let o be s(8). Let z = 145 + o. Let y = z - 39. Is y composite?
True
Suppose -6*z + 434 = -688. Is z a composite number?
True
Let u be (5/(-4) + 4)*-20. Let n = u - -174. Is n prime?
False
Suppose 2*y + t - 59 - 78 = 0, 5*y + t = 344. Is y composite?
True
Let j = -7 + 7. Suppose j = 2*x - 45 - 29. Is x a composite number?
False
Let s(o) = o**3 + 7*o - 5. Suppose 0 = 3*y + 7 - 1, -4*m - 2*y + 12 = 0. Let i be s(m). Suppose -17 = 2*a - i. Is a prime?
False
Is (1407/12)/(3/12) a composite number?
True
Let b = -188 + 265. Is b prime?
False
Let g(q) = q + 5. Suppose 5*x - j + 35 = 0, 0 = -6*x + 2*x + 2*j - 22. Let c be g(x). Let k(m) = 6*m**2 + 4. Is k(c) composite?
True
Suppose 5*r = 9 + 1, 0 = 4*s + 3*r - 22. Suppose f - 2*g - 264 = 3*g, -803 = -3*f + s*g. Let p = f - 174. Is p a prime number?
False
Let h(g) = g - 6. Let z be h(7). Is -1 - (z - 12*5) a composite number?
True
Let v = 3 - 10. Let m(b) = 3*b**2 - b - 9. Is m(v) a prime number?
False
Let k = 338 + 1223. Is k a composite number?
True
Suppose -5*g = k - 13, -1 = g - 3. Suppose -101 = p - c, -7*p - 401 = -3*p - k*c. Is (p/(-3))/(8/12) composite?
True
Let f = 6 - -9. Let m = f - 4. Is m a prime number?
True
Let p be (0 + -3)/((-6)/(-8)). Let o = p - -27. Let y = o - -30. Is y a prime number?
True
Let v = -7 + 7. Suppose 5*n - 2*m + 167 = v, 9 - 1 = -2*m. Is (n/10)/((-2)/4) a prime number?
True
Let x be -2 - ((-2 - 1) + -483). Suppose -6*k = -2*k - x. Is k a prime number?
False
Suppose -3*a = -a - 32. Suppose f - a = -4*i, 5*f + 5*i = 2*f + 20. Suppose 4*j + f*j - 220 = 0. Is j a prime number?
False
Suppose -3*g + 164 + 265 = 0. Is g a composite number?
True
Let q = -10 - -9. Let g(t) = -90*t - 1. Is g(q) a composite number?
False
Is ((-163)/(-4))/(5*1/20) a prime number?
True
Suppose -3 + 0 = -3*s. Let r(z) = -3*z**3 + 10*z**2 + 3*z + 11. Let o(b) = b**3 - b. Let q(a) = s*r(a) + 2*o(a). Is q(10) a p