 prime?
True
Suppose -149 = -2*t - 15. Is t prime?
True
Suppose -8 + 60 = -4*z + k, -z + 8 = 5*k. Let c be (-1)/4 - 27/z. Suppose -c*u - 4*i + 54 = -0*i, -3*u + 4*i = -51. Is u a composite number?
True
Suppose -3*f + 802 = 3*m - f, -5*f = -25. Let x = m + 329. Is x prime?
True
Let q(i) = i - 1. Let w(f) = -2*f**2 + 2*f - 11. Let p(v) = 6*q(v) - w(v). Let r(m) = m - 1. Let j be r(5). Is p(j) a prime number?
True
Suppose -3*y + 3 = 2*x - 5*x, -4*x + y = 10. Let j = x - -4. Is j/((-183)/93 - -2) a prime number?
True
Let n(w) = -2*w**3 - 4*w**2 - 5*w - 4. Let g be n(-3). Suppose -5*p + 1 = -g. Is -226*(2 - 15/p) a composite number?
False
Let j be (-6)/21 - (-2)/7. Let o = 4 - j. Let w = o - -9. Is w prime?
True
Is (1 + -292)*4/(-12) a composite number?
False
Suppose -5*v + 4*q - 6 = -22, 2*v + 4 = -q. Suppose v*r + 1 = -r. Let x = r + 12. Is x composite?
False
Suppose -26*o + 140 = -22*o. Is o a prime number?
False
Let x = 1337 - 298. Is x prime?
True
Let o(k) = 180*k - 1. Is o(4) composite?
False
Let f(q) = -q**3 - 8*q**2 + 8*q - 8. Let d be f(-9). Let i = d - 5. Is i/6 + (-408)/(-18) prime?
False
Let m(n) = 5*n**2 - 3. Let j = 4 - 8. Is m(j) prime?
False
Let a(k) = -k + 8. Let p be (-78)/(-9) - (-2)/6. Suppose 0 = -3*h + 27 - p. Is a(h) a prime number?
True
Suppose -2*o = 4*p - 7804, -4*p + 9875 - 2063 = 4*o. Is p a prime number?
True
Suppose -127 = -5*l + 238. Let u = l - 27. Is u a composite number?
True
Suppose 0 = w + 2*w - 81. Suppose -14 = -3*l + 4. Suppose u = -u + l, u = 2*i - w. Is i prime?
False
Let u = -410 + 729. Is u a prime number?
False
Suppose 21 = 4*d + 1. Let w be 526/((-3)/(-30)*5). Suppose -d*j = -j - w. Is j a composite number?
False
Let z = -382 - -872. Suppose -l = -5*w - 1344, z = -2*w + 4*l - 44. Let f = w - -390. Is f composite?
True
Let x = 634 - 113. Is x prime?
True
Let i be (-9 + 0)*(-2 - 0). Let k be (-12)/i*(-75)/2. Let u = k - -234. Is u composite?
True
Suppose -3*j = -2*o + 160, -o - 2*j + 86 = 13. Is o composite?
True
Suppose -2*v = -v + 6. Let a = v + 11. Suppose -a*j - 4*m + 103 = 0, 3*m + 55 = 3*j + 2*m. Is j a composite number?
False
Let r = 2 + -4. Let z(t) = -2*t**3 - 2*t**2 - 2*t. Let b be z(r). Is (4/(-8))/((-2)/b) composite?
False
Suppose -5*g + 17 - 7 = 0. Is (-37)/((-5 + 3)/g) a composite number?
False
Suppose 0 = -2*j - 2*c + 10, 2*j + 3*j - 25 = 3*c. Suppose -8 = -2*t + 2*w - 2, -j*t - 4*w = -60. Suppose t = s - 29. Is s a prime number?
True
Suppose 4*t + 20 = 4*k, -4*k - 3*t = 2*t - 11. Suppose -2*y + k*y = 6. Suppose y*b + 204 = 561. Is b prime?
False
Suppose 7 = -5*l + 477. Let p = l + -5. Is p prime?
True
Suppose 589 = 3*n - 4*x, 4*n = 4*x + 202 + 578. Is n a composite number?
False
Suppose -c + 4 = 2. Let i(t) = -4 + c*t + 2 + 4*t**2 + 0 - 3*t**2. Is i(5) prime?
False
Suppose -4*z + 210 = -2*x, -2*z - z + 164 = 5*x. Is z a composite number?
False
Is (16 - 0/1) + -3 a composite number?
False
Suppose 0*n = -3*n. Suppose 2*f = -n*f + 12. Suppose -2*u - f = 0, a - u - 71 = u. Is a composite?
True
Suppose -4 = -2*u + 3*w + 1, 6 = u - 5*w. Is (1 - 0)/(u/19) a prime number?
True
Let h(u) = -8*u - 1. Let q be h(-7). Is -10 + q - (-2 - -1) prime?
False
Let b(i) = i**3 + 2*i**2 - 3*i + 2. Let t be b(-3). Let g(s) = -s**t + 0*s**2 - 5*s + s. Is g(-3) prime?
True
Let t = -1 - -2. Let d(x) = -3*x. Let o be d(t). Is (-860)/(-15) - 2/o a composite number?
True
Let n(q) = -8*q**2. Let i be n(1). Let z = -5 + i. Let a = 34 + z. Is a a prime number?
False
Let p = -6789 + 9728. Is p a prime number?
True
Suppose 0 = 4*q - 5*g + 22, -5*q - 42 = 4*g + 6. Let a = 13 + q. Suppose w + 140 = a*w. Is w prime?
False
Suppose -3*u + 0*u = -2*i - 298, i + 154 = 4*u. Let x = 45 - i. Is x a composite number?
False
Let k be -5*(1 + 22/(-10)). Suppose -2*l = -4*l + k. Is l/6*(-60)/(-2) a composite number?
True
Suppose -4*z + 732 + 353 = 3*d, 5*z = 10. Is d a prime number?
True
Suppose -g = 4*g - 2060. Let b = 710 - g. Is b a composite number?
True
Suppose -o = 5*a - 2305, -5*a + 6867 = 3*o - 2*a. Is o a composite number?
True
Suppose 3*g - 7*g = -5*x - 21, -11 = -3*g - x. Let t = g + -1. Suppose l - t*l = -70. Is l a composite number?
True
Suppose -q + 111 = -4. Suppose 4*m + 2*j - 486 = 4*j, -252 = -2*m - 2*j. Suppose 0 = 3*y + z + 2*z - m, z = -3*y + q. Is y a composite number?
False
Suppose 10*t = 2*t + 5192. Is t prime?
False
Let l = 1 - -3. Is l*((-19)/(-4) - 3) a prime number?
True
Let n be (-1 + -2)/(3/4). Let s(g) = -g**3 - g. Let i(p) = -p**3 - p**2 + 2*p + 1. Let c(d) = n*s(d) - i(d). Is c(2) prime?
True
Suppose 34411 = 26*m - 13*m. Is m prime?
True
Let h be (-16)/24 + (-53)/(-3). Suppose -h = -f - 6. Suppose -a - 3*p + f = 0, 2*a - 3*p + 11 = 2*p. Is a composite?
False
Let k(q) be the third derivative of 13*q**5/60 + q**4/24 + q**3/6 + 2*q**2. Let x(c) = c**2 + 5*c - 1. Let m be x(-5). Is k(m) a composite number?
False
Let t(g) = g + 1. Let r(w) = -2 - 7*w - 8*w - 6*w. Let b(k) = -r(k) - 2*t(k). Is b(1) composite?
False
Suppose 18*q = 9*q + 20997. Is q a prime number?
True
Suppose -1129 = -6*z + 5453. Is z prime?
True
Let n = 4 - -5. Suppose 2*p - 3*r + 0 - n = 0, 0 = 2*p + r - 5. Is p prime?
True
Suppose 0*c + 6*c = 9042. Is c a composite number?
True
Let h(g) = g - 5. Let c be (-30)/(-4) - (-1)/2. Let j be h(c). Suppose -7*t + j*t = -188. Is t prime?
True
Let o be 0 - (8/(-1))/1. Let i be (o/10)/(1/15). Suppose 5*f = -2*p, 2*p + 0*f + 2*f = i. Is p composite?
True
Suppose -2*d + 5*u + 29 = -193, 2*u = 0. Suppose -s = -34 - d. Is s prime?
False
Suppose -6 = -3*b - x, x = 2*x. Is 1384/12 - b/6 prime?
False
Suppose 4 = 2*c - 0. Suppose 0 = c*m + 2*d - 0*d - 40, 4*m + 5*d = 79. Suppose h = -m + 74. Is h a composite number?
False
Let u(x) = -99*x. Let y be u(1). Let t = y + 148. Is t a composite number?
True
Let r(k) = k**2 + 7*k + 5. Let q be r(-6). Let h = 15 + q. Is h a composite number?
True
Let t(v) = -v**2 - 14*v + 6. Is t(-9) a prime number?
False
Suppose 0 = 5*h + 3*q - 68, h - 8 + 0 = -2*q. Let x be (-86)/(-4) - (-1)/2. Let b = x + h. Is b a prime number?
False
Suppose 2*y + 5*a = 1265, y - 5*a - 591 = 49. Is y prime?
False
Suppose 4*q - 13196 = -0*q. Is q prime?
True
Let n(r) = -3*r - 1. Let a be n(-2). Suppose -a*w + 291 = -2*w. Is w a composite number?
False
Is 49134/152 - (-1 + (-10)/(-8)) a composite number?
True
Suppose 5*v = 172 + 273. Is v a composite number?
False
Let p = -4 - -6. Let b = p - 0. Is (-417)/(-12) - b/(-8) prime?
False
Suppose 5*x - 3*d = 50, -x + 0*x - 4*d - 13 = 0. Suppose 0 = 2*h - x*h + 290. Is h composite?
True
Let v(q) = -q**3 - 2*q**2 + 4*q + 3. Suppose 2*k + 4*y - 14 = 0, -5*k - y - 12 = -2. Let i be v(k). Suppose i = -7*h + 2*h + 235. Is h a composite number?
False
Let v(f) = 5*f**3 + 9*f**2 + 5*f - 5. Let m(i) = i**3 + i**2 + i - 1. Let o(t) = -4*m(t) + v(t). Let r be (1/(-2))/(4/32). Is o(r) composite?
False
Let b be 2 + (1 - (4 - 2)). Is ((-45)/18)/(b/(-134)) a prime number?
False
Suppose -6*j = -2*j - 648. Let q = j + -103. Is q prime?
True
Suppose 0 = 3*w - 2*w + 1129. Is w/(-7) - (-8)/(-28) prime?
False
Suppose -764 = 4*x - 8*x. Is x prime?
True
Let o = -547 - -923. Let y = o - 114. Is y composite?
True
Let m = -179 - -1407. Suppose x - m = -4*f + 4*x, -5*f = 4*x - 1535. Is f a prime number?
True
Suppose 0 = 3*y - j - 400, -5*y = -y + j - 531. Is y a prime number?
False
Let a(x) = x**2 - 4*x - 3. Let d be a(6). Let p(y) = 2*y**2 + 4*y + 11. Let n(q) = q**2 + 2*q + 5. Let w(u) = d*n(u) - 4*p(u). Is w(6) a composite number?
True
Let q(w) = -56*w - 23. Is q(-12) composite?
True
Let x(j) be the first derivative of j**3/3 - 2*j**2 - 4*j + 3. Let z be x(6). Suppose d - 7 = z. Is d a composite number?
True
Let c(u) = -u**3 - u**2 - u + 224. Let s be c(0). Suppose -4*x = -4*g - 0*x + s, -2*g - 2*x = -100. Is g prime?
True
Let j(z) = z**2 + 3*z + 3. Let n be j(-2). Is n + -1*243*-2 composite?
False
Let b be 28/8 - (-1)/2. Suppose 6*n - 3*x = 3*n, 0 = -2*n + 3*x - 4. Suppose -p = -5*c - 4*p + 464, 352 = b*c - n*p. Is c composite?
True
Suppose 3*r - r = 5*t + 16, -4*t + 3*r = 10. Let w be 46/6 + t/6. Suppose 21 - w = 2*x. Is x a prime number?
True
Suppose 3*d = 4*b + 18, -3*d + 3 = 4*b + 9. Suppose 0 = k + 3, -d*y - 5*k + k = -26. Is y prime?
True
Suppose 5*m = -2*d - d + 2446, 5