composite number?
True
Let s(l) = 2*l**2 - 6*l - 1. Suppose 5*g = -0 + 15. Let h(y) = y + 2. Let z be h(g). Is s(z) a prime number?
True
Suppose -5*d = -1595 + 325. Suppose -2*i + 0*i + d = 0. Is i composite?
False
Let n(j) = -j**3 + 61*j**2 - 157*j - 140. Is n(57) prime?
True
Let a = 10093 + -756. Is a prime?
True
Let r = 4461 + -902. Is r prime?
True
Let r be (2/2 - -4)*1. Suppose 3*u + 10 = -r. Let b(k) = -2*k**3 - 7*k**2 - k - 3. Is b(u) a prime number?
False
Let f be (295/10)/(-1*1/86). Let w = 3936 + f. Is w composite?
False
Let m be 1/(((-8)/(-10))/4). Suppose -4*j - 4*t + 2 = -22, m*j = -3*t + 20. Is (-1 + 395 + 1)*j prime?
False
Suppose 13*b = 15*b + 528. Let s = 1013 + b. Is s composite?
True
Let b(k) = 23*k**2 + 9*k + 17. Let j be b(-6). Suppose -j = -p - 254. Is p prime?
False
Let w be (-2)/(-3)*100*-3. Let u(y) = 104*y + 73. Let n be u(3). Let b = w + n. Is b a composite number?
True
Let i(s) = 56*s**2 - 10*s + 29. Is i(3) a composite number?
False
Let x(z) = 2*z - 18. Let a be x(12). Is 8/(-12) + 4210/a prime?
True
Suppose 8289 = 5*z + t, 10*t = -2*z + 14*t + 3298. Is z a prime number?
True
Let g(h) = 17*h - 18. Let l be g(6). Let a = 0 + 0. Suppose a = -5*s + 101 + l. Is s a prime number?
True
Let d be 0/3 + (-1106)/(-2) + -2. Suppose -5*t - 357 = -3*a - 1657, 2*t + 5*a - d = 0. Is t a composite number?
False
Let s(h) be the third derivative of h**7/840 - h**6/60 - h**5/20 + h**4/6 - h**3/2 + h**2. Let n(i) be the first derivative of s(i). Is n(7) a composite number?
False
Is (8/(-32)*-862)/(4/376) prime?
False
Suppose 0 = -4*a + 16, 2*n = 4*n + 5*a - 152. Let i be 1/((-2)/2) - 40. Let g = n + i. Is g composite?
True
Let s(n) = 13*n**2 + 6*n - 3. Let x(w) = 39*w**2 + 17*w - 10. Let o(a) = -8*s(a) + 3*x(a). Let f be (-11 - 1)/(-2) + -2. Is o(f) a composite number?
True
Suppose 4*d - 5382 - 11062 = 0. Is d a prime number?
True
Let b(t) = -t**2 - 6*t + 9. Let l be b(-7). Suppose -z - 2*r + 204 = 0, -l*z = z - 3*r - 603. Is z a composite number?
True
Let g be (144/54)/(1/498). Suppose 5*v + g - 249 = 2*l, -l - 3*v = -534. Is l a composite number?
True
Let x(z) = 5*z**3 + z**2 + z - 2. Let w be x(2). Let f = 147 + w. Is f composite?
False
Suppose 9*o = 5*o + 20. Suppose 3*j + 0*y = y + 1512, o*y + 1524 = 3*j. Is j a prime number?
True
Suppose 2*f = 277 + 225. Is f prime?
True
Suppose 4*y = 3*u - 24677, -22*y = 5*u - 17*y - 41070. Is u prime?
True
Let k be (2 - 2)/(0 + -2). Is (1116 - 0/6) + 1 + k composite?
False
Suppose 6*c - 11*c + 15 = 0. Suppose -c = -n + 2. Suppose -n*w + 770 = 115. Is w prime?
True
Is (-2412800)/(-704) - 9/33 prime?
False
Let r(f) = -f - 29. Let a be r(-15). Is 35/a*564/(-10) a prime number?
False
Let m be (1 + -2)/(4 - 5). Let l(p) = -m + 0 + 290*p + 5 - 3. Is l(1) prime?
False
Let u = 2785 + 1918. Is u prime?
True
Suppose 3*w + 4 - 16 = 0. Suppose 406 = -2*k + w*k. Is k a prime number?
False
Let u = -12 - -20. Suppose -u*l + 282 + 590 = 0. Is l prime?
True
Is (-3)/(-3)*-1 + 2337 + 3 composite?
False
Let j(l) = -l**2 + 5*l - 21. Let y be j(0). Is (-7035)/(-4) - y/84 composite?
False
Suppose 19*c - 163615 - 118554 = 0. Is c composite?
False
Let g(o) = -750*o**3 - 2*o**2 - 6*o - 12. Let v be g(-2). Let h = v + -3213. Is h a composite number?
True
Let x(n) = -2*n - 13. Let v be x(-9). Let q = -47 - -67. Suppose -3*r = -3*w + 321, 0*r + v*r - q = 0. Is w composite?
True
Let n(g) = 96*g - 45. Is n(32) a composite number?
True
Suppose 0 = -155*f + 56*f + 4310559. Is f a composite number?
False
Let f(o) = -1. Let n(p) = 23*p**2 - 18*p + 9. Let t(c) = 5*f(c) + n(c). Is t(-7) prime?
False
Let n = 66 + -62. Suppose -4*q = -n*v + 80, 4*v - 4*q - 79 = -q. Is v a prime number?
True
Suppose -j - 62 = -13. Suppose 4*f = 0, -4*f - 333 = 3*o - 0*f. Let u = j - o. Is u a composite number?
True
Suppose u + 2*b + 362 = -0*b, 5*u - 2*b + 1822 = 0. Let y = u + 2027. Is y composite?
False
Let i be (6/(-7))/(26/364). Is (-9570)/i - (-3)/(-6) prime?
True
Let p be (-2 + 1)/(6/(-8634)). Let c = -550 + p. Is c prime?
False
Let o(x) = -3*x - 5. Let f = 1 - -7. Let v be -2 + 4 - (f + 3). Is o(v) a composite number?
True
Suppose 5*a + 0*t + 137 = 3*t, -2*t + 33 = -a. Let v(p) = -3*p + 3. Let x be v(6). Let y = x - a. Is y composite?
True
Suppose -4*w - 2*g = -5*g - 50276, -5*w - 5*g + 62845 = 0. Is w a prime number?
True
Suppose -3*x = -3*r + 7*r - 119, x + 144 = 5*r. Suppose -g + 4*c = -r, c + 0*c - 2 = 0. Suppose -4*k + 97 = -k - b, -k + g = 2*b. Is k a prime number?
False
Let r = 38 - 38. Is 1598/4*(4 - r)/2 a prime number?
False
Suppose 6 - 10 = 2*g, 2*g - 14091 = -l. Is l a composite number?
True
Suppose 0 = -5*z - x + 5664, -z + 5*z - 2*x - 4520 = 0. Suppose -2*t + r = -988 - z, 0 = -3*t - 2*r + 3187. Is t composite?
False
Let d(a) = -209*a + 52. Is d(-3) composite?
True
Suppose -5*u + 43 = 3*f, -2*f + 6*f = -u + 29. Suppose f*t - 3*g - 2329 = 2*t, 2339 = 4*t - g. Is t prime?
False
Let x be 21/4 + 4/(-16). Let h = x + -5. Suppose d - 62 - 27 = h. Is d a prime number?
True
Let i = 36 - 32. Suppose i*t = 7*t - 30. Suppose -5*s + t*s = 635. Is s a composite number?
False
Let x(i) = i**2 - i + 1. Let o be x(4). Suppose -2*r - 16 = -8, 2*r + 72 = 4*n. Let a = n - o. Is a composite?
False
Is (-4)/36 + (-35616)/(-27) composite?
False
Suppose -4*v + 9*v - 1265 = 0. Suppose 0 = 4*c + 5*b + 995, -c - v = -2*b - b. Let a = -95 - c. Is a prime?
False
Let s = 20 - 13. Let n = -5 + s. Suppose -2*p + 158 = n*m + 38, 4*m - 213 = 5*p. Is m a prime number?
False
Suppose -3*w + q = -6534, 0 = -w + 4*q - q + 2170. Is w a prime number?
True
Suppose -v - 5*r = -16, -2*v + 8*r = 3*r + 28. Let p(k) = -24*k + 1. Is p(v) composite?
False
Suppose 0 = 3*v + n + 48233 - 136083, -4*v - n = -117135. Is v prime?
False
Suppose 0 = 54*h - 237333 - 189753. Is h prime?
False
Let r(l) = -l**2 + 55. Let j(c) = -c + 3 + 2 - 4 - 5. Let s be j(-4). Is r(s) a prime number?
False
Let c(m) = 4096*m - 177. Is c(20) a composite number?
True
Let v(m) = -32*m - 2. Suppose 4*u - 1 - 3 = 4*i, -4*u = i + 16. Let o be v(i). Let z = o + -47. Is z prime?
True
Suppose 2*p - 35 = -39. Is (p*13/6)/((-32)/5088) composite?
True
Let l = -36297 + 78994. Is l composite?
False
Let g = 25844 + -3547. Is g a prime number?
False
Let b = 818 - -6609. Is b prime?
False
Let u = 6 + -28. Is u/(-132) + (-17770)/(-12) composite?
False
Suppose -5997 = -13*t - 238. Is t a prime number?
True
Let r be -2 + -1 + 6 + 357. Suppose -67 = i - r. Is i composite?
False
Suppose 8*b - 3*b + 660 = 0. Let d = -72 + -5. Let x = d - b. Is x a prime number?
False
Let r(k) = 26*k**2 - k + 14. Is r(-5) a prime number?
False
Let m be 8922/(-7) + 1/(21/12). Let p = -793 - m. Is p a composite number?
True
Suppose -2*t + 39 = t. Suppose -12*r = -t*r + 377. Is r a composite number?
True
Let w(j) = -9 + 13 - 49*j - 9. Let u be w(-4). Suppose 2*c - u = -3*n, 92 = -n + 2*n - 5*c. Is n a composite number?
False
Let h = 0 + 2. Suppose 3*s - 28 - 15 = 5*r, 3*s = -4*r - h. Suppose -s*c + 7*c - 49 = 0. Is c a prime number?
False
Let k = 19409 - 11022. Is k a prime number?
True
Suppose -7*i + 66912 = 4*r - 6*i, -5*i = 20. Is r composite?
False
Let o = 232 - 333. Let f = 804 + o. Is f prime?
False
Is -4 - (-41303 - -2)/3 a composite number?
False
Suppose 0 = -4*s - 2*z - 3*z + 592, 2*s = 2*z + 296. Let t = -4 + -1. Let c = t + s. Is c a composite number?
True
Let r(g) = -g**3 + 22*g**2 - 20*g + 6. Is r(9) a prime number?
False
Suppose 10*q - 378 = 7*q + 5*r, -q + 128 = -r. Is q a prime number?
True
Suppose -5*m - 202548 = 20*f - 23*f, -4*m - 202545 = -3*f. Is f a composite number?
False
Suppose 0 = 29*p - 12*p - 33031. Is p a prime number?
False
Let r(s) = s**3 - 2*s**2 - s. Let k be r(2). Let x be (8/k - 0)/(-2). Let d = 113 + x. Is d prime?
False
Suppose -2*t - 107 = 2*s - 7591, 2*s - 14962 = -4*t. Is t prime?
True
Let s(x) = -112*x + 17. Let b(r) = 6*r - 8. Let f be b(8). Suppose -o - 4*o - f = 0. Is s(o) a composite number?
True
Let a = 536 - 229. Is (0 - -1)*a*(-3 - -4) composite?
False
Suppose -12101 = -3*l + v, 1130 = -l + v + 5165. Is l composite?
True
Suppose 5*n = 7*n - 22. Is n prime?
True
Let s(g) = -468*g**3 + 5*g**2 + 4*g - 8. Is s(-3) a composite number?
True
Let b be (1 - (-44)/10) + (-32)/80. Suppose y = b*y - 748. Is