-6) prime?
True
Suppose -p + 1100 = 4*p. Suppose -5*d + p = -5*g, -4*d + g + 175 = -2*g. Is d prime?
True
Suppose 3*k - 932 = -2*n, -n + 479 = -k - 4*k. Is n prime?
False
Suppose -4*b + 9 = -3. Suppose 45 = 3*j + b. Is j prime?
False
Let z(a) = -a + 4*a**2 + 5*a**2 - 5*a**2 - 4. Let l(r) = r + 11. Let i be l(-6). Is z(i) a composite number?
True
Let q(n) = -55*n**2 + 4*n + 11. Let m(x) be the first derivative of -28*x**3/3 + x**2 + 5*x - 1. Let h(p) = -13*m(p) + 6*q(p). Is h(1) a prime number?
False
Let g = 11 - 16. Let q = g + 42. Is q a composite number?
False
Suppose 4*v - 2001 = v. Is v composite?
True
Suppose 10*z + 3845 = 15*z. Is z a prime number?
True
Let u be (141/(-9))/((-1)/(-9)). Let j = -145 - 67. Let l = u - j. Is l composite?
False
Suppose -w = -2*h + 1, -4*h + 2*w + 3*w - 7 = 0. Suppose 0*u - h = -u. Suppose -u*m - 5*y = 2*m - 67, -5*y - 140 = -5*m. Is m composite?
False
Let b(k) = k + 4. Let v be b(-7). Is ((-2)/v)/((-6)/(-1611)) a prime number?
True
Let z(f) = f + 5. Let m be z(5). Let h(s) = -4*s**2 - 9*s + 5. Let y(t) = -3*t**2 - 10*t + 5. Let w(b) = -5*h(b) + 6*y(b). Is w(m) composite?
True
Suppose -2*m + m - 2*r - 4 = 0, 0 = m - 2*r. Is ((-2)/m)/((-2)/(-118)) composite?
False
Let z = -12 - -173. Let r = z - 46. Is r a composite number?
True
Suppose -o = -2*o. Let z = 0 - -3. Suppose -5*n - 4*f + 23 = o, -n - z*f = -3*n + 23. Is n prime?
True
Let j be 1/2 - (-1678)/4. Suppose -5*k + 155 + j = 0. Is k a composite number?
True
Let w(s) = -7*s - 9. Is w(-14) prime?
True
Suppose -1773 - 1302 = -5*q. Let s = -430 + q. Is s a prime number?
False
Let p be 3 - (2 - (-2 + 4)). Let a(m) = -5*m**2 + 5*m**3 - 4*m**p - 7*m**2 + 18*m - 14 - m**2. Is a(12) a prime number?
False
Is 2/6*3 + 204 prime?
False
Let t(q) = q**2 - 7*q + 8. Let o be t(6). Suppose -5*a = r - 0*r - 875, 3*r - 350 = -o*a. Suppose 2*g + 3*g = a. Is g a prime number?
False
Let d(o) = o**2 - 13*o + 12. Suppose f + 0*f = 12. Let i be d(f). Suppose i = 7*v - 2*v - 155. Is v a prime number?
True
Let l(q) = q**2 + 2*q - 5. Let b be l(-4). Is 53 - (b/1 - 3) prime?
True
Suppose -s - 3*u + 212 = 0, s - 215 = -u - u. Is s prime?
False
Suppose 4*u = u + 762. Suppose d + u = 5*c - 273, 5*d = -c + 121. Is c composite?
True
Suppose 6*z = 8*z - 446. Is z a prime number?
True
Let o(i) = -i + 1 - 2 + 6*i. Let n be o(1). Suppose 5*u + 3*s - 42 = -n, -4*u + 44 = -s. Is u composite?
True
Is -5 + 114/2 - (0 + 1) composite?
True
Let u(j) = 122*j + 13. Is u(6) prime?
False
Suppose -i = -0*i - 4. Let z be ((-9)/6)/((-3)/i). Suppose 0*w + z*w + 4*d - 6 = 0, d - 9 = -3*w. Is w composite?
False
Let k be (-118)/(-8) - 3/(-12). Suppose 2*m - 2 = 4*v - 62, 5*m = -v + k. Is (35/v)/(1/21) a prime number?
False
Let b be (4 + -3)/(1/649). Let s = 944 - b. Is s prime?
False
Let o be (59 - -3)*-1*1. Let t = 105 + o. Is t composite?
False
Let u be 2/2 + (-6)/(-3). Let f be u*1/3 - -78. Suppose 5*i = l - f, l - 2*l + 67 = -2*i. Is l composite?
False
Is (-2)/(-10) + 588/10 composite?
False
Is 13606/3 + (-1 - 2/(-3)) composite?
True
Suppose x - 5*d - 7 = -3*x, -12 = -4*x + 4*d. Suppose -4*b + x + 68 = 0. Is b a composite number?
False
Suppose -9 = -3*o - 0*o. Suppose g + 2*g = -o*w + 93, 5*w = -4*g + 129. Is g a composite number?
True
Suppose -16 = 6*w - 2*w, w = -2*k + 72. Let n = 107 - k. Is n composite?
True
Suppose 7*j = 2*j + 15305. Is j composite?
False
Let f(a) = -5*a**3 + a**2 + 2*a + 3. Is f(-2) prime?
True
Let w be (0 + -3)*2/(-6). Is ((-134)/(-4))/(w/2) composite?
False
Suppose 5*o + 0*o = -5*t + 12315, -4*o = 3*t - 7393. Is t composite?
False
Suppose 15 = 2*n - 3*q, 2*q + 10 = -n - 4*n. Suppose h - 89 - 54 = n. Is h a composite number?
True
Suppose 0 = 5*h - 0*c + 3*c - 12, 4*c + 16 = 4*h. Suppose -4*d + h + 117 = 0. Suppose 0 = -3*w - 15, 3*o - 78 - d = 3*w. Is o a composite number?
False
Let w = -43 - 11. Let z = 73 - w. Is z composite?
False
Let g(a) = -a**3 - 7*a**2 + 3*a - 6. Let z be g(-8). Let y = 68 - z. Is y composite?
True
Suppose -5*o + 360 = 25. Is o composite?
False
Suppose -y = 40 - 12. Is (-4)/(-14) + (-3660)/y prime?
True
Suppose 3*c - 3*j - 11 = 7, 0 = 2*j + 8. Is 2/c*0 - -35 a prime number?
False
Suppose z - 4*z + 27 = 0. Suppose 2*l + z = 5*l. Suppose -2*f = 4*b - 188, 0*f + l*f - 184 = -4*b. Is b a composite number?
True
Suppose 3*q - 28 = -4*g, 4*g - 4*q + 1 - 57 = 0. Is 2324/g + (-21)/(-35) a prime number?
True
Let n(d) = -3*d**3 - 7*d**2 - 6*d - 1. Is n(-4) a prime number?
True
Let c = 14 - -1. Is c a composite number?
True
Let y = 289 + -162. Is y a prime number?
True
Suppose 5*c - 72 = -c. Let l = -4 - -4. Suppose g + 4*g + 3*f - 454 = l, -c = -4*f. Is g a prime number?
True
Let j(u) be the first derivative of -u**4/4 - 5*u**3/3 - u**2 - 6*u + 3. Suppose 32 = -4*w + 2*s, -2*w = -0*w + 3*s + 8. Is j(w) prime?
False
Let l(t) = 7*t - 1. Let a(y) = 1. Let z(i) = i**3 + i**2 + i + 1. Let d be z(0). Let m(h) = d*a(h) - l(h). Is m(-5) prime?
True
Suppose -2*b - 9 + 69 = 0. Suppose -3*a + a = 2. Is (2 + a)*(b - 4) composite?
True
Suppose -21304 = -6*a + 6422. Is a prime?
True
Suppose 0 = -11*m + m + 11510. Is m a prime number?
True
Let s(o) = o + 2. Is s(11) prime?
True
Let f(j) = -81*j - 16. Is f(-5) composite?
False
Let r = 223 - 154. Let d = 22 - 18. Suppose -r = -d*l + l. Is l composite?
False
Let d = -8 - -13. Let b(t) = t**3 - 4*t**2 + t + 7. Is b(d) a prime number?
True
Is -1*(-2 + (-936)/6) composite?
True
Suppose b - 56 = -0*b. Suppose -b = -s + 59. Is s a prime number?
False
Let z(o) be the second derivative of 3*o**4/4 - o**2/2 + 6*o. Is z(-2) composite?
True
Let k(n) = 5*n - 1. Let y be k(-2). Let r = y + 80. Is r a composite number?
True
Let t(j) = 5*j + 4. Let b be t(7). Suppose 2*n + b = 5*n. Suppose r = n - 4. Is r prime?
False
Suppose c = 3*o + 17, 0*c + 4*o = 4*c - 36. Suppose -c*f - 2 = -3*l, 0 = -0*f + 3*f + 4*l - 22. Suppose 0 = -f*m - 0*m + 254. Is m a composite number?
False
Let s(o) = 585*o**2 - 19*o + 9. Is s(4) a prime number?
True
Is (56/12 + -5)/(2/(-8166)) prime?
True
Suppose 12*y - 6170 = 7*y. Is y prime?
False
Let a(l) = l**2 + l - 4. Let h be a(-5). Let y = -13 + h. Is y a prime number?
True
Let p be (-7)/(-2) + (-21)/(-14). Suppose -p*w - 5 = -0*w. Is w/(-2)*(108 - 2) a composite number?
False
Is (-2)/4*-3 - (-86)/4 a prime number?
True
Is (-155)/(-4) + (-6)/(-16)*-2 composite?
True
Suppose -6*v + 5*v = -371. Is v a prime number?
False
Let g = -16 + 87. Is g a prime number?
True
Let o be -2 + 2 + 16 + 0. Suppose 0 = -5*y + 4 + o, 2*n + 5*y - 174 = 0. Is n a composite number?
True
Suppose z - 566 = 453. Is z/9 + (-10)/45 prime?
True
Suppose z = 5*i - 387, 0 = -3*z + 2*z + 3*i - 377. Let h = z + 655. Is h prime?
True
Let r = 321 + -171. Suppose 0 = 3*o - 12, x - r = -x + 5*o. Is x composite?
True
Let j = -11 - -7. Let c = j + 6. Suppose c*h - 41 = 5. Is h composite?
False
Let j = 704 - 447. Is j a composite number?
False
Let l(b) = -b**2 - 3*b - 1. Let d be l(-4). Let r(w) be the third derivative of w**6/120 + 2*w**5/15 + 5*w**4/24 - w**3/6 + 17*w**2. Is r(d) composite?
True
Suppose 0 = -2*z - s + 5*s + 14, z + 3*s = 12. Suppose 0*y = 5*q - y - 69, -q - y = -z. Is q prime?
True
Let v be (1 + 1)/(2/3). Let p(i) = i**3 - 4*i**2 - 4*i - 1. Let o be p(5). Suppose 64 = -3*w + 7*w + o*n, -v*w + 30 = -3*n. Is w composite?
False
Let m(x) = 17*x**2 + 4*x - 1. Is m(-2) a composite number?
False
Let z be 5*(16/(-5))/4. Is (-6)/z*166/3 a composite number?
False
Suppose 3*s = 2*r + 4093, -s = -2*r + 5*r - 1346. Is s composite?
False
Is ((-12)/30)/(2/(-5435)) prime?
True
Suppose 16*o - 14*o = 4666. Is o a composite number?
False
Suppose 0 = 5*t - 2*t. Suppose -5*n = -t*n - 815. Is n a prime number?
True
Let n(r) = -r - 9. Let b be n(-6). Let x(h) = 10*h**2 - h + 4. Is x(b) a prime number?
True
Suppose 0 = -4*u - 438 + 1146. Is u a composite number?
True
Let n = 426 - -19. Is n a prime number?
False
Let u(z) = 10*z**2 + 2*z + 5. Let t be u(6). Suppose 4*h + 0*h - 3*a - 486 = 0, t = 3*h + 4*a. Is h a prime number?
False
Suppose 0*n - 44 = -2*n. Let p(h) = 0 + 1 - 2 - n*h. Is p(-1) composite?
True
Is 1/(-3) - 30630/(-9) a composite number?
True
Let k be -1*(1 - 0) + 36. Suppose -5*s - k - 355 = 0. Is (s/9)/(4/(-6)) a composite number?
False
Let r = 2 - -2. Su