 number?
True
Suppose -2*w = -y + 8340 + 2835, 0 = -5*y - 2*w + 55899. Is y prime?
False
Let y = 83 - 128. Is (310/(-6))/(15/y) a prime number?
False
Suppose 5*h = 3*z - 5*z + 127, 4*z = -h + 209. Is z prime?
False
Let d(i) = 3687*i + 190. Is d(11) prime?
False
Let b be (-25)/(-7) - 27/(-63). Suppose y + b*m = 1808, y + 0*m - 2*m - 1826 = 0. Let g = y - 1299. Is g composite?
False
Suppose -27 = 4*z - 3. Let g(k) = -6*k**3 - 8*k**2 + 3*k + 5. Is g(z) composite?
True
Is (21139600/95 - -13) + 4/(-38) a composite number?
True
Is (15/(-5) - 3 - -3) + 9062 prime?
True
Let c be 4/(-18) + (-145)/(-45). Let v be 0 - 3 - (c - 8). Suppose 448 = -v*g + 1610. Is g a composite number?
True
Let a(m) = 2*m**2 - 9. Let y be (-1 - 3) + -2 + 8. Let w be 6/((-5)/y + 4). Is a(w) a prime number?
True
Suppose 0 = -8*t - 4 - 4. Is (-1 + t)/(-1)*(-2049)/(-6) a composite number?
False
Let k(s) = s**3 + 7*s**2 + 6*s + 8. Let f be k(-5). Let c(t) = 10 + 10 + 6 + 253*t - f. Is c(1) prime?
True
Let a = 67 + 64. Let z(b) = 14*b - 10. Let n be z(-6). Let r = n + a. Is r prime?
True
Suppose -5*f + 14 + 11 = 0. Suppose 6 - f = p. Is (-4)/2 + p*445 composite?
False
Suppose 4*q + r - 147887 = 0, -2*q - 2*r - 49445 + 123381 = 0. Is q a composite number?
False
Let t(l) = 181*l**2 + 12*l - 15. Is t(8) a composite number?
True
Let g(x) = 8*x**2 + 16*x + 47. Is g(22) a prime number?
True
Let d = 38 - 33. Suppose 5*q + 2*r - 7005 = 0, d*q - 2*r - 7015 = -6*r. Is q composite?
False
Is (1 + -19183)/(-6) - 2/(-1) composite?
True
Is 75/(-15) - 444/(-2) a composite number?
True
Suppose 9 = -3*c, 4*b - 5*c + 0*c - 115 = 0. Suppose -2*f + b = 3*f. Suppose -f*i + 394 = -421. Is i composite?
False
Let h(r) = 1882*r - 3. Is h(5) a prime number?
False
Is (-1)/24*-8*26229 prime?
False
Let x(u) = 31*u + 1. Let h(p) = -21*p - 1. Let v(f) = -8*h(f) - 5*x(f). Let s = -1 + 8. Is v(s) composite?
True
Let u(f) = -f**3 - 6*f**2 - 2*f + 4. Let t be u(-4). Let p be (-7)/(-4) + (-5)/t. Suppose 5*m = -4*o + 127, -5*o = -3*o + p*m - 64. Is o composite?
True
Let x(m) = -4*m**2 + 23*m - 10. Let g be x(9). Is ((-18)/3 - -3)*1*g a prime number?
False
Is ((-2)/10)/(1/21380*-4) a prime number?
True
Let q = 652 + 21. Is q a composite number?
False
Suppose 0 = 2*n - 1 - 1, -n = -2*y - 53. Let b = y - -205. Is b a prime number?
True
Is (-2)/11 + 501730/110 composite?
False
Suppose -f + 5*j = -27087, -3*f + 41320 = j - 39941. Is f a prime number?
False
Let r be (1 - -2 - 1) + 5. Suppose -p - l + 6 = 2*l, r = 2*p + l. Is 1*140 - (0 - p) composite?
True
Let a = -18402 - -44959. Is a composite?
False
Let i(o) = 10*o - 6. Let k be i(2). Suppose k = -8*t + 38. Suppose 6*c = t*c + 4443. Is c composite?
False
Let c be 24/14 - 26/(-91). Let z be (c - 3) + 3 + -2. Suppose 3*p - 2*n + 0*n - 173 = 0, z = 4*p + 5*n - 223. Is p composite?
True
Let n be 0/((-2)/(-3 - -4)). Suppose n = 2*c - 55 - 113. Is (11/4)/(3/c) a composite number?
True
Is (5 - 2)/(0 - (-9)/4203) prime?
False
Suppose m - 1125 = -146. Is m composite?
True
Let x be (-1)/((-2)/14) + 1. Let n = -7 + x. Is 2 - (n + -87 + -3) prime?
False
Suppose 0 = -2*q - 10, -2127 + 13020 = m - 2*q. Is m prime?
True
Suppose -4*f = 2*n - 12, n + 9 = 2*f - f. Let w be n/(-10) - (-4512)/20. Suppose 3*d - w = 4*q, 3*d + 2*q = -2*q + 218. Is d composite?
True
Suppose -5*r = -q - 20, -2*q + 20 = -0*q + 5*r. Suppose q = 5*f + 671 + 4. Let s = -49 - f. Is s a prime number?
False
Let v(h) = -h**3 + 3*h**2 + 37*h - 10. Is v(-9) a prime number?
False
Is (-3)/(3/(-11374)) - (-7 + 12) a composite number?
False
Let l be (-5 + 2)/(-6)*12. Suppose 3*j = l, -292 = 3*m + 2*j - 1706. Let b = 681 - m. Is b a composite number?
False
Let b(j) = j - 14. Let z be b(14). Suppose 0 = -2*g - a - a - 1958, -2*g - 4*a - 1964 = z. Is ((-2)/4)/(4/g) prime?
False
Let b = -47 + 428. Suppose 3*g - b = -0*g. Is g prime?
True
Let j = -309 + 488. Is j a composite number?
False
Let c = 5786 + -3568. Is c composite?
True
Let t = 48553 + -34034. Is t a prime number?
True
Let d = -18 + 25. Let y be 12/42 - (-26)/d. Suppose -4*s = -3*o - 4244, -2*s + y*o - 2122 = -4*s. Is s composite?
False
Suppose 4*o - 226693 = 42151. Is o composite?
False
Suppose 215 - 862 = -u. Suppose 0 = -2*l + 3*l - u. Is l prime?
True
Let i = -16 + 15. Is 441 - 6/(4 + i) composite?
False
Suppose 3*w - 3 + 0 = 0. Suppose -w = 3*j - 94. Suppose -j + 347 = 4*z. Is z a composite number?
False
Let r(p) = -7*p**3 + 7*p**2 - 12*p - 19. Let l be 0/(4/4) + (-7 - -1). Is r(l) a prime number?
False
Let x = 216 + -7. Is x a prime number?
False
Suppose -q - 6 = -2*g, 0 = 4*g - 24 + 4. Let u(y) = 97*y - 36*y - 1487 + 1494. Is u(q) prime?
True
Suppose 0*g + 5*i + 5476 = 2*g, 4*i - 2751 = -g. Is g a prime number?
False
Suppose 0 = -2*l - 2*m - 6, l + m + 4*m = -3. Is 1 + 2 + (l - -163) composite?
False
Let u(x) = -x**3 + 8*x**2 + 10*x - 8. Suppose -2*z + 15 - 2 = -v, 3*z - 47 = -4*v. Let y be u(z). Is 50 + (5 - (3 - y)) composite?
False
Let j(t) = 33*t**3 + t**2 - 33*t + 63. Is j(2) a composite number?
True
Is ((-3)/(-2))/((486/553428)/9) composite?
False
Let r(a) = -a**3 + a**2 - 3*a - 24. Let m(x) = 4*x**3 - 4*x**2 + 13*x + 97. Let h(w) = -2*m(w) - 9*r(w). Let o be h(0). Is o/165 + 703/15 prime?
True
Suppose -184 + 13 = -5*w + 3*r, -3*w = -r - 101. Is (16610/w)/(2/3) prime?
False
Let r(k) be the first derivative of -2305*k**2/2 - 16. Is r(-1) prime?
False
Let b = 183 - -1654. Is b composite?
True
Suppose p - 9 = -3*y, -2*p = 5*y - 2*y - 12. Suppose u = x + 6, 3*x + x + y*u = -12. Is (-2)/x + 52/8 a prime number?
True
Let o(p) = -p**3 - 3*p**2 + 2*p + 10. Let n be (5/(30/36))/(0 + -1). Is o(n) a composite number?
True
Suppose 2*d = 3*d. Suppose d = -4*b + 7*b + 549. Is 3 - (-3)/(-3) - b prime?
False
Let n be (2/(-4))/(1/(-32)). Let j(f) = -f**3 - 13*f**2 - 11*f - 8. Let m be j(-12). Is 17620/n - (-5)/m prime?
False
Is (0 + 30449/(-3))*-3 prime?
True
Suppose -4*c + 2*c + 10 = 0. Let m be (-1 + c)*287/(-2). Is (-1)/(-3 - -5)*m a composite number?
True
Let f = 80660 + -48347. Is f composite?
True
Suppose -2*l - 26 = -38. Suppose 2*q - l*q + 296 = 0. Is q a composite number?
True
Let g be (-3 - -6) + (12/(-3) - 1). Is (-1)/g - 27612/(-24) prime?
True
Let g = -2 + 64. Let u(p) = 83*p + 3. Let d be u(-6). Let c = g - d. Is c prime?
True
Suppose 6*f - 20 = f. Suppose -3*r - 91 = -f*r. Is r prime?
False
Suppose 7899 = p - 5*m, -10*p + 12*p = -2*m + 15846. Is p a prime number?
True
Let x(a) = -7*a + 0*a + 12 + 0*a + a**2. Let y be x(5). Suppose y*q = -0*q + 170. Is q composite?
True
Let m(o) = -o**2 + 7*o + 3. Let h be m(7). Let x(p) = 6*p**2 + 1 + 4*p - p**2 - 3. Is x(h) composite?
True
Suppose 3*f = 6*f + 51. Let u = 8 + f. Is 3/(-9) - 444/u a prime number?
False
Let d be -1*39*(-3 + (-7)/(-3)). Suppose 8 = 4*z, 3*j - d - 239 = -2*z. Is j prime?
False
Let c(k) = -8*k**3 - 2*k**2 - 4*k - 3. Let v(y) = -15*y**3 - 3*y**2 - 7*y - 5. Let i(q) = 5*c(q) - 3*v(q). Let b be i(1). Is ((-4)/b)/((-22)/2915) prime?
False
Is ((-472)/(-16))/(-2 + (-117)/(-58)) composite?
True
Suppose -4*s = -11*q + 6*q - 56472, -3*s + 42361 = -2*q. Is s composite?
True
Suppose 69109 = 305*k - 304*k. Is k prime?
True
Let c = 48 - 1. Let a = 314 - c. Is a a composite number?
True
Suppose -s + 5079 = -2*x + 4*x, 5*s - 25389 = -4*x. Is s composite?
False
Let w(q) = -3*q**3 + 4*q**2 + 7*q + 17. Let s be w(-8). Is s/7 - (-52)/91 a composite number?
False
Suppose -1963*c = -1973*c + 105470. Is c a composite number?
True
Let h be -2 + (1 - (-4)/(-6))*18. Suppose h*l - 5394 = -3*r, 3*r + 5384 = 4*l + r. Is l prime?
False
Suppose 0 = -y - 4*r - 3883, -r - 12663 = 4*y + 2839. Is y/(-35) - 2/(-7) composite?
True
Let h = 15 - 9. Suppose -3*i + i = -h. Is (i/(-3))/(3/(-381)) a prime number?
True
Let s(h) = -931*h**3 - 2*h + 2. Let z be s(1). Let u = z - -1420. Is u composite?
True
Is (11/2)/(7*(-9)/(-70938)) a prime number?
False
Suppose -3*g + 8105 = -3160. Is g prime?
False
Suppose -6*z + 30 = -0. Suppose z*h - 1072 = 903. Is h a prime number?
False
Let z = 13 - 12. Let s be z - (-2)/(-2 + 1). Is s*29*(7 - 12) prime?
False
Suppose -2*h + 2*b = -0*b - 6, -3*h + 5*b = -7. Suppose -3*j + 1058 = c, 0*c = -5*c + h*j + 5233. Is c composite?
False
Suppose -2*n = -8*n + 24. Suppose 2*y + 119 = 3*f, -5*f + 105 + 130 