a composite number?
False
Let x(m) = -27195*m - 1970. Is x(-3) prime?
False
Let d(c) = 68*c**2 + 28*c + 249. Is d(-25) a prime number?
False
Suppose 2*x = -15*x + 55318. Suppose 0 = 2*w + 5*r - 5939, -x = 2*w - r - 9163. Is w prime?
True
Let j = 120 - 175. Let z = j - 11. Is z/(-4)*62/3 a prime number?
False
Suppose 41*f - 224 = 45*f. Let p = f + 67. Suppose -10*h + p*h - 449 = 0. Is h a prime number?
True
Let a = 1974 + 755. Is a composite?
False
Let x(d) = d**3 - 26*d**2 + 24*d + 26. Let c be x(25). Is c - (-8350)/15*3 composite?
True
Suppose 3*h = -l + 3501 + 180422, -40 = 10*l. Is h a composite number?
True
Let f(v) = 9*v**3 - 5*v**2 + 11*v + 16482. Let u(r) = -11*r**3 + 6*r**2 - 10*r - 16483. Let y(x) = 6*f(x) + 5*u(x). Is y(0) a composite number?
False
Let u(t) = -7040*t + 5. Let l be u(-1). Suppose l = -7*v - 795. Let x = v - -2883. Is x prime?
False
Let u(k) = -68*k - 19. Let n be (-12)/(0 - 3) - (0 + 0). Suppose 2*t - 5*b + 57 = 0, -n*t = t - 5*b + 105. Is u(t) a composite number?
False
Let z be ((-1041)/6)/((-2)/20). Suppose 13*u - 15*u = -h + z, -2*h = u - 3450. Is h composite?
True
Is ((25 - 12) + -11)*(-2606427)/(-18) a prime number?
True
Suppose -286*h + 114465176 = 106*h. Is h composite?
True
Suppose -3*h + 281*m - 286*m = -1847717, 0 = 4*h + 2*m - 2463604. Is h composite?
True
Let v be -2 + (-4 - (-4)/((-4)/62959)). Is (3 - 2 - 4)/(105/v) prime?
False
Suppose 2*k + 37 = 4*m - 3*k, 0 = 4*m - 4*k - 32. Let q(p) = 71*p**3 + 6*p**2 + 3*p - 7. Is q(m) prime?
True
Suppose -3748814 = -44*c + 6*c. Is c a composite number?
True
Suppose 5*o - 4*v = v + 285460, -3*v + 228347 = 4*o. Is o a prime number?
True
Suppose 239664 = -w - 15*w. Let m = w - -26834. Is m composite?
True
Let v = 555026 + -389373. Is v a composite number?
False
Suppose 19 = d + 18. Let i(m) = 6*m**2 + m. Let g be i(d). Suppose -g*n + 3*n = -9340. Is n composite?
True
Let w be ((-270)/(-12))/((-3)/(-4)). Suppose w = -10*d + 16*d. Suppose -d*h + 11921 = -2364. Is h a prime number?
True
Let k = -49 + 62. Let a be (2 - -1)/(-2 + 29/k). Suppose -v - 111 = -2*z, 3*z - a = 5*v + 136. Is z composite?
True
Let q be 34*-2 - (15 + -7 + -7). Is (q/(-69))/((-1)/(-2461)) a prime number?
False
Suppose 4*q - 4*a + 7750 = 95810, -4*q + 88069 = -a. Suppose 14*o - q + 1844 = 0. Is o composite?
True
Suppose -4*u = -4*n + n + 2316, 4*u = -n + 756. Suppose 0 = 5*h + 3*j - n, -3*h + 2*j + j + 456 = 0. Is h/7 + (-2)/(-14) a prime number?
False
Let q = 24990 - 8418. Suppose 0 = 7*j + 14151 + q. Let c = 8876 + j. Is c a composite number?
True
Let g = -138261 + 528080. Is g a composite number?
False
Suppose 13494 - 1186 = -4*y. Let n = 1113 + y. Let h = n + 2955. Is h prime?
True
Suppose -9*s = -3*s - 80826. Let v = -4216 + s. Is 7/(-3*(-5)/v) prime?
False
Let x(y) = -3000*y - 3559. Is x(-36) prime?
False
Suppose 2*p + 5*q = 156271, 4*p - 190223 = -q + 122310. Is p a prime number?
False
Suppose -20*h + 28 = -6*h. Suppose 1573 = -h*u - 1137. Let a = u + 2456. Is a a composite number?
True
Let a(y) be the first derivative of -14*y - 5*y**2 + 9*y - 10 + 9*y**2 + 33*y**2. Is a(8) composite?
False
Let j = 27724 + -19364. Let m = 12369 - j. Is m prime?
False
Is (3 - 6199734/(-21)) + 120/210 prime?
False
Let t = -1012 - -4031. Let p = t + -858. Is p prime?
True
Let t = 663 + -658. Is ((-4072)/(-8))/(-4 + t) prime?
True
Let t = -4861 - -7406. Suppose -h = 338 - t. Is h a composite number?
False
Suppose 0 = 14*y - 178317 - 212717. Suppose 5*h - 2*b - 11108 = y, 3*b + 6 = 0. Is h a prime number?
False
Let x(c) = 7*c + 8. Let h be x(0). Let f(m) = 971*m + 81. Is f(h) a prime number?
False
Let f(z) = 52*z**2 - 5*z + 599. Is f(-36) prime?
True
Suppose -12 = -2*u + 280. Suppose 3082 = -5*b - v + u, -4*v + 16 = 0. Let s = b + 2839. Is s prime?
True
Suppose -701482 = -9*k + 137831. Is k composite?
False
Let q(c) = -87*c**3 + 11*c**2 + 77*c + 6. Is q(-7) composite?
True
Let m = -17 - -31. Let t(k) = -25*k + 37*k**2 + 11 + m*k + 194*k**2 + 23*k. Is t(-4) prime?
True
Suppose -19*b + 456 = -23*b. Let f = -95 - b. Suppose 4*s + 14 = j, -5*s = -f + 9. Is j a prime number?
False
Let r be ((-16)/(-2))/(-2)*2/(-4). Suppose -r*t + 1412 = -2*k, 5*t + 2*k - 3611 = -74. Is t composite?
True
Let b(i) = -552*i - 11. Let k = 30 - 31. Is b(k) composite?
False
Suppose -i - 24861 = a - 151144, 252566 = 2*i - 4*a. Is i a composite number?
True
Let x(b) = 120*b**2 - 53*b + 150. Is x(35) composite?
True
Let j(t) = 6918*t - 407. Is j(32) a composite number?
True
Suppose 4 + 28 = 4*x. Suppose 7 = -v + x. Is (1 - 157*-9) + v a composite number?
True
Let q be (-13 + 4 - -1)*(-322 + -2). Let m be (4/(-6))/(3/q). Let a = -365 - m. Is a prime?
True
Is ((-2)/(-18))/((-2)/4) - (-17036460)/972 a prime number?
False
Let b = 653773 + -1665881. Is ((-2)/8)/(89/b) a prime number?
True
Let o(f) = -f**3 + 11*f**2 + 15*f - 5. Let z be o(11). Suppose -465 = -5*h - z. Suppose -d - h = -764. Is d composite?
True
Let f(j) = -9*j + 293*j - 162 + 103. Is f(15) prime?
True
Let h be (-412)/(-6)*(10 - 22). Let k be 1/(-5) - (-13654)/(-5). Let g = h - k. Is g a prime number?
True
Let y be (-3)/12 + (-10)/((-120)/567). Suppose -38*s - 1899 = -y*s. Is s a prime number?
True
Let i = 742 + -329. Is (5 + -4)*(i + -2) composite?
True
Is -5 + ((-92)/(-6)*4905/30 - -1) a composite number?
False
Let p(b) be the first derivative of b**4/4 + 2*b**3 - b**2 - 8*b - 24. Let l be p(-5). Is 6/l - 115/(-9) prime?
True
Suppose 0 = -138*f + 6365191 + 25225162 + 17862085. Is f a prime number?
False
Suppose -m + 4*m = -8634. Let i be 2/(-4)*m - (1 - -1). Suppose 4*s = -3*r + i, 5*s - 4*s - 1437 = -3*r. Is r prime?
True
Let r(q) = 99*q**3 + 9*q**2 - 15*q + 955. Is r(18) prime?
True
Let q(f) = -11*f**2 - 13*f - 12. Let v(t) = 21*t**2 + 23*t + 25. Let i(c) = 5*q(c) + 3*v(c). Let a = -5 - 2. Is i(a) a prime number?
True
Let b(v) = 3450*v + 55. Let s(l) = -10352*l - 164. Let a(r) = 11*b(r) + 4*s(r). Is a(-7) a prime number?
False
Let d = 72 - 67. Suppose g + g - 30609 = -5*t, 2*t = -d*g + 12252. Is t prime?
True
Suppose 37*v = 28*v + 161055. Suppose -8*t - 7*t + v = 0. Is t a composite number?
False
Let f(t) be the second derivative of 23*t**4/3 - t**3/2 + 5*t**2/2 - 26*t. Is f(-10) a prime number?
False
Let q(s) = -556*s - 61. Let p be (30/6)/(-2*(-1)/(-2)). Is q(p) prime?
True
Suppose 383*o + 2837094 = 461*o. Is o a composite number?
False
Let u(k) = -282*k**2 - 38*k - 7. Let g(s) = 281*s**2 + 39*s + 7. Let n(v) = -3*g(v) - 4*u(v). Is n(6) a prime number?
True
Suppose -3*f + 4*v - 301981 = 0, 3*f - 6*f + v - 301996 = 0. Is (-5)/(45/f) + 14/(-63) a composite number?
True
Let k = 1720 + -4671. Let c = k + 5164. Is c a composite number?
False
Suppose 4*r + 2*u - 58986 = 0, -r - 2632 = -u - 17374. Suppose 184*o - 6726 = 125*o. Suppose 117*m - r = o*m. Is m composite?
True
Suppose 0 = -34*m + 8*m + 679146. Let c = m - 14404. Is c a composite number?
False
Is 4 - ((-7)/4)/(976473/244116 - 4) prime?
False
Is 70548224/320*(-25)/(-10) a prime number?
False
Let b be ((-5 - 1776)/(-1))/1. Let h = 4858 - b. Is h a prime number?
False
Suppose 0 = 302*t - 283*t - 1275679. Is t prime?
True
Let j(y) = y**3 - 4*y**2 + y. Let v be j(4). Suppose -10 = -2*h - v. Suppose -5*t + 2071 = -2*p, 5*t - 2*p = -h*p + 2077. Is t a composite number?
True
Let v = -1137 + 35822. Suppose -429*y - v = -436*y. Is y prime?
False
Suppose 3*b = 10*a - 5*a - 13, -a = b - 9. Suppose 5*i - 4*d - 5020 = i, -5056 = -b*i - 5*d. Is i a composite number?
False
Let n(w) = 4*w + 56. Let u be n(-13). Is (73302/18)/(u/12) composite?
True
Suppose 6 = 3*n, 3*n - 6*n = -s + 577. Is s prime?
False
Let i = -23 - -27. Let q be 881/2 - (-6)/i. Suppose 5*n - 1075 = 4*w + w, 0 = 2*n - 5*w - q. Is n a composite number?
False
Let q = 127 - 130. Is (-4276 + (5 - 5) + q)*-1 prime?
False
Suppose 0 = 8*a - 10 - 30. Suppose a*w + 212555 = 5*y, 2*y + 2*w + 42513 = 3*y. Is y composite?
False
Let h = 41774 + -14355. Let v = h - 16392. Is v a prime number?
True
Suppose -2*y + 1592 = -3*m - 0*m, -y + 794 = -m. Suppose -y = -3*k + 386. Is -2 - (-3 + 4 - k) prime?
True
Suppose 0 = s - 3 + 1. Suppose 3*y - s*n = 2233, n - 624 = 2*y - 2113. Is y a composite number?
True
Suppose 430 = b + 2*m - 1290, -4*b + 6850 = 2*m. Let i(c) = 68*c**2 - 66*c + 297. L