 - 8*a. Is j(18) a prime number?
True
Suppose 5*w + 8 - 23 = 0. Suppose -2*u - 11226 = -2*o, -2*o - w*o + 28065 = 4*u. Is o prime?
False
Suppose 482095 + 332849 = 5*l - k, k = -5*l + 814946. Is l prime?
True
Suppose 0 = 4*o - 5*v - 1831, 4*o - 11*v + 16*v - 1801 = 0. Let j = 2096 - o. Is j a prime number?
False
Let u(l) = -4577*l + 2016. Is u(-11) a composite number?
False
Let u = 1089 - 586. Let n = u + -292. Is n composite?
False
Let z(a) = 344*a**2 + 5*a - 30. Let d be z(8). Suppose -4*b - d = -7*p + 5*p, -2*b - 33043 = -3*p. Is p composite?
True
Let x = 2529 + -733. Suppose x = 2*y - 8894. Is y composite?
True
Let r = 151 + -146. Suppose 4*g - 3390 = -2*w, 3*w + r*g = -2*w + 8450. Is w prime?
False
Suppose 18*w + 6757783 - 17769139 = -18*w. Is w a prime number?
False
Let v = -62098 - -110031. Is v a prime number?
True
Suppose -x + 4*d + 5925 = -52184, 3*x - 174243 = -2*d. Is x composite?
True
Suppose 3*z - 12 = 21. Let x(d) = -14 + 46*d**2 + 8*d - z*d + 0*d. Is x(-5) a prime number?
True
Let l = -30386 + 65877. Is l composite?
False
Let p be -3 - 77174/(-6) - 12/(-18). Let h = p - -2383. Is h a composite number?
True
Let n be (-2 - -8)/((-10)/(-7325)). Suppose -14*m + 9*m + n = 0. Is m a composite number?
True
Let p(g) be the third derivative of 17*g**4 - 3*g**3/2 + 7*g**2. Let x(i) = -407*i + 9. Let c(y) = -3*p(y) - 2*x(y). Is c(-4) a composite number?
True
Let i be (-1)/(-1) - 13/((-13)/9830). Suppose 5*v - 8*v = -i. Is v prime?
False
Suppose -g = -4, 143*g = -4*j + 146*g + 116480. Is j a prime number?
True
Let w(s) = -s**3 + 89*s**2 + 187*s - 439. Is w(74) a prime number?
True
Suppose 0 = 3*o + o - 7920. Let z be 6/(-9) - (2 + (-3619)/(-3)). Let l = o + z. Is l composite?
True
Suppose -4*k + 45344 = 2*n, 226*k - 221*k + 3*n = 56681. Is k a prime number?
False
Let x(m) = 538*m**2 - 61*m - 61. Is x(20) composite?
False
Let t(h) = -2*h**3 + h**2 + 3*h + 13343. Suppose 7*k - 9*k = 0. Is t(k) a composite number?
True
Let s(p) = 6*p**2 - 70*p + 827. Is s(25) prime?
False
Let b(i) = 3*i**2 + 7*i + 6. Let t be b(-1). Suppose -3*o - t*j = -4705, -o + 1575 = j + j. Is o composite?
True
Let o(u) = -260*u + 33. Let n(f) = -264*f + 35. Let k(w) = -3*n(w) + 2*o(w). Is k(1) a composite number?
False
Let g = -700 - -698. Let y(a) = -82*a - 97. Is y(g) a composite number?
False
Let k be 4/(-3) + 142649/(-39). Let j = -5927 - -4067. Let i = j - k. Is i prime?
False
Let w(d) = 605*d**3 - 11*d**2 + 10*d + 123. Is w(7) composite?
False
Let h be (3/3)/((-3)/15)*-3. Let y(l) = l**2 + 5*l - 7*l + h + 10*l + 2*l. Is y(-11) a prime number?
False
Let t(v) = 126*v**2 - 111*v + 41. Is t(-46) prime?
False
Let o = 407 + -369. Suppose -22*d + o*d = 39632. Is d a composite number?
False
Suppose j - 41 = -5*k, 4*k + 5*j - 16 = -0*j. Is (-892)/(-7) + k + (-132)/14 a composite number?
False
Let j(i) = 5091*i - 140. Let o be j(3). Suppose -3*y - 4*x = -o, -5*y + 49*x - 52*x = -25240. Is y a prime number?
True
Let f(h) = 330*h - 13. Suppose -37*o + 35 = -30*o. Is f(o) prime?
True
Let z = -238 + 571. Suppose v = -3*m - z + 1396, -3*v = -4*m + 1400. Is m prime?
True
Let l(m) = 519*m + 2. Let x(k) = -k**2 + 19*k + 8. Let i be x(19). Suppose i*w = 4*w + 4. Is l(w) prime?
True
Suppose -4*w = -21679 + 4231. Suppose -q = -2*q + w. Let b = -2375 + q. Is b a composite number?
False
Let h = -28 - -7. Is (-4666)/(((-10)/35)/((-3)/h)) prime?
True
Let c(i) be the first derivative of 59*i**3/3 - i**2 + 8*i + 15. Let j be c(9). Suppose 0 = 3*y - 2*s - 2869, -2*y - 3*y + j = 3*s. Is y a prime number?
False
Let g be (-2)/(-16) - 130/16. Is 2/(-9) - (g - 155013/27) a prime number?
True
Let k be 3*(-2)/3 - 7 - -3. Is (2/k + (-36950)/(-15))/1 prime?
False
Let c(y) = -23*y**2 + y + 14 - 69 + 60*y**2. Is c(8) prime?
False
Let k = 34 - 30. Let a(i) = -11*i + 8. Let x be a(k). Is (-10556)/x - 2/9 a prime number?
True
Suppose o + 4*o + 3*i - 444453 = 0, 4*o - 5*i = 355555. Suppose 32*u - o = 2*u. Is u a composite number?
False
Let t(q) = -2*q**3 + q**2 + q. Let o(r) = 9*r**3 - 14*r**2 - 17*r + 30. Let c(f) = -o(f) - 3*t(f). Is c(-8) prime?
False
Suppose 49489 = 4*x - 2*x + 8267. Is x a composite number?
False
Let c = 2107228 - -630417. Is c a composite number?
True
Let x(k) = -k**3 - 41*k**2 - 42*k + 83. Suppose 3*y = 12 - 132. Is x(y) composite?
False
Let b(h) = 323*h**2 + 409*h + 17. Is b(-20) prime?
False
Suppose 0 = -r - 0*i + i + 1, 5*i = -5. Let t(u) = u**2 - 5*u + 6. Let a be t(r). Suppose a*l - 1036 - 242 = 0. Is l composite?
True
Let u(y) = -16918*y + 431. Is u(-6) a composite number?
False
Suppose 0*d - 1 = d. Let k(u) be the first derivative of -331*u**4/4 + u**3/3 + u**2/2 - 374. Is k(d) a prime number?
True
Suppose 3*h + 6621 - 22869 = 0. Is (9/(-9))/((-2)/(h - 2)) a prime number?
True
Suppose 3909 = x + 4*d, -x + 2527 = -2*d - 1400. Suppose -c = 2*p - x, -5*c = p - 3*p + 3927. Is p a prime number?
False
Let v = -1571013 - -2468740. Is v a prime number?
True
Suppose -3*z = d - 827941, 50*z = 52*z - 3*d - 551990. Is z a composite number?
True
Suppose -8*a + 8846 + 8458 = 0. Suppose 0 = 2*s + 5*j - 1448, a = 3*s + 4*j - j. Is s a composite number?
False
Is 188794/(-2 - ((0 - 10) + 7)) composite?
True
Suppose 5*o - 8 - 12 = 0, -4*r - 4*o = -3132. Suppose 0 = 2*h + 3*h + 20, -4*h = -l + 274. Let j = r - l. Is j prime?
True
Suppose -5*f - 4*k + 5281507 = 299170, -5*f = 3*k - 4982329. Is f prime?
True
Suppose -4*b + c + 29183 = 0, 8*b + 6*b = -4*c + 102118. Is b a prime number?
False
Let m = -9277 - -1652. Let k = 18154 + m. Is k a composite number?
False
Let a(y) = y**3 + 2*y + 3. Let v be a(0). Suppose 3*l - 12 = -3*t, -2*t - v*l = -6*t + 2. Suppose t*w + 433 = j, 6*w + 1747 = 4*j + w. Is j composite?
False
Suppose -9775*b = -9739*b - 58006404. Is b prime?
True
Let h be (1015 - 0/(-2))/1. Suppose 116*f - 850 = 66*f. Suppose f*d = 22*d - h. Is d prime?
False
Suppose -5*x = -3*s - 582524, 121009 + 112009 = 2*x - 4*s. Is x composite?
True
Suppose 67*r - 3131626 - 2213835 = 0. Is r composite?
True
Let q = -16005 - -35504. Let k = 33768 - q. Is k composite?
True
Let y(t) = 2*t**2 + 91*t - 33. Let a(k) = 2*k**2 + 92*k - 35. Let f(p) = 5*a(p) - 6*y(p). Is f(-38) composite?
True
Suppose 2*r + 48 = -c - 892, -5*c - 4728 = 3*r. Let q = c - -15377. Is q prime?
False
Let p(t) = 697*t - 57. Suppose 0*y + n - 4 = -3*y, 5*n = -5*y. Is p(y) prime?
False
Let p(r) = 3*r**2 + 2*r + 1. Let z be p(-2). Let v(c) = z*c + 0*c**2 + 5*c**2 - 11 + 4*c**2 + 0*c. Is v(5) a composite number?
True
Suppose 257*s + 247898 = 271*s. Is s composite?
False
Let h be 24/(-16)*(-50)/(-15). Let a(n) = -1. Let b(g) = 21*g - 6. Let t(w) = -4*a(w) - b(w). Is t(h) a prime number?
False
Let g = 707862 + 443425. Is g composite?
False
Let n(l) = 428*l + 439. Is n(9) a composite number?
True
Let x = 13735 - -2280. Is x composite?
True
Suppose 3*m + 3*a - 4218 = 0, -m = -2*m + 4*a + 1396. Suppose h + 411 - m = 0. Is h composite?
True
Let x(s) = s**3 - 7*s**2 - 3*s + 16. Let m be x(7). Let u be 4/(m - 3)*-214. Let d = u + -22. Is d a composite number?
True
Suppose -5*d + 4*y + 4307880 = 761287, 5*d - 3546620 = -5*y. Is d composite?
False
Is (-1)/(-1 + (67739/81294 - (-8)/48)) prime?
False
Let y = 57258 + 59944. Is y prime?
False
Suppose 4172609 = 79*z - 6092634 + 2498200. Is z composite?
False
Suppose -730774 = -34*h + 12*h. Is h prime?
False
Let o = 1081475 - 672972. Is o prime?
False
Let m(o) = -34*o**2 + 17*o - 17 + 104*o**2 - 13*o + 65*o**2. Is m(-6) composite?
True
Let a = -172 - 58. Let k be (-4)/(-6) - (-7)/3. Is (-2)/(-6) - a/k composite?
True
Let x = -221 - -221. Suppose 0*z - 11*z + 43637 = x. Is z prime?
True
Suppose -13*m - 5 = 5*i - 15*m, -3*i = -m + 4. Is i/15 + 131144/20 a composite number?
True
Let q be 4952 + (-98)/245 + (-44)/(-10). Suppose 0 = -5*v - 20, q = 3*h + v - 785. Is h a composite number?
True
Suppose -59 = -6*a + 1. Let v(f) = 39*f**2 + 21*f - 5. Is v(a) a composite number?
True
Let m = 680 - -1238. Suppose -3*u - 763 = -2*l, -8*u + m = 5*l - 5*u. Is l a composite number?
False
Suppose -63 = -4*p + 29. Suppose -3*o + p = -4*x, 4*o + 2*x = -3*x + 10. Suppose -3*u - 782 = -o*u. Is u composite?
True
Suppose -12348 = -10*i + 29382. Let v = i + -2956. Is v a composite number?
False
Suppose 3174*w - 3168*w - 30 