 -3647 - g. Is l a composite number?
True
Let k(a) = -101*a - 27. Let p(g) = 2*g + 10. Let n be p(-9). Is k(n) composite?
True
Let k be 12/15*10/4. Suppose 596 = k*p - 3006. Is p composite?
False
Suppose -3*t + 1138 = -1520. Is t composite?
True
Let l = 29 + -26. Is 20 + -3 + -1 + l a prime number?
True
Let s = 1618 - -1340. Is 1 + s - (-3)/(-9)*6 composite?
False
Suppose p + 2 = 2*q, 17 = 3*q + 2*p - 0*p. Suppose 5*l = 2*v - 203, -13 = q*v - 4*l - 335. Let a = v - 31. Is a a composite number?
False
Let u(m) = 477*m + 78. Is u(15) composite?
True
Let o = 5817 + 2512. Is o composite?
False
Let h(u) = -u**2 - 15*u - 1. Let i be h(-14). Suppose -i*l + 15*l - 4 = 0. Suppose l*t - 116 = -0*t. Is t a composite number?
True
Suppose 65353 = 3*a - 7*s + 8*s, a = s + 21787. Is a a prime number?
False
Let b be (-2 + -2)/12*69. Is 11*b/3*-3 a composite number?
True
Let d(q) be the first derivative of q**3/3 - q**2 + 4*q - 1. Suppose 4*p + 3 = 2*m + 31, 2*p + 4*m = -6. Is d(p) composite?
False
Let l(u) = -6*u**3 - 3*u**2 - 3*u - 3. Suppose -a + 16 = -3*x + a, -2*x + 3*a = 19. Let t be l(x). Suppose -5*z + t + 991 = 0. Is z a composite number?
True
Let s = 73 + -236. Let t be 17/((-153)/2616) + 4/(-3). Let d = s - t. Is d composite?
True
Let f = 12289 + -3068. Is f a composite number?
False
Let f(s) = -3*s**3 - 4*s**2 + 5*s + 105. Is f(-9) a composite number?
True
Let t(a) = 670*a + 107. Is t(11) a composite number?
False
Let n = 9071 + -6348. Is n composite?
True
Let o(g) = 2826*g**3 + g**2 + g - 1. Is o(1) a prime number?
False
Let x be (-1 - -1) + (6 - -715). Let r(d) = -203*d + 5. Let p be r(-5). Let l = p - x. Is l prime?
False
Let t(o) = -4390*o + 801. Is t(-16) a composite number?
True
Suppose 13 = -4*f + j + 4*j, 19 = -2*f + 5*j. Let x be 1*-15*(-1)/f. Suppose x*k + 379 = 6*k. Is k prime?
True
Let v = -571 - -359. Let a = 335 + v. Is a a composite number?
True
Let v be 46/6 - 2/(-6). Is 4/(((-27)/(-36))/(447/v)) a composite number?
True
Let j(z) = 254*z - 1. Suppose -2*o + 4*c = 10, o - 3*c + 1 + 8 = 0. Let i be j(o). Let p = -528 + i. Is p a prime number?
True
Let c be -4*(-2 + 1) + -2. Is (521/c)/((-4)/(-8)) prime?
True
Suppose -20*v + 54185 = -28035. Is v composite?
False
Let s be 2 + 1/4 + 45/(-4). Let j(x) = -8*x + 2. Is j(s) a composite number?
True
Let r(t) = t**2 + t - 10. Let z be r(-5). Suppose 0 = -4*p + z*p - 2442. Is p a prime number?
False
Suppose 5*d = 2*a - 403, 5*d + 3*a = 4*a - 404. Let x = -230 - -390. Let f = x + d. Is f composite?
False
Is -1 + 2 + (-10 - -8)*-52289 a prime number?
True
Let i = 9628 + -3465. Is i a composite number?
False
Let w be (-2)/9 - (-4300)/(-9). Let r = w - -1535. Is r a composite number?
True
Suppose 8303 = 12*w - 34765. Is w prime?
False
Suppose -1206 = -p - 4*y, 4*y = -0*p + p - 1174. Suppose 2*l - 4*n = p, 4*l - 5*n - 412 = 1959. Is l composite?
True
Suppose -2*r + 75 = -5*r. Let c = r + 27. Suppose 4*t = -t - c*w + 1075, 5*w - 1090 = -5*t. Is t a composite number?
True
Let c(j) = -j**3 + 6*j**2 - 6*j + 5. Let x be c(5). Let i be -8 + 5 + (x - 0). Is (-2)/i*(-1455)/(-10) composite?
False
Let o = -6917 + 10906. Is o prime?
True
Let m(l) = -16*l**2 + 8*l + 33. Let z be m(14). Let d = -1334 - z. Is d a prime number?
True
Suppose -2755 = -2*i + 313. Let n = i + -1023. Is n a prime number?
False
Let k(j) = -j**3 - 2*j**2 - 4*j - 3. Let h be k(-2). Suppose h*n - 156 = -41. Is n prime?
True
Let d(b) = 122*b + 57*b + 178*b - 106*b. Let r be d(2). Suppose r = -2*k + 4*k. Is k composite?
False
Suppose -13*r - 14*r = -229527. Is r a prime number?
True
Let y = 3900 - 2229. Is y a prime number?
False
Suppose 0 = -4*q - 12, -13*t + 10*t - 2*q + 164913 = 0. Is t a composite number?
False
Suppose 4088 = w - 47. Is w composite?
True
Suppose 14310 = 12*w - 2478. Is w prime?
True
Let j = 957 + 586. Is j composite?
False
Let b = 38 + -24. Is 4/b + 6*445/14 a composite number?
False
Let q(b) = -b - 3. Let h be q(-8). Suppose -h*g + 870 = -2*g. Is (-3)/(-6)*g/1 a composite number?
True
Let y be -4*((-9)/(-6))/3. Let b(f) = 9*f - 3 - 21*f + f. Is b(y) composite?
False
Suppose -5*s = 2*x + x - 120, -2*s - 4*x = -62. Let k = -18 + s. Suppose 0 = -k*n - 2*n + 385. Is n a composite number?
True
Suppose -7*x = -3*x - 264. Suppose 95 = 4*u - 365. Let c = u - x. Is c composite?
True
Let f(r) = 18*r - 1. Suppose 13 = 2*l - 5. Let k be 33/l - 2/(-6). Is f(k) a composite number?
False
Suppose 20*f - 147129 = 589051. Is f prime?
True
Let w(k) = -366*k**3 + 3*k**2 - 12. Let x be w(-3). Suppose 13*c + x = 16*c. Is c prime?
True
Suppose -35383 = 19*o - 274802. Is o a composite number?
False
Let i = 6044 - -22886. Is (i/(-15))/((-2)/3) composite?
True
Let v(z) = 163*z - 89. Is v(6) a composite number?
True
Let g(w) = 14*w**2 - 8*w + 5. Is g(-6) composite?
False
Let q(u) = u**2 - 6*u - 12. Let c be q(8). Suppose -r - 886 = -c*i - 0*r, 0 = -r + 2. Let o = i + -155. Is o a composite number?
False
Let h(s) be the second derivative of 163*s**4/12 + s**2/2 + 5*s. Let b be h(1). Let j = b + -115. Is j composite?
True
Let c = 15605 - 504. Is c a composite number?
False
Suppose -6*l - 1326 = -3*l. Is -2 - (-1 + l) - -2 a prime number?
True
Let r(v) = -3*v**3 + v**2 - 1. Let p be r(-1). Suppose -2*z + 234 = -3*n, -p*n = 4*z - 8*n - 466. Let b = z - -65. Is b composite?
False
Let f(w) = 22*w**2 + 4*w + 7. Let k be f(-7). Suppose 4*u - j + 423 = 6*u, 0 = -5*u - 2*j + k. Is u prime?
True
Is (11/5 + -2)*82385/1 a composite number?
False
Let h = -17 + 22. Suppose 2*c + n = 6*n + 1934, 4769 = h*c + 4*n. Suppose 5*g = 8*g - c. Is g a composite number?
True
Suppose 8*u + 44 = 4*u. Let l = 17 + u. Is (184/l)/((-14)/(-21)) prime?
False
Suppose -1495 = 3*v + 5*b - 14177, -8456 = -2*v - 2*b. Is v prime?
True
Is (27/(-9) + 1)*(-797)/2 a prime number?
True
Let v(k) = 1575*k**2 - 2*k - 1. Let t be v(3). Suppose -2*w + t = 5070. Suppose 0 = 4*d + 993 - w. Is d a composite number?
True
Is (-25503)/(-7) + (69/(-21) - -3) a composite number?
False
Let g = 21534 + -4015. Is g a prime number?
True
Let m(r) = 27*r**2 - 17*r - 27. Is m(16) a prime number?
False
Is (12934 - -5) + (6 - 4) composite?
False
Suppose -1 = -2*z - 5*d, -2*z - 7 = 3*d - 6. Let c(y) = 365*y**2 - 5*y - 5. Is c(z) composite?
True
Suppose -70546 = -61*s + 54*s. Is s a prime number?
False
Let a = 6625 + -3084. Is a a composite number?
False
Let n(z) be the first derivative of z**3/3 + 42*z + 34. Is n(-17) a prime number?
True
Let c(k) = -k**3 + 13*k**2 - 13*k + 13. Let n be c(12). Suppose -1 - n = -2*u. Is (0 + u)/(8/2536) composite?
False
Let u(c) = -2*c**2 - c + 13147. Is u(0) a composite number?
False
Is 4652/(-10)*(-5)/2 a composite number?
False
Suppose -10068 = -8*v + 2*v. Let j = v - 1091. Is j composite?
False
Let b(h) = 789*h + 59. Is b(12) prime?
False
Suppose l - 4*l = 3*i - 1326, l - 5*i - 472 = 0. Suppose -l = -7*w + 6*w. Is w a prime number?
False
Let g = -66 + 65. Suppose 0 = n - 2*o + 10, 0*n = n - 5*o + 25. Is (n + g)/((-1)/631) a composite number?
False
Let z = -5 - -10. Let d(b) = 7 + 15*b**2 - z*b + 0 - 2 - 2. Is d(4) prime?
True
Suppose -33*j + 71755 = -28*j. Is j a composite number?
True
Let i(u) = 2*u**2 - 2*u + 9. Let f(z) = -3*z - 7. Let g be f(2). Is i(g) composite?
False
Suppose 0 = 2*a + 137 + 225. Let i = 810 + a. Is i a composite number?
True
Let g = 1641 + -713. Let s = -429 + g. Is s prime?
True
Let v(l) = 30*l + 6. Let z be v(-8). Let d = 345 + z. Is d a composite number?
True
Suppose j = -3*a - 1148, -j - 3*a + 2*a = 1144. Let f = j + 2959. Is f prime?
False
Let x be 2/8 - (-4755)/(-60). Let s(r) = r**3 - 15*r**2 + 30*r - 10. Let v be s(14). Let y = v - x. Is y prime?
True
Let u be (8/(-10))/(24/(-60)). Suppose -u*a = 3*a - 7385. Is a a prime number?
False
Let y(o) = 21*o**2 - 2*o. Let q be y(-6). Let z = q - -207. Suppose -2*j - 3*k + z = 2*k, 3*j - 1451 = 4*k. Is j a composite number?
True
Let r(t) = -25*t**3 - t**2 - 9*t - 17. Let d(x) = -24*x**3 - x**2 - 9*x - 17. Let l(q) = 7*d(q) - 6*r(q). Is l(-3) composite?
False
Suppose -3 = -3*c, -3*y - 7010 = -8*y - 5*c. Is y prime?
False
Let j(v) = 96*v - 17. Let s be j(3). Let b = 2318 - s. Is b composite?
True
Let w(y) = 80*y**2 - 8*y - 11. Is w(-6) prime?
True
Let f = 36736 - 21945. Is f composite?
True
Suppose -3