52623/(-2))*(-125 - -127) a prime number?
True
Is (-7 + 33798/(-12))*-118 prime?
False
Suppose -2*h + 680 = -346. Let m = 339 - h. Let i = m + 293. Is i composite?
True
Is (-84762882)/(-3306) - (-4)/(-38) a composite number?
False
Let g(l) = -l + 19. Let t be g(18). Let d(u) = 4*u + 1. Let n be d(t). Suppose -5*k + r - 5*r = -8858, -3563 = -2*k + n*r. Is k composite?
True
Suppose 0 = -d + 5*i + 6, 60 = -5*d + 4*i - 15. Let l = d + 31. Suppose 0 = -l*q + 11*q + 287. Is q prime?
False
Let z(h) = h - 5. Let q be z(11). Suppose -13716 = -q*p - 0*p. Suppose -7*w + p = -1991. Is w composite?
True
Suppose 8*h - 2*h = -48. Let l be -10*h/20 - 3. Is ((-11428)/16)/(0 + l/(-4)) a prime number?
True
Let h(a) = 251*a**2 - 2*a + 2. Suppose 0 = 5*z + 27 - 47. Suppose -2 = -3*w - z*l + 5*l, 0 = -3*w - 4*l + 7. Is h(w) prime?
True
Suppose 55*n - 32*n + 1692752 = 39*n. Is n a prime number?
False
Suppose -5*i - z - 226302 = 0, -10*i + 7*i - z - 135782 = 0. Let l = i - -66219. Is l composite?
False
Suppose 4513 = s - 4*g - 9526, 5*s + 2*g - 70305 = 0. Let z = s + -678. Is z composite?
False
Suppose v + c - 304610 = 0, 2*v - 579*c + 575*c - 609178 = 0. Is v a prime number?
False
Suppose 0 = -6*y + 3540918 - 1233132. Is y a composite number?
True
Let m(c) = 97*c**2 + 12*c + 7. Suppose -240 = -9*v - 276. Is m(v) a prime number?
True
Suppose -5*a = -25, 82*j - 393320 = 77*j - 3*a. Is j composite?
True
Let g(o) = 20 - 4*o**2 + 0*o**2 + 3*o - 15 - 516*o**3. Is g(-2) a prime number?
True
Suppose -6705 = -3*f + 7*h - 8*h, -2*h = 4*f - 8944. Suppose 2*i = -2*i + 28. Suppose 0*w - f = -i*w. Is w composite?
True
Suppose 0 = -4*u + 5*j + 26, -3*j = -4*u - 5*j + 40. Suppose a - 14 - 8 = 5*k, 2*a - 3*k - u = 0. Is (2/a)/((-12)/8766) composite?
False
Suppose 4*l - x = -41, l + 11 - 17 = -3*x. Is (9/l)/(2/(-2122)) composite?
False
Let f(m) = m**3 + 7*m**2 + 10*m - 3. Let z be (44/(-10) - -5) + (-23)/5. Let g be f(z). Suppose 2*y - 7*y = -4*x - 635, -635 = -g*y - 2*x. Is y composite?
False
Let y(i) = 640*i**2 + 629*i + 5. Is y(20) prime?
False
Let b be 2/8 - 5/4. Suppose -10 = -10*z - 10. Is -4 + 3 + b - (-87 - z) prime?
False
Suppose 0 = -m + f - 7, -2*m + 3*f + f = 16. Let a be (m - (-3792)/(-28))/(3/(-14)). Suppose -z = 2*n + z - a, 0 = 5*n + 3*z - 1648. Is n a composite number?
True
Suppose 144 - 30 = 38*w. Suppose -2*o + 18151 = -w*x, o + 27259 = 4*o + 2*x. Is o prime?
False
Suppose 9 = -p - 5*k + 31, -4*p = -k - 67. Suppose 3*c = p*z - 20*z + 7179, -2*z = 0. Is c a composite number?
False
Let k = -22 - -22. Suppose 6*w - 12415 - 803 = k. Is w a composite number?
False
Suppose -13*x = -13 + 65. Is (-1 - -1605)*2/8 + x a composite number?
False
Let r(b) = -b**3 + 5*b**2 - 13*b - 11. Let s(v) = -v**3 + 4*v**2 - 14*v - 11. Let i(l) = -6*r(l) + 5*s(l). Let f be i(9). Is f/(-6) - 22640/(-60) composite?
True
Let q(n) = 2*n**2 - 23*n + 23. Let g be q(10). Is 85932/98 + (-1)/g a prime number?
True
Let j(d) = 1863*d**2 + 2*d + 3. Suppose -w = 15*w + 32. Is j(w) a composite number?
False
Let o be (28200/80)/(1/(-2)*-1). Suppose -10*h + o + 6905 = 0. Is h a composite number?
False
Let p(g) = -25*g**3 + 6*g**2 - 50*g - 28. Is p(-25) a composite number?
False
Let c(r) = -499042*r**3 + 5*r**2 - 10*r - 12. Is c(-1) a composite number?
True
Let i(c) = -c**3 - 13*c**2 + 17*c + 27. Let z be i(-14). Is (24/28)/(z/(-81655)) a composite number?
True
Suppose 5*f = 5*u - 15, 2*u - 11 = -3*f - 0*f. Suppose -5*c - 4*i + 1791 = 0, 0 = -i - f - 0. Is c composite?
False
Suppose 3*y - 4*p = 511741, -285396 = -2*y - 5*p + 55757. Is y prime?
True
Let k(n) = 123*n - 796. Let t(f) = 41*f - 266. Let a(b) = -6*k(b) + 17*t(b). Is a(-13) prime?
True
Let c(p) = 49*p**2 - 113*p - 214. Is c(-35) a prime number?
False
Suppose -3*b - 5*b - 288 = 0. Is 1005 - (4/9 - (-160)/b) a prime number?
True
Suppose -31*k = 3*b - 27*k - 120693, -3*k + 80465 = 2*b. Is b prime?
False
Is 5/(-30)*45*(1323130/(-15) - 0) prime?
False
Suppose -16*t = -13*t + 4*u - 41747, -4*u = -2*t + 27798. Is t prime?
False
Let h = 135 + -144. Is h/7 - -1 - (-2313951)/329 prime?
False
Let s(k) be the first derivative of 14631*k**2/2 + 31*k + 265. Is s(1) prime?
False
Is 162542*(1/(-5))/((-218)/545) composite?
True
Let a = 59619 + -37214. Is a composite?
True
Let i = -553 + 559. Let c = -2 - -4. Suppose i*m - g = c*m + 5172, 4*m = -4*g + 5172. Is m composite?
True
Is 11 + 298872 - (0 + 10) composite?
True
Let t(i) be the first derivative of 259*i**3 - i**2 - 3*i + 30. Is t(-2) prime?
True
Let i(y) = -2170*y - 6. Let a be i(-1). Suppose -4*t + a = -584. Is t a prime number?
False
Let k(o) = -20323*o + 220. Is k(-21) a composite number?
True
Let s(g) = -3592*g - 569. Is s(-19) a prime number?
True
Let b be (3/(27/(-6)))/((-1)/9). Let u(p) = -7*p**2 + 4*p - 6. Let n be u(b). Is (n/(-27))/((-4)/(-30)) prime?
False
Suppose 4*n - 207 - 59 = 2*k, -n - k + 62 = 0. Suppose -4*j + n = -51. Suppose -j*c - 8675 = -34*c. Is c composite?
True
Let s = 976836 - 319433. Is s prime?
True
Let b(z) = -z**2 + 15*z + 22. Let m be b(14). Let j = -30 + m. Suppose j*l = 1839 + 567. Is l a composite number?
False
Let c = -125992 + 283301. Is c composite?
True
Let r(t) = 161*t**2 - t - 1. Let x(u) = -5*u - 4 + 66*u**2 - 63*u**2 - 10*u. Let w be x(5). Is r(w) a composite number?
False
Let v(j) = 345*j**2 + 4*j - 2. Let l be v(1). Let b = l + -270. Is b prime?
False
Suppose 0 = -5*m - 1385*s + 1388*s + 174035, -3*m + 4*s + 104421 = 0. Is m composite?
False
Let i = -25 + 22. Is 1085 + -3 - (-2 + i) composite?
False
Let h(u) = 2*u**2 + u - 3. Let j be h(3). Let n = -358 + 477. Suppose -3*r + 192 = 3*t, 16*r - j*r = 5*t - n. Is r a prime number?
True
Let d(h) = -42026*h + 2469. Is d(-13) composite?
True
Let c = -96 + 104. Suppose -c*a + 6465 + 55 = 0. Suppose 0 = -2*f - 3*f + a. Is f a composite number?
False
Let v(o) = o**3 - o - 2. Let l be v(2). Let b = -3 + l. Is (-896)/(-4) + b*-1 composite?
False
Let m(y) = -y**3 - 4*y**2 + 10*y - 26. Let g be m(-10). Let q = g + 887. Is q a prime number?
True
Suppose 109*b - 4 = 108*b. Suppose -p = b*g - 1405, -3*p - 4*g = -p - 2802. Is p a prime number?
False
Let b = 536648 - 205515. Is b a composite number?
True
Let c(a) = -a + 3. Let j be c(0). Suppose -j*l = -0*l - 4*s - 5, -l + 5 = 2*s. Is ((-12)/(-8))/(l/3298) a prime number?
False
Let q = 944 + -565. Suppose -14*j - q - 895 = 0. Let t = j - -186. Is t composite?
True
Is 213335/1 - (-72)/(-12) a prime number?
True
Suppose -5*f + 5 = -0*f. Let k be 15 + -4 + 1 + f. Suppose k*b - 17*b = -884. Is b prime?
False
Let o(d) = 3*d**3 + 16*d**2 + 9*d + 3. Let u(s) = 5*s**3 + 24*s**2 + 13*s + 5. Let c(r) = 8*o(r) - 5*u(r). Let x be c(5). Let y = 206 - x. Is y prime?
True
Suppose -x - 4*x + 4*c + 13 = 0, 4*c = -5*x - 3. Is x/(123420/(-24685) + 5) prime?
True
Suppose 5*l + 13*u - 6436625 = 11*u, 3*l - 3861964 = u. Is l composite?
False
Let i(m) = 7935*m**2 + 274*m + 29. Is i(-4) a prime number?
False
Let p(m) = -10*m**3 + 38*m**2 + 72*m + 56. Let x(i) = 12*i + 12*i + 13*i**2 + 8 + 2 + 9 - 3*i**3. Let y(v) = 2*p(v) - 7*x(v). Is y(17) a prime number?
True
Let p = 173209 + -42396. Is p composite?
True
Let j = 290 - 114. Suppose -4*s + 8 = 5*w - j, 0 = 2*w + 4*s - 76. Is 4/w - 2/(-9)*31 prime?
True
Let t be (-2 + 7)*(-42)/(-70). Let g(y) = 73*y + 7. Let n be g(7). Suppose 0 = -t*o + 5*o - n. Is o composite?
True
Suppose 74621 = -3073*v + 3090*v - 1263126. Is v a composite number?
False
Suppose 0 = -0*p + 4*p. Suppose -3*a + 18517 - 2662 = p. Suppose -2*y + 5*f = 3*f - 5288, -a = -2*y + 3*f. Is y a composite number?
False
Is 222703 - (0 + 16/(-4)) a composite number?
False
Let y = -376 + 384. Is 9491*(2 - 4)*y/(-16) a composite number?
False
Suppose 3495756 - 14294312 = -116*x. Is x a composite number?
True
Is ((-1)/(-4)*-10 + 0)*(-12972912)/120 a composite number?
False
Let m be 403 + 57 - 3*2. Suppose 3*h - b - 2054 = 0, -b - m = -h + 234. Is h composite?
False
Suppose -o - 14 = -2*y, 43*o - 8 = 47*o + 4*y. Is (-2)/o + ((-1474)/(-6) - 9) a prime number?
False
Let u be -3*(-1 + (-254)/3). Let g = -611 + 645. Let p = u - g. Is p a prime number?
True
Suppose -2671 + 61 = -3*h. Let c(d) = -d**3 + 22*d**2 - 23*d + 45. Let k be c(21). Suppose 4*r - 1879 = -p + h, -5443 = -2*p + k*r. Is p a composite nu