 number?
True
Let x be (-12)/(-3) + (-1)/2*4. Is x/(-4)*(6 - 5938) a prime number?
False
Suppose 0 = -5*d - 5*s - 1295, -4*d - 512 = -4*s + 540. Let b = -194 - d. Is b a composite number?
False
Let j(l) be the second derivative of 607*l**3/6 + 167*l**2/2 - 22*l - 1. Is j(5) composite?
True
Let d = -26152 - -64653. Is d prime?
True
Let l(m) = -m**2 - 7*m - 9. Let n be l(-6). Let x(b) = 10*b**2 + b + 50. Let i(g) = 9*g**2 + 2*g + 37. Let r(z) = 4*i(z) - 3*x(z). Is r(n) a composite number?
False
Let r be (-48)/(-60)*(23050/4 + 0). Suppose -a = -0*a + 3, 2*a + r = 4*t. Is t composite?
False
Let q(g) = 13*g**3 + 6*g**2 + g + 1. Let r be 63/(-6) + 5 + (-1)/(-2). Let a be q(r). Let f = 2114 - a. Is f a prime number?
True
Suppose 249*l = -69*l - 185*l + 170281093. Is l prime?
True
Let y(u) = u + 4. Let v be y(-2). Suppose -3*p = 5*i - 24865, -8*p + 9*p - 8289 = -v*i. Is p prime?
False
Let i be 4/(-5) + (-3995591)/(-145). Let t = -14104 + i. Is t composite?
False
Let x = 1478 + 3381. Suppose 4*d = 2*a - d - x, -2*a + d = -4871. Is a composite?
False
Suppose -80 = -3*j + j. Suppose j = 2*a - 80. Let w = 359 + a. Is w a prime number?
True
Let c = 18259 - 11441. Let m(j) = -2*j**2 - 14*j - 21. Let k be m(-3). Suppose -p - c = -k*p. Is p a prime number?
False
Let j be 3*(3 - 2 - 0) - 2. Let y be 48/10 - j*6/(-30). Suppose y*p - 4*p - 5*x = 267, -2*x = 4*p - 1156. Is p a prime number?
False
Suppose 2 = -j, 5*d - j - 14 = 7*d. Is 1*(d - -3)*31604/(-6) prime?
False
Is (-4)/(-1)*((-726)/(-88) - 8)*131293 prime?
True
Let j(p) = -p**2 + 7*p + 34. Let o be j(10). Suppose 0 = -2*t - 3*k + 497 + 451, -8 = -o*k. Let r = t - 98. Is r a prime number?
True
Let o = -2 + 10. Suppose o = 3*l + 2. Is 1*5866/7*l/4 prime?
True
Let o be 0/(-2 + 4 + 0). Suppose f + 2*k - 1997 = o, 0 = 2*k - 8 + 2. Is f composite?
True
Let y(p) = 498*p**2 - 602*p - 5. Is y(12) prime?
True
Let f(i) = -7*i**3 - 22*i**2 - 5*i + 39. Let h(k) = -3*k**3 - 11*k**2 - 2*k + 19. Suppose -r + 3 + 3 = 0. Let t(m) = r*f(m) - 13*h(m). Is t(-12) a prime number?
True
Let i be (73439/(-3) - -1)/(444/(-666)). Is i/6 - 108/(-81) prime?
True
Suppose -4*g = -j - 451329, g - 2*j - j - 112846 = 0. Is g a composite number?
False
Let q(o) = 87*o**2 - 138*o - 838. Is q(-47) composite?
False
Let q = 0 - 2. Let h be 0/((-4)/(0 - q)). Suppose 4*a - 3*a - 371 = h. Is a a composite number?
True
Let h = 3211 - 1655. Is h + 1 + (-24)/(-30)*5 prime?
False
Suppose 0 = -36*y + 153066 + 9868506. Is y a composite number?
True
Let m = -28 - -34. Suppose -2*x + m = 2. Suppose -4*o = -3*o - 3*k - 2089, -3*k = -x*o + 4184. Is o a prime number?
False
Suppose 0 = 4*f - 12. Is f/6 - (-8910)/20 a composite number?
True
Let r = 298161 - 211300. Is r composite?
False
Suppose -6*z = -18, z + 361439 = 5*c - 496413. Is c prime?
True
Let s be 224 + (-5)/10*12/(-3). Let t = s + -23. Is t prime?
False
Let n(p) = 10543*p**2 - 14*p + 127. Is n(-6) prime?
False
Suppose -w + 7 = n, -5*n + 3*w + 1 - 6 = 0. Suppose -3*i = 4*r - 1483, -3*i + 2467 = 2*i + n*r. Is i a prime number?
False
Let m = 48 + -46. Suppose 4*f + t - 140 = 0, 0 = m*t - t - 4. Let n = 321 - f. Is n composite?
True
Let r be ((-1836)/(-45))/(6/(-15)). Suppose -3*d = 6 + 9. Let n = d - r. Is n composite?
False
Suppose -4315855 = -7*v - 1446506. Is v a prime number?
False
Let f(b) = 23*b + 1. Let u be f(1). Suppose 0*x + u = -3*x. Let l(n) = 68*n**2 - 17*n - 1. Is l(x) a composite number?
True
Suppose 28*z = 23*z + 171060. Suppose z = 8*f - 19532. Is f prime?
False
Let g = 56628 + -25949. Suppose -11*j + g = -0*j. Is j prime?
True
Suppose -4*g - 2*z + 12 = -12, -2*g - 5*z = -12. Is 5154 - (3 + 24/g) composite?
False
Suppose -17*s + 573439 + 374940 = 0. Is s prime?
True
Let u(v) = -29*v - 2. Let y be u(-2). Let n = 78 - y. Suppose 2378 = 24*a - n*a. Is a a composite number?
True
Let s be 1/(-4) + (-987642)/(-72). Suppose -257 = 4*i - s. Is i composite?
True
Suppose -7 + 8 = -2*r + m, 3*r + 2 = 2*m. Is (1*-2234)/(3 + r + -5) composite?
False
Suppose 27 = 3*r - 6*r + 3*n, 0 = 2*r - 4*n + 28. Is (-28743)/(-52) - 1/r prime?
False
Suppose 26921 = -58*t + 250627. Let b = t - -614. Is b a prime number?
False
Let w(c) = -c**2 - 22*c - 3. Let s be w(-21). Let a be (-24)/s + (104/6 - 0). Suppose -a*j + 3124 = -12*j. Is j a composite number?
True
Let z(n) = -217*n + 65. Let w(r) = 109*r - 32. Let t(j) = 5*w(j) + 3*z(j). Let b be t(-8). Is (1 - -4 - 5) + b prime?
True
Suppose 3*b - 24 = 11*b. Is 3192 + 2/6*b composite?
False
Let b(o) = -11*o - 7. Let a be b(0). Let z(k) = 5*k**2 + 9*k + 16 + 5*k - 19*k + 6*k. Is z(a) a composite number?
True
Let w be 13/((-325)/(-70)) - 2/(-10). Suppose w*x - k + 6*k - 2 = 0, 4*x - 1 = -5*k. Let o(m) = 1948*m**2 - 2*m - 1. Is o(x) a composite number?
False
Suppose 3*n - 4*s = 153447, -153447 = -3*n + 8*s - 3*s. Is n a composite number?
True
Suppose 88775 = 14*f - 9*f. Let r = f + -6462. Is r a composite number?
True
Suppose -101*i + 105*i - 2207196 = -4*a, -i = -4*a + 2207236. Is a prime?
False
Let w(n) = n**3 + 15*n**2 + 24*n + 55. Let m be w(-16). Let s = 1402 - m. Is s prime?
True
Suppose -5*s + 31 = 4*z, 1 = 3*z - 2*s - 5. Suppose 12*t = z*t - 2288. Let g = t - -675. Is g composite?
False
Let x(q) = 2*q**3 + 37*q**2 - 25*q + 21. Let p be x(-19). Suppose p = -7*v + 33056. Is v a composite number?
False
Suppose -o - o + 99939 = z, o = z - 99951. Is z a prime number?
False
Let b(j) = -14*j**3 + j**2 - 10*j - 6. Suppose 5*u - 8*u = 12. Let i be b(u). Is ((-2)/6)/((-2)/(i + 2)) a prime number?
False
Let v = -158 + 298. Let m = v + -47. Is m composite?
True
Let p = 557 + -287. Suppose 26*v = 28*v - p. Suppose v + 130 = f. Is f a prime number?
False
Let d(x) = 11*x**2 - 10*x - 29. Suppose j = o - 8, -j - 2*o = -o + 18. Let k be d(j). Let n = k + 618. Is n prime?
False
Suppose -4 = -2*w - 3*r, 0 = r + 3*r. Suppose 0 = 5*h - w*p - 39091, 2*p - 3 = 3*p. Is h composite?
False
Let i(h) = 876*h - 4. Let c be i(5). Suppose -6*f = 2*f - c. Suppose -2 = -5*z - 12, -3*d - 4*z + f = 0. Is d a composite number?
True
Let t be (-36)/(-54) - (-70558)/3. Suppose 5*p - s - t = 0, 14104 = -42*p + 45*p + s. Is p a composite number?
False
Let z(v) = -v**2 - 6*v - 5. Let k be z(-5). Suppose -5*q + 7*l - 2*l + 5 = k, -q + 3 = l. Suppose -164 = -q*c + 6. Is c a composite number?
True
Let d be 236/16 + (-3 - (-52)/16). Suppose -d*f = -12*f - 4*g - 10567, 0 = 4*f - 4*g - 14084. Is f a composite number?
False
Let c be -1 - -1 - (16 - 684). Let g = c - -2785. Let a = g + -1216. Is a a prime number?
True
Let x(y) = 18542*y**2 + 17*y + 101. Is x(-4) a composite number?
True
Let g = -5084 + 2417. Let v = -1504 - g. Is v a composite number?
False
Let s = -77256 - -112155. Suppose -s - 448 = -13*y. Is y a composite number?
False
Let d = -56 + 46. Is ((-54)/d + -5)/((-6)/(-61365)) prime?
True
Let q(j) be the second derivative of 14*j**4/3 + 2*j**3/3 + j**2 - 129*j. Is q(-8) composite?
True
Let d(l) = -l**3 + 5*l**2 - 3*l + 6. Let w be d(4). Suppose w - 1 = -k. Let o(y) = 4*y**2 - 2*y + 11. Is o(k) a prime number?
True
Suppose -3*u = 4*h - 14483, -10*u = 2*h - 0*h - 48288. Is u a prime number?
False
Suppose -4*g + 3*t = t - 22896, 4*t + 5717 = g. Suppose 9021 = -3*r - 2817. Let m = r + g. Is m a prime number?
False
Let o(s) = -s**2 - 13*s - 37. Let i be o(-5). Let d be 12/(-9) + 16/i. Is (-6010)/(-50) - d*3/(-15) composite?
True
Let x(k) be the first derivative of 50*k**3/3 + 16*k**2 - 17*k + 133. Is x(13) a prime number?
True
Let k be 2/(-12) + 7/(294/5248747). Suppose 0 = 423*i - 413*i - k. Is i a prime number?
True
Let b = 381362 - 160035. Is b composite?
False
Let w be (-3 - 4)/(7/(-2)). Suppose 0 = -w*a, -2*f + 2*a + 6074 = 3*a. Is f a composite number?
False
Is (1228235/(-15) - 8)*(-3)/1 composite?
False
Suppose -i - 2 = -2*q - 5*i, 2*q = -2*i + 2. Is -72*(-266)/3 - (-4 + q) composite?
True
Let j(x) = 47*x - 28. Let n(b) = -b**3 - 4*b**2 + 8*b - 13. Let c be n(-6). Suppose 5*g = c*g - 54. Is j(g) a composite number?
True
Suppose -15*t = 42*t + 16*t - 1347215. Is t a composite number?
True
Suppose -4*j = -9*j - 3*d + 1182533, -j = 5*d - 236533. Is j composite?
False
Let r be (-81)/(-2) - (-108)/72. Suppose -4*b - 41*k + r*k = -3183, 0 = 2*b + 4*k - 1614. Is b composite?
False
Let g = 37187 - -3