rue
Suppose 2*j - 6*j = 8. Let o(s) = 59*s**2 + 2*s + 3. Is o(j) prime?
False
Let y be (-1 + 3)*(-2)/(-1). Suppose -2*a + 6 = j, 0 = y*j - 3*j + 4. Suppose 5*n - 210 = -a*b, -4*n + 15 + 5 = 0. Is b a prime number?
True
Let b(n) = 32*n**2 - 2*n + 1. Is b(-3) composite?
True
Let p(m) = 3*m**2 - 3*m + 1. Suppose 3*z = -2*x - 4, 0*x = -5*z + 3*x + 25. Is p(z) composite?
False
Let u = -11 + 18. Is u composite?
False
Suppose -2*f - 16 = -7*f - 2*v, -4*v = 2*f. Is 2/f + (-759)/(-22) a composite number?
True
Let y be 2/(-10) + 92/10. Let v be (6/y)/(4/30). Suppose 220 = v*h - h. Is h a composite number?
True
Suppose 5*v + 25 = 0, -4*m + 482 + 83 = -v. Suppose -m = -y - 3*y. Is y composite?
True
Let i = 1516 + -677. Suppose 0 = 3*o - 2*o - i. Is o composite?
False
Let a(m) be the second derivative of -19*m**3/2 + m**2/2 + 2*m. Is a(-2) a prime number?
False
Let a(r) = -r**3 + 16*r**2 - 13*r + 9. Is a(11) a composite number?
True
Let n be 2 + -5 + (-6)/(-1). Suppose n*d - 91 = -0*p + 4*p, 2*d + p = 46. Is d composite?
True
Suppose -3*s - 9 = 5*f - 23, 0 = -4*f + s + 18. Is ((-6)/f)/((-30)/2980) composite?
False
Let q = -13 + 21. Suppose -379 = -9*y + q*y. Is y composite?
False
Suppose 0 = -5*n - 0*n. Suppose n = -2*b + 65 + 13. Is b a composite number?
True
Let p(q) = q**2 - 5. Let f be p(-5). Suppose -3*k + 63 = -4*b, k - f = -b + 1. Is k a composite number?
True
Let s = 6 - -32. Suppose -d = -s + 1. Is d prime?
True
Let r(u) = -18*u + 1 - 2*u**2 + 21*u + 3*u**2 - 5 + 33*u**3. Is r(3) prime?
False
Let t(i) = -i**3 + 6*i**2 + i + 3. Let l be t(12). Let d = -590 - l. Is d prime?
False
Suppose 6*v + 48 = 2*v. Let u be ((-9)/v)/(2/(-8)). Is u/(-12)*-2*-38 prime?
True
Let g(r) = 920*r**3 - 2*r**2 - r + 2. Is g(1) a prime number?
True
Suppose 220*l = 217*l + 6519. Is l a prime number?
False
Let f(t) = 3*t + 2. Let z = -9 - -11. Let u be f(z). Suppose -l = -u - 77. Is l prime?
False
Suppose 10*y - 6*y = 8. Suppose 0 = -y*z - 2*z + 1492. Is z composite?
False
Let w(h) = -3*h + 2*h**3 + 4*h**2 - 4*h**2 - h**2 - h**3 - 5. Is w(6) a prime number?
True
Let h(w) = -w**2 - 10*w - 9. Let m be h(-6). Suppose -2*d + 311 = -m. Is d composite?
False
Let l(n) = -n - 9. Let z be l(-12). Let d = 13 - z. Is d prime?
False
Let k(i) = i**2 + 9*i - 3. Let x be k(-10). Let v(p) = p**2 - 7*p - 9. Let z be v(x). Is (-681)/(-27) + 2/z a composite number?
True
Let w(x) = 2*x - 8. Let d be w(5). Suppose -d*z = -5*t - 154, -2*z + t + 2*t = -146. Is z prime?
True
Let n(w) = 18*w**2 - 7*w + 44. Is n(7) composite?
False
Suppose -x = -3*o + 4, 2*x - 5*o = 4*x - 3. Is 2 - (2 - (x + 12)) a composite number?
False
Let i be (4 - 2)*(-22)/(-4). Suppose i = 4*h + 3. Is 31/2 - h/4 a composite number?
True
Let s = -315 + 634. Is s a prime number?
False
Suppose 3*w + u - 31 = -u, 4*w = 5*u + 3. Is (-5225)/(-35) + (-2)/w a prime number?
True
Let y(m) = 410*m**2 - 6*m - 1. Is y(1) prime?
False
Let k = -5 - -5. Suppose 3*i + 41 = -2*g, -g + k - 7 = -3*i. Is g/(-10) + (-4)/(-10) a prime number?
True
Suppose 0 = j - 3 + 1. Suppose 4*a = -j*p - 152, -4*a + 228 = -2*p - p. Let m = -43 - p. Is m composite?
True
Suppose 5*y - 145 - 15 = 0. Suppose 2 = -3*j + y. Is j prime?
False
Is (-826)/(-10) - (-2)/5 composite?
False
Let v(z) = -10*z + z**3 + 6 - 3*z**2 + 0 + z - 4*z**2. Let b be v(8). Is -1 + b + 3 + 97 a prime number?
True
Suppose 12*n + 62 = 14*n. Is n composite?
False
Suppose 2*k + 0*k + 2*d = -4, -5*d + 25 = -2*k. Let g = -63 - -111. Let r = g - k. Is r a prime number?
True
Suppose -5*f = -f + 5*i - 915, -2*i = -5*f + 1185. Suppose -2*p - m + 115 = 2*m, -f = -4*p - 5*m. Is p a prime number?
False
Suppose 2*z = 4*h + 1531 + 637, 1652 = -3*h - 5*z. Let p = 883 + h. Is p a prime number?
False
Let u be ((-15)/(-5))/(3/44). Suppose -4*a = -2*a - u. Is a prime?
False
Suppose -3*w = -516 - 885. Is w a composite number?
False
Is (-6)/(-21) + 9880/14 a composite number?
True
Suppose 4*b = -0*b + 176. Suppose -z + b = 3*z. Suppose -5*a + 4*a = -z. Is a a prime number?
True
Suppose -5*y + 0*y = -425. Suppose y = 6*f - 5*f. Is f a composite number?
True
Is 195/(-30)*(-34 - 0) prime?
False
Let d(z) = 13*z**2 + 48. Is d(-7) a composite number?
True
Let w(i) = i**3 - 20*i**2 - 12*i + 22. Is w(21) prime?
True
Let z(g) be the third derivative of g**8/6720 - g**7/1680 - g**6/144 - g**5/30 - 2*g**2. Let f(d) be the third derivative of z(d). Is f(4) prime?
True
Let c(d) = d**3 - 2*d**2 - d + 1. Let a(f) = f**3 - 7*f**2 + 7*f - 3. Let q be a(6). Is c(q) prime?
True
Let z(i) = 196*i**3 + i**2. Let h be z(2). Suppose -5*s = -s - h. Is s composite?
True
Suppose 3*y + 9 = 0, 5*l + 3 - 27 = 3*y. Suppose 0 = 4*x - 5*a - 864, 0*x + l*a + 645 = 3*x. Is x a composite number?
False
Let v = 14014 - 7581. Is v a prime number?
False
Let q be 2 - (1 + 0) - 3. Let p(x) = -37*x**3 - 2*x**2 + 1. Is p(q) a prime number?
False
Suppose 2*o - 4*o = -12. Let s be (o - 2)*11/4. Is 2/s + (-3468)/(-44) composite?
False
Let t(b) = -6*b**2 + b - 1. Let k be t(1). Is (-112)/k + 2/6 prime?
True
Let z(v) = -v. Let r(p) be the first derivative of -p**2 + p - 2. Let d(g) = -4*r(g) + 7*z(g). Is d(6) a composite number?
False
Let g = 3 + 2. Let y(t) = 8*t**2 - 6*t - 1. Let l be y(g). Suppose 8 = -4*f, 0 = -3*z + f + f + l. Is z a composite number?
True
Let t = 11 - 7. Suppose 2 = 2*g + t. Is (79/(-1) - 0)*g composite?
False
Suppose -50 = 2*t + 990. Let d = -309 - t. Is d prime?
True
Let j = 719 - -1184. Is j prime?
False
Let r(y) = 19*y - 8. Let l be r(-9). Is 10/(-15) - l/3 a prime number?
True
Let k(s) = 184*s**3 + 2*s - 1. Is k(1) a prime number?
False
Suppose -4*p + 0*p = -1724. Is p prime?
True
Let i(r) = r**3 - 2*r**2 + 3*r - 5. Let u be ((-3)/6)/((-2)/80). Suppose 4*x - 4*d = 32, u + 1 = 3*x - 2*d. Is i(x) prime?
False
Let k(r) = -r**3 - 11*r**2 - 10*r + 2. Let i be k(-10). Suppose -1280 = -5*w + 5*n, -202 = -i*w - 3*n + 285. Is w a prime number?
True
Let n(g) = 2*g**2 - 3*g + 25. Is n(12) a composite number?
False
Let g be (-4 + 1)/(6/(-4)). Let b be g/(4/201)*-2. Is (b/(-6))/((-1)/(-2)) a prime number?
True
Suppose 0 = l - 3*l + 66. Is l composite?
True
Suppose 5*f + 4*p = -0*f + 39149, f - 7827 = 2*p. Is f prime?
True
Suppose -471 = -5*p - 5*r + 1969, 4*p - 3*r = 1973. Is p prime?
True
Let u(i) = -i**2 - 8*i - 4. Let o be u(-7). Let v be 10/3*(-12)/(-10). Suppose -v = o*p - 34. Is p prime?
False
Let u(b) = b**3 - 7*b**2 + 8*b - 8. Let o be u(6). Suppose 2*p = -o*h + 286, 69 = p + 5*h - 65. Is p a prime number?
True
Let m(z) = 2*z + 4. Let x(j) = -4*j - 7. Let a(t) = -5*m(t) - 3*x(t). Let h be a(2). Suppose 5*v - 13 = 4*o, -h*o + 0*o - 3*v = -30. Is o prime?
True
Let o = 15 - -22. Let i = o - -186. Is i composite?
False
Let u = 23 + 116. Is u a composite number?
False
Let h(i) = i**3 - 5*i**2 + 16 - 9 - 2*i**3 - 10*i - 4*i**2. Is h(-8) a composite number?
False
Is 4*(0 - 1388/(-16)) prime?
True
Let z = 489 + -193. Suppose 5*x - z = x. Is x a composite number?
True
Let m(x) = -x**3 + 5*x**2 + x - 3. Let l be m(5). Let p(g) = 6*g - 3 + l*g**2 - 3*g**2 + 0*g**2. Is p(3) a composite number?
True
Suppose -3*t + 4 = -2*t, 194 = 2*c - 3*t. Is c a prime number?
True
Let q(d) be the third derivative of -d**9/12096 + d**7/1260 + d**6/240 - d**5/30 - d**2. Let s(r) be the third derivative of q(r). Is s(-2) a prime number?
False
Let s(a) be the third derivative of -a**6/120 - a**5/20 - a**4/8 - a**3/3 - a**2. Let w be s(-4). Suppose 0 = -2*p - w + 220. Is p prime?
True
Suppose -2*m = -q + 289, -6*m = -4*q - 2*m + 1164. Is q a composite number?
False
Suppose -s + 36 = 2*s. Suppose 5 - 1 = t. Suppose -s = -t*g - 0*g. Is g a composite number?
False
Let n(a) = -a**3 - 6*a**2 - 9*a - 7. Let z(m) = -m**2 - 4*m - 6. Let x(y) = -y**3 - 4*y**2 + 7*y + 6. Let h be x(-5). Let k be z(h). Is n(k) a composite number?
False
Let d(t) = t**2 + 12. Let q be 6/8 - 123/(-12). Is d(q) prime?
False
Suppose 3*n + 2*l = 4*l + 25, 3*n + 3*l - 30 = 0. Is n a composite number?
True
Suppose 0 = 2*n - n. Suppose n = -u - u + 178. Is u a prime number?
True
Let m = -13 - 111. Let j = -265 - m. Let n = 226 + j. Is n a prime number?
False
Suppose -o = -2*p - 0*o + 706, 5*p - 1787 = -3*o. Is p prime?
False
Let s(h) = 12*h**2 + 17*h + 15. Is s(-14) a prime number?
True
Suppose -s = 2*