*v. Is j composite?
False
Let r be 2*3/3 - 0. Let l(t) = 4*t**3 + t**3 + 8*t**r + 4 - 11*t - 4*t**3. Is l(-9) prime?
False
Let q = -933 - -1568. Is q composite?
True
Suppose 3*t - 1302 = -3*z, 5*t = -5*z + 4*z + 414. Is z prime?
True
Let r = 99 - 30. Is r a composite number?
True
Suppose 0 = -0*u - 2*u + 10. Suppose u*z = z. Suppose -3*o + 0*i - 5*i + 43 = z, -3*o - 4*i = -38. Is o a prime number?
False
Is (-6)/(-10) - 1 - 3914/(-10) composite?
True
Suppose 0 = -4*h + 5*u - 4*u + 886, -3*u + 878 = 4*h. Is h a composite number?
True
Is ((-1)/(-3))/(3/(-9)) - -2078 a prime number?
False
Let t be (-14)/(-5) - (-8)/40. Suppose t*f = 33 + 312. Is f a composite number?
True
Let o be -10*(1 - 0/2). Let m = -52 + o. Is (-2)/(m/(-22) + -3) prime?
True
Let h(v) = v**3 + 5*v**2 - 6*v + 1. Let d be h(-6). Is 55 - (0 + d - -1) a composite number?
False
Suppose 22*q = 8*q + 8974. Is q a composite number?
False
Let i = 495 - 281. Is i a prime number?
False
Suppose 7*r - 212 - 3666 = 0. Is r a prime number?
False
Suppose -b = -2*o - 0*b + 650, 5*o - 1603 = -3*b. Is o a composite number?
True
Let c = 8 - 8. Suppose 0 = -2*v - c + 38. Is v a composite number?
False
Suppose -y + 4 = 0, 3*y = -2*a + 516 + 70. Is a composite?
True
Let w(p) = p + 11. Let f be w(-11). Is 118/4*(f - -2) composite?
False
Suppose -12*p + 14*p - 982 = 0. Is p a composite number?
False
Let q be (-28)/(-8)*(-2)/(-1). Let h(d) = 17*d + 8. Is h(q) a composite number?
False
Suppose 0 = -6*m - 5292 + 39270. Is m a composite number?
True
Suppose 4*y = -5*u + 859, 3*y + 217 = 4*y + 2*u. Is y a composite number?
False
Suppose -3*v + 8 = 2. Suppose -r = v*r. Let w(z) = -z + 79. Is w(r) a prime number?
True
Let p(o) = o**2 - 3*o + 1. Let f be p(4). Suppose -3*t + 2 = -2*t. Suppose 3*r - r - t = f*z, -5*r + 43 = -3*z. Is r composite?
False
Suppose -159 = -5*g - 679. Is (-3)/2*g/12 composite?
False
Let a(z) = -106*z**3 - z**2 + z + 1. Let d be a(-1). Let k = d + -62. Is k a composite number?
False
Let o = 4763 + -7651. Is (-3)/2*o/12 a composite number?
True
Let r(n) = 12*n + 2. Let v be r(1). Let f(k) = 7*k - 21. Is f(v) prime?
False
Let b = -90 - -134. Suppose -25 - b = -3*g. Is g composite?
False
Suppose -404 = -a + 5*a + 4*t, -4*a - 406 = 3*t. Suppose -4*y - 82 = -2*x + 52, -4*y + x - 139 = 0. Let w = y - a. Is w composite?
False
Suppose -f - 6*f = -18529. Is f a prime number?
True
Let x(k) be the first derivative of 4*k**3/3 - 4*k**2 - 3*k + 3. Let p be x(7). Let g = -94 + p. Is g a prime number?
True
Let w = -6 - -9. Suppose -w*a + 745 = 2*a. Is a prime?
True
Let f = 10 + -8. Suppose -2*j + f*m = -2*m, 3*j + 2*m = 16. Suppose -i = -h + 87, -2*h + 0*i = j*i - 198. Is h composite?
True
Let y(p) = 24*p - 15. Let d be (-3)/4 - 117/(-12). Is y(d) composite?
True
Let t be (80/28)/(4/14). Is (2 - t/4)*-298 a composite number?
False
Is 2/(-5) + (2722/5 - 3) prime?
True
Suppose 4*c = -4*c + 2120. Is c composite?
True
Let f(v) be the second derivative of -11*v**3/6 + 7*v**2/2 + 4*v. Is f(-8) prime?
False
Let k be (-1)/4 + 9/4. Suppose -66 = -5*h + k*h. Is h a composite number?
True
Let j(r) = -26*r - 4. Let l be j(-3). Let f = 105 - l. Is f a prime number?
True
Let x = -7 - -5. Let j be x/6 - (-39)/9. Suppose 2*r - 4*y - 154 = 0, -j*r - y + 105 + 158 = 0. Is r a prime number?
True
Suppose -2*d + 20 = 2*d. Let j = -5 + d. Suppose 222 = 3*o - j*o. Is o composite?
True
Let k(h) = h**2 + 2*h + 4. Let r be k(-3). Let i(f) = f**2 - 10*f - 5. Let l(y) = 2*y**2 - 21*y - 10. Let j(u) = 5*i(u) - 3*l(u). Is j(r) a prime number?
True
Let q be (-2 + 1)/(4/(-12)). Suppose -i = q*i - 24. Is i a prime number?
False
Suppose b = 4*l + 2*b - 631, 333 = 2*l - 3*b. Suppose 3*q = q + 4. Is (-2)/((-12)/l)*q composite?
False
Suppose -2*g + 19 = 3*o, -g + 4*o - 12 = -5. Suppose -2*y = -g*y + 111. Is y a prime number?
True
Let u be (2/4)/((-8)/(-272)). Let n = -10 + u. Is n a prime number?
True
Let x(u) = -u**3 - 3*u**2 + 6*u - 7. Let k be x(-5). Suppose -k = -2*z - 5. Is z/(-10) + (-104)/(-10) prime?
False
Suppose -3*j = 3*v + 1 + 2, -17 = 2*v + 5*j. Let q = -4 - v. Let y(k) = -7*k - 3. Is y(q) composite?
False
Let u(q) = 4*q**3 + 4*q**2 + 13*q + 17. Is u(10) prime?
True
Suppose b - 8 = 23. Suppose 0 = 4*t - 5*c - 124, -15 = -t + 5*c + b. Suppose 3*f - 5*f = -t. Is f a prime number?
True
Let o(n) = -5*n + 2953. Is o(0) composite?
False
Suppose 0 = 4*q - 107 - 369. Is q a composite number?
True
Let x = -8 - -12. Let j be 2*x - (-2 + 3). Let z(p) = 5*p + 4. Is z(j) a composite number?
True
Is (-2445)/15*7/(-1) composite?
True
Let n = -55 + 161. Is n composite?
True
Suppose -4*w - 90 = w. Let q = 28 + w. Is q a prime number?
False
Suppose 5*r - 997 = u, 2*u + 207 = r - 2*u. Is r a prime number?
True
Suppose 2*o + o = 15. Is o/15 - (-496)/6 a prime number?
True
Let c(s) = 15*s**3 - s**2 + s. Suppose -2*r + 6*r - 4 = 0. Let n be (-2)/(-4)*(r - -1). Is c(n) a prime number?
False
Suppose -360 = -2*i + 170. Is i composite?
True
Let o = 2 + -3. Is (-175)/o + -2 + 4 a composite number?
True
Let k be 1 + ((-1)/1 - 204). Let z = -287 - k. Let d = 48 - z. Is d prime?
True
Suppose -5*z + 5 = 5*s, -1 = -s + 5*z + 12. Suppose -230 = -2*g - s*g. Is g a composite number?
True
Suppose -2 = -5*w + 8. Let h(t) = t**2 - 3*t - 1. Let a be h(4). Suppose a*c - w*u - 103 = 0, 3*u - 3 - 157 = -4*c. Is c composite?
False
Let p = 59 + -23. Suppose -q = 4*v - 28, 3*q = -3*v - v + p. Let b(h) = 2*h**2 - 4*h - 5. Is b(v) composite?
False
Let f(z) = -5*z**2 - 9*z + 1. Let s be f(-8). Is s/(-2)*6 - -2 prime?
True
Is 15 - (2 + -1 + 1) composite?
False
Suppose -9*t + 4628 = 3*k - 7*t, -4653 = -3*k + 3*t. Is k composite?
True
Let u(m) = -m**3 - 10*m**2 - 7*m + 1. Is u(-11) prime?
True
Let a(j) be the first derivative of 3*j**2/2 + j + 2. Let h(l) = l. Let g be h(1). Is a(g) a composite number?
True
Let b(k) = -2*k**3 - 2*k**2 + 4*k - 6. Let g be b(-5). Is (2/(-2))/((-2)/g) a prime number?
False
Let o(j) = 7*j**2 - 5*j**2 + 9*j**2 + 1 - j - 2*j**2. Let u be o(2). Suppose -5*y - 56 = -2*z - 2*y, -z + 5*y + u = 0. Is z a composite number?
True
Suppose -3*x = -6*q + 3*q + 24, -2*q + 4*x + 26 = 0. Suppose q*f + k = 23, f + 3*k = -4*f + 33. Is f a composite number?
True
Let h(p) = -p**3 - 8*p**2 + 17*p - 17. Is h(-16) prime?
True
Let v(s) = s**3 - 6*s**2 + 3*s - 4. Let g be v(6). Suppose -g = 5*q + 26. Let y(p) = p**2 + 3*p + 7. Is y(q) prime?
True
Let z be (-5)/2*276/(-15). Let m = -33 + z. Is m a composite number?
False
Let j = 248 - 145. Is j a prime number?
True
Let b be -3 + (0 - -3) + 201. Let s = -80 + b. Is s a composite number?
True
Suppose -5*z - 20 = -5*f, -3*z - 7 = -2*f - 0*f. Is z + -2 + (-450)/(-5) a composite number?
False
Suppose p + 1 = -2*c + 7, 0 = 2*c + 2*p - 6. Suppose -153 = -3*f + 3*j, -c*f - j + 221 - 68 = 0. Is f composite?
True
Let j be ((-738)/(-4))/((-1)/2). Let p = -190 - j. Is p a prime number?
True
Is -1 + 5512/5 - (-10)/(-25) a prime number?
False
Let y(v) = 101*v + 1. Let a be y(-1). Let q = -65 - a. Is q prime?
False
Suppose 7*p + 6*p - 53443 = 0. Is p a composite number?
False
Let j(r) = -r + 1. Let q be j(-2). Suppose q*m - 108 = 6*m. Is (-4)/18 - 152/m a prime number?
False
Let u = -191 - -394. Is u a prime number?
False
Is (-4)/(-8) + (-434)/(-4) a composite number?
False
Let z(r) = r**3 - 13*r**2 + 21*r + 41. Is z(18) composite?
False
Let p = -388 + 767. Is p prime?
True
Is ((-6412)/3)/(-2) - 3/(-9) composite?
False
Suppose 3*x = 1 + 2. Is x + 30 + (1 - -1) prime?
False
Let d(p) = -p**2 - 3*p + 12. Let m be d(-5). Is -2 + 2 - (-339 + m) a composite number?
False
Is -2*((-4970)/4)/5 a prime number?
False
Let r(x) = 4*x. Let s be r(1). Let i = 8 - s. Suppose 85 = i*d + 1. Is d a prime number?
False
Suppose 0 = -4*i + 2*i + 6. Suppose 0*s - 3*w = i*s - 609, -2*s = w - 406. Is s prime?
False
Let v = -797 - 9. Let c = 587 - v. Is c a composite number?
True
Suppose -5*p + 231 - 58 = 2*l, 0 = 4*p + 4. Is l a prime number?
True
Let f(n) = 3*n**2 - 2*n - 3. Let r(y) = -11*y**2 + 8*y + 13. Let u(k) = 9*f(k) + 2*r(k). Is u(2) a composite number?
True
Suppose 0 = -x + 4*g + 1, -2*x + 2*g = -8. Suppose -3*a + 97 = -4*b + 26, x*b - 95 = -5*a. Is a a prime number?
False
Let f(m) be the second derivative of m**5/20 + m**4/12 + 13*m**2 + 5*m.