6*o + 7576 = k. Is o a prime number?
True
Let b be 2/12 + 19/(-6). Let m(u) = 140*u + 4. Let y be m(b). Is y/(-4) + 4 + -2 a prime number?
False
Suppose -5*z + 18*a + 7725 = 23*a, -3*a - 4623 = -3*z. Is z composite?
False
Let w(a) = a**3 + 25*a**2 + 21*a + 7. Let i be w(-19). Is i*((-3)/(-12) + 2/8) prime?
True
Suppose 8*a - 7*a - 1191 = 0. Suppose 8*s - 11*s = -a. Is s prime?
True
Suppose -47*n + 1960187 = -25986. Is n composite?
True
Suppose 0 = 53*u - 57*u + 38644. Is u prime?
True
Is ((-2)/4*10)/((-4)/37724) composite?
True
Let v(c) = -c**2 + 5*c + 8. Let g be v(7). Let u be g/15 + 1107/5. Let z = -72 + u. Is z composite?
False
Suppose -1044 = 3*n - 3072. Let o = n - -322. Suppose -o = -3*u + u. Is u a composite number?
False
Let x = 114419 - 37770. Is x composite?
False
Let j = 9814 - 1317. Is j prime?
False
Let i be 4/(-14) + 401/7. Let n be 25 + (2 - -2)*(-7 - -6). Suppose -3*o = -n - i. Is o prime?
False
Suppose 43*t - 509076 = 39*t + 2*g, 0 = -5*t + 4*g + 636351. Is t prime?
False
Let i(a) be the first derivative of -5*a**2/2 - 3*a - 5. Let c be i(-2). Suppose 6*x + 703 = c*x. Is x composite?
True
Let g = -14 - -9. Let f be (-220)/(-66)*(-6)/g. Let m(s) = 10*s - 5. Is m(f) a composite number?
True
Let z = -2050 + 2427. Is z prime?
False
Let o = 5017 + 9748. Is o a composite number?
True
Let i(r) = r**3 + 11*r**2 - 13*r - 10. Let s be i(-12). Is (-4 + 81/6)*s prime?
True
Suppose 33*v = 34*v - 4*j - 1713, 0 = 3*v - 5*j - 5174. Is v prime?
True
Is (-6 - (8 + -13)) + 13362 prime?
False
Let s(g) = -g + 14. Let l be s(12). Suppose -l*a - 242 + 1212 = 0. Is a a composite number?
True
Is (-1371)/3*(4 - 9) prime?
False
Suppose -y + 209 = 204. Suppose -7*c = -y*c - 958. Is c prime?
True
Suppose 3*f = 8*f - 265. Suppose -2*q - 6 = 0, 2*q + f = -5*x + 477. Let h = x - 51. Is h a composite number?
True
Suppose 4*h = 5*o - 3320, 4*h = -3*o - 2*o + 3280. Suppose 5*a - o = 5*d, 2*d - 249 = -2*a - d. Is a composite?
True
Suppose 0 = 27*x - 22*x - 18435. Is x composite?
True
Is 153645/(-10)*(56/(-12) - -4) a composite number?
False
Let m(d) = -d**3 - 36*d**2 + 37*d - 17. Is m(-38) prime?
False
Let a(p) = 951*p - 136. Is a(7) composite?
False
Let j be (0 + (-5)/2)/(4/8). Let s(y) = 116*y**2 + y + 6. Is s(j) prime?
False
Suppose 4*u - 2 = 5*p + 3, p + 22 = 5*u. Is ((-78)/(-24) - p) + (-1947)/(-4) composite?
False
Let m(d) = -16 + 4*d - 9 + 18 + 280*d**2. Is m(2) a prime number?
False
Suppose -3*u + 1312 = -5*b, 4*b + 300 - 2028 = -4*u. Suppose -2*z + u + 1040 = 0. Is z a prime number?
False
Let g(t) = -t - 2. Let i be g(-5). Suppose 0 = -c - i*n + 1159, 3*c + c = -5*n + 4643. Let o = 2217 - c. Is o a prime number?
False
Suppose g + 2*x = 6*g - 13125, -3*x = g - 2642. Is g prime?
False
Let t = 8416 - 5618. Is t prime?
False
Suppose 3*u = -7*u + 2940. Let k = -93 + u. Is k prime?
False
Suppose 17 = 5*x - 303. Let w = 97 - x. Suppose 3*u - 116 - w = 5*f, -4*u = 3*f - 247. Is u composite?
True
Let i(h) be the second derivative of h**3/3 + 2422*h**2 - 5*h. Let z be i(0). Suppose 27*u - z = 23*u. Is u a prime number?
False
Is 4/22 - (6 + (-827482)/22) a composite number?
False
Let k(x) = 3*x + 19. Let d be k(-10). Let q(v) = 13*v**2 + 13*v + 14. Let m be q(d). Suppose -5*s + 1011 = -m. Is s a prime number?
True
Let d = -50 + 50. Suppose 25 = -t + 6*t. Suppose d*o = t*o - 635. Is o a prime number?
True
Let l = 55275 - 32744. Is l prime?
True
Is -3*(-350230)/3*(-1)/(-2) composite?
True
Let b(f) = f**3 - 7*f**2 - 3*f - 3. Let o be (-21)/(-2)*(-9 + 3). Let h be -3*7/(o/30). Is b(h) a composite number?
True
Is 104/(-364) + ((-88170)/(-21))/2 a prime number?
True
Let h(x) = 33*x**3 + 3*x**2 + 3*x - 8. Let a be h(4). Suppose -1154 - a = -6*v. Is v composite?
True
Let g = 49 - 56. Let o(f) = -41*f - 34. Is o(g) a prime number?
False
Suppose 3*a - 2085 = -2*a - 4*i, 5*a - 3*i = 2085. Suppose -c = -2*q + a, -4*c + 2*c = 2*q - 432. Is q prime?
True
Let o = -758 + 520. Let g = 449 + o. Is g prime?
True
Let l be (-6)/10 + (-15636)/(-10). Suppose -v + 4*v = l. Is v a prime number?
True
Suppose -2935 = -9*o + 4*o. Is o a prime number?
True
Suppose -2*f + 4*a + 32 = 0, 0 = 2*f + 2*a - 2 - 0. Let l = f - 5. Is 81 - ((-5 - 0) + l) a prime number?
False
Is (3 + (-207)/72)/(3/2579208) composite?
False
Let m = -68 - -12813. Is m prime?
False
Suppose q + 1 + 4 = 4*o, 4*o + 7 = 5*q. Suppose -3*z - 5*j + 24 = 0, 4*z - 3*j = 2*j - q. Let g(n) = 86*n**2 + 7*n - 4. Is g(z) prime?
False
Is (-6)/(-9) + 16401/9 a composite number?
False
Suppose 0 = 2*y - 4 - 6. Suppose y*j - z = 30, -j - 3*z - 5 = -z. Suppose -3*k = -4*b + b + 2139, 20 = -j*k. Is b prime?
True
Let m be (-1)/(-2)*-11*2/(-1). Let z = m - -492. Is z a composite number?
False
Let w = -71 + 76. Suppose w*f + 163 = 2208. Is f prime?
True
Let r = -15 - -19. Suppose -z + 0 = -r. Is 14255/45 - z/(-18) composite?
False
Suppose 3 = -3*l + z - 8, 0 = 5*z - 10. Let t be -4*-1191*l/(-12). Suppose 5*x + 1191 = 3*d, 2*d + d - t = x. Is d a composite number?
False
Let b be ((-36)/16)/(-9)*4. Let c be 18*b*1996/12. Suppose 3*n - 2*u = 2969, 2*u = -3*n - u + c. Is n a composite number?
True
Let s = -8 + 22. Let m = 29 - s. Suppose -3*v + t = -0*v - 378, -m = -5*t. Is v a prime number?
True
Suppose 3*w = 0, -3*d + 60 = 2*d - w. Suppose 0 = d*u - 7*u - 18985. Is u prime?
True
Let d = 25 - 20. Let u(o) = 9*o**3 - 4*o**2 - 5*o + 9. Is u(d) composite?
False
Let k(l) = 3*l**3 - 5*l**2 + 1. Let a(t) = -t**3 - t**2 + 5*t + 3. Let n = -4 + 1. Let w be a(n). Is k(w) prime?
False
Let l(w) = 51*w**2 + 8*w - 1. Let b(k) = -k**2 - 2*k + 13. Let t be b(-5). Is l(t) a prime number?
False
Let v = -496 + 747. Let a = -12 + 22. Suppose h - 220 - v = 2*k, -2*k = -a. Is h a prime number?
False
Let z = 36 + -36. Suppose h = -5*n + 6533, z*n + h = n - 1303. Is n a prime number?
False
Suppose 3*r + 3*f = 7647, 10*f + 5086 = 2*r + 9*f. Is r a composite number?
True
Suppose -34*m + 57*m = 3197. Let y = 3 + 0. Suppose 0 = -0*i + 4*i + y*w - 461, 4*w + m = i. Is i composite?
True
Let h(z) = z**3 + 6*z**2 + 8*z + 3. Let l be h(-5). Is (0 - 1) + (-2472)/l a composite number?
True
Is -7555*(-2)/4*62/155 composite?
False
Let q(g) = -2*g**3 - 12*g**2 - 13*g - 34. Is q(-11) a prime number?
True
Suppose -12*q + 13*q + y = 552, 0 = 3*y + 15. Suppose 0 = t - 4*r - q, -2*r = 5*t + 2*r - 2833. Is t a prime number?
False
Suppose -3*m = 5*c - 25376, -5*c + 2*m + 0*m + 25391 = 0. Is c a prime number?
True
Let x = -19 - -22. Suppose -3*r - 3 = -3*w + x, 0 = 3*w + 12. Let b(f) = -4*f**3 - 6*f**2 - 3*f + 5. Is b(r) a prime number?
False
Let z = 22 + -17. Suppose -z*n = -7*n + 446. Is n a prime number?
True
Let o be ((-50)/6 + 5)/(2/3). Is ((-5)/25)/1 + (-1636)/o composite?
True
Let z = 616 + -990. Let p = -213 - z. Is p prime?
False
Let z(l) = 5 + 3*l**2 + 0*l - 2*l**2 + 4*l - 2*l**2. Let b be z(5). Suppose b = -2*n - 0*n + 188. Is n composite?
True
Let z = 4844 - 2832. Suppose l - 5*w - 539 = 495, -4*w + z = 2*l. Suppose 2*i - l = -u, -4*u = i + 2*i - 1511. Is i a composite number?
False
Let h(q) = 2*q**2 + 8*q - 5. Suppose -5*w - 60 = -10. Let z be (-22)/4*w/(-5). Is h(z) prime?
True
Let v(x) = 5*x - 1 + 5*x**2 + 2 - 2*x**2 - x**2. Let h be v(4). Suppose 0 = -0*d - d + h. Is d a composite number?
False
Let s(g) = 47*g**3 + 4*g**2 - 4*g - 40. Is s(7) a prime number?
True
Let i = -16 - -18. Suppose -i*q + 1279 = 113. Is q prime?
False
Let k(d) be the third derivative of d**6/360 + d**5/24 + d**4/24 + 2*d**3/3 - 4*d**2. Let h(n) be the first derivative of k(n). Is h(-7) composite?
True
Let p be (-151 - -32) + -3*(-2)/3. Let d = 1126 + p. Is d prime?
True
Suppose -10*l = 178 - 36668. Is l prime?
False
Let z(x) be the first derivative of 3 + 1/2*x**2 + 3*x + x**3. Is z(-4) composite?
False
Let a be (-12)/6 - 3/(6/(-4)). Suppose a = 5*r - o - 396, 2*r + 0*o = -2*o + 156. Is r composite?
False
Suppose -5*i + 78825 = 5*f - 0*i, 78817 = 5*f + 3*i. Is f prime?
True
Let d(j) = 135*j**2 + 8*j + 8. Let k(u) = u**2 - u - 1. Let r = -1 - -2. Let p(s) = r*d(s) + 5*k(s). Is p(-2) a prime number?
True
Suppose 0 = -2*h + h. Suppose 4*g + 4*f - 243 - 3269 = h, 4387 = 5*g + 2*f. Is g a prime number?
True
Suppose 4*l - 20 = 2*l. Suppose 5*d + l = 5*u, -u = 3*d - 3 - 3. Suppose 3*n - 4*x = 71, -x + 4*