-0*d + 31*d - a. Is d prime?
True
Is -2*14/(-70)*258410/4 a prime number?
True
Suppose -4*d + 3*z = -6*d - 28, -5*d - 24 = -4*z. Is 2 - (3 + d + -6010) a prime number?
False
Suppose -19*t + 1335 = -603. Let c = t + -99. Suppose -c*s - 1078 - 3585 = -2*i, 0 = -i + 4*s + 2329. Is i a prime number?
True
Let b be (1710/(-57))/(6/(-476)). Suppose 8*t = b + 2284. Is t a prime number?
False
Let d = 34572 + -12031. Is d a prime number?
True
Suppose 0 = 3*p + p - 12. Suppose -2*x - 4*k - 50 = 0, -5*k + 122 = -3*x + p. Is (-9927)/x + (-4)/(-22) composite?
True
Suppose 15135 = 3*u - 2*z - 6236, z - 28480 = -4*u. Is u prime?
True
Let l = -38 - -44. Is 10145/l + 3/18 a composite number?
True
Let h = 2220723 + -1329485. Is h a composite number?
True
Let j(x) = 66*x**3 - 3*x**2 + 78*x - 30. Is j(7) composite?
True
Suppose 5*i - 3549183 = -2*c, -2*c + 2341813 = 3*i + 212304. Is i a prime number?
False
Suppose -10*q = -12*q + 10. Suppose 4*o + q = 3*o + 2*s, -2*o + s + 5 = 0. Suppose -5*t + 1243 = -5*z - 847, o*t = -5*z + 2100. Is t a composite number?
False
Let x be (-36)/(-21) - (-2)/7. Let u(p) = 375 + 26*p - 129 - 124 - 123. Is u(x) composite?
True
Suppose -3*t + 39*m + 190293 = 35*m, 0 = t - 3*m - 63421. Is t prime?
True
Let h = 27269 - -7332. Is h prime?
False
Let p be (3 - 0) + 0 + 5. Let v be ((-2)/p*-8)/((-2)/691). Let q = 6 - v. Is q a prime number?
False
Suppose -3*m - 23 + 8 = 0. Let q be m + (-26)/(-6) + (-290)/6. Is (1/(-2)*-2)/((-1)/q) a prime number?
False
Let g(s) = -s**3 + 4*s**2 + s - 1. Let m be g(4). Let p be 5/5 + 4 + m. Suppose 4*n - 3*u = 1741, -5*u = -n - p*u + 454. Is n a composite number?
False
Is (-1)/(8/(-17626)) + 18/(-72) a prime number?
True
Let i(p) = -p**3 - 7*p**2 + 7*p + 1. Let f be i(1). Suppose -44 = -5*b - 24, f = 2*r - 3*b - 4194. Is r prime?
False
Let q = 1045 - 517. Suppose 2*m + 1062 = -4*l - 0*l, -q = m + l. Let c = m - -778. Is c composite?
True
Let s = 1091428 - 733925. Is s a composite number?
False
Is ((-5)/(60/(-63)))/((-117)/(-4750044)) a composite number?
True
Suppose 3*t + 3*m - 29 = 5*m, 4*t + 5*m = 8. Is (t - 2)/(13/17693) a prime number?
False
Let y be (-2751)/(-161) - 2/23. Suppose y*j + 37652 = 21*j. Is j prime?
True
Let w(z) = 2*z**2 - 16*z - 10. Let m be w(7). Let a be (-64)/m - (-4)/(-6). Suppose -b = b - a, -2*b + 1933 = o. Is o a prime number?
True
Suppose 0*n + v = n - 4460, -3*n + 4*v + 13375 = 0. Suppose -n = -74*q + 69*q. Is q composite?
True
Let x = 14110 + 24391. Is x composite?
False
Suppose d = -2*o + 834, 81*o - 79*o = -4. Suppose -35*m = -37*m + d. Is m composite?
False
Suppose -1122 = 11*s + 2112. Is 3/1*(-937174)/s composite?
True
Let l be -6 + (-875)/1 + -6. Is (-1 + 3)*l/(-2) a composite number?
False
Let c be ((-20)/(-25))/(2/30*3). Is 5654*1*c*(-2)/(-16) prime?
False
Let d(r) be the third derivative of r**6/40 + 11*r**5/60 - 3*r**4/2 - 25*r**3/6 - 92*r**2 + 1. Is d(11) a prime number?
True
Suppose 71406 = -27*c + 30*c. Suppose j = -3*h + c + 5034, -5*h + 48080 = -5*j. Is h composite?
False
Suppose 0 = p - 3*i - 58821 - 12349, 5*p + i = 355802. Is p a prime number?
True
Let x = -28182 - -52913. Is x prime?
False
Suppose -2*d + 6*d = 332. Suppose g - 293 = -4*m + 20, -m - 5*g = -d. Is 11/(-13) - -1 - (-72450)/m a prime number?
True
Let k(c) = 2*c**3 - 6*c**2 - 19*c + 25. Suppose 78 = 8*g + 30. Is k(g) composite?
False
Let h = 20 + -103. Let d = 470 - 296. Let l = d + h. Is l prime?
False
Let i(a) = 3255*a**2 + 24*a + 4. Let q be i(5). Suppose -6*y + q = -9983. Is y prime?
False
Let w(s) = 8623*s**2 + 6*s - 17. Let r be w(4). Suppose 72*d = 67*d + r. Is d composite?
True
Let d be (-1 - -1) + (2 - -5) + -2. Suppose -7*t + 1838 = 5*h - d*t, 4*h - 1452 = 3*t. Suppose 2*x + 5*l - 387 - h = 0, -x = -4*l - 409. Is x composite?
False
Suppose 0 = -543*n + 212*n + 25041203 + 107606054. Is n composite?
True
Let i be (-4 + -1)*32/80. Let b(w) = -w**3 + w. Let y(q) = -7*q**2 + 6*q + 10. Let u(f) = i*b(f) - y(f). Is u(9) composite?
True
Suppose 20 = 5*y, -2*o + 4*o - 4*y - 6 = 0. Let c(v) = 21*v**2 + 75*v - 59. Let t(a) = 4*a**2 + 15*a - 12. Let l(f) = o*t(f) - 2*c(f). Is l(-15) a prime number?
True
Suppose 2*r - 88 = 4. Let s = 44 - r. Is 7203/4 + s/(-8) composite?
False
Is (8694452/8)/13*(3 + (1 - 2)) prime?
False
Suppose -5*z + 42 = -4*y, -2*z - 5*y = -z - 20. Suppose -z*r - 11623 = -65333. Is r composite?
True
Let w(l) = l**3 + 16*l**2 + 18*l + 36. Suppose 0 = -9*n + 24 + 12. Suppose -n*u - 5*u - 99 = 0. Is w(u) composite?
False
Let b = 11464 + -7021. Let m = b - 2456. Suppose m + 11 = 4*c + 2*r, 2*r = -c + 501. Is c composite?
False
Let l be 7*(-1 + 12/7). Suppose l*f = 11 + 9. Suppose -v = 3*h - 506, -3*h + 511 = -f*v - 0*v. Is h a composite number?
True
Let k be (12/(-30)*233)/((-1)/70). Let j = 9901 - k. Is j a composite number?
True
Let y(k) = 65*k**2 - 14*k + 47. Let a(s) = s + 27. Let q be a(-23). Is y(q) a composite number?
False
Suppose 36*a + 120 = 40*a. Let r = 54 - a. Let m = r - -33. Is m a prime number?
False
Let x(l) be the first derivative of 5*l**4/12 - l**3 - 2*l**2 - 11*l - 41. Let h(q) be the first derivative of x(q). Is h(5) a composite number?
True
Suppose 3*h - 127037 = -5*z, -25*h + 16*h = -3*z - 381255. Is h a composite number?
False
Let l(o) = -65*o - 49. Let c be (-2 - (-5)/2) + (-18)/4. Is l(c) prime?
True
Suppose 100 = -6*u + 11*u. Suppose 8 = -4*t + u. Suppose -87 = -3*w + 2*i, -t*w + 108 = 2*i + 3*i. Is w prime?
True
Suppose 6*d = 2*d - 32. Is 12/d + (5211/2 - -1) prime?
False
Let i(q) = -q**2 - 5*q + 1. Let k be i(-4). Suppose -3*a + k = -8*a, 5*g + 41 = -a. Is ((-4)/6)/(1/(4452/g)) composite?
True
Is 24 - 17 - 1461/(1 + (-57)/54) prime?
False
Let s(u) = u**2 + 13*u + 13. Let y be s(-12). Let z be (y + (2 - (-8)/(-4)))*529. Suppose t + i - z = 0, 0 = 3*t - i + 2*i - 1583. Is t composite?
True
Let f(p) = -p**3 - p**2 + 1. Let b(s) = -4*s**3 - 9*s**2 + 41*s + 134. Let w(d) = b(d) - 3*f(d). Is w(-25) prime?
False
Is (8/6)/(69/((-47044683)/(-14))) prime?
False
Suppose n + 24 = 17. Let k(c) = 28*c**2 - 7*c - 60. Is k(n) composite?
False
Suppose 3*y = -2*r + 28970 + 41538, -4*y = 3*r - 105761. Is r prime?
True
Suppose -5*j + 5 = 0, -3*q + 15*j = 10*j - 10. Suppose 5*y + 10905 = 5*d - 0*y, 4*y + 10903 = q*d. Is d a prime number?
True
Let o be 16/(-14)*42/(-12). Suppose -y - 5752 = -4*t + 24227, -o*t = -5*y - 29975. Is t composite?
True
Let l be (-72)/60*(-56 + 1/1). Let d = l + -62. Suppose -2 - 90 = -d*w - 2*u, -4*w = 3*u - 92. Is w a prime number?
True
Suppose -3 = -d - 0*d. Suppose -d*b = -3*a + 8*a - 3, 3*a + 3 = -b. Is (b/3 + -3)*-149 composite?
False
Let u(m) = 383*m**3 + 80*m**2 - 14*m + 159. Is u(14) prime?
False
Is (-32)/(-120)*-5 + 17473360/48 composite?
False
Let r = 31 + 29. Let z = -62 + r. Let f(n) = -490*n + 11. Is f(z) a composite number?
False
Is (-2288976)/(-12) + 13 + -8 a prime number?
True
Let x(d) = 1907*d + 1910. Is x(69) composite?
False
Let d = 1303679 + -767638. Is d a prime number?
False
Suppose -3*u + 8*u = 0. Suppose 14*d - 8*d - 34386 = u. Is d composite?
True
Let n be (-19)/(-95) - (18/(-10) - -2). Suppose n*g = -5*a - 2*g + 1429, a = -4*g + 275. Is a prime?
False
Let f be (85/(-10) - -7)/(3/(-86)). Let i = f - 38. Suppose i*o + 3*g = 8897, -o + 5*g + 1773 = 4*g. Is o a prime number?
True
Let x(z) = -7*z**3 + 3*z**2 + 3*z + 2. Let b be x(-1). Is 354*5/30*b + 2 a composite number?
True
Suppose -4*n + 4*t = 0, 2*t = 11*n - 8*n + 4. Suppose -5 = y - 0. Is ((-2)/n)/(y/(-10310) - 0) prime?
True
Let f = -4771 - 5285. Is (7/42)/((-4)/f) prime?
True
Let b(u) = -84*u + 103. Let k(v) = -v. Let o(l) = -b(l) + 6*k(l). Is o(8) a prime number?
True
Suppose -16*h - 51 = -19. Is (6349/(-2))/(9/h + 4) prime?
False
Let p = 490 + -490. Suppose u + 2*n = 13531, 4*u - n - 54088 = -p*n. Is u prime?
True
Suppose -46911 = 22*l - 25*l. Suppose 4*w + 5*y = 17109, 1432 + l = 4*w - 3*y. Is w prime?
True
Suppose 2*w = w. Suppose -6285 = 25*r - 132285. Suppose w = -2*o + 5*s + 2508, -4*o + 0*o - 2*s + r = 0. Is o a composite number?
False
Let l(u) = 179486*u - 2997. Is l(8) a composite number?
False
Let x = 145533 + -10952. Is x composite?
False
Let i = 184437 + -123106. Is i prime?
True
Let s(z) = 3*z**3 + 3*z**2 + 4*z + 1. Let g be s(-3). Let w = -62 - g. Suppose