+ 44. Let r be y(-5). Suppose g + 7*g = r. Is g a prime number?
True
Let f = -18400 - -29295. Is f a prime number?
False
Suppose 16 = 5*p - 19. Suppose -8*w + p*w - 6 = 0. Is (-6)/2*134/w composite?
False
Is (-136666)/(-16) - (-11 + 850/80) composite?
True
Let d be ((-12)/15)/(2/(-5)). Suppose 0 = -y + 3*r + 468, r - 1002 + 59 = -d*y. Suppose 4*o = o + y. Is o composite?
False
Let m be 4/(-34) + (-12)/(-102). Suppose 2*n + 5*o - 4002 = 419, -2*o - 2 = m. Is n a composite number?
False
Suppose -v - v = f - 16932, 4*v - 33862 = -3*f. Is v composite?
False
Let w = -13 - -15. Suppose 0*q = -3*q + 3, -v - w*q + 171 = 0. Is v a composite number?
True
Suppose -5*l = -3*c - 27, l + 7 = -c + 2*l. Is 558 + 0 + (c - -3) a prime number?
True
Let s = 143 - 141. Let m(f) be the second derivative of 43*f**3/6 - 3*f**2/2 - f. Is m(s) prime?
True
Suppose -v + 5*g = -1746, 0 = -4*g + 13 - 5. Suppose 3*c - 3*j = 5028, 3*c - 5*j - v - 3262 = 0. Is c a prime number?
False
Let y = -81 - -83. Suppose 0*s + s - y*g = 53, 5*g = -3*s + 192. Is s a prime number?
True
Suppose -18 = -3*y - 4*p, -4*y + 2*p = -y. Suppose -y*w + 0*w = 1186. Let h = w + 858. Is h a prime number?
False
Suppose -4*z + 3222 = -942. Is (8/12)/(2/z) prime?
True
Let d = -17394 - -48515. Is d composite?
False
Let r(l) = -4*l + 23. Let t be r(6). Let a(x) = -1213*x. Is a(t) a composite number?
False
Suppose -113*w + 101*w = -145716. Is w a prime number?
True
Suppose -4*p + 4779 = -0*p + 3*z, -p = -z - 1200. Let o = -660 + p. Is o a prime number?
False
Suppose -4*d - 24*d = -112. Suppose 3*u = -0*u. Suppose d*i - 3*j - 4184 = u, j + 916 = 5*i - 4325. Is i a composite number?
False
Is 18/12 - (-1 - 24514/4) prime?
True
Let l = 25 - 12. Let t(d) = -d - 9. Let m be t(-7). Is m - -4*(-3 + l) a prime number?
False
Suppose -4*t = -t + 339. Is (-5)/(-5)*t/(-1) composite?
False
Let k = 40 + -25. Suppose -2*t = k + 29. Is 33/t*(-1042)/3 composite?
False
Suppose 237 = -p + 1085. Let x = p + 1781. Is x a composite number?
True
Let v(b) = -5*b**3 + 9*b**2 + 6*b + 9. Let f(q) = -2*q**3 + q**2 + 2*q + 1. Let t(k) = 3*f(k) - v(k). Suppose 3*g + 26 = 5. Is t(g) a composite number?
False
Let u(l) = -609*l + 6. Let v(g) = -608*g + 7. Let y(p) = 5*u(p) - 4*v(p). Let m be y(-1). Let b = -106 + m. Is b prime?
True
Let a = 77612 - 41503. Is a prime?
True
Let p(h) = h**3 + 13*h**2 - 8*h - 4. Let o(q) = 3*q**3 + 38*q**2 - 23*q - 13. Let c(y) = -6*o(y) + 17*p(y). Let b be c(-7). Is 1 + ((-208)/b)/1 a prime number?
True
Let w(z) = 5*z + 30. Let t be w(-6). Suppose 3*n - 1421 - 580 = t. Is n composite?
True
Let a(f) = -f**2 + 20*f + 9. Let l(p) = -p**3 - 3*p**2 - 3*p + 1. Let g be l(-3). Is a(g) prime?
True
Is 2091/13 + 34/221 a composite number?
True
Suppose -108*d + 124*d = 247696. Is d a composite number?
True
Let c be (6/(-1))/(-2) + -5. Is (-2480)/(-10) + (c - -1) a composite number?
True
Let v be 2/4 - 11/(-2). Let p = v - -69. Let l = 126 - p. Is l a prime number?
False
Suppose 0 = 2*x - 4*d + 6*d, d = 0. Is x/4 - -14*116/8 a prime number?
False
Suppose 3*r - 6463 = -802. Let n = r + -1010. Is n prime?
True
Let j = -267 + 465. Let r = j - -37. Is r a prime number?
False
Let d = -6323 + 13620. Is d a composite number?
False
Suppose 323 = i + 5*z, i + 3*i + 4*z - 1324 = 0. Suppose 3*g = -3*w + i, 2*w = -2*w + 2*g + 414. Is w composite?
True
Let y = 31 + -35. Is (-114390)/(-170) - y/34 prime?
True
Suppose 5*y + 35 = -0*z + 2*z, 5*y = -4*z + 25. Suppose 14 + z = 3*v. Is v/(-2)*(-2274)/24 composite?
False
Let p = 8662 - 4900. Suppose -g - 5*i + 1234 = -0*g, -p = -3*g - 3*i. Is g a prime number?
True
Let q(k) = 266*k**2 + 17*k - 87. Is q(4) prime?
False
Let p(c) = -c**3 + 22*c**2 - 11*c - 12. Let r be p(18). Let z(i) = -31*i**3. Let g be z(-1). Suppose r - g = 5*v. Is v a composite number?
False
Suppose -5*k - s = 3*s - 566, -5*k - 5*s = -570. Let v = 378 - k. Let x = v + -105. Is x composite?
False
Let y(d) = -10792*d**2 - 2*d - 2. Let s be y(-1). Is s/(-32) + 1/(-4) a composite number?
False
Let w(p) = p**3 - 1. Let j(v) = 4*v**3 + v**2 + v - 98. Let i(n) = n**3 - 6*n**2 - 5*n - 9. Let z be i(7). Let r(o) = z*w(o) - j(o). Is r(0) prime?
False
Suppose 25 - 277 = -9*h. Let s be ((-14)/(-4))/(1/34). Let v = s - h. Is v composite?
True
Is (2/(-2))/(((-35)/(-24285))/(-7)) prime?
False
Is 8861/(0/(-4) + 1) a composite number?
False
Let j(q) = 8*q**3 + 2*q + 1. Let y be j(-1). Let l = -214 + 227. Let b = l - y. Is b a prime number?
False
Suppose s + 14 = 2*t, -t + 4*t = -3*s + 21. Suppose -2*v = 5*f - 16, -f - 2*v = -t*v + 13. Suppose f*p - 907 = p. Is p prime?
True
Is (-36)/(-27) + 164050/6 a prime number?
False
Let u = 3238 - 2182. Suppose -158 = 2*q - u. Is q a prime number?
True
Let r(u) = 13*u + 4. Let l be 8*4/4 + -1. Is r(l) a composite number?
True
Let n be 4/10 - (-128)/(-20). Let z be (-5586)/(-15) + n/(-10). Suppose -5*c + 488 = 4*g, -2*g + 5*g = -2*c + z. Is g a composite number?
False
Let y = -2813 + 30630. Is y a prime number?
True
Suppose 0 = -2*n - n + 6. Let o(a) be the first derivative of 33*a**4/4 - a**3 + a**2 - 3*a + 5. Is o(n) a prime number?
False
Is (-18344)/(-6)*48/64 a composite number?
False
Let f be 7662/30 + (-4)/10. Let s = 1 + 1. Suppose -s*v + 907 + f = 0. Is v prime?
False
Suppose 59*m = 58*m + 223. Let w = m + -105. Is w a prime number?
False
Is 440/(-528) + (-110398)/(-12) prime?
True
Let t(r) be the first derivative of r**4/4 + 14*r**3/3 - 3*r**2/2 - 17*r - 14. Is t(-11) prime?
True
Let a(g) = -g. Let s(y) = 136*y + 1. Let m(d) = -4*a(d) - s(d). Is m(-2) prime?
True
Let g(l) = -26*l**3 + 9*l**2 - l - 17. Is g(-12) prime?
True
Let d be 5/(-15) - (-1)/3. Let i(r) = -2 + d*r + r**2 - 2*r - r + 5*r. Is i(6) a composite number?
True
Let q = -2317 - -4896. Is q a prime number?
True
Let r be ((-2)/(-3))/(24/468). Let v = r - 13. Suppose -4*l + 2*h + 894 = v, l - 889 = -3*l - 3*h. Is l a prime number?
True
Suppose -2371 = -20*p + 3769. Is p a prime number?
True
Let q(n) = -2585*n + 1296. Is q(-25) a composite number?
False
Suppose -41902 = -5*k + g, g + 33521 = 3*k + k. Suppose j - 8399 = -4*i, -k = -4*i - 2*j + 7*j. Is i a composite number?
False
Let h(l) = -6*l + 3 + l**2 + 2 + 3*l**2 + 3*l**3. Let c be h(8). Suppose -5*n - 514 = -c. Is n a prime number?
False
Let h(j) = -3*j + 12. Let b be h(3). Suppose -n - 907 = -o - 2*n, o - b*n - 899 = 0. Is o a prime number?
False
Let f be (1 + 0 - -702)*1. Suppose -4*b + 2541 = 941. Let u = f - b. Is u a composite number?
True
Suppose 129*n - 4362 = 127*n. Is n a prime number?
False
Let r(h) = 197*h + 25. Is r(26) prime?
True
Let f(j) = 252*j + 20. Let q(o) = -63*o - 5. Let v(w) = -2*f(w) - 9*q(w). Is v(3) composite?
True
Let f = 52026 + -15335. Is f a prime number?
True
Suppose -11278 - 26217 = -5*i. Is i a prime number?
True
Let u = 36718 - 11465. Is u composite?
False
Let c = 1237 - 342. Let l = c + -176. Is l prime?
True
Let z(l) = 4*l**2 - 48*l - 19. Is z(21) a prime number?
False
Suppose -3*y - 1573 = -4600. Is y composite?
False
Let w = -141985 - -224052. Is w a composite number?
False
Suppose -77 = b - 415. Let x = b - -483. Is x prime?
True
Let h = 55193 + -18337. Suppose 17*g + 1955 = h. Is g a prime number?
True
Suppose -13 = 4*c + 11. Is 3/(-6)*2532/c a prime number?
True
Let k(l) = 732*l + 139. Is k(24) a composite number?
False
Let w be (-40)/15*(-3)/2. Let m(z) = 4*z - 9 - 5 + 13 - 6 + 5*z**2. Is m(w) a composite number?
False
Let p = 40 - 50. Let i(n) = -11*n + 3. Is i(p) a prime number?
True
Suppose 0 = 4*o - 2 - 18. Let b(w) = w**3 + w**2 - 5*w + 7. Let g be b(o). Suppose 29 = -x + g. Is x prime?
True
Let t(z) = -4860*z + 3. Is t(-5) a prime number?
False
Let i = -9415 - -22018. Is i composite?
True
Let s(j) = j + 2. Let d(o) = -1. Let l(h) = 2*d(h) - s(h). Let a be l(-7). Let q(f) = 6*f**2 + 3*f - 4. Is q(a) a prime number?
True
Let z be 3*16/12 - 4. Suppose -4*f - 62 = u - 277, -2*u + 3*f + 452 = z. Is u prime?
True
Suppose -a + 5 = 3. Suppose -a*t = 5*y - 3342, 2*t - 2*y - 3342 = -3*y. Is (-1)/4 + t/12 a composite number?
False
Suppose -538 = -5*j - x + 179, j - 3*x - 153 = 0. Is (-475)/(-9) - (-32)/j a prime number?
True
Suppose 0 = -4*m + 4*j - 24, 2*j + 0*j = -m. Let b be (-4151)/35 - m/(-10). Let o = 86 - b. Is o a composite number?