 prime?
True
Suppose -f = -3*w + 1136, 0*w - 2*w - f + 759 = 0. Is w prime?
True
Let f = 5 - 2. Let b(r) = -25*r. Let h be b(-5). Suppose -f*t = 4*g - h, -4*t + g = -t - 115. Is t a prime number?
False
Is (-19945)/(-20) + 2/(-8) a composite number?
False
Let b(z) = -z**2 + z. Let v(w) = 5*w**2 + 3*w - 2. Let q(l) = -4*b(l) - v(l). Suppose r - 30 = 5*y, 5*y = -0*y - 5*r - 60. Is q(y) composite?
False
Let v = -1429 - -2102. Is v a composite number?
False
Let g be ((-2)/(-4))/((-8)/(-6000)). Let m = -220 + -33. Let t = m + g. Is t a composite number?
True
Suppose -2*c - 4*z = -0*c + 242, 2 = -2*z. Let u = c + 364. Suppose -19 = 2*a - u. Is a prime?
True
Let r be 96/(-10) - 4/10. Is (-906)/(-14) - r/35 composite?
True
Suppose 0 = -2*a - 3*t - 1435, -730 = a - t + 5*t. Let z = -241 - a. Is z composite?
True
Let a(g) = g**3 - 2*g**2 + 2*g - 1. Let z be a(1). Let o = z + 2. Is 21 + 2 - o - -1 prime?
False
Let d(m) = -m**3 + m**2 + m + 2. Let v be d(2). Let f(c) be the third derivative of -c**5/60 + c**4/24 + 5*c**3/2 + 6*c**2. Is f(v) a prime number?
False
Let j(y) = -5*y**3 + 8*y**2 + 8*y + 2. Is j(-7) a composite number?
False
Suppose 3*o - 38847 = 6*x - 2*x, 0 = -5*o + 2*x + 64759. Is o a composite number?
False
Let i = 3710 + -2220. Is (-4)/(-18) - i/(-18) a prime number?
True
Suppose -5*w + 5*z - 1 = -6, -4*w - z - 21 = 0. Is (-377)/w - 3/(-4) a prime number?
False
Suppose -4*o = -5*o + 537. Suppose 7*v - 4*v = o. Is v a composite number?
False
Suppose w + 44 = -108. Let j = w + 343. Is j a prime number?
True
Let g(l) = l**3 + 10*l**2 + 10*l + 11. Let m be g(-9). Is m + 0 + 187 - 2 composite?
True
Suppose 0 = 2*h - 11 + 3, 3*b - 5*h = -14. Suppose 0 = -y + 3*l + 38, 4*y + b*l - 6*l = 144. Let w = y + 52. Is w a prime number?
False
Let l(j) = 3987*j**3 + j + 1. Is l(1) composite?
False
Is 23/(-138) - 10886/(-12) a prime number?
True
Let v(b) = -3*b**3 - b**2 - 3*b - 4. Let w be v(3). Let s = 180 + w. Is s prime?
False
Suppose 827 = 3*n + 2*a, -n - 5*a + 221 = -33. Let g = n - 170. Is g composite?
False
Is 374/8 - (-8)/32 a composite number?
False
Let t(u) = -u**3 + 5*u**2 - 5*u + 4. Let p be t(4). Suppose -v - 101 + 20 = p. Let h = v - -118. Is h prime?
True
Suppose 22*a - 764 = 18*a. Is a a composite number?
False
Suppose -8*n + 7*n + 135 = 0. Suppose 2*j = 59 + n. Is j a composite number?
False
Let m be 1/(-1) - (0 - 3). Is (-2075)/(-10) + 3/m a prime number?
False
Suppose -5*p + 2320 = -5*b, -7*p + 3*b + 1861 = -3*p. Is p composite?
True
Suppose -4*n = -3*q + 9, n - 5 = 4*q - 17. Let o be -4*q*6/(-9). Suppose 4*u + 38 = j, -5*j + 174 = 4*u - o*u. Is j composite?
True
Suppose -5*o + 9 + 1 = 0. Suppose -o*c = -636 + 226. Is c prime?
False
Let s(h) = -45*h**3 - 3*h**2 - 2*h - 1. Let b be s(-2). Let q = b + -232. Is q a composite number?
True
Let a be -2*((-1110)/4 - -2). Let o = a + -849. Let b = -207 - o. Is b a composite number?
True
Let b = -420 - -276. Suppose -3*y - 544 = 539. Let z = b - y. Is z a composite number?
True
Let t(m) = m**2 + 19*m + 14. Is t(-19) prime?
False
Suppose -5*k + 570 = -385. Is k a composite number?
False
Suppose -2*h = 4*z - 1494, -5*h + 0*z = 3*z - 3728. Suppose 0 = -2*v + h + 1. Is v composite?
False
Let v(k) = -k**2 + 4*k - 1. Let h be v(3). Suppose 5*w + 4*l - 1131 = 0, 462 = h*w + 5*l - l. Is w prime?
True
Let c = 7 + -3. Suppose -4*o - 1036 = -4*r, 0*r = -c*r - o + 1056. Is r a prime number?
True
Let j(t) = -t**3 - 2*t**2 + t + 3. Let a be j(0). Let f(l) = 38*l**3 - l + 1. Let b be f(1). Suppose -y - b = -a*y. Is y prime?
True
Let c(w) = 3*w**3 - 2*w**2 + 2*w - 1. Let i be c(1). Suppose -i*b - b = -6. Suppose 10 = -b*k, 4*j - 94 = k + 115. Is j prime?
False
Let k = 33 - 54. Let c = k + 88. Is c composite?
False
Suppose z - 418 = -z. Is z composite?
True
Suppose 2*k - 1018 = 5*t, 0 = 4*k + 4*t - 3240 + 1260. Is k prime?
True
Let o(v) = -v + 3. Let b be o(12). Let h = b - -46. Is h composite?
False
Suppose -4*l + 8*p + 117 = 3*p, -4*p = 4*l - 108. Let h be (-2)/(-6) - l/(-6). Suppose 0*o - 128 = -4*o - h*k, 201 = 5*o - 4*k. Is o composite?
False
Let d = 2 + -1. Suppose 4*m + 1 = -3*y, -2*m + 2*y + 9 = -d. Suppose -m*t - 44 = -4*w, 0*w - 2*w + 22 = t. Is w a prime number?
True
Let m(z) = z**2 - z - 5. Suppose 0 = 2*n - 4*h - h - 28, n = 2*h + 12. Is m(n) a composite number?
False
Let f = 1243 - 266. Is f a composite number?
False
Is ((-17)/3)/((-9)/189) a composite number?
True
Let r(v) = 2*v**3 - 7*v**2 + 3*v - 7. Suppose 3*d + 21 = -3*c, d + 4*d + 20 = -2*c. Let m = 0 - c. Is r(m) a composite number?
False
Let n(u) be the second derivative of 7*u**4/24 - 2*u**3/3 - u**2/2 + u. Let d(r) be the first derivative of n(r). Is d(5) prime?
True
Let d(n) = 4*n**2 + 16*n + 27. Is d(-11) a composite number?
True
Is (-7347 - (-8)/(-4))/(1 + -2) a composite number?
False
Suppose -2*d + 39 = 4*i - d, 3*i = -2*d + 33. Suppose v - 28 = -i. Is v a prime number?
True
Let q(r) = -73*r + 10. Let b be q(-9). Suppose -b = -5*t - 272. Is t a prime number?
True
Let t = 7 + -5. Let k = t - -1. Let u = 24 - k. Is u a prime number?
False
Let a(i) = i**2 + 8*i + 3. Suppose 2*w = -w + 4*o - 22, 50 = -4*w - 5*o. Is a(w) a composite number?
False
Suppose 3*r = m + 7 - 51, r - 67 = -2*m. Is m a composite number?
True
Let b = 767 - 204. Is b prime?
True
Let h(z) = -22*z - 3. Let m = 6 - 10. Is h(m) a composite number?
True
Suppose 0 = 2*g - 3*g + 3. Suppose -2*o - u = 3*o - 109, 4*u + 47 = g*o. Is o prime?
False
Let l = 1592 - 705. Is l composite?
False
Let w(d) = d**2 + 3*d - 9. Is w(8) a prime number?
True
Is 57 - (-6*2)/(-3) composite?
False
Let j = 83 - 83. Let k be (1 - (2 - 5))/1. Suppose k*n + 4 = j, q = -5*n + 21 + 9. Is q composite?
True
Suppose 1923 = 3*y - 96. Is y prime?
True
Let h = -765 + 376. Let l = -274 - h. Is l composite?
True
Let k(h) be the first derivative of -19*h**2 - h + 3. Is k(-3) a composite number?
False
Let h be (36/(-42))/((-1)/(-35)). Is 4/(-30) - 2224/h a prime number?
False
Let m = 72 - 59. Is m composite?
False
Let s be -3*((-100)/(-6))/(-5). Is (-5)/s + 43/2 composite?
True
Suppose 0 = -2*o + 64 + 54. Is o composite?
False
Let x(f) = 10*f**2 - f - 1. Let g be 4*(15/(-6))/(-5). Let q be x(g). Is 0 + -2 + 2 + q a composite number?
False
Let u(f) = -f + 2. Let b be u(1). Let q be 1 - -4*b/2. Suppose -3*r = -3*o - 213, q*o + 89 = 4*r - 198. Is r a composite number?
True
Is (0 - 5108/4)/(-1 + 0) a prime number?
True
Is 539 + 7/(35/10) composite?
False
Let w be ((-1)/3)/(2/(-30)). Let t(l) = 5*l**2 + 3*l - 1. Is t(w) prime?
True
Let x = 23 + -22. Is (98/4)/(x/2) a composite number?
True
Let q(g) be the first derivative of -37/4*g**4 + 2 + g - 1/3*g**3 + 0*g**2. Is q(-1) a composite number?
False
Let k(u) = u**2 - 3*u - 10. Let i be k(7). Suppose i - 88 = -5*j - 5*q, -3*j + 46 = 4*q. Is j composite?
True
Suppose -2*t + 3*t - 327 = 0. Is t a prime number?
False
Let x(c) = c - 2. Let v be x(4). Suppose -v*l + 2*u = -2*u - 486, -l + 235 = 2*u. Suppose 5*j - l + 49 = 0. Is j a prime number?
False
Let m = 104 + -49. Is m composite?
True
Let u(s) be the second derivative of -s**6/120 - 11*s**5/60 - s**4/2 + 11*s**3/6 + 3*s**2/2 - 3*s. Let k(d) be the first derivative of u(d). Is k(-10) prime?
True
Suppose s - 6 - 2 = 0. Let w = -5 + s. Is w prime?
True
Let b(m) = -380*m + 21. Is b(-2) a composite number?
True
Suppose 189 = -2*c + b, -4*c + 4*b - 198 = 186. Let w = 6 + -15. Is (c/w)/((-2)/(-6)) composite?
False
Suppose 2*f = 3*d + 5, -3*f = -d + 6*d + 2. Is 315/4 + d/(-4) a prime number?
True
Let s = 4056 + -2173. Is s prime?
False
Suppose 39*f - 1221 = 36*f. Is f prime?
False
Suppose 2*h - 3457 = -3*v - 2*h, 2298 = 2*v - 4*h. Is v a prime number?
True
Suppose -2*k = r - 211, -3*r + 5*k + 857 = r. Is r composite?
True
Let x = 56 - 13. Is x a prime number?
True
Suppose -5 + 3 = 2*o. Is (o - 113)*2/(-6) a prime number?
False
Let s be -3 + 2 - (-1 + -10). Suppose 0 = m - 49 - s. Is m a prime number?
True
Let j(v) = 3*v**2 + 2*v - 1. Let t be j(1). Suppose 0*x = -4*m + 3*x + 458, -m - t*x + 105 = 0. Is m a composite number?
False
Suppose -207 = -3*t + 240. Let y = 8 + t. Is y prime?
True
Let y = 4 + -3. Suppose 2*o = 7 - y, w = 3*o - 7. Suppose -27 = -2*t + n, -6*n + w*n - 17 = -t. Is t a prime number?
True
Let b(g) = -2