 + -8) a prime number?
True
Let u = -82 + 88. Is u prime?
False
Let a = 1100 - 3523. Is a/(-5) + 24/60 composite?
True
Suppose 3*g - 39 = -3*w, 3*w + 29 = 8*w - 4*g. Suppose -6*j = t - j - w, 2*j + 112 = 3*t. Is t prime?
False
Let i be (11/(-22))/(2/(-76)). Suppose -5*a = -5, -5*o = -0*o - 4*a + i. Is (o - 0)*157/(-3) composite?
False
Let o = 3 + -1. Is 124 + o*(-6)/(-4) a prime number?
True
Let l = 5 - -5. Let i be (l/(-4))/(2/(-4)). Suppose 0 = 5*u + o - 185, -4*u - i*o = -7*u + 111. Is u a composite number?
False
Let i(r) = 2*r**2 - 6*r + 3. Let y be i(5). Suppose 2*w = y - 1. Is w composite?
False
Let h(x) = 9*x**2 + 5*x + 23. Let l(j) = 5*j**2 + 3*j + 12. Let f(m) = 3*h(m) - 5*l(m). Is f(10) composite?
True
Let q(n) = -n**2 - 11*n + 3. Let j be q(-5). Suppose -5*i + j = -72. Is i composite?
True
Let n(c) = -c**2 - 3*c + 2. Let y be n(2). Let t be (-3)/(-2)*y/(-6). Is t/((-39)/45 - -1) prime?
False
Let i be 5*(-2)/(-5)*1. Let s(k) = -3 + k**3 - 2*k**3 + k**i - 8*k + 8*k**2. Is s(6) a composite number?
True
Let f = -9 - -12. Let h(w) = 0 + 4 + 8*w**2 + 9*w**2. Is h(f) prime?
True
Suppose 0*p + 8 = 2*p. Suppose -3*s + 468 = u, -3*u = -p*s - u + 634. Is s composite?
False
Let s(v) = v**3 - 7*v**2 + 5*v - 9. Let i be s(6). Let n = i + 29. Is 144/n - 12/42 prime?
False
Let y(r) = -455*r - 21. Is y(-4) a composite number?
True
Is ((-37)/4)/((-9)/108) composite?
True
Let p(s) = -8*s + 1. Let b be (-1)/(-6) - 38/12. Is p(b) composite?
True
Let m(v) = v**2 + 3*v - 5. Let c be m(-5). Suppose -327 = -c*o + 128. Is o composite?
True
Let a = 168 - -86. Is a composite?
True
Let d(i) be the first derivative of -10*i**3/3 + 2*i**2 - i + 3. Let k be d(-4). Is 3*(-2 + k/(-9)) composite?
False
Let o = 1144 - 675. Let i = o - 218. Is i a prime number?
True
Suppose 4*d + 86 = 402. Is d a composite number?
False
Let y = 3 - 3. Let k be (0 + 4)*(-3)/(-4). Suppose y = k*c + 24 - 135. Is c a composite number?
False
Let h be (-1194)/(-10)*(-40)/(-8). Is h/9 + 6/9 a prime number?
True
Let j be (-1)/2*0 - -5. Suppose j*r - s = 44, 0*s - 2*s = -4*r + 40. Suppose 14 = f - r. Is f a composite number?
True
Is 5181/6 - (-4)/(-8) a prime number?
True
Let o(u) be the first derivative of -u**3/3 + 11*u**2/2 - 6*u + 1. Let z be o(10). Suppose 527 = 2*f - d - 2*d, 0 = -z*d - 12. Is f composite?
True
Let m = -3 - -5. Is 509/(1 - (m - 2)) a prime number?
True
Suppose 6 = -5*x + 4*x. Let t(a) = -a**3 - 5*a**2 + 9*a + 9. Let p be t(x). Is 2/3 + (-48)/p composite?
True
Let j(x) = x**3 + 9*x**2 - x - 6. Let f be j(-9). Suppose 0 = s - 3*r - 5, -2*r - 19 = -f*s + 3*r. Suppose 0*d - 2*d + 130 = 3*a, s = -2*a. Is d composite?
False
Let g = -696 - -1514. Is g composite?
True
Let j be 8 + -9 + (-77)/(-1). Suppose -r = -5*r + j. Is r a prime number?
True
Is (-12)/(-8)*-1 + 661/2 composite?
True
Suppose 84 = 2*v - 34. Is v prime?
True
Suppose 0*b + 17 = 4*b - p, 0 = -b + p + 5. Suppose b*t - 27 = t. Suppose -3*u + 30 - t = 0. Is u prime?
True
Let c(f) = f**3 - 5*f**2 - 9*f + 8. Let w be c(6). Let o(u) = -20*u - 13. Is o(w) composite?
True
Let l = 28 - -352. Let d = -63 + l. Is d composite?
False
Let j = -25 - -25. Suppose j = 5*x - 126 - 49. Is x composite?
True
Suppose -3*o - 4 = 20. Let j(u) = u**2 + 7*u + 7. Is j(o) prime?
False
Let r(q) = -2*q - 12. Let h be r(-8). Suppose -2*p = -h*c - 206, 289 + 202 = 5*p - 2*c. Is p prime?
True
Suppose 31*v + 506 = 33*v. Is v a prime number?
False
Let c be ((-2)/2 - -1) + 0. Suppose c = -5*y - 0*y + 1535. Is y a composite number?
False
Let i(g) = 2*g + 4. Let a be i(-3). Is 2/(a*1/(-143)) prime?
False
Let j = 1 + -9. Let z = j - -20. Is (-3442)/(-18) - z/54 composite?
False
Suppose -n + 2*r - r + 3438 = 0, -10304 = -3*n + r. Is n prime?
True
Let z(c) = -53*c**3 + 4*c**2 - 2. Is z(-3) prime?
False
Suppose 0 = -y - 5*t - 1, 2*y + 2*t - 2 = 4. Suppose 0*q - 2*n = q - y, 3*n + 19 = q. Is q a composite number?
True
Let k be (-39)/(-12) - 2/8. Suppose 3*o + 3*l - 4*l - 11 = 0, -5*o = k*l + 5. Suppose y + 67 = o*y. Is y a composite number?
False
Let n be (3 - 3) + 278/2. Suppose -4*z + n = 3*y, -3*z - y + 77 = -31. Is z prime?
True
Suppose 0 = -2*b - k + 113, k - 5*k - 244 = -4*b. Is b prime?
False
Suppose 3*h + 3*t = 2904, 3*h - 1557 = 5*t + 1371. Is h a composite number?
False
Let l = 4 - -11. Suppose -4*j + l = -181. Is j composite?
True
Suppose 0 = 6*d - 3*d - 123. Let f = 24 + d. Is f a composite number?
True
Let t be 32/18 - 2/(-9). Is ((-322)/14)/(t/(-4)) composite?
True
Let u be -1 + -1 + 4*5. Let b = 2 + u. Let a = b + 27. Is a composite?
False
Let o(b) be the first derivative of 64*b**3 - b**2 + b - 2. Is o(1) prime?
True
Let x = -5 + 10. Suppose -5*l + u + 298 + 29 = 0, -x*l - 5*u = -315. Is l a composite number?
True
Let d(a) = a**3 - 2*a**2 - 11*a - 3. Is d(8) a prime number?
True
Let b = -181 + 293. Let q be 190/(-2) + -3 + -1. Let c = b - q. Is c a composite number?
False
Let j = 345 - 52. Is j prime?
True
Let r be (-102)/(3*2/15). Is (-4)/8 - r/2 a composite number?
False
Let w = -67 - -136. Let h be (-12)/9*w*-9. Suppose h = 4*p + 4*q, 0 = 5*q - q + 8. Is p a composite number?
True
Suppose 6*r + 3878 = 15080. Is r composite?
False
Let t be (-2)/3 - (-42)/9. Is ((-2)/t)/((-1)/514) a prime number?
True
Let l(r) = 5*r**3 + 4*r**2 - 4*r + 1. Is l(8) a composite number?
True
Let b = -18 - -28. Let r(s) = s**2 - 10*s + 2. Let d be r(b). Suppose -d*n - n + 12 = -3*v, -4*v - 4 = 0. Is n prime?
True
Let a(v) = -v - 1 + 0 + 0. Let x be a(-4). Suppose 6*g - x*g = 141. Is g composite?
False
Let o(i) = 49*i**2 - i + 1. Let u be o(1). Is 4/(-2) - u*-1 a prime number?
True
Suppose 4*g = 2*c + 7*g - 4979, g = -c + 2492. Is c prime?
False
Suppose 3*u - 44 = 4*s + 198, 4*u - 323 = 5*s. Is u composite?
True
Suppose -3*h - 4*q + 188 = -h, q = -5*h + 425. Let s be (-358)/6 - (-2)/3. Let n = s + h. Is n a composite number?
True
Let s(c) = -4*c**3 - c**2 - 3*c + 3. Is s(-5) composite?
True
Suppose 348 = 5*k - 2. Suppose -k + 25 = -3*t. Is t a composite number?
True
Let u = 3081 + -1580. Is u a prime number?
False
Let y(p) be the second derivative of p**4/12 + p**3/6 + 43*p**2/2 + p. Is y(0) a prime number?
True
Let b(c) = -6*c - c**2 + 3*c + 8 - 2*c. Let h be b(-6). Suppose q - u - 16 = h, q + u = 12. Is q prime?
False
Let q(t) = 10*t - 7. Let h be q(-7). Let g = h - -134. Is g a prime number?
False
Let l be (3 + -6)/(12/(-16)). Suppose 0 = 9*s - l*s - 1255. Is s a prime number?
True
Let o(h) = h + 1. Let k(v) = -v + 3. Let f(b) = 2*b - 4. Let r(c) = 2*f(c) + 3*k(c). Let d(a) = -3*o(a) + 4*r(a). Is d(6) a prime number?
True
Suppose 2*v = -3*v + 15. Suppose v*f = 168 - 63. Is f composite?
True
Let d(w) = 5*w**2 + 5*w - 5. Suppose -7*i = -3*i - 16. Suppose 5*u + 24 = -2*g - 1, u - i*g + 5 = 0. Is d(u) prime?
False
Suppose 4*h + 3*f - 1 = -2, -2*h - 5*f + 3 = 0. Let g = 3 - h. Suppose 5*l = 15, -3*s - 2*l + 51 = -g*l. Is s composite?
False
Let o = 75 - -14. Let b = o + 0. Is b a composite number?
False
Is 87 + 0 + -2 + 4 composite?
False
Suppose 2*h = -h - 9. Let v be 1/h - (-14)/6. Suppose -v*p + 13 = -5*r, -4*r + 39 = p - 0*p. Is p prime?
True
Suppose 0 = 3*r + 5*q - 125, r - 3*q + q - 27 = 0. Is r a prime number?
False
Is (-104 + (-3)/(-9)*3)*-1 a composite number?
False
Let y = 4810 + -3051. Is y a composite number?
False
Suppose -1 = -2*d - 3. Is ((-6)/(-3))/(d/(-3)) prime?
False
Let v(u) = 11*u**2 - 4*u + 3. Is v(4) prime?
True
Let w = -498 + 791. Is w a composite number?
False
Suppose 5*t - 12 = 33. Let p = t + -5. Is p a prime number?
False
Suppose 5*l = 3*l + 322. Is l prime?
False
Suppose -2*o - 164 = -q, 0 = 5*o - 15. Suppose -2*a = -4*a + q. Is a a composite number?
True
Let s(n) = -2*n**3 + 3*n**2 + 3*n + 4. Let r be s(-2). Is -1 + (r - (5 + -2)) prime?
False
Suppose o - 3*o = -16. Suppose 4*r - 5*k - 25 = 2*r, 0 = -4*r - 4*k + o. Suppose -52 = -p + 3*g, 0*p + 50 = p - r*g. Is p a composite number?
True
Suppose 0 = -5*z + z. Let u be (1 + 0)*z + 4. Suppose -u*h - h + 285 = 0. Is h a prime number?
False
Suppose -12 = -5*p + 4*p + 2*b, 5*b = -2*p - 12. Suppose p*s - 145 = 43. Is s a prime number?
True
Let m(z) be the third derivative of -z**7/420 + z**6/144 + z**5/30 + z**2. Let n(k) be the third derivative of m(k). Is n(-4) prime?
True
Suppose i = 