652. Is j prime?
True
Let d(q) = q**2 - q. Let k be d(0). Suppose 2*f - o = 445, k = -f - 2*f - 4*o + 651. Suppose -f = 5*g - 6*g. Is g prime?
False
Let p(i) = 16*i - 41*i + 13*i + 13*i. Let a be p(4). Suppose 1964 = a*f + 2*m, 5*m + 77 = f - 414. Is f a composite number?
False
Let j(k) = 8239*k + 3814. Is j(73) prime?
True
Let z(p) be the second derivative of 28*p**4/3 - p**3/3 + p**2/2 - 83*p. Suppose -s + 3 = 1. Is z(s) a composite number?
True
Suppose -10666 = -10*u + 8*u. Suppose -h = -3*s - u, -3*h + 19743 - 3700 = 2*s. Is h a composite number?
True
Suppose 4 = -5*i - 4*s, 0 = 4*i - s - 2 + 1. Suppose i*f - 13*f = -39. Suppose 299 + 718 = f*o. Is o a prime number?
False
Suppose -40*o + 1073064 = -2385896. Is o composite?
True
Let w = 29026 + -6669. Is w a composite number?
True
Suppose 0 = -0*l + 176*l + 92*l - 196558436. Is l composite?
False
Let m be 72/(-33) - -2 - 81780/(-33). Let i = 3733 - m. Is i a composite number?
True
Let x = -236 + 246. Let n(d) = 11*d**2 + 3*d + 21. Is n(x) a prime number?
True
Let l(x) = -29*x + 26. Let w(d) = -15*d - 17*d + 0*d + 39 - 12*d. Let h(r) = 7*l(r) - 5*w(r). Is h(12) prime?
True
Let j be (-22)/(-55) + (-3368)/(-5). Let g = j + 394. Suppose -3*t - 189 = -g. Is t composite?
False
Let h = -226818 - -464021. Is h composite?
False
Let c be (848/6)/((-4)/(-294)). Suppose -3*q = 5*b - 7807, -2*q - 2*q + c = -4*b. Is q composite?
True
Let z = -430 - -432. Let c(p) be the third derivative of 7*p**5/6 + p**4/4 - p**3/2 - p**2. Is c(z) prime?
False
Is (-16 - 365640/(-22))*2/8 a prime number?
False
Suppose -3*y = f - 1, 12 = y - 0*f - 2*f. Suppose o + 459 = -y*k + 1512, -o - 4*k + 1045 = 0. Suppose -6*w + 22873 = -o. Is w a composite number?
False
Is (-266415)/4*904/(-678) prime?
False
Let j = -4182 + 15665. Is j prime?
True
Let s(g) = 200*g**3 + 4*g**2 - 24*g - 93. Is s(8) composite?
True
Let z(b) = -29*b + 1591. Let h(a) = 27*a - 1593. Let f(i) = -6*h(i) - 5*z(i). Is f(0) prime?
False
Suppose 4*y + 493640 = -4*u, -5*u + 0*u + y = 617050. Is 3/(-2)*u/105 prime?
False
Let c be (-10)/(-4)*88/10. Suppose c*w - 21*w - 3572 = -z, -z + 3576 = 5*w. Is z a composite number?
False
Is (264/(-3168))/((-2)/11758104) prime?
False
Let r be ((-95)/20 + 4)/((-1)/(-8)). Is 9236*((-9)/r + 5/(-4)) a prime number?
True
Suppose 0 = -31*m + 24*m + 14. Suppose m*v - 1607 = -3*u, -u - 6*v + 4*v = -541. Is u a prime number?
False
Let z be -3 + 2/7 + 356/28. Let d = -14 + z. Let i(f) = 89*f**2 - 6*f - 9. Is i(d) prime?
True
Let f(o) = 10*o**2 + 4*o + 6. Let v be f(-6). Suppose -5*b = 3*c - 1, 3*b - 44 + 49 = c. Suppose v = 4*y - c*n, 0 = 5*y + 3*n + 109 - 509. Is y a prime number?
True
Suppose -2*t = -3*b - 6*t - 5, b + 15 = -4*t. Suppose 0 = 2*m + b*d - 36, -3 = -3*m - 2*d + 29. Is (-1506)/(-4) + 4/m a prime number?
False
Let x be (-68)/51 - (-60295)/3. Suppose 3*q - 22422 = x. Is q composite?
False
Let n(q) = -q**3 - q**2 + q + 4. Let b be n(0). Suppose 47690 = b*t + 6*t. Suppose -i + t - 780 = 0. Is i composite?
False
Let c = 156539 - 66978. Is c a composite number?
False
Suppose -6*q = 38*q - 264. Is (445/q)/((-21)/(-126)) prime?
False
Let w be (4 - (3 + -1)) + 0. Suppose w*x = 5*y + 10, -3*y + x - 4*x = -15. Suppose -2490 = -5*h - 5*a, y = -3*h - h - 2*a + 1998. Is h a prime number?
False
Let b be (-1308685)/70 - 6/4. Let a = -12668 - b. Is a a composite number?
False
Let c = 97992 + -26873. Is c a composite number?
False
Let d be (-9)/6*(-772)/6. Let s be 170118/(-54) - (4/3)/(-4). Let u = d - s. Is u a composite number?
False
Let s = -109 - 13. Let x = s - -125. Is ((-367)/x)/((-4)/(3 - -21)) composite?
True
Let c(l) = 139*l**3 + 7*l**2 - 15*l - 8. Let q be c(6). Suppose q = 3*m - 4853. Is m composite?
False
Suppose d = 4*m - 334393, -m - 25*d = -24*d - 83602. Is m a prime number?
False
Let u = -169 + 166. Is (5 - 3336/18)/(u/9) composite?
False
Suppose 4*t - 3*c = 1028704, t - 41254 = 4*c + 215935. Is t a prime number?
False
Let b(c) = -c**2 - 6. Let y(k) = 1. Let f(o) = -b(o) - 6*y(o). Let t be f(-3). Let u(g) = g**3 - 7*g**2 + 10*g + 1. Is u(t) composite?
True
Let m = 8768465 - 6007042. Is m composite?
True
Let d(o) = o**2 - 4*o + 2. Let w be d(4). Suppose 0 = l - w*m - 1252, 2*l - 5*l + 3796 = 2*m. Is l composite?
True
Let s(p) = 628*p**3 + 3*p**2 + 44*p - 146. Is s(3) a composite number?
True
Let a(t) = 399*t**3 + 31*t**2 - 149*t - 14. Is a(5) a prime number?
True
Suppose -9*p - 95114 = -28*p. Suppose -91*q + 92*q - p = 0. Is q composite?
True
Let h be ((-4)/3)/(36/(-81)). Suppose -w + 5*s + 783 + 144 = 0, 0 = -h*w + 2*s + 2729. Is w a prime number?
True
Let r = 391275 + -17948. Is r a prime number?
True
Suppose -s = -5*h + 31207, -5*h = 4*s - 10666 - 20531. Is h prime?
False
Let x(o) = 403*o**3 + 10*o**2 - 37*o - 21. Is x(5) prime?
False
Let j(d) = -d**2 + 12*d + 18. Let l be j(13). Suppose -4*q = -w + 2772, w = -l*q + 2*q + 2751. Let t = -1673 + w. Is t prime?
True
Let f(p) = -143*p**3 + 3 - 2*p - 3*p**2 - 32*p**3 + 665*p**3. Is f(2) composite?
False
Let t(n) = 748*n - 7. Let y(w) = 374*w - 4. Suppose -4*j - 22 = -2*p, -2*p - 5*j = -0*j - 4. Let s(u) = p*y(u) - 3*t(u). Is s(3) a prime number?
False
Let t(g) = -2*g - 4 - 6 + 9. Let q be t(-4). Let x = q - -516. Is x prime?
True
Is -2731*((-4 - 8) + 11) a prime number?
True
Let r be (-6)/(-4)*12/18*18238. Suppose 0 = -15*t + 36347 + r. Is t composite?
True
Let h(a) = 507*a**3 - 7*a**2 + 3. Let w be h(-5). Is (w/(-55) - -9) + 3/5 composite?
True
Let n(v) = v**3 + 8*v**2 - v - 8. Let q be n(-8). Suppose q*z + 4 = z. Suppose 4*x = z*k + 488, 3*k - k = -3*x + 391. Is x prime?
True
Suppose 3*w + 182*s - 185*s = 9609, 4*w - s - 12812 = 0. Is w composite?
False
Let k(f) = 4379*f**3 - 19*f**2 + 30*f - 87. Is k(4) a composite number?
True
Suppose -2*y + 1089 = -5*r, -4*y - 5*r = -2*r - 2191. Let j = 2674 + y. Is j composite?
False
Suppose 483*g = 471*g + 2310348. Is g prime?
True
Suppose 173*d - 164*d = 318051. Is d a composite number?
False
Let i be (6026/3)/((-10)/(-15)). Let k be 0/(-2) + i + -21. Let b = 5055 - k. Is b a prime number?
True
Suppose 19*o - 7005 = 34*o. Let l = 482 - o. Is l a prime number?
False
Let t(o) = -1030*o - 75. Let p(q) = 1031*q + 71. Let y(r) = 4*p(r) + 5*t(r). Is y(-6) composite?
True
Suppose -t + 233111 = 2*m, 5*t - 9*t + m = -932453. Is t a composite number?
False
Let l = -18 - -20. Suppose s + l = 4. Suppose 0 = 4*x - 4, -s*y - 3*y - x = -2886. Is y a prime number?
True
Is (-38646107)/(-15) - ((-10)/25 + 192/360) composite?
False
Let m(x) = 1222*x**2 - 4*x - 8. Let g be m(-2). Suppose 37*j - 30825 = -g. Is j a composite number?
False
Is ((-7)/(-7) + 0)*(18394 - (1 - -2)) a composite number?
True
Suppose 5*w - 9*w - 3*d + 187 = 0, -5*d = 15. Suppose -54*f + 210962 = -w*f + 3*s, -3*f + 126576 = 3*s. Is f a prime number?
True
Suppose 0 = -3*u - 4*o + 799207, -5*u - 34*o + 39*o = -1332000. Is u composite?
False
Let g be (8 - 9) + (516*6)/2. Suppose g + 121 = 6*q. Is q prime?
False
Let m be (-944550)/(-105) + 69/21 + -3. Suppose -2*j + 8850 + m = 0. Is j a prime number?
True
Let c(f) = -3*f + 13. Suppose -7*l = -14 - 28. Let i be c(l). Let x(v) = -4*v**3 + 3*v**2 - 4*v - 8. Is x(i) prime?
True
Suppose 5*s - 9 = -3*z, 3*z - 2 - 7 = 2*s. Suppose z*n - 51 = -l, -2*n = l - 11 - 22. Is 2/3 - -731*102/n a composite number?
True
Let f = 12746 - -27513. Is f a composite number?
True
Suppose 3*r - o = 5 - 11, -3*r - 2*o - 6 = 0. Is -2 + 1143 + 0 + r composite?
True
Let g be (-110)/(-20) + (-2)/4. Let w(u) = 7*u**2 - u - 103. Let o be w(9). Suppose -n + 5*v - o = -6*n, -g*n + 439 = v. Is n composite?
True
Let x(s) = 2761*s**3 - 11*s**2 - 47*s + 47. Is x(5) a prime number?
False
Let j(i) = 2*i - 27. Let h(z) = 2*z - 26. Let b(n) = -3*h(n) + 2*j(n). Let g be b(-20). Let u = g + 1. Is u prime?
False
Suppose -13 = -5*t + 2*x, 0*t = -3*t - x + 10. Suppose 2*o = 2*m + 417 + 575, t*m - o + 1482 = 0. Let g = 1388 + m. Is g a composite number?
True
Let d be 0/((-6)/(-4) + (-2)/(-4)). Suppose 9*g - 47 + 11 = d. Suppose 0*s = -g*s + 10084. Is s a composite number?
False
Let g(y) = -y**3 + 12*y**2 + 26*y + 9. Let m = 51 - 46. Suppose 10*k - m*k = 65. Is g(k) composite?
True
Let a be (7 - (-8 - -11))*(-12313)/4. Is 8/12 - a/21 a prime number?
True
Suppose 0 = 3*t + j - 8