ite number?
True
Let c = -26752 - -44723. Is c a prime number?
True
Suppose 0 = r + p - 804, -4*p + 824 = r + p. Is r a prime number?
False
Let s(i) = 14*i**2 - 5*i - 9. Let w be s(-5). Let f = w - 119. Is f a composite number?
True
Let o(w) = 3*w**2 + 6*w + 3. Let d be o(6). Let x = d + 479. Let a = x + -181. Is a prime?
False
Let h(u) = 155*u**2 - 115*u - 86. Is h(-16) a prime number?
False
Let n be 85/((-2)/20*1*2). Let r = n - -616. Is r a composite number?
False
Suppose -8*y + 10 = -3*y. Suppose 4*s = 3*f + 4108, 4*f - y*f = -s + 1027. Is s a prime number?
False
Suppose 38424 = 4*s - 3*w, 2*s + 3*w - 15500 = 3730. Is s a composite number?
True
Let r(t) = -64*t**2 + t - 9. Suppose c - 1 + 9 = 2*x, 5*x = 4*c + 26. Let j be r(c). Let k = j - -1566. Is k composite?
True
Suppose 0 = -5*v - 0*v - 216050. Let t be v/(-75) - (-4)/(-30). Suppose 4*d + 0*a = -4*a + t, 2*a + 10 = 0. Is d a composite number?
False
Suppose -12*h + 54 + 6 = 0. Suppose -3187 - 4758 = -h*n. Is n composite?
True
Let y be 1 - (-39)/9*(2 + -176). Is (3 + -1)/(-2)*y prime?
False
Suppose 4*t - 5342 = -318. Let l = t - 846. Suppose 0 = j + j - l. Is j composite?
True
Suppose 302 = -4*d + 954. Is d prime?
True
Let d(t) = 79*t**2 - 3*t + 2. Let n be d(8). Suppose 6*w - 2*w - 2*o - n = 0, 2*w + 4*o = 2522. Is w a prime number?
True
Suppose -d = 23 - 15. Is -19*(-4)/d*-2 composite?
False
Suppose -2*x + 337 = -5989. Is x a composite number?
False
Let g = 15 + -8. Let x(c) = c**3 - 8*c**2 + 9*c - 2. Let v be x(g). Is (812/16)/(3/v) prime?
False
Suppose 3*i - 2*i - 243 = t, 5*i - 1222 = -2*t. Let s = i - 87. Is s prime?
True
Suppose r + 3*w - w = 3, 0 = 2*r - 4*w - 30. Let a be 4647/r - 3/9. Suppose 5*m - 1054 - a = 0. Is m composite?
True
Let r(d) be the first derivative of -125*d**2/2 + 14*d - 2. Let c be 2*1*(-14)/4. Is r(c) a composite number?
True
Let u(a) = 2*a + 1. Let b be u(3). Let o = 15 - b. Suppose 2*y + 3*s = 142, 4*s - o*s + 341 = 5*y. Is y prime?
False
Let n(k) = 20*k + 26. Let t be n(-23). Let u = t - -1353. Is u prime?
True
Let b(k) = k**2 + 89*k + 251. Is b(57) a prime number?
True
Let b(n) = -586*n**3 + 12*n**2 + 2*n - 5. Is b(-3) a prime number?
True
Let v = -70150 - -108657. Is v composite?
True
Suppose c = 4*y - 123836, -y = 2*c + 4783 - 35742. Is y a prime number?
False
Let i = 7 - 3. Suppose -u = i*u + 5*y - 525, y + 525 = 5*u. Suppose u - 1039 = -2*j. Is j a composite number?
False
Let n be 3 + -3 + (-2 - -2). Suppose 2*a - 3*k - 426 = n, -3*a = -k - 440 - 185. Let s = 614 - a. Is s a prime number?
False
Let x(k) = -450*k - 187. Is x(-14) composite?
False
Suppose 2*t + 24 = 5*k, -2*k = -6*k - t + 14. Suppose -2*w + 22 = -k*w. Is (-2)/(-6)*(-1287)/w prime?
False
Suppose -5*u - 5*h = -17280, u + 17*h = 14*h + 3454. Is u a prime number?
True
Let y(o) = o**2 + 10*o - 1. Let b be y(-11). Suppose -k + 12 = -b. Is k prime?
False
Suppose 0 = 7*k + 697 - 13136. Is k composite?
False
Let a(b) be the first derivative of 9*b**4/2 - 2*b**3/3 - b**2 + 3*b + 10. Is a(4) a prime number?
False
Suppose -3*v + 115 + 110 = 0. Suppose 3*u - v = 102. Is u a prime number?
True
Suppose 0 = -4*u - 20, -5*h + 2*u - 521 + 9686 = 0. Is h a prime number?
True
Let d(l) = -2*l**2 - l + 1. Let u be d(1). Let f be 305 - ((u - -9) + -3). Suppose y - 442 = f. Is y composite?
False
Suppose 5*g = 4*k - 83826, -2*k - 4*g = 2*k - 83808. Is k prime?
False
Suppose -5*z - 42776 + 2126 = -5*v, 5*v = -z + 40656. Is v a prime number?
False
Let l be -80*(99/(-15) - -1). Suppose -l = -m + 883. Let a = m + -118. Is a prime?
True
Is -20993*(2 - 3 - 0) prime?
False
Let a = -69 - -62. Let r(q) = -2*q**3 + 10*q**2 + 2*q - 21. Is r(a) composite?
True
Suppose y = -q + 1, 0 = 4*y - 0*q + q - 16. Is -1*5/(y/(-1361))*1 a composite number?
False
Let z(r) = 89*r**2 - r - 2. Let s be z(-1). Let u(m) = -m**2 - 7*m. Let a be u(-6). Is 0 + (3 - a) + s prime?
False
Let z be 8/4 + -3 + 10. Let k(s) = s**2 - 6*s - 1. Let c be k(z). Suppose -3*i = -151 - c. Is i composite?
False
Let j(a) = 691*a**2 - a + 1. Let m(i) = i + 5. Let d be m(-4). Is j(d) a composite number?
False
Let s(c) = 303*c + 10. Let n(g) = -302*g - 9. Let i(a) = -3*n(a) - 4*s(a). Let p be i(-8). Suppose 0 = -5*t - 0*t + p. Is t composite?
False
Is 40702 - (7 - (4 + -1) - 3) prime?
False
Let y(p) = 31*p + 192. Is y(9) prime?
False
Suppose 3*j - 4*m + 7 = -5, 5*m - 15 = 0. Suppose -2*z + 1594 = -j*z. Is z composite?
False
Let i be (-5)/(-10)*(5 + 1). Let y be -24 + (-2 - i) + 2. Let m = y - -70. Is m a prime number?
True
Let m(r) = -25 - 11*r - 8*r + 5*r. Is m(-10) prime?
False
Suppose d - 15 = -4*d. Suppose -4*p + 119 = -157. Suppose 0 = r - 4*y - 123, d*y + p = -5*r + 730. Is r prime?
True
Let l(v) = 113*v**2 - 4*v + 4. Let p be l(1). Suppose 0 = -44*d + 45*d - p. Is d prime?
True
Let p be 6 - 5/((-25)/(-20)). Let k(d) = 2*d - 7*d - 5 - 5*d**3 + 0*d - 3*d**2 + 0*d**p. Is k(-4) a composite number?
True
Let l(a) = a**2 + a - 2. Let m be l(2). Suppose 4*r - 3*q = 3, -2*r - 2*r + 4*q = -m. Suppose 0 = 2*n + o - 324, -5*o - 151 = -n - r*o. Is n composite?
True
Let j(t) = 166*t + 5. Let u = 51 - 47. Is j(u) a composite number?
True
Suppose 0 = -3*x + 855 + 447. Suppose 68 + x = 2*f. Is f composite?
False
Let i(s) = s**3 + 3*s**2 - 31*s - 1. Is i(14) composite?
False
Suppose -2*g + 5*o + 10986 - 1637 = 0, 0 = -2*g - 3*o + 9389. Is g composite?
True
Let m = 35628 + -17035. Is m prime?
True
Let q = -121 + 120. Let s(y) = -727*y + 12. Is s(q) composite?
False
Let w(h) = -3*h + 2. Let b be w(-1). Is -1 + (2505/b - 1) a composite number?
False
Let a be 62/4 - 2/4. Is 10/(-75) - (-22667)/a a prime number?
True
Let x(i) = -i**2 - 6*i + 6. Let w be x(-6). Suppose 4*f - 3 = 4*a + 13, 4*a + w = 2*f. Suppose -f*z + 0*z = -185. Is z prime?
True
Suppose -4*s = -p - 1 + 13, -4*p + 4*s + 60 = 0. Suppose 2*b = p - 388. Let o = 13 - b. Is o a composite number?
False
Suppose -4*s = -7*s + 24. Let y(w) = -s + 10*w - 10*w + 6*w**2 + 11*w. Is y(-9) a prime number?
True
Let b = 3150 + -431. Is b a prime number?
True
Let l(a) = -49 + 18 - 20*a - 75*a + 35*a. Is l(-13) prime?
False
Let v be (-4)/(-14) + 24/14. Suppose -2*y + y + 153 = -v*m, 2*m = 6. Is y a composite number?
True
Suppose -5*m + 152 = 1657. Let d = m + 594. Is d a composite number?
False
Let g be 0/(-4 - (1 + -6)). Is 194 - (g + (2 - -1)) prime?
True
Suppose -3*z + 7*z = j + 4, -j + 24 = 3*z. Let s be (-20)/(-90) - (-52)/9. Is 388/j*s/2 a composite number?
False
Suppose 1445*f = 1458*f - 782457. Is f prime?
False
Suppose -4*u = 5*p - 6, 3*u - 4 - 16 = 4*p. Let n(h) = 56*h**2 - h + 1. Let t be n(p). Suppose z - x - t = 3*x, z - 2*x = 225. Is z composite?
False
Suppose 3*n - 3*q - 1578 = 0, -56*n + 2*q + 1573 = -53*n. Is n a composite number?
False
Let p(x) = -3044*x - 313. Is p(-4) a prime number?
True
Suppose -6*m = -n - 10*m + 2116, 2*n + 2*m = 4244. Let c = -1483 + n. Is c prime?
True
Let o be (-42)/(-3) - 3/(-3). Is (5718/o)/((-8)/(-20)) a prime number?
True
Let c(u) = -7*u - 4. Suppose -88 + 23 = 5*b. Is c(b) prime?
False
Is (2 - -4 - (-12 - -19)) + 6900 a prime number?
True
Let t(r) = -r + 2. Let m be t(-3). Suppose 3*k + 44 = m*k. Is k prime?
False
Let a = 23 - 20. Suppose -k + 820 = a*k. Is k a prime number?
False
Let z(a) = 11*a + 6. Let f be z(12). Let o = f + -51. Suppose o = g - 454. Is g a prime number?
True
Is -6836*(42/(-12) - -3) a prime number?
False
Is -2 + 0 + 39213/1 a prime number?
False
Let a = -53 - -58. Suppose 2467 = a*i + 812. Is i a composite number?
False
Let o(t) be the first derivative of 16*t**3 + 2*t**2 - t - 3. Is o(-3) a composite number?
False
Let h(b) = -12*b + 3. Let a be h(-1). Let n(o) = 19*o + 22. Is n(a) a prime number?
True
Let o(y) = -6*y**2 + 89*y - 2. Is o(13) a prime number?
False
Suppose 0 = -3*g + 8*a - 4*a - 13, 0 = 2*g - 3*a + 9. Let m = g + 8. Suppose 0 = -m*r + 1187 + 278. Is r composite?
False
Let z(h) = -5*h**3 + 24*h**2 + 3*h + 5. Is z(-4) a prime number?
False
Suppose 2*t - 17 = 2*f + 3*t, -4*f = -3*t + 29. Let j(h) = h**2 + 11*h + 9. Let s be j(f). Is (-10)/s + 40/3 prime?
False
Suppose b - 11 = -2*a - 2*a, 0 = a - 2. Let l be 6 - 9 - b*-1. Suppose -4*f - 1241 = -3*s, 3*f + 22 - 7 = l. Is s a prime number?
False
Let y(p) = -p**3 - 4*p**2 + 3*p - 4. Let q be y(-6)