omposite number?
True
Suppose -20*z + 9*z = -22. Suppose -5*u - 4*t + 6275 = 0, 0 = 4*u + 3*t - z*t - 5031. Is u composite?
False
Let l = 55 - -25. Let h = 80 - l. Suppose 4*j + 1966 = 2*r - h*r, -4 = -j. Is r a composite number?
False
Let y be ((-66)/9)/((-52)/12 + 5). Is 15847 - -3 - (-6 - y) prime?
False
Let q(a) = -a**3 + 5*a**2 + a + 7. Let x be q(5). Suppose -4*g - x = z, 4*z = 3*g + 2*g - 6. Is 1155 - (5 + 1 + g) composite?
False
Let s = 232834 + -111431. Is s composite?
False
Let b = 33 + -59. Let x be (-74)/b - 10/(-65). Suppose 456 = -x*o + 1443. Is o prime?
False
Suppose -7760730 = 313*o - 11203218 - 10522633. Is o a prime number?
True
Let k be 861/77 - (-2)/(-11). Suppose -k*u - 3103 = -11584. Is u a prime number?
False
Suppose 8*j - 35 = -11. Let p(a) = 18*a**3 + 17*a - 7*a**3 + 21 - 10*a**j - 19*a**2. Is p(22) a composite number?
False
Let i(y) = -5*y + 34. Let h(n) = 4*n + 7. Let f be h(-7). Let j = f - 0. Is i(j) composite?
False
Let k be (-2)/(-4) - (-798)/76. Suppose 7*t - k*t - u = -44839, u - 3 = 0. Is t prime?
False
Suppose -119*l + 3354293 + 13250610 = 0. Is l composite?
False
Let k(b) = -55*b - 9. Let h(t) be the third derivative of t**6/120 - 2*t**5/15 - 11*t**4/24 + 7*t**3/3 + 19*t**2. Let s be h(9). Is k(s) a prime number?
True
Let y(b) = -2*b**2 - 26*b + 2. Let w be y(-13). Let k be (-21)/126 - w/(-12). Suppose -3*p - p + 2524 = k. Is p a prime number?
True
Let k(b) = -3453*b**3 + 7*b**2 - 83*b - 9. Is k(-5) a prime number?
False
Let c(m) = m**2 - 22*m - 7. Let j be c(19). Let s = j + 65. Is (-1575 + s)*(-2)/((-28)/(-7)) a prime number?
True
Suppose 183*u + 6*z = 182*u + 241637, 2*u + 3*z = 483202. Is u a composite number?
False
Let d(j) be the first derivative of -334*j**2 - 114*j - 203. Is d(-7) composite?
True
Let v be (110804/16 - 2)/(9/24). Let u = -9353 + v. Is u a composite number?
False
Suppose 2*q = 25 - 29. Let s be 1 + (1 + 0)*q. Is 1/((-650)/(-649) + s/1) a prime number?
False
Suppose 174*n - 266604338 = -3*n - 109*n. Is n composite?
True
Is ((-12806)/(-16))/((-3)/(-24)) a prime number?
False
Suppose -18*q = -19*q + 16. Let y be -3 + q/4 - 1. Suppose y = -2*a - 8, -f = 2*a + a - 785. Is f prime?
True
Suppose -158393 + 408946 = 2*j - 281753. Is j prime?
True
Suppose x = 4*h - 548, -4*x - h = -495 + 2755. Let c = x + 832. Suppose -3*a + c = -203. Is a composite?
False
Is (-7)/((-21)/(-6))*78038/(-4) a prime number?
True
Let d = -152675 - -295294. Is d composite?
False
Let u(y) = 112*y**2 - 59*y - 465. Is u(-14) composite?
True
Let o be (14/(-6) - (-8)/(-12))*1. Let x = o + 7. Is (93/(-15) - -5)/(x/(-110)) prime?
False
Let i = 9962 - -93489. Is i a composite number?
False
Is 153/357 - 163472/(-14) prime?
True
Let b(u) be the third derivative of 131*u**5/60 + 5*u**4/12 - 7*u**3/6 - 54*u**2 + 2*u. Is b(4) a composite number?
False
Suppose -3*o + 178548 = 3*s, -154482 = -2*s - 4*o - 35464. Is s composite?
True
Let d = 39 - 86. Let n = d - 71. Let a = n - -183. Is a composite?
True
Suppose 3311 = -31*j + 24*j. Is 86/j - ((-23733)/(-11))/(-3) a composite number?
False
Suppose 201 = -2*d - w, -d + 2*w - 126 = -13. Let z = d - -294. Is z prime?
True
Let h(t) = -4*t + 6. Let m(y) = 23*y - 35. Let j(n) = 34*h(n) + 6*m(n). Let g be j(4). Suppose g*v = 4*f + 4434, v + 2*f + 4430 = 3*v. Is v a composite number?
False
Let h(s) = 189*s**2 + s + 5. Let n be h(-6). Suppose 7*x - 7638 = n. Is x a composite number?
False
Let k(d) be the third derivative of d**6/60 - d**5/60 - d**4/8 + 5*d**3/6 - 21*d**2. Let z be k(3). Suppose 0 = -45*i + z*i + 808. Is i prime?
False
Suppose 2 = 11*u + 2. Suppose -3*n = -2*n - 5, u = -2*m + 4*n - 10. Suppose 5*q = 4*g - 2357, 0 = -m*g + q + 736 + 2226. Is g a prime number?
True
Let d(s) = -867142*s**3 + s**2 + 117*s + 117. Is d(-1) prime?
True
Let d(a) = 22*a**2 + 2*a + 1159577. Is d(0) prime?
True
Let b = -29 - -31. Suppose 2*k + 3*l = 37, 0 = -2*k - b*l + l + 27. Suppose -12 = -3*j, z - 166 = -5*j + k. Is z a prime number?
True
Suppose 2*f = 5*v - 29, 7*v - 12*v + 33 = -4*f. Suppose o - 11 = v*i + 3*o, 12 = 3*i - 5*o. Is i + (-2)/(-8) + 9546/24 composite?
False
Suppose o - 18745 = -4*o + 5*f, -4*o - 2*f + 15026 = 0. Suppose -o = 9*z - 20935. Is z a composite number?
True
Let s be ((-5)/10 + 0)*(1 + -11). Suppose -s*l + l + 2*q = -4236, l - 1073 = -3*q. Is l a prime number?
True
Let y(x) be the third derivative of 1/2*x**3 - 1/24*x**4 - 7/60*x**5 + 1/120*x**6 + 0 + 3*x**2 + 0*x. Is y(8) composite?
False
Let p(t) = 544 - 296 - 279 - 17*t + 7*t**2. Is p(20) a prime number?
False
Let u(r) = r**3 - 3*r**2 - 12*r + 5. Let n be u(5). Let b be 807/6*(21 + n). Let y = b - 1073. Is y a composite number?
True
Let d(b) = -31*b + 183. Let k(j) = -9*j**3 + j**2 - 2. Let w be k(1). Is d(w) composite?
True
Is 8658 - 3/(2 + 5/(-105)*33) a composite number?
True
Let c = 326407 + -25850. Is c prime?
True
Let c be (-24)/36 + (-11)/(-3). Suppose 3*b + c = 0, -3*u = -0*u + 5*b - 1. Suppose u*j + 31 = 3*j. Is j prime?
True
Suppose -94 = -9*q - 490. Let x = 50 + q. Suppose o + z = x, 12 = o + 2*z + z. Is o prime?
True
Let f be (-34)/(-6) - 2/(-6). Suppose -f*y + 13 = -11. Suppose -7*a + 2817 = -y*a. Is a prime?
False
Let t(w) = 309*w**2 + 26*w + 191. Is t(-16) composite?
True
Suppose 11*f = 496 + 4960. Is 5 + f*81/18 a prime number?
True
Suppose 3*j + 2*g = -5, 3*j + 21 - 6 = 3*g. Is j + (4 - -4)*13852/8 prime?
False
Suppose 3*d - 5*c - 16219 = 0, -2*d - 5*c + c = -10798. Suppose 4*k = -2*n + 13512, 2*k = 2*n + 1359 + d. Is k a composite number?
True
Let d(o) = 68*o**3 - 19*o**2 - o + 47. Is d(10) composite?
False
Let j(q) = -170*q**2 + 2*q + 10. Let l be j(-8). Let g be -3845 + (40/(-25))/4*-10. Let m = g - l. Is m a composite number?
True
Let p(g) = -g**3 - 10*g**2 - 5*g + 4. Let d be p(-10). Let f = d - -53. Suppose -f + 553 = 2*i. Is i a prime number?
True
Let u be (2 - 0) + 5 + -3. Suppose -5*h + 10817 = -4*l, 2*l - 5*l - 8653 = -u*h. Is h composite?
False
Let x be (8/5)/(16/120). Is (15/(-6))/(x/(-66936)) composite?
True
Let f(d) = 10520*d - 1611. Is f(8) prime?
True
Suppose 224*j - 260*j + 1483452 = 0. Is j a composite number?
True
Let v(w) = 5*w**2 + 13*w - 33. Suppose 0 = -0*u + 5*u + 110. Is v(u) prime?
False
Let q(z) = 42*z**3 - 13*z**2 - 26*z - 9. Let i(a) = -28*a**3 + 9*a**2 + 17*a + 6. Let y(h) = 8*i(h) + 5*q(h). Let c be 8/(-4) + 0/1. Is y(c) composite?
False
Let d(j) = 67910*j**2 - 115*j + 114. Is d(1) a prime number?
False
Let n be 31615/6 + 25/(-150). Let g = n - 2202. Is g a composite number?
False
Let m(q) = -52 - 14*q + 13*q + 102. Let p be m(14). Let v = p + -3. Is v prime?
False
Let k = 516 + -511. Suppose -56*v + 52*v - i + 35697 = 0, 44590 = k*v - 5*i. Is v composite?
False
Let c = -178605 - -462652. Is c a composite number?
True
Suppose -100*a + 200 = -96*a. Is 476866/20 + (-15)/a*1 a prime number?
False
Let n(l) = -4 - 66*l + 23*l + 10. Let s be n(-2). Let p = s - -37. Is p prime?
False
Let j(c) = 6*c + 10. Let b be j(0). Suppose 6*r + b - 58 = 0. Is 4/(24/16877) + r/48 prime?
False
Suppose 4*x = -x - 4*g + 16824, -2*x + 6716 = 5*g. Let v = 5521 - x. Suppose 0 = -7*l - v + 11680. Is l composite?
False
Suppose -22*o + 8658 + 5048 = 0. Is o a composite number?
True
Let c(w) = 10*w**2 - 13*w - 51. Let s be c(-15). Let o = s + -527. Is o a composite number?
False
Let t = 639 - 631. Is 0 + 1257 + (-7)/(14/t) a prime number?
False
Let c = -64171 + 5485. Is 6/27 - c/54 composite?
False
Suppose 51*y - 1446979 - 537074 = 0. Is y prime?
True
Let u(a) = 671*a**2 - 56*a - 93. Is u(20) a prime number?
True
Suppose 8*q + 9 - 113 = 0. Let b(y) = 2*y**3 - 2*y**2 - 3*y - 28. Is b(q) a prime number?
True
Suppose -3*k + 2844266 = 20*k + 232777. Is k a composite number?
True
Let c(o) = 28*o**2 - 10*o + 20. Let h = 14 + -26. Let t be c(h). Let m = 5881 - t. Is m a prime number?
True
Suppose -5*z - 390422 - 791468 = -5*h, 3*h = -z + 709134. Is h composite?
True
Let i be (21 + -16 - (-6)/(-4))*78. Is (-6)/14 + 2293863/i a prime number?
False
Suppose 4*g + 365922 = 9*g + 124067. Is g composite?
False
Let i(f) be the second derivative of 127*f**4/12 + 2*f**3 + 51*f**2/2 + 4*f + 12. Is i(-10) prime?
False
Let v be -4 - (2 - 6*-1). Let t be -1*(v - (2 - 6)). Suppose 5*p - t - 737 = 0. Is p prime?
True
Suppose