 Is t a prime number?
True
Let x(u) = 7*u + 1137. Is x(26) composite?
False
Suppose 7*h - 23*h + 171456 = 0. Let f = h + -1039. Is f prime?
True
Let p(a) = 1275*a + 16. Suppose o - 6*z - 9 = -5*z, 3 = o + 2*z. Is p(o) a prime number?
True
Let p be (-11)/((-44)/(-8))*(-369)/6. Let a = p - 115. Let k(m) = 19*m**2 - 18*m + 7. Is k(a) prime?
False
Let l = 393962 + 131877. Is l a prime number?
True
Is 11174325/(-15)*(1/4 + 90/(-200)) a prime number?
True
Suppose 2*r - 46*p + 44*p - 38 = 0, 3*r + 4*p - 50 = 0. Suppose 0 = -4*k - 21*l + r*l + 27773, 5*k - l = 34702. Is k composite?
True
Let j be 0 + (1 - -27)*773 - 1. Suppose -7*c - 16*c = -j. Is c prime?
True
Let b(c) = -3*c**2 - 18*c + 9. Let p be b(-6). Suppose p*j - 77137 - 55154 = 0. Is j prime?
True
Let l be (-3)/6 + 258/12. Suppose -10*z + 3*z = -l. Is 1814/6 - 1/z prime?
False
Let q(y) = -3*y**3 - 36*y**2 - 13*y + 307. Is q(-45) a prime number?
False
Suppose 26 = 3*w + 23. Let x(c) = 560*c - w + 3 + 31 - 2. Is x(5) a prime number?
False
Let o = -15827 + 22804. Is o prime?
True
Suppose 2*o + 44716 = -74*p + 80*p, -o + 22348 = 3*p. Is p a prime number?
True
Suppose -3*d - 12*y + 174547 = -8*y, -4*d = -2*y - 232700. Is d a prime number?
False
Suppose -5*r - 129 = -5094. Suppose 47*b - j = 51*b - 14, b + j = 2. Suppose r = b*f - f. Is f prime?
True
Suppose -28 = -12*t + 5*t. Suppose 5*a + 28 = -t*i, 0 = -0*a + 2*a + i + 13. Is 1785 + -1 - (2 + a)/(-6) a prime number?
True
Let t(y) = -2*y**2 + 9*y - 12. Let d be t(5). Let c be -1 - 3 - 2*d. Is (804/c)/(((-6)/(-5))/3) a composite number?
False
Suppose 2*z + 4*v = 1152, 5*z - 4*v - 863 - 1975 = 0. Suppose -3*b - z = -9*b. Let x = b + -16. Is x composite?
False
Suppose 4*i - 3*r + 1003 = 0, 0*r - 5*r = -25. Let b be (0 - (-18)/12)/(3/738). Let c = i + b. Is c a prime number?
False
Let l = 83648 - 16405. Is l prime?
False
Let h(w) = -w**2 - 3*w - 295. Let a(i) = -i + 1. Let s(z) = 3*a(z) - h(z). Let y be s(0). Is (y/3)/(4/6) a prime number?
True
Let r = 592041 + -371750. Is r a prime number?
True
Let h be 8 + (-57)/6 - 3/(-2). Is 14/7 + (h + 0 - -1095) a prime number?
True
Let n be 1/(6/(-4)) + 818016/36. Suppose n = 36*b - 30*b. Is b a composite number?
True
Suppose 2*o - 423010 = 4*t, -4*t - 160005 = -o + 51512. Is o prime?
True
Let g = 16190 + 25167. Suppose -4*x = -2*o - 0*x + 41322, -2*o - 3*x = -g. Is o composite?
True
Let y(o) = 493*o**3 - 2*o + 2. Suppose -3*p - 14 + 20 = 0. Suppose -4 = -2*b - p. Is y(b) composite?
True
Let p be (18 + 4)/(-5*(-2)/65). Let y = 602 + p. Is y a prime number?
False
Suppose -m - 4*a = -375, -5*a + 1728 = 4*m + 184. Suppose -4*l - 5*b + 7041 = 0, l - m = -4*b + 1383. Suppose 7*q - l = 5*q. Is q prime?
True
Let l = 13276 + -785. Is l prime?
True
Let t be ((-1)/2)/(9254/840 + -11). Let w(i) = -3*i + 28. Is w(t) a prime number?
False
Let s(t) = -332*t**3 - 4*t**2 + 269*t + 1892. Is s(-7) composite?
True
Let q(u) = -3*u**3 + 2*u**2 + 25*u - 7. Let f be (-1 - -16)*((-138)/(-18) + -8). Is q(f) composite?
False
Suppose 4*q - 477105 = 239751. Suppose 27*d + 15*d = q. Is d prime?
False
Let b = 67 - 69. Let j(n) = -2587*n - 27. Is j(b) a prime number?
True
Suppose -2*c = -7*c + 25. Let f(a) = 37*a - 3 + 29 - 15 + 3*a. Is f(c) composite?
False
Let c be ((-950)/5)/(-1*(-2)/(-1)). Suppose -5*x - c = -5*f, 4*f = -4*x - 27 - 17. Let o = 52 - x. Is o a composite number?
False
Let m be (12/(-10))/(174/(-580)). Suppose 0*g = -4*n + m*g + 4192, -3*n + 3143 = -4*g. Is n composite?
False
Let c(q) = -q**3 - 6*q**2 - q - 2. Let w be c(-6). Is (2 - w) + 5324 + -2 + 3 prime?
True
Let q(o) = -232*o + 3465. Is q(13) a prime number?
True
Let y = -77 - -83. Suppose -69908 + 25490 = -y*z. Suppose 23*q - 34*q = -z. Is q prime?
True
Suppose 0 = 446*h - 3733056 - 36027296 - 16131030. Is h composite?
True
Let c be 1*-1 - 48/(-12). Suppose 7*g + c*g = -6470. Let t = 1144 + g. Is t a composite number?
True
Let h(i) = 73*i + 15. Let l = 79 - 51. Suppose l = 2*m + 5*m. Is h(m) a prime number?
True
Let n = -521485 + 1157984. Is n a prime number?
True
Let u be (5 - -47814) + -2 + 9. Suppose 5*m = -k + u, -3*m = 2*k - 26818 - 1879. Is m prime?
False
Let m be (0 + -212)*-577*2/8. Suppose -9*d + 91610 = m. Let v = -4844 + d. Is v prime?
False
Suppose 5*w - 13987 = 4363. Suppose 9355 = -5*a + w. Let d = a - -1756. Is d composite?
False
Let o(j) = -j**3 - 5*j**2 + 10*j - 49. Let n be o(-12). Suppose 5*p + 1180 = k + 3530, 933 = 2*p + k. Suppose 0 = 4*a - n - p. Is a a prime number?
False
Is (6/(-10))/(21/(-7225365)) a prime number?
False
Suppose -4*l + 2*p = -44086, 15900 + 6139 = 2*l - 5*p. Suppose u - 3*u - 8 = -3*t, -t + 5*u = 6. Is t/(-6)*l/(-4) a composite number?
True
Let n = 1887215 - 611716. Is n composite?
False
Suppose -40*m + 588 = -692. Suppose 0 = 12*f + m*f - 77572. Is f a composite number?
True
Let k(v) = -17*v + v**2 + 1151 + 2*v**3 + 15*v - 3*v**3. Let m be (0/(-1))/(36/(-12)). Is k(m) composite?
False
Let r(w) = -13*w**3 + 10*w**2 - 29*w + 14. Let z be r(-17). Suppose 31*y - z = 13*y. Is y composite?
True
Suppose 0 = 37*q + 16*q - 1929995. Is q prime?
False
Suppose 2*r - 2 = -4*c, -4*c + 3*c - 1 = 2*r. Let m be (1/c)/((-1)/(-3)). Suppose 4*i - z - 1793 = 0, m*z + 1338 = 3*i - 0*z. Is i a composite number?
False
Let r(d) = -d**3 + 97*d**2 - 93*d - 300. Let n be r(96). Let b(p) be the first derivative of 34*p**3/3 - 3*p**2/2 + 23*p - 1. Is b(n) composite?
True
Suppose -19 = -5*m + 1. Suppose 7 = 3*b - m*w - 41, 0 = -5*b + w + 63. Suppose 16*u = b*u + 1780. Is u a composite number?
True
Suppose 173838 + 87568 = g - 3*y, -5*g - 4*y + 1306973 = 0. Is g prime?
False
Let t(z) = -z**3 - 22*z**2 + 165*z + 111. Is t(-50) composite?
False
Let s be (-13196)/(-1)*-1 + -75 + 74. Let r = -9118 - s. Is r composite?
False
Suppose 60*j = 65*j - 32295. Suppose -v + 1817 = -u - 4639, -4*u - j = -v. Is v a prime number?
False
Suppose -5*h - w + 453612 = 0, -14*h + 453600 = -9*h + 5*w. Is h a prime number?
False
Let j = -628 + 311. Let o = j - -1344. Is o prime?
False
Suppose -34857 - 61857 = 183*s - 806205. Is s a prime number?
True
Let f(r) = -55*r + 6. Suppose 0 = 2*k - 9*k - 14. Let p be f(k). Let v = 15 + p. Is v a prime number?
True
Let l(g) = g**2 + 20 + g**3 + 2 - 29*g + 9*g**2 + 3*g**2. Let v be l(-15). Suppose v*u = -u + 2696. Is u a prime number?
True
Let o = 136866 + -95735. Is o a composite number?
False
Let h = 33 + -45. Let o = -8 - h. Suppose -4*v - 16 = 0, -f + 0*f + o*v = -22. Is f composite?
True
Suppose 123 = 5*h - 2. Suppose -x + 6*x = h. Suppose x*m + m = 402. Is m a composite number?
False
Suppose -5*s + 12 = s. Suppose 0 = s*w - 6*w - 4256. Is w/(-20) + (-1)/5 composite?
False
Let f(c) = -7*c**2 - 7*c**2 + 4 - 7061*c + 7010*c - 28*c**3. Is f(-5) a prime number?
False
Let a(v) = v**3 - v + 13. Let d be a(0). Let p(o) = -o + o - 2 + d*o. Is p(7) prime?
True
Let k be 1 - (3 + -4)/1. Suppose -4*o = k*o + 2340. Let t = o + 1039. Is t a prime number?
False
Suppose 4518628 = 172*r - 132*r - 841732. Is r a prime number?
False
Let q = 38 + -38. Suppose -4*k + 12238 = -0*i + 2*i, -2*i - k + 12229 = q. Is i prime?
True
Let m(u) = -u**3 + 80*u**2 + 243*u + 409. Is m(54) prime?
False
Let w(h) = h**2 + 2*h + 623. Let y(g) = -g**2 + 2*g + 5. Let v be y(4). Let m be (v - -5) + (-1 - 1). Is w(m) prime?
False
Let t = 281 + -277. Suppose -3*a + 7188 = a + t*k, 0 = 2*a - k - 3606. Is a composite?
False
Let c(k) be the second derivative of k**5/20 + 5*k**4/12 + 2*k**3/3 - 7*k**2/2 - 9*k. Let t be c(5). Is t - (0 - (5 - 1)) a composite number?
True
Is ((-36)/8)/(-9)*(4081 - 3) a prime number?
True
Let g(b) = 3*b**2 + 5*b + 4. Let f be g(-5). Suppose f*d + 5676 = 50*d. Let v = 2692 + d. Is v a prime number?
False
Let i(h) = -h**2 + 4. Let c = 8 - 10. Let y be i(c). Suppose y = g - 986 - 131. Is g prime?
True
Suppose -3*z = 4*s - 85187, 5*z - 141989 = -11*s + 15*s. Is z composite?
True
Suppose -5*j = 4*d + 45, 3*d = 7*d. Let f(i) = -21*i**2 - 12*i + 1. Let k be f(j). Let h = k - -2481. Is h a prime number?
False
Suppose 12 + 15 = -4*f + 5*o, -3*o - 3 = 4*f. Is (4965/(-9))/5*f composite?
False
Suppose -731*y + 724*y = -84966. Suppose 5*x = -2*i + 40009, 4*x - 44138 = -4*i - y. Is x a composite number?
True
Let j = 756783 + -280672. Is j a composite number?
Fa