 = 2*p. Suppose x = s - 29, x = -p*s - x + 72. Is s composite?
True
Suppose -2*i + 2*g = -3*g + 13, -2*i - 17 = -g. Is 21/4*(-24)/i prime?
False
Is (-2*1385/(-10))/1 composite?
False
Let g(a) = 4*a - 4. Let x be g(6). Let b = 13 + x. Is b prime?
False
Let t = 19 - 9. Is t a prime number?
False
Suppose 4*y + 3*t - 44 = -2*t, 5*y + 4*t = 55. Let u(k) = 8*k - 9. Is u(y) a composite number?
False
Suppose n + 12 = 3*c, -2*c - 11 = -5*n - 32. Is (c/(-6))/((-2)/36) composite?
True
Let c be 6/(-15) - 8/5. Let u(m) = -m**3 - 2*m**2 - m + 2. Let b be u(c). Suppose -2*v + b*h + 58 = 0, 3*h = -7*v + 2*v + 197. Is v a composite number?
False
Let u = -102 - -251. Suppose -4*j = -0*a + 4*a - 220, 0 = -3*a + 5*j + u. Suppose 3*z + 15 = 0, 3*m - m - 3*z = a. Is m a composite number?
False
Suppose -53 = -2*c - 3*l - 2*l, 94 = 4*c - 2*l. Suppose -c = 2*p + p. Is p/2*(-35)/10 a prime number?
False
Let b = 4 - 1. Let g be 13/b + (-2)/(-3). Is 37/4 + g/(-20) prime?
False
Suppose 4*h = 77 + 3. Suppose -5*j = -3*w - 0*w + h, 16 = 3*w - 4*j. Suppose -2*m - v - 4*v + 209 = 0, w = 5*m + 5*v - 500. Is m a prime number?
True
Let w(u) = -180*u - 19. Is w(-4) a prime number?
True
Suppose -m = 38 + 17. Let j = 164 + m. Is j a prime number?
True
Suppose 5*t - 2123 = 732. Is t a composite number?
False
Let u(l) = -176*l + 45. Is u(-13) prime?
True
Let v = -15 + 15. Suppose 7*a - 2270 - 4499 = v. Is a a prime number?
True
Let f(g) = g**2 + 404. Let y be f(0). Is y/6 + (-1)/3 prime?
True
Let v = -2887 - -4509. Suppose 2*l = 3*y + 1343, -y - v = -4*l + 1089. Is l composite?
True
Let i(g) = 6*g**2 - g - 1. Let p(d) be the third derivative of -d**5/10 + d**4/24 + d**3/6 - 2*d**2. Let b(t) = -5*i(t) - 6*p(t). Is b(-2) a prime number?
False
Let f = 304 - -142. Is f a prime number?
False
Suppose -2333 = 5*f + 412. Let o = -296 - f. Is o a prime number?
False
Let p(f) = -3 + 18*f**2 + 5 - 5*f + 16*f**2. Is p(3) prime?
True
Suppose -5*a - 7 = -3*l + 4*l, -5*l = -2*a + 8. Let b(r) = -4*r. Let x be b(a). Is ((-83)/2)/((-2)/x) a composite number?
False
Is -222*((-4)/4)/2 prime?
False
Let z(i) be the first derivative of i**3/6 + 89*i**2/2 + 3*i + 1. Let f(k) be the first derivative of z(k). Is f(0) a prime number?
True
Suppose 3*r = 623 + 370. Is r a prime number?
True
Let x(w) = w - 6378. Let z be x(0). Let u = -4429 - z. Is u prime?
True
Suppose -11 + 3 = -2*x - 2*z, -4*z + 16 = -5*x. Suppose x = d - 8 + 3. Suppose d*n - 39 = 3*b + 292, 4*n - 264 = 2*b. Is n a composite number?
True
Is (19/3)/(4/12) a prime number?
True
Suppose 61 + 34 = -5*f. Let h = f + 13. Is (4/h)/(10/(-735)) a composite number?
True
Let u be (-452)/(-3) + (-2)/(-6). Let l = -62 + u. Is l prime?
True
Let h = -105 + 250. Is h prime?
False
Suppose 4*f + w - 7 = 68, 37 = 2*f + w. Let m(g) = -f*g**3 + 2*g + g - 2*g - g**2 + 2*g**2. Is m(-1) composite?
False
Let u = 6124 + -2610. Let n be u/8 - 2/8. Let k = 616 - n. Is k a prime number?
False
Let y be 8/20*(-10)/2. Is (-237)/y*6/9 a composite number?
False
Let z(y) = 9*y**2 + 5*y + 6. Let p be z(-4). Let h = p - 63. Is h composite?
False
Suppose 4*j - 3*b = 668, 6 = 3*b - 6. Suppose -2*q - 3*q = -j. Suppose 2*n + 11 = y, 2*y + 4*n - 5*n - q = 0. Is y prime?
True
Let f be 16/5 + (-3)/15. Suppose f*j = 3*l - j - 359, 5*l - 604 = j. Is l a prime number?
False
Let b = -494 - -1035. Is b a composite number?
False
Let f be (-4)/10 - 14/(-35). Suppose w + f*w - 259 = 0. Is w a composite number?
True
Suppose -2*h = -6*h - 4. Let r be ((-9)/(h + -2))/1. Suppose -87 - 72 = -r*l. Is l a prime number?
True
Suppose -4*q - 16 = -f, f + f = -2*q + 2. Suppose f*p + 201 = 7*p. Is p prime?
True
Let s(x) = x**2 + 2*x - 3. Suppose 4*q + 43 = 7. Let g be s(q). Let w = g - 35. Is w a composite number?
True
Suppose 0 = -2*f + 7*f - 3595. Is f composite?
False
Suppose 0 = -5*k + 20, 2*k + 1 = c + 5. Suppose s = c - 1. Is s a composite number?
False
Let l be (-26)/(-3) + 24/(-36). Suppose -l*z + 12*z = 1060. Is z a composite number?
True
Suppose -v + 2*v - 4*x + 6 = 0, -5*v - x + 12 = 0. Let m(o) = o**2 - 3*o + 3. Let a be m(3). Suppose -118 = v*b - a*b. Is b prime?
False
Suppose 4*g = -g - 285. Let q = 2 - 4. Is (12/9)/(q/g) a prime number?
False
Let p = -287 + 409. Is p a prime number?
False
Let k be (-4)/22 - 730/(-22). Let u be (-4)/(-8) - (-78)/4. Let s = k - u. Is s a composite number?
False
Suppose -7 = 4*z - 3*t, -2*z - 11 - 5 = -4*t. Suppose z*p - 4*p = 0. Let w(u) = u**2 + 7. Is w(p) a composite number?
False
Let k(l) = -l**2 - 1. Let m(o) be the third derivative of -17*o**6/60 + o**5/12 - o**4/24 + o**3/2 - 2*o**2. Let v(x) = -3*k(x) - m(x). Is v(1) composite?
True
Let l = 102 - 24. Let t = l - 41. Is t composite?
False
Suppose -17*a + 189582 + 22561 = 0. Is a prime?
True
Let p = 1508 + -771. Is p prime?
False
Suppose 2*a - a - 4 = 0. Suppose -2*z + 5*z = a*p + 269, 5*z - 2*p = 439. Let t = -8 + z. Is t composite?
False
Suppose -4*l - 5*u = -109, 5*l - 46 = -u + 85. Let n = -7 + l. Is n a composite number?
False
Suppose 4*f = 301 - 89. Is f prime?
True
Let v(k) = 2*k**3 + k**2 - 4*k + 4. Suppose 1 + 14 = 5*q. Is v(q) composite?
True
Suppose -5*s + s = k - 26, 3*k + s = 122. Is (3598/k)/(2/6) a composite number?
False
Let h = 16 + -10. Let j(d) = h*d**2 - 3*d - 3*d - 3*d**2 + 3*d - 5. Is j(-4) a composite number?
True
Let z be 1/(-1) + (0 - 3). Let l(w) = w**2 + 2*w - 4. Is l(z) prime?
False
Let x = 5 + -2. Suppose 3*o - x*y - y = -26, -10 = -2*y. Let n(a) = 8*a**2 - 2*a - 3. Is n(o) composite?
True
Let i = 1 - -5. Let w(t) = t**2 - 5*t + 7. Is w(i) composite?
False
Suppose -7*g = -1905 - 1112. Is g a composite number?
False
Let p(o) = o**3 - 7*o**2 - 7*o - 8. Let k be p(8). Let b be 5 - (k + 0)/(-2). Suppose b*j - 9*j + 376 = 0. Is j a prime number?
False
Let z(i) = -i**3 + 5*i**2 - 3*i - 2. Let x be z(4). Suppose x*w - 5*p - 288 = 0, w = 3*w + p - 264. Is w composite?
True
Suppose 2*i - 2 = -4*c, -5*c = -4*c. Let t be (-12)/(-16) + i/4. Is (t/1)/(3/102) composite?
True
Let v(y) = -y**3 - 2*y**2 + 9*y - 5. Is v(-6) prime?
False
Suppose d = 3213 - 440. Is d a prime number?
False
Let v be 2 + 1302/(3 + 0). Let k = v + -156. Let o = -185 + k. Is o composite?
True
Let g be ((-18)/8)/((-30)/880). Let z = -23 + g. Is z composite?
False
Suppose 0 = -n + 6*n - 5*i, n + 2*i = 0. Suppose n*y + 15 = 5*y. Suppose -2*h + 93 = -0*j + j, -5*j = -y*h + 172. Is h a composite number?
True
Let i(j) = -96*j + 3. Let v(l) = 97*l - 3. Let m(y) = 2*y - 1. Let h be m(-2). Let d(k) = h*v(k) - 6*i(k). Is d(2) composite?
False
Suppose 2*r - 4*r + 263 = -5*n, -5*n + 710 = 5*r. Is r prime?
True
Let c = -200 - -841. Is c composite?
False
Let k(i) = 5*i - 2. Let q be k(7). Suppose 0 = -p + q + 2. Is p a composite number?
True
Let t(y) = y**2 - 3*y + 2. Let q be t(3). Let b be (1 + -1)/(0 - q). Suppose -i + 5*j + 14 = b, i - 2 + 8 = -5*j. Is i a prime number?
False
Let z = 5 + 0. Suppose -z*j = -t - 139 - 34, -j + 5*t = -25. Is j a composite number?
True
Suppose n = 1 + 2. Suppose 5*o = -20, n*g + 3*o - 60 = 42. Is g a composite number?
True
Let j = 5 - 1. Suppose 2*g + 5*n = 54 + 254, j*g - 598 = -n. Is g prime?
True
Let g = -5 - -7. Suppose 2*y + 2*y - 98 = -g*j, 0 = 4*j - 3*y - 185. Is j prime?
True
Let b(y) = y**3 - 5*y**2 + 3*y + 17. Is b(8) a composite number?
False
Let u = -11 - -7. Let h(d) = -3*d**2 - 5*d + 6*d**2 - d**3 - 5 - 2*d**2. Is h(u) composite?
True
Let y(c) = 90*c**2 - 2*c - 1. Let t be (1/2)/((-2)/4). Is y(t) prime?
False
Is (1393/105*5)/((-1)/(-33)) a composite number?
True
Suppose 3*l = -2*l + 10. Let u(z) = z + 167. Let i be u(0). Suppose l*g - i = 123. Is g prime?
False
Let z(o) be the third derivative of 7*o**4/2 - o**3/6 - 2*o**2. Is z(1) a composite number?
False
Let b be (1 - 1) + (-43)/(-1). Let w = 8 + b. Is w prime?
False
Suppose p + p = 62. Let g = -62 + p. Let j = 45 + g. Is j a composite number?
True
Let x = 49 - -33. Is x composite?
True
Is 9/126*4 + (-38449)/(-7) prime?
False
Suppose v - 8 = -3*v. Suppose -5*r - 29 = -9, 4*r = -3*w + 428. Suppose -3*u + v*a + 111 = 3*a, 4*u - 4*a = w. Is u prime?
True
Let f = -3437 - -6840. Is f composite?
True
Suppose -p = p - 314. Is p prime?
True
Suppose -384 = -2*i + 2890. Is i a composite number?
False
Suppose 0 = 3*v + 5*o - 114 - 53, 3*v