rime?
True
Let n = 14 + -9. Let s = 1040 + -1040. Suppose 0 = 4*i - n*x - 1094, s*x - 1078 = -4*i - 3*x. Is i a composite number?
False
Let b = -112 - -122. Suppose -b = -2*m, y + 5*m - 5587 = 3217. Is y composite?
False
Let i(y) = 5*y**3 - 13*y**2 + 13*y + 12. Let u be 2/(2*2) - 65/(-26). Let r(x) = -6*x**3 + 12*x**2 - 14*x - 13. Let f(g) = u*i(g) + 2*r(g). Is f(11) prime?
True
Let b = -16 + 18. Suppose -x - 11027 = -5*t + 2*x, b*t - 2*x - 4414 = 0. Is t prime?
True
Let u(q) = -8*q**2 + 9*q - 17. Let b be u(-12). Let c = 3836 + b. Is c a prime number?
False
Suppose -4*z + 15549 = t, -12638 = 5*t + 5*z - 90308. Is t a composite number?
True
Let r(g) = -43*g**2 + g + 126*g**2 + 6*g - 41*g**2 - 37*g**2 - 1. Let i(j) = -j + 1. Let a be i(6). Is r(a) a prime number?
True
Let w = 70 - 52. Let a(g) = 10*g - 23 - w*g - 10*g. Is a(-6) prime?
False
Let g be (-1*(-8)/(-24))/(2/(-5574)). Suppose -g*j + 924*j + 13665 = 0. Is j prime?
False
Let u = 25 - 23. Suppose 4*n - r + u*r - 3145 = 0, 3 = -r. Suppose -13*z + n = -12*z. Is z a prime number?
True
Let k be ((-2371)/(-2))/((-73)/(-146)). Suppose -5*u - 5*s = -26360, 5*s + 806 = -u + 6070. Let q = u - k. Is q a composite number?
False
Suppose -1399*u + 1388*u = -1703867. Is u composite?
False
Let x(g) = 61605*g**2 - 164*g + 8. Is x(3) a prime number?
True
Is 48/8 + 324772 - (-1 - (-12)/2) prime?
True
Let i = -53 + 57. Suppose i*x + 5*p + 16 = 0, -p - 4*p - 20 = 5*x. Is x - (-4 + 4) - -1119 a composite number?
True
Suppose -1828491 = 33*t - 54*t. Is t prime?
True
Is (-1 - -4)/9 + (-1472744)/(-39) a composite number?
True
Let d = 547 + -198. Suppose 4*y + 2*a - d + 13 = 0, 3*a + 270 = 3*y. Suppose -3 + y = r. Is r a prime number?
True
Let q be (16/20)/(3 - (-42)/(-15)). Suppose -q*c + 6117 = -1231. Suppose 3*k - c - 875 = 3*h, 3 = h. Is k a composite number?
False
Let c = 38626 + -18778. Suppose 3*v - 15*v + c = 0. Is v a composite number?
True
Let i(l) = -l**3 + 23*l**2 + 49*l + 6. Let h be i(-21). Let v = -7124 + h. Is v a prime number?
True
Let o be (-2442 + 0)*88/264. Let g = -1204 - -2789. Let z = o + g. Is z a prime number?
False
Suppose 73*p - 5*b - 381128 = 70*p, 5*b - 25 = 0. Is p composite?
False
Let o = -1213 - -2262. Suppose -801 = -10*u + o. Is u a composite number?
True
Is 18 + -26 + 139942 - -5 composite?
False
Let b(w) = 154*w**2 + 3271*w + 85. Is b(-42) a prime number?
True
Suppose -532 = -4*u + t, -4*u + t = 4*t - 516. Suppose -6*k + 18*k = u. Suppose -686 = -k*a - 3*a. Is a prime?
False
Let n(o) = 217*o + 174373. Is n(0) a composite number?
True
Let j(o) = -5*o + 85. Let y be j(16). Suppose 6 = -x + 5*p, -4*x + 4*p = -2*x. Suppose -4 = -x*m, y*v - 1941 = 5*m - m. Is v prime?
True
Let t be 1961/2 + 2/4. Suppose 0 = 4*l - 5*v, 0 = 4*l + 37*v - 36*v. Suppose 0 = 5*r + 5*n - 3829 - t, l = 4*n - 12. Is r composite?
True
Let g(h) = -13*h - 7. Let j be g(3). Let v = j - -180. Suppose 5*z + 3*a = 2914, -z - v = -a - 712. Is z prime?
False
Suppose -1237589 = -2*l - g, -6*l + 3094013 = -l - 2*g. Is l a prime number?
True
Let b be (535938/156)/((-2)/4 - 0). Let k = b + 19530. Is k a prime number?
True
Let o(s) be the third derivative of 11*s**5/15 - 11*s**4/24 - 28*s**3/3 - s**2 - 2. Is o(11) a prime number?
True
Let j = -57159 + 1353026. Is j a prime number?
True
Let g be (-7 + 1 + 12)*(-4)/(-6). Suppose -2*t + 7*t = 20. Suppose g*b - 4328 = -t*b. Is b a composite number?
False
Let h be 338/3*1*90/4. Suppose -5*u + a = -0*a - 2515, 0 = -5*u - 3*a + h. Is (-3 - u/20)/(1/(-5)) a composite number?
True
Let y(m) be the third derivative of m**6/120 + m**5/2 - 17*m**4/12 - 17*m**3/6 + 3*m**2 - 23. Is y(-16) prime?
True
Let r(i) = -211*i - 9. Let c be 2/((-40)/12 - -4). Suppose c*v - 5 = -h, -5*h = 2*v + 11 + 3. Is r(h) a prime number?
False
Suppose 0 = -4*t + 2*d + 525502, -5*d - 167350 = -t - 35988. Is t prime?
False
Let k = 63 - 60. Let g be (1 + -2 + 8)*1 - k. Suppose g*u - 87 - 261 = 4*o, -3*u + 5*o + 253 = 0. Is u composite?
True
Let d(n) = 4*n - 6. Let a be d(4). Let y be (-3*a/(-6))/1. Suppose 7*w = y*w + 1222. Is w prime?
False
Let q = 21092 + -14627. Let u(f) = 27*f + 1601. Let n be u(3). Suppose -q = -b + n. Is b a prime number?
True
Let b = 121054 + -24104. Suppose -y + 8*y - b = 0. Suppose -3*f = -v + 3460, v - y = -3*v + 2*f. Is v prime?
True
Is (-97742504)/(-186)*(12/16)/1 composite?
False
Suppose 2*b = -16*f + 13*f + 157349, 3*b - 5*f - 236014 = 0. Is b prime?
False
Let k be (0/5 - 11)/(2/(-16)). Is (-16)/k + 137438/22 composite?
False
Suppose -1289*b + 1305*b - 84368 = 0. Is b composite?
False
Let k = 1135 + -611. Let h = 1191 - k. Is h a composite number?
True
Let k = -52 - -55. Suppose -5*a - 6 = 2*g + 24, k*g + 4*a + 31 = 0. Let d(f) = -2*f**3 + 4*f**2 + 6*f + 3. Is d(g) composite?
True
Let h(j) = -338*j**3 + 5*j**2 - 5*j - 13. Is h(-4) a prime number?
False
Let m be 0 - 0 - (-12 + 5 + -2). Suppose -5160 = -u - m*u. Let b = u - 357. Is b a composite number?
True
Suppose -5*g - t + 2803907 = 0, -5*t + 1121526 = -88*g + 90*g. Is g prime?
True
Let b = 5612740 - 2272191. Is b a composite number?
False
Suppose 2*h + 12 = 4*b, 0 = -2*b - 3*h - h - 4. Suppose -b*w + 5*p = -25365 - 23752, 5*w + 3*p = 122870. Is w a composite number?
False
Suppose -3*m + 108 = 24. Suppose 4*d - m = -2*x, -3*x - 2*d + 6 = -16. Is (1418/x)/(7/14) prime?
True
Suppose -221*k + 158969 = -216*k - 2*w, 3*w = k - 31799. Is k prime?
True
Suppose 4*l = -3*j + 184775, 0*j - 4*j + 246370 = 2*l. Suppose 26*a + 18199 - j = 0. Is a prime?
True
Let a = 128861 + -68512. Is a prime?
False
Let r = 55 + -21. Let p be 24/(-204) + (-5504)/r. Let h = p + 497. Is h a composite number?
True
Let p(v) = -121*v**3 - 12*v**2 + 50*v - 62. Is p(-17) prime?
False
Let b = 183816 + -99905. Is b a prime number?
True
Let d be (3458 - -1)*(-140)/(-6). Suppose 3*v - 13*n = -18*n + d, -v + n = -26906. Is v composite?
True
Let a(t) = 2*t + 65. Let q be a(-24). Suppose q*d = -16055 + 39498. Is d composite?
True
Suppose 2 = 4*l - 3*l. Suppose 4*u = s + 6, -4*s = -l*s - 3*u + 7. Is (-1226)/(s/(-3) + 96/(-36)) a composite number?
False
Suppose -477*z + 1123 = 187*z - 869. Let d be (-1)/(1*2/(-26)). Suppose 48610 = -z*k + d*k. Is k a composite number?
False
Is 84321 + (3 - 10/((-60)/(-66))) prime?
True
Suppose 19*h - 3*x + 4763578 = 21*h, -3*x = 4*h - 9527156. Is h a composite number?
False
Suppose 110 - 426 = -4*s. Let x = -79 + s. Suppose -3*j + a - 5*a = -289, 2*j + 5*a - 202 = x. Is j composite?
True
Let w(m) = m**3 + 15*m**2 + 15*m + 11. Let c be w(-14). Let j be 8/c*(-15)/5. Suppose j*n = 4*n + 9812. Is n composite?
True
Let b(z) = z**2 - 20*z + 15. Let q be b(19). Let v be (-227)/3 - (q/(-3) - 2). Let p = 166 + v. Is p a composite number?
True
Let u(b) = 2*b**3 - 70*b**2 + 470*b - 48. Let g be u(26). Let k be (2/(-4))/((-1)/(-36)). Is 15126/g*(-12)/k a prime number?
True
Suppose -3 = w - 5. Let p(h) = 17*h + 5 - 2*h**2 + w + 7 - 5 - h**3. Is p(-11) prime?
True
Let c be (7 + -51)/(4*(-3)/54). Is (c/12 + 2)*58 composite?
True
Let r(n) = 45*n - 19. Let p(q) = -44*q + 18. Suppose 0 = 3*c - 13*c - 30. Let x(a) = c*r(a) - 4*p(a). Is x(2) a composite number?
False
Let f = -27 + -27. Let p = f + 59. Suppose -3*n = o - 5*n - 145, 5*n + 750 = p*o. Is o a composite number?
True
Let j be 20/(0 + 2) + (-5 - -5). Suppose 36*k - j = 31*k. Suppose 0 = -k*p + 11*p - 5013. Is p prime?
True
Suppose -37*u + 1445214 = -27242699. Is u prime?
True
Suppose -24*o - d = -21*o - 895945, o - 298643 = -d. Is o a prime number?
True
Suppose -12*m + 368434 = -510890. Is m composite?
False
Let y(f) = -f**3 - 51*f**2 + 93*f + 672. Is y(-65) prime?
True
Let u(l) = l**2 - 3*l + 3. Let q be u(3). Suppose -4*f = 4, 2*d + 0*d = -5*f - 9. Is (q + -2)/(d/(-422)) prime?
True
Let h(o) = -o**3 + 7*o**2 - 6*o + 15. Let t be h(6). Is t/(-9) - 15484/(-6) a composite number?
False
Let k(q) be the second derivative of q**5/20 - 13*q**4/6 - 32*q**3/3 - 25*q**2/2 + 6*q. Is k(30) composite?
True
Is (1 + 307935/(-36))/((5/4)/(-5)) a prime number?
True
Let r(s) = s**3 - 4*s**2 - 7*s + 7. Let u be r(5). Let n = u - -6. Suppose 5*w = 2*l + 8797, 2*w - 3521 = -0*w + n*l. Is w a prime number?
True
Let y = 81851 + -47204. Is y a composite number?
True
Let q = -554 - -564. Let o(t) = t**3 + 23*t**2 + 1