
Suppose 2*n + 602 + 210 = -2*r, 5*n - r = -2030. Let v = n + 107. Let x = v + 426. Is x prime?
True
Let r = -540 - -2149. Suppose -5*y = -15, 0 = -4*g + 3*y - 2*y + r. Suppose -282 = -3*f + t - 4*t, 4*f = 5*t + g. Is f a composite number?
False
Suppose -6*n + 311 = 3*m - 2*n, 0 = -3*m - 2*n + 301. Is m prime?
True
Suppose -4*i - 3*k + 40 = -0*i, -5*i = -3*k - 77. Suppose 0 = -3*o - 3, -i = 3*x + o - 72. Is (x/5)/((-4)/(-6)) a prime number?
False
Suppose -a - 3*m = 63 - 13, 5*a = m - 170. Let g = 82 + a. Is g a composite number?
False
Let a = -2 + 1. Is a - (3 - (62 - 3)) a composite number?
True
Suppose -18*y - 2*y + 57940 = 0. Is y a composite number?
False
Let n(f) = -f + 5. Let v be n(5). Suppose v = -q - 5 + 27. Is q a prime number?
False
Suppose -4*b + 2385 = b - 5*j, -b - 2*j = -465. Is b prime?
False
Suppose -2249 = -2*v + 3*b, 3*b - 1896 = -2*v + 323. Is v composite?
False
Let h(x) = -2470*x - 1. Let j be h(-1). Suppose -4*n + j + 695 = 0. Is n composite?
True
Suppose -2*p + 4*j + 163 = -267, 0 = 2*p - 5*j - 432. Is p a composite number?
False
Let l = 92 + 297. Is l a prime number?
True
Let y(i) = 0*i - 4 - i**2 - i + 24 + 13. Let w be y(0). Is (-9 - -2)*w/(-3) prime?
False
Suppose 0 = f + 38 - 218. Suppose -6*q + 2 = -5*q, -2*x + f = -q. Is x composite?
True
Is (-12967)/(-6) + 16/(-96) a prime number?
True
Suppose 0*m + 2*m = 838. Is m a composite number?
False
Let h(l) = -l. Let w(s) = -350*s - 1. Let j(p) = 4*h(p) - w(p). Is j(1) a composite number?
False
Let s be ((-6)/(-4))/((-27)/(-72)). Suppose -4*i + 9 = 4*o - 15, -s*o - i + 36 = 0. Is o composite?
True
Suppose 6*j = -5*y + 2*j + 1404, 3*j - 283 = -y. Suppose -2*a - 3*a + y = 0. Suppose 0 = 2*x + 2*x - a. Is x prime?
False
Suppose 3*v = -2*a + 20, -2*a = v - 6*v + 12. Suppose 2*h + 2*y = 5*y + 413, 3*y - 853 = -v*h. Is h prime?
True
Let i(z) = z**3 + 8*z**2 - 9*z - 4. Let s be i(-9). Let l(g) = -33*g - 5. Is l(s) a prime number?
True
Suppose -5*r = -4*r - 2. Let n be 1/r - (-3)/(-6). Suppose n = -2*b + 13 + 57. Is b a composite number?
True
Suppose 4*j + 2*w = -14, 0 = -3*j - w + 4*w + 3. Is 2/j*(-22 + 3) a prime number?
True
Let j be (3/(-2))/((-3)/(-4)). Is j + -1*-13*1 a composite number?
False
Let u(x) = 95*x**2 - 10*x - 11. Is u(-2) a prime number?
True
Let q = 6 - 3. Let d = 0 + q. Suppose 3*c = 2*c + d*v + 2, 18 = c + v. Is c a prime number?
False
Let b(h) = 3*h**2 + 32*h - 29. Is b(-22) prime?
True
Let z = 1677 + -636. Is z composite?
True
Let p be (-11)/(-2) - 5/(-10). Suppose c + 265 = p*c. Is c prime?
True
Let o(r) = -1 - 4*r**2 - 4*r + 2*r + 2*r**2. Let w be o(-1). Is 9*1 - (-3 - w) a prime number?
True
Let z = 25 + -23. Suppose 0 = -z*k - 0*k + 422. Is k prime?
True
Suppose 0 = -0*q + 3*q - 435. Is q prime?
False
Let n(g) be the second derivative of -g**3/2 + 4*g**2 + 2*g. Let c be n(-7). Let a = 40 - c. Is a a prime number?
True
Let d(s) = 12*s**2 - s + 5. Is d(-2) composite?
True
Let p(s) = 22*s**2 + 5*s - 4. Is p(3) a prime number?
False
Let n = -2441 + 4002. Is n a prime number?
False
Let k be 8/(-48) - 1/(-6). Let r = k + 5. Suppose 0*v - 249 = -r*v - 4*z, z + 4 = 0. Is v a composite number?
False
Suppose -3*n = 2*n - 20. Suppose -n*r + 8 = 4*s, -r + 8 = -0*s + 3*s. Suppose 2*y + 2*t - 118 = -0*y, s*y - t = 189. Is y composite?
True
Let i(l) = -l + 12. Let v be i(5). Let f(w) = 5*w - 5 - 6 + 1 + 12*w. Is f(v) a prime number?
True
Let i(s) = 5*s**3 - 2*s**2 - 2*s. Let k be i(2). Suppose 2*j + 0 = -8, -4*b = -2*j - k. Suppose 2*u - 11 = -b*y + 28, 41 = 5*y + 3*u. Is y a prime number?
True
Let g = -1 - -1. Suppose g = -2*x + x + 145. Is x composite?
True
Suppose -3*j = -2*t - 2888 - 453, 4*j + 2*t - 4464 = 0. Is j composite?
True
Suppose 4*h - 5*m = 1626, 2*h + 0*h = -m + 820. Is h composite?
False
Let v(z) = z**3 + z**2 - 1. Let j(p) = -5*p**3 - 16*p**2 + 9*p + 8. Let s(b) = j(b) + 6*v(b). Is s(9) a composite number?
False
Suppose -4*f + 236 = -2*f. Is f a composite number?
True
Suppose -2*q + 0*y - 4*y + 650 = 0, q + y - 330 = 0. Let x = 546 - q. Is x prime?
True
Let s = 7 + -5. Is 21 + -1 + (s - 0) a composite number?
True
Let n = 180 - -77. Is n composite?
False
Let d be 6/(-4)*(-32)/12. Is (3423/(-12))/(-7)*d composite?
False
Let j be 8/(-3*(-2)/6). Let u = 15 - j. Is ((-22)/3)/(u/(-21)) prime?
False
Let v = -12 + 6. Let p be (-1)/(-3) + 812/v. Let t = 204 + p. Is t composite?
True
Suppose -2*b = -6*b + 8. Is 15/b*16/12 a composite number?
True
Suppose -3*g - 4*b = 34, 0 = -3*g + 4*b - 12 - 14. Let t(q) = q**3 + 9*q**2 - 15*q - 11. Is t(g) a prime number?
False
Let l(s) be the first derivative of -s**3/3 - 7*s**2/2 - 2*s + 3. Let j be l(-7). Is 161 - (0 - j/(-1)) composite?
False
Is (2 - -1047 - 5) + 5 composite?
False
Let a = -10 - -159. Is a prime?
True
Let i be (6/5)/(10/25). Suppose -i*g - 1524 = -7*g. Is g a prime number?
False
Suppose -5*x = 20, -3*f + 2*x - 7 = 3*x. Let d(t) = -97*t**3 - t**2 - 2*t - 1. Is d(f) a prime number?
True
Let b = -91 - -345. Is b prime?
False
Let g be (3 - 525/(-9))*3. Let s = -129 + g. Is s a prime number?
False
Let m = -6 + 6. Suppose m = h + h - 446. Is h composite?
False
Suppose -c + 357 = 4*i, -2*i + 0*c = -c - 177. Is i a composite number?
False
Let d(v) = 46*v - 1. Suppose x + 32 = 3*p, 0 = 4*p - 3*x - 17 - 34. Is d(p) prime?
False
Suppose 0 = 2*a - 0*a - 12. Let m(b) = -2*b**2 - 3*b + 2. Let h be m(a). Let g = -23 - h. Is g a prime number?
False
Let b(x) = x**3 + 8*x**2 + 16*x + 12. Let q be b(-18). Is q/2*(-20)/60 a prime number?
False
Suppose -5*o = -9 - 6. Suppose -o*m = -509 - 28. Is m prime?
True
Suppose 0 = 3*g - 7*g. Suppose 4*a + 2*h - h - 316 = g, 395 = 5*a - 2*h. Is a*(-1)/2*-2 a prime number?
True
Let b = -1775 + 3508. Is b a prime number?
True
Let z = 294 - 155. Is z prime?
True
Let n = 135 + -303. Let z = 245 + n. Is z prime?
False
Suppose 5*l + 2*w + w = 190, 0 = 4*l + 2*w - 152. Is l a composite number?
True
Let y(q) be the second derivative of q**5/20 + q**4/6 - q**3/3 - q**2 + q. Let v be y(-2). Suppose -3*d + 267 = -3*f, -v*f = -5*d - 7*f + 405. Is d prime?
False
Let h be 6*(-1 + (-10)/(-6)). Suppose h*p - 406 = 190. Is p composite?
False
Suppose -u = 5*r + 66, -2*u - 90 = 5*r - 7*u. Let k = r + 45. Is k a prime number?
True
Let w = -31 - -36. Let g(c) = 4 + 0*c - 2*c - c**3 + 0*c + 6*c**2. Is g(w) a prime number?
True
Let l(a) = 2*a**2 + 9*a - 18. Suppose 0 = -5*h + 24 - 89. Is l(h) a prime number?
False
Suppose b - 2*g - 186 = 0, -4*b + g = 6*g - 679. Let z = 155 + b. Is z prime?
True
Let k(m) = -3*m**2 - 15*m + 27. Let a(u) = -u**2 - 5*u + 9. Let s(q) = -7*a(q) + 2*k(q). Let b be s(6). Suppose 0 = 2*l - 5*l + b. Is l a prime number?
True
Let y(v) = 18*v**2 + 13*v + 20. Is y(-9) a prime number?
True
Let w(a) = 8*a**2 + 2*a + 1. Let g(o) = o - 9. Let y be g(11). Let d be -2 - (2 - y - -1). Is w(d) a prime number?
True
Let p(f) = 10*f**2 - f. Let g be p(2). Suppose g = 5*y - 117. Is y composite?
False
Let h = -3 + 3. Let b = -5 - -9. Suppose h = 3*m + 6, -b*m + 2*m = -2*y + 42. Is y a composite number?
False
Let p = -61 + 360. Let t = p - 6. Is t composite?
False
Let j be 19/6 + 3/(-18). Suppose 5*d = -4*u + 51, 2 = -j*d - 13. Is u a prime number?
True
Let w = -89 + 58. Let s = -22 - w. Is s a prime number?
False
Let z(k) be the third derivative of 0*k - k**2 + 5/24*k**4 + 11/6*k**3 + 0. Is z(8) a prime number?
False
Let y(z) = 20*z**2 - 4*z + 7. Is y(2) a composite number?
False
Suppose -n - 5*s + 1011 - 94 = 0, 3*n + 3*s = 2727. Is n composite?
False
Let l = 75 - 149. Let y = -5 - l. Is y a prime number?
False
Suppose s = 5*s + 124. Let u = s + 68. Is u prime?
True
Let t(h) = h**2 - 8. Let x be t(0). Let z = 13 + x. Let g = -2 + z. Is g composite?
False
Is (-47553)/(-55) + (-4)/(-10) prime?
False
Is 795/(-12)*(2 + -4 - 2) composite?
True
Suppose m - 2*r - 3*r - 4 = 0, 2*m = 3*r + 22. Suppose -2*z + m = -z. Is z prime?
False
Suppose 14 = n - 1177. Is n prime?
False
Let q be (-2)/(-5) - (-36)/10. Suppose z - 5 = -q*z. Is (z - -117)*(-1)/(-2) a composite number?
False
Suppose k + 2*k = 2*b - 172, -4*k - 257 = -3*b. Suppose -b = -0*v - v. Is v composite?
False
Let b(c) = 42*c**2 + 13*c**2 - 34*c**2 + 61*c**2 + 1. Is b(2) a composite number?
True
Suppose -o + 16 = o. Let r be (-1468)/(-10) + o/40