rime number?
True
Let n(x) = 35*x**2 - x - 1. Suppose -2*y = -3*y - 1. Is n(y) composite?
True
Suppose 3*f + 25 = 70. Suppose -r + 0*r + i = -161, 5*i = -f. Is r composite?
True
Is 9924/30 + (2/10 - 0) prime?
True
Suppose 2*t + 0 = 2. Let b be (0 - 0) + (2 - t). Suppose -6 = -w + b. Is w prime?
True
Suppose 3*l = -0*l + s + 265, l = -4*s + 97. Suppose -l = -v + 6. Is v prime?
False
Let g(o) = -o**2 + o - 1. Let x be g(2). Let b be (x - -3)/((-2)/(-1)). Suppose b = v + 3*v - 508. Is v a prime number?
True
Let x(m) = 59*m - 9. Let i be x(6). Suppose -i = -8*y + 3*y. Is y composite?
True
Let w(q) = 5*q**3 + 4*q**2 - 6*q + 13. Is w(4) a composite number?
False
Suppose -5*m + 0*m = -25. Suppose 5*x = 15 + m. Suppose 40 - 12 = x*f. Is f composite?
False
Suppose 4*m - 4*h - 100 = 0, 0 = 3*m + 5*h - 0 - 43. Suppose -6*a + 375 = m. Is a a prime number?
True
Let t = -3 + 0. Let d = t - -3. Suppose -k + d*k = -211. Is k a composite number?
False
Let i be 8 + -9 - 2/(-2). Suppose -p + 6*p - 435 = -4*t, -3*p + 5*t + 224 = i. Is p prime?
True
Let d(p) = 32*p - 1. Let t be d(5). Suppose q + 2*q = t. Is q composite?
False
Let g(j) be the second derivative of 37*j**4/12 - j**3/6 - j**2/2 - 2*j. Suppose 2*z = -4 + 2. Is g(z) prime?
True
Let n(w) = -17*w + 25. Is n(-6) a prime number?
True
Let z = 241 + -102. Is z prime?
True
Suppose 3*y - 6*y = -5*d - 137, -255 = -5*y + 3*d. Suppose 5*z - j - y = 0, 3*z - 14 = -8*j + 4*j. Is z composite?
True
Let j be (-2942)/((-2)/1 - 0). Let w = j - 686. Is w composite?
True
Let g(v) = 377*v**3 - 1. Let j be g(1). Suppose s = 3*y + 101, -4*s + 5*y + j = -0*y. Is s composite?
False
Let h be (9/6)/(12/(-272)). Let g be 2/(-7) - (-906)/(-14). Let z = h - g. Is z composite?
False
Is (-6)/(-15) + (-11232)/(-20) a composite number?
True
Let c(z) be the third derivative of -3*z**4/8 - 5*z**3/6 - 2*z**2. Let a(i) = i**3 - 7*i**2 - 8*i - 6. Let v be a(8). Is c(v) a prime number?
False
Suppose -2*u - g = -935, -3*g - 947 = 2*u - 4*u. Is u a composite number?
True
Let s = 386 - 7. Is s a prime number?
True
Let a(x) = -x**2 - 7. Let f be a(5). Let c = f - -97. Suppose -3*s + c = 2*s. Is s composite?
False
Let j(s) = -4*s - 3. Let r be j(-6). Let h = r - 14. Is h composite?
False
Is 2/5 + 273/105 prime?
True
Is (15/12)/(14/45304) composite?
True
Suppose -2*i - 5*a = 143 - 394, a + 5 = 0. Suppose -3*g + i + 723 = 0. Is g a prime number?
False
Let n = -1063 + 1848. Is n prime?
False
Suppose 3*t - 1194 = -108. Is t prime?
False
Let j = 10 - 6. Suppose 2*g - r = 7, -r = j*g - 9 + 4. Is g composite?
False
Suppose 4*b + 14 = -2*u - 14, -b + 37 = -5*u. Let r = u - -13. Suppose -j - 3*k = -r*j + 622, -795 = -5*j - 5*k. Is j prime?
True
Let d be 2412/30 + (-4)/10. Let h = d - 37. Is h a composite number?
False
Let b = -472 - -807. Is b prime?
False
Suppose -2*s + 620 + 138 = 0. Is s a composite number?
False
Is (-517)/(-6) - (-8)/(-48) composite?
True
Let r be ((-4)/(-10))/((-4)/(-40)). Suppose 5*n + r - 374 = 0. Is n composite?
True
Let x be 107 + 2/(6/(-3)). Suppose t + x = 3*t. Is t prime?
True
Let y(q) be the second derivative of 89*q**4/12 + q**3/3 + 3*q**2/2 + 6*q. Is y(-2) composite?
True
Let c = 2 + 4. Let l(v) = 2*v + 2. Is l(c) a prime number?
False
Suppose 0*b = -3*b + 102. Let q = -12 + b. Is q prime?
False
Let s be -2 - 4/((-8)/6). Let b be (0 - -8)*s/2. Let w = b + 9. Is w a composite number?
False
Suppose -4*k + 4 = -2*k. Is ((-6)/9)/(k/(-1563)) prime?
True
Let s = 3001 + -1708. Is s a prime number?
False
Let n(u) = u**3 - u**2 + 3*u - 1. Let f be n(4). Suppose -f + 156 = x. Is x a prime number?
True
Let n(m) = m**3 + 4*m**2 + m. Let t be n(-4). Let h be (-259)/(-14) - (-2)/t. Let z = 19 + h. Is z a composite number?
False
Let x = 30 - 25. Suppose x = -i + 312. Is i prime?
True
Let r(j) = 9*j - 5. Let o be r(13). Let i = -45 + o. Is i composite?
False
Is 8*(2 - -2) + 3 composite?
True
Suppose -2*t + 7000 = -7*t. Let y = 2023 + t. Suppose y - 253 = 2*o. Is o prime?
False
Suppose 0 = 6*g - 1894 - 788. Is g a prime number?
False
Let d be 15/(-4)*(-24)/9. Let t(b) = 2*b**2 - 13*b - 3. Is t(d) composite?
False
Let u be -3*-4*(-2)/(-6). Suppose 0 = -u*f - 143 - 121. Is (f/(-8))/((-9)/(-24)) a prime number?
False
Let t(u) = u**2 - 4*u - 7. Is t(-6) a prime number?
True
Suppose 0 = 3*s - g - 704, 6*s - 938 = 2*s + 2*g. Let n be 60*((-38)/(-3))/2. Let l = n - s. Is l a prime number?
False
Let t(l) = 11*l**3. Let d be t(1). Let k = d - 6. Suppose -5*f + 3*q + 130 = 0, f + k*q = -5 + 3. Is f a composite number?
False
Let z be (-1)/1 + 6 + -3. Suppose -3*s = k - 2*s - 65, 0 = -z*k + 5*s + 109. Is k a prime number?
False
Let r be (-2)/4 + 2/4. Suppose 3*d - 3 = 2*o, 3 = o - r*o. Suppose -3*w = -d*u - 36, 5*w = 2*u - 6*u + 42. Is w a prime number?
False
Let s(i) = i**3 - 4*i**2 + 4. Let m be s(4). Let y = m + -4. Let v(o) = -o**2 + o + 35. Is v(y) a composite number?
True
Let t(c) = -3*c**2 + 9*c - 15. Let m(i) = -i**2 + 4*i - 7. Let a(h) = 13*m(h) - 6*t(h). Is a(-2) a composite number?
False
Let t be -5 + 3 + (2069 - 2). Suppose -w + t = 4*w. Is w a prime number?
False
Let p = -2 + -6. Let o(n) = 34*n**3 + 3*n**2 - 2*n + 2. Let u be o(2). Is u/8 - (-2)/p prime?
False
Let u(l) = 2*l**2 - 7*l**2 + 3*l**2 + 3 + 2*l**3. Suppose 2*v - 9 = -v. Is u(v) a prime number?
False
Let r = 7 + -8. Let v(i) = -54*i - 1. Is v(r) composite?
False
Let p = 3 - 1. Suppose -3*k - v + 1118 = 0, -1060 = -2*k + 3*v - 311. Suppose 0 = -p*h + 153 + k. Is h prime?
True
Let i = 4 + 0. Suppose 4*s - 151 = 241. Is (s/(-8))/(i/(-16)) a prime number?
False
Let q = -6 - -12. Is ((-4)/q)/((-2)/21) a composite number?
False
Suppose 2*j - 5*f - 1638 + 371 = 0, 1898 = 3*j - 5*f. Is j prime?
True
Suppose 0*p - 3*p + 3*a = -21, -3*a = -4*p + 23. Suppose -p*f = 4*v - 14, -3*v - 14 = -6*v + 2*f. Is v a composite number?
True
Suppose -10 = -4*w - 3*u, -4*w + 6*w + 2 = 2*u. Is 33 + -2 - (-1 + w) composite?
False
Is -29*69/((-6)/2) a prime number?
False
Let j be ((-164)/(-6))/(2/9). Is j/5 - 4/(-10) a prime number?
False
Let u(g) = 6*g**3 + g**2 + g. Let h be u(-1). Let i = h + 5. Is 41 - 1 - (0 - i) prime?
False
Let y(l) = l**3 + 2*l**2 + 2. Let d be y(-2). Suppose -4*o + 79 = 5*f - 222, 0 = d*o - f - 133. Is o a composite number?
True
Let y be 1/((-1)/1300*-4). Let i = y - 71. Is i a composite number?
True
Suppose -q - 6 = -4*q. Suppose -q*a - 339 = -5*a. Is a composite?
False
Is 5710/35 - 3/21 a composite number?
False
Suppose 0 = 5*x + 5*n - 0*n - 20, -7 = -2*x - n. Suppose 14 = x*c - 1. Suppose -c*o - 50 = -10*o. Is o a prime number?
False
Let d(v) = v**2 - v - 7. Is d(-12) prime?
True
Is (-4)/12*0 + 62 a prime number?
False
Let p = 21 - 4. Suppose 50 = g - p. Is g a composite number?
False
Suppose 0 = -0*d - 3*d + 198. Let j = d - 106. Let w = 59 + j. Is w prime?
True
Is (-1)/(0 - (-4)/(-1516)) a composite number?
False
Suppose -v = -y + 120, 3*y = -2*y + v + 596. Suppose -3*u - 132 = 120. Let l = u + y. Is l a prime number?
False
Suppose 3*p - 4*z = 281, 0 = 2*p - 7*z + 2*z - 192. Is p a prime number?
False
Let s(l) = 3*l**2 - 2*l + 3. Let m be s(2). Let u = m - -10. Is u prime?
False
Suppose -t = 5*o - 0*t - 3142, 0 = o - 4*t - 641. Is o composite?
True
Suppose 2 = -3*u + 5, 4*u - 19 = -5*l. Let z be 15/2 + 3/(-6). Suppose v - 17 = h, -2*v - l*h - 81 = -z*v. Is v prime?
False
Suppose -2*z = -3*z - 4, 3*h = 2*z - 145. Let x = h + 148. Is x a prime number?
True
Let o(g) be the first derivative of -g**4/4 - 2*g**3 - 4*g**2 + 5*g + 12. Let m be (-2)/(-3) + 20/(-3). Is o(m) prime?
True
Let t = -12 + 11. Suppose -147 = 3*d + 3*w, -4*d - 148 = -d + 2*w. Let a = t - d. Is a prime?
False
Let h be ((-6)/(-5 + 2))/1. Let f(y) = 40*y - 1. Is f(h) prime?
True
Let j(a) = 2*a**2 - 2*a + 1. Let i be j(-3). Suppose -i + 95 = 2*g. Suppose -4*d = d - g. Is d composite?
False
Let c = -3148 - -19529. Is c a composite number?
False
Let r = 2 + 17. Is r composite?
False
Let i(x) = x**3 + 11*x**2 + 2*x - 13. Is i(-5) prime?
True
Let i = 193 + 10. Is i a composite number?
True
Suppose -7*a + 4*a - h + 1918 = 0, -4*a + 4*h + 2584 = 0. Is a composite?
False
Let r(f) = 131*f**2 + 2*f + 1. Let g(h) = h**3 + 5*h**2 - h - 7. Let l be g(-5). Is r(l) prime?
True
Let t = -4 + 11. Suppose -2*o + t - 3 = 0. Supp