/(3/508) a composite number?
True
Is (-5)/(-10)*(-3 - (-1253461 + 20)) a composite number?
True
Is (-33474 - (-17 + 20))/(-1) a composite number?
True
Suppose -1321*r - 35595311 = -1394*r. Is r a composite number?
False
Let d be (-4037)/(-5*(-6)/60). Let s = 303 - d. Is s prime?
True
Let m(v) = v + 6. Let s be m(13). Let l(r) = r**3 - 20*r**2 - 15*r - 6. Let p be l(s). Is (p/(-4) - 2) + 2 a prime number?
True
Let m(x) = -4*x - 6. Let n be m(-2). Let u(i) = -26 + i**n + 43 + 5*i + 42 - i. Is u(0) a composite number?
False
Is -16 + (2030355/15)/1 prime?
False
Suppose 3*g + 529144 = 4*v, -192*v + 529152 = -188*v - 5*g. Is v a prime number?
True
Suppose -11*a = -8*a + 4*g - 122389, 0 = -2*a - 5*g + 81602. Is a a prime number?
False
Is (-65511)/(-12)*16/12 composite?
True
Let q(l) = 49*l - 4. Let x(c) = 50*c - 5. Let w(j) = 6*q(j) - 5*x(j). Let p be (-8)/36 - (-119)/9. Is w(p) composite?
True
Let a(b) = -701*b + 6. Let z(f) = -f + 1. Let u(m) = a(m) + 3*z(m). Let g(d) = 3519*d - 45. Let q(y) = -2*g(y) - 11*u(y). Is q(4) composite?
True
Let j be -6*(8/(-12))/1. Suppose -j*u + 3*t = -28, -2*t - 8 = -0. Suppose 4*v = 4*p - 0*v - 2500, 2*v + 2496 = u*p. Is p prime?
False
Let d(s) = 3*s**2 - 33*s + 33. Let u be d(10). Suppose u*v + 64345 = 20*v. Is v a prime number?
False
Let p be 4/(-32)*2*-4. Let g be (8 - 4) + (-4)/p. Suppose -5*u + 3*n + 897 = g, 5*n + 720 = 4*u + 2*n. Is u a composite number?
True
Is (377/26 - 15)*(-1710264 + 2/1) a prime number?
True
Suppose 0 = -47*g + 29*g + 36. Suppose -2*d + 3*z = -1964, 4*d + 6*z - g*z - 3908 = 0. Is d a composite number?
True
Let v = -245 - -249. Suppose -2*a - 2*i = -6*a + 4288, 0 = -5*a - v*i + 5373. Is a a prime number?
False
Suppose 0 = 27*u - 1133916 - 8460831. Is u a composite number?
False
Suppose -47*d + 214*d - 16787259 = -94*d. Is d composite?
False
Let m be (0 + 3 + -2)*(1 + 5). Let c(p) = -p**2 + 1. Let a(r) = -25*r**2 - 10*r - 4. Let q(y) = m*c(y) - a(y). Is q(-7) a composite number?
True
Let c = 177500 + -75361. Is c composite?
False
Let z be ((-510)/12)/5 + 2/4. Let p be (-8)/z - (1 - 2). Suppose -2*q + 6*q + 1258 = 2*t, 0 = 4*t + p*q - 2546. Is t a composite number?
True
Suppose -12*p + 16*p - 16 = 0. Suppose 0 = -p*k + k - 429. Let i = k + 240. Is i composite?
False
Suppose -2*l + 1 = -m + 18, 49 = 2*m - l. Suppose m*r = 11*r + 48784. Is r a composite number?
False
Suppose 38*f - a + 37756 = 41*f, 62930 = 5*f + a. Is f composite?
True
Is (-10 - (-5565681)/(-119))*-1*35 a composite number?
True
Let a(t) = 18*t**2 - 68*t + 137. Is a(48) a composite number?
True
Let r be -20 + 11 + (10 - 1). Is (3 + (-2 - r))*(-21 + 5828) a prime number?
True
Let b(m) = -m**3 - 6*m**2 + 24*m - 13. Let y be b(-9). Suppose 0 = y*j - 2412 - 2278. Is j prime?
False
Suppose 7*k - 40 = -k. Let p(i) = 84*i - 7. Is p(k) prime?
False
Let m be -177*(-11 - -10)*3/9. Suppose 12*b - 11*b - m = 0. Is b a prime number?
True
Let d(w) = -1522*w + 38. Let q be d(-9). Let m = q - -4157. Is m composite?
True
Let r be (-4727)/(-319) - 4/(-22). Let d = 17 - r. Suppose -d*t - 741 = -4247. Is t composite?
False
Suppose 3*p - y = 253130, 52*y - 48*y - 84381 = -p. Is p a composite number?
False
Suppose -3 = -4*d + 5*d. Let q be (153/(-6) - -1 - d)*-2. Let c = q - -134. Is c composite?
True
Let h = 3148 + -268. Let a = 5119 - h. Suppose 3*j = -2*v + a, -2*v = -j + 665 + 76. Is j composite?
True
Suppose -6*c - 108 = -10*c. Let b be (c/(-6) - -4)*-66. Is 1078/6 - (-44)/b composite?
False
Let g = -4222 - -2965. Let d = 1844 + g. Is d a composite number?
False
Let d(p) = 6*p**2 - 28*p - 17. Let j(a) = -111 + a**2 - 3*a - 5*a + 85. Let i be j(12). Is d(i) a prime number?
False
Let o(d) = 149*d**2 + 27*d + 156. Let c be o(-7). Suppose 142*u = 146*u - c. Is u a composite number?
True
Let n(d) = 1830*d**2 + 1349*d + 6. Is n(5) a composite number?
False
Let m(d) = -d**2 - 7*d - 9. Let t be m(-5). Suppose -10 = -3*y - t. Suppose -y*i = k - 139, -k - 2*k + 361 = -5*i. Is k prime?
True
Suppose -2*p - 3*x + 16 = 0, 2*p + x = -p + 24. Suppose 12*h - p*h + 16 = 0. Is 2/h*(-3 - 2791) composite?
True
Is (-174601)/(-35)*(-15)/(-3) a prime number?
True
Let w = -189489 + 310160. Is w prime?
True
Let y be ((-56)/(-35))/(6/73275). Let x = y + -7233. Is x a prime number?
False
Let z = -572 + 1108. Suppose 0 = 3*d - 283 - z. Suppose -i + 346 = -3*n, -726 - d = -3*i - 4*n. Is i a composite number?
False
Let n(p) = 2*p**3 + 18*p**2 + 122*p + 45. Is n(34) a prime number?
False
Let b(g) = -g**3 - 19*g**2 - 70*g + 4. Let z be b(-5). Suppose z*u - 4788 = 2*u + h, -2*u - 3*h = -4780. Is u prime?
True
Suppose -19773 = 5*n + 2*i, -6*n + n = 4*i + 19781. Let b = 5902 + n. Is b composite?
False
Let q(p) = -p**3 - 16*p**2 - 15*p + 31. Let d be (17 - 2)/5*13. Let w = -54 + d. Is q(w) prime?
True
Let c = 36 + -32. Suppose -x = 2*x + 5*p - 1907, 0 = -c*x - 4*p + 2556. Let j = x + -421. Is j composite?
False
Let i(o) = -4*o**3 - 21*o**2 - 5*o + 1. Let c(d) = -d**3 + d**2 - d. Let z be c(2). Is i(z) prime?
True
Is (-24)/9 + (-7087068)/(-324) a composite number?
False
Let r = 278 - 4. Suppose r + 17331 = 5*p. Is p a prime number?
False
Let h be (1 - 3/(-1)) + -4. Suppose -q = t - 3, t = -3*q - h*t + 3. Suppose q = -2*b + 6*b - 2076. Is b composite?
True
Let u(d) = d**3 - 17*d**2 + 18*d - 25. Let z be u(16). Let c(k) = z*k + 19 - 17*k**2 + 35*k**2 - 17*k**2. Is c(-7) a composite number?
False
Let w be (12/24)/((-2 - 1)/6). Is (692/(-8))/w*(-1 - -15) a composite number?
True
Suppose 4*p = 4*m - 36, 2*m + 2*p = 6 - 8. Suppose 36412 = 4*u + v, 2*u = 6*v - m*v + 18206. Is u a prime number?
True
Let g(r) be the first derivative of -16*r**2 + 29*r + 1. Suppose -14 - 29 = 6*s - 1. Is g(s) a composite number?
True
Let m = 508496 - 347997. Is m a composite number?
False
Is 36105 + 6 + 5/(-10)*24/3 a composite number?
False
Let s(i) = -i**3 + 40*i**2 - 73*i + 32. Let w be s(38). Let r be (-2)/(3/6 + -1). Suppose 5*f + w = o, 0*f = r*o - 3*f - 533. Is o a composite number?
False
Let a(s) = s**3 - 18*s**2 + 21*s - 55. Let n be a(17). Suppose 8*u - 533757 = -n*u. Is u composite?
True
Let x be 3 + -2 + -2 + 472/4. Let w = x + -89. Let y = w + 39. Is y a prime number?
True
Let w(s) = 21*s**3 + 48*s**2 + 9*s + 59. Is w(28) a composite number?
True
Suppose 3*r = 29717 + 151951 - 35727. Is r composite?
False
Let i(w) = 1075*w**2 - 85*w - 61. Is i(-23) a prime number?
True
Let z = 179 + -210. Let l(x) = -x**3 - 29*x**2 - 40*x + 67. Is l(z) prime?
True
Suppose -2*h = -5*v - 28503 - 2160, 5*h - 76707 = -4*v. Is h a composite number?
True
Suppose -27*s - 4*s + 7133948 = 37*s. Is s a prime number?
True
Suppose 2*s - 20*w - 287794 = -24*w, -18 = 3*w. Is s composite?
False
Suppose -21*b = -36*b + 180. Suppose -47165 = -b*c - 16217. Is c prime?
True
Let b(g) = 125*g + 88. Let o(j) = 2*j**3 + 11*j**2 - 9*j - 9. Let x be o(-6). Is b(x) composite?
False
Suppose 13*b = 4948 + 369. Suppose 2*t - 1248 = 276. Let p = t - b. Is p composite?
False
Let o = 84380 + -31882. Is o composite?
True
Suppose 3*g = 3*b - 539703, 5*g + 0 = -20. Is b composite?
False
Let t = 444 + -433. Let c(d) = 535*d + 122. Is c(t) prime?
True
Let h = -204018 - -324175. Is h a prime number?
True
Let d = 42266 - -9013. Is d a prime number?
False
Let a(s) = 1416*s**2 - 45*s + 349. Is a(12) composite?
False
Let w(i) = -13*i**3 + i**2 + 8*i + 15. Let n(r) = r**3 - 14*r**2 + r - 22. Let u be n(14). Is w(u) prime?
False
Let m = 55499 + 58872. Is m a composite number?
False
Suppose 2*v + 0*v - 68 = 0. Suppose 6*y = 5*y + v. Let o = 117 - y. Is o a prime number?
True
Let s be ((-11)/(-22))/(1/40). Suppose 10*y = s*y - 2930. Is y a prime number?
True
Suppose -5*c = 2*i - 1672, 5*i - 3810 = -2*c + 349. Is i prime?
False
Suppose -18*d + 25107108 = 20*d - 14614558. Is d a prime number?
True
Let w(q) = q**2 + q + 15*q + 57 - q. Is w(-13) prime?
True
Suppose -12*n = 1331 + 349. Let f = -82 - n. Is f a composite number?
True
Suppose -2*t - 8862589 = -3*u, 49*t = -u + 44*t + 2954236. Is u a composite number?
True
Is (-2)/(-7) + 288744900/5012 a composite number?
True
Suppose -44629 + 367158 = 23*u. Is u composite?
True
Suppose 2 = -18*i - 142. Let k(g) = -g**3 - 4*g**2 + 26*g + 11. Is k(i) prime?
True
Let y(f) = 28*f - 7. Let l(b) = -b**3 + 12*b**2 -