16 = s + 3*s. Let w = 1186 - 629. Suppose -3*v + s*v - w = 0. Is v a prime number?
True
Let z be (-24)/(-18)*(-66)/(-8). Let f be -14*(-2)/8 - z/(-22). Suppose 0 = -2*y - 3*y + 3*l + 3376, l = -f*y + 2711. Is y composite?
False
Suppose 2*x - 37290 = 4*g, -43*x + 45*x = -2*g + 37338. Is x prime?
True
Let y = 221448 + -659. Is y composite?
False
Let m(n) = 20*n. Suppose -2*c + 4*a + 4 = 2*c, -c + 5*a = -9. Let s(g) = -1. Let v(d) = c*m(d) + 5*s(d). Is v(-2) a prime number?
False
Let m(d) = 605*d**2 + 93*d + 1039. Is m(-11) a prime number?
False
Is (600421/4)/(32/128) a prime number?
True
Let b(v) = 1640*v**2 + 22*v + 191. Let r be b(-10). Suppose -25*o + r = 2*o. Is o a prime number?
True
Let w = 1193 - 845. Suppose 0 = -4*t - 5*l + 2131, 1602 = 3*t - 0*t + 3*l. Let c = t - w. Is c a prime number?
True
Let i be 1/(((-4)/(-2))/30). Let f be 110/i - 2/6. Suppose v - f*v + 1794 = 0. Is v prime?
False
Suppose -q + 100 = 24*q. Suppose q*b = 3*p - 17381, -5*p = 4*b - 36485 + 7538. Is p prime?
True
Let t(y) = 129*y + 23. Let h be (-1)/(22/8 - 3). Let s = 12 - h. Is t(s) a prime number?
False
Let z(q) = 9425*q**2 + 514*q + 2035. Is z(-4) composite?
False
Suppose -8*i - 5*z - 10 = -3*i, 2*i + 5 = -z. Is i/(-2) - 269262/(-36) a composite number?
False
Let g be -9*((-4)/(-2) - 1235). Suppose -10*v + 12233 = -g. Is v a composite number?
False
Let c(t) = 2508*t**3 - 3*t**2 - 35*t + 95. Is c(3) prime?
True
Let c be (172/(-2))/(2*(7 + -8)). Let t = c + -39. Suppose -t*y = 2747 - 8095. Is y composite?
True
Suppose -104*o + 60 = -99*o. Is 1/7*(o - -10355) a prime number?
True
Suppose 86*q - 1854929 = -109215. Is q prime?
False
Let w be (-5)/(-2)*(-12)/(-15). Let k be (w/13 - (-24)/13)*2. Suppose -k*l + 888 = 4*l. Is l composite?
True
Suppose 14*f = -5*v + 1179626, 4*v = -5*f + 306217 + 115078. Is f prime?
False
Suppose -v + 8*x + 767019 = 7*x, -3835103 = -5*v + 3*x. Is v prime?
False
Let h(x) = 60*x**2 - 36*x + 283. Is h(14) a prime number?
False
Suppose -114*v + 6691790 = 1663136. Is v prime?
True
Suppose 10*c - 99 = 19*c. Is 1/c - 99254/(-11) composite?
True
Is (-6)/93 - 9695890/620*-2 prime?
True
Let h = 752 - 750. Suppose 0 = 3*b - 2507 - 1051. Suppose h*k - b = -3*i, -324 = 3*k + 3*i - 2097. Is k prime?
True
Let y(t) = -2*t**2 - 24*t - 2. Let r be y(-10). Is (-154572)/(-114) + 5 - (-4)/r a composite number?
False
Suppose 0 = 3*u - 3*m - 11042 - 3220, -9503 = -2*u + 3*m. Is u composite?
False
Let g(p) = -4304*p - 385. Is g(-6) prime?
True
Suppose 15*p + 399*p = 172869426. Is p composite?
False
Suppose -6*l + 0 - 6 = 0. Let f be (-5 - -4)*((l - 1) + 2). Suppose -3*y - o + 168 = f, 211 = 4*y - 5*o + 2*o. Is y composite?
True
Let z(y) = 94*y**2 - 16*y + 33. Let t be z(2). Let m = t + -82. Is m a composite number?
True
Let j(n) = 388*n - 84. Let s be j(24). Let p = s + 5551. Is p a prime number?
True
Suppose -15*k + 7259790 = 40*k - 801395. Is k prime?
False
Let b(i) = 2*i**3 - 11*i**2 + i - 12. Let g be b(6). Is g/(-10) + 2*1471 a composite number?
False
Let k(t) be the third derivative of 415*t**4/24 + 23*t**3/6 + 3*t**2 - 62*t. Is k(2) a prime number?
True
Let p = -4 + 9. Let c = -2 + p. Suppose -5*x + c*y + 7284 = -4067, -4530 = -2*x - 4*y. Is x a composite number?
False
Let c(t) = -t**3 - 14*t**2 + 13*t - 25. Let h be c(-15). Suppose h*r - 40 = 13*r. Is (-2)/3*r/(-10)*-1467 composite?
True
Let c = 153082 + -76547. Is c prime?
False
Suppose 4*x - u - 14319 = 0, -3*x + 9*u - 7*u + 10743 = 0. Suppose 5*p - 3*z - x = 481, -3*p + 4*z = -2447. Is p a prime number?
True
Let p be 33/12 - (-12)/(-16). Let f(h) = -30*h + 6 + p*h**2 + 38*h + 7. Is f(-7) composite?
True
Suppose 0 = -6*f + 22*f + 976. Let n = f + 804. Is n prime?
True
Let c = -45 - -50. Is (-8545)/c*(-2)/2 prime?
True
Let x(a) be the first derivative of -139*a**7/840 + a**6/180 + a**5/24 + 5*a**4/24 - 9*a**3 - 1. Let o(u) be the third derivative of x(u). Is o(-2) composite?
True
Suppose -3*k = -3*y + 154107, 51401 = -54*y + 55*y - 5*k. Is y a composite number?
False
Let l(r) = 11*r - 59. Let u = 66 - 61. Let c be l(u). Is 1*(-7133)/c - (-6)/(-24) a prime number?
True
Let u = 400466 - 155799. Is u composite?
False
Suppose 433*s - 47563164 = 969441 + 6069994. Is s a prime number?
False
Suppose -16347*w + 966015 = -16338*w. Is w composite?
True
Suppose 14 = -3*u + 5. Let y be (4 + u)*(1 - 1). Suppose y = -l + 1953 - 364. Is l composite?
True
Let r(v) = -v**2 + 20*v + 152. Let g be r(-6). Let f(m) = -259*m**3 + 3*m**2 - 7*m + 3. Is f(g) a prime number?
False
Suppose -5*i - 2*v = -0*v + 14, i = 3*v + 4. Let p be ((-2)/5)/(1/10*i). Suppose p*a + 2*a = 748. Is a a composite number?
True
Let n(c) = -2154*c + 18. Let r be n(-1). Suppose 14824 - r = 4*p. Is p a prime number?
True
Suppose 3*r + 5 = -13. Is ((-8331)/r)/(10/20) composite?
False
Let g(k) = -k**3 - 3*k**2 - 3*k. Let z = -41 + 39. Let n be g(z). Is n/(-3) - (-1284)/9 composite?
True
Suppose -62*s + 85*s = 0. Suppose 5*j - 206897 - 79368 = s. Is j a prime number?
False
Suppose -f + 1 = 0, 10 = -0*q - q - 5*f. Let u be (-5*4/30)/(2/q). Suppose l - 782 = -u*t, 7*t + 3145 = 4*l + 10*t. Is l a composite number?
False
Suppose -3*m + 1489 = 2*z, 2*z + 2*z - 4*m - 3028 = 0. Suppose -3*s + z = 5*s. Is s prime?
False
Suppose 0 = 222*m - 319*m + 4477229. Is m a composite number?
True
Let o(r) = 88*r**2 + 39*r - 785. Is o(44) a prime number?
True
Let t(r) = -23*r**3 - 4*r**2 + 2*r. Let s be t(-4). Suppose 5*b - 1743 = -a, -a - a - s = -4*b. Let d = b + -150. Is d a composite number?
False
Let l be 465/12 + (-4 - 26/(-8)). Let b = -29 + l. Is 1262/(b/((-27)/(-6))) composite?
False
Let n(r) = 33*r**2 - 7*r - 50. Let j(p) = 7*p - 33. Let k be j(8). Let g be n(k). Is g/5 + 5/(-25) a prime number?
True
Is (-13 + 260/26)*337439/(-3) prime?
False
Let l = 73 + -79. Let j(o) = -71*o + 33. Let b(t) = -36*t + 17. Let y(m) = 7*b(m) - 3*j(m). Is y(l) composite?
True
Suppose 0 = -17*d + 93053 - 36970. Is d a prime number?
True
Suppose 0 = 2*c - 4 - 8. Let w = -139 - -141. Suppose w*l = c*l - 388. Is l prime?
True
Let w = -4209753 - -8060656. Is w composite?
True
Let w be (1 - 2 - 4)*164/205. Is -5755*(w + (-133)/(-35)) prime?
True
Suppose 5*q = -5*n + 147 - 2, -4*n + 146 = -2*q. Suppose 5*s - 104 + n = 0. Is s/(-77) + 1828/11 prime?
False
Suppose 49 = -5*l - 2*f, -f = 5*l - 2*f + 43. Is 6/l*4/(8/(-5178)) a prime number?
False
Let v(y) = 493*y**2 - 7*y + 1. Let l be ((-54)/30)/(12/(-40)). Is v(l) a prime number?
True
Let j(h) = -2616*h + 921. Is j(-8) prime?
False
Suppose -159*j + 7399832 + 3387484 = -1738545. Is j prime?
True
Let c be -3 + 0 - -4 - (0 + 1). Suppose -2*l = 4*v, 3*l - 7*l - 3*v + 5 = c. Suppose 0 = l*o + 4, j + 2*o = -146 + 465. Is j a prime number?
False
Suppose -2*y - 3*l + 4 = -1, -2*y = 4*l - 4. Suppose -y*p + 48 = -60. Suppose k - p = -t + 45, 20 = 4*k. Is t composite?
False
Suppose -160 = -f - 148. Suppose 0 = -59*r + 55*r + f. Let w(n) = 15*n**3 + n**2 - 5. Is w(r) a prime number?
True
Suppose 2*b + b = 5*b. Suppose l - 2*n + b*n - 1159 = 0, -4*n = 5*l - 5739. Is l a prime number?
True
Suppose -4*b - i = -1077, -5*i = 5*b - 683 - 652. Suppose -297 = -3*r + 4*n, 3*r - 7*n + 12*n = b. Is r a prime number?
False
Let s(r) = -r**2 + 2*r + 5. Let y be s(5). Let b(o) = 6*o + 60. Let c be b(y). Suppose -9*t - 2*t + 1331 = c. Is t a prime number?
False
Suppose 10 = 4*t + k - 623, -2*t - k + 317 = 0. Let u = -149 + t. Is u a composite number?
True
Let w(l) = 47846*l**3 - 3*l + 2. Let z be w(1). Suppose 3*m = 4*o - z, 0 = -2*o + 2*m - 5*m + 23909. Is o composite?
False
Suppose 0 = -9*g + 16*g + c - 15937458, 4*g - 9107131 = -3*c. Is g a prime number?
True
Let j be ((-381)/(-6) - -1)/(1/(-12)). Let f = 485 - j. Is f a prime number?
True
Let v(x) = 3155*x + 22. Let i be 2/6 - 560/(-84). Is v(i) composite?
True
Let p = -3898 - -2742. Let y = p - -3327. Is y a prime number?
False
Is 270/(-28)*-2378 + (-2)/(-7) a prime number?
False
Suppose -4*f + 16 = 4*a, 4*f - 2*a - 5 = -1. Suppose -j + 1143 = -2*r, 0*j = f*j - 5*r - 2282. Is j a composite number?
False
Suppose 2*x = -4*n + 3*x + 15773, 7889 = 2*n - 3*x. Is n prime?
True
Is 9531354/4*23/(1863/54) a composite number?
True
Let c(q) = -7*q - 28. Let h be c(-8). Suppose h = 21*g - 7*g. Suppose 0*u + 3*u + 5830 = 2*r, 