 5*t - 494818 = 3*d, 26*d = 2*t + 24*d - 197928. Is t prime?
True
Suppose -j - b - 42 = -5*j, -20 = -3*j - 5*b. Suppose -19*l + j*l = -34119. Is l a composite number?
True
Is (-106755)/9*144/(-240) prime?
False
Suppose 2*k - 1 = -4*w - 3, 3*w - 3*k = 21. Suppose 3*i + 2*g = 28039, -6141 - 12549 = -w*i - 2*g. Is i prime?
True
Is 3*(381624/(-36))/(-2) a prime number?
True
Let p be 3/(-7) + (-231520)/224. Let s = p - -2203. Is s a composite number?
True
Suppose -3*t + f = -3*f + 25, -4*t - 2*f = 26. Let o be -1 - (4 + t) - -3. Is 1 + 0/o + (-315)/(-3) composite?
True
Suppose 14*d + 72 = 16. Is 1686 + -5 + 8 - d a composite number?
False
Let j(l) = -382940*l**3 + 2*l**2 + 34*l + 31. Is j(-1) prime?
True
Is -2 + 2 - (79 + -377) composite?
True
Let p = -50800 + 120477. Is p a prime number?
True
Suppose 3*b + 5*q - 4 = 7, 2*b - 2*q = 2. Suppose -4*l + 19 = -1. Suppose b*o = -j + 527, o - l*o + j = -1063. Is o a prime number?
False
Suppose 0 = 7*z - 994043 + 43072. Is z composite?
True
Let a(v) = -10*v + 46. Let t be a(-19). Let w = 16 + -11. Suppose -t = w*i - 9*i. Is i a composite number?
False
Suppose 0 = -14*j - 11*j + 34*j - 1650717. Is j composite?
True
Let c = -47 + 49. Let y be c/4*(-3 - -587). Is y + 3/(-6)*-2 a prime number?
True
Let j be 1*(2/5 + 2/(-5)). Suppose 11*o = 6*o + 4*h + 1297, -2*h - 6 = j. Is o composite?
False
Let t = -54182 + 105857. Is ((t/9)/5 - -4)*3 composite?
False
Let z be (-6 + 4)*-6 - 2. Let s = 14 - z. Suppose -s*y + 5*y - 963 = 5*f, 3*y - 2*f - 2863 = 0. Is y prime?
True
Let v = 225237 - 127466. Is v prime?
True
Let s be 28 + (3 - (0 + 7)). Is (9/(-3) + 24)*2872/s a composite number?
True
Let w = -9 - 0. Let h be (w/6)/((-3)/30). Is 539/3 - 10/h composite?
False
Let i be (-100)/(-26) + (2 - 48/26). Suppose -i*x = -11386 - 2634. Suppose -6*n = -n - x. Is n prime?
True
Let a = -146777 + 383314. Is a a composite number?
True
Suppose -12 = 664*m - 670*m. Suppose 5*j = -m*a + 15264, 3*a + 4*j = 2*a + 7626. Is a a prime number?
False
Let u(a) = -2*a + 9. Let z be u(4). Is 5/(-6 + z) - -4692 a composite number?
False
Is ((-9)/99)/(36/(-1208730996)) a composite number?
False
Let i(m) be the first derivative of 83*m**3/3 - m**2 + 16*m + 44. Is i(5) prime?
True
Suppose 8*c + 8 = 12*c. Suppose 0 = -3*g - g - 2*l - 18, -c*g = -5*l - 9. Is (g/(9 - 3))/((-1)/1358) a prime number?
False
Suppose -68*i + 677851 + 2785185 = 0. Is i prime?
False
Let a(s) = -1818*s - 15. Let b be a(-4). Let z = b + -4188. Suppose -f - 2*h + 2615 = 0, 3*h + z = 3*f - 4749. Is f prime?
True
Suppose 16 + 9 = 5*o, 2*t + 12 = 4*o. Suppose h + j - 4*j + 541 = 0, 1062 = -2*h - 4*j. Is t/6 + h/(-3) + -1 a composite number?
True
Let m = 202206 - 69175. Is m prime?
False
Let p(n) be the first derivative of n**5/60 - n**4/24 + 445*n**3/6 + 3*n**2 - 11. Let i(t) be the second derivative of p(t). Is i(0) a composite number?
True
Let o(j) = j**2 + 1. Let h(m) = -11*m**2 + 11*m - 33. Let b(i) = h(i) + 3*o(i). Let u(k) = 7*k**2 - 11*k + 29. Let z(d) = 5*b(d) + 6*u(d). Is z(9) prime?
False
Let p be ((-596)/6)/((-18)/621). Let l = -619 + p. Suppose -5*b - 353 = -l. Is b composite?
False
Let p(v) = 2127*v**2 + 11*v - 161. Is p(5) a composite number?
False
Let q(v) = 367597*v - 2855. Is q(4) prime?
True
Is (-504)/(-1176)*(-2163049)/(-3) prime?
True
Let a(k) = -k**3 - 11*k + 19. Suppose -11*s + 9*s = 6, 5*s = -3*z - 63. Let c be ((-52)/z + -3)*-44. Is a(c) prime?
True
Is ((-275)/165)/((-5)/215691) composite?
True
Suppose 5*u + 0 = 4*q + 56, -58 = 2*q + 5*u. Let m = 21 + q. Suppose m*h - 1094 - 132 = 0. Is h prime?
True
Let p = 118 - 102. Suppose 0 = 4*b + 2*m - 9924, 0 = -6*m + 2*m + p. Is b composite?
True
Suppose m + 5*r = -4, m = -2*r + 4 - 5. Is (m + 3/(-2))*-6718 a prime number?
True
Suppose 60*l - 3758624 = -773084. Is l a prime number?
False
Suppose -2*k + 26 = 4*j + j, 4*j = 5*k + 1. Suppose 2*u - k*w = w + 5902, -8856 = -3*u + 3*w. Is u prime?
True
Let h be (-1)/4 + (-1108308)/48. Let k be (-3)/(105/h) - (-4)/14. Let q = k + -325. Is q composite?
True
Suppose 30935 = -47*x + 6*x + 82144. Is x a composite number?
False
Let q(f) = 343*f + 29. Let z(x) = 1372*x + 117. Let j(t) = -9*q(t) + 2*z(t). Is j(-2) composite?
False
Let o = 842 - 595. Suppose 5*m = -2*a + 5*a + 149, -o = 4*a + 3*m. Let g = -23 - a. Is g a prime number?
False
Suppose 13*j - 39*j + 104 = 0. Suppose 0*y = -3*y. Suppose y = 4*k + j*m - 864, -3*k + 2*m - 375 = -1048. Is k composite?
True
Suppose -72*u - 34*u + 32888938 = 0. Is u a composite number?
False
Is 630758 - (32 - 22) - (0 - 7) composite?
True
Let k(r) be the second derivative of 7*r**6/360 + r**5/15 + 11*r**4/24 - 17*r**3/3 - 23*r. Let z(s) be the second derivative of k(s). Is z(-14) composite?
True
Let v(o) = 313*o**2 - 65*o + 163. Is v(-16) prime?
True
Let h(s) = s**3 + 10*s**2 + 12*s + 15. Let v be h(-7). Let o = -1142 - 263. Is o/2*v/(-65) composite?
True
Let g(d) = -94*d. Let k be g(-2). Let i(f) = 62*f**3 - 3*f**2 + 5*f - 3. Let u be i(2). Let n = u - k. Is n composite?
True
Suppose 0 = 25*t - 36304 - 41846. Suppose -y = z, 7*z + 24 = y + 2*z. Suppose 3*x + 6095 = 5*j, -1750 = -y*j - 3*x + t. Is j a composite number?
True
Let h(t) = t**2 + 17*t + 5. Let j be h(-18). Suppose -3*w = 4*x - 24, 3*w - j = -3*x - 5. Is (2 - 8/x)/(12/17406) composite?
False
Let n(k) = k**3 + 5*k**2 + 4*k - 1. Let l be n(-3). Suppose y - v = 10427, 3*v + v - 52135 = -l*y. Is y prime?
True
Suppose 7*p - 8*p + 2*t = 1541, -3*t + 15 = 0. Let d = p - -2604. Is d composite?
True
Is (-28 + 7)/21 + 104731 + 1*-1 prime?
True
Let d = -192 + 200. Is d/(-4 + 0)*(-13964)/8 a composite number?
False
Let f(x) = -6541*x + 9537. Is f(-16) a prime number?
True
Let o = 47775 + -10378. Is o composite?
False
Let t be (-60)/24*12/(-15). Suppose 2*n = t*p + 4094, 4*n - 2*p - 8220 = -6*p. Is n composite?
True
Suppose -13185*d + 13830672 = -13137*d. Is d a prime number?
False
Suppose 2*j + 40*j = 9601116. Is j a composite number?
True
Is (2268281/23 - (-4)/46)*2/2 composite?
False
Let r(i) be the third derivative of i**6/16 + i**5/30 + 23*i**4/24 - i**2. Let j(g) be the second derivative of r(g). Is j(3) prime?
True
Suppose -99*u - 11875300 = -199*u. Is u a prime number?
False
Suppose -93*b + 88*b = -118855. Suppose 100657 = 4*c - b. Is c a prime number?
False
Suppose 3*i = 8 + 4. Let n = 728 - 766. Is (-99020)/(-76) - i/n a prime number?
True
Let x(g) = g**3 + 7*g**2 - 10*g - 14. Let n(m) = -7*m**2 - 4*m + 3. Let u be n(1). Let b be x(u). Is 1082/12*b*3 prime?
True
Is (98/36 - 8/36)*112394 composite?
True
Suppose -119*f + 6285184 = 9*f. Is f a composite number?
False
Let r(h) = -h**3 + 21*h**2 - 17*h - 56. Let b be r(20). Suppose -10*q - 1472 = -b*w - 5*q, w - q = 369. Is w prime?
True
Let q(l) = -631*l + 1053. Is q(-8) a composite number?
False
Let o(p) = -433*p - 707*p - 6 + 61*p - 31. Let b be o(-6). Suppose -6*k + 1921 = -b. Is k prime?
False
Suppose -3*x + 9 = -9. Suppose 4*a + 3*q - 12 = 0, 2*a - 8 = 3*q - 20. Suppose -h - 8470 = -x*h + 5*n, 5*h - 4*n - 8469 = a. Is h composite?
False
Let h(z) = z**3 - 4*z**2 - z + 25. Let m be h(6). Suppose 142 = r - m. Is r a composite number?
False
Let p(w) = 190*w - 13. Let a(j) = -382*j + 26. Let k(x) = -4*a(x) - 7*p(x). Is k(1) a composite number?
True
Let s(i) be the first derivative of -69*i**2/2 + 20*i - 3. Suppose 3*f + 2*f - 3*q + 70 = 0, -5*f + 4*q = 75. Is s(f) prime?
False
Is (-30)/55*(-231792)/96*(-89)/(-3) a composite number?
True
Suppose -294*c + 7131176 = -4049350. Is c a prime number?
False
Let i(s) = 24248*s + 481. Is i(11) composite?
True
Let g(b) = -12*b**3 + 7*b**2 + 9*b - 12. Let s be g(7). Let u = -1995 - s. Is u a prime number?
False
Suppose 15013 = 1045*z - 1044*z. Is z prime?
True
Suppose 0 = 3*l + 4*c - 17, 1 + 2 = -l + 3*c. Is (-6 + 5)/(l - 2)*-12289 composite?
False
Suppose -6*j - 5 = 7. Let f be (-7)/((-7)/(-1304)) + j. Let m = f - -2015. Is m prime?
True
Let s(f) be the first derivative of 7*f**6/90 + f**5/40 + 5*f**4/12 + 4*f**3 - 10. Let u(h) be the third derivative of s(h). Is u(-3) composite?
True
Let j(a) = 4*a**2 - 6*a - 7. Let o be j(-2). Suppose o*i = 23926 + 82145. Is i a composite number?
False
Let f(c) = -22362*c - 1271. Is f(-4) composite?
False
Let h(o) = -6*o - 3. Let i be h(-1). Suppose j - 