-3083) composite?
False
Let r(v) = v**3 + 3*v**2 - v - 1. Let t be r(-3). Suppose -64 = -4*y + 5*s, -2*y + 3*s + t*s = -32. Suppose 4*w - 156 = -y. Is w prime?
False
Suppose 0 = -5*h + 3*r - 10, 3*h - 4*r - 15 = 2*h. Let z be (1 - 3) + (h - -102). Suppose 21 + z = 2*n. Is n prime?
False
Suppose 2*j - 1553 + 592 = 3*q, 4*q - 12 = 0. Is j composite?
True
Suppose -y + 19 = 70. Suppose -3*r + 296 = -7*r. Let p = y - r. Is p a composite number?
False
Let b(c) = -23*c. Let p(v) = -v**3 - 7*v**2 - 7*v - 8. Let h be p(-6). Let i be b(h). Is (i/(-4))/(3/(-30)) a composite number?
True
Suppose -6*h - 3*c = -3*h - 30, -4*c = -3*h + 9. Suppose -2*a = -b - h*a + 276, 3*b = -4*a + 861. Is b a prime number?
False
Suppose 3*u = -3*u + 5214. Is u composite?
True
Suppose -2*t - 2*t - 16 = 0. Let h(a) = -2*a**3 - 6*a**2 + a + 5. Let g be h(t). Suppose -c = -4*c + g. Is c prime?
True
Let o(m) be the third derivative of -3/8*m**4 + 5*m**2 + 0 + 0*m - 4/3*m**3 - 1/60*m**5. Is o(-7) a prime number?
False
Let k(x) = 17*x + 9. Is k(8) a composite number?
True
Let i(r) = r**2 + 3*r + 2. Let j be i(-3). Suppose -1467 - 184 = -5*g + j*x, g = x + 332. Is g prime?
False
Suppose 0 = -i + 8 - 6. Suppose 5*v = 3*q - 520, -6*q + i*v + 514 = -3*q. Suppose 3*t - 253 = q. Is t prime?
False
Let q = 17 + -12. Suppose 2*y - 4*s - 5 = 17, -q*s = -5*y + 75. Is y a prime number?
True
Suppose 1 = f - 0. Let n be f*-1 + (-2)/(-1). Suppose 10 = a + n. Is a a composite number?
True
Let u(v) be the third derivative of -v**4/24 - 2*v**3/3 - v**2. Let c be u(6). Let s = 67 - c. Is s a composite number?
True
Let f = -8 + 50. Suppose 0 = -2*u + f + 12. Is u/6 + 2/(-4) composite?
True
Let i(v) be the third derivative of v**7/2520 + v**6/180 + 7*v**5/120 + v**4/12 + 3*v**2. Let m(z) be the second derivative of i(z). Is m(-6) prime?
True
Suppose -6*p + 5*p + 2 = -3*m, 3*p = -3. Is 6/(-2) + 62 + m prime?
False
Let h be (2/4*0)/(-2). Suppose 7*r - 3*r - 92 = h. Is r a prime number?
True
Let d = -5 + 9. Is d + (-2 - 1) + 10 composite?
False
Let i(j) = -j**2 - 5*j + 3. Let p be (4/(-6))/((-2)/(-12)). Is i(p) prime?
True
Let x be -574 + -3 - (-1 + 2). Is x*(2 - (-5)/(-2)) a composite number?
True
Let b be (-18)/(-4) - (-4)/(-8). Suppose -5*l - b*n = -36, -2*n - 16 = -l - 5*n. Suppose -2*m + 248 = 3*v, l*m + 8 = 5*v + 526. Is m composite?
False
Let x(y) = -y**3 + 3*y**2 + 6*y - 3. Let k be x(5). Let u = -2 - k. Is (-217)/u*(-15)/1 prime?
False
Suppose -6*q + 1788 = 6*q. Is q prime?
True
Let q be (-2 + (-129)/2)*-2. Suppose -3*j = -4*l + 2*j + q, 2*j = -2*l + 80. Is (l/3)/(2/6) prime?
True
Let u(i) = -4 + 0 - i - 4. Let v be u(-8). Suppose v = 3*n - n - 14. Is n prime?
True
Let c = 2219 + -1152. Is c composite?
True
Is (-18921)/(-106) - 2/4*-1 a prime number?
True
Let j(s) = s**3 - 10*s**2 - 10*s + 2. Is j(11) prime?
True
Let k(b) = 4*b**2 - 11*b + 10. Is k(9) a composite number?
True
Suppose 3 = 3*k + 9. Is (2601/(-18))/(k/4) a prime number?
False
Is 13/(36/(-20) + 2) a prime number?
False
Suppose 3*s - 5 = 2*s. Let l(i) = 5*i**2 + 3*i + 3. Is l(s) a prime number?
False
Let k = 7 + -5. Suppose u + 523 = k*a - 2*u, a = -2*u + 251. Is a prime?
True
Let x = 12 - 10. Is (x + -5 + 2)*-267 a prime number?
False
Let s be (-2)/(-2*1/207). Suppose -3*w + 186 + s = 0. Is w a composite number?
False
Let w be (-8)/20 - (-8)/(-5). Let m = 46 - 65. Is (-1)/w*(-5 - m) prime?
True
Let i(j) = 6*j**2 - 2*j + 1. Let w be i(2). Suppose 30 + w = y. Suppose 4*l - 89 = t, 10 = -2*l - 3*t + y. Is l a prime number?
False
Suppose 75 = 3*w - 36. Is w composite?
False
Let b(r) = r**2 + r. Let c be b(4). Let q = -7 + c. Is q a composite number?
False
Let n(a) be the second derivative of 5*a**3/6 - a**2 - 2*a. Let m = 5 + -2. Is n(m) composite?
False
Suppose -190 = 2*r - 5408. Is r a composite number?
False
Suppose 2*t - 193 = 3*o, -188 = -2*t + 2*o - 0*o. Is t a prime number?
True
Let d = 7 + -3. Let i = d - 1. Suppose 308 = i*x + x. Is x a prime number?
False
Let a = 0 - 0. Let l = 2 + 9. Let y = l - a. Is y prime?
True
Suppose -2*b + 0*b + 5*z + 19 = 0, -20 = 4*z. Is (b - -8)*14/5 a prime number?
False
Suppose 5*j + 0*j = 290. Let q = j + 1. Is q a prime number?
True
Suppose p = -l + 2*p + 334, 5*l - 4*p - 1667 = 0. Is l prime?
True
Let z(b) = 12*b**2 + 8*b - 5. Is z(5) prime?
False
Suppose -k + 271 + 408 = 0. Is k a prime number?
False
Let f = 17 + 132. Is f a prime number?
True
Let s(v) be the second derivative of -v**3/6 - 2*v. Is s(-6) a prime number?
False
Suppose 8*g - 3*g = -3*f + 17, f - 8 = -4*g. Is (-82)/((-3)/(-9) - g) a composite number?
True
Let s(h) = 12*h**3 - h**2 + h + 3. Is s(2) a composite number?
False
Suppose -2434 = -4*o + 2*o. Is o composite?
False
Let m = -338 + 741. Is m a prime number?
False
Suppose -5*f = -5*y - 5, -5*y - 6*f + 35 = -3*f. Suppose -2*l = -y*l + 134. Is l composite?
False
Let b(f) = 5*f - 14. Let l(m) = -11*m + 29. Let a(u) = -13*b(u) - 6*l(u). Let s be a(-6). Suppose 4*n = -s*x + 20, 0 = -5*x + 5 + 15. Is n a prime number?
True
Suppose 0 = -g + 3*g - 2. Is -1*(g - 6) - -1 composite?
True
Suppose 5*s + 5*h = 4059 - 669, -3*h = 2*s - 1361. Is s a prime number?
True
Let v be 6*2*(-3)/(-12). Suppose h = v*h - 4. Let r = 15 - h. Is r a prime number?
True
Let f be (-54362)/(-26) - 8/(-52). Let v be 2/6*(f + 6). Suppose -2*o - o = -v. Is o composite?
False
Suppose 2*u = b + 58, 5*b = 10 + 10. Is u prime?
True
Let z = -2194 + 4292. Is z a composite number?
True
Suppose 3*s + 0*s - 9 = 0. Is (-148 - 1)/(s/(-15)) a prime number?
False
Let v = 400 - 196. Suppose 589 = 5*k + v. Is k a composite number?
True
Let w = -2 - 3. Let r = 8 + w. Suppose -r*h + 4*h - 3 = 0. Is h prime?
True
Let w(o) = o**3 + o + 4. Let y be w(0). Suppose 4*z = b - y + 17, -b - z = -7. Suppose 5*m + b*g = -g + 79, -3*m + 2*g + 65 = 0. Is m a prime number?
True
Let m(z) = -z + 352. Let w be m(0). Suppose -5*k + p = -w, -k + 3*p + 11 + 51 = 0. Is k prime?
True
Is 1/((20/8995)/4) composite?
True
Let l(n) = 12*n**2 - 3*n - 2. Is l(3) a composite number?
False
Suppose -8 + 34 = -3*w + 4*a, -a = 4*w + 22. Let h = 8 + w. Suppose -h*b + 8 = -12. Is b prime?
False
Suppose w - 5*w = 3*g + 306, 113 = -g - 5*w. Let n = 137 + g. Is n a composite number?
True
Let b = 5 - 8. Let g = b + 3. Let z(o) = o + 57. Is z(g) composite?
True
Is (-7 - (-10)/1) + 4418/1 composite?
False
Let k be 36/10 + (-4)/(-10). Suppose -k*j = -17 - 3. Suppose 2*b - 8 = -g - 0, 3*b = -j*g + 19. Is b prime?
True
Let z = -28 + 34. Is z a prime number?
False
Suppose 0*c + 569 = k - 3*c, 5*c = 3*k - 1691. Is k a composite number?
False
Is (0 - 2) + (-55)/(-1) a prime number?
True
Suppose r + 1119 = 4*r. Is r prime?
True
Let f be 0 - (3 + (0 - 3)). Suppose 2*h + 74 = -2*n, -4*n + n + 2*h - 111 = f. Let x = 166 - n. Is x prime?
False
Let d = 305 - 174. Is d a prime number?
True
Let y = -691 - -4524. Is y a composite number?
False
Suppose -4*a + a = -3. Let k = -1 + a. Is (7 - 0)*(k - -2) a composite number?
True
Let l = -821 + 1566. Is l composite?
True
Let u(w) = -w**3 + 8*w**2 + 2*w + 5. Suppose -5*t = -3*t - 8. Is u(t) prime?
False
Suppose -k + 3*k = 8. Let v be 4/1*9/k. Is 130/6 + (-6)/v a prime number?
False
Suppose 2*c = 134 + 32. Is c prime?
True
Let x(v) = -31*v + 4. Is x(-7) composite?
True
Suppose -3*x - 9 = -3*z, 3*x - z + 3 = -x. Suppose 12 = -2*m + 2*j, x + 1 = -m - 4*j. Let f = 58 + m. Is f composite?
False
Let d(l) = l**3 - 4*l**2 + 3*l - 2. Let m(r) = r**2 + 5*r + 6. Let z be m(-4). Suppose -10 = 5*s, 3*v + 3*s = z*v - 2. Is d(v) prime?
False
Suppose 35 = -5*l - 0*l + 4*v, 3*l - 16 = -5*v. Let r(q) = 2*q**2 - q + 1. Is r(l) composite?
True
Let x be 1 + -3 - (-10 - -5). Is 6 - 2/(2/x) prime?
True
Suppose 3*h - 521 = -5*z + 999, 2*h = 2*z - 624. Is z composite?
False
Let j = 4195 + -2642. Is j prime?
True
Suppose x + 122 = 19. Let b = x - -230. Is b prime?
True
Suppose a + 3 = -p, -a + 6 = 3*a - 2*p. Suppose a = 2*k - 2*g - 50, 4*g = 1 + 3. Suppose 0 = 3*s + 2*c - 65, 4*s = 5*c + 76 + k. Is s prime?
True
Let s(n) = -2*n**2 - 1. Let c be s(-1). Let v(f) = -13*f - 1. Let o be v(c). Let r = o - 4. Is r a composite number?
True
Suppose -2*x = -4*x + 10. Let q be -1*(-6 - (-3)/3). Suppose 5*g + 4*f = 19 + 13, 5*f + x = q*g. Is g a composite number?
True
Let 