
False
Suppose -1100 = 4*m - 9*m. Suppose 0 = 4*j - 40 - m. Is j composite?
True
Is (5/(-3))/(4/(-372)) a prime number?
False
Let w = -651 - -1087. Suppose 3*b = 197 + w. Is b a prime number?
True
Suppose -2*m + 181 = v, 2*v - 10 = -2*m + 350. Is v composite?
False
Let n(u) be the second derivative of u**3/6 + 3*u**2/2 + u. Is n(0) prime?
True
Let u = -142 + -2. Let f = -101 - u. Is f prime?
True
Let b = -192 - -303. Is b composite?
True
Let p = -152 + 260. Suppose -p - 92 = -4*n. Suppose 2*y - 2*k = n, -6*k - 102 = -4*y - k. Is y composite?
False
Let m = 1783 - 1196. Is m prime?
True
Suppose -3*o = 4*b - 21 - 15, -b = 3*o. Suppose -3*x - b = -501. Is x prime?
True
Let s(a) be the first derivative of -2 - 4*a + 3/2*a**2. Is s(6) composite?
True
Let r(z) = 50*z**2 - 4*z - 1. Is r(2) a prime number?
True
Let f be 4/6*(1 - -5). Let y(q) = 3*q**3 - 2*q**2 - 7*q + 3 - f*q**3 + 2*q. Is y(-4) a prime number?
False
Suppose -15*x + 0*x = -2085. Is x a prime number?
True
Let k be 18/(-12)*(-16)/6. Let r be k/3 - 1/3. Suppose -w - 5*x = r + 2, 86 = 3*w - 4*x. Is w a composite number?
True
Let w be ((-1)/2)/(4/(-520)). Is (-26)/w + (-744)/(-10) a prime number?
False
Suppose 2*b + 5*d - 663 = 0, -2*b - 3*d - 348 = -3*b. Suppose 3*z - 93 = b. Let f = z - 77. Is f a prime number?
True
Let x = 246 - 156. Let j = x + -51. Is j a prime number?
False
Suppose 0 = -k + 5*a + 1127, -2*a - 4381 = -5*k + 1208. Is k a prime number?
True
Let a be 9*((-64)/3 + 0). Let t = a + 446. Suppose 2*k - 4*k + t = 0. Is k a composite number?
False
Let d(o) = 15*o**2 + 2*o + 1. Let x(c) = c - 5. Let b be x(4). Is d(b) a composite number?
True
Let l(h) = -3*h - 2. Let q be l(-3). Let x(k) = -k**2 + 9*k - 7. Let s be x(q). Let f(t) = 3*t**2 - 9*t + 1. Is f(s) composite?
True
Let z be 2*((-27)/(-6) + -3). Suppose -2*k + z*k = 106. Is k composite?
True
Let y be 4/(-6) + (-2)/(-3). Suppose 3*f + 0*f + 27 = y. Is ((-262)/6)/(3/f) a composite number?
False
Suppose 0 = v + 3*b + 2, 0 = b + 2 + 1. Suppose v*t = 2*t. Suppose t = -3*f - 8 + 74. Is f a prime number?
False
Let a(v) = -v**2 - 6*v + 2. Let x be a(-6). Suppose -g - 4*c + 6 = 0, g = -0*g - x*c + 4. Is g + -2 + (66 - -1) a prime number?
True
Suppose 5 = 3*s - 4, -2 = -4*f + 2*s. Suppose 4*o - f*z - 12 = -6*z, -4*z = -5*o - 12. Suppose o = -2*x + w + 20, -x - 3*x - 2*w + 48 = 0. Is x composite?
False
Suppose -2*x + 279 = x. Is x a prime number?
False
Is ((-2)/(-2))/((-8)/(-1744)) prime?
False
Suppose -5*k = -4*b + 956, 0*k - k - 478 = -2*b. Is b composite?
False
Let q be 22/5 + (-15)/(-25). Suppose q*t - 4*y = 4445, -4*y = -3*t + 723 + 1944. Is t a composite number?
True
Let z be ((-4)/(-14))/((-2)/(-14)). Suppose -154 = -4*g + z*g. Is g a composite number?
True
Let h(m) = 3*m**2 + 5*m + 7 - 18 - 2*m**2. Is h(-10) prime?
False
Suppose -5*y + 9327 = 2*g, y - 14002 = -3*g + 5*y. Is g a composite number?
True
Let x be 1*-4*(-6)/(-8). Let g(t) = -t**3 - 4*t**2 - 3*t + 1. Let c be g(x). Is (c + 18)/(5 + -4) prime?
True
Let f be (-2)/8 + (-15)/(-12). Is 3/((0 - f)/(-13)) prime?
False
Let h be -1 + 2/1 + 37. Let w(m) = m + 5. Let r be w(-6). Is (r - h/(-1)) + -2 prime?
False
Let d be (8/(-14))/(16/(-56)). Is -127*(-3 + d - 0) composite?
False
Let x(v) = v + 5. Let q be x(-11). Is q/2*68/(-6) a composite number?
True
Let r(p) = -13*p**3 - 2*p**2 + 1. Let k be r(-1). Suppose -o = -6 + 4. Let a = k - o. Is a a composite number?
True
Let p = -176 - -265. Is p prime?
True
Let m be 3/(2*(-2)/(-4)). Let o(t) = 18*t**2 + 6*t + 2. Let h(s) = s**2 - s - 1. Let u(i) = m*h(i) + o(i). Is u(-3) prime?
True
Let j(b) = -b**3 + 7*b**2 - 7*b + 8. Let h be j(6). Suppose -2*u = h*u - 2032. Is (-4)/10 + u/20 prime?
False
Let p(y) = y**2 + 7*y - 4. Let f be p(-8). Suppose 5*s - 3*x - 799 = 0, -6 = f*x - 14. Is s prime?
False
Suppose -3*r - 517 = 455. Let h = r + 659. Is h a composite number?
True
Let g be 1/1*(-12)/(-3). Suppose w = -2*o + 1058, 2*o + 341 = -g*w + 4603. Is w/20 - (-4)/(-10) a composite number?
False
Suppose -3*l + 5*l = -30. Let w = 25 + l. Is w prime?
False
Let q(f) = f**3 - 5*f**2 + 5*f - 5. Let u be q(4). Let c(r) = -1466*r**3 - r**2 - 2*r - 2. Is c(u) a composite number?
True
Suppose 0 = -6*r + 4*r + 14. Is r a composite number?
False
Suppose 3*p - 34 = -2*d + 20, -4*p - 181 = -5*d. Suppose -b + d = -14. Is b a prime number?
True
Suppose 0 = 2*h - 104 - 186. Is h composite?
True
Suppose 0 = 5*a + 19 + 31. Let g = a - -41. Is g a prime number?
True
Suppose -2*f + 3*k - 756 = 0, -k = -f + 3*k - 368. Let i = f + 573. Let q = -70 + i. Is q composite?
True
Let o = 191 - -732. Is o a prime number?
False
Let a be 1032/27 - (-4)/(-18). Let r = a + 11. Is r composite?
True
Let j(h) be the second derivative of 5*h**4/4 - h**3/2 + 2*h**2 + 3*h. Let r(z) = -z**2 + z - 1. Let k(w) = j(w) + 5*r(w). Is k(1) prime?
True
Let j = 2090 - 705. Is j prime?
False
Suppose 0*h + 4*h = -4*i + 508, -h + 5*i = -127. Is h composite?
False
Suppose 6*o = o + 2585. Is o prime?
False
Suppose t + 4*y + 550 = -t, -5*t - 4*y = 1369. Let b = -110 - t. Is b a prime number?
True
Suppose -2*u - 2 = -z, -4*z + 4*u - 2*u = -2. Suppose 0*x - 5*x - 599 = 2*g, -4*x - 4*g - 472 = z. Let q = 492 + x. Is q a prime number?
False
Suppose -122 = -3*t - 14. Suppose -10 + t = k. Is k prime?
False
Let x(h) = -h**3 - 2*h**2 - 2*h. Let o be x(-2). Let k be 2/8 + o/(-16). Suppose k = 4*i - 0*i - 52. Is i prime?
True
Let k(x) = -x**3 + x**2 + x + 1. Let h be k(-1). Is h/(-6) + 80/6 composite?
False
Let a(q) = 87*q**2 - 3*q + 5. Is a(2) a prime number?
True
Suppose 5*p - 4*r - 26 = -5*r, -4 = 2*p + 4*r. Let a be p/(-4)*44/(-3). Suppose -2*w + t + 22 = -a, -3*t = -w + 17. Is w composite?
False
Let j(f) = -f + 24*f**2 + 0*f + 3 + 4*f**2 - f**2. Is j(4) a composite number?
False
Let i be 3/(-6) - 7/(-2). Suppose 0*y = -i*y. Suppose -3*o + 94 + 47 = y. Is o a prime number?
True
Let g(q) be the second derivative of 5*q**3/3 + 9*q**2/2 + q. Is g(8) prime?
True
Let p(j) = 12*j**2 + 3*j + 6. Let l be p(5). Suppose 5*z = i + 1132 + l, -z = 5*i - 301. Is z a prime number?
False
Let u(o) = 5*o + 2. Let c be u(-2). Let b(z) = z**3 + 10*z**2 + 7*z + 2. Is b(c) composite?
True
Let k(j) = 18*j - 22. Is k(12) a prime number?
False
Let s(r) = 34*r - 3. Let b be s(2). Suppose -4*n = -j + b, 3*j - 53 - 82 = -3*n. Is j prime?
False
Let c(z) be the third derivative of z**5/30 + 3*z**4/8 - 5*z**3/3 + 4*z**2. Is c(-7) composite?
True
Suppose -4*f + 260 - 808 = 4*t, -3*f = t + 135. Is t/(-4) + (-3)/6 a composite number?
True
Suppose 4*s = 3*y + y - 9312, 4*s + 11645 = 5*y. Is y prime?
True
Let s(n) be the first derivative of n**3/3 + 3*n**2/2 + n - 1. Suppose 4*k - 9*k = 25. Is s(k) a composite number?
False
Let n = 7 - 3. Let x(d) = -1 + 5*d**2 + n*d - 2*d - d**2. Is x(2) prime?
True
Let u be ((-230)/8)/(3/(-12)). Let j = 27 + -53. Let f = u + j. Is f prime?
True
Let r(l) = -2*l - 7. Let i be r(-6). Suppose 0 = 4*q - i - 3. Is (5 + -4)/(q/12) composite?
True
Let p be 2 + 27/3 - 2. Is 531/p - (-1 - -2) a composite number?
True
Let z = -15 + 5. Let d = z + 63. Is d a composite number?
False
Let q(n) be the second derivative of -n**5/10 - n**4/2 + 5*n**3/6 - 3*n**2 - 3*n. Suppose 5*p - 25 = 0, -2*p - 40 = 3*o - 7*p. Is q(o) composite?
True
Let i(z) = -3 + 6*z - 3*z + 2*z**2 + 5*z**2. Is i(-4) a composite number?
False
Let b = 109 - 35. Is b a composite number?
True
Let s(v) = 2*v - 1. Let z be s(2). Suppose -z = -w - 12. Is -326*(w/6 + 1) prime?
True
Suppose -2*g + 2*v - 4685 = -5*g, 4*v - 16 = 0. Is g composite?
False
Let y(f) = 170*f**2 - 1. Suppose -2*j - 8 = -6*j. Is y(j) composite?
True
Is (-9)/15 - (983/(-5) + -3) prime?
True
Is (-574)/(0 + 0 + (-2 - 0)) prime?
False
Suppose -4573 = 9*a - 15436. Is a a prime number?
False
Suppose -3*x + 9109 = 5*r, -4*r + 4*x = -8779 + 1479. Is r a composite number?
False
Is -69*(-5)/20*4 prime?
False
Let s(o) = 53*o + 3. Is s(8) prime?
False
Suppose 1280 = 4*n + 436. Is n composite?
False
Is ((-34023)/(-18) - 1/6) + -1 a prime number?
True
Let l be 6/3 - (-3)/3. Let o be 6/(-4)*(-10)/l. Suppose o*q = 148 - 53. Is q a prime number?
True
Suppose 2468 = 4*p + i - 4*i, 0 = p + i - 610. Is p a composite number?
True
Let x = 21158 + -13011. Is x a composite number?
False
Suppose 4*d 