 19562 = 19*w. Is w composite?
False
Let r = 36 + -71. Let j = -208 + r. Let z = -32 - j. Is z composite?
False
Suppose 2*p + v + 1 - 2 = 0, -7 = p + 2*v. Suppose 0 = 3*j - 5*g - 1252, 4*j - p*g - 1681 = -8. Is j a composite number?
False
Let v(n) = 263*n - 7. Is v(16) a composite number?
False
Let k(t) = 43*t**2 - 3*t. Let x(v) be the first derivative of 7*v**3 - v**2 - 5. Let u(o) = 3*k(o) - 5*x(o). Is u(-1) prime?
True
Let n be 0 - (-3 + 6/2). Suppose 30370 = 10*w - n*w. Is w prime?
True
Let u = 5205 + -2872. Is u prime?
True
Suppose -12 = -4*c - 4. Suppose 5*h + 4*t + 0*t - 4749 = 0, c*t + 8 = 0. Is h a composite number?
False
Let t = 3402 + -2389. Let r = t + -437. Suppose f - 5*f = 4*h - r, -4*f + 290 = 2*h. Is h a composite number?
True
Suppose -3*h + 4*h - 4*j + 23 = 0, -5 = -5*h - 4*j. Let x be 0 - -2*(-2)/(-4). Is (h + 4)*2153/x a prime number?
True
Suppose -12*v + 9*v = -6. Suppose -c + 743 = -v*c. Let f = c - -1078. Is f composite?
True
Let y(h) = 4705*h + 26. Is y(3) a prime number?
False
Let j(n) = n**3 + 7*n**2 + 6*n + 7. Let o be j(-6). Let x(l) = -l**3 + 8*l**2 - 6*l - 4. Let u be x(o). Suppose -u*f + 0*f = -555. Is f a prime number?
False
Let f be (0 + 1)/((-1703)/426 + 4). Let d = f + 95. Is d prime?
True
Let r = -27867 + 42488. Is r a composite number?
False
Suppose 29 = 2*h - 2*w + 5, -5*h - w + 48 = 0. Suppose -3*j = 2*i - h, -6*i + 5*j - 20 = -11*i. Suppose -i*v = -0*v - 106. Is v composite?
False
Suppose -d = -z - 2169, 13*z - 12*z + 8691 = 4*d. Is d prime?
False
Suppose -3579 - 3411 = -5*c. Let h(x) = -2*x - 26. Let j be h(-14). Suppose -5*t + 5*z - 213 + c = 0, j*t - 3*z = 472. Is t prime?
True
Suppose 2*j + 417 = k, -7*j + 2*j = -5*k + 1030. Let t = j - 21. Is ((-104)/(-32))/((-2)/t) a prime number?
False
Suppose -j - 2 + 5 = 0, 4*i + 4 = 4*j. Suppose 5*m - 140 = -3*o, -2*m + i*o + 45 = o. Is m a composite number?
True
Suppose 4*d = t - 41, 5*d - 3*d - 3*t + 23 = 0. Let n(l) = l**3 + 17*l**2 + 19. Is n(d) a prime number?
True
Let i be (6280/(-24))/(3/(-9)). Suppose i = -3*q + 4*q. Is q prime?
False
Suppose -2*y = 3*m - 123001, 123002 = -4*y + 6*y + 4*m. Is y a prime number?
False
Suppose -7*u + 9373 = -13356. Is u a prime number?
False
Let i = 22 + 109. Let r = 198 - i. Suppose -r - 39 = -a. Is a a prime number?
False
Let l(n) = 111*n**2 - 4*n + 21. Is l(4) a composite number?
True
Let v = 8118 - -4709. Is v a composite number?
True
Let u(m) be the second derivative of 7*m**6/180 - m**5/120 + m**4/12 + 2*m**3/3 + 3*m. Let l(g) be the second derivative of u(g). Is l(-3) a prime number?
True
Is 5 - (-8 + 8) - 11108*-1 composite?
False
Is (-11002)/16*(-46 - -38) composite?
False
Let o = 22 + -20. Suppose 0*y = 2*x - o*y - 3530, -y - 8825 = -5*x. Is x a prime number?
False
Suppose -3*w - 220 = -5*i, 7*w - 2*w = 0. Let m = 808 - i. Suppose 15*f - m = 11*f. Is f a composite number?
False
Suppose -35331 = 48*p - 51*p. Is p composite?
False
Let s = 40936 - 24515. Is s a prime number?
True
Let h = -8672 - -14824. Let t = h - 1957. Is t a prime number?
False
Let p be (-12)/(-3) + -965 + -4. Let x = -586 - p. Is x a prime number?
True
Suppose -5*d - 7 = 3*p + 6, 5*d - 5 = 0. Let n be (-8)/68 - 2/(-17). Let r = n - p. Is r composite?
True
Suppose 0 = -2*j, -21*n + 16419 = -18*n - 4*j. Is n a composite number?
True
Let z(s) = 87 + 18*s + 9*s - 67 - 6*s. Is z(11) composite?
False
Let r(s) = s**2 + 2. Let m be r(0). Let o be 36/1*(-2)/m. Let n = 19 - o. Is n a prime number?
False
Let u be (-20)/(-30) + 92/(-3). Let l = u - -39. Is l a composite number?
True
Suppose 106 = -4*f + 14. Let s = -18 - f. Suppose s*r = 3*r - d + 67, 0 = 4*d - 20. Is r composite?
False
Suppose -558 = -4*o + b, -2*b + 6*b - 288 = -2*o. Is 354/8*o/15 a composite number?
True
Let n be 3 + -3*(-1)/3. Let s(a) = 3 - a**2 - 2*a - 1 + 9*a. Is s(n) a composite number?
True
Let p(v) = -80*v + 5. Let c be p(-4). Suppose c = 3*i + 55. Suppose -4*z + 138 = -i. Is z a prime number?
False
Suppose -4*h - 16 = 48. Suppose -c - 56 + 44 = 0. Is h/(c/(-3)) - -195 a composite number?
False
Let q(p) = -136*p - 8 - 32*p + 29*p - 89*p. Let v be q(-4). Is (2/4)/(4/v) a composite number?
False
Let l = 254 + -180. Suppose -6*g + l = -4*g. Is g prime?
True
Suppose -11*o + 3*m = -13*o + 11834, 5*o = -m + 29611. Is o a prime number?
True
Suppose -c - 4*s = -151, 5*c - 485 = -2*s + 234. Suppose -5*m = c - 808. Is m a prime number?
False
Let u(g) be the third derivative of 11*g**5/5 - 5*g**4/24 - 5*g**3/3 + 9*g**2. Is u(-3) a composite number?
False
Let y(f) = f**2 + 2*f - 9. Let o be y(-5). Suppose 0 = -o*u + 20*u - 17626. Is u prime?
True
Suppose 6 - 20 = -7*h. Suppose h*a + 5*a = 0. Suppose 4*j - 782 - 366 = a. Is j a composite number?
True
Let n(g) = -g**3 + 16*g**2 + g - 13. Let p be n(16). Suppose -d - 4*u + 3 - 13 = 0, 0 = 2*d - p*u - 13. Is d a prime number?
True
Suppose l - 842 = 77*t - 78*t, 5*t - 4198 = -l. Is t composite?
False
Let n(p) = 19*p**2 - 9*p - 5. Suppose 11*y - 12*y + 4 = 0. Is n(y) prime?
True
Let u(t) = 58049*t + 4. Let y(l) = 1. Let k(d) = -u(d) + 3*y(d). Let w be k(1). Is w/(-105) - (-1)/7 a composite number?
True
Let s(k) = -2*k + 26. Let y be s(12). Suppose y*w + 0*w + 4*b = 12, -2*b = 2*w - 2. Is (586 - (w - -3))/1 prime?
True
Let u be 1 + 4 + -1 + -87. Let r = -36 - u. Is r prime?
True
Suppose 0 = 3*o - 5*k - 5756, 7*o - 3*k - 5766 = 4*o. Is o a prime number?
False
Suppose -25 = -5*g - 5*h, g + 4*g = 5*h - 5. Let b be (-456)/(-15) + g/(-5). Suppose b = 5*p - 85. Is p a composite number?
False
Let r = 221 - 50. Suppose 23*u - 544 = 19*u. Suppose -5*s = c - u, s = -2*c + r + 92. Is c composite?
False
Suppose -14976 = -3*f - 5*y, 3*f - 5*y - 11897 - 3049 = 0. Is f composite?
False
Let f(x) = -x**3 - 10*x**2 + 9*x + 1. Let d be 3*6/45*5. Suppose -d*k - 2*k - 44 = 0. Is f(k) a prime number?
True
Let o be 1/((-8)/(-2188))*(-2 - 0). Let r = 878 + o. Is r prime?
True
Suppose z - 1490 = 713. Is z composite?
False
Let u be (-2 + 2/(-5))*-35. Suppose -80 = 2*a - 84. Is a/7 + 21060/u a composite number?
False
Suppose 4*v = -2*q + 3846 + 6492, 3 = 3*v. Is q prime?
True
Let d(c) = c**3 + 8*c**2 + 5*c + 3. Let v(m) = m**3 + m**2 - 3*m + 4. Let i be v(-3). Is d(i) composite?
False
Is 1510914/38 + 524/4978 composite?
False
Suppose j - 33 - 190 = 0. Is j composite?
False
Let m = 37 + -35. Suppose -l = -m*j - 233, 3*l + 0*j = -2*j + 699. Is l a prime number?
True
Suppose 40 = -u + 12. Let t = u + 123. Is t composite?
True
Let d(s) = 23*s**3 + 5*s**2 - 2*s - 2. Let v be d(3). Suppose 2*z + 10 = -2*n, 8 = -3*z - 4*n - 12. Suppose z = -b - b + v. Is b prime?
False
Let k(f) = -4*f**3 - 9*f**2 + 7*f - 1. Is k(-6) a composite number?
True
Let y = 43528 - -5923. Is y a composite number?
False
Is 7092/16 + 0 + (-2)/8 prime?
True
Let b(p) = 2 - p + 4*p + 1123*p**2 - 7*p. Is b(1) a prime number?
False
Let n(v) = v**2 - 11*v + 9. Let w be n(9). Let d = w - -6. Is -1 + (-6)/d*30 composite?
False
Let m(g) = g**2 + 6*g + 6. Suppose 0 = 3*o + 11 + 13. Is m(o) prime?
False
Let g be (-16)/(-3) + 5/(-15). Suppose -g*t - 2*u = -23 - 41, 3*t + 4*u - 30 = 0. Is 8721/21 + (-4)/t a prime number?
False
Is (-27284)/(-10) + (165/25 - 6) composite?
False
Let q(n) = 1101*n**3 - 6*n**2 + 10*n - 1. Is q(2) a composite number?
False
Suppose 8 = -j - 3*f, -3*j - j - 2*f + 8 = 0. Suppose -4*p = -j, -3*z + 4*z + 5*p = 1425. Suppose 0 = 3*r - 15, 11*d - 6*d = 3*r + z. Is d composite?
True
Let j(m) = -3014*m + 361. Is j(-17) a prime number?
True
Suppose 3*n - 45071 = -8*f + 13*f, 3*n + f - 45047 = 0. Is n a composite number?
False
Let t(o) = 2*o**3 - 4*o**2 + o + 3. Let n be t(2). Suppose 5649 = n*g - 2*g. Is g composite?
True
Let o = 394 - -7435. Is o a composite number?
False
Suppose -19*x = -71*x + 1519804. Is x composite?
True
Let z(n) = n**3 - 8*n**2 + 7*n + 1. Let r be z(7). Let f(m) be the third derivative of 179*m**4/24 - m**3/6 - 7*m**2. Is f(r) a prime number?
False
Suppose a - 5*a = 4. Let m be ((-25)/(-10))/(a/(-2)). Suppose -4*f + f - m*v = -669, 5*f - 1115 = 5*v. Is f composite?
False
Suppose 0 = -2*j, 8*a - 4*a - 4*j - 59060 = 0. Is a a composite number?
True
Suppose 0 = k - 2 - 10. Let c = k - 12. Is 126 + ((-3)/(-1) - c) prime?
False
Let p(k) = 39*k**3 - 2*k**2 + 3*k - 2. Suppose 0 = 4*v 