/(-9) + (-30)/z - -1153 prime?
True
Suppose 9*f - 10 = 8. Suppose -3*u - 180 = -3*g, -3*g - f*u = -0 - 185. Suppose 8396 = -g*z + 65*z. Is z a composite number?
False
Suppose -140*n - 213*n - 63237019 = -265920441. Is n a composite number?
True
Suppose -5*l + 6332 = x, -13*l = x - 5*l - 6341. Is x prime?
True
Suppose 0*b - 1071 = -5*h + 4*b, -b - 214 = -h. Suppose -z - h = -r + 2*z, -5*r = -z - 1005. Suppose r = 5*i - 2225. Is i composite?
True
Suppose 15*a + 492*a - 30573233 = -154*a. Is a prime?
False
Is (18 + -18)*(-3)/(-6) - -122123 a prime number?
False
Suppose 75*w = -12*w + 1659003. Is w composite?
False
Is ((-13)/(117/(-43608438)))/(52/26) prime?
True
Is (-75961962)/(-66) - 2/(-11) - (0 + -6) a prime number?
False
Suppose -2696*a + 2712*a - 602127 = 394241. Is a composite?
False
Let d(n) = 88*n**2 - 14*n + 97. Is d(17) composite?
True
Suppose 3*w + 18 = 4*q + 39, 2*q = 2*w - 10. Let t(p) = -16*p**3 - 3*p**2 - 12*p + 13. Is t(q) a prime number?
True
Let m(l) = 11*l - 6. Let r be m(1). Suppose -4*j + 1 = r*p - 43, -4*p + 5*j = -27. Let o(z) = 257*z + 43. Is o(p) prime?
True
Let x be ((-2)/(-3) + -1)/((-1)/27). Let z(a) = -15 + 5 - x - 82*a. Is z(-12) a composite number?
True
Let v(w) = w - 5. Let d be v(8). Suppose 0 = -0*i - 3*i + 3, 3*g - 3*i = -d. Suppose -4*o + 8*o - 124 = g. Is o composite?
False
Let o(d) = 2*d**2 + 19*d + 18. Let n be o(-10). Let x(r) = r**3 - 19*r**2 + 121*r - 17. Is x(n) composite?
False
Suppose 3*f - 7*f + 5*p = -67, 2*f + 4*p - 14 = 0. Let i(g) = -f - 3*g**2 + 6*g**2 + 14*g - g**2 - g**3. Is i(-12) composite?
True
Let m(u) = -2*u**3 - 33*u**2 + 17*u + 4. Let o be m(-17). Suppose -6218 + 2206 = -o*z. Is z a prime number?
False
Let w(t) = 13461*t**2 + 38*t - 124. Is w(3) a composite number?
False
Is 236817273/385 - 32/(-10) a composite number?
True
Suppose 3*p - 115 = -3*k - 2*p, k - 15 = 3*p. Suppose j + 2*g = -0 + 6, -5*g + k = 4*j. Suppose j*q = -q + 979. Is q a composite number?
False
Let u(m) = 1122*m**3 + 2*m**2 - 4*m + 4. Let j(b) = 8*b + 26. Let z be j(-3). Let g be u(z). Suppose -73*i - g = -77*i. Is i prime?
False
Is 1/((-1)/(-28114)) + 2/((-104)/(-52)) prime?
False
Suppose s - 3*i = -9, -5*i + 25 = s + 10. Let x be 5 - (-12)/(s + -4). Suppose x*q = 5*q - 3681. Is q composite?
True
Suppose 4*k - d = 25, -4*d = -2*d + 10. Suppose 5*u = 4*x + 1233, -5*x - k*u = -2*u + 1569. Let t = 605 + x. Is t prime?
True
Let q(o) = -2*o + 2. Let t be q(4). Let d(l) = 11*l**3 + 8*l**2 - 19*l + 2. Let w(m) = 8*m**3 + 6*m**2 - 17*m. Let x(a) = -4*d(a) + 5*w(a). Is x(t) composite?
True
Let y = 22 - -812. Suppose -2*l - 4*a = -y, l - 3*l = -2*a - 840. Suppose -39*r - l = -40*r. Is r composite?
False
Suppose -39*x + 38*x + 4*c + 14845 = 0, 59399 = 4*x + 3*c. Is x a composite number?
True
Suppose -5*j - 4351 = -13186. Let c = j - 974. Is c a prime number?
False
Suppose 245*b = 437*b - 220*b + 4110428. Is b a prime number?
True
Let x(b) = 3 - 25*b - 8 - 127*b. Let o be (-28 + 27)/(1/2). Is x(o) a composite number?
True
Let h = 305077 - -20712. Is h composite?
True
Let n be 1/(-3)*(42 + -51). Suppose n*p - 2*x - 59136 - 37411 = 0, 0 = 3*x - 3. Is p composite?
False
Let l(y) = 1002*y**2 + 1513*y**2 - 386*y**2. Is l(-1) a composite number?
False
Suppose 0 = -214*h - 235*h + 363336637. Is h a prime number?
True
Let h be 3/5 + ((-988)/(-20) - 6). Let c = 42 - h. Is c/6 + (13890/9)/1 composite?
False
Is (-22205 + (2 - -14))*(-2 - 0 - -1) a composite number?
False
Let u = -2524 - -7450. Let b = -62 + 67. Suppose -4*j = -4*p - 9796, -2*j - u = -4*j - b*p. Is j a prime number?
False
Let r = 26 - 23. Suppose -2*x + 22 = -3*q, 0 = r*q - 3*x + 13 + 5. Is (2 - (-18)/q) + (-5154)/(-5) a prime number?
True
Suppose 3*n - 5*n = 3*n. Let k(f) = -2*f**2 + f + 6. Let m be k(n). Suppose -1401 = -m*w + 3*w. Is w prime?
True
Let m(x) = -x + 6. Let l be m(3). Let k be 49/4 - l/12. Is (127/(-2))/(k/(-24)) a prime number?
True
Let m = -38 - -33. Let a be -8 - (m - -1) - (-2 + 1). Is 1847*-3*(5/a)/5 prime?
True
Let u(h) = -5*h**2 + 38*h - 15. Let n be u(7). Is (42/(-8))/(n/(-32584)) a composite number?
True
Suppose -2*w - 135933 = -3*k, -6*k + w + 163511 = -108337. Is k a prime number?
True
Suppose 2*f + 595 = 3*h + 96, 0 = -2*h - 2*f + 346. Suppose -5*l - 35 + h = -4*v, -76 = -2*l - 4*v. Let s = l + 301. Is s prime?
True
Suppose -5*h + 12876 = -3*h + 2*u, 2*h = -u + 12873. Suppose -25*w - h = -y - 23*w, 4*w = -3*y + 19295. Is y prime?
False
Let d = 38 - 36. Suppose -5*b + 11 = 5*q - 4, -3 = -d*b - q. Let o(c) = c + 389. Is o(b) a prime number?
True
Suppose 3*w + 12*w - 5*w = 0. Is w + (-22999)/(-6) + (-28)/168 a prime number?
True
Suppose -9*j + 6*j = 36. Let n be ((-3)/(0 + 1))/(j/(-152)). Let r = n - -49. Is r prime?
True
Let i(y) = -y + 9. Let m be i(5). Suppose m*j = -3*h + 44212, -3*j + 33170 = h + 4*h. Suppose 0 = 8*x - j - 3070. Is x composite?
True
Let o(q) = q**2 - 13*q - 7. Let x be o(10). Let a = x + 45. Let f(v) = 6*v**2 - 2*v + 11. Is f(a) a composite number?
False
Suppose 4*i - 7*j = -8*j + 17, 7 = -i + 2*j. Suppose 3*p - g - 25540 = 0, 6*p + i*g = 2*p + 34049. Is p composite?
False
Let u = 28379 + -16478. Is u a prime number?
False
Let i = 133 + -93. Suppose -i*p + 3821 = -39*p. Suppose 0 = -8*f + 9*f - p. Is f a prime number?
True
Let x = -84 + 91. Suppose 5*j - 10 = 5*w, 5*w + 3*j + 1 = x. Suppose -z + 7557 = 4*q, 0 = -w*q + 2*q + 5*z - 3783. Is q a composite number?
False
Let d be (-28)/(-7)*(-6)/(-4). Suppose -10*r + 13*r - d = 0. Suppose -2*a - 1952 = -4*n, -7*a = -4*n - r*a + 1946. Is n prime?
False
Let m(i) = i + 52. Let q be m(-7). Suppose 61*k - q*k = 1059920. Is k a prime number?
False
Let m(a) = 1381*a + 1265 - 645 - 644. Is m(5) a composite number?
True
Let d be (-3)/2*39*(-8)/12. Let j = -32 + d. Suppose 51 = 4*s + j. Is s prime?
True
Let n(r) = 665*r + 3. Let t be n(1). Let f = t - 1157. Let i = -286 - f. Is i a prime number?
False
Let a(r) = -r**3 + 21*r + 35. Let p be a(-14). Let x = p + 2848. Is x a composite number?
False
Is ((-10)/(-8)*(-40)/100)/((-9)/1467162) a prime number?
True
Let o be 1 + -1 + -4 - -307552. Suppose 2*l = -2*l + o. Suppose 17*t - 8*t = l. Is t a prime number?
True
Let g = -188461 + 269022. Is g composite?
True
Let r(h) be the third derivative of 173*h**4/12 + 35*h**3/6 - 71*h**2. Is r(22) composite?
True
Suppose -27*n + 24*n = x - 32, -n - x + 10 = 0. Suppose -n*g + 34373 = -40482. Is g prime?
False
Suppose -5*r = 3*c - 2518770 + 410143, -2*c - r = -1405742. Is c a composite number?
False
Let w(z) = z**2 + 18*z + 268. Suppose -l - l - 38 = -2*r, 4*r = -3*l - 43. Is w(l) composite?
False
Suppose -11 = -5*l - 5*t + 4, -2*t = -3*l + 19. Suppose l*i = -60 + 485. Suppose -i - 398 = -u - 2*a, 2*u - 2*a - 954 = 0. Is u a composite number?
False
Suppose -3*m - 2 = -4*n - 4, 3 = 4*m - 5*n. Suppose -2*s - 3086 = -4*p, -m*p + 3*s + 1548 = s. Is p a prime number?
True
Let g(y) = 5*y + 62. Let u be g(-14). Let p(n) = 5*n - 2*n + 17 - 2*n**3 - 3*n**2 + 5*n. Is p(u) a prime number?
False
Suppose 4*t - 2*x = 38882, -2*t + 2*x + 19426 = 6*x. Let o(r) = 354*r**2 - 365*r - 20. Let f be o(-6). Let y = f - t. Is y a prime number?
False
Let w be 15027/(-2)*(-2 + 8/12). Let f = -7155 + w. Is f a composite number?
True
Let b(m) be the third derivative of 73*m**4/8 + 19*m**3/2 + 194*m**2. Is b(16) a composite number?
True
Suppose 2*s = 2*j - 14, 4*s + 2*j + 21 = -j. Let k(t) = 7*t + 37. Let y be k(s). Is 2/y + 11814/10 composite?
False
Let h be ((-194)/(-4))/(-1)*18. Let f be (604296/495)/(2/(-5)). Let t = h - f. Is t a composite number?
False
Suppose 0 = 26*t - 7 - 123. Suppose -3 = 3*v, t*r - 85836 = -2*v + 23247. Is r a composite number?
False
Let k be (-214)/(-14) - ((-220)/(-35) - 6). Let m be 6/k - (-2)/(20/926). Let a = m - 42. Is a prime?
False
Suppose 0 = 4*t - 2*h - 52602 - 46056, 5*t + h = 123319. Is t/1 + (-6 - -1) prime?
True
Suppose -5746994 - 1359016 = -9*i - 21*i. Is i a prime number?
True
Let x be 40253/3 - ((-102)/(-18) + -6). Is (-6)/(24/x)*-2 a prime number?
True
Let t be (-10)/25 + 1857/5. Suppose -42*a + 8*a + 18904 = 0. Let b = a - t. Is b composite?
True
Suppose 331 = -u - 0*t + t, 0 = -u + 5*t - 323. Let n = 467 + u. Is n a prime number?
False
Suppose -4*k - 9 = -k. Let p be ((-19737)/189 + (