 Is f prime?
False
Suppose 90 = 5*n + 5*x + 25, 0 = 3*n + 5*x - 45. Suppose 0 = -2*t + n + 82. Is t a composite number?
True
Suppose -2*k + 24714 = 5*o, k - 2*o - 18028 = -5653. Is k a composite number?
True
Suppose 31*i - 30*i - 7273 = -4*m, 2*m - 10 = 0. Is i prime?
True
Let o = 8930 - 6330. Suppose x - 5204 = -3*x + 3*q, 2*x = 2*q + o. Is 12/20 - x/(-10) prime?
True
Let j = 51606 + -36823. Is j prime?
True
Suppose 2*x = 4*x + 2*a - 11986, -3*a - 11986 = -2*x. Is x a composite number?
True
Let s = 100648 + -59379. Is s a composite number?
False
Suppose 0 = 111*b - 595864 + 43195. Is b a prime number?
False
Let u = -1353 - -941. Let n = u + 603. Is n prime?
True
Suppose 0*o + 4*o - 62036 = 0. Is o a composite number?
True
Let d(z) = 230*z + 3. Let r be d(-5). Let b(h) = 88*h - 112. Let m be b(-8). Let y = m - r. Is y a prime number?
True
Is (-86)/172*-2*3109 a prime number?
True
Let m(i) be the third derivative of 3*i**2 + 1/3*i**4 + 0 + 1/2*i**3 + 0*i. Is m(7) a prime number?
True
Suppose 0 = -11*b + 4*b + 14. Suppose -n - b*n = -318. Is n a prime number?
False
Let l = -39 + 46. Let g(h) = 2*h + 23. Is g(l) a composite number?
False
Let n(f) = -142*f + 163. Is n(-12) composite?
False
Let s = -28 + 27. Is (4/12)/(s/(-1491)) prime?
False
Suppose -10 = -5*a, -4*a + 653 = 5*w - 5. Is (-2)/(-10) - (-392444)/w prime?
True
Let u be -2 + (84 - -3 - -1). Let h = 237 + u. Is h prime?
False
Let c be 19 + 1/(-3 - -2). Suppose 0 = -u + 2 + c. Let z = 97 - u. Is z prime?
False
Let j(d) = -4*d + 1. Let r be j(2). Let u(i) = -3*i**3 - 10*i**2 - 2336. Let y(m) = -m**3 - 3*m**2 - 779. Let x(q) = r*y(q) + 2*u(q). Is x(0) a prime number?
False
Suppose 0 = -o - 2*o + 6. Suppose o*d + 5*j = -12 - 5, 0 = 5*d + 2*j - 10. Is (-1899)/(-36) - (-1)/d a prime number?
True
Suppose -r = -3*r + 5*r. Suppose k - 2*i - 21 = 168, 3*k - 2*i - 571 = r. Is k a composite number?
False
Let b = 35 + -33. Is (1 - (1 - b)) + 2 composite?
True
Suppose 2*o = -0*d - 2*d + 1772, d - 4*o = 891. Is d composite?
False
Let t(k) = -k + 17. Let v be t(16). Suppose -i = -v - 1. Suppose -i*x - 4 = 2, 0 = -4*s + 3*x + 853. Is s prime?
True
Let v = 3162 + -829. Is v composite?
False
Suppose -3*f = -v - 3, 0*f = -5*v - 3*f - 33. Let y be (-1)/((v/326)/3). Is (y - 1) + 16/4 a composite number?
True
Let h(a) = a - 19. Let b be h(19). Suppose 4*d = 5*t + 101, 3*t + b*t = -15. Is d prime?
True
Let y be 909 - 11 - 6/2*1. Let i = -266 + y. Is i prime?
False
Let a(d) = -2024*d - 27. Is a(-20) a prime number?
False
Let f(s) = s**3 - 6*s**2 + 4*s + 10. Let q be f(5). Let r(b) = 7*b + 6 - 2*b**2 - 8*b**2 + 12*b**2. Is r(q) composite?
True
Suppose 5*h + 2*s = 40427 + 2072, 4*h + 3*s - 33995 = 0. Is h a prime number?
True
Is (30/(-25))/(6/(-15)) - -13638 composite?
True
Let d(a) = 21*a**2 - 4*a - 3. Let x = -1 + -1. Let n be d(x). Suppose -r = -2*r + n. Is r composite?
False
Suppose -72 + 189 = 5*k + 4*y, 0 = y + 2. Suppose 5*i - 2102 = 723. Suppose 5*r = k, -g - g + 5*r + i = 0. Is g composite?
True
Let y(b) = -b**3 - b**2 - b. Let d be y(1). Is 7090*1/(-1 - d) prime?
False
Suppose -4*f + f = -2*k - 49, 5*f + 2*k - 55 = 0. Suppose -f*v + 18*v = 1010. Is v prime?
False
Let m(q) be the second derivative of 23*q**3/6 - 2*q**2 - q. Let f(c) = -c**3 + 4*c**2 - 2*c. Let y be f(3). Is m(y) composite?
True
Suppose -z = -5, 0 = -3*v - 4*z - 330 - 232. Let m be 2/(((-16)/v)/4). Let n = m - 10. Is n a prime number?
False
Let r be 4/7*(6 - -1). Suppose 0*m + 4*m - 781 = 3*y, 0 = y + r*m + 271. Let w = y - -498. Is w composite?
True
Suppose -833 = 4*p + 1387. Let v = p + 1214. Is v prime?
True
Suppose -161*k + 164*k - 67737 = 0. Is k prime?
False
Suppose -88 = -10*z + 172. Is (-2)/(-13) + 2518/z a prime number?
True
Let u(g) = g**2 - 7*g + 21. Let a = 101 - 94. Is u(a) a prime number?
False
Let t(m) = -12*m + 117. Is t(-22) a prime number?
False
Suppose 0*w - 30 = -3*w. Is (-6)/w - (-1504)/40 a prime number?
True
Is 1099 + 0/(-7 - -2) prime?
False
Let r(i) = 67*i + 37. Let l be r(-16). Let m = l + 1720. Is m prime?
False
Suppose -5*p + 10*p - o = 29940, 5*o - 23981 = -4*p. Is p composite?
True
Let c(m) = -m + 15. Let g be c(8). Suppose -g = 2*x - p, 2*x - 7*x + 3*p - 17 = 0. Let f(t) = -18*t - 5. Is f(x) a prime number?
True
Let t = -2 + 4. Suppose -t*r = 4, -124 = 5*g + r - 7. Let w = g - -72. Is w a composite number?
True
Suppose -28 = -20*w + 18*w. Let k = -26 + w. Is ((-920)/12)/(8/k) prime?
False
Let j be 6 + 0 + (-6)/(-6). Let i(k) = -k**3 + 7*k**2 - 5*k + 2. Let s be i(j). Let q = s + 194. Is q a prime number?
False
Let v(d) = 2*d**3 - 5*d**2 + 40*d - 101. Is v(18) composite?
False
Let w = -4938 - -7769. Is w prime?
False
Suppose 5*s - 65 = 3*x - 1, -34 = -2*s - 3*x. Let n be (4/(-6))/(s/21). Is 3/(n + (-376)/(-364)) a prime number?
False
Suppose -3*a - 4*z = -41335, -6*z + 2*z = 2*a - 27554. Is a a composite number?
False
Suppose z - 2*v = 75, z + 4*v - 63 = -0*v. Is z/(((-4)/44)/(-1)) composite?
True
Suppose -46 - 528 = 7*v. Suppose -s = -3*d + 109, -5*d - 2*s - 2*s = -193. Let w = d - v. Is w a composite number?
True
Suppose -236028 = -19*o - 19219. Is o composite?
False
Is (-2)/15 + (-11532698)/(-510) a composite number?
False
Suppose -f - 5*f = 144. Let y = -19 - f. Suppose 5*x + 113 - 1043 = y*s, -377 = -2*x + s. Is x a prime number?
True
Let x = 3949 - -990. Is x composite?
True
Suppose -4*p = -2*y + 3 + 41, -2*y - 5*p = 1. Suppose -y = -2*l + 62. Is l prime?
True
Is -6 - -2539 - (1 + 2 - 3) a composite number?
True
Is -5402*(24/(-16))/((-18)/(-6)) prime?
False
Suppose -j + 5541 = 2*j. Is j a prime number?
True
Suppose -4*x + 3*u + 758 = -14661, -11567 = -3*x + 5*u. Let s = -2595 + x. Is s a prime number?
True
Suppose -16*x + 9912 = 2728. Is x a prime number?
True
Suppose 16*d - 60256 = -16*d. Is d composite?
True
Let b be (-23 - 1)*(-2 - (-805)/3). Is ((2 - -1)/6)/((-4)/b) prime?
False
Let y(q) = -q**3 + 12*q**2 + 55*q + 5. Is y(-6) a composite number?
True
Let o(a) = a**3 - 2*a**2 - 2*a + 1745. Is o(0) a composite number?
True
Let t(a) = a**2 - 6*a - 6. Let c be t(8). Suppose -h + c = 4*h. Suppose 3*x - 13 = h*x. Is x a prime number?
True
Let x = 920 + -916. Let w = 2 + 0. Suppose x*h - 874 = w*h. Is h a prime number?
False
Suppose -3*w = -5*b + 33080 + 10226, w - 25992 = -3*b. Is b a prime number?
True
Let v be 8/(-44) - 145/(-11). Suppose v*a + 165 = 14*a. Suppose -4*g + a = g. Is g a composite number?
True
Let t(g) = -g**3 - 7*g**2 + 7*g - 9. Let b be ((-12)/8)/((-4)/(-24)). Let r(a) = a**3 + 8*a**2 - 7*a + 8. Let x be r(b). Is t(x) composite?
True
Suppose -1735 = -6*u + 1187. Is u composite?
False
Let v be 1 + -5 + (14 - 8). Suppose -3*w - 856 = -4*x, 2*w - 414 = -v*x - 0*w. Is x prime?
True
Suppose 2*i - 7*i = 0. Suppose i = -10*q + 5*q - 5. Is 2/q + (-5 - -118) a composite number?
True
Suppose 5*g - 17 = -2. Suppose 5*v - g*i - 9 = 16, i + 5 = 0. Is (-1054)/(-5) - v/(-10) a prime number?
True
Let r(c) = -c - 3. Let w be r(-3). Suppose w*y = 4*y. Suppose y = -5*q + 2*q + 165. Is q a composite number?
True
Suppose 45562 = 9*k + 10741. Is (1/1 - k)*(-84)/48 a prime number?
False
Is 6486/6 + 1*6 composite?
False
Suppose m - 7227 - 14330 = 0. Is m a prime number?
True
Is ((-164508)/(-15))/((-32)/(-80)) prime?
False
Let f = 41250 - 19339. Is f a prime number?
True
Suppose r = -2*b - 4 + 1, 0 = -4*b - 20. Suppose 0 = 11*s - r*s - 436. Is s a composite number?
False
Suppose -3*p + 30 = -6*p. Let c be (465/p)/((-3)/(-6)). Is 3*c*1/(-9) prime?
True
Suppose -2*r - 4504 = -5*l + 1737, 3*l = -2*r + 3751. Is l prime?
True
Let s = -15 - -15. Suppose s = -x + 124 - 13. Is x a prime number?
False
Suppose -2*b = -8, 29*k - b + 64403 = 30*k. Is k composite?
False
Suppose -y + 2*r = 7*r - 1161, 3*r + 6 = 0. Is y a prime number?
True
Let j = -3060 - -4971. Suppose 5*x = z + 3705, -6*x - 4*z = -2*x - 2940. Let s = j - x. Is s prime?
True
Let p(c) = 60*c + 128. Let s be p(-2). Suppose -v + 1392 = 3*v. Suppose -s*k + v = -4*k. Is k prime?
False
Is -1 - -7 - (-9 - (-197946)/(-9)) composite?
True
Let q = 3 + 5. Let p(d) = 52*d - 27. Is p(q) a composite number?
False
Suppose -306 = 5*z - 26. Is z/20*(-820)/8 a prime number?
False
Let m(n) be the third derivative of -53*n**6/120 - n**5/60 - n**4/24 + 25*n**2. Suppose 2*l +