Is ((-100)/j)/(1/4) composite?
True
Suppose -3448*a = -3444*a - 43132. Is a a composite number?
True
Suppose 2*v = 4*o - 166390, -8*o + 83189 = -6*o + 5*v. Is o composite?
False
Let z = 71 + -28. Suppose 8*i = 421 + z. Is i prime?
False
Let h(a) be the first derivative of -10*a**2 - 3*a + 2. Suppose -3*c - 27 = -0*l + 3*l, -4*l = -c + 11. Is h(l) a composite number?
True
Let o(c) = -4*c**3 + 2*c**2 - 2*c - 3. Suppose 0*y = -6*y - 24. Is o(y) composite?
False
Let o(c) = 15*c**3 + c**2 - 10*c - 7. Let n be o(3). Let z = 3532 - n. Is z composite?
True
Let u = 10 - -64. Suppose 3*a - u = a. Is a prime?
True
Let o = 17 - 17. Let c be (-2)/(-4)*(7 + -7). Suppose o = -x + 4*y - 13, c*x = -x - y + 7. Is x prime?
True
Let o = -27 + 30. Suppose -5*r + 1257 = -0*n + o*n, -5*n + 4*r = -2095. Is n composite?
False
Suppose -10*f = -5*f - 15. Suppose 667 = a - f*q - 357, -3*a = q - 3082. Is a prime?
False
Let d be -56*(14 - -2) - 2. Let v = 101 - 104. Is d*(16/(-4) - v) composite?
True
Suppose 26*w - 4*c - 21425 = 23*w, 2*c + 28550 = 4*w. Is w a prime number?
False
Is (-4)/((8 - 14)*(-10)/(-1052955)) prime?
False
Let w(b) = 4636*b**3 + b**2 + 2*b - 2. Is w(1) a composite number?
False
Let z(w) = -23 + 12*w**3 - 9*w**3 + 8*w + 4 + 3*w**2 - 2*w**3. Is z(8) a prime number?
False
Let o(j) = 4178*j**3. Let x be o(1). Suppose -4*f + x + 2506 = 0. Is f composite?
True
Suppose -4*v - 3*b + 6174 + 9422 = 0, 0 = -2*v - 4*b + 7798. Is v prime?
False
Let v(a) = 9197*a - 918. Is v(7) a composite number?
True
Suppose 11 = 3*y - 5*p, -y + 4*p - 2*p = -4. Suppose 3*j + 332 = 7*j - x, -5*j = -y*x - 418. Is j a composite number?
True
Suppose 0 = b - 3 - 12. Let z be 5*((-18)/b + 3). Is z/(-3) - (-35 - 2) a prime number?
False
Suppose -989 = -30*o + 29*o. Suppose -23*c = -24*c + o. Is c a composite number?
True
Let u = 1136 + -324. Suppose 229 - u = -r. Is r prime?
False
Suppose -2 = -2*a + 2. Suppose -z - 3*n + 8*n = -211, -3*z - a*n + 633 = 0. Is z a prime number?
True
Let u be -3*4/(-12)*2 - -458. Suppose -5*p = -3635 + u. Is p composite?
True
Let z = -858 - -2807. Is z prime?
True
Let k(l) = l + 1. Suppose 6*g - 2 = 4. Let a be k(g). Suppose a*m = m + 115. Is m a prime number?
False
Let o(v) = 5*v**3 - 7*v**2 - 15*v - 8. Is o(9) composite?
True
Suppose 18 = 4*y - y. Let r(l) = l**3 - l**2 + 3*l - 4. Let u be r(y). Suppose 2*w - 132 - u = 0. Is w composite?
False
Suppose 0 = -x + 5*x + 32. Let b(d) = -d**2 + 2*d - 9. Let o be b(x). Let j = -34 - o. Is j a prime number?
False
Let j = 1482 - 1056. Suppose 0 = 13*w - j - 2447. Is w prime?
False
Let v be (2 + 0 - (-9 + 10))/(-1). Let c(q) = -16*q**2 + 4*q - 6. Let u be c(4). Is v/(-4) - u/8 a prime number?
True
Suppose 4*k = -9598 - 4382. Is 60/45*k/(-2) - -3 composite?
False
Let p(t) = 86*t - 17. Let a(h) = -h**2 + 12*h + 5. Let y be a(12). Is p(y) prime?
False
Let g = 26 - 23. Suppose -2*d = -g*d + 33. Let f = 139 - d. Is f prime?
False
Let n = 24862 - 13959. Is n prime?
True
Let h(r) = -341*r**3 + 2*r**2 + 4*r - 1. Let i be h(-2). Suppose 5*z + v = 1863 + 4989, -2*z = 5*v - i. Is z a prime number?
False
Suppose -3*k + 5*r = -6472, -r - 2468 = 4*k - 11128. Suppose 0*v = 5*n + v - 2705, -5*v = 4*n - k. Is n a composite number?
False
Suppose 2*z - 3258 + 2836 = 0. Is z composite?
False
Let m(a) be the third derivative of -95*a**4/6 - a**3/2 - 7*a**2. Is m(-5) composite?
True
Is 10/(40/92318) - 15/(-10) composite?
False
Suppose 4*o = 4*m + 5*o + 253, -2*m - 140 = -4*o. Is (-2 - m) + (-1 - 2) prime?
True
Suppose 0*t + 3 = t. Suppose t*j - 52 = 5*j. Is (j/(-3))/((-8)/(-84)) a composite number?
True
Let y = -12598 - -18987. Is y a composite number?
False
Let k(b) = 16*b**3 - 8*b**2 + 29*b - 180. Is k(11) a prime number?
False
Let w(n) = 24*n**2 + 47*n + 264. Is w(-35) a composite number?
False
Let g = 58 - 51. Suppose w - 518 = a, -3*w - 2093 = -g*w - 3*a. Is w composite?
False
Let y(v) = -62*v - 5. Let p be y(-7). Let h = 716 - p. Is h a prime number?
False
Suppose 1198 = -x + 9873. Let y = -4857 + x. Is (-6)/(-60) + y/20 a prime number?
True
Let k(u) = 66*u**2 - u - 1. Let r be k(2). Suppose 4*o + r + 243 = 0. Let x = o - -1687. Is x a composite number?
True
Suppose 0 = -3*p - 2*r - 2*r + 8812, -3*p + 8806 = -2*r. Suppose 7349 = 5*x + 2*s - 6*s, -2*s = 2*x - p. Is x a composite number?
True
Let k(t) = -5*t + 34. Let w be k(-11). Let v = 132 - w. Is v prime?
True
Let a(f) = 25*f + 161. Let m(j) = -38*j - 241. Let x(t) = -8*a(t) - 5*m(t). Is x(-17) a composite number?
True
Let m = 79362 + -40813. Is m composite?
True
Let o = -61 + -150. Suppose -3*m + 470 = 2*m. Let b = m - o. Is b a composite number?
True
Let l(x) = 41*x**3 - 2*x**2 - 2*x - 19. Let d be l(5). Suppose 19*w - d = 13*w. Is w composite?
True
Let p(o) = -8*o - 4. Let s be p(-2). Let x be 3*(-26)/s*-2. Is 8229/x + -1*2 composite?
False
Let i(y) be the third derivative of y**5/20 - y**4/24 - y**3/2 + 24*y**2. Is i(8) a prime number?
True
Let q = 629 + -631. Let v(z) = -z**3 + 4*z**2 - 2*z. Let y be v(4). Is q/(y/1932) - 2 composite?
True
Let o(i) = -i**3 - 38*i**2 + 10*i + 20. Let a be o(-28). Is 10*(-2)/4 - a composite?
True
Suppose -51*t + 46*t = 55. Is (1 + 0)/(t/(-24673)) a composite number?
False
Let x(b) = 24*b**2 + 15*b + 103. Is x(-28) a prime number?
False
Let m = 113 - 77. Suppose -3*j + 5*g + m = -170, -4*g = -4*j + 272. Is j composite?
False
Let p(y) = -8*y**3 - 3*y**2 - 24*y - 252. Is p(-17) a prime number?
True
Suppose 0 = 46*f - 49*f + 3657. Is f a composite number?
True
Let n(a) = -a**3 + 7*a**2 - 5*a - 7. Let t be n(6). Let z = -5 + t. Is (-116)/(-5) - z/(-30) a prime number?
True
Let h = 10 - 10. Suppose h = -5*i + 269 + 406. Suppose -89 = -2*t - p, 4*t - t + p = i. Is t a prime number?
False
Let x(n) = -699*n - 217. Is x(-9) prime?
False
Let b(m) = -4*m**2 - 3*m + 4. Let p be b(1). Is 74/(5/((-15)/2)*p) composite?
False
Let f(n) = 748*n + 133. Is f(6) composite?
False
Let c = 1634 - 607. Is c a prime number?
False
Let s(i) = 2*i - 3. Let b be s(6). Let v(a) be the first derivative of 2*a**3/3 + 9*a**2/2 + 8*a + 87. Is v(b) a composite number?
False
Suppose -3*l - l = -20, l + 1 = 3*b. Suppose -b*p + g + 1647 = -0*p, 5*g = -2*p + 1617. Is p composite?
False
Let a(k) = k**3 + 26*k**2 + 21*k + 31. Suppose 0 = -11*o + 2*o - 216. Is a(o) prime?
False
Suppose 36*l - 428264 = 169156. Is l prime?
False
Let t = 1258 - 596. Suppose 0 = 14*w - 16*w + t. Is w prime?
True
Suppose y + 348 = 5*y. Let s be (1 - (-12)/9)*24. Let m = s + y. Is m a prime number?
False
Let d = 96 + -68. Let a = -25 + d. Suppose a*y + 2*o - 570 = 1469, 3389 = 5*y + o. Is y prime?
True
Is 28959/15 - (-1 + 18/30) a composite number?
False
Let a(j) = -j**3 - 11*j**2 + 4. Let y be a(-11). Suppose -3*m + 15 = 0, -l + y*m + 632 = 154. Suppose -2*v = -4*v + l. Is v composite?
True
Let p = 65 + 383. Suppose -5*d = -167 - p. Is d a prime number?
False
Is (2 + 94/(-8))*(-752)/12 a prime number?
False
Let p be ((-5)/(-2))/((-9)/18). Let d be ((-8)/(-6))/(p/(-15)). Suppose d*o + o = 45. Is o a prime number?
False
Let f(w) = -21*w - 22. Let p(m) = 21*m + 22. Let b = 35 - 41. Let n(y) = b*f(y) - 5*p(y). Is n(9) a composite number?
False
Suppose -3422 + 398 = -o. Suppose -3*a + 735 = -o. Is a a prime number?
False
Let t(s) = -s**3 + 3*s**2 + 7*s - 7. Let p be t(4). Suppose -2*g + 2321 = -g + 4*k, p*k + 11580 = 5*g. Is g composite?
True
Suppose 0 = -3*m - 5*d + 3672, -4*d - 12 = -0*d. Is m a prime number?
True
Let r = 1361 + -238. Is r composite?
False
Let h(z) = 2*z - 2. Let s be h(5). Suppose q - m - 3753 = 0, -4*m + 7934 + 7094 = 4*q. Suppose s*o = 13*o - q. Is o a prime number?
True
Suppose -8*w - 3 = -35. Suppose -3*i + 1218 = 2*n - 3783, 10005 = w*n + 5*i. Suppose 5*r - 2505 = -5*x, 9*r - 5*x - n = 4*r. Is r composite?
True
Suppose 9*t - 4*t = 0. Suppose t = -2*i + 1838. Is i prime?
True
Let x(n) = -n - 4. Let d be x(8). Is (-3326)/(-18) - d/54 composite?
True
Let x be 1 + (-4 + 2 - -3). Suppose -j + 3*a = -11, 4*j - 21 = x*a + 3. Suppose 4*c + 53 + 21 = 2*d, 173 = j*d - 4*c. Is d prime?
False
Suppose -s - v = -20160, 16*s - 15*s + 4*v - 20169 = 0. Is s a prime number?
False
Suppose 51*g - 47*g - 1636 = 0. Is g a prime number?
True
Suppose 3*i + 13 = -2*g + 34, 0 = 4*g + 3*i - 57. Suppose -g = 