uppose 829 = 3*g + z + 234, 2*z = 3*g - 601. Is g prime?
True
Let i(n) = -n**2 + n - 3. Let s be i(0). Is (-8 + (-3)/s)/(-1) prime?
True
Suppose 0 = 3*s - 0*s - 669. Is s composite?
False
Let f = 106 - 38. Let j be 335 + (1 + 1 - 1). Suppose 4*n + f = j. Is n prime?
True
Let y(i) = 5*i - 7 + 7*i + 4*i. Is y(6) prime?
True
Let p = -19 + 20. Is 958*p/(-4)*-2 a prime number?
True
Is 1*(35 + 9 + (-1)/1) a composite number?
False
Suppose 0 = c - 76 - 362. Suppose -2*l + 170 = o, 5*l - 4*o - c = -0*l. Let q = 121 - l. Is q composite?
True
Let u(g) be the third derivative of 13*g**4/12 - g**3/6 - 3*g**2. Is u(6) composite?
True
Suppose -4*p + 2146 = 4*c - 7*p, 3*c + 3*p = 1599. Suppose -d - 2*s = -150, -5*d + 183 + c = 2*s. Is d prime?
False
Suppose 2*f - 4 = -0. Suppose f*m = 4*m. Suppose -o + 0*o + 7 = m. Is o a composite number?
False
Let h = -2 + 3. Let d be 1 - (-3 + h)/(-2). Suppose 3*q - 93 = -d*q. Is q prime?
True
Let n(r) = 5*r - 9. Let z(p) = 6*p**2. Let y be z(-1). Is n(y) a composite number?
True
Let t = 2 + -9. Let c be -2*(-4 + 0 + 3). Let g = c - t. Is g a prime number?
False
Is (4/((-12)/1163))/((-3)/9) a prime number?
True
Suppose 5*c = h + 183 + 303, 0 = 2*c + 2*h - 204. Suppose 658 = 4*u + 5*i + c, 0 = 5*u - 5*i - 745. Is u prime?
False
Let g(z) = 4 - 2 - 2*z + 0. Let d be g(-2). Let m(y) = y**2 - 2*y - 5. Is m(d) composite?
False
Is ((-1042)/8*1)/((-11)/44) prime?
True
Suppose 7164 = 3*o - 3*n, 1876 = o + 5*n - 530. Is o a composite number?
True
Suppose -m + 916 = 222. Is m a composite number?
True
Let d(l) = l + 6. Let t be d(-7). Let b be 64 - -1 - (t + 0). Let f = b - 43. Is f composite?
False
Suppose 79 = 2*v - 39. Let j be 1/3*(-2 - -14). Suppose -j*w = -3*h + 29, -w = -5*h + 3*w + v. Is h composite?
True
Is -1169*-1*(1 + 4)/5 prime?
False
Let a = -79 - -592. Suppose -2*y - y - a = 0. Let t = y + 262. Is t a composite number?
True
Let s(u) = u**2 + u - 4. Let k be s(-4). Suppose o = w + 43, k*o - 3*o - w = 215. Is o a composite number?
False
Suppose -3*q + 0*q + 15 = 0. Suppose -q*f = -32 - 183. Is f a composite number?
False
Let p be 2 + 3*63 + 2. Suppose p = 2*f - 241. Is f prime?
False
Suppose 406 + 454 = 4*i. Suppose -4*g = 3*p - i, 0 = 2*g + 3*p - 163 + 54. Is g a prime number?
True
Let j(m) = -m - 2. Let x be j(-7). Let o(p) = -p**3 + 3*p**2 - 8*p + 4. Let d be o(x). Is d/(-8) + (-4)/(-16) composite?
False
Suppose -q + 22 = -31. Is q a composite number?
False
Let u = -1551 - 98. Is (-4)/(-26) - u/13 a composite number?
False
Suppose 7*q - 621 = 373. Is q prime?
False
Let s = 5 - 10. Let v = s + 5. Suppose v*m = -3*m + 93. Is m prime?
True
Let i(d) = -d**3 - 7*d**2 - 7*d - 4. Let b be i(-5). Is 1*3*-1*b prime?
False
Let r = -27 + 112. Suppose -5*y = -0*y - 160. Let f = r - y. Is f prime?
True
Let d(j) = j**2 + 6*j + 7. Suppose -3*m + 8 - 23 = 0. Let r be d(m). Let a(w) = 4*w**2 + w + 1. Is a(r) prime?
True
Suppose -o + 1360 = -5*o. Let l = -98 - o. Suppose u + 4*b - 323 = -2*u, -4*b - l = -2*u. Is u a composite number?
False
Suppose 2*d = 3*y + 164, -y = 3*d - 2*d - 82. Let t = -29 + d. Is t a prime number?
True
Let j(h) = h**3 - 5*h**2 - h + 6. Let y be j(5). Let d(l) = 12*l**3 + l. Is d(y) composite?
False
Suppose -3*h = -6 - 6. Let s be 7 - h/2 - 0. Suppose 2*z = -2*t + 57 + 83, -s*t - 52 = -z. Is z prime?
True
Let m be 6/(-4)*(-286 - 4). Suppose m = -0*a + 3*a. Is a composite?
True
Suppose 0*v = -5*v + 15. Let h(b) = -b**2 + 2*b + 3. Let q be h(v). Suppose 4*m - 5*g + g - 248 = 0, 3*m + 4*g - 221 = q. Is m a prime number?
True
Let d = -3588 - -5897. Is d composite?
False
Let q(p) = p**3 - 3*p**2 + 3. Let r be q(3). Suppose -r*z = -z. Suppose g - 245 = -5*v + 3*g, z = -3*v - 4*g + 147. Is v a composite number?
True
Let c be 370/130 + 2/13. Is 2/c*(-330)/(-4) composite?
True
Suppose k + u - 587 = 2298, 2*k = 5*u + 5784. Is k a prime number?
True
Let a = 137 + 24. Is a prime?
False
Let m be (-3)/(9/(-12)) + -2. Is ((-1)/m)/(5/(-370)) prime?
True
Suppose -x = 4*j + 2*x + 13, -3*j = 3*x + 12. Let z be (3/(-6))/(j/(-6)). Let f(u) = -13*u - 4. Is f(z) a prime number?
False
Let x be 2/3 + (-110)/30. Is x/(1 - 7)*178 a prime number?
True
Let g = -6 - 6. Let t = g - 22. Let c = t - -73. Is c composite?
True
Let r(d) = -d**2 + 7*d + 5. Let c be r(7). Suppose 4*u - 2*q - 454 = 0, -c*q = -2*u - 0*u + 231. Is u a composite number?
False
Let b be (-2 - -2)*2/4. Suppose -3*t + 7*t - 332 = b. Is t a prime number?
True
Suppose i + 4*a = -16, -4 + 1 = -2*i - a. Suppose 2 = h - 2*h, 3*k = i*h + 29. Suppose 4*u - 5 = k. Is u composite?
False
Let z(x) = 4*x**2 - x**3 + 2*x + 4*x - 4*x - 6. Suppose -20 = 4*t, -3*a + 5*t = -49 + 12. Is z(a) composite?
False
Suppose 5*c = 2*z + 11, -5*z - 4*c + 74 = 19. Let d(x) = x - 2. Let a be d(z). Suppose 2*j + 370 + 21 = 5*q, a*q - 388 = j. Is q a prime number?
False
Let k be 8*-1*3/(-6). Suppose -2*b = k*l - 266, 3*b + 6 + 9 = 0. Suppose l = 3*s - 2*s. Is s prime?
False
Suppose -5*l + 6 = -3*l. Let a(s) = -7 + 2*s + 2*s**2 + 0*s**3 + s**3 + 5. Is a(l) a prime number?
False
Let v(p) = -p**3 + 3*p**2 + 5*p + 3. Let n(w) = w**3 - 3*w**2 - 5*w - 4. Let q(u) = -2*n(u) - 3*v(u). Let d be (54/(-24))/(6/(-16)). Is q(d) a composite number?
True
Let p(l) = -l**2 - 22*l - 25. Is p(-10) a composite number?
True
Is 3/12 + 763/4 a prime number?
True
Suppose 9*s - 4*s = 10. Suppose 0 = -3*k + 2*q + 275, k - 278 = -s*k + 5*q. Is k a prime number?
False
Let m(s) = -26*s + 1. Is m(-3) prime?
True
Is (-444)/8*66/(-9) composite?
True
Is 1/(-5) + 12544/70 a composite number?
False
Suppose -h - 2*y - 2 = h, -19 = -2*h + 5*y. Suppose u + 5 = -h*g, 14 + 1 = 2*g - 3*u. Suppose g = 2*l + 2*l - 372. Is l composite?
True
Suppose 2*u + 7 = 3*j, u - 5 + 11 = 2*j. Suppose 0*p - 2*p = -u*f + 10, f = -p + 1. Is f composite?
False
Let w(n) = 11*n**3 - 3*n**2 + 4*n + 1. Is w(4) prime?
True
Suppose 2*v - 141 - 761 = 0. Is v a prime number?
False
Is (-1 - 0)/((-5)/35) prime?
True
Let a = 4 + -2. Suppose -38 = -0*n - 2*n + l, -4*l - 50 = -a*n. Suppose -3*o + 2*o + n = t, -40 = -2*o + t. Is o prime?
True
Let l(i) = -2*i - 10. Let j be l(-7). Let m(o) = o**2 + 4*o - 4. Let n be m(j). Let q = n - 6. Is q a prime number?
False
Let s(j) = j + 1. Let t be s(7). Let q = 12 - t. Is q prime?
False
Suppose -2*z + 0*a - a = -62, -5*z = -4*a - 181. Is z prime?
False
Let h be 4/8*(-2 + 2). Let b = 7 - h. Is b composite?
False
Suppose 0 = 4*f - 2*f - 2. Is f*90 + 3 + -2 composite?
True
Let i = 54 - -277. Is i a prime number?
True
Let w = -133 - -246. Suppose 3*g - w - 46 = 0. Is g a composite number?
False
Let c(f) = -f**3 - 2*f - 2. Is c(-2) prime?
False
Is 891/4 - 5/(-20) a composite number?
False
Let l = -2253 + 3796. Is l composite?
False
Let j(o) = o**3 + 5*o**2 - 4*o + 2. Let f be j(-5). Suppose r = 4*i + 71, -4*r - r + 374 = -i. Let a = r + f. Is a prime?
True
Let m = -237 + 352. Is m a composite number?
True
Suppose -q = -3*i - 1, -q + 2*i + 6 = q. Let m = q + -4. Suppose 3*b - 15 - 63 = m. Is b prime?
False
Suppose -g - 6 = -2*g. Suppose -2*s - 25 = -c, g*c + 3*s = c + 86. Is c a prime number?
True
Suppose 5*n + 55 = -5*p, 2*p - 5*n + 29 = -0*p. Let k be (-44)/p - 2/(-6). Suppose 0 = -k*o + 3*z + 233 + 32, 0 = 2*z - 2. Is o prime?
True
Is (-1)/(-2 + 1) - -90 a prime number?
False
Let m(b) = b**2 + 7*b + 4. Let z be m(-7). Let w be 201/7 - z/(-14). Let j = w + -18. Is j a prime number?
True
Suppose -5*q + 3*a + 30 = -11, q - 7 = a. Suppose -y - 2*g = -q, 4*y + g - 2 = 10. Suppose -167 = -5*n + 3*j, 3*n + y*j = -2*n + 172. Is n a composite number?
True
Suppose -4*i + a = -143, -2*a = 3*i + 3*a - 90. Is i prime?
False
Suppose -a = -3*x + 561, a = -4*x - 3*a + 748. Is x a composite number?
True
Let y = 9 - 4. Suppose -y*n - 11 = -56. Is n a prime number?
False
Let t(z) = 186*z - 1. Let k be t(2). Suppose -5*j + 323 = 3*y - k, y - j = 218. Is y composite?
False
Let l(b) = -87*b - 2. Let i(r) = -58*r - 1. Let m(s) = 8*i(s) - 5*l(s). Is m(-7) a composite number?
True
Let w(y) = 184*y + 3. Is w(1) composite?
True
Let b be 4/(-22) + 105/33. Let z(a) = a**3 + a - 4*a - 3*a**3 + a + 3 - b*a**2. Is z(-4) prime?
False
Let k = -2 + -2. Let q = k - -4. Let b(z) = z**2 + 35. Is b(q) prime?
False
Let p = 2 + 0. Let u = p + 125. Is u composite?
False
Suppo