- -1)/1. Let o = i + -193. Is o prime?
True
Let d = 178 - 91. Is d a prime number?
False
Suppose 4*i = 2820 + 328. Is i a composite number?
False
Let j(l) = 7*l**3 + 8*l**2 - l - 1. Is j(5) a prime number?
True
Suppose 908 = -6*g + 3*g - l, -5*g + 3*l - 1518 = 0. Let v = g + 1346. Is v prime?
False
Suppose 0 = -4*j - 4, -4*p + j = -7*p + 17. Suppose -3 + p = 3*w. Is -1 - 1/(w/(-90)) a composite number?
False
Let c(o) = 16*o + 5. Let q be c(6). Suppose 0 = -m + 4*p + q + 33, 5*m - 555 = -3*p. Suppose -5*t - 1 + 567 = d, -m = -t - d. Is t a prime number?
True
Is (-36)/(-96) - (-453)/8 prime?
False
Let r(c) = -c**3 + 16*c**2 - 27*c + 7. Is r(12) prime?
False
Let n(f) = 54*f**2 + 1. Let p be 15/9 - (-4)/(-6). Is n(p) a composite number?
True
Let y = 104 - -107. Is y composite?
False
Let x = -733 - -1050. Is x prime?
True
Let m be 0 + (-1 - (-1 - -3)). Suppose -7*k + 2*k = 0. Is -1 + (-390)/m - k composite?
True
Let w(n) = 44*n + 7. Let a be w(-3). Let q = a - -212. Is q composite?
True
Let o(a) be the second derivative of 5/6*a**3 - a + a**2 + 0. Is o(4) a composite number?
True
Let v be (-4)/(-8)*14 + -2. Suppose 520 = v*x + 5*r, 2*x + 3*r - 178 = 25. Is x a composite number?
False
Let s(p) = -73*p**2 - 3*p - 6. Let j(c) = 37*c**2 + c + 3. Let r(o) = -5*j(o) - 3*s(o). Suppose -3*g + g + 8 = -5*a, 4*a + 5 = 3*g. Is r(a) composite?
False
Is (1/2)/(19/15086) composite?
False
Is 1 + 244/10 - (-4)/(-10) composite?
True
Let r = 2 - -2. Suppose 3*y + 89 = t, 0 = r*t + 4*y + 179 - 535. Is t composite?
False
Suppose 178*t = 179*t - 7961. Is t prime?
False
Let o = -2 + 8. Is 4/o - (-1191)/9 a prime number?
False
Let w = 72 - -5. Is w a composite number?
True
Let z = -2 + 6. Suppose -2*j = 3*p - 2 - z, 0 = -4*p. Is j composite?
False
Suppose -t + 20 = -6*t. Let d = 66 + -85. Let p = t - d. Is p prime?
False
Let i be 139/(-3) - 1/(-3). Let p = -33 - i. Is p composite?
False
Suppose 2*p - 5*q - 7 = 4, -5*q = -25. Is (-6)/p + 1762/3 a composite number?
False
Suppose 0 = -2*l + 10 - 0. Suppose l*v = 2*v + u + 434, -3*v + 431 = -4*u. Is v a composite number?
True
Suppose 0 = 4*j - 3*j - n - 1291, 5*j + 4*n = 6455. Is j a composite number?
False
Let j(s) be the first derivative of 5/2*s**2 + 2 + 1/3*s**3 + 8*s. Is j(-6) a composite number?
True
Let y(u) = -2*u**3 - 2*u**2 - 4*u - 3. Let b be y(-2). Suppose -n + b = -76. Is n prime?
True
Suppose 84 = 4*h + 2*n - 6*n, 3*h + 5*n - 47 = 0. Is h a prime number?
True
Is (-2 + (-66)/4)*-2 prime?
True
Let y be 35/(4*2/16). Suppose g + 0*x - 3*x - y = 0, 2*g + 2*x = 100. Is g a prime number?
False
Let l = -1347 - -1970. Is l prime?
False
Suppose -4 = 3*t - 5*t. Suppose -t*c - 2*j + 60 = 0, -2*j + 14 = c + 3*j. Is c a prime number?
False
Let p = 11 - 72. Let f = p - -87. Is f a prime number?
False
Let n(c) be the second derivative of -c**5/20 - 11*c**4/12 + 8*c**3/3 - 19*c**2/2 - 5*c. Is n(-13) composite?
True
Let d be 9/(-2) + 1/2. Let t = d - -7. Suppose t*w + w = 140. Is w composite?
True
Let j(i) = i**3 + 12*i**2 - 9*i - 17. Let c(y) = 2*y**3 + 25*y**2 - 17*y - 35. Let l(w) = -2*c(w) + 5*j(w). Is l(-10) prime?
False
Suppose -14*c = -10*c - 884. Is c composite?
True
Let t(g) = g**2 - 2*g - 1. Let i be t(-1). Let u be 4/12 - i/(-3). Is u*26 + (-5)/5 a prime number?
False
Let o = 6638 + -3685. Is o a prime number?
True
Let f(u) = -u**2 + 4*u + 4. Let m(z) = -8*z**2 - z. Let p be m(1). Let h be f(p). Let i = -46 - h. Is i a prime number?
True
Let q(h) = 3*h**2 + h - 93. Let v(o) = -16*o**2 - 5*o + 464. Let g(d) = -11*q(d) - 2*v(d). Is g(0) a composite number?
True
Suppose 5*l = 2*l + 9. Suppose -t = 5*f - 8, f + f = l*t + 10. Suppose f*n = u + n - 207, -3*u = 5*n - 653. Is u a composite number?
False
Let k = 200 + 11. Is k a composite number?
False
Is 2 + 2 + -2 - -109 a composite number?
True
Suppose -620 = -5*l + 5*x, 4*l - 536 = -3*x - x. Is 0 - l/(-3) - 4 composite?
True
Is (-8)/(-2) + (0 - -3) composite?
False
Suppose 6*j = 5*j + 1. Let y(b) = 51*b - 2. Is y(j) prime?
False
Suppose 16 = -5*f - 2*j, -3*f - 3*j + 5 - 11 = 0. Let b(h) be the third derivative of h**6/120 + h**5/12 - h**4/6 + 5*h**3/6 - 3*h**2. Is b(f) a prime number?
True
Let y = 333 + -93. Let g = -62 + y. Is g composite?
True
Let c(s) = s**3 + 8*s**2 - 9*s + 2. Let x be c(-9). Suppose -x*n = -0*n - 24. Let q = 119 + n. Is q a prime number?
True
Let s be (-3016)/(-6) - (-1)/3. Suppose 3*m + 3*w - s = m, 5*m - 5*w = 1270. Is m a composite number?
True
Suppose -2*d - x + 322 = 0, 2*x - 4*x - 334 = -2*d. Is d a prime number?
True
Let q(p) be the second derivative of p**5/20 + 5*p**4/12 + p**3/2 + p**2/2 - p. Let x = -1 + -2. Is q(x) composite?
True
Suppose 5*d + 0*k - 18 = -4*k, 4*k = 3*d + 2. Suppose -2*p + d = -0*p. Let o = p - -21. Is o a composite number?
True
Let v(l) = 4*l**2 - 8*l - 7. Is v(-3) a prime number?
True
Let h = 147 + -74. Suppose -3*j - 62 = h. Is (-10)/j + (-331)/(-9) composite?
False
Let s = 140 + 51. Suppose d + 0*d = s. Is d a composite number?
False
Suppose 5*g + 4*s = 2*s + 223, 3*g + 5*s = 149. Let p = g + -12. Is p a prime number?
True
Let v(o) = 5*o + 24. Is v(14) prime?
False
Suppose 0 = f + 14 - 103. Is f a prime number?
True
Suppose -5*y = -2*i + 18, 4*i - 8*y + 4*y = 12. Let g be (-21)/(-4) - i/(-4). Let w(a) = 7*a**2 + 2*a + 2. Is w(g) composite?
True
Let i be (-3)/3 - (2 - 1). Is 1 - (-420)/3 - i a prime number?
False
Let d = 13 + -8. Suppose -2*p = -d*x + 2045, x - p - 397 = -3*p. Is x prime?
False
Let n(m) = 0*m - m - m**3 + 2*m**3. Let t be n(-3). Is 1 + (-1 - t - 2) a composite number?
True
Is (-1586)/(-5) + (-2)/10 a composite number?
False
Suppose 3*y + 3*d + 0*d = 3036, -5*y + 2*d + 5039 = 0. Is y prime?
True
Suppose -4*a + z = -17621, -4*a + 3*z = -0*z - 17615. Is a a composite number?
True
Let l be (-2)/6 + 876/9. Suppose 2*p - 141 = 4*h + l, 365 = 3*p - 4*h. Is p prime?
True
Let r(b) = b**3 - 7*b**2 - 13*b + 12. Is r(9) a prime number?
False
Let a(i) be the first derivative of -i**3 - 1/2*i**2 + 1/4*i**4 + 3 + i. Is a(4) a composite number?
False
Let l = -3 - -34. Is l prime?
True
Suppose 5*p - 5*w - 100 = 0, -2*w - 3*w + 130 = 5*p. Is p a composite number?
False
Let b(v) = -101*v + 1. Suppose -4*c + 0*c + 4*z - 20 = 0, 4*z - 16 = 2*c. Let i(f) = 2*f + 2. Let t be i(c). Is b(t) a prime number?
False
Suppose 4*w - 39 - 77 = -4*t, 0 = -4*t + 5*w + 152. Is t a prime number?
False
Let z = 107 + 480. Is z a composite number?
False
Suppose -3 = -2*l + 4*o - 9*o, -4*l = o - 15. Suppose q = -2*q - w + 223, 299 = l*q + 3*w. Is q a composite number?
True
Let v(l) = 11*l**2 + 2*l + 1. Let g(a) = -a**3 - 2*a**2 + 3*a + 4. Let p be g(-3). Is v(p) composite?
True
Let g be (-40)/(-6)*9/6. Let a be ((-36)/g)/((-1)/5). Is (44/(-6))/((-6)/a) a composite number?
True
Suppose 2*p = -3*z + 8527, 2191 = z - 4*p - 642. Is z a prime number?
False
Suppose 28 = -2*w - 70. Suppose -4*q = -8*q + 392. Let t = w + q. Is t a composite number?
True
Let a(g) = g**2 + g - 2. Let x be a(-3). Suppose -x*w - w + m - 40 = 0, 2 = -w - m. Is (w/(-3) - 3)*-87 a composite number?
True
Let n(f) = -914*f - 11. Is n(-2) a composite number?
True
Suppose -o - 11 + 6 = 0. Let b = o + 9. Is -3 + 1 + 468/b a prime number?
False
Let r(n) = n**3 - 8*n**2 + 8*n - 5. Let a be r(7). Suppose -99 = a*k - 5*k. Let j = k + -14. Is j a prime number?
True
Let a be (-5)/2*4/(-5). Suppose 2*z + 1 = -y - 2*z, -a*z = 3*y - 17. Is y composite?
False
Is (-1*10/15*-2631)/2 a prime number?
True
Let u(c) = -8*c**2 - 14*c - 4. Let j(o) = -3*o**2 - 5*o - 1. Let a(h) = -7*j(h) + 2*u(h). Is a(-8) a prime number?
True
Let l(a) = -971*a - 32. Is l(-9) prime?
True
Let u = -53 - -322. Is u prime?
True
Suppose 9 = -q - 17. Suppose 0*b + 4*b = -2*g - 20, -5*b = -5*g + 55. Let s = b - q. Is s a composite number?
False
Let m = 426 + -224. Is m a prime number?
False
Suppose 2*i - 15 = -3. Let y be ((-4)/i)/(8/12). Is 34 - (-1 + 2)*y a prime number?
False
Let a(j) = -j**2 - 6*j - 1. Let o be a(-6). Let u(b) = 2*b - 2*b + 149*b**2. Is u(o) prime?
True
Let l be 7 - -1 - (4 - 1). Suppose 3*m - 5*m = 5*z - 2055, 0 = l*z - m - 2040. Is z composite?
False
Suppose 25 = -3*f + 5*k - 5, 4*k + 8 = -4*f. Let a(l) = -9*l**2 - l**3 - 3*l + 8*l**2 - 7 - l. Is a(f) composite?
False
Let t(k) = -2*k + 5*k + 