m. Is x composite?
True
Let n(q) = 3902*q - 1. Let l be n(-1). Is l/(-11) + 24/132 prime?
False
Suppose 3066 = 9*s - 2*s. Suppose 2*w + 16 = s. Is w prime?
True
Suppose 2*g - 203 = 377. Is 7/(14/6) + g a composite number?
False
Let t = 14 - 15. Let i be (t/3)/((-1)/21). Is (-2)/i + (-264)/(-42) a prime number?
False
Let v(z) = -z**3 + 263. Suppose 7*p = 3*p - 4. Let c be (0/(-2))/(2 + p). Is v(c) prime?
True
Let p = 4900 - 1581. Is p a composite number?
False
Is ((-2)/3)/((-6)/87687) a composite number?
False
Let f be -8861*((-12)/18)/(4/6). Suppose f + 6820 = 3*b. Is b composite?
False
Let j be 4/((-8)/(-20)*5). Let s be ((-3648)/(-30))/(j/(-10)). Let i = -189 - s. Is i composite?
False
Suppose 5*v = -4*a + v + 9316, -4*a = 5*v - 9318. Is a composite?
True
Let p = 690 + 8014. Let w = -647 + p. Is w prime?
False
Let w(b) = -b**3 - 49*b**2 - 67*b + 151. Is w(-52) composite?
True
Suppose -7858 = -0*c - 5*c - o, -3*c - 5*o + 4728 = 0. Is c prime?
True
Let l(r) be the first derivative of 20*r**2 - 17*r + 15. Let o be 2/(-7) + (-204)/(-28). Is l(o) prime?
True
Let i(s) = -2*s**2 + s + 817. Let a = 44 - 44. Is i(a) prime?
False
Suppose 35*x = 46*x - 87769. Is x a prime number?
False
Let a(n) = -4*n - 36. Let h be a(-9). Suppose 4 = -4*s, -3*o - o + 3*s + 19 = 0. Suppose -2*z - o = h, -4*z - 135 = m - 2*m. Is m a prime number?
True
Let p = -1 + 1. Suppose p - 4 = 4*k. Is (-2 + 3)*(162 - k) a prime number?
True
Let x(z) = -9*z - 9. Let f be x(-3). Suppose h = -q + 1208, -4*h + f*q - 13*q = -4877. Is h a composite number?
False
Is (-4 + 36642/9)*(-6)/(-4) composite?
False
Suppose h = 4*q - 1752, -q + 0*q + 438 = 4*h. Let v(l) = 4*l**2 - 3*l + 4. Let j be v(3). Let a = q - j. Is a a composite number?
True
Suppose 5*q - 8789 = 3*j, -q + 1753 = -0*q - 3*j. Suppose 894 + q = 7*x. Is x a prime number?
True
Suppose -3*y = -u - u + 89, 5*y + 15 = 0. Let h = -33 + u. Let s(t) = t + 6. Is s(h) prime?
True
Suppose -133*i = -141*i + 69112. Is i a prime number?
False
Let f = 53 - 48. Suppose -3*n = 3, 5*k - 252 = f*n + 18. Is k a prime number?
True
Let w(a) = 25*a**2 + 3*a. Let f = 34 + -40. Let d be w(f). Suppose d = 6*x - 1236. Is x prime?
True
Let i(f) be the third derivative of 0*f + 43/60*f**5 - 7/6*f**3 + 0 + 2*f**2 + 5/24*f**4. Is i(4) prime?
True
Let k(z) be the third derivative of z**6/360 + z**5/30 + 2*z**4/3 - 2*z**3 + 10*z**2. Let y(d) be the first derivative of k(d). Is y(-7) a prime number?
True
Let r(z) = 214*z - 39. Is r(8) composite?
True
Let m(a) = 374*a**2 + 47*a + 7. Is m(12) composite?
True
Suppose -43*c = -26*c - 16201. Is c a prime number?
True
Let f be 1*(16*-2)/(-4). Let s be (-102)/(-24) - 2/f. Suppose -178 = -s*h + 98. Is h a prime number?
False
Let w be 4*(-1)/((-4)/1). Is (w + (-9434)/(-8))*(1 - -3) a prime number?
True
Let f(w) = -5*w**3 + 8*w**2 - 32*w - 34. Is f(-15) a prime number?
True
Suppose 7*b - 9*b - 4 = 0. Is b/5 - (-3861)/65 a prime number?
True
Suppose 8*n - 5*n - 69 = 0. Let a = 12 + n. Is a composite?
True
Suppose -4*d + 923 = -2545. Suppose -5*c - 2*t = -d, -2*c + 4*t = -0*t - 366. Suppose -i = j - c + 59, -5*j = i - 120. Is i prime?
False
Suppose -5*r = -z - 4*z + 95, -3*z = 5*r - 17. Let x be (-5)/10 + z/4. Suppose x*y - 52 + 4 = 3*f, y + 2*f = 1. Is y composite?
False
Let z(d) = -38*d**3 - 3*d**2 + 2*d + 4. Let w be z(-3). Let x = w - 696. Is x a prime number?
False
Let f = -76 + 80. Suppose -4634 = -3*x + 4*c - 3*c, 4*c + 6168 = f*x. Is x composite?
True
Suppose 2*n = -4*n + 12. Suppose -8*j = -n*j - 5424. Suppose -3*p - p - 3*d + j = 0, 235 = p + 3*d. Is p composite?
False
Let m(i) = i**2 + 7*i. Let d be m(-7). Let q = d + 43. Is q composite?
False
Let h be 260/22 - 8/(-44). Suppose -2*r = r + 5*s - 747, 0 = -4*s - h. Is r composite?
True
Let m(c) be the first derivative of c**3/3 - 11*c**2/2 + 11*c + 186. Let l = 16 - -1. Is m(l) prime?
True
Suppose -4*q - 2*q = -132. Is (45*q - -2) + 3 prime?
False
Suppose 0 = -3*c + c - 18. Let t(o) = 11*o**2 - 3*o - 17. Is t(c) a prime number?
False
Suppose 2*f - k - 210 = 1334, 2*f + 3*k - 1560 = 0. Let w be -15*(8/(-6))/2. Suppose 2*c = j + 309, w*c = 5*c + j + f. Is c prime?
False
Suppose -3*x + x = 0. Suppose -4*v + 5*g + 18 = x, 0*v + 4*g + 14 = 3*v. Suppose -119 = -3*a + v*a. Is a prime?
False
Let g(i) = 188*i - 31. Let p(r) = -377*r + 61. Let y(v) = -9*g(v) - 4*p(v). Is y(-8) prime?
False
Let a be 6 + (-3)/(-3) + -4. Suppose a*d - 25 = 71. Suppose 3*x - 127 = d. Is x composite?
False
Let v(k) be the first derivative of 5*k + 4 - 1/2*k**2 + 7/3*k**3. Is v(4) a composite number?
False
Is (-169779)/17*(-2)/6 composite?
False
Suppose -4*u + 2442 = -10. Is u composite?
False
Suppose -13*a + 35 + 17 = 0. Suppose 6 = 2*z, -a*h - 3*z + 841 = -4*z. Is h a composite number?
False
Let v(b) = 6*b**3 + 6*b**2 - 86*b + 13. Is v(6) prime?
True
Let f be (5 - 2) + -1 + 3. Let w(i) = 2*i + f*i - 9*i. Is w(-5) prime?
False
Is 900844/32 - -9*(-1)/24 composite?
False
Let a(v) = -1988*v - 3. Let y be (0 - (-4)/(-4)) + -2 + 2. Is a(y) prime?
False
Let h = 14 + -11. Suppose h*l + 4 - 28 = 0. Suppose -2*q - q = -r + 13, 0 = 4*q - l. Is r composite?
False
Let u(m) = 3*m**2 + 47*m + 29. Is u(-22) prime?
False
Let l(r) be the second derivative of r**4/12 + 4*r**3/3 - 3*r**2 + 3*r. Let x be l(-9). Suppose -4*u + 9 + 7 = 4*y, u + 2 = -x*y. Is u a composite number?
False
Let p(f) = -f**3 - 19*f**2 + 20*f - 3. Is p(-22) a prime number?
True
Suppose -3*t + 0 = 24. Let a = 15 + t. Suppose k - 2*l = 145, 145 = k + 2*l - a*l. Is k composite?
True
Suppose -2*q - 4*l + 31 = 9, 5*q = -l + 73. Suppose -3*i = -q, -5*w + 206 = i - 9. Suppose -h = -251 - w. Is h composite?
False
Let a(h) be the second derivative of -h**5/20 - 7*h**4/12 + 5*h**3/6 - 10*h**2 - 14*h. Is a(-11) a prime number?
True
Let c(h) = -7 + 18 - 34*h - 17*h**2 - 7*h**3 + 6*h**3. Is c(-17) a composite number?
True
Let d = -108163 - -154060. Is d a composite number?
True
Suppose 5*y - 13 - 2 = 0. Let h = y + -3. Suppose -4*r + 4*o + 324 = h, 2*o - o + 330 = 4*r. Is r composite?
False
Suppose -5*u + 4120 = -4*p, 0 = 5*u + 3*p - 2*p - 4095. Let g = u - 374. Is g a composite number?
True
Let p(x) = -x**2 - 14*x - 13. Let s be p(-13). Suppose -4*d = -s*d - 3*b - 4766, 5*d - 4*b - 5957 = 0. Is d a prime number?
True
Is (-6668)/(-2) - 27/(-63)*-7 prime?
True
Suppose -4*u + 4*o = -9828, -o = 4*u - 7332 - 2506. Is u a composite number?
False
Let o be (-10)/(-15)*12 - 0. Let t(p) = 9*p - o*p + 8*p**2 - 7 + p. Is t(6) a composite number?
False
Let z = -1294 + 4683. Is z a composite number?
False
Let u(s) = 20*s**3 - 3*s**2 + 8*s - 3. Let a(z) = -41*z**3 + 6*z**2 - 15*z + 6. Let p(x) = -4*a(x) - 7*u(x). Is p(2) a composite number?
True
Suppose 2*w + 1451 = 7481. Suppose 0*u = -5*u + w. Suppose 0 = 5*x - 8*x + u. Is x prime?
False
Suppose -17*j + 3*j = -2*j. Suppose -3*p = 5*o - j*o - 430, 3*o + p = 262. Is o prime?
True
Suppose 2*d - d - 15 = 0. Let v(x) = -d*x - 9*x + 3 + 1 + 2 - x**2. Is v(-11) a composite number?
False
Let q(a) = a**2. Let r be q(-1). Is (r + -2)/((-2)/2962) a prime number?
True
Let i = -409 - -225. Let y = i - -1023. Is y prime?
True
Let h be (-4)/(-3) + (4/(-12) - -1). Suppose 0 = -h*v + 482 - 112. Is v composite?
True
Let v(u) be the third derivative of 0 + 1/6*u**3 + 0*u + 109/60*u**5 + 1/24*u**4 - 2*u**2. Is v(-1) composite?
False
Is 16803 - (-13)/((-91)/(-56)) a composite number?
False
Suppose -2*l - 2*l - 1005 = 5*v, 0 = 5*v - l + 980. Let m = 1408 + v. Is m prime?
False
Let k(p) = 4*p + 933. Is k(0) prime?
False
Let c(q) = -q + 8. Let p be c(7). Let s be 13/p*(-3 - -4). Suppose -2*g - 51 = -4*x + s, 3*g + 82 = 5*x. Is x prime?
False
Let f(y) = -674*y**3 - 7*y**2 + 10*y - 8. Let w(u) = -675*u**3 - 8*u**2 + 11*u - 9. Let g(x) = -5*f(x) + 4*w(x). Is g(1) a composite number?
True
Suppose -4*w + 51718 = -s, 11*w - 7*w - 3*s - 51722 = 0. Is w a prime number?
False
Let o(x) = 51*x**2 - 1. Let k be o(1). Let s be -2*(-3)/5*5. Suppose -k = -8*t + s. Is t prime?
True
Suppose 746 + 220 = c - 2*x, -5*c - 3*x + 4778 = 0. Suppose -4*d + 284 = -572. Suppose -d = -4*q + c. Is q prime?
True
Let m = 1324 - -84. Suppose 8*k - 4*k = m. Suppose -6*v + k = -4*v + 3*i, -2*i = -2*v + 362. Is v a composite number?
False
Let q be (-280)/(-6) + (-3)/