number?
False
Let p = 6032 - 3105. Is p prime?
True
Let j be 112/40 + 1/5. Suppose j*f + 2*f - 8735 = 0. Is f composite?
False
Suppose 3*n + 3 = -3*w - w, -5*w - 4 = 4*n. Suppose 0 = 2*i - 5*k + 942, i + 4*k + 471 = -w*i. Is -1*i/6*2 prime?
True
Let j(n) = n**2 - n + 1. Let c be j(2). Let t(q) = 3*q**2 + c*q**3 + 0*q - 9*q**2 + 7*q - 6. Is t(4) a composite number?
True
Let x(g) = 16*g - 61. Let z be x(11). Is (-38 + 1)/((-5)/z) composite?
True
Let c(s) = 452*s - 29. Is c(8) a composite number?
True
Let w(j) = -j**3 - 3*j**2 + 5*j + 6. Let v be w(-4). Is (884 - (-5 + v))*1 a prime number?
True
Is (5517/(-45))/(-1 + 12/15) composite?
False
Let q(t) = t**3 - 2*t**2 + 11*t - 8. Let j be q(8). Let w be (-4 + -42)*(-33)/6. Let i = j - w. Is i a composite number?
False
Let x(b) = -2*b**3 - 2*b**2 - 3*b. Let k be -4*3/(-12) - 0. Suppose -4*a - k = 7. Is x(a) a prime number?
False
Let q(b) = 2084*b + 181. Is q(3) prime?
False
Let v = 21889 - 3831. Is v prime?
False
Let b(h) = 3*h - 4. Let d be b(3). Let o(g) = 1 - g + 4*g**2 - 4 + 3*g - 7*g**3 + d. Is o(-3) a composite number?
True
Suppose -o - 2*o + 7658 = 4*z, -7662 = -4*z - 5*o. Is z composite?
False
Suppose 0 = -s + 2*m + m + 3238, 2*s + 4*m - 6506 = 0. Is s composite?
True
Let o(a) = 23*a + 9. Let x be o(11). Suppose -484 - x = -2*b. Is b a prime number?
True
Suppose -4*w = -2*c + w + 426, 5*c - 1007 = -2*w. Is c composite?
True
Let a(n) = 412*n - 819. Is a(8) prime?
True
Suppose -4*f + 3 = 15, -3*f = 3*l - 2274. Is l a prime number?
True
Suppose 4*p = -17 + 25. Suppose c + 24 - 86 = -5*y, 4*y + 194 = p*c. Is c composite?
True
Let q = 6695 - 2312. Suppose -q = 5*z - 8*z. Is z a composite number?
True
Suppose -3*a + 92*v - 95*v = -128118, -15 = 5*v. Is a prime?
True
Let z(j) = 2*j**3 - 21*j**2 - 15*j - 17. Let x(s) = -2*s**2 + 12*s + 15. Let p be x(6). Is z(p) a composite number?
False
Let b(h) = -h**2 + 7*h - 5. Let o be b(6). Let l be 1183 - (4/1 - o). Suppose -3*i = -r - l, 0*r = 2*i + r - 795. Is i composite?
True
Suppose -5*w = -7 - 13. Suppose 516 = -2*z - b - w*b, -774 = 3*z - b. Let x = z - -407. Is x a prime number?
True
Let m be 17 + (6 - (-9)/(-3)). Suppose -m = -4*a - 0*a. Suppose -634 = -3*y + a*h, -h = y - 71 - 143. Is y a composite number?
True
Let a be (-9)/12 - 2/8 - -5. Suppose 0 = r - 0*r + j - 296, a*j - 1477 = -5*r. Is r composite?
False
Suppose 0 = 3*b + 2*b + 5*o - 2405, 3*b - 1441 = -2*o. Is b composite?
False
Let v(g) = 149*g**2 + 12*g - 10. Is v(3) prime?
True
Is 260543/9 + (312/(-108))/13 prime?
True
Let u = -1675 + 2852. Is u a prime number?
False
Suppose -3*a = 12 - 33. Suppose -4*t - 3 = 1, -4*t - 4 = -5*u. Suppose a*f - 553 - 364 = u. Is f prime?
True
Let a(j) be the first derivative of -j**4/4 + 7*j**3/3 - j**2 - 11*j + 16. Is a(-5) a composite number?
True
Let r(u) = -192*u**3 - u**2 + 6*u - 10. Is r(-3) a prime number?
True
Let r = 2343 - 788. Is r prime?
False
Let i(r) = -3*r. Let m be i(0). Let j be 2*(0 - -2 - m). Suppose -f + 459 = -2*d, 1811 = j*f - 4*d + d. Is f composite?
False
Let p(j) = j + 14. Let z be p(-11). Suppose -z*f - 17 + 41 = 0. Let s(h) = 2*h**3 - 7*h**2 - h - 11. Is s(f) prime?
True
Suppose -8*w = -4 - 52. Is w*(-1000)/(-5) + -1 a prime number?
True
Suppose i = 4*m - 13, 4*i + 26 + 4 = 5*m. Let r(z) = 41*z**2 - 5*z + 4. Let h be r(m). Let n = h + 465. Is n prime?
False
Let x be 3 + 1263 - (-6)/(-3). Suppose 6*u + 154 - x = 0. Is u composite?
True
Let t(f) = -496*f + 10. Let l be t(-3). Suppose -4*a = -l - 1090. Is a a composite number?
False
Let v(l) = -9*l + 3. Let q be v(3). Let b be ((-2)/6)/(4/q). Suppose -y + n - 414 = -2*y, 2*y - b*n = 848. Is y prime?
True
Suppose -3*w + 4*l = -88, w - 3*l - 15 - 6 = 0. Let b = 45 - w. Suppose 114 = 5*n + b. Is n composite?
True
Let u(v) = -5*v**2 - 10*v - 4. Let x(s) = 6*s**2 + 9*s + 4. Let t(r) = -4*u(r) - 3*x(r). Is t(-11) composite?
False
Is 106183/3 + (-140)/105 prime?
True
Let u be 28*(-8)/(32/63). Let o = -182 - u. Is o a composite number?
True
Suppose -2*y + 4*c - 3709 = -7*y, 3*y - 2231 = -c. Let l = y + -302. Is l a composite number?
False
Let l(i) = 43*i + 56. Let h be l(10). Suppose -2*n + 296 = -h. Is n a prime number?
False
Let s = 222 - -71. Suppose -6*z + 11*z - 423 = -3*b, 169 = 2*z + b. Let w = z + s. Is w prime?
False
Let l(f) be the first derivative of 8*f**2 + 3*f - 6. Is l(1) composite?
False
Let x = -1 - 2. Is 14/(60/(-45)*x/274) prime?
False
Let f = 31800 - 14801. Is f a prime number?
False
Let t = 4156 - 395. Is t a composite number?
False
Let t = -403 - -271. Let o = 767 + t. Is o a composite number?
True
Is (-32)/(-336) - 1230447/(-63) prime?
True
Suppose -4*m - 109 = -3*d, -3*d - 7*m + 12*m = -104. Is d a prime number?
True
Suppose -2*j - 5*t + 2274 = 0, 0 = -0*j + 5*j - 2*t - 5685. Is j a composite number?
True
Is (1/(-3))/(-4 + 38326/9582) a composite number?
False
Let y be -3*6/27*15*-2. Suppose -2*t - 4*j - 8619 = -7*t, -5*j = -y. Is t composite?
True
Is 1/(80/48 - (-9664)/(-5802)) a prime number?
True
Suppose -u - 553 = 2*k, -5*u + k - 641 = 2124. Let y = u + 884. Is y composite?
False
Suppose 5*n - 21580 = -l, 2*l + 25 = 7*l. Is n a prime number?
False
Suppose -5*t + 63 = 163. Let q be 9/15 - 108/t. Is q/(-10) + 21952/20 a composite number?
False
Suppose -36*p + 17528 = -32*p. Let m = p + -2440. Is m composite?
True
Let m be (-24)/84 - 1390/(-14). Let i = m + 2356. Is i prime?
False
Let g = -4069 + 6480. Is g a prime number?
True
Suppose 0 = -3*z - 72 - 177. Let f = -48 - z. Is f a composite number?
True
Suppose 2*w + 25 = 7*w. Suppose 3*r - 2*r - w*z = 25, -4*r + 10 = -2*z. Is (r - -3 - -476)/1 a prime number?
True
Let w(x) = 10 - 6*x**2 + 2*x**2 + 5*x + 2*x + x**3 - 4*x**2. Let m = 11 - 4. Is w(m) prime?
False
Suppose a - 7746 = 4815. Suppose -2*f = f - 12, -5*i + a = -f. Is i prime?
False
Suppose -2*y + 34 = -5*d + 4, y = 4*d + 15. Let v = y + -5. Is 978/(-4)*(-12 + v) a composite number?
True
Suppose -17*r - 18*r = -1034495. Is r a prime number?
False
Let g(b) = -b**2 + 4*b - 1. Suppose 4*u - 6 = 10. Let k be g(u). Is k + 567 + (-4 - -1) a composite number?
False
Suppose r - 18 = -4*o + 8*o, 0 = 3*r + 4*o + 26. Is 2 + -6 - (2 - -1312)/r a composite number?
False
Suppose -3*y + 7 + 11 = 0. Suppose y*r = 9*r - 102. Is r prime?
False
Let j(x) = -11*x + 50*x**2 - x + 5 + 16*x. Is j(3) a composite number?
False
Let x(d) = 145*d**2 + 50*d - 150. Is x(17) a composite number?
True
Suppose 20*o + 5*s = 16*o + 52206, 0 = 3*o - 2*s - 39143. Is o a prime number?
True
Is 5 - ((-64)/48 - 18236/3) prime?
False
Is 1730 - (12 - 0)/(-4) a prime number?
True
Let n(r) = -r**3 + 5*r**2 + 8*r - 3. Let z = -32 - -35. Let w be 5*z*(-1)/(-3). Is n(w) composite?
False
Let i = -25 + 19. Is (i - -2) + (-525)/(-1) composite?
False
Suppose 2*y + 8 = -0*y. Let b = y + 13. Is (37/3)/(3/b) a prime number?
True
Let s = 10886 + -7293. Is s composite?
False
Let o(n) = 10*n**2 - 6*n + 67. Is o(-13) composite?
True
Suppose 6 = 2*n - 10. Suppose -3*t + n*t - 5*b = -2235, 3*t - 5*b = -1333. Let s = t + 746. Is s composite?
True
Let p be (0 + -1)/((-1)/(-6)). Is 767 + p*(-1)/3 a composite number?
False
Suppose 0 = -3*p + 16 - 10. Suppose 3 = c, -p*l - c = -0*l - 941. Is l prime?
False
Let s(i) be the third derivative of 1/2*i**4 - 1/2*i**3 + 0*i + 0 + 4*i**2. Is s(15) a composite number?
True
Suppose 3*m = -2*b - 7 - 3, b = -4*m - 5. Suppose 8 = 4*j + 5*d, 2*j + 2*d + m = 4. Suppose 3*q - 12 = 0, -547 = 2*o - 7*o + j*q. Is o a composite number?
True
Let m = -2779 + 7158. Is m prime?
False
Suppose -1389 - 1131 = -5*q. Suppose s + 59 - q = 0. Is s composite?
True
Let n be -6 - (-1)/2*-2. Let l(k) = k**3 - 6*k**2 - 3*k + 4. Let f be l(4). Let q = n - f. Is q prime?
False
Let n be (2/6 + (-15)/(-9))/(-2). Is (132 - n - 2 - 0)*1 a composite number?
False
Let m(v) = 930*v + 39. Let u(p) = -465*p - 20. Let n(y) = 3*m(y) + 5*u(y). Is n(6) a prime number?
False
Let x(a) = 337*a**2 + 10*a - 22. Is x(3) prime?
True
Let r = 93 - 91. Is ((-2310)/(-63))/(0 - r/(-3)) a prime number?
False
Let d(c) = -c**3 + c**2 - 9*c + 15143. Is d(0) a composite number?
True
Suppose 5*i = 3*j + 541 + 1227, -1800 = -5*i - 5*j. Is i/6*(-21)/(-14) composite?
False
Suppose 0 = -5*o - 3*w + 420, -w = o - 4*o + 238. Let g = o + -46. Is g 