2*x + 175. Is x composite?
False
Is 2 - (64015/(-20) + (-2)/8) prime?
True
Suppose 3*n + 4*g - 10430 = -1747, 4*n - 11614 = 2*g. Is n a composite number?
True
Let y be (1 + (-40)/(-4))/1. Suppose 0 = l - 0*l - y. Let h = 62 - l. Is h a prime number?
False
Suppose -30095 = -r + 3*a, 4*r - 73587 = -2*a + 46765. Is r a composite number?
False
Let x be (-6)/(-10)*((-3)/1 - -8). Is 3 - (3/x)/((-4)/208) prime?
False
Suppose -2*t - 4055 = -1293. Let p = 2400 + t. Is p a prime number?
True
Let g(o) = -o**2 + 6*o + 14. Let z be g(8). Is (-10)/15 + ((-1475)/(-3) - z) a composite number?
True
Let m(y) = 4*y + 2. Let t be m(1). Suppose 0*p = -t*p + 402. Is p composite?
False
Let v = 22 - 27. Let q(l) = -11*l**3 - 11*l**2 - 12*l - 19. Let u(b) = -17*b**3 - 17*b**2 - 18*b - 29. Let n(w) = v*u(w) + 8*q(w). Is n(-4) a composite number?
True
Suppose 3*f + 1271 = j, -5*f = -j + 1391 - 116. Suppose j = 5*k - 0*k. Is k a composite number?
True
Let l(c) = 14*c**2 - 8*c + 8. Let r be l(9). Let m = r + 311. Is m prime?
True
Let i = -311 + 573. Is i/4 + 1 + 2/4 a prime number?
True
Let a(c) = 31*c**2 + 68*c + 244. Is a(33) prime?
False
Let o = -142 - -363. Let x(p) = 18*p**2 - 106*p. Let d be x(6). Let z = o + d. Is z a prime number?
True
Let s(j) = 167*j**2 - j. Let a be s(2). Let t = -527 + 232. Let u = a + t. Is u prime?
False
Let f = 6183 + -3280. Is f prime?
True
Let o(y) = y**3 + 9*y**2 + 7*y + 5. Let a = -38 - -40. Suppose -a*t - 14 = 2*n, -4*t + 9*t - 2*n = -28. Is o(t) a composite number?
False
Let d = -6 - 14. Let m = d - -24. Suppose -m*u + 0*u + 1636 = 4*j, j = u - 405. Is u prime?
False
Let w(b) = 8*b**3 - 2*b**2 + 13*b + 23. Let g be w(13). Let l = g - 12221. Is l composite?
False
Let f(c) = c**2 - 3*c + 9. Let j(o) = -2*o - 7. Let p be j(-6). Suppose m + 2 = -p. Is f(m) a prime number?
True
Let t be -51*(1 + 3*(-21)/27). Suppose 4*p - 68 = t. Is p prime?
False
Is (-588)/168 + (-63634)/(-4) a prime number?
False
Let g(x) = 6*x + 6 + 3*x - 7*x. Let t be g(-4). Is (6/(-12))/(t/628) prime?
True
Suppose -2*w + 1137 = -1691. Let h = -411 + w. Is h prime?
False
Let s(c) = -c + 13. Let u be s(8). Let a(q) = 6*q**2 - 5*q - 2. Is a(u) prime?
False
Let d(j) = 51 - 69*j - 124 + 47. Is d(-17) a prime number?
False
Suppose 2*x - 58 = -2*h - 2*h, -3*x = -5*h + 67. Is 1*((-4854)/(-14) + 4/h) composite?
False
Let a = -2055 + 3696. Let j = -802 + a. Is j a prime number?
True
Let w(k) = 60*k**2 - k + 38. Is w(-15) composite?
False
Let g = -18 - -36. Suppose -8*z = -6*z - 6. Is (2/z)/(g/3429) prime?
True
Suppose 15 + 5 = -5*n, -4*n = 4*l + 36. Let g(a) be the first derivative of -49*a**2/2 + 12*a + 32. Is g(l) composite?
False
Let f(u) = -29*u**3 + 6*u**2 + 8*u + 1. Is f(-6) composite?
True
Let x(v) = 9*v + v - 13*v - 5. Is x(-14) a composite number?
False
Let x be 4*((-27)/12)/(-3). Suppose -4*n - x*u = -1910, u + 481 = -0*n + n. Is n prime?
True
Let y be 9/(-1)*(-6)/18. Suppose 3*p = 4*a + 2493 + 8208, 0 = -y*p + 5*a + 10704. Is p a prime number?
False
Let b(r) = r**3 - 2*r**2 - 3*r + 4. Let h be b(3). Suppose -5*z = -h*q - 13, -3*z + 16 - 4 = -q. Is (56/12 - q)*111 a composite number?
True
Suppose 4171 = -289*u + 290*u. Is u a prime number?
False
Let h be -5 + (-1)/3*210/(-5). Let q(y) be the second derivative of 5*y**3/6 - 7*y**2 + y. Is q(h) a prime number?
True
Let i = 24216 + -13847. Is i a prime number?
True
Let w = -830 + 2358. Suppose -6*o + 4*o + w = 0. Is (-1 - o/(-6))*3 prime?
True
Suppose 8*c - 280 = -12*c. Let j(o) = 13*o**2 - 15*o + 21. Is j(c) prime?
False
Is (28/6)/(1/((-471)/(-2))) composite?
True
Suppose -3*d = 3*x + 2*d - 9267, d = 3. Suppose 14*c - x = 10*c. Is c prime?
False
Let j(b) be the second derivative of -b**3/6 + 10*b. Let n be j(-4). Suppose -2*s - d = -n*s + 116, -5*d - 108 = -2*s. Is s composite?
False
Let o be 1*1/((-6)/(-8130)). Suppose -p - 3*p + o = -5*t, 1002 = 3*p + t. Is p a prime number?
False
Let n(h) = h**3 + 2*h**2 - 2*h + 1. Let d be n(-3). Let x(i) = -950*i + 1. Is x(d) a prime number?
True
Let g = -14 + 11. Let q be 0 + ((-6)/g - -422). Is 33/(-22)*q/(-6) composite?
True
Let y(p) be the first derivative of -28*p**2 - 6. Let v be y(-1). Is 4/14 + 7320/v prime?
True
Suppose -16 = -2*x + 30. Suppose 2*k - 4 = 0, 4*o + k = 1309 - x. Is o prime?
False
Let j = -72 - -76. Is (-11 + 274)/(-2*(-2)/j) composite?
False
Suppose -8*o + 3 = -11*o. Is (0 - (-58 - 1)) + o composite?
True
Suppose -86317 = -34*i + 184561. Is i a prime number?
False
Let a(u) = u**2 - 14*u - 15. Let t(p) = -3*p**2 + 29*p + 30. Let q(m) = -5*a(m) - 2*t(m). Let d be q(-10). Let x(r) = 12*r**2 - r + 2. Is x(d) prime?
True
Let p = 7 - -19. Suppose -3*j = 8 - p. Suppose j*u - 3*u = 237. Is u a composite number?
False
Let z(j) = 457*j + 5. Let k be z(2). Suppose -p = -k - 1766. Suppose -3*u - p = -5*i, 5*i = u + 1046 + 1639. Is i a prime number?
False
Suppose -5*q - 24*k + 27*k = -9730, -2*k = -3*q + 5837. Is q a prime number?
True
Is (-11)/(-1) + 21331 + -29 a composite number?
False
Suppose 12*r + 4 = 10*r. Let f = r - -2. Suppose 0*q - q + 19 = 5*d, -3*q + 3*d + 111 = f. Is q a composite number?
True
Suppose -h = -595 - 142. Suppose z + n - 235 = 0, 5*n = -0*z + 3*z - h. Is z a prime number?
True
Suppose -1941 = -4*c + 8403. Is 28/98 - c/(-14) a prime number?
False
Suppose 0 = 3*z + 3*m - 4410, -2*z - 6*m + 2938 = -3*m. Let d be (1*3)/((-24)/z). Let p = 407 + d. Is p a prime number?
True
Suppose 106128 = -9*z + 272889. Is z a composite number?
True
Suppose q + 50 + 108 = 0. Let c = q - -361. Is c a prime number?
False
Let f be ((-54)/8)/((-87)/232). Is (-26)/((f/(-291))/3) a composite number?
True
Suppose 0 = 5*g - 8*g + 993. Let l = g - -82. Is l prime?
False
Suppose 3*s + 21 = 9. Is 43*1/(s/(-4)) a prime number?
True
Is ((-1271853)/(-121) - -2) + (-6)/33 a prime number?
True
Let r = 25 + -24. Is -18 + 140 + (1 - r) composite?
True
Let l(k) = 2*k**3 - k**2 + 8*k - 9. Let r be l(-7). Let x = -1 - r. Is x prime?
False
Suppose -5 = 2*i + 2*l + 1, -3*l - 9 = 0. Let t be (-1 - -2) + -2 + i. Let u = 3 + t. Is u a prime number?
True
Suppose -3*b = -117 + 36. Let u be (-140)/18 - 6/b. Let f(d) = -d + 2. Is f(u) a composite number?
True
Is (-14)/(-77) + (-365813)/(-77) a prime number?
True
Suppose 4*n + j = 143643, 3*j - 35908 = -4*n + 3*n. Is n a prime number?
True
Suppose 1292 = 3*m - 9247. Is m a composite number?
True
Suppose -2*t = -r + 8, -r = 4*t + 15 - 5. Suppose 5*b - b - 902 = -2*h, -4*h - 426 = -r*b. Is b a composite number?
False
Let c(n) = -n**3 + 9*n**2 + 6*n - 2. Let q be (-185)/30 + (-1)/(-6). Is c(q) a prime number?
False
Suppose 0 = -a - 1 - 3, 0 = -w + 5*a + 24. Suppose w*o = -2*o + 762. Is o prime?
True
Let v be (2 + -2309)/((-2)/(-2)). Let g = v + 5162. Is g a composite number?
True
Let j(p) = 6*p - 1 - 6 + p**2 + 0*p**2. Let y be j(-9). Is -1402*(-3 + y/8) a composite number?
False
Let d = 2444 + 655. Suppose -5*j - 2*o + 3131 = 2*o, -5*j + d = -4*o. Is j a composite number?
True
Let b(w) = 33*w - 82*w - 11*w - 150*w + 5. Is b(-8) prime?
False
Let s be 1*4*15/12. Suppose 3*y - 630 = 3*q, -s*y = -q - 1545 + 515. Is y a composite number?
True
Let l(k) = 146*k**2 + 9*k + 13. Is l(6) a prime number?
True
Suppose -w = -5*c - 12824, 5*w + 3*c - 78449 + 14469 = 0. Is w a composite number?
False
Suppose 895 = 3*o + 2*o. Let i = 34 - o. Let l = -94 - i. Is l composite?
True
Let t(x) = 35*x - 381. Let s be t(10). Let v = -15 + 22. Is (-21)/(4 + s/v) a composite number?
True
Let j be (-1 + 5)/((-14)/(-7)). Suppose 0*v - j*v = -2*y - 1262, 3*v - 2*y = 1893. Is v composite?
False
Let j = -7395 + 3747. Is (j/(-2) - 5) + -2 composite?
True
Let q = -2 - -4. Let p be (-397)/(q/(16/(-4))). Suppose 2*t + 0*t = p. Is t a prime number?
True
Is ((-1)/4*1)/(7/(-2012332)) a composite number?
True
Is 9422*((-8)/((-32)/10))/5 a prime number?
False
Let y(r) = -4*r**2 - 1. Let q(k) be the third derivative of 3*k**5/20 - k**4/24 + k**3/2 - k**2. Let j(a) = -2*q(a) - 5*y(a). Is j(-3) a composite number?
False
Let z be (-2202)/(-12)*-2*1. Let i = 163 - z. Suppose -2*l = -56 - i. Is l prime?
True
Let h be (-133 - -4)*(3 + 0). Let s = 1666 - h. Is s a prime number?
True
Let q(k) = 263*k + 105. Is q(14) a prime number?
False
Let p be -1*10/6*-3. Suppose -7003 = -3*f + k, -2*k + 