pose 0*x - a = -2*x. Suppose x*u - 339 = -0*u. Is u a prime number?
True
Suppose 0 = -5*g + 46 - 21, 5*x = -g + 16350. Is x composite?
True
Suppose 0 = d + 3*g - 1540, 4*d + 894 = -g + 7065. Is d prime?
True
Suppose -275 = 2*x - 5*h + 116, -x = -3*h + 198. Let l = x - -502. Is l a prime number?
False
Suppose s - 1817 - 2552 = -4*g, -17527 = -4*s + g. Is s a prime number?
False
Let z be (6702/4)/((-93)/(-124)). Is (2/2)/((-3 - -5)/z) prime?
True
Let a(u) = 27*u**2 + 24*u - 109. Is a(-14) prime?
False
Let x(o) = 2*o + 0 - 5*o - 2. Let r be x(-2). Suppose n = r*n - 957. Is n composite?
True
Suppose -18*c + 17*c + 24001 = 0. Is c a prime number?
True
Suppose -88 = 7*n - 18. Let c(a) be the first derivative of -29*a**2/2 + 8*a - 3. Is c(n) a composite number?
True
Suppose 7*y - 17409 + 2156 = 0. Is y a prime number?
True
Suppose 13*p - 8*p = 0. Suppose -2*v + 28 + 60 = p. Suppose -2*j = -66 - v. Is j a prime number?
False
Suppose 5*d = -4*a + 1772, -4*a - 2*d = a - 2198. Let l = -131 + a. Is l a prime number?
True
Suppose -4*d + 2 = -4*n - 42, -48 = -4*d + 3*n. Suppose -5*q = 5*j + 12 + 43, 4*q + 9 = 3*j. Is 1640/d - (-2)/q a prime number?
True
Let b = 19 - 20. Let q = b + 13. Is ((-4)/q)/(2/(-636)) prime?
False
Suppose -2*b = -2*q + 113920, 22*q = 20*q - 2*b + 113932. Is q prime?
True
Suppose -5*c + 10007 = -53148. Is c composite?
True
Suppose -817 - 1667 = -4*o. Suppose 5*y = n + 4428, -3*y - n = 3*n - 2666. Let m = y - o. Is m a prime number?
False
Let c be (-2)/(-11) - 309980/(-121). Suppose 2*x - c = -3*g - g, 4*g + 6377 = 5*x. Is x prime?
True
Let t(p) = 18*p + 5. Let w be t(-4). Let z = 123 + w. Suppose -5*h + 501 = z. Is h a composite number?
False
Let y be -2*(-2)/(-22) + (-3423)/231. Is (-89260)/y + 1/3 a prime number?
False
Suppose 887 = -5*y + 13657. Is y composite?
True
Suppose 0 = -4*z + 5*q + 33, 8 = -3*z - 4*q - 6. Is 0*z/(-6) + 1319 a composite number?
False
Suppose -4*l = -4, 2*l + 6410 = 2*p - 394. Is p prime?
False
Let g(w) = 7*w**3 + 5*w**2 + 10*w + 22. Let j(u) = -4*u**3 - 3*u**2 - 5*u - 11. Let v(l) = -2*g(l) - 5*j(l). Is v(5) prime?
True
Let v(y) = -10*y**3 - 9*y**2 - 24*y + 6. Is v(-8) composite?
True
Suppose 4*c - 12*o + 8*o = 936, c + o = 232. Is c a prime number?
True
Let d(q) = 375*q**2 - 5*q + 17. Is d(12) a prime number?
False
Let r(q) = q**3 + 12*q**2 - 12*q - 10. Let p be r(7). Suppose -142 + p = w + 3*d, 1362 = 2*w - d. Is w a composite number?
False
Suppose 5*a = 9*a - 24. Suppose n + a*n = 9079. Is n a prime number?
True
Let h(u) be the first derivative of u**4/4 + 4*u**3 + 4*u**2 + u - 75. Let b = -22 - -12. Is h(b) a prime number?
False
Let r be ((-4)/(-14))/(6/42). Suppose -2*v - r*g + 120 = 0, 2*g - 300 = -5*v - 2*g. Suppose 295 = 5*w + v. Is w composite?
False
Suppose 0 = -131*a + 130*a + 3649. Is a a prime number?
False
Let m be 3 - (1 - (-1)/(-1)). Suppose -5*p - 3*s + 1941 = s, -m*s + 1164 = 3*p. Is p a composite number?
False
Let r(i) = -i**2 + 5*i. Let m be r(6). Let l(f) = 2*f**2 + 13*f + 7. Let a be l(m). Is (1772/(-8))/(a/(-2)) a prime number?
True
Suppose 8*b - 10*b = 0. Suppose b = -5*w + o + 1490, 5*o = -2*w + 79 + 544. Is w a prime number?
False
Suppose 3*m - 4 = 8. Suppose 0 = m*d + 1 - 9. Suppose d*z = 136 + 18. Is z a prime number?
False
Let b(i) = i + 23. Let c be b(-13). Is 9/45 - (-1578)/c composite?
True
Let j be ((-675)/1)/((-3)/4). Suppose 0*t + j = -5*t. Let a = t + 262. Is a a composite number?
True
Is 143430/25 + 15/(-75) composite?
False
Let w(u) = 5*u + 6. Let n be w(-2). Is -14*((-1855)/10 + n) composite?
True
Let y(b) = -b**3 + 24*b**2 + 6*b - 60. Let v be y(24). Suppose v*w = 85*w - 33. Is w a prime number?
False
Suppose 0*t = 4*t - 6640. Let a = t + -917. Is a a composite number?
False
Suppose -o - i = 6, -6 - 3 = o + 4*i. Let l(g) = -5*g**3 - 4*g**2 - 5*g - 8. Is l(o) a prime number?
False
Let t = 112 - 81. Is t prime?
True
Suppose 0 = 2*i - 4*m - 24, 4*i = -3*m - 4 - 3. Suppose -4*n = -i*q + 562, 4*n + 2*q = 3*n - 153. Let t = 220 + n. Is t composite?
True
Let x(f) be the first derivative of 9*f**2/2 - 8*f + 3. Is x(5) a prime number?
True
Suppose 1 = -x + 2*f, 2*x + 3 = 7*x - 2*f. Is ((-3)/(-3)*3 + 1550)*x prime?
True
Suppose -3*u - 4*o = -15, -o = o. Suppose d = 2*l - 3, -u*d - 5*l = -4*d - 18. Suppose -66 = -v + d. Is v a prime number?
False
Let l(d) = -8 + 0*d**2 + 11*d - 12*d**2 + d**3 + 23 - d**2. Let o be l(12). Suppose q - 2*w + 4*w - 201 = 0, o*q = -4*w + 603. Is q a prime number?
False
Is (19 - 13 - 8)*(-19121)/2 composite?
False
Let d(h) = -150*h - 11. Let y(s) = -s + 4. Let r be y(10). Is d(r) a prime number?
False
Let m be 2*-1*1208/16. Let g = m + 594. Is g a composite number?
False
Suppose 4*g = -3*m + 2615, -893 = -m - 8*g + 12*g. Is m composite?
False
Let w be (3*1/(-9))/((-1)/9). Suppose 0 = 5*c + 5*d - 0*d - 1320, -c + 262 = w*d. Is c a composite number?
True
Suppose 36934 = 4*x + 3*d - d, 5*x = -2*d + 46169. Is x prime?
False
Let u(n) = -n + 5. Let q(h) = h. Let v(f) = 6*q(f) + 3*u(f). Is v(12) prime?
False
Suppose 0 = -l + 3*y + 296, 0*y + 1468 = 5*l - 3*y. Is l composite?
False
Suppose 8*d = 140 + 596. Suppose -1257 = -95*g + d*g. Is g prime?
True
Let o be (-7)/28 - (-3409)/4. Let r = 1425 - o. Is r composite?
True
Suppose 3*b = -4*l - 0*l + 8321, -10408 = -5*l + 3*b. Is l composite?
False
Suppose -8*t - 8260 = -63388. Suppose -23006 = -5*y - t. Is y composite?
True
Let z(w) = 9*w - 6*w - 11 + 8*w. Is z(3) prime?
False
Suppose -n = -5*k + 1, -4 = -k + 3*k + 4*n. Suppose -1509 = -3*o - k*o. Is o a prime number?
True
Let i(o) = 12*o - 20. Let d be i(2). Let m(c) be the second derivative of c**5/4 - c**4/3 - c**3/6 + 5*c**2/2 - c. Is m(d) a composite number?
False
Suppose 4*w - 33032 = -5*m, 2*m = -5*w - 2*m + 41299. Is w prime?
True
Let c be 30/(-195) - 100/26. Is 83/((-9 - -7)/(c/2)) a composite number?
False
Let a(d) = d**2 - 12*d + 2. Let m be a(12). Let r(i) = 2*i**2 - 4*i - 4*i**m + 23*i**3 - 26*i**3 - 2*i**2. Is r(-3) prime?
False
Let q be (-2 + 337 - 1) + 2. Let y be (-27)/(-36) - 1678/8. Let w = q + y. Is w composite?
False
Let k(a) = a**3 - 4*a**2 + a + 5. Let d = -26 - -33. Is k(d) composite?
True
Suppose 0 = -s + 2*d - 7 - 0, -5*s + 4*d = 29. Let r(p) = 11*p**2 + 4*p + 8. Is r(s) prime?
True
Let k(p) = 13*p**2 + 18*p - 5. Let m be (5/50*8)/((-1)/(-10)). Is k(m) a composite number?
False
Suppose 8*d - 5*d = 1116. Suppose 2*a + d = 1246. Is a a composite number?
True
Let i(k) = 23 - 34 + 14 - 60*k. Let g be i(-3). Let t = g + -60. Is t prime?
False
Suppose 2*o + 6 = 5*o. Suppose 931 = q + 3*x - 887, o*q - 4*x = 3596. Suppose -4*z + 214 = -q. Is z a prime number?
False
Let y = -18768 - -45307. Is y a composite number?
False
Let j(t) = -622*t + 37. Is j(-7) composite?
False
Let u(j) be the third derivative of -11/6*j**3 - j**2 - 1/4*j**4 + 0*j + 0. Is u(-8) prime?
True
Is 11457 - (46 - -4)/(-5) composite?
False
Let c = -27 + 3. Let z = -14 - c. Is z*(-254)/16*-4 a composite number?
True
Suppose 128 = j - 56. Is 5/15 + j/6 a composite number?
False
Let t(i) = -2*i**2 - 4*i + 1. Let q be t(-3). Is q/((-50)/(-4)) + 7927/5 a prime number?
False
Suppose 3*s = -5*c + 1932, 136 + 236 = c - 3*s. Let k = c - 262. Suppose 0 = -l + 315 + k. Is l composite?
True
Suppose -6*x + 119*x = 3084787. Is x composite?
False
Let t = 96 - 85. Let h(b) be the first derivative of -b**4/4 + 4*b**3 + 9*b**2 - 26*b - 5. Is h(t) a composite number?
False
Suppose 24 = 2*j - 0. Suppose j = 2*r + 4. Is r - 6 - -89*3 prime?
False
Suppose -31*o + 489618 = -389015. Is o a prime number?
False
Suppose 4 = -t, 3*t = -3*g - 2*t - 59. Let o = g - -13. Suppose 2*y = -4*n - n + 492, o = -2*y - 3*n + 496. Is y composite?
False
Let v(l) = -l**3 - 9*l**2 - 12*l + 3. Suppose -c = 2*u + 15, -2*c + 3*u + 8 = 17. Is v(c) composite?
True
Let w be ((-36)/(-30))/((-6)/20). Let f(q) = 33*q**2 + q - 3. Is f(w) prime?
True
Let n = 46 + -46. Suppose 0 = -5*i + 3*s + 156, n*i = -2*i - 2*s + 72. Is i a composite number?
True
Let z be 10*(-2)/(-4)*1. Suppose 1911 = z*n + a, -n + a = 3*n - 1527. Suppose -b - b = -n. Is b composite?
False
Let v = 192088 - 118025. Is v prime?
False
Let v = -37 + 32. Let g(y) = -430*y - 21. Is g(v) composite?
False
Suppose 0 = 9*t - 30662 - 20665. Is t composite?
True
Suppo