Is d a prime number?
True
Suppose 236*a = -405658546 + 1331143638. Is a prime?
False
Let c = 178311 - 122950. Suppose 5*u + 4*t - 3272 = c, 0 = -5*u - t + 58642. Is u a prime number?
False
Let q be (5 - (-69)/(-15)) + 2582/(-5). Let g = q + 10815. Is g a prime number?
False
Let a(o) = o**2 + 12*o + 35. Let q be a(-4). Suppose q*m - 73464 = -3*d, d = -7 + 2. Is m a composite number?
True
Let u = -245810 - -380667. Is u a prime number?
True
Let i(t) be the second derivative of 7*t + 0 + 2/3*t**3 + 82/3*t**4 - 1/2*t**2. Is i(1) a prime number?
True
Suppose 0*g = -2*g + 18. Suppose 24 = 8*p - g*p. Is (1842/4)/(-3 - 90/p) a composite number?
True
Suppose -7*q + 37 = 51. Is (6127/55)/(q/(-10)) composite?
False
Suppose 0 = -0*c + 3*c + 3*g + 9621, -2*g + 16035 = -5*c. Let q = 8865 + c. Suppose 31*i + q = 37*i. Is i a prime number?
False
Suppose -l - 2545 = -739. Let k = l - -2861. Is k prime?
False
Let u = -134 - -129. Is (15/9)/u*2742/(-2) a composite number?
False
Let u(c) = -c**3 - c**2 - 1. Let w(r) = 18639*r**3 + 5*r**2 + 5*r - 3. Let b(n) = 3*u(n) + w(n). Is b(1) composite?
False
Suppose 5*i = 2*a - 10837, 5*a - 12927 - 14248 = -4*i. Suppose o = 4*g - 11256, 2*o + 14070 = 3*g + 2*g. Let y = a - g. Is y a composite number?
False
Let w(g) = g**2 + 8*g + 15. Let l(y) = -3*y**2 - 5*y - 4. Let s be l(-2). Let v be w(s). Suppose 2*u - 4*k - k - 273 = 0, -v*k + 15 = 0. Is u composite?
False
Let u be (-4)/(-6) - 11/((-330)/67090). Let q = -12 + 12. Suppose f = -q*f + u. Is f composite?
False
Let s(t) = -323*t - 31. Suppose 0 = 10*k + 200 + 470. Let w = -77 - k. Is s(w) a composite number?
True
Is -1599035*18/(-30) + -4 composite?
True
Let q(i) = -2*i + 2. Let l be q(3). Let z(k) = -63*k + 26. Let h be z(l). Suppose 0 = -72*s + 73*s - h. Is s a composite number?
True
Let k(d) = 50192*d - 13. Let f be k(10). Suppose -42*j + f = 7*j. Is j composite?
False
Let i be 314 + -21 - 1*4. Let p = i + -535. Let q = p - -457. Is q composite?
False
Suppose 0 = -5*r - 4*a - 53 + 13, -9 = r + a. Let h be ((-4)/(-8) - 1)*r. Is h/(-3 - 1) + 7521/6 prime?
False
Let g be 196/(-147) - (-26)/6. Suppose 0 = 4*x - g*v - 35652, 6*x = 2*x - 5*v + 35652. Is x a composite number?
True
Suppose -33*o - 310667 = -70*o + 1196972. Is o prime?
False
Let j(f) = -20*f + 9. Let g be j(-18). Suppose -373*w + g*w + 44108 = 0. Is w a prime number?
True
Let j(k) = 7280*k**2 - 2. Let w be j(2). Suppose 3*s - 15214 - 28478 = a, -4*a - w = -2*s. Suppose 1225 = 10*b - s. Is b composite?
False
Let m(g) = 2*g - 14. Let h(p) = p**2 + 2*p - 7. Let u be h(3). Let r be m(u). Is ((-15)/(-6))/(r/1532) a composite number?
True
Let y = -369 + 374. Suppose -y*n - 350505 = -50*n. Is n a prime number?
True
Let w(f) = -20*f**3 + 11*f - 83. Let x(i) = -7*i**3 + 4*i - 28. Let s(j) = -6*w(j) + 17*x(j). Let u be s(0). Suppose -3*k = -53 - u. Is k prime?
False
Let o = -6257 - -3085. Let b = -1521 - o. Suppose 2*w + b = 3*q, -1549 + 470 = -2*q - 3*w. Is q a prime number?
True
Is 74639 + -3 + -3 + 0*3/9 a composite number?
True
Suppose -2*z + 8 = -4*k - 2, -4*k = -z + 5. Let m be k*((-80)/15 - -5). Suppose 5*t - t - 5*c = 3589, m = 2*t - 5*c - 1787. Is t a prime number?
False
Is 63164766/105 + 220/(-100) composite?
True
Let q = -66 - -68. Suppose q*t - 2*o + 7732 = 0, 14 = -5*o - 6. Let v = 5801 + t. Is v a prime number?
True
Let r(p) = -4*p**3 + 4*p**2 - 13*p - 24. Let f be r(-8). Let x = -1297 + f. Is x a composite number?
False
Let l = 3306 - -5969. Let w = l - 5595. Suppose -7*f + 618 = -w. Is f prime?
False
Let d(g) = -g**2 + 15*g. Let o be d(15). Is (21 - 22)*(-2635 + (o - -2)) a prime number?
True
Let y(n) = -5*n - 41. Let s(q) = 4*q + 42. Let f(d) = -4*s(d) - 3*y(d). Let l be f(-14). Let a = l + 37. Is a prime?
False
Suppose 17*d + 17*d + 268538 = 36*d. Is d a prime number?
True
Is (35077318/(-951))/(4/(-6)) a composite number?
True
Let o(c) = 5364*c**3 + 7*c**2 - 8*c + 28. Is o(3) a composite number?
True
Suppose 86*l = 79*l + 21. Is 3463955/385 + ((-18)/21)/l composite?
True
Let g(x) = -1 - 19*x + 11 + 92*x**2 - 103*x + 9 - 6. Is g(-19) a composite number?
False
Suppose -2*p = 15 - 17, 4 = 4*d - 4*p. Suppose u = -h + 348, 0 = -2*u - 2*h - d*h + 700. Is u composite?
True
Suppose -3*t = -0*f + 5*f - 97, -5*t + 135 = 3*f. Suppose -58*i = -64*i + t. Is ((-6)/(-9))/(i/3084) prime?
False
Suppose -7185 = 6*v + 9*v. Let j = 4186 + v. Is j prime?
False
Let w(f) = 6*f**2 - 21*f + 27. Let r(p) = 19*p**2 - 62*p + 80. Let q(v) = -2*r(v) + 7*w(v). Is q(32) a composite number?
False
Let x(j) = 13*j + 9. Let y = -13 - -8. Let s = 11 + y. Is x(s) prime?
False
Suppose -9*g + 2*r = -13*g + 69750, g = 4*r + 17415. Is g/4 + -3 - 10/(-8) a prime number?
True
Let g(t) = t**2 + 4*t - 31. Let a be g(8). Suppose a*w - 68*w = -4917. Is w prime?
False
Let s = 213 - 219. Is ((-6826)/s)/(6 - 187/33) a composite number?
False
Let s(d) = -530*d - 67. Let l(g) = -g**3 + 13*g**2 + 14*g - 7. Let c be l(14). Is s(c) prime?
True
Let o be (-270)/42 - (-30)/70. Is 17549 - (4/o)/(6/18) a composite number?
False
Let i(h) = -8*h + 66. Let c(n) = -n - 2. Let u(z) = -4*c(z) - i(z). Let a be u(5). Suppose -d = -5*f + 6310, 5*f - 8023 = a*d - 1708. Is f a composite number?
True
Let y = 4 + -6. Let w be (y - -3)*(2 + -2). Suppose w = 25*n - 23*n - 694. Is n prime?
True
Suppose -w + 351 = 2*k - 2512, w - 7159 = -5*k. Suppose 0 = -3*f - 5*g + 4324, -g + 4*g + k = f. Is f prime?
False
Suppose 5*j - 3*w = 1214068, 2*w - 67137 = -4*j + 904113. Is j composite?
False
Let y = -43 + 45. Suppose -6 = -2*u - y. Is (-236)/(-8)*1*u + -2 a prime number?
False
Is (-107)/((-102)/(-42) - 3 - 680/(-1288)) a prime number?
False
Let p be ((-2)/5)/((-1)/(-5)). Let v = -3580 - -3562. Is (-453)/p - (v/4)/(-9) a prime number?
False
Suppose 4*b + 5*x = -b + 35, b - x - 11 = 0. Suppose 0 = 7*d - b*d + 10498. Is d a composite number?
True
Let q(s) = -2018*s - 396. Let a(z) = -3027*z - 595. Let h(f) = -5*a(f) + 8*q(f). Is h(-10) prime?
False
Suppose 6*s + 2*g - 85 = s, 0 = s + 3*g - 4. Suppose -21929 = -5*p - s*v + 15*v, -2*p + 8774 = 4*v. Is p a prime number?
False
Is 7*4/(-8) + (-4049290)/(-28) composite?
True
Suppose 4*n + 5*t + 524 = 198, -n = -3*t + 90. Let z be 1 - (-305 + 7 + 0). Let i = n + z. Is i composite?
True
Let l be (-196)/24 - 1/(-6). Let z(h) = h + 11. Let a be z(-6). Is l/(-100)*a - (-9743)/5 a composite number?
False
Let x = 151940 + -44967. Is x prime?
False
Let v(c) = -c + 32. Let b be v(7). Suppose -b*s = -11*s - 6902. Is s a prime number?
False
Let h be ((-8)/6)/((-12)/54). Let l(a) = a**2 - 30*a + 24. Let w(z) = -3*z**2 + 91*z - 72. Let r(u) = h*w(u) + 17*l(u). Is r(21) a prime number?
False
Let y(q) = -q**3 + 20*q**2 - 34*q - 26. Let p be y(18). Is 3506*((-1)/4*p - -6) prime?
False
Let z(g) = 23*g**3 - 6*g**2 - 9*g + 25. Let u = 425 - 420. Is z(u) a prime number?
False
Let i(s) = 68*s**3 + 24*s**2 - 18*s - 73. Is i(15) prime?
False
Suppose 2*f = 6*f - 36. Let t(h) = -301*h - 49. Let n(y) = 201*y + 34. Let o(l) = -7*n(l) - 5*t(l). Is o(f) prime?
False
Let o(w) = 21*w**2 - 10*w + 12. Let n(f) = -f**2 - 22*f - 96. Let b be n(-7). Is o(b) composite?
True
Let s(b) = 61*b - 56. Let n be s(1). Suppose n*w + 4014 = 3*p, -17*p + 6703 = -12*p - 4*w. Is p a prime number?
False
Suppose -13*r = -22*r - 144. Let o = r - -27. Is (-2 - o)*6/((-42)/511) prime?
False
Let a(f) = 17*f - 224. Let w be a(13). Is ((-5)/10 - w/2)*2633 composite?
False
Let a(v) = 92610*v**2 + 7*v - 67. Let l be a(11). Is (-3)/(-11) - l/(-407) a composite number?
True
Let a = 3725 - 1072. Let l = 4134 - a. Is l a composite number?
False
Let r = 36125 - -3554. Is r a composite number?
False
Let t = -147 - -147. Is (t - -13)/((-25)/(-175)) composite?
True
Suppose -9159 = 16*a + 11977. Let f = -543 - a. Is f composite?
True
Let t = 34143 - 19711. Suppose 5*z - t = 4*z. Suppose 4*j - 3*u = -6*u + 11545, 0 = 5*j + 3*u - z. Is j composite?
False
Let z(b) = -b**3 - 7*b**2 - 6*b + 6. Let n be z(-6). Suppose n*r - 17 = 43. Suppose 0 = r*t - 8*t - 1222. Is t composite?
True
Suppose -2*y - 4*t = 4, y = 3*y - t - 11. Suppose -s + 14 = 3*z, 3*z + 2*z = -y*s + 28. Suppose 0 = -z*w + 8802 - 86. Is w prime?
True
Is ((-1027170)/(-54) + -13)/(1 - (-3)/(-9)) composite?
False
Suppose 12*v + 29*v = 602659. Is v a 