246 + 859 = o. Is g prime?
True
Suppose 6*o - 4750857 = -3*c, 2*c - 1796655 = 2*o + 1370577. Is c composite?
True
Let c = -7063 - -7071. Let x(a) = a - 1. Let o(f) = -316*f + 54. Let z(d) = -o(d) - x(d). Is z(c) a composite number?
False
Let q be (-2*(-2)/(-10))/(24/(-4476240)). Suppose -2*v - m = -0*m - 9, -v - 2*m + 6 = 0. Is v/18 + q/108 prime?
True
Suppose -3*s = -2*s - p - 8, -s - 2*p = 4. Let f be 2 + 2/s - (-15)/(-30). Suppose v = 4*h + 1851, -3180 - 509 = -f*v - 5*h. Is v prime?
True
Let x be 2/4*14*40/8. Let r be (x/(-21) - 0)/((-1)/3). Suppose -r*f = q - 1916, 0 = -3*q + 3*f + f + 5805. Is q a composite number?
False
Suppose 5*h - h - 1754 = -3*z, 3*h + 3*z - 1317 = 0. Suppose 4*p = -6*x + 7*x - h, p - 462 = -x. Is x/((-8)/48 - (-2)/4) a composite number?
True
Let y(w) = 40*w**2 - 98*w - 7. Is y(-9) prime?
False
Suppose -153*t + 16176770 = 4729157. Is t a prime number?
True
Let b(q) be the third derivative of q**5/60 + q**4/6 - q**3/3 - 2*q**2 + 304. Suppose 0*c - 5*c - 54 = 3*f, 2*c - 20 = 2*f. Is b(f) composite?
True
Let u(x) = 4*x**2 - 6*x + 29. Let a(t) = -8*t**2 + 14*t - 57. Let r(n) = 2*a(n) + 5*u(n). Is r(14) prime?
True
Let o = -73210 - -262803. Is o a composite number?
False
Suppose -5*l + 681060 = 551*i - 556*i, -l + 2*i = -136207. Is l a prime number?
True
Let m(s) = 34*s - 5. Let a = -2 + 22. Suppose -5*l = 2*u - a, 3*l - 3*u - 21 = 2*l. Is m(l) composite?
False
Let i(m) = 28562*m + 355. Is i(20) a prime number?
False
Let i = 129700 - 49679. Is i a prime number?
True
Suppose 13*h - 21714 = 6*h. Let j = h - 1396. Is j a prime number?
False
Let b(u) = u. Let f(a) = -2*a + 5. Let z(k) = 3*b(k) + f(k). Let s be z(-2). Suppose -3*x + s*c = -2724, -x - 34 = -5*c - 946. Is x a prime number?
True
Is (-53)/265 + 2/7 + (-4461832)/(-35) composite?
False
Let j(q) = -79*q - 94 + 32*q + 70*q**2 + 2*q**2 + 42*q. Is j(11) composite?
False
Let i(o) = o**3 + 17*o**2 + 5*o - 11. Let z be i(-13). Let s = -27 + z. Is s composite?
True
Suppose 6*a = 4*a + 4. Let j(t) = -3 + 72*t + 16 - a. Is j(6) a prime number?
True
Let n = -58 + 40. Is ((-8)/(-6))/((-8)/n) + 3688 a composite number?
False
Is ((-3407)/6)/(2/(-852)) a composite number?
True
Let u(f) = 5722*f**2 + 8*f - 3. Is u(2) a prime number?
True
Let c be 54/9*(-4)/(-6). Suppose 3*g - 19 = -c. Suppose -t - 4*t = k - 155, 0 = -g*t + k + 155. Is t a composite number?
False
Let o(d) = 768*d**2 + 133*d - 846. Is o(7) prime?
True
Suppose 5*d + 10076 = 3*f, -5*f = -2*f + d - 10052. Suppose -2*w - 3*b + f = 3*w, 5*b = -w + 666. Is w a composite number?
True
Let b(l) = 57*l - 2776. Let g be b(42). Suppose 5*v + 5*y = 3*y + 185, -2*v - y = -74. Let o = v - g. Is o prime?
True
Suppose -3*n = 5*d - 23, 14 = 8*d - 4*d - 2*n. Is 13*(d/(-4) - -2) prime?
True
Let q(z) = -12*z**3 - 15*z**2 - 9*z + 33. Let g be q(-12). Suppose g = 12*r + 5*r. Is r a prime number?
False
Let t = 260776 - 147162. Is t a prime number?
False
Let a(i) = 6*i**2 + 46*i - 8. Let s be a(-14). Let g = -230 + s. Let v = 453 - g. Is v composite?
True
Suppose -s - 46700 - 16290 = -y, 125983 = 2*y - s. Is y a composite number?
True
Let y(d) = -d**3 + 11*d**2 - 5*d - 42. Let o be y(10). Suppose o*v = -v + 513. Is v a prime number?
False
Let i = 20829 + 9782. Let s = -20304 + i. Is s a prime number?
False
Let f(h) = -30*h**3 - h**2 - h + 3. Let d be f(-2). Suppose 2*g - d = 211. Let z = g + -81. Is z a composite number?
True
Suppose -6*r = -1630 + 592. Let g = 506 + r. Is g a composite number?
True
Let j = -210 + 212. Suppose -j*n = -1198 - 1740. Is n a composite number?
True
Let u be (-2)/((-8)/28)*4. Suppose u - 50 = -2*j. Let x(n) = n**3 - 8*n**2 + 19*n - 15. Is x(j) a composite number?
False
Let b(s) = -24*s + 10. Let f be b(-3). Let v = 449 + f. Suppose -5*t + v = -779. Is t a composite number?
True
Suppose -240 = 13*h - 29*h. Let o = 44 + -45. Is o + h/12 - 3030/(-8) prime?
True
Suppose -2*t = d, -4 = d - 4*t - 10. Suppose -d*n = p - 3642, -24*p + 22*p = -n + 1821. Is n composite?
True
Suppose -l = -4*d + 25, d - l = 2 + 8. Let y = d + 6. Suppose -7*b - 1348 = -y*b. Is b composite?
False
Suppose 284*o - 3*a + 339248 = 288*o, 2*a + 84823 = o. Is o a composite number?
True
Suppose 9*i + 2*j = 390479, -7*j + 11*j + 130169 = 3*i. Is i a composite number?
True
Suppose -2*f = -2188 - 674. Suppose -2*z - 5*u + 1675 = -f, -3*u + 12 = 0. Is z composite?
False
Suppose 5*n - 53 = -4*p, 5*n - 4*n = -4*p + 17. Suppose -861 = l - n*m + 4*m, -5*l = 5*m + 4335. Let v = -565 - l. Is v prime?
False
Suppose -19*p + 67933 = -115039 - 213007. Is p a prime number?
False
Let n be (-1)/(4/10 - 18/30). Suppose 3*t - 34 = t - 2*w, 3*w - 81 = -n*t. Suppose 3*z = 432 + t. Is z a composite number?
False
Let u = 298 + -308. Is 108175/u*(-2)/5 a composite number?
False
Let b(p) = -p**3 + 12*p**2 - 12*p + 7. Let u be b(11). Suppose 0*r = -4*r + 52. Is r/(-52) + (-53)/u composite?
False
Let z(l) = -169*l + 142. Suppose 85 = -16*h - 123. Is z(h) a prime number?
True
Suppose 0 = -3*h - 27, -5*c + 9*h + 1520200 = 14*h. Is c prime?
True
Let u(a) be the second derivative of 217*a**5/20 + 3*a**4/4 + a**3/3 + 5*a**2/2 - 49*a. Is u(3) prime?
False
Suppose -4*w - 6942 = -5*o + 5374, -15395 = 5*w - o. Let c = w + 5534. Is c a composite number?
True
Let v = 25492 + -7909. Is v a prime number?
False
Let p(c) = -c**3 + 7*c**2 + 17*c + 5. Let i(n) = -2*n**2 + 31*n - 33. Let z be i(14). Let y be p(z). Let s(m) = -42*m + 37. Is s(y) a prime number?
False
Let y(u) be the first derivative of 79*u**3/3 - u**2 - 4*u + 6. Suppose -13*c - 3 = -42. Is y(c) prime?
True
Let w(y) = -5*y. Let g be w(-5). Suppose -g*d + 23*d = 0. Suppose -l = l - u - 388, d = 4*u. Is l composite?
True
Let k(m) = 3*m**2 - 26*m - 60. Let f(c) = 9*c**2 - 79*c - 181. Let r(q) = -2*f(q) + 7*k(q). Suppose -85*u = -82*u + 81. Is r(u) prime?
True
Let h(m) = 4*m - 19. Let v be h(7). Suppose -3*o + 0*o = -v. Is (o/2)/((-24)/(-608)) prime?
False
Let v(l) = 28*l**3 + 8*l**2 - 10*l - 42. Let n be v(10). Suppose -20*h + n = 5118. Is h a prime number?
False
Let a(c) = 51*c + 54*c - c**2 + 18946*c**3 + 2*c**2 - 1 - 104*c. Is a(1) composite?
False
Let m = 54 - 51. Let k be (-1)/((m/(-8))/3). Is ((-2756)/k + 3)/((-3)/6) composite?
False
Is (3/9 + 2/(-3))/((-61)/39319197) a composite number?
True
Let j = -810 + 1028. Let a = -168 + 93. Let q = j - a. Is q composite?
False
Suppose -30 = -2*x + 88. Let l = x - 44. Is 193/1 + -3*10/l a prime number?
True
Suppose 43*c = -38 - 91. Let x(d) = -5*d**3 - 2*d**2 + 3*d + 11. Is x(c) a prime number?
False
Suppose -25 - 16 = -3*f + 2*v, f + 3*v + 1 = 0. Suppose 3*i - f = s, 3*s + s - 8 = -i. Is ((-332)/(-12))/(5*i/300) prime?
False
Let r = 46795 - -200028. Is r composite?
True
Let d be (1/(-3))/(9 + (-537756)/59751). Is (-2)/(d/(-1329) + -5) prime?
True
Let d(w) = 57*w - 10. Let h(b) = -28*b + 5. Let j(t) = -3*d(t) - 5*h(t). Let k(o) = -o**3 - 3*o**2 + 20*o + 6. Let l be k(-6). Is j(l) a prime number?
True
Suppose -5*i + 0*k + 14 = 3*k, 0 = -k - 2. Suppose 0 = -u + 2*n - 3*n, 1 = -i*u - 5*n. Is ((-22)/2)/(3/(u - 40)) composite?
True
Is 1/((-9)/(7655490/(-10))) prime?
True
Let a(v) = -16*v**3 - 5*v**2 - 14*v - 177. Let r(n) = -2*n**2 - 13*n - 14. Let l be r(-6). Is a(l) composite?
True
Let z be (8/(-10))/(1 - (-12)/(-20)). Let m be 8502/(1 + 2/4). Is m - 5/10*z a prime number?
True
Is 2 + (2 - -1) - (100 + -5904) composite?
True
Suppose -172911 = -43*r + 363256. Is r a prime number?
False
Suppose 11*f - 148 = 7*f. Let x = -30 + f. Suppose -x*y = -1162 - 21. Is y a composite number?
True
Suppose 5*f - 16 = 6*f - 4*b, 8 = 2*f + 2*b. Suppose -28*l + 8*l + 4740 = f. Is l prime?
False
Let c(d) = 84*d**2 - 3*d + 5*d - d - 4*d**2 + 54. Is c(-7) a prime number?
True
Let y = -231 - -225. Is -1*(-3)/y - 26825/(-74) prime?
False
Suppose 538*c = 510*c + 2006564. Is c prime?
True
Suppose 2*h + 4*x = 0, -3*x - 1 = -2*h + 6. Suppose -5*j - 164 = -h*y, 0*y - 79 = -y + j. Is y a composite number?
True
Suppose 983*l + 13190518 = 1105*l. Is l prime?
False
Suppose 0*y - 3*y = 300. Let x be (6/(-5))/(8/y). Let d = 272 - x. Is d prime?
True
Let r = 4321 - 7404. Let f = 1866 + r. Let y = -798 - f. Is y a composite number?
False
Suppose 2*b - d + 31 = 87, 2*d + 8 = 0. Let a = b + 5927. Is a prime?
True
Let i =