 number?
True
Suppose 336*m = 13*k + 331*m - 2280098, 2*k - 2*m - 350788 = 0. Is k prime?
True
Suppose 474 = -2*r + 4*r. Let b = r + 205. Suppose i + k - 224 = 0, -2*k + b = 2*i + 3*k. Is i a composite number?
True
Suppose -33*k + 896125 = 42*k - 549950. Is k a composite number?
True
Is 1/17*2 - (-8 + 60503641/(-187)) a composite number?
True
Let m(r) = 3*r**3 + 3*r**2 - 28*r + 6. Let v be m(-13). Is (v/(-4))/((-1)/(-2) + 0) a prime number?
True
Let x be (-5*24/(-15))/((-1)/2). Let f be 0/(-2)*x/32. Suppose -4*c + m + 5444 = f, -4*m + 644 = -c + 2005. Is c a prime number?
True
Let n(y) be the first derivative of 3944*y**3/3 - y + 54. Is n(-1) a composite number?
False
Suppose -10*x - 3*o = -11*x + 56450, -o = -x + 56440. Is x a prime number?
False
Is (3 - (-406422)/45)*5 prime?
False
Let h(a) = -5228*a + 1401. Is h(-31) a prime number?
True
Let c(x) = 5819*x**2 - 36*x + 29. Is c(-4) a composite number?
True
Suppose 5*q + 0*j = -2*j + 12, -5*j - 20 = 0. Suppose -211398 = -150*b - 52548. Suppose -5*w + 1201 = -4*k - 4070, -q*k + b = w. Is w a composite number?
True
Is (-180042)/(-15) - (21/(-5) + 4)*1 composite?
True
Suppose 58*x = -2*h + 61*x + 49070, 0 = -2*h - 5*x + 49086. Is h composite?
True
Let x be (-9)/63 + 29/7. Suppose -8 = 2*c, r + x*c + c = -20. Suppose r = s - 66 - 67. Is s a composite number?
True
Let g(v) be the third derivative of v**6/60 + v**5/6 + v**4/3 + v**3/2 + 18*v**2. Let l be g(-4). Suppose 216 = -l*j + 777. Is j composite?
True
Suppose 13*z = 516332 + 723095 + 198490. Is z a prime number?
True
Suppose -4*d + 118 + 70 = 0. Suppose 674 = d*v - 45*v. Is v a composite number?
False
Let j(u) = 6294*u**2 + 215*u + 77. Is j(12) prime?
True
Let x(r) = -r**3 + r**2 - 8*r + 7. Let c be x(6). Suppose 4*i - w - 3689 = 0, -2*w + 2764 = 4*i - i. Let o = c + i. Is o prime?
True
Let m(s) = 5 - 3 + s**3 + 0 - 1 - 6*s**2. Let j be m(6). Is (-1)/4*j - 12033/(-36) prime?
False
Let g(p) be the third derivative of 0*p**5 + 0 + 0*p - 19/6*p**3 + 1/120*p**6 + 13*p**2 + 5/24*p**4. Is g(7) prime?
True
Suppose 9*l = 4*l + 20. Let t be 26/1 - (-4 + l)/(-4). Is 2146 + ((-5)/20 - t/(-8)) a prime number?
False
Let a(o) = -3*o**2 + 7*o - 19. Let t be a(3). Let g be (-6280)/t - 3/15. Let i = 428 - g. Is i a prime number?
False
Suppose -44*c + 49*c = x - 1512, c = x - 1504. Is x prime?
False
Let q(f) = -62*f - 212. Let h be q(-18). Suppose 7*d + h = 5013. Is d prime?
True
Let h(b) = 1269*b**2 - 893*b + 1. Is h(12) a prime number?
True
Suppose 9*r - 5680 = 4*r. Let o = 3039 - r. Is o a prime number?
False
Is 543900 - (826/4956)/((-106)/108 - -1) composite?
True
Suppose 47 = b + 45. Suppose g - 5*g = 2*m - 7038, -b*m = 5*g - 7034. Is m a composite number?
False
Suppose 3*t + 115 = 2*f, 5*t = -2*f + 17 + 122. Let v = f + -60. Suppose -2975 = -4*p + v*k - 201, -5*p - 3*k = -3473. Is p a prime number?
False
Let z be 24/2*108/8. Suppose 2*w = 4*p + z, -5 = -w + 4*p + 74. Is w a prime number?
True
Let a = 80 + -74. Suppose 3*f = t - 413, 2*t + 7*f - 840 = a*f. Is t a composite number?
False
Suppose 3*x - 118 = 2*x. Suppose -x = -0*i - i. Let g = i - 63. Is g a prime number?
False
Suppose -3*d + d = -4, -5*a + 59 = -3*d. Let i be (4 + 2)*3/(-6) + a. Suppose i*w - 6882 = 1428. Is w composite?
True
Suppose 0*j + 6 = 2*j. Suppose -4*l + 2056 = -j*l - 3*a, 2*a = -2. Is l a prime number?
True
Let u be (-8)/(-28) + (-26)/(-7) + 0. Suppose 4*d = -u, -1042 - 488 = -h - d. Is h a composite number?
False
Let k(l) = 78*l**2 + 143*l + 2751. Is k(-20) a composite number?
False
Let x be (0 - -3)/(-4 + 55/15). Let z be x*1 - 0/(-4). Let y(d) = d**2 - 3*d + 1. Is y(z) a composite number?
False
Suppose 549*k + 21479882 = 631*k - 37469508. Is k prime?
False
Let a = 333606 + -64387. Is a a composite number?
False
Let y(a) = -3*a**3 + 3*a**2 - 6*a - 17. Let w(r) = -5*r**3 + 5*r**2 - 9*r - 26. Let f(z) = 5*w(z) - 8*y(z). Let n be f(-6). Let x = n - 53. Is x prime?
False
Suppose 2*h + 98 - 202 = 0. Suppose 53*m = h*m + 2153. Is m prime?
True
Let s(v) = -172286*v + 1721. Is s(-3) prime?
True
Let z = -3955 + 3955. Suppose y - 2694 = -3*q + 3*y, 4*q - 3592 = -4*y. Suppose z = -u - u + q. Is u a prime number?
True
Let w = -520883 - -874440. Is w prime?
True
Let c be (-672)/10*(-870)/12. Suppose 3*o + 9*z - 8*z = 7312, -c = -2*o + 2*z. Is o a prime number?
True
Is 0 + 142/(-426) + 2373056/6 a prime number?
True
Suppose -23*b = -13*b - 130. Suppose b*d = -8*d + 57162. Is d composite?
True
Suppose 0 = -16*q + 48764 + 8452. Suppose 29*i = 5*i + q. Is i a composite number?
False
Suppose -3*o - 29 + 31 = 4*x, o + 2*x - 4 = 0. Is 4 - ((-910308)/44 + o/33) composite?
False
Let r(x) = -7*x + 23 - x**3 - 4 + 25*x**2 + x + 10. Is r(14) a prime number?
False
Suppose 2*n - 177308 = -74*n. Is n prime?
True
Let h(k) be the second derivative of -k**5/10 + 9*k**4/4 + 13*k**3/6 + 11*k**2/2 - 9*k + 2. Let v be h(14). Is (-447)/v*(-15)/(0 - 5) a prime number?
False
Let n(s) = -7 - 24*s - 22*s - 84*s. Let t be n(-5). Suppose 0 = w + 4*m - 0*m - 633, -m = -w + t. Is w prime?
True
Suppose -125735 = -88*i + 83*i. Is i a composite number?
False
Let s = 379611 + -266194. Is s a composite number?
False
Let g be 40/4 + -11 - (0 + -874). Suppose 5*v - 2*i = 3100, 4*v + 5*i + 461 = 2974. Let q = g - v. Is q a prime number?
True
Let i(u) = -u**2 - 3*u + 8. Let o be i(0). Suppose -5*q = -j + 62, -q - 2*j = -0*q + o. Is ((-11192)/q)/(10/15) a composite number?
False
Let r(z) = -371*z + 20. Let m be r(-5). Suppose u + 2*u = -m. Let l = 1604 + u. Is l a prime number?
False
Let c(i) = 188*i**2 - 5*i + 2. Let v(d) = -189*d**2 + 6*d - 2. Let o(r) = 5*c(r) + 4*v(r). Let t = -3221 + 3222. Is o(t) prime?
False
Let m(b) = b**3 - 133*b**2 - 203*b - 473. Is m(138) a composite number?
False
Suppose 5*x + 58 = k, -k - 43 = 5*x + 3*k. Let i(a) = a**2 + 9*a - 11. Let n be i(x). Suppose -7*c = -n*c + 13556. Is c composite?
False
Let g = -2150 + 3627. Is g composite?
True
Let j = 79 + -76. Let q be 79/j + (-26)/78. Suppose q*p = 22*p + 17668. Is p a composite number?
True
Suppose -2544 = -v + 5*v. Suppose -o = -2*o + 1. Is (30/9)/o*v/(-8) a composite number?
True
Suppose -5*s + 5 = -2*w, 0*w + 3*s - 35 = -2*w. Let c(x) = -181*x + 55. Let j be c(w). Let a = 3512 + j. Is a a composite number?
True
Suppose 5*b - 71723 = -3*u, 2*b - 7*u + 10*u - 28682 = 0. Suppose -5*d - b + 52372 = 5*o, -5*d = o - 38017. Is d composite?
False
Is (-30)/(-255) - 1831066/(-34) a prime number?
False
Suppose y - 2*t + 8 = 0, 0 = y + t - 4 - 3. Let q(b) = -4*b + 3*b - y*b + 2*b + 293. Is q(0) prime?
True
Suppose -3*m - 4*y + 10 = -12, -2*m - y + 23 = 0. Let o be (1 + -2)/(m/(-42)). Suppose 0 = 4*n - 4, 1917 + 5039 = o*s + 5*n. Is s prime?
False
Let h = -30276 - -134485. Is h composite?
True
Let d = -53 + 56. Suppose -33 = -n - 4*n - d*w, n - w = 5. Is -3 - n/(-9)*24 a composite number?
False
Let m = -4847 + 6905. Suppose 5496 = 6*b - m. Is b composite?
False
Is (1*3)/((-19719929)/(-7887926) + (-40)/16) composite?
True
Let h be 3/(-8) - 2175999/(-168). Suppose h = 4*j - 4*d, 4*j - 5*j + 3223 = 4*d. Is j prime?
False
Let z = 284 + -279. Suppose -5*c = -z*r - 3*c + 21000, 3*c + 15 = 0. Is r prime?
False
Let j = 267294 + 775151. Is j a prime number?
False
Suppose -3*a + 4*s = -131509 + 1356, -15 = -3*s. Is a composite?
False
Is (-7)/(-3) - 400/(-9)*(-39)/(-2) a prime number?
False
Let a(m) = 1 + m**2 + 2*m + 128*m**2 - 4*m - 4 + 0. Is a(4) prime?
True
Let k = -110 - -95. Let q be k*(61 + (4 - 7)). Let j = 1433 + q. Is j prime?
True
Let z(j) = -2759*j + 180. Let b be z(-9). Suppose -20*i = i - b. Is i a composite number?
True
Is (-2117685)/(-5)*((-8)/6 + (-195)/(-117)) a composite number?
False
Let l = -1054 + 1539. Suppose -17*c + l = -518. Is c composite?
False
Let d = -7 + 13. Let z be d/14 + 238821/77. Suppose 0 = 10*u - 428 - z. Is u a composite number?
False
Let x(s) = -7*s**3 + 5*s**2 + 4*s + 67. Let c be x(-7). Suppose 59*r + c = 74*r. Is r a composite number?
False
Suppose 4*v - 218 + 206 = 0. Suppose 0 = -5*f + 20, -52*f = -v*k - 56*f + 937. Is k composite?
False
Let q = 458 - 454. Suppose l = -5*d + 147, -l + 479 = 2*l - q*d. Is l composite?
False
Suppose -47828013 - 44126838 = -354*t + 34298187. Is t a prime number?
True
Let w = -20319 + 43718. Is w