s w(u) a composite number?
True
Let s(i) = -27*i**2 + 3*i - 2. Let r be (2 - -1)*(-13)/13. Let l be s(r). Let q = -120 - l. Is q prime?
False
Let h = -16 + 18. Suppose 411 + 107 = h*j. Is j prime?
False
Let y = 5965 - 552. Is y prime?
True
Suppose 1 = r - 4, -r = 5*c - 445. Suppose -3*u + c = -59. Is u prime?
False
Let j be 1 - -1117 - (-5)/((-10)/6). Suppose 529 = 6*d - j. Is d a prime number?
False
Let t = -7348 - -14345. Is t prime?
True
Let d be (19 + -70)*(-2)/6. Is 2694/2*d/51 composite?
False
Let j(c) = -25*c**3 - 3*c**2 - 7*c + 4. Let u(m) = 24*m**3 + 2*m**2 + 6*m - 4. Let r(f) = 5*j(f) + 6*u(f). Let s be r(5). Is (12/18)/(2/s) a composite number?
True
Suppose -5*a = 4*w - 3642 + 831, -2*w + 1428 = -2*a. Suppose w + 890 = 5*v + 3*s, v - s = 323. Is v a prime number?
False
Suppose 0 = 5*c - 45 - 55. Let z = c + -18. Suppose 710 = 2*f + 4*p, 2*p - 1420 = -z*f - 2*f. Is f a composite number?
True
Suppose 5*t - 4*r + 1422 = 8273, 6815 = 5*t + 5*r. Suppose 0 = 5*p + 2*j - 5*j - t, 4*p + j - 1080 = 0. Is p a composite number?
False
Let u(b) be the third derivative of b**4/24 + 2*b**3 + b**2. Let d be u(-7). Suppose d*c = 1093 - 158. Is c a prime number?
False
Suppose -3*r + 0 + 7 = 4*c, 4*c - 3*r = 1. Is 93*((-5)/(-3))/c a prime number?
False
Suppose -14 - 74 = 11*s. Let b(d) = 3*d**3 - 2*d**2 - 1. Let c be b(2). Let o = c - s. Is o a composite number?
False
Let n = -3 + 5. Let t(k) = -96*k**3 + 4*k**2 + 3*k + 2. Let j(i) = 48*i**3 - 2*i**2 - 2*i - 1. Let l(u) = -7*j(u) - 4*t(u). Is l(n) a composite number?
False
Suppose -4*j = -16, -4*k - j - 4*j = -252. Let y = k + 53. Is y prime?
False
Let k = -2610 + 4251. Is k a composite number?
True
Let i(h) be the second derivative of 2*h**4/3 - 5*h**3/6 + h**2/2 + 2*h + 1. Let s = -1 + -3. Is i(s) a composite number?
False
Let x(v) = 25*v - 15. Is x(8) a composite number?
True
Let q = -42 + 28. Let y = q - -16. Suppose 2*a + 0*l - 264 = y*l, 0 = -a - 2*l + 117. Is a composite?
False
Suppose 0*a + 3 = -a. Let v be ((-5)/a)/((-2)/(-612)). Let m = v - -131. Is m a prime number?
True
Suppose 15*n - 13*n = 0. Let o be n - (-12)/((-3)/(-1)). Suppose 2*y - 3*y - 1942 = -4*b, 0 = -o*b + 2*y + 1944. Is b composite?
True
Suppose -4*a + 26 = 2*h, a + 35 = 5*a + 5*h. Suppose -a*s - 141 = -4*d, 7*d = 3*d - 5*s + 131. Is d prime?
False
Suppose 3*l = 2*a - 901 - 481, -2*a + 4*l = -1386. Is a a prime number?
False
Is 2 - -3 - (-2709 + (-9 - -2)) a prime number?
False
Let u be 0 - (-1740 - (3 + 1)). Let z = u + -953. Let h = -102 + z. Is h a composite number?
True
Let w = 0 + 13. Suppose -w*y - 1527 = -14*y. Is y prime?
False
Is (156/(-130))/((-4)/15310) prime?
False
Let o be (-15)/(-4)*12/9. Suppose 0 = o*h + 26 + 24. Is 5/2*(-12)/h a prime number?
True
Let i be (1 + 37)/(2 + (-576)/285). Let z = 180 - i. Is z composite?
True
Let w(m) = 55*m**2 + 2*m + 17. Is w(-4) a composite number?
True
Let x = -27 - -46. Suppose -125 + x = -2*n. Is n a prime number?
True
Let v be (-6)/8 - (-138)/24. Suppose 0 = -f + r + 335, 758 + 933 = v*f + 3*r. Is f a composite number?
False
Let r(d) = d - 5. Let p be r(6). Let u(s) = -s - 5 - p + 11*s + 5. Is u(6) a prime number?
True
Let w be (1444/(-6))/(-1 + (-21)/(-27)). Let i = w + -398. Is i composite?
True
Suppose 3*x = -0*x - 18. Is 875 + ((-4)/1 - x) prime?
True
Let q(a) = 6*a + 3*a - a**2 + 5*a + 2 + 0*a. Is q(9) composite?
False
Suppose -4*m + 3*y + 181600 = -39213, -2*m + y = -110405. Is m a prime number?
True
Let s be 2 - -6*4/8. Is (-10 + s)*(-2 + 13*-5) a prime number?
False
Let l = -78 + 90. Suppose 2*y - 12 - 8 = 3*z, y - 22 = 3*z. Is ((-654)/9)/(z/l) composite?
False
Suppose 7040 = 9*g - 14713. Is g a prime number?
True
Let f be (-54336)/32*(6/4)/(-1). Let y = f + -746. Is y a prime number?
True
Is -3*(-1514 - -5) + 4 prime?
False
Let x be ((-5)/(-15))/((-2)/(-168)). Is x/8*(-38)/(-1) prime?
False
Let j be (-1520 + 18)/(0 + -1 - -3). Let r = j + 2190. Is r a prime number?
True
Let j(a) = 1075*a + 459. Is j(40) a composite number?
True
Let n(v) = v**3 + 2*v**2 - v + 41. Let x be n(0). Let a = x - 37. Suppose -q + a = -593. Is q a prime number?
False
Let h be ((-10221)/12 + 3)/((-2)/(-8)). Let w = h - -7978. Is w a composite number?
False
Let o = -272 - -1161. Is o prime?
False
Is (2*(4 - 3))/((-2)/(-9)) a prime number?
False
Suppose 3*b = -4*r + 18, 5*r - 3*b - 11 + 2 = 0. Let x be ((-1)/r)/(2/(-522)). Suppose 3*p = 4*d + 20 + x, -3*d - 71 = -2*p. Is p a composite number?
False
Suppose -2*i + 23506 = -4*s, -i - 3*s = -17766 + 6023. Is i composite?
True
Suppose u = 2*u. Let l be 4*(u - 2/(-4)). Suppose 742 = l*w - 2*v, -w - 2*v = w - 742. Is w prime?
False
Let k(n) = 43*n**2 + 42*n + 52. Is k(-23) a prime number?
False
Suppose -4*b - 2*x + 246 = 0, b - 3*x = -2*b + 198. Let o = -233 + b. Let m = o + 257. Is m prime?
False
Let g = 13153 - 3996. Is g composite?
False
Let h = 64 + -56. Suppose h*c + 1387 = 6075. Is c a composite number?
True
Let v = 113 - 98. Suppose 3*n + v = 0, 0 = 2*z - z + n - 2652. Is z a prime number?
True
Let h = 1 + 1. Suppose -18 = -2*u + 4*k, -h*u + 5*k = -4*u. Suppose 4*c - 2*l - 795 = c, -5*c - u*l = -1350. Is c prime?
False
Let f(r) be the third derivative of 7*r**5/30 - r**4/24 + r**3/6 - r**2. Let u = -16 - -17. Is f(u) composite?
True
Let l be (0 + -195)*72/(-20). Suppose -2*w + 56 + l = 0. Is w a composite number?
False
Let b = -21 + 22. Let h(j) = 12*j - 27*j**3 - 4*j - 6*j - b. Is h(-2) a prime number?
True
Let n(h) = 3642*h**2 - 4*h + 3. Is n(1) composite?
True
Is ((10 - 12)/8)/((-2)/29528) prime?
True
Suppose -s + 4*u + 19 + 32 = 0, 4 = u. Let l = -48 + s. Is l a composite number?
False
Suppose o = 8*o + 21. Is 22665/18 + o/18 prime?
True
Is (-4346328)/(-144) + 2*1/12 a prime number?
False
Let r be 244/14 - 3/7. Suppose -r = -5*f + 28. Is f/27 + (-112)/(-6) composite?
False
Suppose -4*n = -2*l - 68860, -47*n + 51631 = -44*n + 2*l. Is n a prime number?
False
Suppose -m = -3*d + 10, -3*d + 5*m = -6*d + 40. Let a = -7 + d. Let i(o) = -104*o + 3. Is i(a) prime?
True
Suppose 5*h - x = 695102, -33006 = -4*h + 4*x + 523066. Is h a composite number?
False
Suppose -5*c + 54677 = -156108. Is c a prime number?
True
Suppose -18222 = -6*f + 24876. Is f prime?
False
Let t be (56/70)/((2/2)/5). Suppose -t*k - 1405 = 2*u - 8801, -7384 = -4*k + u. Is k a prime number?
True
Let g(w) = 50239*w**3 + w**2 + 15*w - 16. Is g(1) prime?
False
Let a be 3/(-12) - (-830)/(-8). Let b = a - 91. Let m = b + 502. Is m composite?
False
Suppose -f + 3*n = -8, -4*f + 0*n = -3*n - 14. Suppose -6*x - 5*w = -f*x - 5266, 5*w + 10 = 0. Suppose -4*z - v + x = 0, 0*z + 5*z - 1675 = 4*v. Is z composite?
False
Suppose -3*b = -2*q + 899, -1391 = 9*q - 12*q - 4*b. Is q composite?
False
Let v be (4 - 4 - -3229) + -3. Suppose -v - 4498 = -4*c. Is c a prime number?
True
Let x be (-1 + -3)/(1/(-1)). Let v be 6104/112 + 1/2. Suppose -3*a + 66 = 3*t, -2*a - v = -x*t + 27. Is t composite?
True
Let w be (-11 - -9)*34/4. Let r = w + 30. Is r prime?
True
Let j be -2 - (4 - 467) - -3. Suppose 2*f + v = 309 + 167, -2*f = -5*v - j. Is f prime?
False
Let x(j) = 4*j**3 + 3*j**2 + 2*j - 7. Suppose -t + 15 = 2*t. Let p be x(t). Suppose 2*f - 123 + p = 3*z, -f - 600 = -4*z. Is z a prime number?
True
Let p = 14291 - 5830. Is p prime?
True
Suppose -5*w = -32 - 58. Suppose 0 = 4*q + 2*o - 504, -4*o + 7*o = 4*q - 484. Suppose 2*r - q + w = 0. Is r a prime number?
True
Let w = 8 - -103. Suppose -w*t = -115*t + 508. Is t a composite number?
False
Let w = 51 - -2402. Is w a composite number?
True
Let f(y) = -2*y - 38. Let s be f(-20). Suppose -s*t = 3*j - 937, t - 5*j - 488 = -0*j. Is t a composite number?
True
Let s(d) = -3*d**2 - 8*d + 10. Let b(g) = 6*g**2 + 15*g - 19. Let m(i) = 3*b(i) + 5*s(i). Let w = -67 - -72. Is m(w) a prime number?
False
Let r(s) be the second derivative of 65*s**4/3 + s**3/6 + 5*s. Let n = -24 + 23. Is r(n) a prime number?
False
Let d be -4 - (-3 + 0) - -761. Let h(k) = k**2 - 6*k + 6. Let x be h(6). Suppose 5*c - 5*m = d, 6*m - 4*m - x = 0. Is c prime?
False
Let y(k) = -25 + k**3 + 3*k**3 + 19*k - 3*k**2 - 5*k**3. Is y(-18) composite?
False
Is (-1*31173)/(-6 + (3 - -2)) a prime number?
False
Let x = -1127 + 717. Let b = 119 - x. Is b a prime number?
False
Let z(n) = 823*n**3 -