prime?
True
Is (6514 - (4 - 3)*5) + 0 a composite number?
True
Let k(l) = -l**3 + l**2 - l + 185. Let f = 0 - 0. Is k(f) a prime number?
False
Let j(i) = i**3 - 15*i**2 + 3*i - 28. Let t be j(15). Suppose 2*h + t = 4491. Is h composite?
False
Suppose 26621 = 2*o - h, -4*h + 3*h + 13306 = o. Is o a composite number?
False
Let h = 122 - -137. Is h a composite number?
True
Suppose 0 = -2*a + 49 + 251. Let j(f) = 33*f + 2. Let q be j(3). Suppose b = a + q. Is b prime?
True
Let w(d) = d**3 - d**2 - d. Let a(u) = 5*u**3 - 11*u. Let z(m) = a(m) - 6*w(m). Let j be z(5). Suppose -5*h + 2*h + 222 = j. Is h a prime number?
False
Suppose -149948 + 53733 = -7*m. Is m composite?
True
Let g(z) = -z**2 - 1. Let j(h) = 35*h**2 + 4*h - 6. Let t(y) = -2*g(y) + j(y). Let l be t(5). Suppose 4*f = -273 + l. Is f composite?
False
Suppose 3*b - 31263 = -2*a, 0 = 2*b + 4*a - 7447 - 13395. Is b a composite number?
True
Suppose -2*t - 3 + 9 = 4*y, 5*t + 4*y = 21. Suppose m - 3200 = -2*k - 134, -t*k = -4*m - 7691. Is k a prime number?
False
Is (-102)/9 + 11 - (-41683)/3 prime?
False
Suppose 2*d + 63 = 227. Let t(a) = d*a - 4*a + 2 - 3. Is t(6) a prime number?
True
Let g(i) = -1937*i - 1098. Is g(-37) a prime number?
True
Let s(y) = -y - 10. Let i be s(-7). Let v be (-7 - i)*(-5)/4. Suppose 2*w + 4*d - 37 = 45, -v*d - 177 = -4*w. Is w a prime number?
True
Suppose -3*d - 2492 = d. Suppose 0 = 3*g + 2*g + 1080. Let v = g - d. Is v a prime number?
False
Suppose -5*o + 22 = 2*b, 2*o - 5 = -0*o + 3*b. Suppose 3*i + 38 = o*i. Is i a prime number?
False
Let f(v) = 636*v + 1. Let s be f(1). Suppose 0 = n + 2*z - s, -4*n + 2078 = -2*z - 490. Is n a composite number?
False
Suppose -555 - 201 = -6*s. Suppose -k + 64 = -3*q - s, 5 = -q. Let c = 354 - k. Is c a composite number?
False
Let m = 12 - 6. Let u = m - 4. Suppose 3*r + 147 = 3*d - 0*r, -u*d + 107 = -5*r. Is d prime?
False
Let c = 15982 - 9839. Is c composite?
False
Let r(a) = -368*a - 12. Let g be r(-8). Let k = g - 879. Is k composite?
False
Suppose -28*z + 15 = -25*z. Suppose 0*w - 3*w = -z*q + 3326, -12 = -4*w. Is q prime?
False
Is 12/28 + 1537120/56 a composite number?
False
Let x = -10 + 9. Is (-1 + x + 13)*7 a prime number?
False
Let h = -6166 - -21193. Is h composite?
True
Suppose 0 = 7*r - 12*r + 2*n + 21059, 21065 = 5*r - 5*n. Is r composite?
False
Suppose 37*c - 33*c = 0. Suppose c = -3*k - k + 1592. Is k prime?
False
Let v(c) be the first derivative of -101*c**2/2 - 7*c + 4. Is v(-4) prime?
True
Suppose u + 3*t - 11 = 0, -u + 2*t - 6 = -3*u. Let w be 6/(-3 + 4 - u). Is w/(-6) + 825/10 prime?
False
Let k(p) = 496*p**2 - 6*p - 55. Is k(-6) composite?
False
Let y(f) = -f**3 - 19*f**2 + 14*f - 35. Is y(-20) composite?
True
Let a(q) = 0 - 6*q + 1 + 3*q + 14*q**2 + 0. Let d be a(-4). Is d*3*(-4)/(-36) a composite number?
False
Let m(t) be the first derivative of 5/3*t**3 - 10 - 8*t + t**2. Is m(7) a composite number?
False
Suppose 0 = -0*a + 4*a. Suppose a*t - 2*t + 10 = 0, 4*t = -3*u + 20. Suppose u = -4*h + 7*h - 633. Is h a composite number?
False
Let j(y) = -169*y - 492. Is j(-47) a composite number?
False
Suppose 0*k + 4*k - 512 = 0. Suppose -2*u + k = 1106. Let y = -224 - u. Is y a prime number?
False
Suppose -n - 3*n = 0. Let w = n - -6. Suppose -468 = -4*h - 2*m + w*m, 5*m = 3*h - 343. Is h composite?
True
Let o be (-88)/(-12)*6/(-4). Let s be 83168/(-44) - 2/o. Is (-1)/(-4) + s/(-24) a composite number?
False
Let q(b) = -b + 481. Suppose 2*v + 3 = -2*r - v, r - 2 = 2*v. Let n be q(r). Suppose -16 = 4*i, 2*i = -2*g - g + n. Is g prime?
True
Let v(x) = 412*x**2 + 6*x - 6. Let l be v(3). Suppose -5*r - 3*w + 7466 = -r, 5*w + l = 2*r. Is r prime?
False
Suppose 63 - 53 = 5*q. Suppose -2*p = -5*g + 4479 + 2360, -q*g = -p - 2736. Is g a composite number?
False
Let m(p) = -42 + 26 + 11*p**3 + 24 + p**2. Let q(b) = -12*b**3 + b - 7. Let t(x) = -4*m(x) - 3*q(x). Is t(-4) composite?
False
Let d(i) be the third derivative of -i**6/40 + i**5/30 - 7*i**3/6 + 21*i**2. Is d(-4) prime?
False
Suppose 4*n - 129 = 43. Suppose -106 + n = 3*p. Is -166*(p/6 + 3) composite?
False
Suppose -18927 = -3*p - 5286. Is p a composite number?
False
Suppose -23042 - 23593 = -15*f. Is f prime?
True
Let u(h) = -7*h**3 + 5*h**2 - 6*h - 3. Let l(r) = r**2 - r. Let v(i) = 4*l(i) - u(i). Let b be v(3). Suppose 0 = -3*d - a + 148, 4*d + 2*a = -a + b. Is d prime?
False
Suppose -292 = 4*v + 4*u, -4*v + 0*v = 5*u + 296. Is v/2*(-26)/39 composite?
False
Suppose 61*x + 404520 = 85*x. Is x composite?
True
Let s(p) = -p**3 + 53*p**2 + 393*p + 11. Is s(54) prime?
False
Suppose 0 = -4*q + 8, v + 4*q - 44 = 4*v. Let l = 161 + v. Suppose t + 5*i = l, 3*i - 167 = -2*t + 131. Is t composite?
False
Let d = -28 - -33. Suppose -d*i = -1197 - 1378. Is i a composite number?
True
Let n be ((-7)/((-70)/8))/((-1)/5). Is ((-348)/10)/(n - 90/(-25)) a prime number?
False
Let w(l) = 94*l**3 + 2*l - 1. Let k(o) be the first derivative of -o**3/3 - 2*o**2 + o + 6. Let n be k(-4). Is w(n) a composite number?
True
Let n = 2324 - 1237. Is n composite?
False
Let n = -36 + 75. Let z = -25 + n. Let g(f) = 13*f - 19. Is g(z) composite?
False
Let s(p) = -349*p**3 + p**2 + p. Let x be s(-1). Suppose d - 2*j + 12 = 0, -3*d + 4*j = -j + 32. Is 4 + (-3 - d)*x prime?
True
Suppose 3624 = -4*w + 13604. Is w composite?
True
Let p(n) = 2*n**2 + 5*n - 15. Let v = 1 + -16. Let f be p(v). Let l = -155 + f. Is l a prime number?
False
Let q be -2 - ((-4)/(-6))/((-6)/1179). Is 19/5*q - 4/(-5) prime?
True
Suppose -149104 + 381734 = 10*b. Is b a prime number?
False
Let i(y) = 116*y + 14. Let r be i(-10). Let n = -772 - r. Let q = n + 5. Is q a composite number?
False
Let a(r) = 6*r - 2. Let t(s) = -7*s + 2. Let h(j) = -4*a(j) - 3*t(j). Is h(-7) prime?
True
Is (-14)/21 - (3 + (-168896)/12) prime?
True
Suppose -3*z - 50 = w, -3*w + 74 = -8*z + 3*z. Let n(h) = -19*h - 2. Is n(z) a composite number?
True
Suppose -3*p = -3, -4*v + p + p + 86666 = 0. Is v composite?
True
Is (-9)/((-9)/10) - -12463 a composite number?
False
Let s(z) = 8585*z**2 - 9*z + 21. Is s(2) prime?
False
Suppose -2089 = 3*o - 295. Let r = o + 1257. Is r composite?
False
Suppose 0 = 3*v + 6 - 15. Suppose -o - 20 = v*o. Let m(f) = -f**3 + 5*f + 6. Is m(o) a composite number?
True
Let t = 13613 + -4672. Is t a prime number?
True
Suppose 20 = 4*k, 3*m - 26444 = k + 4514. Is m composite?
False
Let g be (-4 - -158) + 4 + 1. Suppose 16*c - 19*c = -g. Is c a prime number?
True
Let z(d) = -20184*d - 727. Is z(-9) a prime number?
False
Suppose -9699 + 714 = -5*v. Let z = v - 1184. Is z a composite number?
False
Let y(v) be the third derivative of v**6/120 + 13*v**5/60 - 7*v**4/24 - v**3 - v**2. Is y(-13) prime?
False
Let u(j) be the first derivative of -23*j**2/2 - 6*j + 112. Suppose -5*l = p + 39, -3*l + 5*p - 28 = p. Is u(l) composite?
True
Let y(i) = -2*i - 6. Let m(a) = -2*a + 9. Let o be m(7). Let s be y(o). Suppose 4*u - 5*k + 4*k - 42 = 0, -s*u = 2*k - 36. Is u prime?
False
Suppose -3 = a - 6. Suppose 0 = 3*y - 2*y - 687. Suppose a*o = 714 + y. Is o a composite number?
False
Suppose 0 = s - 357 + 119. Suppose -s = -l - l. Is l a composite number?
True
Let c be (2 - (-906)/(-8))*-4. Suppose -22*j + 17*j = -c. Is j a composite number?
False
Let f = -2 + 2. Suppose f = -3*j + 3*d + 267, -5*j - d = 3*d - 481. Is j prime?
False
Let h = -144 + 2115. Suppose 4*z = 5*x - h, 291 = 4*x - 2*z - 1281. Is x a prime number?
False
Suppose -4365 - 5488 = -m. Is m prime?
False
Suppose -3*k - 97 = 2*v, -51 = 3*v - 2*v + k. Let t = v + 449. Is t a composite number?
True
Let o be (-4)/7*14/(-4). Suppose 5*a - 1946 = a - o*d, -d = -3. Is (-3 - -2)/((-1)/a) prime?
False
Suppose 2*s + 35*y = 30*y + 56, 5*s - 2*y - 198 = 0. Suppose -3*u - 5*v = -1145, 2*u + v = 6*u - 1542. Let m = u - s. Is m a composite number?
False
Let x(s) = -s**2 - 9*s - 11. Let n be x(-10). Let g = n - -47. Let h = g - 16. Is h composite?
True
Let d be (2 + 40/(-12))*6. Let r = -7 - d. Is (173 - -2) + (r - -1) composite?
True
Suppose -3*u - 2*q = -4093, 2742 = 2*u - q + 5*q. Is u a prime number?
True
Is ((-8)/(-6))/(-2)*37773/(-18) a prime number?
True
Let u(d) = 0*d**3 - 3*d**3 + 4*d**3 - 2*d**3 + 1 + 3*d. Is u(-4) prime?
True
Let y(c) = c**2 - 14*c + 16. Let z be y(11). Let p(q) = -q