 1837 = 0, -5*k + 2*g = -k - 7384. Is k composite?
False
Suppose 20 = -0*q - 2*q. Let w be ((-9)/15)/(2/q). Suppose -k = w*k - 24. Is k a composite number?
True
Suppose -4*d + 840 = j, -3*d - 4*j = j - 613. Is d prime?
True
Suppose 5*w - 453 = -2*a - 2*a, -5*w - a = -447. Is w composite?
False
Is (((-27624)/15)/4)/((-1)/5) prime?
False
Suppose 0*j + j - n - 20 = 0, 2*n = -8. Suppose 5*z - 59 = 4*h, 5*z - 99 + j = -2*h. Is z a prime number?
False
Let b = -21 - -36. Suppose 4*y + 5*d - 21 - 189 = 0, -d + 152 = 3*y. Suppose i - y = b. Is i composite?
True
Let m be -534*(3 + (-10)/3). Suppose -5*u + m = -4*y - 495, y = 4*u - 534. Is u composite?
True
Suppose -4*u + 12 = 0, -4*v + u + 0*u + 9 = 0. Suppose -1169 = -4*l - 0*r - 5*r, -4*l = v*r - 1167. Is l composite?
True
Suppose 4*f - 24680 = -8236. Is f prime?
True
Let h = 7 + -2. Suppose h*n = 2*n + 447. Is n composite?
False
Let f(p) = p**2 + 8*p + 2. Let l be f(-8). Suppose -l*x = -88 - 90. Is x prime?
True
Let w = -3 + 9. Suppose z - 6*z + w = -2*t, -4*z + 3*t + 9 = 0. Suppose -3*y + 38 + 121 = z. Is y prime?
True
Let u = -46 + 740. Is u a composite number?
True
Let z = 820 - 485. Is z a composite number?
True
Let q = 243 + 454. Is q a prime number?
False
Let g = -994 + 1743. Is g prime?
False
Suppose -2*k + 107 = -3*c, k + 3*c = -0*k + 40. Let f = k + -34. Is f a composite number?
True
Let i = -160 - -249. Is i composite?
False
Let p(z) = -8*z + 11. Let n(l) = 9*l - 12. Let d(j) = 3*n(j) + 4*p(j). Is d(-10) a composite number?
True
Let b = 82 + -162. Is -1 - (0 + b/1) composite?
False
Let y = -128 + 419. Is y prime?
False
Let s(r) = 2*r**3 - 4*r**2 - 6*r - 1. Let q be s(6). Let c(x) = -14*x + 7. Let p be c(-6). Suppose -2*z = 3*y - q, 4*z + p = y + z. Is y a prime number?
False
Suppose -w + 396 = w. Let c = -116 + w. Suppose 2*l + 107 = 3*u, 5*u + 5*l = c + 113. Is u composite?
False
Suppose 2*v - 4*y = -14, 0*v - 4*v + 4*y = 8. Suppose -298 = -v*l - 25. Is l a prime number?
False
Suppose s = 172 + 49. Is s composite?
True
Let c = -7 + 7. Suppose c = -t + 1 - 3. Is 2 - (t + 113)/(-3) a prime number?
False
Let m be (-1 + (-3)/4)*12. Is m/14*(-92)/6 a composite number?
False
Suppose 3*r + l = -8 + 2, -5*l = -15. Let a(x) = x**3 + 4*x**2 + 4*x + 3. Let t be a(r). Suppose t*y + 3*y - 117 = 0. Is y composite?
True
Suppose 5*x = -3*p + 897, 6*x - 2*p - 523 = 3*x. Is x a composite number?
True
Suppose -473 = -5*j + 2*a, 384 = 4*j - 5*a + 2*a. Suppose -j + 519 = 3*v. Let x = -87 + v. Is x composite?
True
Let w(l) = -37*l**3 + l**2 - 4*l - 3. Let b be -2*1/2 + -1. Is w(b) prime?
False
Let r(l) = -l**3 + 4*l**2 + 2*l - 3. Let c be r(3). Suppose c = u + u. Let d(s) = 5*s + 7. Is d(u) a prime number?
True
Suppose 5*n - 24 = 2*n. Suppose n*k - 25 = 3*k. Suppose 0 = k*m + 5, -l - 3*l = -2*m - 78. Is l composite?
False
Suppose -3*z - 9 = 0, o - 2*z = -0*o + 1. Let r(k) = 3*k**2 + 2*k. Is r(o) prime?
False
Suppose -450 = -5*d - v, 0 = 4*d + 2*v - 351 - 15. Is d a composite number?
False
Suppose -6*l + l = -540. Suppose 40 = 4*p - l. Is p a prime number?
True
Suppose 0 = -2*x + 5 + 375. Let b be (-27)/(-5) - (-4)/(-10). Suppose v - x = -2*z, 3*z - 6*z - b*v = -285. Is z composite?
True
Suppose 3*f - 6596 = 5*m, -4*m + f - 4747 - 534 = 0. Let n = -876 - m. Suppose a - n = -4*a. Is a a prime number?
True
Let q(l) = -4*l**2 - l. Let d(n) = -7*n**2 - 2*n - 1. Let g(a) = 3*d(a) - 5*q(a). Let w(r) be the first derivative of g(r). Is w(-10) a prime number?
True
Let f = -1916 + 2793. Is f a prime number?
True
Let t(x) = 21*x**2 + 2*x - 3. Let d(r) = r**2 - 2. Let i be d(2). Is t(i) composite?
True
Let j be 6*(4/3)/(-4). Let u be (-14)/(j + 1) - 2. Suppose -5*o + 18 + u = 0. Is o a composite number?
True
Suppose -u + 0*p + 87 = 2*p, 2*u - 159 = -p. Is u a prime number?
False
Suppose 6*r - 173 = 541. Is r composite?
True
Let f = 8 + -6. Suppose l + 16 = 3*a, -2*a + 0 + 8 = -f*l. Is a/(0 + 2/11) a composite number?
True
Suppose 4*w = 3*w. Suppose w = -z - 3*z + 88. Is z a prime number?
False
Let t(a) = 24*a**3 + 3*a**2 - a + 1. Is t(3) a composite number?
False
Let c = 690 - 49. Is c a composite number?
False
Let j(i) be the first derivative of i**6/120 - i**5/6 - 7*i**4/24 + 5*i**3/2 - 2*i**2 + 1. Let q(c) be the second derivative of j(c). Is q(11) prime?
True
Let q be ((-24)/(-9) - 3)*21. Let f be (q/(-7))/(2/4). Suppose d + 60 = 2*z, -f*z = -z + 5*d - 41. Is z a prime number?
True
Suppose 4 + 11 = a - 4*h, 0 = 5*a - 5*h - 15. Let y be 5 + (-9)/(3/a). Is ((-145)/2)/((-4)/y) composite?
True
Is (2/(-4))/((-4)/44728) a prime number?
True
Let v(k) = -2*k**3 - 3*k**2 - 2*k + 3. Let g(r) = 2*r + 3. Let w be g(-2). Let o(f) = 3*f - 1. Let j be o(w). Is v(j) a composite number?
True
Suppose -228317 = -24*o - 60341. Is o composite?
True
Suppose 89 = 3*y - 160. Let z = y - 57. Is z composite?
True
Let j(i) = -2 + 1 + 10*i - 22*i. Is j(-13) prime?
False
Suppose -2*s - 3*s = -4500. Let q = s - 637. Is q a prime number?
True
Let f(c) = 412*c**2 + 1. Is f(2) composite?
True
Let d be (-2)/(-8) + (-3377)/4. Let s = d + 1475. Is s composite?
False
Let t(f) = -13*f + 15. Is t(-16) prime?
True
Is (1882/(-6))/((-8)/24) composite?
False
Suppose 0 = -i - 3 + 6. Suppose -5*v + w + 8 = 0, 0 = 2*v + v + 3*w - 12. Suppose v*y + i*y - 70 = 0. Is y a composite number?
True
Suppose -r - 17 - 78 = 0. Is r/(-1) - 0/11 prime?
False
Let l(v) = -v**3 + 7*v**2 + 7*v + 3. Let u be l(8). Is u + 4/2 + 62 prime?
True
Let h(b) = b + 1. Let t(y) = -8*y - 14. Let d(z) = -12*h(z) - t(z). Let p be d(-2). Suppose p = 2*l + 4*r, -3*r - 45 = -5*l + 3*l. Is l composite?
True
Let f be ((-8)/10)/((-8)/(-940)). Is f*(9/6 - 2) composite?
False
Let s(y) = 789*y - 13. Is s(6) a prime number?
True
Suppose 0*h = -4*k + 2*h + 16, 5*k - 4*h - 23 = 0. Suppose -k*t = -2*t - 145. Is t a composite number?
True
Let y = -164 + 397. Suppose 0 = -0*h + h + y. Let a = h + 390. Is a prime?
True
Let w = 3 - 4. Let h = w - -5. Suppose -4*y = 6*l - l - 296, 268 = h*y - 2*l. Is y prime?
False
Let q(z) = 3*z**2 - 5*z + 5. Let p(h) = 4*h**2 - h + 1. Let k(x) = x + 8. Let j be k(-7). Let a be p(j). Is q(a) composite?
True
Let n(l) = l**3 + 8*l**2 - 1. Let w be n(-8). Is ((-2)/(-2))/w + 40 a composite number?
True
Suppose -1663 = -5*w + 3*g, 0 = -4*w - w + 4*g + 1659. Is w a prime number?
False
Let n(v) = v**2 - v + 2. Let r be (-1 - 1)*(0 + -1). Let i be n(r). Suppose i*w + 2*g = 362, -w - 74 = -2*w + 5*g. Is w a prime number?
True
Let a = -1 + 3. Let j(t) = -3 + 6*t + 2*t**3 - 6*t - 4*t**a. Is j(3) prime?
False
Let n = -33 - -46. Let r = 28 - n. Is r a prime number?
False
Let f(l) = 6*l**2 + 34*l - 1. Is f(11) prime?
False
Let v(c) = -c**3 - c**2 + c + 350. Let n be v(0). Suppose 5*l = 705 + n. Is l a prime number?
True
Is (2 + 4)*(-17)/(-2) prime?
False
Suppose -v - a = -6, -3*v + 0*v - 5*a + 24 = 0. Let k be (-1)/v - (-30)/9. Suppose t = -k*t + 52. Is t prime?
True
Let f(i) = i**2 + 3*i - 3. Suppose 2*r - 3 = r + 4*j, 3*r - 9 = j. Suppose r*h + 2*h + 35 = 0. Is f(h) prime?
False
Let q(z) = 9*z**2 - 8*z + 12. Is q(7) a prime number?
True
Suppose 5*b + 118 = -0*b - 4*s, 5*s = -4*b - 98. Suppose c - 56 = 5*c. Is (-3714)/b - c/77 a prime number?
False
Let o be (1 + -2)/(-1 - 0). Let x(q) = 44*q - 1. Is x(o) a prime number?
True
Let y be 2220/28 + (-2)/7. Let l = y - 46. Is l prime?
False
Let v = -1408 + 2285. Is v composite?
False
Let d(r) = r**3 - 9*r**2 + 7*r + 6. Let o be d(8). Let b be o + -1*(-2 + 1). Is (3 - 1) + b + 2 composite?
False
Suppose 4*w + 871 = 3*u, 1 = -w - 0*w. Is u composite?
True
Let t(n) be the first derivative of 25*n**4/24 - 4*n**3/3 - n**2/2 - 3. Let r(l) be the second derivative of t(l). Is r(9) prime?
False
Is 218 + (4/2 - 0) + -2 composite?
True
Suppose 84 = f - 37. Suppose 131 = 3*s - 79. Let g = f - s. Is g composite?
True
Is (-139)/(4/(-8) - 0) composite?
True
Suppose 7*i + 6 = 6*i. Let a be ((-82)/(-6))/((-2)/i). Let m = a - -12. Is m a composite number?
False
Suppose x = 66 - 13. Is x composite?
False
Is ((-335)/(-15))/((-3)/(-9)) a prime number?
True
Let f = -51 - -78. Suppose 0 = -2*j + 3 + f. Is j prime?
False
Suppose 8*n - 6*n = 692. Is n prime?
False
Let r be (6/9)/((-4)/(-6)). Let i(m) = -m**2 + 6*m - 5. Let u be i(5). Is 1*(u - r) - -68 a composite 