a prime number?
True
Suppose 4*q + 2*b - 6*b - 24 = 0, -4*b = 2*q. Suppose 4*o - 5802 = -s, q*s + 480 = 4*o - 5332. Is o composite?
False
Let h = -24 + -3. Let d be (-21)/h + -1 + (-174)/(-54). Suppose -x + 2180 = d*x. Is x composite?
True
Let r be 3448*((-8)/40 - 62/40). Let d = -4103 - r. Is d prime?
True
Suppose 15*l = 13*l + 6. Suppose -3*t + 12 = r, 2*r + 1 = t - l. Suppose 4*q - 1555 = -3*v + 366, r = v + 2*q - 643. Is v a composite number?
True
Let f(j) = 125*j**3 - 4*j**2 + 9*j - 1. Suppose 261*b = 265*b - 12. Is f(b) a composite number?
True
Suppose 0 = -6*c - 10635 + 377289. Is c/8 - 0 - 408/(-1088) a prime number?
True
Let l = -4528 + 16450. Let f = 30991 - l. Is f a prime number?
True
Let d = 135756 + -63077. Is d prime?
True
Let f = 467 + -453. Suppose -f*g + 12*g = -8302. Is g a prime number?
False
Let k be 765/(-34)*4/(-3). Suppose 19*a + 118789 = k*a. Is a a composite number?
False
Suppose 0*j = 9*j - 43038. Is (-2)/((-23922)/j - -5) a prime number?
True
Suppose 31*k + 1 = 32*k. Let w(f) = 7167*f**2 - 4*f + 6. Is w(k) composite?
True
Let u(a) = a**2 - 28*a - 40. Let c be -2*(-57)/(-3) - (-11 - -6). Is u(c) prime?
True
Let g = 16024 - 8072. Suppose j + 133*c - 3969 = 129*c, 0 = -2*j - c + g. Is j a composite number?
True
Suppose -3*f + 283 + 338 = 4*c, 3*f + c = 612. Suppose r - f = 299. Is r prime?
False
Let b(c) = -c**2 - 19*c + 51581. Let k(h) = -h**3 - 12*h**2 + 10*h - 39. Let j be k(-13). Is b(j) prime?
True
Is (-1837490)/(-2090) + 2/(-11) prime?
False
Let m(c) = c**2 + 15*c + 19. Let o(q) = 2*q - 4. Let t be o(-5). Let s be m(t). Let i(d) = 2*d**3 - 5*d**2 + 7*d - 1. Is i(s) prime?
False
Let n be ((-51)/(-15) - 3)*10/4. Let g be 5 + n + -6 + 3485. Let y = -1776 + g. Is y prime?
True
Suppose 0 = m - 3*k - 61, -6*m + 148 = -3*m - 2*k. Let t = -49 + m. Is 1400 - -3 - -3 - t composite?
False
Let f(y) = -818*y**3 - 5*y**2 - y - 11. Is f(-4) a composite number?
True
Let q(r) = 6*r**2 + 12*r - 20. Let a be 4*2/20 - 3861/65. Let n = a + 66. Is q(n) composite?
True
Let n(l) = 121*l + 51. Let o(a) = -27*a + 8. Let s be o(-5). Suppose -s = -14*p - 45. Is n(p) a composite number?
True
Suppose h - u = 24, -3 + 159 = 5*h + 4*u. Is h/42 + (-5953)/(-3) a prime number?
False
Let s(c) = -1865*c**3 + 2*c**2 + 3*c + 9. Let d be s(-2). Let f = d + -8810. Is f prime?
True
Let t(n) be the third derivative of 51*n**5/20 + 11*n**4/24 + 7*n**3/2 + 78*n**2. Is t(-7) a prime number?
False
Let d(i) = 360*i**2 - 9*i + 19. Let n be d(5). Let j = -2263 + n. Is j a prime number?
False
Suppose 2*f - 5*f = 5*p + 3, 4*f + 3*p + 15 = 0. Is 3/f + 127666/44 prime?
False
Suppose 8*r + 19196 - 59427 = 108481. Is r prime?
False
Suppose -105 + 336 = -11*v. Is (42/v)/(4/(-182)) prime?
False
Let l = -6572 - -18369. Is l a prime number?
False
Suppose -2*x - 6320 = -7*x. Let h = 4583 - x. Let c = h + -1116. Is c a prime number?
True
Let q be -5 + 2 + 1*-2. Let h(x) = 698*x + 814. Let d be h(17). Is (-2)/q + d/50 a composite number?
True
Let i(w) = -w**2 + 3*w + 21. Let g be i(-3). Suppose 4*r - 5*r - 4*c + 1553 = 0, -2*r + 3062 = -g*c. Is r a composite number?
True
Suppose -44*j = -27*j + 153. Let l(u) = 12*u**2 + 6*u + 7. Let x(z) = -35*z**2 - 17*z - 20. Let i(y) = -17*l(y) - 6*x(y). Is i(j) prime?
True
Let q be (2214/(-81))/((-4)/6). Let f = 454 - q. Is f a composite number?
True
Let w be 22279/3 - (-100)/60. Suppose -4*z + 5*c + 29703 = 0, 8*c = z + 9*c - w. Is z a prime number?
False
Suppose 3*d = 2*k + 187929, 9*d + 4*k = 8*d + 62615. Is d a prime number?
True
Let o be 0 - ((-38036)/(-12) - 1/(-3)). Let m = o - -5503. Is m prime?
True
Is 16454936/230 - 2/10 composite?
True
Let s be (0 - -2*3)/((-84)/(-56)). Suppose s*d - 6648 = 5*t, d + 6616 = 5*d + 3*t. Is d a composite number?
False
Suppose -98 = -4*m + 2*f, -m + 22 = -0*m - f. Let s be (-4)/26 - 13929/(-39). Suppose -m*p + s = -24*p. Is p a prime number?
False
Let t(c) = 121*c**3 - 5*c**2 - 2*c - 3. Suppose 20*u = 12*u + 16. Is t(u) a composite number?
False
Let g(u) = 125*u - 11. Suppose -8*d = 11*d - 114. Is g(d) prime?
True
Let y(b) = -227*b**3 + b**2 - 9*b + 38. Let a be y(3). Suppose 4506 = -2*i - 3522. Let p = i - a. Is p composite?
True
Let j be (9/(-21) - -3)/((-2)/14). Is (-17)/((-51)/j) - -1699 a prime number?
True
Let o be -6*(1 + 1 - 1). Let z be (o/7)/(33/(-154)). Suppose -v = -z*j + v + 16, 4*v - 1 = -3*j. Is j composite?
False
Is (39 + -42)/(1507248/(-502413) - (-3)/1) a prime number?
True
Let l(x) = 174402*x - 619. Is l(4) a composite number?
False
Let f(n) = 149*n - 2680. Is f(99) a prime number?
True
Suppose 64 = 12*s + 220. Let b(k) = -10*k**3 - 2*k**2 + 23*k + 44. Is b(s) a composite number?
False
Let a be 13/(39/12)*25/(-2). Let o be (940/a)/(2/40). Let q = 629 + o. Is q prime?
False
Suppose 3*k - 76737 = 278292. Is k a composite number?
False
Suppose -7*h - 36 = -3*h. Let t(a) = -2*a - 15. Let p be t(h). Is ((-222)/12)/(p/(-246)) a prime number?
False
Let c(o) = 11*o**2 + 7*o - 8. Let g be c(1). Let m(t) = 491*t - 43. Is m(g) a composite number?
True
Suppose -4697 - 5404 = -3*z + 5*h, -3*h + 10149 = 3*z. Is z a composite number?
True
Let i(g) = 277*g**2 - 76*g - 270. Is i(-34) prime?
False
Let p(m) = 47*m**3 - m**2 - 2*m + 35. Let k be p(5). Suppose 2*v - 3*o - k = 0, 8 - 4 = 4*o. Is v prime?
True
Let u(z) = -6*z**2 - 26*z - 20. Let n be u(-3). Let i = 6 + -3. Suppose 0 = -3*a + 2*a + 4*t + 1157, -n*a + 4576 = -i*t. Is a composite?
True
Let v(h) = -13 + 14 + 1 - 4199*h. Let t(p) = -p**3 + 3*p**2 - 3*p + 1. Let u be t(2). Is v(u) prime?
True
Let q = 283634 - 173820. Is q a composite number?
True
Let a = 339534 + -138341. Is a composite?
False
Let o be (-4)/((-12)/(-15)) - -1. Let w be 1 - (-4 + -130 + o). Suppose f - 555 = w. Is f a prime number?
False
Let y(a) = -a**3 - 28*a**2 + 81*a + 41. Let m be (-1687)/49 + (-228)/(-42) + -5. Is y(m) a composite number?
True
Let k(h) = -2*h**2 + 4. Let s be k(6). Let l(d) = -d**3 - 27*d**2 - 20*d - 189. Let a be l(-27). Let i = a - s. Is i composite?
False
Suppose 29*k + 1193846 = 20092936 + 719207. Is k a prime number?
True
Let h be (4 - 1)/(-3 + 4). Suppose w - 4*w + 2*y = -3212, 2*y = 4*w - 4280. Suppose 0 = -2*q + 2*c + w, -4 = h*c - 7*c. Is q prime?
False
Let p(c) = 4*c - 13. Let o be p(5). Let h(x) = -x + 2. Let b be h(o). Is (-2664)/(-20) + 1/b composite?
True
Let j(u) = 95*u**3 + 2*u**2 - 11*u + 4. Let h be j(7). Let f be h/27 - 6/(-27). Suppose 0*c = 2*c - 5*x - 2431, -f = -c - 5*x. Is c composite?
False
Suppose 0 = -h + 5*o + 323179, -193*o + 191*o - 969615 = -3*h. Is h prime?
False
Suppose 3*i = -2*i + 690. Suppose 118*v + 23*v - 564 = 0. Is 118/v*i/3 a prime number?
False
Let o = -59946 - -139087. Is o prime?
False
Let q = -83 + 86. Let r be 4 - 6 - (-954)/q. Is r/6*(-3)/(-2) a prime number?
True
Is (-9)/5 - ((-10064428)/10)/11 a composite number?
False
Is (4 + (-64)/(-12))*(465453/(-12))/(-3) a composite number?
True
Suppose -5*n + 3*b - 34266 = 0, 13694 = -17*n + 15*n - 5*b. Let i = 17725 - n. Is i a prime number?
False
Let u(b) = 17486*b**2 + 19*b - 35. Is u(4) a prime number?
True
Let o(b) = 24*b**2 - 403 + 235 + 197 + 8*b. Is o(9) a composite number?
True
Let y(u) = 4*u + 1. Let s be y(0). Let n(j) = -j**3 + j**2. Let g be n(s). Suppose g = 3*v - 5*p - 2916, -v = -0*v + 5*p - 952. Is v a composite number?
False
Let x(l) = l**3 + 15*l**2 - 20*l - 65. Let r be x(-16). Is (-379)/((-1 - -2)/r) composite?
False
Let q = 62 - 45. Suppose 21*u = q*u + 4916. Is u a prime number?
True
Let b = 408469 + -89895. Is b prime?
False
Let p(w) = w**2 - 3*w + 7. Let n be p(2). Suppose -3*f = -n*h - 38, -2*f + 4*f = -4*h + 62. Is f prime?
False
Let n(p) be the second derivative of 13*p**4/4 + p**3/2 + 7*p**2/2 + 46*p. Let y = -11 - -6. Is n(y) a composite number?
False
Let a = 2737 + 3202. Is a prime?
True
Let n be (48 + -14)/(-2*(-3)/1527). Suppose 3*s = -2*v + n, 5*s + 2*v - 812 = 13615. Is s a prime number?
True
Suppose 3*i = 3*c + c + 3, 3*c - 9 = 0. Suppose -i*l = q - 5*q + 1604, -2*q + 802 = 4*l. Is q a composite number?
False
Suppose 2*v = -22 - 26. Let d(n) = -n**3 - 23*n**2 - 17*n - 17. Is d(v) a composite number?
False
Let q(f) = 17*f - 213. Let w be q(19). Let r = 519 + w. Is r prime?
False
Let j(z) = 10*z**2 + 61*z + 5. Suppose 72 = 3*b 