1)/5). Let b = a + 32. Is b composite?
False
Let w = 66 - 114. Let v = w + 137. Is v a composite number?
False
Let u be -5 + (-3)/(0 - 3). Let k(f) = 2*f**3 + 4*f**2 - 5*f - 6. Let a be k(u). Let v = 163 + a. Is v composite?
False
Let i = -127 + 228. Suppose i = 2*d + 23. Is d composite?
True
Suppose -4*g + 2*q = -2256, g = -3*q + 2*q + 567. Is g a composite number?
True
Let g(v) = v - 1. Let c be g(2). Is -2 + (c - -2)*41 prime?
False
Let t = -1 - -8. Let j = 64 - t. Is j prime?
False
Let s = 11 + -7. Let r be s/18*-3*18. Is (-50)/(-8) + 3/r composite?
True
Let g(a) = 7*a**2 + 6*a - 24. Is g(9) prime?
False
Let s = 155 - 28. Is s a prime number?
True
Let a(b) = -4*b - 2. Let f be a(-3). Suppose -3*o + 0*o = 3. Let s = f - o. Is s prime?
True
Let h(v) = -133*v**3 + 3*v**2 + 4*v + 5. Is h(-2) prime?
False
Let d(h) = 15*h**2 - 5*h - 3. Is d(4) a composite number?
True
Let z(c) = -c**2 - 23*c + 19. Is z(-13) a composite number?
False
Let b(p) = p**2 - 6*p - 8. Let v be b(7). Let r be 6 - (-3 + 2)/v. Suppose h - 5 = -3*s + 3, 38 = 3*h - r*s. Is h a prime number?
True
Suppose -5*m = -25, 2*l + 3*l + 5*m - 1355 = 0. Suppose -a = a - l. Is a composite?
True
Suppose -h - 5*o = -228, 2*h = 5*o + 113 + 328. Is h composite?
False
Let u be 0/(-3)*(-2)/4. Let a be 2 + (u - -2) + 0. Let r(f) = 3*f**3 - 6*f**2 - f + 5. Is r(a) composite?
False
Is 1173 + (2/(-4))/((-8)/64) prime?
False
Suppose p - 9 - 140 = 0. Is p prime?
True
Let w(z) be the first derivative of z**3/3 + z**2 + 127*z + 8. Is w(0) prime?
True
Suppose 162 + 167 = k. Is k composite?
True
Is 2*(1308/8)/3 composite?
False
Is 189 - 2*(5 + -4) prime?
False
Suppose 1650 = -5*j + 5135. Is j prime?
False
Suppose i - 4 + 3 = 0, -r + 1 = -i. Suppose 2*y + r*y + 35 = 5*a, 3*y = -15. Suppose 2*b - x = -a*b + 234, -4*b = 2*x - 176. Is b prime?
False
Let y(g) = g**2 + 6*g + 18. Is y(17) composite?
False
Suppose -4*z = -2614 - 11430. Is z a prime number?
True
Suppose 4*w - 326 = 3*n + 37, -n - 90 = -w. Suppose l = 4*l - w. Is l composite?
False
Let l = 5 - 3. Is (-1)/(l/(-76)*2) prime?
True
Is (-4)/(-12)*19*3 a composite number?
False
Let q be 76/(-18) + 4/18. Let m(u) = -u**2 - 5*u - 1. Let l be m(q). Suppose -v + 17 = -y + l, 41 = 3*v - 4*y. Is v prime?
False
Suppose -2*z - 4*w + 4 = -10, -3*z + 5*w - 12 = 0. Suppose 2*b + 1 = 3*h, 0 = -h - 2 - 1. Is -1*z + (-390)/b composite?
True
Let t(m) = -m**3 + 7*m**2 + 13*m - 9. Let n(o) = 2*o + 1. Let y be n(1). Let l be (y - 0)*(-16)/(-6). Is t(l) prime?
True
Suppose -2*y + t + t = -1906, -5*t = -y + 945. Is y prime?
False
Suppose j = -4*u + 2082, 2*u - 150 = 2*j + 896. Is u composite?
False
Let j(f) = -52*f**2 - 2*f - 1. Let w be j(-2). Let a = w + 319. Is a/8 - (-2)/(-8) a prime number?
False
Suppose -5*z = -z - 556. Is z prime?
True
Is -8 - -3 - -158*7 a prime number?
False
Let h(b) = -b**3 - 4*b**2 + 3*b - 6. Let v be h(-5). Suppose 5*i - 72 = -3*j, -j - v*j - 2*i = -101. Suppose 2*t - j - 1 = 0. Is t a composite number?
True
Let d(w) = w**3 + 7*w**2 + w + 9. Let m = 17 + -25. Let i be (-5)/20 + 54/m. Is d(i) a composite number?
False
Let t = 3 + 2. Suppose -4*k + 21 = 3*v, -3*v - t*k + 19 + 5 = 0. Suppose 0 = v*x + x - 44. Is x a prime number?
True
Suppose -t + z = -0*z - 9, -3*t = 3*z - 45. Suppose -3*h + m + 149 = -t, -4*m - 61 = -h. Is h a prime number?
True
Let l(b) = 21*b**2 + 21*b + 5. Is l(-6) composite?
True
Let q(h) = -h**3 + 5*h**2 + h - 3. Let j be q(5). Let s(o) = -7*o**2 - 2*o + 3. Let r(k) = 13*k**2 + 4*k - 6. Let g(v) = 4*r(v) + 7*s(v). Is g(j) composite?
False
Suppose 6*r - 27 = 471. Is r a prime number?
True
Let f(b) = -b**3 + 10*b**2 - 8*b - 11. Suppose 0 = -4*z - 3*r + 12 + 29, 0 = -2*z + 3*r + 7. Is f(z) a prime number?
True
Let t = 672 + -418. Is t a prime number?
False
Let d(n) = 7*n - 6. Let f be d(4). Let y = 149 - f. Is y prime?
True
Is 20/(-15)*51/(-2) composite?
True
Let c(v) = v**3 + 8*v**2 + 7*v + 8. Let x = 5 + -2. Suppose 0 = -x*g - 2 - 16. Is c(g) composite?
True
Let b = 34 - -919. Is b a prime number?
True
Is (-2)/1 + 2 + 31 composite?
False
Suppose -7 = -4*u + 1. Suppose 0 = 5*d + 5*j - 90, -4*d + 2*j + 29 + 61 = 0. Suppose 3*f = u*f + d. Is f prime?
False
Let f = 1060 + -729. Is f prime?
True
Suppose 2*i = i + 559. Suppose i = 3*y - a, -160 = -2*y + 2*a + 218. Is y prime?
False
Is (-4)/(-12)*0 + 491 composite?
False
Is 8/28 - (-1522)/14 composite?
False
Suppose -5*f = -2*x - 2447, 3*f = -x - 3*x + 1463. Is f composite?
True
Let i(m) = m**3 - 7*m**2 + m - 4. Let a be i(7). Suppose 0 = -0*f + 2*f - 50. Is f/3 + 2/a prime?
False
Suppose -4*h + 7 = -121. Let v = 35 + h. Is v composite?
False
Is 9415/(-25)*-5*1 a composite number?
True
Suppose 0 = -4*q + 2*u + 4 - 0, -4*u + 28 = 4*q. Let g(l) = -l**3 - 5*l**2 - 6*l - 7. Let w be g(-6). Is w/q + (-8)/12 prime?
False
Is (-7)/((-2)/(-22)*-1) prime?
False
Let r = -2 - -2. Suppose 3*a = -2*a + 475. Suppose -5*s + 60 + a = r. Is s composite?
False
Let r(n) = -n**2 - 5*n - 1. Let x be r(-4). Suppose -6*h + x*h + 231 = 0. Is h a prime number?
False
Let q(z) = -20*z**3 - z**2 + z - 1. Suppose 2*k = 6*k + 8, 0 = 2*r + k. Let d be q(r). Let x = -10 - d. Is x a prime number?
True
Let v = 6 - 6. Suppose -6*q + 151 = -4*q + i, -4*q + 303 = i. Suppose v*m = 4*m - q. Is m a prime number?
True
Let y(w) = -13 + 2 + 2 - w. Let m be y(-7). Is (-636)/(-18) - m/(-6) a prime number?
False
Let f(q) = q**3 + 7*q**2 - 5. Suppose -2*r + 2 = 14. Is f(r) a prime number?
True
Let p = -5 - -8. Suppose 2*s = p*s + 3*x - 47, -3*s - 3*x = -153. Is s composite?
False
Let x(l) = -92*l**3 + l**2 + 5*l - 1. Is x(-3) composite?
False
Suppose 8*f - 11803 = 15005. Is f a prime number?
False
Suppose 2309 + 1831 = 5*p. Let n = -529 + p. Is n prime?
False
Suppose 35 = v - 0*v. Let j = v - -88. Is j prime?
False
Let n = -752 + 2113. Is n prime?
True
Suppose 5*k = s - 611, -1634 = -4*s + k + 753. Is 3*(s/(-12))/(-1) a composite number?
False
Let d(f) = -f**2 - 7*f + 4. Let b be d(-7). Suppose -170 - 15 = -3*y - b*j, 2*y - 122 = -2*j. Is y composite?
False
Let h be 18/(-2) + (1 - -2). Let y(k) = -3*k**3 + 7*k**2 - 3*k - 5. Let j(u) = -8*u**3 + 21*u**2 - 8*u - 15. Let l(o) = 4*j(o) - 11*y(o). Is l(h) prime?
False
Let f = -961 + 1356. Is f prime?
False
Suppose y + 0*y + 3*f = 13, -y + f = -25. Let s = -3 + y. Let j = s + 4. Is j prime?
True
Let b(g) = 148*g**3 + 2*g**2 - 3*g - 2. Let d be b(-2). Let u = -387 - d. Is u composite?
True
Suppose -5*p + 2*p + 318 = 0. Suppose -p = -5*b + 319. Is b prime?
False
Suppose 0*f - 596 = -2*f. Is f prime?
False
Let z(p) = 3*p**3 - 4*p**2 + p - 1. Let x be (6 + -3)/(3/10). Let v = x + -6. Is z(v) prime?
True
Let s(p) = p - 10. Let l be s(10). Suppose l = -z + 228 - 51. Is z composite?
True
Let k(z) = 5*z - 5. Suppose i = -5*v + 17 + 5, -v = 4*i + 7. Let h be k(v). Let f = 38 + h. Is f prime?
False
Suppose -2*c - 3*r + 331 = 2*c, 179 = 2*c - 3*r. Is c a composite number?
True
Let g(z) = 14*z - 2. Let l be g(2). Is (l/(-2))/(0 + -1) a prime number?
True
Let t(k) = 3*k**2 + 3*k + 2. Let x be t(7). Suppose x = -2*a + 4*a. Is a a composite number?
True
Suppose -4*t = 4*a, 0*a = -2*t - 4*a - 6. Let b be t/(-2)*16/(-12). Suppose 0 = w + 5*x - 40, -2*w + b*x + 44 = -0*w. Is w composite?
True
Let t be 637/1 + 10 + -8. Suppose 3*p - 150 = t. Is p a prime number?
True
Let z = 2 - 2. Is 55 + (-4)/2 + z prime?
True
Let j = 4 + -1. Is 350/15 + (-1)/j prime?
True
Let n(c) = c**2 - 11*c + 10. Is n(12) a prime number?
False
Let q(u) = 4*u**2 + 2*u + 1. Let d be q(-1). Let m = d + -2. Is ((-3)/6)/(m/(-4)) a composite number?
False
Suppose -20 = 4*g, 2*i + g - 5*g - 36 = 0. Suppose i - 74 = -3*d. Is d prime?
False
Is (82/(-5))/(4/(-20)) a composite number?
True
Suppose -m = 497 - 96. Let s = -100 - m. Is s a composite number?
True
Let o(t) = 5*t**2 - 13*t - 3. Is o(-5) prime?
False
Let t be (-1)/(-1) - 24/(-6). Suppose 4*m = -0*m + t*d + 42, -m - 4*d = 0. Is (316/m)/(2/4) a prime number?
True
Suppose 3*d - 1 = -4, -5*d = 4*r + 569. Let y = r + 274. Is y a composite number?
True
Let c = -253 + 675. Suppose 0 = -2*g - 6*n + 2*n + c, -3*n = 0. Is g prime?
True
Let d be 6*(21/(-9) - -3). Suppose 0 = 3*h - d*j - j - 6131, 3*j = -3*h + 6147. Is h/5 - (-2)/(-5) composite?
False
Let y = 924 - -279. Is y composite?