
True
Is 185006/(12 + -5 + -5) a composite number?
False
Let o(f) = 2609*f - 7350. Is o(53) prime?
True
Suppose -3*x + 3*x - 1635824 = -16*x. Is x prime?
False
Let f(p) = 19*p**2 + 39*p - 9. Let b be f(-28). Suppose 4*j - b = -3263. Is j a prime number?
True
Let r(j) = -j**3 - 2*j**2 - j - 51. Let q be r(0). Is (53476/6)/((-34)/q) composite?
True
Let n be 816/168 + (-1)/(-7). Suppose 6*w + 2*u - 3280 = 4*w, 2*u + 8221 = n*w. Is w a prime number?
False
Let h = -4253009 + 6026718. Is h prime?
False
Suppose 4*g + 395862 = 2*o, 1543*o + 593865 = 1546*o + 3*g. Is o prime?
True
Suppose -1133995 = -267*b + 262*b. Is b prime?
True
Let l(u) = 10661*u**2 + 292*u + 1877. Is l(-6) a prime number?
False
Let m(c) = -3*c**2 - 24*c - 59. Let g(o) = -2*o**2 - 12*o - 29. Let y(s) = 5*g(s) - 3*m(s). Let j be y(14). Is 4 - -1749 - 2/j*-2 a prime number?
False
Let u(f) = -214552*f - 1433. Is u(-1) a composite number?
False
Let u(h) = -16*h**2 - 13*h - 1. Let m be u(-1). Is (21609/m)/(-3) - (-94)/376 a composite number?
False
Suppose -36 = -20*m + 84. Is m/14 + -7 + 14178/42 a composite number?
False
Let x be (-4)/(-1 + (-3624)/(-3622)). Let k be 5/(-20) + 114/8. Is 15/(-35) - x/k a prime number?
False
Let v = 342 - 341. Is 1 + v + 2042 + 9 a prime number?
True
Is (-1074532)/(-10) + ((-344)/20 - -17) prime?
True
Let j(t) = t**3 + 140*t**2 - 19*t + 233. Is j(-93) a composite number?
True
Suppose -5*b + 866455 = -8*r + 10*r, 0 = -2*r. Is b a composite number?
False
Let p(n) = -n + 1. Let b(w) = 1260*w + 67. Let v(t) = -b(t) - 4*p(t). Is v(-5) composite?
True
Suppose 5*f - 6443 = -2*z, 344 = 3*f + z - 3521. Let w = f - 4. Is w composite?
False
Let m = 41477 - 918. Is m a prime number?
True
Suppose 0 = 34*n - 41*n + 49. Suppose 0 = 6*i - n*i + 4*m + 1961, -5*i + 9742 = m. Is i composite?
False
Suppose 15*u - 28 = 13*u. Let f = u + -12. Let j(q) = 81*q**2 - 3*q - 1. Is j(f) a prime number?
True
Suppose -3*s - 4*s + 3157 = 0. Let q be 1*s + 4/(-2). Suppose 2*l + 4*t - 230 = 0, -4*l + 3*t + q = -0*l. Is l composite?
False
Suppose 5*y + 5*j = 9715, -2*y + 5*j + 3531 = -376. Suppose 5*x - y = -9*x. Is x a composite number?
False
Let n(k) = -k**2 - 20*k + 22. Let u be n(-17). Suppose -u*z + 68*z + 1577800 = 0. Is z/69 - (-1 + 4/3) composite?
True
Suppose 0 = 6*j + 4*j - 25260. Let q be 1/(0 + (-2)/(j/3)). Let l = 720 + q. Is l a prime number?
False
Suppose -6*r + 2450 + 424 = 0. Let l = r + -230. Is l a composite number?
True
Suppose 2*q - 3*s - 700370 = 0, -4*s + 350207 = 4*q - 3*q. Is q a composite number?
False
Suppose 9 = 3*z + 15. Let a be (-3)/(-3) + 2/4*z. Suppose a*o - 4*o + 2304 = 4*l, -2*l = -3*o + 1713. Is o composite?
True
Suppose -69 - 50 = -5*s - 4*w, 0 = s - 5*w - 47. Suppose s*u - 533523 = 90636. Is u composite?
False
Let f(v) = v. Let m(x) be the first derivative of -45*x**2/2 + 14*x + 1. Let g(c) = 6*f(c) + m(c). Is g(-5) a prime number?
False
Let l = 456389 - 32892. Is l composite?
False
Suppose -4*u = 29*m - 2906942, 0*m - 726785 = -u + m. Is u a composite number?
False
Suppose 0 = 4*c + 2*f - 0*f + 30, 5*c + 3*f = -38. Is (-65357)/c + 4 + 182/(-49) a composite number?
False
Let c(q) = 9176*q - 87. Is c(34) a prime number?
True
Suppose 3*a = -0*y + 3*y + 6, 5*y + 7 = 4*a. Suppose -l = a*r - 4657, -3*l + 13997 = -8*r + 4*r. Is l a composite number?
False
Let m(g) = 8*g**2 + 4 + 0*g**2 - 3*g - 12*g + 2*g - 4*g. Is m(9) a prime number?
True
Is (-1484)/21*(16405/(-20) - -5) prime?
False
Let a(z) = 193218*z**2 + 38*z - 39. Is a(1) prime?
False
Let n be (-10)/(-25) - 8/(-5). Let d(b) = 11065*b**3 + 2*b**2 - 4*b + 1. Let v be d(n). Is ((-1)/3)/(-4 - v/(-22131)) prime?
True
Suppose -4*y + 9 = 3*t - 3, -4 = -y - t. Suppose y = x + 5*w - 4126, -4*w = -x + w + 4096. Is x prime?
True
Suppose z = 22 - 1. Suppose 22*l - z*l = 859. Suppose -6*j + 1163 + l = 0. Is j a composite number?
False
Suppose -2*o = -0*v - v - 2, o - 5*v - 19 = 0. Let y be (o - -3)/(-4 - 345/(-85)). Suppose -33*z = -y*z + 419. Is z a prime number?
True
Let n = -13 + 17. Let s be 690/80 - (-3)/8. Suppose -n*h = -s*h + 2705. Is h a composite number?
False
Let s = -51 + 53. Suppose -4*r = s*j - 6366, 0 = -j - 3*j + 20. Is r a composite number?
True
Is (-32343787)/(-145) - (1/(-8) + (-209)/760) prime?
True
Suppose 65121 = -3*p + 4*o + 176104, 3*o = -3*p + 111018. Is p prime?
False
Suppose -19*o + 225841 = 3*k - 18*o, -3*k = 4*o - 225835. Is k a prime number?
False
Suppose 778122 + 2149426 = 52*d. Is d a prime number?
True
Suppose 11*y - 1 = 21. Suppose 8*t - y*t = -t. Suppose t = 4*a - 9*a + 6830. Is a prime?
False
Is 36/6 + (-1212695)/(-11) prime?
True
Suppose -5015619 = -5*u + 3*x + 4299850, 4*x = -32. Is u a prime number?
True
Let p be 1 + -1 + (17 - 15). Let g be (1314/(-4))/(1*(-3)/48). Suppose -5*z + 2648 = -3*l + 4*l, -2*z = p*l - g. Is l a prime number?
False
Let y(t) be the first derivative of -19 - 78*t**2 + 5*t + 26*t + 81*t**2. Is y(11) composite?
False
Let w = -10618 - -13227. Is w a composite number?
False
Suppose -30*p + 37049 + 58301 = 14140. Is p prime?
True
Let n be (2 - -1)/((-2)/(-2)). Suppose -n = -5*o + 22. Suppose c - o*u - 79 = -0*u, 316 = 4*c + u. Is c prime?
True
Let x(m) = m**2 - 32*m + 118. Let w be x(28). Suppose w*n - 18*n = -10092. Is n a composite number?
True
Suppose 0*g = 5*g + 5*w - 244295, 2*g + w = 97721. Suppose 8*a + g = 19*a. Is a prime?
False
Is (0 - (-1924293)/39) + (-88)/(-572) prime?
False
Suppose 37*d + 5*v - 64035 = 32*d, 5*v - 51226 = -4*d. Is d a prime number?
True
Let i be (-1 + 2)*4/4. Is 1*i*4/12*3261 a prime number?
True
Let q(c) = -27*c - 5505. Let z(s) = -57*s - 11011. Let h(p) = -9*q(p) + 4*z(p). Is h(0) a prime number?
True
Suppose 5*z - 5*d = -15, 0 = 7*z - 5*z + 3*d - 14. Is (2/(-4))/(6174/(-6172) + z) a composite number?
False
Let z be 18186/15 + 12/(-30). Suppose 0 = -3*h - 3*d + z, 6*d + 403 = h + 8*d. Let w = 1240 - h. Is w a composite number?
True
Let a(l) = -190*l - 26. Suppose -18 = 2*q - 4*t + 26, 2*q + 5*t = 1. Let x be a(q). Suppose 1848 + x = 14*y. Is y composite?
False
Suppose 0 = 51*d + 154*d - 1735325. Is d composite?
True
Let f(a) = 2*a**2 + 2*a + 7. Let n(i) = -3*i**2 - i - 13. Let y(p) = 9*f(p) + 4*n(p). Let v(z) = -4*z**2 - 2*z + 1. Let x be v(-2). Is y(x) a prime number?
False
Suppose 0 = -3*r + z + 11, 3*z = -4*r - z + 20. Suppose -o - 4770 = r*o. Let j = 4307 + o. Is j a prime number?
False
Suppose -18696*r - 5281400 = -18736*r. Is r a composite number?
True
Let t(d) = 262*d + 6. Let k(c) = -261*c - 5. Let y(r) = 5*k(r) + 4*t(r). Let b be y(6). Is 6/(-18) - b/3 prime?
False
Let o = -54 + 51. Is 411/(5/((-15)/o)) composite?
True
Suppose 5*w + 3*z = 127024, 0 = 37*w - 39*w - 2*z + 50804. Is w prime?
True
Suppose 0 = 13*x + 2 - 2. Let c be 13 + ((-25)/5 - x). Suppose c*v = 3*v - p + 6301, -2*v + 2542 = -5*p. Is v a composite number?
True
Let v be (-5 + -11 + 10)/(2/17151). Let z = -22214 - v. Is z composite?
True
Let b(u) = 201*u - 78. Let a be b(-8). Let o = a - -5168. Is o composite?
True
Suppose -22 = -5*c - 2. Suppose -59505 = -11*a - c*a. Is a prime?
True
Let p(t) be the third derivative of t**4/24 + 631*t**3/6 - 2*t**2. Suppose -4*w - 20 = -4*s + 8*s, -2*s - 25 = 5*w. Is p(s) composite?
False
Let b = 734514 - 1491684. Is b/(-240) - (-1)/8 prime?
False
Let d(c) = 22*c - 9*c**3 - 31*c - 68 + 17*c - 8*c**2. Is d(-15) a composite number?
False
Let y be -2 + 2 + -2 + 8. Let b(p) = -2*p**2 - 1. Let g(d) = 2*d**3 + 12*d**2 - 4*d + 4. Let u(k) = 5*b(k) + g(k). Is u(y) a prime number?
True
Let y(r) = 21318*r + 301. Is y(26) a prime number?
True
Let d(r) = 4*r + 29. Let b be 1*-11 + 0/(8 + -3). Let m be d(b). Is -59*5/m*33 composite?
True
Let d(o) = -2 - 1 + 3 + 35*o**3 - 1 + 2*o. Let m be d(1). Is 2/(-8) - (-18549)/m a prime number?
False
Let k(n) = 1507*n**3 + 21*n**2 + n - 76. Is k(7) a prime number?
True
Suppose 3*w - 27555 = 5*q, 11*w = 13*w - q - 18370. Suppose 0 = 3*z - 4*p - 2368 - 3143, 5*z - 3*p - w = 0. Is z a prime number?
False
Suppose -4*u + 3*u + 23831 = 0. Let s = u - 4962. Is s a composite number?
False
Let w = -120 + 123. Suppose -4*h = -j - 4071, 0*h = w*h - 4*j - 3037. Is h composite?
False
Let n(k) = 2*k**3 + 28*k**2 + 16*k - 5. Let c(g) = -4*g**2 - 90*g - 31. Let b be c(-22). Is n(b) a prime number?
Fals