number?
False
Let l be (0 - 21/3)*(3 - 4). Suppose 10*o - 12165 = l*o. Is o a prime number?
False
Let m = 18 + -14. Suppose 9*y = 13*y + m. Is y - (-194 + (3 - 1)) composite?
False
Let k(v) = v**3 + 7*v**2 - 2*v - 7. Let x be k(-7). Let n(h) = h**2 + 7*h - 4. Let g be n(x). Let f = 251 - g. Is f prime?
True
Suppose 5*s - s = -5*r + 33, 4*s + 3*r = 23. Suppose 0*a + 1170 = 2*o + 3*a, s*o - 3*a - 1146 = 0. Is o a composite number?
True
Let g(j) = 408*j - 119. Is g(6) a composite number?
True
Suppose 3*y - 6 = -0*w + 2*w, -1 = w - y. Let z(q) = 32*q**3 + 3*q**2 - 2*q + 4. Is z(w) composite?
True
Let p(n) = -n**3 - 3*n**2 + 4*n + 1. Let a be p(-4). Suppose h + a = -0*h, y - h - 9 = 0. Suppose -38 = -2*g - y. Is g prime?
False
Let z = -5 + -4. Let n = 9 + z. Suppose -i + n*i = -49. Is i prime?
False
Let f be 2/(2/3) - -716. Suppose 147 - 872 = -w - 4*s, -2*s = -w + f. Is w composite?
True
Let l(d) = d**2 - 30*d + 54. Let c be l(28). Let f(j) = -282*j - 13. Is f(c) prime?
False
Let a(n) be the second derivative of 35*n**4/12 + 4*n**3/3 + 10*n**2 - 14*n. Is a(9) a composite number?
False
Let t be (4 - 5)/(-2 - 10/(-6)). Suppose 0 = d - i - 1127 - 1376, 0 = t*i. Is d composite?
False
Let o be 4*((-20)/8 - -2). Is (o - (-1671)/6)*2 a composite number?
True
Let f(h) = -2*h - 8. Suppose 0 = -5*t - 5*d - 25, -5*t + d + 2*d = 33. Let o be f(t). Suppose -3*q + 271 = 4*i, -5*i - 237 = o*q - 576. Is i composite?
False
Suppose 21 = 8*a - 5*a. Let m(w) = 93*w - 20. Is m(a) prime?
True
Let p(y) = 2*y**3 + 3*y**2 - 2*y + 1. Let i be p(2). Suppose -4*h = -4*f + 20, -3*h = -2*f + 2*h + i. Suppose f*q = -6*q + 1578. Is q a composite number?
False
Let q be (4/(-6))/((-6)/(-27)). Let f(k) = -30*k**2 + k - 3. Let n be f(q). Is n/9*12/(-8) a composite number?
True
Let o = 16197 + -8212. Is o a composite number?
True
Let g(d) = -3*d**2 - 12 + 7*d + d**2 - d**3 - 4*d**2. Let v be g(-13). Suppose 3*u + j - 1078 = -u, 0 = -4*u - 2*j + v. Is u prime?
True
Let d be (-3)/1*-147 - 2. Suppose 4*l - 1195 = -2*j + d, 2*l - 8 = 0. Is j a composite number?
False
Suppose 0 = -2*l - 5*i + 9102, -4*i - 4 = 12. Is l prime?
True
Suppose -44*o - 8615 = -49*o. Is o composite?
False
Let k(g) = g**3 + 12*g**2 - 17*g + 7. Let b(s) = -s + 4. Let t be b(-4). Is k(t) prime?
True
Let f be (1/(-4))/((-3)/24*2). Let l = 128 - f. Is l a prime number?
True
Let i be 0 - 3*(2 - 1). Let b = 0 - i. Is (-879)/2*(-2)/b composite?
False
Suppose 10*h + 14 = 34. Is h/(2/7 + 3656/(-12894)) a prime number?
False
Let n(m) = 255*m**2 - 25*m - 183. Is n(-5) a prime number?
True
Suppose 0*s + 3 = s. Suppose s*r = 2*r + 3*k + 745, -4*k = -3*r + 2235. Is r prime?
False
Let b(y) = -y**3 + 2*y**2 + 4*y + 2. Let t be b(4). Let z be 63/9*(-8)/t. Suppose 4*o - 48 - z = 0. Is o a prime number?
True
Suppose 3*j - 31 = 5*i, -4*j + 3 = i - 0. Is (-4 - -2) + 5370/j prime?
True
Let d be 30/(-25)*(-10)/3. Suppose k + d*k + 1270 = 5*w, -5*w = 5*k - 1240. Is w prime?
True
Let i(s) = s**2 - 12*s - 5. Let n(k) = -k + 2. Let b be n(2). Suppose 2*h + b*h = 28. Is i(h) composite?
False
Let w(s) = 2*s**2 - 11*s - 3. Let c = -2 + 5. Suppose -3*k - c = -27. Is w(k) prime?
True
Is 2476*((-3)/21)/((-2)/7) prime?
False
Let l = -658 + 1117. Let g = 757 - l. Is g a composite number?
True
Suppose x + 5*u - 13 - 4 = 0, -1 = -2*x + u. Let n(s) = -s**3 + 5*s**2 + 13*s + 9. Let c be n(7). Suppose 5 = d, x*l - c*d = 3*d + 205. Is l a composite number?
True
Is 51/(-15)*(3 + -68) composite?
True
Let i(y) = 149*y**3 - 14*y**2 + 17*y + 3. Is i(4) a prime number?
False
Let c(j) = j**3 - 63*j**2 - 173*j + 82. Is c(77) prime?
True
Let r = 17395 - 10458. Is r a prime number?
False
Is (-637110)/(-120) - 2/8 a prime number?
True
Suppose -3*n + 6 = 0, 3*n = 4*d + 4*n + 58. Let x = d - -20. Suppose -x*z + 76 = -z. Is z prime?
True
Let k be 5 + 1*0/(1 + -4). Suppose -4*j - k*r = -3*r - 2876, -2876 = -4*j - 5*r. Is j prime?
True
Let f(v) = 46*v - 17. Suppose 3*q - 4*k - 5 - 1 = 0, 4*k = -4*q + 8. Suppose -4*a + 5*m = -63, -5*a = 2*m - 56 + q. Is f(a) a prime number?
False
Let u(n) = 4*n**2 + 57 - n - n**2 - n**3 - 4*n**2. Let c be (-9)/9*(1 + -2)*0. Is u(c) a prime number?
False
Let b = 7550 + -5059. Is b composite?
True
Let b(f) = 31*f**2 + 2*f - 2. Let o(z) = 62*z**2 + 4*z - 3. Let g(c) = -5*b(c) + 3*o(c). Let v be g(-2). Let l = v + -2. Is l a composite number?
True
Let r = -1560 + 1108. Let j = r - -1135. Is j a prime number?
True
Suppose 985002 + 817642 = 76*u. Is u prime?
True
Let x = 6996 - -7142. Is x composite?
True
Let l be ((-57)/(-6))/((-1)/(-10)). Suppose 75 = 5*g - l. Suppose -3*p = -2*p - g. Is p composite?
True
Let i = 11 + -9. Let x be i + (-3 - -3) + 4. Let r(g) = 6*g**3 + 2*g**2 - 4*g - 7. Is r(x) a composite number?
True
Suppose 0 = -4*o - 4*s - 128, -2*o = 3*o + s + 156. Let b = 6 + -4. Is (o/(-2))/(1/b) prime?
True
Suppose -h + 9676 = 3*a, -2*h + 19317 = -0*h - a. Is h composite?
False
Let y = 5458 + 1965. Is y prime?
False
Let i(c) = c**3 - 16*c**2 - 4. Let x be i(16). Let t(n) = n**3 + 3*n**2 - 4*n + 3. Let s be t(x). Is ((-22)/(-3))/(1/s) a prime number?
False
Let d = -12 + 22. Suppose 7*g = d*g - 81. Let i = -16 + g. Is i a composite number?
False
Let l(n) be the second derivative of n**4 - 7*n**3/6 - 17*n**2/2 + 30*n. Is l(-10) composite?
True
Suppose 0 = 4*o + 5*l + 37, 5*o + 10 = -0*l + l. Is 68 - ((-4)/(-1) + o) a composite number?
False
Let g(u) = 2*u - 6. Let j be g(0). Let q(z) be the third derivative of -7*z**4/12 - 5*z**3/6 - 2*z**2. Is q(j) a prime number?
True
Let i be (-17 - -20)*(-4)/(-6). Suppose -2326 = -4*k + i*k + l, 3*k - 3489 = -3*l. Is k composite?
False
Let d(v) = v**3 - v**2 + 26. Let b(p) = -p**2 + 7*p + 8. Suppose -3*c = 2*c - 40. Let j be b(c). Is d(j) composite?
True
Let p = 31207 - -532. Is p prime?
False
Let n = -126768 + 179749. Is n prime?
True
Let r(f) be the third derivative of -f**5/60 - f**3/6 - f**2. Let c(h) = 43*h**2 - 3*h + 4. Let l(u) = c(u) + 3*r(u). Is l(2) composite?
True
Let o be (1 + (-116)/8 + 2)*-6. Let k = 178 + o. Is k prime?
False
Suppose -4750 + 406 = -2*g. Is 4/(-14) - (g/(-7) + 3) composite?
False
Let y = -23093 + 54372. Is y a prime number?
False
Suppose 5*n = r + 3*r + 19340, 0 = -4*n - 3*r + 15441. Let l = -2090 + n. Is l a composite number?
True
Suppose -3*n - 2*n = 10. Let s be (-1 + n)/(-3)*3. Suppose 0 = -2*f + 3*h + 221, -3*h + 218 + 106 = s*f. Is f a composite number?
False
Let h(o) = 35*o**3 + 2*o**2 + 3. Let i(g) = -2*g + 34. Let k be i(16). Is h(k) composite?
True
Let w be 6/5*((-120)/(-9))/(-4). Let a(d) = 25*d**2 - 3*d + 7. Is a(w) a composite number?
False
Let a = 14 - 15. Let j be 11*(11 + 0 + a). Suppose -2*d + j = -0*d. Is d a prime number?
False
Let x = 1203 - -448. Is x a prime number?
False
Let f(n) = 71*n**2 - 7*n + 27. Is f(7) a prime number?
True
Let m(o) be the first derivative of -o**2 - 21*o - 5. Let r be m(-14). Suppose r*b + 119 = 8*b. Is b composite?
True
Is 1433/4 - ((-230)/40 - -5) composite?
False
Suppose 3*l - g = -0*l + 2074, 2*l - 1406 = -4*g. Suppose -5*q = 2*p - 4195, q = p + l + 146. Is q prime?
True
Let b(z) = 250*z**2 - 2*z - 3. Is b(4) composite?
False
Is (-11)/(99/(-43995)) - 2/(-3) a prime number?
True
Suppose -3*c + 10463 = z + c, -c = 3*z - 31444. Is z composite?
True
Let x = -171 - -566. Suppose -4*t = -3*m + x, 0*t = 3*m + 5*t - 377. Is m a prime number?
False
Let c be -6*(-10)/(-45)*-6. Suppose -c*x + 4062 = -6*x. Is x a prime number?
False
Let w(r) = -r**3 + 4*r**2 - r - 4. Let z = 5 - 2. Let n be w(z). Suppose 0 = n*t - 3*g - 950, -g = t + 4*t - 2341. Is t a prime number?
False
Suppose 6*l = -4 + 22. Suppose -1779 = -3*b - 4*n - 244, -3*b - l*n = -1533. Is b a composite number?
False
Suppose 1 - 1 = 2*r. Suppose r*b + b - 477 = -2*v, -942 = -4*v + 2*b. Is v prime?
False
Let t(x) = -x**2 + 2*x - 1. Let k be t(2). Let w be (-1)/k*(-29)/(-1). Let n = w + -8. Is n a composite number?
True
Let i(l) = -l + 5. Let n be i(0). Suppose -2*u - q + 3 = -n, 0 = -q. Is (148/6)/(u/6) composite?
False
Suppose 0 = -7*r - 54952 + 17999. Let m = -2352 - r. Is m a prime number?
True
Let d = 494 + 1797. Is d composite?
True
Let b = 221 - 491. Suppose -2*p = 3*p - 125. Let m = p - b. Is m prime?
False
Let y = 2654 - 143. Suppose y = 3*x + m + 2*m, 5*m =