 d = 657, 5*d = -2*l + 431. Is l prime?
True
Let j(m) = 38*m**2 + 14*m - 55. Is j(6) composite?
True
Let t(v) be the first derivative of -1/4*v**4 + 5/2*v**2 + 11/3*v**3 + 3 + 0*v. Is t(11) prime?
False
Let z = -159 - -264. Suppose 2*q = -2*q + 8. Suppose -q*u + z = u. Is u composite?
True
Suppose -611 + 8709 = 2*m. Is m composite?
False
Let j(k) = 15*k**3 + 20*k**2 - k - 2. Let u be j(-9). Is (7*(-5)/(-70))/((-2)/u) composite?
True
Suppose 4*s + 115872 = 5*q - 49953, -q - 4*s + 33141 = 0. Is q composite?
False
Let b = 0 - -4. Suppose -5*y + 1476 = -2*f, 1185 = 4*y + f - b*f. Let u = 485 - y. Is u a composite number?
False
Suppose 27 = -5*l - 18. Let h = l - -32. Is h composite?
False
Let p(t) = 335*t + 26. Is p(21) prime?
False
Let u(w) = -3 + w + 2*w**2 + 5*w**2 - 6*w**2 + 9*w. Let v be u(-11). Suppose 0 = -c - 3*q + 48 + v, 5*q = -2*c + 111. Is c composite?
False
Suppose -6*t = -2*t + f - 4462, -4*f = -5*t + 5567. Let n = t - 672. Is n composite?
False
Let n be (12/3)/4 - 1. Suppose n = -i + 3 + 2. Suppose -1658 = -i*d + 3*l, -2*d + 2*l + 184 + 480 = 0. Is d composite?
False
Suppose -247 = -7*q + 4464. Suppose -j + 0*j = -q. Is j a prime number?
True
Suppose 5 = 5*g - 65. Is g/7 + 221/1 composite?
False
Suppose -x = 3, 0 = -7*k + 3*k - 2*x + 2. Let q(o) = 93*o**2 - 3 - 22*o**2 + 14*o**2 + o. Is q(k) a composite number?
True
Let k(r) = -96*r + 1. Let p = -2 - 0. Let v be 3 + p + 0 - 2. Is k(v) composite?
False
Suppose -2 = o - 2. Let d(y) = -3*y + 211. Is d(o) a composite number?
False
Let a(n) = 474*n**2 + 2*n. Let y be a(-1). Let s = y + 2541. Is s composite?
True
Is (-1624644)/(-98) - (1 - 2) prime?
False
Let b be 5 - (-342)/(-66) - (-222)/11. Suppose -960 = -5*j + 795. Let p = j - b. Is p composite?
False
Let i(m) = -1282*m - 7. Let v be 1/3 - (-112)/(-48). Is i(v) a prime number?
True
Let j = 8608 + -4791. Is j composite?
True
Suppose -3*j - 3 = -2*j. Let b be (15 + j)/(-4) - -1. Is (0 - -1)/(b/(-398)) prime?
True
Let t = 254 - 59. Let q = t + -329. Let v = 231 + q. Is v a prime number?
True
Let n(x) = -4 - 8 - 11*x - 11*x - 19. Is n(-7) composite?
True
Let m(j) = -2*j**3 + 2*j**2 - 3*j + 5. Let l be m(2). Let h be (-538346)/(-171) + 2/l. Suppose 5*o = -0*f - f + h, 2*o - 1252 = 2*f. Is o prime?
False
Let l = -7 + 5. Let f = 0 + l. Is (f - 10/(-4))*1038 a composite number?
True
Suppose z - 579 = -2*p + 2118, -10838 = -4*z + 2*p. Is z a prime number?
True
Suppose l = -5*g + 57, -g - 4*l = -8 - 11. Let b(i) = -i**3 + 11*i**2 + 10*i + 17. Is b(g) a composite number?
False
Let d = 217 + -122. Let n = d + -8. Is n a prime number?
False
Let o(i) = 3*i**2 - 14*i - 6. Let d(y) = -y - 4. Let l be d(-15). Is o(l) composite?
True
Let h be 60/14 + 6/(-21). Suppose h*d + 1 - 17 = 0. Suppose -2526 - 14 = -d*i. Is i prime?
False
Let v = 36 + -21. Let q(f) = 329*f + 28. Is q(v) a prime number?
False
Suppose -24*d + 160728 = -194784. Is d a composite number?
False
Is 7 - (7 - 0) - -3991 prime?
False
Suppose 133*l = 138*l - 17965. Is l a composite number?
False
Let q = -1527 - -199474. Is q prime?
True
Suppose -z = -0*z. Suppose z = 2*v - 118 - 8. Suppose v - 222 = -3*l. Is l prime?
True
Let w = 1273 + 1772. Let v = w + -1605. Suppose -321 = 3*a - v. Is a a prime number?
True
Suppose 0*g + 4*g = -244. Let q be g/(-2)*(0 - -2). Let d = 6 + q. Is d composite?
False
Is -118*(7 - (-111)/(-2)) a prime number?
False
Is 7604 + 66/11 - 7 composite?
False
Let y(i) = 3*i**2 - 5*i + 2. Let s be y(2). Suppose g + 3*g - 151 = -k, 4*k + s*g - 628 = 0. Is k prime?
False
Let k be ((-64)/(-40))/(1/5). Let r(c) = 195*c - 17. Let q be r(k). Let m = q - 1090. Is m a prime number?
False
Suppose 2*q = -4*w + 26, -q - 10 = -4*w + 7. Suppose -3*z + 1437 = -q*t, 0*t + 2*t = 5*z - 2395. Is z a prime number?
True
Let m = -26 + 78. Let a be 8/m - 30626/(-13). Suppose 4*l = a + 264. Is l composite?
True
Let t be (11/33)/(2/24). Is 1563/t - (-2)/8 a prime number?
False
Suppose -5*y = -3*s + 1041, -s - 5*y = -46 - 321. Let v = s - -127. Is v prime?
True
Let c be 25/2*(-4152)/(-30). Suppose -3442 = -x - 3*x - 5*w, -2*w - c = -2*x. Is x composite?
False
Is 1*-14*38033/(-146) composite?
True
Let m(y) = -y**2 - 5*y + 7. Let x be m(-5). Suppose 3*p - 5*v - 24 = 10, -p - 2*v = x. Suppose -4*a - i + 193 = -p*a, 2*a + 3*i = 388. Is a composite?
False
Suppose 5*j + 5*c = -0*j + 3150, -4*j + 2525 = 3*c. Is j prime?
False
Let g(t) = t**3 - t**2 - t + 1. Let o be g(2). Suppose k = x + 34, -5*x = -o*x + k + 83. Let h = 74 + x. Is h a prime number?
False
Let q(j) = -j + 1. Let t(a) = 13*a + 6. Let s(l) = -6*q(l) + t(l). Let o be s(7). Is 2/(-8) - o/(-4) composite?
True
Suppose -4*x + 3*i + 63 = 0, 3*x - 2*i - 27 = 21. Let s be (-28)/(-6) - x/27. Suppose s*t - 2322 = -f, -2*t - t + 5*f + 1753 = 0. Is t composite?
True
Suppose 2*o + 439 = a, -2*a = a - 5*o - 1320. Is a a composite number?
True
Suppose 630 = -16*d + 7*d. Let q(s) = 32*s**2 - s - 2. Let g be q(-2). Let b = g + d. Is b a composite number?
True
Let f = -1078 - -428. Let s = f + 997. Is s a composite number?
False
Suppose -5598 - 3118 = -u + 5*x, 34792 = 4*u + 4*x. Suppose 8*h - u = h. Is h composite?
True
Let q(b) be the first derivative of -131*b**2/2 + 49*b + 26. Is q(-18) a composite number?
True
Is (980/294)/(2/12633) composite?
True
Let a be 75/(-20)*-2*-2. Is -1 - (-2 + 2) - (a - -3) composite?
False
Let l = 244 - 438. Let f = -290 - l. Let h = f - -251. Is h a prime number?
False
Let i(f) = 2*f + 1. Let u be 4 + -5 + 9/3. Let c be i(u). Suppose 4*d - 1243 = -c*l, l + 3*l - 1547 = -5*d. Is d a composite number?
False
Suppose 0 = -2*n - 2*g + 13 + 89, -5*g = -20. Let v = n - -18. Is v a prime number?
False
Let h = 45715 - 27420. Is h a composite number?
True
Let b be (-4)/2 + (-9 - -11). Suppose -2*h - h + 1815 = b. Suppose h + 37 = 2*w. Is w prime?
False
Let h(v) = -v**3 + 34*v**2 + 77*v - 53. Is h(36) a composite number?
False
Suppose -4*l + 5*t = -10571 - 56365, 5*l - 2*t - 83653 = 0. Is l composite?
False
Suppose -6*n + 3*s = -2*n - 43, 0 = 5*n + s - 30. Suppose n = 5*w - 8. Suppose w*u - 109 = 3*z + 518, 5*u - 3*z = 1049. Is u prime?
True
Suppose 0 = 2*f + 11*f - 65845. Is f prime?
False
Is (1/(-3))/(28/(-419916)) a composite number?
False
Is (-46456)/(-24) + (-3)/(9/(-4)) a composite number?
True
Let z(p) = -p**3 + 9*p**2 - 9*p + 10. Let r be z(8). Let g(d) = -d**3 + 3*d**2 - d - 1. Let x be g(3). Is (6 - -54) + x/r a composite number?
True
Suppose 347 = -y + 1797. Suppose 5*j = 3*n - y, 5*n = 3*n - j + 984. Let i = n - 267. Is i prime?
True
Let u be 2/(-6)*-3*2. Let k(a) = -a**3 - 21*a**2 + 3*a + 63. Let c be k(-21). Suppose 2*h = u*o - 92, -2*o + c*h = -5*h - 89. Is o prime?
True
Let y = -12 - -12. Suppose y = p + 2*h - 25, 0 = 4*h - 0 + 8. Let w = p - -240. Is w composite?
False
Let z(w) = -155*w**3 - 5*w**2 - 8*w - 2. Is z(-3) composite?
True
Let p(c) = 2*c**3 + c**2 - c + 1. Let g be (-3 + 3 - 4) + -20. Let n be (-4)/3*g/16. Is p(n) prime?
True
Let p = -1157 - 30. Let i = -384 - p. Is i a prime number?
False
Suppose -3*b = -k + 73130, 0 = -3*k + 5*b + 83516 + 135862. Is k composite?
False
Is (-11 - -6) + 0 + 319 a prime number?
False
Let x(o) = 1565*o**2 - 4*o - 3. Let q be x(-2). Suppose -v + 21 = 4*r, 5 = 2*r - v + 2. Suppose -u + q = r*u. Is u prime?
False
Suppose -17893 = -3*w + 2*u + 2560, 3*w = -4*u + 20465. Is w prime?
False
Let y(x) = 2*x**2 + 43*x - 72. Is y(-43) a composite number?
False
Let z = 1748 + -1218. Suppose 0 = -8*w + 3*w + z. Is w a prime number?
False
Let b = 20 + -16. Let w be (-10650)/(-18) + (-2)/3. Suppose -173 - w = -b*r. Is r prime?
True
Let i = -1774 + 6335. Is i a prime number?
True
Let g(o) = -2*o**2 + 32*o - 9. Let q be g(16). Let y(v) = -v**3 - 4*v**2 - 34*v - 4. Is y(q) prime?
False
Is (0 + -22254)/2*915/(-549) a composite number?
True
Suppose -2102 - 1032 = -s. Is s a prime number?
False
Suppose -3*g = -1468 - 3062. Let a = -939 + g. Is a prime?
True
Suppose 3*v = -5*k - 1 + 23, 2*v - 16 = -4*k. Suppose -k*z = z - 1515. Suppose -5*q - 15 = 0, q + z = 2*t + 4*q. Is t composite?
False
Let c(h) = -h**3 - h**2 + h + 2. Let m(v) = v**3 - 11*v**2 - 2. Let s be m(11). Let x be c(s). Is x/8 + (-717)/(-2) a composite number?
False
Let i(a) = a**2 - 2*a. Let o be i(2). Let v(b) = -b**3 + b**2