 composite?
False
Suppose 4*a - 8*a = -1884. Suppose 4*c - c - a = 0. Is c prime?
True
Let g(d) = d**2 + 5*d - 4. Let t = -11 - -5. Let j be g(t). Suppose 4*u + 3*b = 284, -3*u - 7*b = -j*b - 202. Is u a prime number?
False
Let i(b) = -4*b - 12. Let k be i(-8). Suppose 2*h = k + 26. Is h a composite number?
False
Suppose 0*l + 4*l - 2*i - 1734 = 0, -2*l + 849 = 5*i. Let w = -256 + l. Suppose 0 = 2*z - 4, w - 69 = 5*k + z. Is k prime?
False
Let b be 90 - ((-18)/3)/2. Let s = b + 236. Is s a prime number?
False
Let t be (-1)/(1 - (-9)/(-6)). Suppose -w - t*x + 4*x = -173, -w + 4*x = -183. Is w prime?
True
Suppose 2*u - 461 = 5*o, -7*o + 5*u = -2*o + 455. Let n = 136 + o. Is n prime?
True
Is 1*12437 + (-8 - (-18 + 8)) composite?
True
Let o(k) = k**2 - 2*k - 2. Let x be o(10). Suppose -2*d + x = 2. Is d composite?
True
Suppose 2*l - 79 = 451. Is l a prime number?
False
Suppose 0 = o + 4 - 3. Let h be 1/(3/6) + o. Is (-7)/(-4)*(5 - h) a prime number?
True
Let w(t) = -t**3 - 7 - 3*t**2 - 2*t**2 - 5*t + 16*t**2. Is w(6) composite?
True
Let l = 2472 - 1435. Is l prime?
False
Suppose 0 = -7*q + 10*q - 2181. Is q a composite number?
False
Suppose -3*b + 4*b = -21. Let g = 61 + b. Suppose -g = 2*y - 110. Is y composite?
True
Let l(y) = y + 4. Let u be l(3). Let i be (0 - u)*12/(-14). Let s = i - -4. Is s a composite number?
True
Let d = 5 - 1. Suppose 3*a = d*u + 6, a + 0*a - 4*u = 2. Is (15 - 1)/(a/3) a prime number?
False
Let k = -18 + 37. Suppose 0*y - k = -y. Is y composite?
False
Suppose 2*k - 6 + 2 = 0. Suppose 5 = 3*h + k. Let s(u) = 48*u**3 - u**2. Is s(h) prime?
True
Let b = 2 + 1. Suppose -5*v = -b*h + 396, 0 = -2*v - 6. Is h prime?
True
Let l = 6831 - 3238. Is l prime?
True
Let q = 16 - 9. Suppose -47 = -s + q*g - 3*g, -3*s - 4*g + 141 = 0. Is s composite?
False
Let h = 1151 + -183. Is (h/(-12))/(2/(-3)) composite?
True
Let f be (11*1)/(5/15). Let x = 23 - f. Let s = x + 33. Is s a composite number?
False
Let d(p) = -76*p - 7. Let r be -3 + 1 - 6/2. Is d(r) composite?
False
Let v = 1411 - 420. Is v a composite number?
False
Let p = 1874 - 1087. Is p a composite number?
False
Suppose 2*k - 4*l - 1166 = 0, -5*k + l + 2957 = 5*l. Suppose -5*w + 726 = -k. Is w a prime number?
True
Let f(n) be the third derivative of 7*n**5/60 - n**4/8 + n**3/6 + n**2. Let c be f(-8). Suppose 2*q + c = 3*h, -h + 2*q + 632 = 3*h. Is h prime?
False
Is (-14)/35 + (-2034)/(-10) a prime number?
False
Suppose -2*g + 4*g - 16 = 0. Suppose -3*v = -g*v + 220. Let o = v + -9. Is o prime?
False
Let b = -2 + 5. Suppose 9 = 3*j, b*j - 6 - 15 = -4*f. Suppose 14 = 4*v - f*v. Is v a prime number?
False
Suppose 18 = 5*w - 3*w. Suppose 3*x + w = 0, -3*s - x + 243 = -6*x. Suppose 2*k + 0*k = s. Is k a prime number?
False
Suppose 0 = 2*f - 3*f + 413. Is f prime?
False
Let k be (-1062)/(-8) - 1/(-4). Let w be k/5 - 6/(-15). Let r = w + -4. Is r prime?
True
Let i(a) = 14*a**2 - 4*a - 2. Let h be i(4). Suppose -28 = -p + 5*j + 51, -2*p - 2*j + h = 0. Suppose 4*g - 2*q = 318, -3*g - 2*q + p = -122. Is g prime?
False
Let m = -3698 - -7294. Suppose 0*r = 2*r - m. Suppose -5*u + r = 713. Is u a composite number?
True
Let q = 275 - 90. Is q composite?
True
Let k(x) = -4*x**3 + x**2 + x + 1. Let j be k(-1). Suppose 367 = j*s + 57. Suppose -295 = -3*q + s. Is q composite?
True
Suppose -60 - 127 = -o. Is o a prime number?
False
Let r be 1*-2*2/4. Let k be 3/(-3)*r*-19. Let v = -9 - k. Is v a composite number?
True
Suppose -5*a = -11 + 1. Suppose u - 2*p - 893 = 0, 0*u - a*u = p - 1771. Is u a composite number?
False
Let l(b) = -88*b - 45. Is l(-16) composite?
True
Let h(r) = -3*r**3 + 3*r**2 - 4*r + 9. Is h(-5) composite?
False
Let l = -2 + 54. Let h = -19 + l. Is (h/(-12))/((-3)/84) a composite number?
True
Let h(j) = 225*j + 1. Is h(1) a prime number?
False
Let l = 1857 - 1316. Is l a prime number?
True
Suppose -q + 451 = -48. Is q prime?
True
Suppose -4*u = -3*w - 3, 2 = -5*w + 3*w + 4*u. Let y be w*(1 + 0) + 1. Suppose d = 3*a + 164, y = -d - 2*a - 0*a + 139. Is d a composite number?
False
Let q(z) = 2 - 2 - 3*z - 2*z**3 + z**3 + 2*z**2 + 2. Let w be q(4). Is (w/(-8))/(5/20) composite?
True
Let j(f) = -72*f - 19. Is j(-8) composite?
False
Let f = -6 + 2. Let h = 6 + f. Suppose p - 5*r - 30 = 0, h*r + 2 - 4 = -p. Is p composite?
True
Let a be (-81)/15 + (-4)/(-10). Is 2/a + 344/10 composite?
True
Let c be (3 + -2 - 1)/1. Suppose c = 7*k + 109 - 1250. Is k a composite number?
False
Let i(l) be the second derivative of -2/3*l**4 + 0 + 1/2*l**2 + 4*l - 1/10*l**5 + 1/2*l**3. Is i(-6) a prime number?
True
Suppose 3*p = -2*d + 1889, 2*d - 635 = -p + 4*d. Is p prime?
True
Let j = 23 + 0. Is j composite?
False
Let k = -173 + 250. Is k prime?
False
Let u be (-30)/4 - 27/(-18). Let t = 13 + u. Is t a composite number?
False
Let b(f) = f**3 - 2*f**2 - 2*f + 4. Let v be b(3). Let h = v + 8. Is h a composite number?
True
Let p = 411 - -130. Is p a prime number?
True
Let f be (-2169)/(-21) - (-4)/(-14). Let x = f + -36. Suppose v = 12 + x. Is v a composite number?
False
Let a(w) = 7*w**2 - 9*w + 1. Is a(-7) a composite number?
True
Is 6/27 - (-1900)/36 a prime number?
True
Suppose 5*h + 5*z - 432 - 308 = 0, 3*h - 445 = -2*z. Is h a prime number?
True
Let i be (-3 + 3)/(-2)*-1. Suppose i*z + 251 = q + 2*z, 753 = 3*q - 2*z. Is q prime?
True
Let c = -6 + 12. Let o(g) = 10*g - 1. Is o(c) prime?
True
Let b(v) be the first derivative of -v**7/840 + v**6/72 + v**5/120 - v**4/6 + v**3/3 + 2. Let g(j) be the third derivative of b(j). Is g(-3) a prime number?
False
Let s(l) = 10*l + 3. Let f(u) = u**3 - 3*u**2 + 2*u - 1. Let n be f(3). Is s(n) composite?
False
Is (-149)/((-32)/(-12) + -3) a prime number?
False
Let x(a) = -24*a**2 - 6 + 23 + 23*a**2 + 16. Is x(0) prime?
False
Suppose 14*l - 18218 = 836. Is l prime?
True
Suppose -i + 26 = 158. Is ((-1)/(-2))/((-3)/i) a prime number?
False
Let f = 3773 + -2262. Is f composite?
False
Let n(h) = 17*h**2 - 1. Let l be n(3). Suppose 3*u = -u + l. Let c = u + -27. Is c a prime number?
True
Suppose 5*l = -r + 5*r - 61, -2*l = 5*r - 101. Suppose 0*a + m = -a + 19, -a - 3*m + r = 0. Is a a prime number?
True
Let u(t) be the first derivative of -11*t**2 - 2*t**2 - 1 - 1 + 2*t**2. Is u(-1) a composite number?
True
Let q(m) = 26*m**2 - 2*m. Let w be q(-2). Let v = w - 71. Is v composite?
False
Let l(x) = -137*x. Suppose -2*a = -5*a - 9. Is l(a) composite?
True
Let l(v) = v**3 - 5*v**2 + 6*v + 7. Is l(5) prime?
True
Is (-8194)/(-3) - 6/36*2 a prime number?
True
Suppose 0 = -3*o + 5*d + 15, -2*d - 5 = 4*o + 1. Suppose o = 5*m - 64 - 321. Is m a composite number?
True
Suppose -p - 4*c - 4 = 3*p, 4*p + 3*c = 1. Suppose -p*b + 3*q + 8 = -q, 5*b = -5*q + 30. Suppose -5*y + 2*t + 1 + 113 = 0, 4*y - 80 = -b*t. Is y prime?
False
Suppose 0 = k - 7*k + 2694. Is k composite?
False
Let j = 13 - 5. Let f = -7 + j. Is f/(1*(-3)/(-33)) prime?
True
Suppose 0*u + 100 = -5*u. Let o = u - -71. Is o prime?
False
Let y be 3*(20/12 + -1). Suppose j = 8 + y. Is j a prime number?
False
Let m(o) be the second derivative of o**4/12 - o**3/2 - o**2/2 - 9*o. Is m(-6) composite?
False
Suppose -808 - 149 = -3*y. Is y a prime number?
False
Is (8/2 - 55)*-1 prime?
False
Let i(g) = g**2 + 4*g + 3. Let v be i(-3). Suppose -5*z + z + 316 = v. Is z prime?
True
Let k(i) = i**2 - i + 62. Let b = 4 - 4. Is k(b) prime?
False
Suppose 0*t = 4*t - 3*y - 191, 5*y = 2*t - 99. Suppose -2*o + 9*j + t = 4*j, 2*o + 4*j = 74. Is o prime?
True
Is (-13*223/(-2))/((-4)/(-8)) a composite number?
True
Suppose 2*r - 2*z + 183 = 521, 0 = 3*r - 2*z - 507. Is r composite?
True
Suppose 0 = 6*u - 188 - 664. Is u a composite number?
True
Let r be 10/4*18/15. Let n(x) = r*x + 1 - x + 0 + 2*x. Is n(3) prime?
True
Suppose -s + 1 - 11 = 0. Let k be 2/((s/3)/(-5)). Suppose 74 = 2*a - 4*q, k*a + 2*a - 178 = 3*q. Is a a composite number?
True
Let n be -10*-2*(-3)/4. Let v = n + 4. Let y = 280 + v. Is y composite?
False
Let n(s) = -s + 1. Let y be n(1). Suppose q = 10 - 5, 2*x + 2*q + 110 = y. Let m = x + 131. Is m a composite number?
False
Let w(c) = c**2 - c. Let a be 14/6 - 1/3. Let g be w(a). Suppose -21 = -g*z + 1. Is z a composite number?
False
Let c = 0 - -3. Let s(a) = a**2 + 2*a - 4. Is s(c) a composite number?
False
Suppose 4 = 4*l - 