+ 4*m**2 + 5*m + 3. Let t(l) = l**3 - 6*l**2 + 5*l + 1. Let s be t(5). Let k be 2 + 4 + (-1)/s. Is o(k) a prime number?
True
Let d = 38 + -12. Is d prime?
False
Suppose -m = -4*f - 57, -3*f - 283 = -4*m + 10. Let n = m + -38. Is n prime?
False
Let v(d) = 7*d - 6. Let q(f) = 2*f - 3. Suppose -o - 2*o = 3*j - 3, -13 = -5*o - 3*j. Let s be q(o). Is v(s) a prime number?
True
Is -2 + 1 + 474/1 a composite number?
True
Let u = 5 + -3. Let k(b) = 1 + b + 1 + 4 - b**u. Is k(0) composite?
True
Suppose -2*r - 117 = 59. Let h = r + 318. Suppose h = 4*o - 278. Is o composite?
False
Let l(c) = 14*c - 6. Let b(q) = -q - 1. Let x(j) = -5*b(j) + l(j). Is x(2) a composite number?
False
Let r be ((-12)/20)/(1/(-5)). Is (-275)/(-11) - 1*r composite?
True
Let w = 70 - -9. Is w a prime number?
True
Let a(d) = -2 + d - d**2 + 4*d**2 - 5*d. Let c be a(-3). Let z = c - 14. Is z prime?
True
Let g(y) = -y + 3*y**3 + 0*y**3 + 3*y**2 - y**2. Let a be g(-2). Is (a/(-8))/(1/20) prime?
False
Let m(n) = 65*n**2 + 2*n + 3. Let h(u) = 2*u + 2. Let d be h(-2). Is m(d) composite?
True
Let r be 269/(2*3/6). Let x = r + -190. Is x a prime number?
True
Suppose 765 = 5*w - 4*s, -4*w = -s - 0*s - 601. Is w a prime number?
True
Is 2447/5 + (6/(-5))/3 a prime number?
False
Suppose 4*w = 2*w + 156. Let n(d) = d + 13. Let v be n(-9). Suppose -2*l - 4*s + w + 8 = 0, -v = s. Is l composite?
True
Let f(g) = 4*g**2 + 4*g - 252. Let m(j) = 3*j**2 + 3*j - 253. Let r(h) = 4*f(h) - 5*m(h). Let a(s) = s + 4. Let p be a(-4). Is r(p) composite?
False
Let s(p) = 29*p - 3. Let v be s(-5). Let n(x) = -5*x**3 - 2*x**2 + x. Let o be n(1). Is v/(-16) - o/8 composite?
True
Let j(v) = -v**3 + 9*v**2 - 8*v - 5. Let s be j(8). Let g = -2 - s. Is g prime?
True
Suppose 2*q = 4*t - 3 + 31, -2*q + 24 = -2*t. Let m be (-2 + -1)*q/(-6). Suppose 5*d - d - 144 = 3*n, -m*d + 153 = 3*n. Is d composite?
True
Suppose -738 = -3*v + 405. Is v a composite number?
True
Suppose 2*v - 3*w = -w + 952, 0 = -5*w - 15. Is v composite?
True
Suppose -17 + 1 = -4*s. Let f = 12 + -2. Is 148/20 - s/f prime?
True
Suppose -5*o - f + 1202 + 332 = 0, -2*o = 4*f - 610. Is o composite?
False
Let h(u) = 44*u**2 + 2*u + 1. Let o be h(-1). Let f = 14 + o. Is f composite?
True
Let s(z) = -5*z - 4. Let o(m) = -6*m - 4. Let r(j) = 6*o(j) - 7*s(j). Is r(-6) a prime number?
False
Suppose c + 18*p - 653 = 21*p, -c + 4*p = -657. Is c prime?
True
Is ((-573)/9)/(4/(-12)) a composite number?
False
Let u(n) = n**3 + 5*n**2 - 7*n - 6. Let t be ((-2)/(-4))/(3/(-36)). Let c be u(t). Is -2 + 1 - (-15 - c) a composite number?
True
Let g(m) = -m**2 + 7*m - 7. Let p be g(6). Let w be -3 + 0 - (-22)/p. Is (-70)/w - (-1)/5 a composite number?
False
Let l(d) = -d**3 + 2*d**2 + 1. Let j be l(2). Is -6 + 7 - (-97 + j) a prime number?
True
Let j be (20/(-6))/((-2)/(-6)). Let q be j/15*(-6)/(-4). Is (-29)/(-2) + q/(-2) a composite number?
True
Let y be 625/4 + 11/(-44). Suppose -5*m - m + y = 0. Is m prime?
False
Suppose -2 + 5 = -3*g. Let k(q) = 322*q**2 - q - 2. Is k(g) a prime number?
False
Let u(y) = 25*y**2 - 8*y - 17. Is u(-4) composite?
True
Let v(c) = 37*c**2 + c - 13. Is v(4) a prime number?
False
Let k(c) = -10*c + 2. Let f be k(3). Let d = f + 141. Is d composite?
False
Suppose q - 3*k = 2*q - 3, -3*q - 3*k + 21 = 0. Let a be (111/q)/((-2)/12). Let o = a + 161. Is o prime?
False
Let n = 1 - 3. Let o be -1*3/(n - -5). Is (8/(-16))/(o/12) composite?
True
Suppose -2*d - 36 = -5*d. Let g = -7 + d. Let w(y) = -y**3 + 7*y**2 - 4*y - 4. Is w(g) prime?
False
Is (-851)/4*(-6 - -2) a prime number?
False
Let p be (-4 + 2)/2 - 1. Let c be 3 - 1/(-1)*p. Is -1 - (-1 - c) - -160 a composite number?
True
Let v = 2 - 3. Is (-382)/(0 + 2/v) a prime number?
True
Let h be (10/15)/(4/54). Is (-6)/27 - (-191)/h composite?
True
Suppose -2*s + 3*o = -7, o = -1 - 0. Suppose -4*u + 0*w + 3*w = -1010, 4*w - 494 = -s*u. Is u a composite number?
False
Let g(y) be the third derivative of y**6/6 - y**5/15 + y**4/8 - y**3/6 - 6*y**2. Is g(2) a prime number?
True
Suppose 390 - 1489 = -i. Is i a prime number?
False
Let n = -6 + 13. Suppose 5*o - v + 2*v - 21 = 0, 2*o - n = v. Suppose 5*t + 442 = 2*f, 2*t - t - 840 = -o*f. Is f composite?
False
Let u(r) be the third derivative of -37*r**6/120 + r**5/60 + r**4/24 - 4*r**2. Is u(-1) composite?
False
Is 5668/65 + 2/(-10) a prime number?
False
Suppose 2*d - 5 = 7. Suppose d = 4*u - 14. Is 1/u - 208/(-10) composite?
True
Let z(t) = 10*t**2 - 2*t - 2. Let r(x) = -x**2 + 8*x - 5. Let s be r(7). Is z(s) prime?
False
Let s(u) = 5*u**2 + 4*u - 12. Is s(-7) composite?
True
Suppose -5*a + 3*m + 55 = 0, 4*m = 5*a - 2*a - 44. Suppose 0 = 4*g - 4*s - a, -2*s = -0*s - 4. Suppose g*k = -2*f + 874, -k - 2*f = -111 - 112. Is k prime?
False
Let c(k) = -k**3 + 18*k**2 + 11*k - 7. Is c(18) a composite number?
False
Suppose 6*h = 7*h - 955. Is h a composite number?
True
Suppose -8 = 4*g + 3*i, -5*i = -2*i. Let r be (-182)/(-6) + 4/6. Is g/4 - r/(-2) a composite number?
True
Let v be 3/(-3) + -2 - -5. Suppose 3*i = -v*i + 210. Is i/(-9)*51/(-2) prime?
False
Suppose 0 = l - 3*y - 140 - 5, 2*l - 290 = 2*y. Is l a prime number?
False
Let r(y) = y**2 - 4*y - 26. Is r(-12) prime?
False
Let x be 10*(2 - 6/4). Let n(u) = 18*u. Let j be n(x). Let h = -11 + j. Is h a prime number?
True
Let c = 1885 - 1100. Is c composite?
True
Let h(m) = m + 4. Let o be h(-4). Let n(k) = k**3 - k**2 - k + 28. Let c be n(o). Suppose -a = -5*a + c. Is a composite?
False
Suppose 0 = l + 4*v + 7, l - 2 = 3*l + 4*v. Let o(u) = -9 - 2*u**2 - 5*u + 6*u**2 - 3*u + l*u**2 + u**3. Is o(-7) composite?
True
Is (9 - 8)/(2/1418) prime?
True
Let m be (1 + 2)*(-16)/(-12). Suppose m*p - p + y - 1690 = 0, -2*y = -p + 561. Is p a prime number?
True
Suppose j + 2 = 3. Let r(s) = 2*s**2 + 5*s + 3. Let n(f) = 1. Let t(g) = j*r(g) - 6*n(g). Is t(-4) prime?
False
Let l be 0/((0 + 1)*1). Let o be l - (-1 - (-5 + 2)). Is (1 + (-42)/4)*o prime?
True
Let z = 1765 + 1020. Is z a prime number?
False
Let t(g) = 202*g**2 + 3*g + 3. Let h be t(-2). Let f be h/2*(3 - 1). Suppose 6*s - s = f. Is s a composite number?
True
Let k(l) = -99*l + 1. Let q(m) = 4*m**2 - 4 + m - 4*m - 3*m**3 + 2*m**3. Let j be q(3). Is k(j) prime?
True
Is (-4)/3 - 1117/(-3) prime?
False
Let j(d) = -d**3 + d + 0*d**2 + 5*d**2 + 0*d + 6. Let n be j(5). Let x = 25 - n. Is x prime?
False
Suppose 0*v = 2*v - 4. Is (v - 1 - 0) + 2 prime?
True
Is -6*((-3)/(24/3148) + 0) composite?
True
Suppose -l - 3*l - 6 = 2*k, -5*k - 2*l + 9 = 0. Let j = 255 + 53. Suppose -k*d + j = d. Is d a prime number?
False
Let x(t) be the first derivative of -t**3/3 + 7*t**2/2 - 3*t - 2. Let c be x(6). Is (1/1)/(c/57) a composite number?
False
Suppose 4*g + 5*l - 416 = 0, 0 = -5*g + 2*l + 407 + 80. Suppose 5*j + 0*j - g = -t, 0 = -5*t - 3*j + 539. Is t a composite number?
False
Let v(j) = -j**3 - 20*j**2 - 9*j + 6. Let q be v(-13). Let u = q + 1527. Is u a composite number?
False
Suppose 0 = -k + 5*j + 24, -4*k - 4 = -0*j + 5*j. Let q(y) = 23*y**2 - 2*y + 5. Is q(k) composite?
True
Let s(i) be the first derivative of i**4/4 - i**2/2 + 111*i - 3. Let p be s(0). Suppose p = k + 4*y, 4*k = -3*y - 2*y + 389. Is k a prime number?
False
Let v(o) = 419*o**3 + 1. Let i be v(1). Is (2 + i)*(-1)/(-2) a prime number?
True
Let l = -1 - -3. Suppose -235 = -4*n + x + 64, -l*n + 2*x = -142. Suppose 5*d = d + n. Is d prime?
True
Suppose 0 = 2*t + 2, 5*v = t + 6 - 30. Let c(l) = l**3 + 6*l**2 - 6*l - 4. Is c(v) prime?
False
Let n(s) = 5*s + 11. Is n(2) composite?
True
Is (-3)/(18/(-10))*(1 + 56) composite?
True
Let m = -9 + 12. Suppose 0 = -m*y + 100 - 1. Is y a prime number?
False
Let n be -3*(2 - 9/3). Let o be 74*n/6*3. Suppose o = 5*f - 74. Is f a prime number?
True
Suppose 5*w - 2*w + 5*k = 993, 662 = 2*w + 4*k. Is w prime?
True
Suppose 0 = 2*z - 278 + 116. Suppose -z - 291 = -4*m. Is ((-2)/2)/((-3)/m) a prime number?
True
Let y(g) = g**3 - 13*g**2 - 21*g + 20. Is y(15) prime?
False
Suppose 9 = 4*n - 11. Suppose -n*h + 9 = -6. Is h*159/3 - -2 a prime number?
False
Suppose 1 = -2*p + 383. Is p a composite number?
False
Suppose 6*a - a = 15. Let q(d) = 15*d**2 + 3*d + 4. Let l be q(a). Is l - ((3 - 2) + 2) prime?
False
Suppose r + 2*r + 1532 = a, 0 = 4*a - r - 6139. Is a a prime number?
Fa