ue
Suppose 13*p - 1951 - 454 = 0. Is p composite?
True
Suppose -6*n + 65 = -n. Let z = n - 23. Let m = z - -23. Is m a composite number?
False
Let s be (40/(-6))/(2/(-3)). Let g be (-4)/s - (-4)/10. Suppose -w = 2*q - 39, g*q - 107 = -3*w + 4*q. Is w prime?
True
Let g(x) = -10*x**3 + x**2 - 1. Let u be g(-3). Let s be (-6)/18 + u/6. Let p = s - 9. Is p a composite number?
False
Is (192 - 0) + -2 + 2 + -5 a composite number?
True
Suppose 3*v = 5*y + v - 7005, 4*y = 5*v + 5621. Is y composite?
False
Is (-6)/4*790/(-15) a prime number?
True
Suppose 5*c = -m + 447, 562 = 2*m - c - 288. Is m prime?
False
Suppose 21 = -4*p + f, -4*p - 5*f + 5 = -4. Let o = 6 + p. Suppose -68 = -o*x + 38. Is x prime?
True
Suppose 2*d - 2247 = -d. Is d a prime number?
False
Suppose 0 = -l - 5*z + 11, -4*l - 2*z + 8 = 0. Let d(r) = 142*r + 1. Is d(l) prime?
False
Let q(p) = -6*p - 4. Let z be (1 - -1)/(14/(-21)). Let x be q(z). Is (-4)/(-14) - (-682)/x prime?
False
Let a(v) = -3*v**3 - 2*v**2 - v. Suppose -3 + 1 = 2*n. Let w be a(n). Suppose 0*t + 147 = 5*i + 2*t, -w*t + 116 = 4*i. Is i prime?
True
Let d = 10 - -10. Suppose d = 5*i, -3*h + 2*i + 148 + 183 = 0. Is h a composite number?
False
Let j(n) be the third derivative of n**4/24 + 3*n**3/2 - 3*n**2. Let b be j(-8). Is (-1)/b*-32 - -1 prime?
False
Let z = 489 - 340. Is z prime?
True
Let d(x) = -2*x**2 + 3*x + 2. Let g be d(-2). Let h = g + 49. Is h composite?
False
Suppose 6*t = t + 2*v - 1335, t + 267 = 4*v. Let z = t + 394. Is z a prime number?
True
Let o = -307 + 485. Is o a composite number?
True
Suppose -455 = -3*y + 802. Is y a composite number?
False
Suppose 0*h = 4*a + 2*h - 98, -a - 5*h + 38 = 0. Is a a composite number?
False
Suppose 3*d + 1836 = 6753. Is d composite?
True
Is (114/(-9))/((-2)/3) composite?
False
Suppose y - 108 - 41 = 0. Is y a prime number?
True
Let c = -1 + 4. Suppose 0 = -c*s - f + 2*f - 14, 0 = 2*f - 10. Is (83*-1)/(s - -2) a prime number?
True
Suppose -2*p = 26 + 18. Is (p/6)/(5/(-15)) composite?
False
Let i(j) = 9*j**2 + 3*j + 3. Let g be ((-5)/2)/((-2)/4). Suppose g = -5*t - 5. Is i(t) a composite number?
True
Let x = 161 + 1440. Is x prime?
True
Suppose 17*b = 18*b - 295. Is b a composite number?
True
Let s(k) = 58*k**2 - k. Let d be s(1). Suppose d = -2*n + 5*n. Is n prime?
True
Let m = 56 + 15. Is m prime?
True
Suppose 3*b - 76 - 26 = m, -5*m = 15. Suppose -d + 0 = -67. Let n = d - b. Is n composite?
True
Let q = -8 + 14. Let f = -3 + q. Suppose -4*b + 3*b + f = 0. Is b prime?
True
Let k(b) = b - 7. Let j be k(5). Let c be 3 + -1 + (j - 0). Suppose -q - 3 = c, -6*f + f + 5*q = -290. Is f a prime number?
False
Suppose -p + 71 = -24. Is p prime?
False
Let p = 150 + 101. Is p a prime number?
True
Let n(f) = -f**2 + 8*f - 6. Let r be n(7). Is (-8 - -170) + -1*r a prime number?
False
Let q(t) = -t + 190. Let n be q(0). Suppose -n - 50 = -5*s. Suppose -4*d = 2*l - 3*l - 74, -2*d = 5*l - s. Is d a composite number?
False
Suppose 216 = k - 37. Is k prime?
False
Suppose -5*u = -3*o - 28, 3*u - u = o + 11. Suppose -2*i = -m - 33, -u*i + m = -m - 85. Is i prime?
True
Suppose -4 = -g - 0. Let j(n) = -n**3 + 5*n**2 + 3*n - 6. Let h be j(5). Suppose 4*y - h = -3*o, -7 = -4*y - g*o + 1. Is y prime?
True
Let y = 3 + -2. Let q be (-29 - y)*(1 - 0). Is (-3264)/q + 2/10 a prime number?
True
Let i(g) = g - 1. Let z be i(4). Let f be 17/3 + 4/(-6). Suppose 2*l - 5*o = -5, -l = -z*l - f*o + 45. Is l composite?
True
Let r(q) = 16 + 4*q - q - 4*q + 2*q. Let t be r(-12). Suppose l - t*l = -237. Is l prime?
True
Suppose -5*l - s + 1732 = -0*l, -l = -4*s - 359. Is l a composite number?
False
Suppose 5*f + 2*d = d + 14, 1 = -f - 4*d. Suppose -3*v = -4*u - 411, -v - 4*v = -4*u - 685. Suppose 0 = -f*w + 64 + v. Is w composite?
False
Let f(s) be the first derivative of s**5/60 - s**3 + s**2/2 - 1. Let t(l) be the second derivative of f(l). Is t(-5) prime?
True
Let o(k) = 2*k**2. Let f be o(-1). Suppose 0*r + 12 = f*r. Suppose r + 46 = 4*i. Is i a prime number?
True
Let c(a) = -a**2 - 4*a - 3. Let r = 1 + -4. Let m be c(r). Is 2 - m - -1*4 prime?
False
Suppose -k = -0 - 2. Suppose -9 = -k*w + 5*c - 4*c, c + 30 = 5*w. Is (-2)/w + (-240)/(-7) composite?
True
Suppose 2241 = 5*b - 2*b + 2*y, -4*b - 2*y + 2986 = 0. Is b prime?
False
Let l(t) be the third derivative of t**5/30 + t**4/12 - t**3/6 + 3*t**2. Is l(-5) composite?
True
Let a be 12/(-4) - (-2 + 2). Let i(c) = -2*c - 1. Let j be i(a). Suppose 5*r + 55 = 2*y, -j*y - 2*r + 120 = 3*r. Is y a composite number?
True
Let v be (-4)/((-2)/(-4)*2). Let j(f) = -f**3 - 5*f**2 - 7*f - 5. Is j(v) a prime number?
True
Let f = -43 + 86. Is f prime?
True
Let t = -14 + 85. Suppose -3*u = -3*g + 189, 6*u = -g + 3*u + t. Is g a prime number?
False
Let f(n) = 1588*n**2 + 2*n - 1. Is f(1) composite?
True
Let r(k) = 9*k**3 - 6*k**2 + 5*k + 2. Let g be r(4). Suppose z = -z + g. Is z a composite number?
False
Let x(w) = -264*w - 2. Let b be x(2). Let v be b/15*(-3)/1. Suppose u = -u + v. Is u a prime number?
True
Is (-2661)/(-21) + 10/35 a composite number?
False
Suppose 3*v = w + 4 + 11, 0 = 4*w. Suppose 0 = 2*l + j - 0*j - 76, -v*l - 3*j = -191. Is l composite?
False
Let o = -4551 + 6569. Let t = o + -1129. Is t a composite number?
True
Let i(w) be the second derivative of 3*w**3 - 7*w**2/2 + 3*w. Let c be i(-6). Let u = c - -194. Is u prime?
True
Let w be 18*(2 - (-5)/(-3)). Is w/(-2) + -3 + 73 composite?
False
Suppose 101 = q - 5*k, -4*k = 5*q - 3*k - 531. Suppose -t + 3*t = q. Is t composite?
False
Let k(a) = -a**3 - 4*a**2 + 6*a + 6. Let q be k(-5). Let o(s) = -525*s - 126. Let t(x) = -21*x - 5. Let w(c) = 5*o(c) - 126*t(c). Is w(q) a prime number?
False
Let n be 78/(-12)*(1 - 3). Let w(d) = -n + 2*d - 2*d + 6*d. Is w(10) prime?
True
Let f(g) = -5*g**2 + 4*g - 2. Let y be f(2). Suppose 7*d - 9 = 6*d. Is (y/(-4))/(d/18) a prime number?
True
Let t(p) be the first derivative of -16*p**2 - p + 1. Is t(-1) composite?
False
Suppose -2*w - 363 = -5*w. Is w prime?
False
Suppose 2*x = -4*i - 2, 10 = 4*i - 5*x - 23. Is 200/i - (-12)/4 a prime number?
True
Suppose -v = -0*v. Suppose v - 14 = a. Let z = a - -24. Is z a composite number?
True
Suppose -5 = -2*n + 13. Is 3*471/n - -2 a prime number?
False
Let b be (-3 - 8/(-4))*0. Is 193 + (1 + -3 - b) prime?
True
Suppose 1126 - 43 = 3*z. Suppose -3*a + 4*u + z = -0*u, -a - 5*u + 152 = 0. Is a prime?
True
Suppose 0 = 7*r - 4632 - 4895. Is r a composite number?
False
Let v(f) = -f**3 + 10*f**2 + 12*f - 12. Is v(9) a prime number?
False
Let g = -499 + 942. Is g composite?
False
Suppose 2*x + 2*a = -22, x + 2*a + 19 = 4. Is (10/x)/((-2)/14) a prime number?
False
Let x(s) = 12*s**3 + 2*s**2 + 6*s - 9. Is x(4) a composite number?
True
Is 79*6 + 5 + -8 composite?
True
Let f = -19 - -336. Is f a composite number?
False
Let v = 76 + -39. Is v prime?
True
Let a(t) = t**3 + 10*t**2 + 2*t - 5. Is a(-6) a composite number?
False
Let l(s) = -14*s + 3. Let z be l(3). Let w be (-1 - z)*(-12)/2. Let t = -145 - w. Is t a composite number?
False
Suppose 0 = 6*u - 2*u - 212. Suppose y - 25 = -2*v + 81, v - u = y. Is v a composite number?
False
Let f be 2 + -47*(-3)/1. Let j = f - 86. Is j composite?
True
Let u = -4 - -10. Is ((-4)/6)/(u/(-225)) a composite number?
True
Let i = -8 + 6. Is (i/4)/((-3)/60) prime?
False
Let k = 6 - -53. Suppose -20 = q - k. Is (q*-1)/(9/(-6)) a prime number?
False
Let c(z) = z**2 - 3 + 0 - 4*z + 2. Let v be c(5). Is (-39)/(2/(2 - v)) a prime number?
False
Suppose 5*q - 308 = 62. Let s = 129 - q. Is s a prime number?
False
Let i be (-5)/3*(6 + -9). Suppose i*z + 2*t - 671 = 4*z, 0 = 4*t + 12. Is z prime?
True
Let m(f) = 6*f - 2. Let u be m(1). Suppose -4*z + 0*z = -u*b - 1096, 1056 = 4*z + 4*b. Is z prime?
True
Suppose 3*p - 4*z = 15, 2*z - 1 = -p + 4. Suppose 3*s + 62 = p*s. Is s a composite number?
False
Let q be -2*3/(-18)*6. Suppose 3*v = q*v. Suppose s - 33 = -v*s. Is s composite?
True
Let w = -609 - -1053. Suppose 5*r + j = 665, -4*r = -4*j - w - 88. Is r composite?
True
Let b be (-2)/9 + (-40)/(-18). Suppose 5*g + 2*q - 391 = 4*q, 0 = 2*g - b*q - 154. Suppose 3*c + 2*o = 81, -5*c - g = -3*o - 195. Is c composite?
True
Suppose 3*l + 1560 = 4*o, o + o - 4*l - 770 = 0. Is o prime?
False
Let l = -865 - -1584. Suppose -3*x