 + 640. Suppose -3*d - r + 76103 = y, 11*r + 50740 = 2*d + 14*r. Is d prime?
True
Suppose 3*f + 3*u - 28554 = 0, 0 = -7*f + 3*f + u + 38052. Suppose 55*h = 53*h + f. Is h a composite number?
True
Suppose -20*t - 12*t + 6607436 = 12*t. Is t a prime number?
True
Let r = 770070 + -339909. Is r a prime number?
False
Let p = -48 + 49. Let f be 8*((-1325)/20)/p. Let u = f + 997. Is u composite?
False
Suppose 36 = u + 2*u. Let w(p) = 6*p + 2035*p**2 - 3 + 9*p + 2036*p**2 - 4067*p**2. Is w(u) a prime number?
False
Let x(w) be the first derivative of -19*w**5/20 - w**4/6 + 2*w**3/3 + 6*w**2 - 20*w - 5. Let c(y) be the first derivative of x(y). Is c(-5) composite?
True
Is (-383938)/(-12)*(-3 + 9) a composite number?
False
Let p(a) = a**3 - a**2 + 5*a - 1. Let u(t) = -t**2 - 5*t - 4. Let o be u(-4). Suppose o = -5*i - 7 + 37. Is p(i) a composite number?
True
Let o = -1817518 + 2728079. Is o a prime number?
True
Let c = -83762 - -280909. Is c composite?
False
Let c = 465 + -450. Suppose 14*b = c*b - 4909. Is b prime?
True
Let m(c) = -9*c + 30. Let b(d) = 10*d - 31. Let w(o) = -3*b(o) - 4*m(o). Let f be w(5). Suppose i + f*l - 353 = 51, -5*i + 2034 = l. Is i composite?
True
Let a = 0 + 9. Let d(j) = j**2 - j - 4. Let b be d(a). Let l = b - -21. Is l a composite number?
False
Let t(x) = -73*x + 28. Let z be 5*(40/(-25))/2. Let o be 53/z - 5/(-20). Is t(o) a composite number?
False
Is 24 + (-288)/8 - (-114576 - 2) a composite number?
True
Let h(l) = 3794*l**3 + 7*l**2 + 322*l - 1626. Is h(5) composite?
True
Let n be ((-6)/5)/((-81)/(-8640)). Let t = n + 217. Is t a prime number?
True
Let h(v) = 37*v**3 - 20*v**2 + 28*v - 41. Is h(18) a prime number?
True
Let h(c) = -c**3 - 93*c**2 + 155*c + 275. Is h(-102) a composite number?
False
Let v = 1944000 + -1349641. Is v composite?
False
Let j(n) = -499*n**3 + 10*n**2 + 8*n + 2. Let a(s) = 497*s**3 - 10*s**2 - 7*s - 3. Let r(q) = -3*a(q) - 2*j(q). Is r(-2) a prime number?
False
Suppose -28*q + 82184637 = 14*q + 45*q. Is q prime?
True
Let z(f) = 0 + 12*f + 89*f**2 - 51*f**2 - 2. Is z(6) prime?
False
Suppose -338*f - 1896381 = -347*f. Is f a prime number?
True
Suppose 0 = 2*n + 7*m - 10*m + 2519, -4*n - 3*m = 5011. Is (n/(-2))/(290/232) prime?
False
Let x(r) = -5*r + 16. Let c be x(5). Let k be (12/c)/(-2)*186. Is -9*(k/(-6))/2 a composite number?
True
Let n(f) = -243*f**3 + 16*f**2 + 7*f - 9. Let y be n(-7). Suppose -6*o + 22305 = -y. Suppose 6*k - o = -1788. Is k prime?
True
Suppose 9 = 39*y - 36*y. Suppose -k + 990 = -2*s, -y*s - 1 = 11. Suppose 0 = x + x - 2*n - 1928, -x - 5*n + k = 0. Is x prime?
True
Let d(o) = -43*o - o**2 + 6 + 48*o + 4*o**2. Let l be d(-2). Let u(x) = 37*x - 1. Is u(l) composite?
True
Suppose 10*b - 12*b + 4 = 0. Let t be b + (1 - -2 - 0). Suppose -4*a = -t*a + 523. Is a composite?
False
Let g be (-1)/(-2) + (-5 - 27/(-6)). Suppose 5*p + 5*b - 1010 = g, 4*b - 595 = -3*p + 8. Is p prime?
False
Let k = 2101 - 2102. Let r(f) = 0*f - 31*f**2 - f + 191*f**2 - 2. Is r(k) prime?
False
Let n be -5 + (-12)/(-16)*4. Let t(g) = -5432*g - 13. Is t(n) composite?
True
Is (-3 + 606714/24)/(9/36) composite?
False
Suppose 83*s + 432456 = 2221513 + 1406526. Is s a composite number?
False
Let m = 354 + -352. Suppose 14566 = m*q - o, 3*o + 32782 = 3*q + 10933. Is q a composite number?
False
Suppose 1559736 = -12*u + 4910964. Is u a composite number?
False
Is -90494*(-9*(-11)/165 - (-61)/(-10)) a composite number?
True
Let g be (4*30/72)/(2/(-12)). Is -6 - (80/g + -35895) prime?
True
Suppose -5*k - 38 = -0*k - 4*i, 0 = 3*k + 3*i + 12. Let y be k/(-4)*(-868)/(-6). Suppose -h - 4*s + y = 0, -2*h = -2*s + 5*s - 439. Is h a prime number?
False
Let g be (-44)/(2/6 + (-20)/24). Suppose 81*o = g*o - 24031. Is o composite?
False
Let b = 155 - 41. Suppose -t = 5*j - b - 268, 3*t - 1107 = -2*j. Is t prime?
True
Let m = 28 - 21. Let o(n) = 22*n**2 - 6*n**2 - 16 - 5*n**2 + m*n - 10*n**2. Is o(6) prime?
False
Let n(l) = -l**3 - 6*l**2 - l - 5. Let y be n(-6). Let i be (-4)/(-4) - 1 - (y - 5). Is (-2 - (-348)/15)*(1 + i) a prime number?
False
Let z be 10*8/20 - -5*1. Suppose 0 = -z*c + 2711 + 42478. Is c composite?
False
Let p = 12360 + -3565. Suppose 4*s + p = 5*b, 5*b - 5*s + 0*s = 8795. Is b prime?
True
Suppose d - 122044 = 5*z, 2*z - 69590 = -3*d + 296627. Is d a composite number?
False
Let z be (-8)/(-108)*-3 - 29608/9. Let n = z - -1870. Let v = n + 2051. Is v prime?
True
Let f(o) = 14 + 6 - 26 - 2*o. Let i be f(-1). Is (i + 6)*(-2 - 24027/(-6)) composite?
True
Suppose 0 = -3*y + j + 440931, 3*y = 6*j + 97598 + 343333. Is y composite?
False
Suppose -5*x = -4*x - 1351. Let h = x - 605. Suppose -8*j = -6*j - h. Is j a composite number?
False
Let u(s) be the second derivative of s**4/6 + 7*s**3/3 - 9*s**2/2 - 9*s. Let w be u(-9). Suppose -w = -3*d + 66. Is d composite?
False
Let d be (0 - 1)*(-12 + 214)*1. Is (1717/d)/(1/(-122)) a prime number?
False
Suppose 2*t - 18 - 11 = j, -2*t - 2*j + 38 = 0. Let v(k) = -t - 3 - 1918*k + 4. Is v(-2) a composite number?
False
Let t = 309 - 307. Suppose 10270 + 10639 = 5*k - t*n, 0 = -4*k + 4*n + 16720. Is k a composite number?
True
Let g(x) be the third derivative of -x**6/120 - 17*x**5/60 - 37*x**4/24 + x**3/6 - 3*x**2 + 3*x. Is g(-18) a prime number?
True
Let q be (-168)/(-60) + 5/25. Suppose h = -q*h - 4*j + 88928, 4*j + 44446 = 2*h. Is h prime?
True
Let f(j) = -j**3 + 7*j**2 - 7*j + 4. Let y be f(6). Let x be (y/(-6) + -1)*3. Let c(m) = -49*m**3 - 4*m**2 - 2*m + 1. Is c(x) composite?
True
Suppose -5 = -6*l + 9*l + 5*u, 4*u + 4 = -2*l. Suppose 5*v - 5036 - 18759 = l. Is v composite?
False
Suppose -3 = -m - 36. Let n = 35 + m. Suppose 4*l - n*y - 242 = 1114, 2*l = -y + 686. Is l prime?
False
Suppose 4*p - 4091 = 3*v - 391, 3668 = -3*v - 4*p. Let t = v + 3935. Is t a composite number?
False
Is 19 + 3799/(-203) + (-891581)/(-7) prime?
False
Is (162/36)/(3/(-2))*70198/(-6) a composite number?
False
Let a = 2119 - 5589. Let l = 6103 + a. Is l a prime number?
True
Let q(l) = 4*l**2 - 4*l - 2. Let f be q(2). Suppose f*x - 10*x = -8. Is (2 + -1336)*(-1)/x a prime number?
False
Let q = -5326 + 14703. Is q a composite number?
False
Suppose -2*j = -5*s - 3*j + 545, -5*j = -5*s + 545. Suppose 5*x - 509 = 2*c, -4*x + 3*x + s = 2*c. Is x a composite number?
False
Let j = -30 - -27. Let b be (-5)/j - 5/(-15). Suppose 0*a + 1734 = b*u - 4*a, 892 = u + 3*a. Is u a prime number?
True
Let n(g) = 11*g - 60. Let q be n(6). Suppose 26135 = q*s - 859. Is s a composite number?
True
Suppose -4*h + 12 = -2*o, 3*o + 0*h + 2 = 2*h. Suppose -o*k + 3257 = 5*f - 17177, -3*k + 30633 = 3*f. Is k composite?
True
Let o be 1513 + (1 - 8/4). Suppose 2*m + 6*m - o = 0. Let s = m + 2. Is s prime?
True
Let s(p) = -p**3 + 10*p**2 - 10*p + 20. Let d be s(7). Is d*((-80)/15 - -5)*-201 a prime number?
False
Is 760094/6 + -17 + 1484/84 a prime number?
True
Suppose -n + 296286 = -5*s, 23*n = 22*n - 3*s + 296294. Is n a prime number?
False
Let k(h) be the first derivative of -3*h**5/4 + h**4/4 + 2*h**3/3 - 3*h**2/2 + 5*h - 1. Let n(s) be the first derivative of k(s). Is n(-7) prime?
True
Let t be 13788/(-117) + 4/(-26). Let c = 3 - t. Is c prime?
False
Suppose -35*y + 503100 = -22*y. Suppose -22*l - 10936 = -y. Is l composite?
True
Suppose -24*q = -30*q - 18. Let o be q/4 - -3189*(-3)/(-4). Suppose -o - 2645 = -4*g. Is g a composite number?
False
Let a(s) = -s**3 + 10*s**2 + 8*s + 7. Suppose 6*o = 4*o + 16. Is a(o) a prime number?
True
Let k(l) = -415*l + 291. Let t be k(-22). Let i = -1520 + t. Is i a composite number?
False
Let x(n) = 151*n + 3975. Is x(-8) prime?
True
Let j be (34/(-51))/((-4)/30). Suppose 7219 = 4*x - 3*r, -6*x + 2*x + 7229 = -j*r. Is x a prime number?
True
Let g(u) = -3973*u - 1019. Is g(-34) a composite number?
True
Suppose 7512 = -9*y - 5187. Let c = 3246 + y. Is c a prime number?
False
Let t(q) = 58*q**2 + 4*q - 6. Let l be t(9). Suppose -5*k + l = -9917. Is k a composite number?
True
Let r(u) = -2*u**3 + 22*u**2 - 18*u + 23. Let a be r(18). Let j = a - -7340. Is j a prime number?
True
Let k = -44054 + 91903. Is k prime?
False
Suppose -118 + 114 = 4*r, 138393 = 2*p + r. Is p a prime number?
True
Let m(c) = -2 + 3 - 13116*c + 0 - 2 - 11172*c. Is m(-1) composite?
True
Let s(a) = a**2 - 14*a + 22. Let 