. Is a(2) prime?
True
Suppose -2*u + 0*t = t - 815, -5*u = -t - 2041. Let x = -114 - 35. Let s = u + x. Is s composite?
True
Suppose m + 5*w - 21537 = -m, 2*m - 21543 = w. Is m prime?
True
Suppose -171*s + 173*s = 25442. Is s composite?
False
Let s(d) be the second derivative of 32*d**5/5 + 5*d**4/12 - 2*d**3/3 + 4*d. Is s(3) prime?
False
Let d = 936 + -227. Is d a composite number?
False
Suppose -3*g = -w - 7, 0*g + 4*w = -g - 2. Let b = g - -20. Is b a composite number?
True
Let o be (22/8)/(7/28). Suppose a = x - 5 - o, -2*a - 5*x = -3. Is (a/22)/(2/(-356)) a prime number?
True
Is (-80364)/(-10) - (-35)/(-25) composite?
True
Suppose -1260 = -3*q - 0*q. Let z be q/(-7) + -3*1. Is 4/(-18) - 15827/z a prime number?
True
Let f(d) = 476*d - 37. Is f(6) prime?
True
Let g be -4 + -1 + 2/2. Is 131*1/(-4)*g a composite number?
False
Is (-7)/(252/(-16)) + (-302823)/(-81) prime?
True
Let b(v) = 291*v**2 - 12*v + 34. Is b(-7) prime?
False
Let h = 11386 + -6505. Is h prime?
False
Let r = 21 - 21. Suppose r = 7*x + 233 - 807. Suppose 3*q - x = j + 1045, 0 = -3*q + 2*j + 1123. Is q prime?
False
Let q(z) = 980*z - 2. Let h be q(8). Suppose 2*f + 1008 = h. Is f a composite number?
True
Let t be ((-84)/5)/(2*3/(-180)). Suppose -3*u - 4*f + 643 = 2*u, -t = -4*u + 2*f. Is u prime?
True
Suppose 14*w - 43453 = 56241. Is w prime?
True
Let y(x) = -20*x - 3. Is y(-5) prime?
True
Let v(w) = 8*w + 13. Let p be v(-6). Let s be 6/4 + p/14. Is (s + -21)*1/(-2) composite?
False
Let u(m) = 16 - 37*m - 209*m + 7 + 6. Is u(-5) a composite number?
False
Let x = 74058 + -45689. Is x prime?
False
Is ((-11406)/18)/1*-3 prime?
True
Suppose -23*l + 15381 = 776. Is l a prime number?
False
Let z(k) = -2 - 3*k - 4*k + 5*k + 1. Let y be z(-2). Suppose 0 = 5*x + y*t - 1037, t + t = 8. Is x composite?
True
Let p(l) = 42*l - 23. Suppose 2*b + 36 = 3*u, 7*b + 12 = 3*b. Is p(u) a composite number?
False
Let k(h) = -1949*h + 8. Is k(-3) a prime number?
False
Suppose -13*f - 133081 = -42*f. Is f composite?
True
Let d(z) = -859*z + 1. Is d(-6) a composite number?
True
Let v(t) = t**3 - 16*t**2 + 3*t + 7. Let y be v(11). Is (y/(-20))/((-3)/(-12)) a prime number?
True
Let d be 10/((-3)/705*1). Let p = 1668 + d. Let v = p + 989. Is v prime?
True
Is 174 + -3 + 9 + -3 prime?
False
Let i be 16/12*(-9)/(-4 - -1). Suppose 4*f - 833 = 2*r - 3075, i*r + 3*f - 4451 = 0. Is r prime?
False
Let g be 8/(-40) + 2338/(-10). Let y(u) = -76*u + 5. Let a be y(5). Let l = g - a. Is l prime?
False
Let a(u) = 44*u + 4. Let p be a(6). Let y be (94/(-4))/(5/30). Let o = y + p. Is o composite?
False
Is 1348 - (5 + (-11 + 2 - -5)) a composite number?
True
Suppose 50219 = -28*w + 41*w. Is w a prime number?
True
Let k(v) = -2*v**3 + 50*v**2 - 45*v + 71. Is k(-30) a prime number?
False
Let k(u) be the second derivative of 25*u**3/6 + 17*u**2 + 11*u. Is k(15) composite?
False
Suppose -9*t = -11284 + 2347. Is t a prime number?
False
Is 3/90*-4 - 2633270/(-150) a composite number?
True
Let h(n) = -399*n + 11. Let x be h(5). Let p = -1197 - x. Suppose 3*k - 794 = -5*g, 3*k - 2*g + 0*g - p = 0. Is k prime?
True
Let v(f) = 5881*f**2 + 6*f + 4. Is v(3) composite?
False
Suppose 0 = -7*i + 3491 + 1367. Is i prime?
False
Suppose -21 = -4*c - 13. Is (c/(-6))/((-7)/546) composite?
True
Is 6 + 0 + (-700413)/(-21) a prime number?
True
Suppose 463*z - 460*z = 9141. Is z a prime number?
False
Let r(u) = 2*u**2 - 24*u + 5. Let h be r(12). Suppose h*n + 1371 = 6*n. Is n a prime number?
False
Suppose 3*j = j + 12. Suppose -25872 = 2*k - j*k. Is (-6)/(-30) - k/(-10) a composite number?
False
Let z be (-5 - -3)/((-2)/5). Let b = 13 - z. Is 2/(-4) - (-1532)/b prime?
True
Let z(u) = -42*u + 1. Let i(d) = 83*d - 3. Let n(j) = -4*i(j) - 7*z(j). Is n(-3) composite?
True
Let l = 379 + -13. Suppose 2*u - 5*o = 360, 6*o = 5*u + o - 885. Let x = l - u. Is x a prime number?
True
Let m(r) = -89*r + 7. Suppose 9 = -2*z - 3. Is m(z) composite?
False
Let s(z) = 920*z**2 - 1. Let m be (-2)/(-16) - (-165)/24. Suppose -m = q - 8. Is s(q) a composite number?
False
Suppose 0 = j + 10*j - 33. Suppose -j*l + 9012 = 9*l. Is l a composite number?
False
Let k = 33 - 28. Suppose v = -2*u - 2*u + 2220, 1642 = 3*u - k*v. Is u a prime number?
False
Let f(c) = -c**2 - 9*c - 8. Let s be 35/(-5) + (-2)/2. Let g be f(s). Suppose 5*j - 656 - 1329 = g. Is j composite?
False
Suppose 0 = y + 4*b - 7623, 2*y = y + 2*b + 7605. Let q be y/12 - (-5)/(-20). Suppose -g + q = g. Is g prime?
True
Let p = -26 + 44. Let b be (-30)/(-135) - 58/p. Is 3*(-4 + (-89)/b) prime?
False
Suppose 4*f + 2*f - 3024 = 0. Let x = f + 373. Is x composite?
False
Suppose -5*q + 2*j = -5 - 14, 4*j - 37 = -5*q. Suppose -4*w + 0*w + 5*z + 23 = 0, -q*w + 13 = -z. Suppose w*v + v = 1221. Is v composite?
True
Suppose 0 = -5*a + 3*a + 4. Let x be a - -2 - (9 + -3). Is x*(4 - (-1767)/(-6)) composite?
True
Let b = -42 - -38. Let t(v) = -587*v + 11. Is t(b) a composite number?
True
Suppose -5*n + 1409 = -2286. Suppose 0 = 2*o + 201 - n. Let l = -136 + o. Is l composite?
True
Suppose -j - 135879 = -3*j - u, -5*j = 2*u - 339695. Is j a composite number?
True
Suppose 4*o = 0, 10529 = 90*v - 89*v - 4*o. Is v composite?
False
Suppose -3 + 52 = 5*s + b, 5*s - 51 = b. Let c be (-2)/(-5) + 66/s. Is c/((-28)/8) - -69 a composite number?
False
Let z be 27/(-15) - ((-3)/(-5))/3. Is (-290)/(-3)*(z + 7/2) a composite number?
True
Let o(m) = -m + 10. Let f be o(8). Suppose f*y = -152 + 52. Let w = y + 135. Is w composite?
True
Suppose 0 = -2*y + b - 9, -6*b + 7*b = 1. Let s be (45/(-60))/(3/y). Is s*(3 + 228/3) prime?
True
Suppose 5*g - 28 = -13. Suppose -v - g*v + 348 = 2*o, 2*o - 339 = -v. Let t = o - -10. Is t composite?
True
Suppose 2 = t + 3*g - 76, 2*g = 4. Let s(a) = -a**2 - 3*a - 3. Let j be s(-5). Let q = t - j. Is q a prime number?
False
Suppose -4*i - 4*r + 48 = 0, -7*i = -8*i + 5*r + 6. Is i prime?
True
Suppose 6*l - 72001 = -22495. Is l prime?
False
Let m = 20 - 17. Suppose -720 = -g + m*d + 163, -4*g + 3566 = 5*d. Is g composite?
True
Let d(j) = -11*j + 3. Let s be d(3). Let a = 196 + -108. Let b = a + s. Is b a prime number?
False
Suppose 5*n - 4*u = 23625, 3*u = -3*n + 8*u + 14188. Is n prime?
True
Suppose -3*v + 295741 = 4*g, -4*g + 248314 = -4*v - 47462. Is g a prime number?
True
Suppose -4*m = f - 3345, -5290 = -2*f + 4*m + 1412. Is f a composite number?
True
Let a = 15 + -9. Suppose 5*m - 6*l - 77 = -3*l, 4*m - 2*l - 62 = 0. Let n = a + m. Is n composite?
True
Let d(r) = 22*r**2 + 19*r + 15. Let z be d(-13). Suppose o = z + 37. Is o a composite number?
True
Let j be (2 + -4 - -4) + 1 - -2. Suppose -3137 = -j*h + 1358. Is h prime?
False
Let i(b) = 579 - b**2 - 445 + 684 - b. Is i(0) a prime number?
False
Let r be (2 - 0)*(-46)/(-4). Let q = r + -20. Suppose -q*d - 641 = -2*g, 4*g = -d - 606 + 1881. Is g a prime number?
False
Let v be (-1 + 21)*528/64. Is (v - -1)/((-20)/(-10)) composite?
False
Let v(a) = a**2 + 3. Let d be v(0). Suppose 23*c - 22625 = -2*c. Suppose -2*p = d*p - c. Is p composite?
False
Suppose a = 1 - 3, -3*a = 2*m - 2658. Suppose 0 = q - 4*v - 319, 2*q = 6*q - 2*v - m. Suppose -2*u + q = -491. Is u a composite number?
True
Let a(g) = 543*g + 14. Is a(3) a composite number?
True
Is 6/(-30) + 12516/5 prime?
True
Let w(l) = 2*l - 10. Let s be w(4). Let h be s/3 - 252580/(-60). Suppose 4*y - 3*q - h = -y, -2*y = -3*q - 1680. Is y a prime number?
False
Let y(k) = 132*k**3 + 7*k**2 + 5*k + 5. Let r(n) = -133*n**3 - 6*n**2 - 4*n - 4. Let v(u) = 4*r(u) + 3*y(u). Let g be v(-2). Let f = g + -430. Is f composite?
False
Suppose 5*n - 400 = -105. Suppose 4*h - 5*r = -0*h + 37, h - r - 8 = 0. Suppose h*p - 413 + n = 0. Is p a prime number?
False
Let i = -10125 - -19784. Is i prime?
False
Let b(a) be the first derivative of 129*a**2/2 + a - 15. Is b(4) prime?
False
Let p(t) = -36*t**3 - 2*t**2 + 3*t - 4. Is p(-3) composite?
False
Let o be 0/1 - (-5 + 0). Suppose -2*n - 9 = -3*r + 2*r, 0 = r + 3*n - 9. Suppose -124 = o*g - r*g. Is g composite?
False
Let w(n) = 3*n**2 + 3*n + 1. Let r(x) = -3*x - 7. Let b be r(-3). Suppose 2*k = 4*u + 28, 36 = b*k + k - 3*u. Is w(k) a prime number?
True
Let s(r) = 7*r**3 + 9*r + 5. Is s(9) a prime number?
True
Let f(m) = -m**2 + 18*m + 41. Let k be f(20). Is 304 - (k +