alse
Let p be 2872/1 + (0 - 0). Let b(h) = 2*h**2 + 116*h - 1357. Let y be b(-68). Suppose 0 = -y*x + 3*s + 2157, -p = -4*x - s + 3*s. Is x prime?
False
Is 73926 + (-15 + 14 - -14) a composite number?
False
Is (44984/14)/(-2)*308/(-88) prime?
True
Let u = 94699 + -52554. Is u a composite number?
True
Let m(a) = -84*a. Let s be m(-3). Let n be s/56*(-2168)/(-6). Suppose y - n = -y. Is y a composite number?
True
Let p(a) = 350*a - 12. Let i be p(7). Suppose k = 2*y + 1645 + i, 4083 = k + y. Is k prime?
False
Let x(t) = -t**3 + t**2 - 2*t - 410. Let w be x(0). Let d = w + 627. Suppose -2*n + n = -d. Is n prime?
False
Let f = -671 + 1210. Let l = f + 755. Let w = l + -753. Is w composite?
False
Let p = 93329 - -85971. Suppose -p - 3623 = -13*a. Is a a composite number?
False
Suppose -3*v - 4 = -1, -5*v + 628 = -x. Let s(f) = -122*f - 212. Let y be s(-2). Is x*(2 - y/12) prime?
False
Let f = -39 - -41. Suppose -5*t - 2*h = -7*h - 19490, -f*t + 7790 = -5*h. Suppose -5*i + t = -365. Is i composite?
False
Let i be -54*(-1)/((-3)/(-47)). Suppose 0 = -3*t - 2*d + d + 7, 5*t - 11 = -2*d. Suppose 0 = -t*n + 5907 - i. Is n a prime number?
False
Let k(h) = 527*h**2 - 391*h + 2749. Is k(7) composite?
True
Let d(x) = 1483*x**3 - 2*x**2. Suppose -5*l + 6 + 4 = -5*n, 0 = -4*l + 20. Let w(h) = -h**3 + h**2. Let a(z) = n*w(z) + d(z). Is a(1) a prime number?
True
Suppose 0 = 7*q - 40971 - 18893. Suppose 11*t = q + 13635. Is t composite?
False
Is (-504)/(-252)*35326/4 prime?
False
Let o(r) = -17*r + 104. Let u be o(6). Suppose -y + u*d + 2724 = -947, -y + 3*d + 3676 = 0. Is y composite?
True
Let a be 96/9*171/6. Suppose -a = 3*r - 70. Let t = r - -332. Is t a composite number?
True
Suppose 10*d - 773048 = 13*d - 11*d. Is d a prime number?
False
Suppose 24 = -27*f + 39*f. Is (1354*3/12)/(1/f) a prime number?
True
Let q be -6*((-1)/6 + 574/(-3)). Suppose -3*m + 10*w = 6*w - q, -5*m = 5*w - 1880. Is m prime?
True
Suppose 0*c = -3*c + 9. Let q(u) be the first derivative of 51*u**2/2 - 4*u - 329. Is q(c) a composite number?
False
Let k be 164/8*(7 - 5). Suppose 0 = k*n - 5272 - 9693. Is n composite?
True
Let m(n) = -411*n + 124. Suppose -7*j + 105 = -28*j. Is m(j) composite?
False
Suppose -629690 - 205111 = -6*q + 344157. Is q prime?
False
Let m(r) = -3*r**3 + 11*r**2 + 16*r - 13. Let u(n) = -n**3 - 9*n**2 + n - 9. Let v be u(-9). Is m(v) a prime number?
True
Let c(f) = 6*f + 39. Let x be c(-7). Is (-1 - 4 - x)/(2/(-13097)) a prime number?
False
Suppose 2*l + 5*c + 723457 = 3*l, 3*l - 2170275 = -c. Is l composite?
True
Let c = 2193983 - 1292594. Is c a composite number?
True
Let r(o) = -o**3 - 7*o**2 - 7*o - 10. Let a be r(-6). Is (9989 - a/1) + 2 composite?
True
Let k(i) = 1635*i - 127. Let g(z) = 3268*z - 253. Let j(r) = 3*g(r) - 7*k(r). Is j(-4) a composite number?
True
Let l = 94 + -89. Is (l/15)/(1/1191) a composite number?
False
Let q(i) = i**3 - 2*i**2 - 2*i - 10. Let n be q(5). Suppose -46*h = -n*h + 6579. Is h a prime number?
False
Let u be 804/((-156)/432 + 4/36). Let k = u + 5627. Is k prime?
True
Suppose 10*j - 2*d - 26 = 8*j, 41 = 3*j - d. Suppose -b - k + 5 = 0, 5*b + 3*k - j = 21. Is (-3)/(-2) - (-3155)/b a composite number?
False
Let n(u) = -3*u + 10. Suppose -4*t - 2*s + 9 + 17 = 0, 12 = -2*t + 4*s. Let m be n(t). Is 18 + -20 - 902/m a prime number?
True
Suppose -9074*b = -9043*b - 1982543. Is b a prime number?
False
Suppose 3*v - 3*k - 98973 = 0, v = 4*k - 9*k + 32967. Is v prime?
True
Let i(s) be the first derivative of 3*s**5/10 - s**4/24 + 5*s**3/3 - 11*s**2/2 + 4. Let w(f) be the second derivative of i(f). Is w(-7) composite?
True
Suppose 18*k - 226613 - 7469053 = 0. Is k composite?
True
Let z = -313996 - -760779. Is z prime?
False
Let o(a) = 146*a**3 - 2*a**2 - 1 - 147*a**3 - 6*a + 7. Suppose 2*y - l + 5*l + 2 = 0, 0 = -3*y + 4*l - 33. Is o(y) a prime number?
True
Suppose 12*v = -3*v - 52*v + 19223305. Is v a prime number?
False
Suppose 0 = 24690*o - 24721*o + 10885619. Is o prime?
False
Let f be 2914/(-4) - (-2)/4. Let g be ((-70)/8)/((-16)/(-2624)). Let h = f - g. Is h a prime number?
False
Suppose z - 3 = 0, -z - 5327 = 5*g + 7360. Let t = 3599 + g. Is t composite?
False
Suppose -i + 709 = 2*g - 2666, 0 = -3*i - 2*g + 10137. Let w = -1096 + i. Is w a prime number?
False
Let f be 4 + (-9 + 8 - -2*1). Suppose 0 = -o + f*p + 101, p - 77 = -o - 6. Let t = 51 + o. Is t a composite number?
False
Let a(l) = l**3 - 20*l**2 - l + 10. Suppose 0 = k - 0*k - 20. Let p be a(k). Let y(w) = -w**3 - 8*w**2 - 11*w + 7. Is y(p) a composite number?
False
Let d = -13626 + 7313. Let o = 3370 + d. Is 1/(-2) + o/(-18) a composite number?
False
Let m = 338 - 320. Is 2/m*9327 - (-6)/9 composite?
True
Suppose 959 = 2*t - 561. Suppose 0 = -4*b + 4*k + t, 2*k = -3*b - 0*b + 575. Is b a prime number?
True
Let d = -60 + 60. Suppose 0 = 5*o - 5, -4*g + d*g - 9987 = -3*o. Let l = -1487 - g. Is l a composite number?
False
Let i(w) = -w**2 + 7*w + 23. Let q be i(8). Suppose -5*v + q + 10 = 0, n - v - 1146 = 0. Is n prime?
True
Let i be -1*(-4 - 28/(-8))*-10. Let t be 0 + ((-27)/(-15) - 1/i). Suppose -2*a + 3*w = -997, -1493 = -3*a + t*w + 2*w. Is a composite?
False
Let l(c) = 28*c**2 - 28*c - 122. Is l(15) composite?
True
Suppose -4*r = -3*k + 256 + 11, 5*r + 445 = 5*k. Let i = k - 85. Suppose 4*z - g + 3*g - 1170 = 0, -4*g = -i*z + 1176. Is z a prime number?
True
Suppose 4*r = 20*r - 528. Let a(u) = -16*u - r + 5*u**2 + 16*u + 15*u. Is a(-10) a composite number?
False
Let g be 2/(-4)*(-16 - -8). Let b(t) = -17*t - 15. Let m be b(-14). Is 1*m*(5 - g) composite?
False
Let t = 117 + -92. Suppose -t*w = -28*w + 3828. Suppose w = u + 3*u. Is u a composite number?
True
Let d be 1/(2 + (2 - 3)). Let s(l) = 4*l**3 - l**2 - l + 1. Let v be s(d). Suppose -q - 7 = v*o - 1411, 460 = o + 3*q. Is o a prime number?
False
Let z = -89 + 92. Suppose 2*j + 3*j - z*t = 12804, -12783 = -5*j - 4*t. Is j a prime number?
False
Suppose 2*j = 2*y - 67514, -2*y = 5*j - 3*j + 67514. Let k = -15402 - j. Is k a composite number?
True
Let g(p) = 5655*p + 794. Is g(5) a composite number?
True
Let u(n) = -26049*n + 1978. Is u(-7) a prime number?
True
Let u(t) = -2*t + 12. Let x be u(-4). Suppose -2*m = 2*m - x. Suppose -2*f + 381 = 3*v, -m*v - 2*f = -3*f - 635. Is v composite?
False
Is (3 + -4)*(14 + -15 - 21726) a composite number?
False
Let z(h) = 17125*h + 487. Is z(2) a composite number?
True
Suppose -16*j = -5*a - 13*j + 14, -3*a + 4*j = -4. Suppose -4*x - 234 = -2*w + 108, 2*w - 366 = -a*x. Is w a composite number?
True
Suppose 5*u = -5*f - 11 + 16, f - u - 3 = 0. Suppose 75 + 343 = 2*m. Suppose m = f*n - 213. Is n a prime number?
True
Is ((-62734)/(-6))/(-11*6/(-198)) a composite number?
True
Suppose 753*j - 927*j = -10860558. Is j a prime number?
True
Suppose 5*m = -268*n + 267*n + 12443658, 9954904 = 4*m + 4*n. Is m composite?
True
Let o(s) = 2672*s**2 + 172*s - 5. Is o(7) a composite number?
True
Let b = -531 - -525. Let p(q) = -23*q**3 - 3*q**2 - 10*q - 35. Is p(b) a composite number?
True
Suppose -7824*s + 3*g = -7826*s + 5031566, 2515765 = s - 3*g. Is s a composite number?
True
Let k be -4 + (-8)/((-7)/7). Suppose -k*u = 5*z - 27439, -u = 3*z - 360 - 6498. Is u composite?
True
Suppose 126834374 + 92791061 = 295*m. Is m composite?
False
Let j(w) = w**3 + 5*w**2 + 14*w + 3. Let m be j(-6). Let n = m + 289. Suppose y - 362 = -i + n, 2*i = 3*y + 1073. Is i prime?
False
Let v = 39 + -40. Let s = v + 13. Suppose 4*a = -s, 1245 = 2*m + m + 4*a. Is m composite?
False
Suppose 5*k + 4*y = 9*y + 65770, 0 = k + y - 13150. Let s = 23051 - k. Is s prime?
False
Suppose 1168 = 22*l - 18*l. Let n be 1 + -1 + 0/(-3). Suppose n = 6*c - 4*c - l. Is c a composite number?
True
Let b(q) = 2835*q - 1553. Is b(10) prime?
False
Let w(o) = 38872*o - 8455. Is w(12) composite?
False
Suppose -11*w + 32662 = -411958. Let h = w + -27393. Is h composite?
True
Let j = 61289 - 30760. Is j composite?
False
Let u be (-1)/(-7) + 21/(-147). Suppose 4*o + 0*o - x - 17926 = u, -4*x = 3*o - 13435. Is o a prime number?
True
Suppose -4*j + 3*g = -152371, 2 - 22 = 4*g. Is j prime?
False
Let w(u) = 25*u - 6. Let h(d) = 25*d - 6. Let f(x) = -7*h(x) + 6*w(x). Let c = 70 + -71. Is f(c) a prime number?
True
Let n = -322 - -413. Suppose -n*l