ber?
True
Suppose 47*i - 50*i + 6645 = 0. Suppose 3*o + 8948 = 7*o + 2*n, o - 5*n - i = 0. Suppose 2*w + o = 5*w. Is w a composite number?
True
Let n be 1 + (4 - -1515) - -2. Let l be (-3)/((45/10)/(-3)). Suppose -l*r + n = -0*r. Is r prime?
True
Let o = 104 - 99. Suppose -7*j = o*j - 12516. Is j a composite number?
True
Let f(n) be the third derivative of n**5/60 - n**4/3 + 7*n**3/3 + 15*n**2. Let b be f(-9). Let c = b + 36. Is c a composite number?
True
Let g be 63113/3 - (0 + (-3)/9). Suppose -g = -8*q + 4*q + 2*m, 3*m - 10531 = -2*q. Is q a composite number?
False
Let s be -5*2/(-4)*2. Let c = 771 + 371. Suppose 3*y = -z + 376, 0 = z + 2*z - s*y - c. Is z prime?
True
Let n = -116 + 121. Suppose -3*l - 4*a + 4113 = 0, -l + n*a = -5*l + 5483. Suppose -1355 = -o - 2*v - 0*v, o - 2*v = l. Is o a composite number?
False
Let d(b) = -477*b - 17. Let u be d(-1). Suppose -381 = -5*i - 2*q + 86, 5*i - 5*q = u. Is i prime?
False
Suppose -8*i + 369 = 9. Is ((-234108)/i)/(-14) - 6/10 a composite number?
True
Is (-23)/(-5) - 5 - ((-13764296)/40 + -4) composite?
False
Suppose -65*g - 16*g + 5809663 + 2064590 = 0. Is g a prime number?
True
Let z(v) = -32*v + 25. Suppose -5*s = -6*s - m - 4, -s = -2*m + 16. Let w be z(s). Suppose 0 = -5*q + 7356 - w. Is q a composite number?
True
Suppose -4*d - s + 56 = 4*s, -4*d - s = -56. Suppose -4*o - d + 30 = 0. Let w(t) = 7*t**3 - t**2 + 5*t - 3. Is w(o) prime?
True
Suppose -14907*x + 169601 = -14906*x. Is x a prime number?
False
Let x(t) be the second derivative of t**3/6 + t**2 - 14*t. Let z be x(2). Is (-2)/z*1778/(-7) prime?
True
Is (0 - -1)*-3166*(1525/(-50) - -1) a composite number?
True
Suppose -3*d = -5*s + 65, 4*d - 2*d = 0. Suppose s*i = -10 - 3. Let l(a) = -395*a**3 + a**2 - 1. Is l(i) a composite number?
True
Is -2*((12 - 4) + -4329)/(1 + 1) composite?
True
Suppose 276 = -4*d + 3*x, 352 = -4*d + x + 76. Is ((-25989)/(-2))/(d/(-46)) a prime number?
True
Suppose -29 + 609 = 5*v - q, 3*q = -4*v + 483. Let o = -105 + v. Suppose 5*l = o*l - 3647. Is l a composite number?
False
Let l(u) = -u**3 + u**2 + 4. Let t be l(0). Let v be (t/6)/(6 - 364/60). Is 35/42*(-3)/v*3764 a prime number?
True
Let l be (2 + (-132)/24)*6/(-7). Is (4 - l)*580538/14 a prime number?
True
Let f be (1 - 2)*(-3)/9*6. Suppose f*w = -4*v, -w = 5*v - 3*w. Suppose v = p - 2, -3*s + 419 = 2*s + 2*p. Is s composite?
False
Let k(s) = s**3 - 16*s**2 - 35*s - 9. Let d be k(18). Suppose -8*v - 6389 = -d*v. Is v a composite number?
False
Is (-414961785)/(-788) - 1/4 a prime number?
True
Let g(l) = 108341*l**2 + 53*l - 117. Is g(2) composite?
True
Let i = 99 + -96. Let q(z) = 232*z**2 - 4*z + 3. Let m be q(-4). Suppose 5*a + 2*n = m, -5*n + 0*n + 2250 = i*a. Is a prime?
False
Suppose 0 = -5*s - 5*g - 47 - 148, 42 = -s - 2*g. Is (s + 35)/(1/(-2449)) a prime number?
False
Suppose -2*n - 4*k + 3 - 11 = 0, 5*n = 2*k + 16. Suppose 3*r - 2391 = -3*z, -n*z - 5*r = -6*z + 3188. Is z prime?
True
Suppose -4*r + 145583 + 4598091 = 3*n, 4*r = 5*n + 4743722. Is r prime?
False
Let z(w) = 3 + 0*w + 22*w + 11*w + w**2 - 26*w. Suppose -5*u - 41 = 74. Is z(u) a prime number?
False
Let t = -202 - -204. Suppose 3*g - 12532 = -t*k + 9589, -7376 = -g - 3*k. Is g a prime number?
False
Let x = -14514 - -42883. Is x a prime number?
False
Suppose 694*h = 696*h - 8. Suppose h*v + 20 = 0, 5*s + v = 42832 - 15932. Is s a composite number?
False
Let x(j) = j**2 - 8*j - 19. Let m(b) = -b**2 + 7*b + 18. Let g(n) = 3*m(n) + 2*x(n). Let i be g(7). Suppose -i*v - 12 = -586. Is v a prime number?
False
Suppose 16 = 5*c - 9*c, 2*c = 2*b + 1578. Let n = b + 4026. Is n a prime number?
False
Let t = 184867 + -14754. Is t a composite number?
True
Suppose 3*q - 13605 = 3*r, -r - 2*q - 4550 = -6*q. Let z = r + 30611. Is z a prime number?
False
Is (-50)/350*1*-467537 a composite number?
False
Let r(v) = -340*v**3 - 3*v**2 - 2*v. Let a be r(-1). Let j = 2996 - a. Suppose 17*t = 18*t - j. Is t a prime number?
True
Let i(g) = g**3 - 29*g**2 + 26*g - 1. Let t be i(28). Let s = t + 404. Is s a composite number?
False
Suppose 5*z - 3*u + 21 = 0, 3*z + 12 = 4*u - 5. Let n(y) = -95*y**3 + 5*y**2 - y - 4. Is n(z) a prime number?
True
Suppose 0 = 5*y - 5*u - 295145, -214*y + 212*y + u + 118056 = 0. Is y prime?
False
Suppose 19*n = 104991 + 1412995. Suppose -3*z + n = -5*g + 7170, 3*z - 4*g = 72725. Is z prime?
False
Let n(v) = v**3 + 5*v**2 - 3*v + 17. Suppose 0 = 4*s - x + 27, 0 = -2*s + s - 3*x - 10. Let q be n(s). Is 654/8 - (-5)/q*-3 a composite number?
True
Suppose -3*o - 4*g + 83738 = 2185, 0 = -4*o + 4*g + 108784. Suppose 2*u = -3*u + 4*n + o, 3*u - 16293 = -3*n. Is u prime?
False
Let p(j) = j**3 + 8*j**2 - j - 84. Let s be p(-6). Is ((-2)/s - (-65499)/9) + 5 composite?
False
Suppose -11*p + 2863559 = 1008970. Is p prime?
True
Let q = 715 - -2048. Suppose -15*g + 9882 + q = 0. Is g a composite number?
True
Let x(m) = 10*m - 19. Let c(f) = -8*f + 93. Let n be c(9). Is x(n) composite?
False
Suppose -4 = -i - 2. Suppose -t - 3498 = -3*y, -3*y + 3414 + 84 = -i*t. Suppose h + 4*r = -h + 1190, 2*h - 2*r = y. Is h a prime number?
True
Suppose -4*w - 13 = j, -4*w - 2*j - 6 = 12. Is ((-20106)/18)/((w - -1) + 0) prime?
True
Let o(k) = -k**3 - 112*k**2 - 158*k - 827. Is o(-147) a prime number?
False
Let j(n) be the first derivative of -66*n**2 + 13*n + 2. Suppose 5*c + k = -54, 5*c + 0*c = 2*k - 57. Is j(c) composite?
True
Let h be (-141)/(5/10*-2). Let d be h + 3*5/(-15). Suppose -5*q + 5*p + d = 0, -q + 116 = 4*q + 3*p. Is q a composite number?
True
Suppose -3*o + c = -727382 - 161715, -4*o = -3*c - 1185476. Is o a composite number?
False
Suppose 0 = 4*l - 488 + 1704. Let n be ((l/2)/(-2))/(-1). Let r = -27 - n. Is r composite?
True
Suppose 31 = -5*x - 9. Let n(i) = -17*i + 1. Let c(q) = 14*q + 1. Let g(r) = -4*c(r) - 3*n(r). Is g(x) prime?
False
Is ((-51)/(-68))/(3/(-15790))*(-68)/10 prime?
False
Let v(a) = a**3 - 3*a**2 + a + 1. Let q be v(3). Suppose 3*x - 46 = 4*b - 10, b - 4*x - q = 0. Is (3 - -1063)*(-2)/b*3 composite?
True
Suppose 2367*m - 2386*m + 4798621 = 0. Is m a composite number?
False
Suppose 107*d = 6754052 - 1081875. Is d a composite number?
True
Let u be (-162)/(-21) + (-54)/(-189). Let a(z) = -z. Let g(y) = -3*y + 23. Let w(v) = -3*a(v) - g(v). Is w(u) prime?
False
Suppose -13*a = -10*a - 6. Suppose x + a*u - 1197 = -2*u, -4*x = 4*u - 4800. Suppose -72*h - x = -73*h. Is h prime?
True
Suppose -9*h + 13*h + 24 = 0. Let a(z) = -z**3 - 11*z - 1 - 3*z**3 + 6*z**2 + 2*z**3 - 3*z**3. Is a(h) prime?
True
Let n = 108 - 88. Suppose -10719 = -n*r + 11*r. Let v = r - 700. Is v composite?
False
Suppose 0 = 2*v - 5*v + 285. Suppose c = -3*w + 65, -2*c - 2*w = -225 + v. Let g = c - 22. Is g prime?
True
Let s(q) = 581*q - 63. Let n(c) = 1. Let i(m) = 14*n(m) - s(m). Is i(-6) prime?
False
Let g(m) = -12*m**2 + 2*m + 22. Let i(f) = 12*f**2 - 3*f - 23. Let u(d) = -5*g(d) - 4*i(d). Let s be u(12). Let c = s - -893. Is c composite?
True
Suppose t = -3*a + 1472, 2*a - 1287 = 3*t - 313. Suppose 6*u - a = -136. Suppose 2*n - u = 257. Is n a composite number?
True
Suppose -4*s + 20 = -20. Suppose 5*j - 3*j = s. Suppose j*m - l - 4255 = -5*l, 3*l = -3*m + 2553. Is m prime?
False
Suppose 2*d - 16 - 4 = 4*h, 0 = h + 4. Suppose -d*z + 6*z = u - 63, -4*u = -2*z - 322. Is u a prime number?
True
Suppose -2975*i = -2950*i - 1257175. Is i a composite number?
False
Let h(z) = -z**3 - 8*z**2 + 14*z + 8. Let n be h(-10). Let b = 78 - n. Let y(q) = q**3 + 8*q**2 - q + 27. Is y(b) a prime number?
False
Suppose 2*j + 2*x = 4*j + 2102, -4*x = -j - 1066. Let b = -747 - j. Is b a prime number?
False
Let z be 1/2*0/(-27). Let t(n) = 45*n + 2557. Is t(z) a prime number?
True
Suppose -1415705 = -548*d + 1471707. Is d prime?
False
Let v(q) = q**3 - 3*q**2 - 2*q - 1. Let a be v(0). Let d be a/((-3)/378) + 1 + 0. Suppose -z + 187 = -d. Is z prime?
False
Suppose 340*x - 70841814 = -98*x + 120*x. Is x prime?
True
Let a = 46 - -4. Let h = 53 - a. Suppose -5*u + 917 = 4*c - 764, -2*u + 671 = h*c. Is u a prime number?
True
Suppose -4*c = c + 4*f - 32, -18 = -3*c - 2*f. Suppose 0*a - c*d + 38497 = 3*a, -5*a - 5*d + 64170 = 0. Is a composite?
True
Suppose -4*s - 2*h + 2 = 0, -5*s - 4*h - 9 + 4 = 0. Suppose -s*w + b = -109460, 72940 = -w 