 prime number?
True
Let b(v) = -v**3 + 57*v**2 + 48*v + 57. Is b(55) prime?
True
Let w(m) = 182*m**2 + 3*m + 2. Suppose 10 = -6*r + 4. Let x be w(r). Suppose 1741 = 3*h + 4*d, 2*h - 2*d = 1003 + x. Is h prime?
True
Suppose -2*h + 5*r = -45 - 41, 0 = -5*h + 3*r + 196. Suppose -5*z = -t - 802, -3*t = z - h - 132. Is z a prime number?
False
Let d(x) = -x**3 - 14*x**2 + 22*x + 24. Is d(-17) a prime number?
False
Let a be (-2 - -12)*6/10. Let w(p) = p**2 - 6*p + 2. Let l be w(a). Suppose 0 = 7*n - l*n - 485. Is n composite?
False
Let a be (118 + -2)*(-4)/(-8). Is (a/8)/(11/484) composite?
True
Let o(a) = -77*a - 5. Suppose -v + 3*v - 42 = 0. Let q be v/(-12) - 2/8. Is o(q) a prime number?
True
Let c(i) = 518*i**2 + 34*i - 7. Is c(-3) a prime number?
False
Let z(v) = -v**3 - 26*v**2 - 27*v - 29. Let d be z(-25). Let q = 74 - d. Is q a prime number?
True
Suppose -7*r - 2 = -8*r. Suppose 5*s - 142 = -r*w + 28, 0 = -4*w + 4*s + 312. Suppose 2*b = -3*q + 2025, -3*b + 2779 - w = 4*q. Is q composite?
False
Let g = -13 - -13. Let v be g + (16 - (-1 + 2)). Suppose -4*h - 325 = -q, -3*h + 1334 = 4*q + v. Is q a prime number?
False
Let i(r) = 8*r**2 + 46*r - 23. Is i(-20) prime?
False
Suppose 20 = -5*x, -5*l - 5*x + 32120 = -46595. Is (-6)/(-8) - (0 + l/(-12)) composite?
True
Let g(u) = 2660*u - 109. Is g(4) prime?
True
Let j = 113 - 60. Let l = j + -34. Suppose l*u = 20*u - 83. Is u a composite number?
False
Let w(g) = 176*g - 4. Let c be w(-7). Suppose -5*m - 13*m = 12510. Let o = m - c. Is o composite?
False
Suppose h - 23 = -4*u, -4*h = -u - 9 + 2. Let p be (-5)/2*(u - -5). Is (-10)/p - 4186/(-10) a composite number?
False
Let c = 193 + -101. Is (115/c)/(2/632) composite?
True
Is (2 + 5866/(-4))*(213 - 215) a prime number?
False
Suppose -3*p = -11 - 1. Suppose 0 = -7*x + 5*x + p. Suppose 0 = t + x*t - 1239. Is t a prime number?
False
Let m(d) = 87*d**2 - 12*d - 10. Is m(-1) composite?
False
Let c = -777 - -1421. Suppose 2*w - 1 = 5, -4*p + 5*w = -1397. Let f = c - p. Is f a prime number?
False
Suppose 6*n - 36 = -0*n. Suppose 3*t + 2*y - n = 29, -4*t + 40 = -4*y. Is t composite?
False
Let w be -1*1*6*-1. Let c(x) = 8*x**2 - 301*x + 589*x - 296*x + 11. Is c(w) composite?
False
Is (50/(-4))/(34/(-38828)) - -6 a composite number?
False
Let f be -4 + -3 + 4 + (-6)/(-1). Suppose c - 158 = f. Is c a prime number?
False
Is (-148233)/(-12) + 4/16 composite?
True
Suppose 7*l - 4*l = 6. Suppose l = -2*o + 12. Suppose -o*z + 83 = -212. Is z a prime number?
True
Suppose 3*m = 2*m + 411. Suppose 0 = -11*j + 13*j + 266. Let t = m + j. Is t a composite number?
True
Suppose -4 = -2*f - 3*b, -f + 5 = 2*f + 5*b. Suppose -4*m = f*u - 1480, 0*u + 3*u = 5*m + 925. Suppose u - 62 = 2*o. Is o a composite number?
True
Let a(z) = -8*z + 5. Let n(q) = 2*q. Let x(h) = 2*a(h) + 6*n(h). Let f = -11 + 4. Is x(f) a composite number?
True
Let d be 3 + (-2)/4*-8. Suppose -1222 = -d*j + 829. Is j prime?
True
Suppose q + 0*q = 2, 5*m = -2*q + 29859. Is m prime?
False
Suppose -i + 2*z = 3*i - 4604, z = -3*i + 3453. Is i a composite number?
False
Suppose 4*u = -0 - 4. Let i = 2 - u. Suppose f = i*f - 466. Is f a prime number?
True
Let n be (-6 - -9)/(6/(-452)). Let v = -108 - n. Let l = 197 - v. Is l a prime number?
True
Let q(k) = k + 1. Let f(w) = 50*w**2 - 7*w - 4. Let v(t) = f(t) + 3*q(t). Suppose u - l = 1, 1 = -4*l + 5. Is v(u) prime?
True
Suppose -4*m + 2228 + 2531 = -h, 3*h - 3558 = -3*m. Is m composite?
True
Let p(h) = h**2 - h**3 + 19*h + 18*h**2 - 3*h**2 - 3. Let q = -340 - -357. Is p(q) a prime number?
True
Let b = 8724 - 4471. Is b prime?
True
Let d(y) = 14*y**2 + 7 + 14*y**2 + 10*y**2 + 5*y. Is d(-2) a composite number?
False
Let r = 67 - 68. Is r + (-9)/((-18)/256) a prime number?
True
Let z = 47 + -42. Suppose -4 = -2*r, -2*k + 9067 = k + z*r. Is k a composite number?
False
Suppose -49*g = -3*g - 2062594. Is g composite?
False
Let b be (26/78)/((-2)/12 - 0). Is (2 - 1) + 926 - b composite?
False
Suppose 248115 = 21*c - 184086. Is c a prime number?
False
Let n = 7385 + 15822. Is n a composite number?
True
Let k(q) = 43*q**2 - q + 15 - 22 + 8. Let r be (0 + (-3 - -2))/(-1). Is k(r) composite?
False
Suppose -5*n - 966 = -14821. Suppose -3*j + n = 263. Suppose 0 = -5*q - 4*w + 212 + 859, 2*w + j = 4*q. Is q prime?
True
Let v = -6 + 8. Is (-4 - v)/(-2) + 66 composite?
True
Let c(q) = -159*q + 38. Let f be c(-11). Let d(g) = g**2 + g - 616. Let a be d(0). Let j = a + f. Is j composite?
False
Let n(f) = f**2 + 0*f**2 - 3*f + 2*f + 4*f + 77. Is n(0) a composite number?
True
Suppose -7*d + 3*d = m + 27, -2*m - 4*d = 62. Let t(p) = -p**3 - 3*p**2 - 2*p + 1. Let z be t(-3). Is 10/m - (-387)/z composite?
True
Let t = 3379 + -1724. Is t/(-25)*(2 + -7) a composite number?
False
Let z(i) be the second derivative of -3*i**5/10 - i**4/4 + i**2/2 - i + 5. Let x(j) = -j + 4. Let c be x(6). Is z(c) prime?
True
Let o be (27/6*4)/(3 - 1). Let t(p) = 21*p**2 + 5*p - 25. Is t(o) a prime number?
True
Let o be 36/(-20) - (-1)/(-5). Let q(w) = -21*w**3 + w**2 - 2*w + 1. Let g be q(o). Let y = g + 14. Is y composite?
False
Let a(p) = 4 + 7 + 19*p + 12*p - p**2 - p**2. Is a(14) prime?
True
Let i(p) = -1 - p**2 - 11*p**3 + 12*p**3 - 3*p**2. Let b be i(4). Is (332/(-16))/(b/4) composite?
False
Let f = -46622 + 118653. Is f a composite number?
False
Suppose -2*w - 5*d + 4351 = 0, 5*w + 29*d = 24*d + 10900. Is w composite?
True
Suppose 1649 = i - 2*p, 13*i - 5*p = 14*i - 1656. Is i composite?
True
Let r(j) = -j**3 + j**2 + 29*j - 4. Is r(-15) a prime number?
False
Let d(s) = 12*s**3 - 5*s**2 + 2*s - 18. Let a(y) = 7*y + 68. Let o be a(-9). Is d(o) a composite number?
False
Suppose -4*s - 12 = -3*i + 3, 7 = -5*i - 4*s. Let y(w) = 48*w - 5. Let x(z) = -47*z + 6. Let q(u) = 2*x(u) + 3*y(u). Is q(i) a composite number?
False
Let k be 0/(3/(-1) + 2). Suppose -5*u - 8 - 7 = k. Is (812/(-12))/(u/9) a prime number?
False
Let v be 4 - (3 + -4 + 5). Suppose -3*y + 1873 = p + y, v = -5*p - 3*y + 9331. Is p a prime number?
False
Let g(t) = 4855*t - 303. Is g(10) a composite number?
False
Let z = 5 - 29. Let b = z - -5. Let v = 34 + b. Is v a prime number?
False
Let s be (1 - 2)*(1 - -1). Suppose -4*d - 67 - 1 = 0. Is (15 - 1)/s*d composite?
True
Let r = 362 + -611. Let o = r + 698. Is o a prime number?
True
Let i be ((-15)/(-12))/((-2)/(-8)). Suppose -t + 3*c - 13 = 2, -20 = -4*c. Suppose t = -f + i*f - 2348. Is f a composite number?
False
Is (9358/4)/(31/62) prime?
True
Is (-4 + 7538/4)/(2/4) prime?
True
Let m = -18 + 51. Suppose 272 = -z + 4*s + m, -3*s = 6. Let f = z - -732. Is f prime?
False
Suppose u = 3*m - 13, 2*u + m + 4*m - 29 = 0. Suppose 0 = 4*p - 20, -4*j + 4*p = -u*j + 16. Is (-1)/(4/(-358))*j prime?
True
Let r be 6*-2*158/12*-4. Let d = -251 + r. Is d a prime number?
False
Let o(j) = -2*j**3 - 3*j**2 + 2*j + 4. Let q be o(-2). Suppose 3*w - d = -248 - 10, 344 = -q*w - 4*d. Let b = -21 - w. Is b composite?
True
Let a(q) = -4*q**2 + 5*q - 4. Suppose -2*i = 2*i - 8. Let v be a(i). Is v/15 + 1725/9 a prime number?
True
Let h = -151 + 366. Is h prime?
False
Let m = 250161 - 87146. Is m a prime number?
False
Suppose -5*h - 10 = -10*h. Suppose 3*i = 2*i + 5*m - 5, 0 = -m + h. Suppose -i*c + 1912 = -183. Is c a prime number?
True
Let w be (-5 + (-24)/(-6))/((-1)/1346). Suppose 2*q - w = -0*q. Is q a composite number?
False
Let p(o) = 10*o - 26. Let i be p(16). Let c = 781 - i. Is c prime?
True
Let t = -1005 + 2060. Is t composite?
True
Let u(v) = v**3 + 40*v**2 - 59*v - 123. Is u(-40) composite?
False
Let d be 13/(-52) + 1322/8. Let r(y) = -y**2 + 13*y - 7. Let b be r(15). Let z = d - b. Is z a composite number?
True
Let q(a) = 44*a - 121. Is q(16) composite?
True
Suppose 6*p - 5252 = 16702. Is p composite?
False
Let t be (-2 - 0) + 6 + -4. Suppose 2*a - 4*h - 10 = t, 0 = -4*a - 0*h + 5*h + 11. Is a/4 + 298/8 composite?
False
Let w = -947 - -1326. Is w composite?
False
Let z be (8/(-12))/(6/(-9)). Let p(t) = 133*t**2 + 2*t - 1. Let y be p(z). Let b = y + 447. Is b a composite number?
True
Let k(s) = -163*s**3 + s**2 + 3*s + 2. Is k(-1) prime?
True
Suppose -6*y + 4*y - 42 = 0. Let q be -69*y/6*2. Suppose -7*d = -4*d - q. Is d a prime number?
False
Suppose -3*h + 77 + 17 = -n, 5*h - 2*n - 156 = 0. Let v = h + 8