 -3*r + 762 = 5*x - 1730, b = x + r. Is x a prime number?
True
Let l(n) = 512*n**3 + 2*n**2 - n. Let a be l(1). Suppose -3*w = 5*j - 1340, 4*j + 4*w - 1593 + a = 0. Is j prime?
False
Let o be (-2)/(-4) + (-3489)/(-6). Suppose -2*g + o = 3*g - 3*s, -2*g = -2*s - 236. Let m = -81 + g. Is m composite?
True
Let g = -12 + 96. Let d(x) = -3*x**3 - x**2 + x + 1. Let q be d(-1). Suppose q*o - g = 70. Is o a prime number?
False
Suppose -2*q + 3*q - 77 = 0. Is q a composite number?
True
Suppose 5*v - v = -4. Is v*(-2 + (-308)/4) a prime number?
True
Let w = 3851 - 2208. Is w a prime number?
False
Let n(f) = -f**2 - 9*f + 5. Suppose 8*p - 15 = 3*p. Let i be (-176)/24 - (-1)/p. Is n(i) a composite number?
False
Suppose -h - h - 134 = -4*l, -l - 2*h = -41. Is l composite?
True
Let y be ((-2)/2)/(7/(-14)). Suppose y*w - 1649 = 5*v - 72, 0 = 3*w + v - 2374. Suppose -3*c - 4*i - i + w = 0, c - 241 = 4*i. Is c a composite number?
False
Let p(h) = h**3 - 5*h**3 + 5*h**3 - 4*h + 4*h**2 - 1. Let t be p(-5). Is (-466)/t - 6/9 a prime number?
False
Suppose 4*m = 3*m + 8. Is 1 + 2 - (-896 - m) prime?
True
Let h(k) = -k**3 + k + 47. Is h(0) composite?
False
Let j be 1/(0 + 3 + -2). Is j/2 + 1170/4 composite?
False
Is (-4518)/27*(-6)/4 composite?
False
Suppose 2*z - 4*p = -4, 2*z + 10 = 5*z + 2*p. Is 13/1 + (-6)/z composite?
True
Is 1/(-1) + (-5 - -1762) + -3 a prime number?
True
Let k be 4/14 - (-290)/14. Suppose -y + k = 2*y. Suppose 4*t = 2*p - 26, 2*p - y - 19 = -3*t. Is p composite?
False
Is (-21)/(-12)*(90 + 2) a composite number?
True
Is (-11 - -1202)*(-1)/(-3) prime?
True
Let i = 343 + -666. Let c = -219 - i. Is c/2 + (-1 - -2) a composite number?
False
Let o(c) = 399*c + 16. Is o(3) prime?
True
Let o(a) = 8*a**3 + a**2 + 2*a. Let u be o(-1). Is (-3774)/u + 3/(-9) a composite number?
False
Suppose 11 = -4*r + 3, -5*f - 2*r = -856. Suppose -4*w + 215 = 4*k + k, -4*w + f = 4*k. Is k a composite number?
False
Let u = 3 + -2. Let l be (4 + -1)*(u + -3). Is 332/l*(-3)/2 a composite number?
False
Let d be 1096/16*2*-1. Let k = 246 + d. Is k a composite number?
False
Let m(o) = 2*o**2 + o + 11. Suppose h - 9 = 3*p, -16 = -2*h - 3*p + 11. Is m(h) composite?
False
Suppose 0 = -5*b + 940 - 195. Is b composite?
False
Suppose -u + 2*u = 291. Suppose 0 = -0*p + p + u. Is (2/(-6))/(1/p) prime?
True
Suppose 4 = 3*n - 8. Is 465/(-10)*n/(-6) a prime number?
True
Let z(t) = -t**3 + 5*t**2 - t + 2. Let w be z(4). Is (-10)/35 + 1362/w a composite number?
False
Let a(h) = 87*h**2 - 2*h - 1. Is a(-4) prime?
True
Suppose 3 = 4*y - y. Is (0 + y)*61 - 3 a prime number?
False
Let t be (-32)/(-12) - 6/9. Suppose -c + 2*c - t = 0. Suppose -c*b + 23 + 199 = 0. Is b a prime number?
False
Let u be 808/9 - 12/(-54). Let j = -7 + u. Is j a composite number?
False
Let t = -4 + 6. Is 0 + t/((-6)/(-285)) a composite number?
True
Let y(p) = -126*p - 17. Is y(-5) a composite number?
False
Let r(a) = 9*a**2 - 3. Let p be r(3). Suppose 3*d - 69 = p. Is d prime?
False
Suppose d - 212 = 215. Suppose -b = -2*p + d, -5*p + 1644 = -2*b + 575. Is p a prime number?
False
Let y(k) = -k**3 - 5*k**2 - k + 7. Let f be y(-6). Let m be 14/f - (-5)/7. Suppose 5*c + m - 4 = n, 4*n - 4*c = 20. Is n composite?
False
Let a = -7 + 5. Let r = a + 1. Let g(l) = -47*l. Is g(r) a prime number?
True
Let p(q) = -16*q - 3. Is p(-5) composite?
True
Suppose -63 = 5*h + 297. Let w = 151 + h. Is w prime?
True
Let i(y) = y**2 - 8*y - 5. Let r be i(9). Suppose r*n + n = 10. Suppose -n*d - 255 = -5*o, -4*d - 9 - 93 = -2*o. Is o a prime number?
False
Let z(w) = -w**3 + 7*w**2 - 4*w + 7. Let b be z(6). Let r = b - 0. Is r a prime number?
True
Let b(r) = -15*r + 11. Is b(-14) composite?
True
Let s be (2 + (-21)/6)*-1370. Let g = s + -1440. Suppose 5*z = 5*b - g, -2*z - 11 = -3. Is b a prime number?
False
Is (-762)/4*2/(-3) a prime number?
True
Let w(m) = 2*m + 3*m**3 + 1 + 0*m + m**2 - m. Is w(2) composite?
False
Let w = -41 - -25. Let t be (3/(-2))/((-12)/w). Is (-26)/(0 + t) + -2 composite?
False
Let s = 136 + 171. Is s composite?
False
Suppose 3*m + 0*m - 15 = 0. Suppose 4*l - f = 6*l - 234, 0 = -3*l - m*f + 365. Is l prime?
False
Suppose -27 = -2*x + 5*h, 2*h - 16 = -x + 5*h. Let l be 0/((0 - x)*-2). Suppose -s + 5*s - 5*v - 4 = l, -14 = -5*s + 4*v. Is s composite?
True
Suppose -13 - 12 = -5*r, -4*r + 1705 = 5*y. Is y a composite number?
False
Let h = 330 - -109. Is h composite?
False
Let f(c) = 13*c**2 - 7*c - 9. Is f(-10) prime?
True
Is -177*4/(-12) - 0 a composite number?
False
Suppose 0 = d + 3 - 6. Suppose 2*s + v - 313 = 0, 3*s + 8*v - 466 = d*v. Is s a prime number?
True
Let y be 2*5*(-5)/(-10). Suppose -102 = -y*d + 273. Is 0/3 + d - -2 a prime number?
False
Let l be (8/6)/(10/465). Suppose -w - d + 6*d = -11, 2*d + l = 4*w. Suppose 37 = h - w. Is h a prime number?
True
Is 2/(-5) + 43869/35 composite?
True
Is (1/(-1))/(11/(-583)) a prime number?
True
Suppose -4*c + 15 = -9. Suppose -4*m + 157 = c*z - 3*z, -4*z + 12 = 0. Is m prime?
True
Suppose 4*j = -0*j + 8. Suppose -2*o - b - j*b = -54, -3*o - 3*b = -87. Is o a prime number?
False
Let k(l) = 13*l**3 - 2*l - 1. Suppose -3 = 3*w - 0*w. Let n be k(w). Let s = n + 34. Is s a prime number?
False
Suppose -5 = -5*i + 20. Suppose i*d = 4*h - 17, 4*h + d - 14 = -h. Suppose -2*c + 2*z = -h*z - 158, -z = 0. Is c a composite number?
False
Let n be 0 + 0 + -7 + 7. Let d be (-1 + n)*-1 + 0. Is (d - 52/(-2)) + -2 composite?
True
Suppose 3*d - 6 = d. Is (d - 0)*(-46)/(-6) prime?
True
Suppose 3*r = 653 + 2092. Suppose -2*j - j = -r. Is j a prime number?
False
Let a(g) = 347*g**2 - 2*g + 1. Let t be a(1). Suppose -c + 3*r + t = 0, -3*c - 2*r + 302 + 681 = 0. Is c a composite number?
False
Suppose 0 = -2*b - 0*b + 26. Is b a composite number?
False
Suppose -2 = -y + 2. Let v(q) = q + 5. Let s be v(-5). Suppose 0 = 5*d - y*m + m - 270, -3*d - m + 148 = s. Is d a prime number?
False
Suppose -2 = -2*k + 6. Suppose -5*d = -k*b - 67, -2*b + b + 52 = 5*d. Is d composite?
False
Suppose 3414 = 2*r - 1196. Is r prime?
False
Suppose 0 - 1 = x, 0 = -j - x + 42. Is j a composite number?
False
Let a = -1599 + 3820. Is a prime?
True
Suppose 1777 = s - 1497. Is s composite?
True
Suppose -b + 135 - 8 = 0. Let h = b - 3. Let o = h - 9. Is o a composite number?
True
Let x(a) = -a**2 - a + 3. Let l be x(0). Let v(o) = -4*o**3 + o**2. Let t be v(1). Is (-56)/t + l/9 a prime number?
True
Suppose h - 57 = 5. Suppose 125 = j + c, -2*j + 318 = -c + h. Is j composite?
False
Suppose -4*g + 5*w + 456 = -g, 4*g - w = 591. Suppose -n = -5*a - g, 107 + 24 = n - a. Is n a prime number?
True
Let g(k) = -7*k + 2. Let r(x) = 15*x - 3. Let u(z) = 13*g(z) + 6*r(z). Let t be u(6). Suppose -3*d + 1 = f - 6, 0 = -t*d. Is f a composite number?
False
Let r = 14 + 20. Let k = -140 + r. Is (-1)/(-2)*k/(-1) prime?
True
Let z = -16 - -29. Is (-2)/1*z/(-2) prime?
True
Suppose 3 = -2*s + 3*w, 3*s + 0*s - 6 = w. Let p = 6 - s. Suppose r + o = -21 + 56, 0 = -3*r + p*o + 93. Is r composite?
True
Suppose 2*u + u - 57 = 4*d, -38 = -u - 5*d. Let a = -174 + 259. Suppose -a = -2*h - u. Is h a prime number?
True
Let f = -310 + 616. Let l = f - 179. Is l a prime number?
True
Let r(g) = -4*g + 3*g + 37 + 2*g. Let y be -3 - (-4 - 2/(-2)). Is r(y) a composite number?
False
Let t be 0 + -3 + 0 + -266. Let a = t + 384. Is a a prime number?
False
Let s(u) = -6*u**3 - 2*u**2 - 3*u - 3. Let x(t) = -t**2 - 8*t - 2. Let j be x(-8). Is s(j) a prime number?
True
Suppose -50*r = -46*r - 664. Is r prime?
False
Let m = -144 - -503. Is m a composite number?
False
Let v = -414 - -250. Let n = v - -285. Is n prime?
False
Let w(a) = a**2 + 3*a - 3. Let j be w(2). Let v(n) = 5 + 6 - 6 + 4*n. Is v(j) a prime number?
False
Let h be 1145/(-4) + (-6)/(-24). Is (h/(-8))/((-1)/(-4)) prime?
False
Let f(j) = j**2 - j + 821. Is f(0) a prime number?
True
Suppose 19*p - 22*p + 2973 = 0. Is p a prime number?
True
Suppose 0 = -2*n + 6*n + 4. Let u(p) = -54*p. Let h be u(n). Is 9/h + (-802)/(-12) a composite number?
False
Suppose 2*x = -5 - 9. Let h(z) = -z**3 - 4*z**2 - 7*z - 5. Is h(x) composite?
False
Let m(p) = 3*p + 10. Let q be m(-4). Is (-19 + 13)/(q/37) a prime number?
False
Let q = 9 + -6. Suppose -2*a + 5 = -q. Let n(z) = 3*z - 5. Is n(a) prime?
True
Let t(n) = -