 composite number?
True
Suppose 9*f - 27801 + 4320 = 0. Is f a prime number?
True
Is 2 + (118860/100 - (-2)/5) a prime number?
False
Is (-2078)/(-4*(-2)/(-4)) a prime number?
True
Is (1/(-5))/((-11)/898315) a prime number?
True
Let r = 1 + 8. Suppose 4*b = j + 7, -12 - r = -2*b - 3*j. Suppose 5*k = 5*x + 849 + 1421, 5*k - 2230 = -b*x. Is k a composite number?
False
Suppose 9*x - 50 = 4*x. Suppose 2*p + 2*c + 38 = 0, 5*c - x = -2*p + 4*p. Is 7/((-3 - 0)/p) composite?
True
Let n(c) = -c**2 + 4*c + 3. Let z be n(4). Suppose -208 = -z*o - o. Suppose -i = -25 - o. Is i composite?
True
Is (-12 - -10) + -5 - -22440 a prime number?
True
Let f be 3 - 1 - (-4)/(-1). Let p(v) = -168*v - 5. Is p(f) composite?
False
Let i = -15073 - -10708. Let l = i - -8614. Is l composite?
True
Let w(x) = 95*x**3 - x. Suppose 6*h - 2*h - 4 = 0. Is w(h) a prime number?
False
Let f = 181 - 290. Let k = 4 - f. Is k a prime number?
True
Suppose -j + 178 = 3*w, 3*j + 133 + 29 = 3*w. Is w*(-2)/((-2)/1) composite?
True
Let i = -3906 + 9377. Is i a prime number?
True
Suppose 23*u - 227860 = 19*u. Is u prime?
False
Suppose -7*t = s - 6*t - 42505, -s = 2*t - 42505. Is s composite?
True
Let b be -42*-14*(-75)/20. Let t = 3422 + b. Is t a prime number?
True
Let y(c) = c**3 + 16*c**2 - 18*c - 6. Let j be y(-12). Suppose 0 = -4*h - h + 1995. Suppose h = 5*v - j. Is v a composite number?
True
Suppose 6*i = 7*i - 1749. Suppose 0 = -2*k + 5*z + i, -6*z + 4*z - 4425 = -5*k. Is k composite?
False
Suppose -2 = x, 9859 = 5*a + 3*x - 0*x. Is a composite?
False
Let t(r) = -26239*r + 70. Is t(-1) prime?
True
Suppose -w + 1 = -3. Suppose -4*m + 2*n + 12 = 0, -5*m + w*n = -m - 16. Is m composite?
False
Let a(h) = -h**3 + 24*h**2 + 32*h - 2. Let l be a(26). Is ((-2)/(-6))/((-1)/l*3) a prime number?
False
Let j(i) = -6*i**3 - 3*i**2 + 7*i + 6. Suppose 0 = f - 6*f. Suppose f = -o - 4*g + 12, -3*g + 1 = -11. Is j(o) prime?
False
Suppose 0 = 6*f + 4*f - 6330. Is f a composite number?
True
Let f be (-8)/(144/30)*-21. Suppose 3*s = 5*i + f, 3*s - 7 = -3*i + 20. Is s composite?
True
Let m(v) = -467*v**3 + 4*v**2 - 2*v + 23. Is m(-4) prime?
True
Let d = 14 - 10. Suppose d*r - 6*r = -226. Is r a prime number?
True
Suppose -2*r = 17 + 643. Let j = -135 - r. Suppose 0*n = -4*x + 5*n + j, 0 = 4*x + 5*n - 245. Is x composite?
True
Suppose 4*a + 26 = -22. Let l(v) = -5*v - 8*v**2 + 9*v**2 - 10*v - 17. Is l(a) a composite number?
False
Let r(w) = 4*w**3 + 44*w**2 + 66*w - 29. Is r(14) composite?
True
Let x = -9 + 13. Suppose x*p - 5 = -9. Is (-49)/28*(p - 7) composite?
True
Let u = -1930 - -4011. Is u a composite number?
False
Suppose -190*b - 25784 = -198*b. Is b a composite number?
True
Let v(a) be the third derivative of a**6/120 + 161*a**3/6 - 3*a**2. Is v(0) prime?
False
Let t(z) = z**2 + 4*z - 1. Let l be t(-5). Let j(y) = 29*y**2 - 4*y + 4. Let n be j(6). Suppose 3*h + 4*w - w = 774, 4*h - l*w = n. Is h prime?
True
Let s(t) = 29*t - 17. Suppose 5*k + 70 = 5*y, -4*k - 6 = -k. Is s(y) a composite number?
False
Let y(r) = -236*r**2 - 2*r - 2. Let h(m) = 118*m**2 + m + 1. Let d(x) = -5*h(x) - 3*y(x). Is d(-1) composite?
True
Let i(h) = -4*h + 8. Let o be i(-2). Is -2 - (-4)/(o/3580) a prime number?
False
Suppose -2*q + 6 = -14. Suppose -8*p + q*p - 206 = 0. Is p a composite number?
False
Suppose 0 = 4*v - 5*v - 4*n + 15, -3*v + 19 = -n. Suppose -v*y = -6*y - 176. Suppose -r + 4*r - 585 = -4*i, r - y = 5*i. Is r a composite number?
False
Suppose 4*g - 7*b + 4*b = 35, -4*b + 36 = 5*g. Suppose 0 = -g*x + 15*x - 1561. Is x a prime number?
True
Let q(y) be the second derivative of 7*y**3/6 + 597*y**2/2 + 14*y. Is q(0) prime?
False
Let m(z) = z**2 + 265 + 3*z - 6*z - 12*z**3 - 274. Is m(-4) composite?
False
Suppose 0 = -2*f - 3*n + 44, -2*f + n + 44 = 3*n. Let j = f + -18. Suppose k + j*d = 691, -5*k - d + 1410 = -3*k. Is k a prime number?
False
Let y(v) = -v + 5. Let f be y(5). Suppose f*c = -4*c + 5*m + 27, -4*m + 20 = 0. Is c a composite number?
False
Let g(o) = 16*o**2 - 2*o - 8. Let h be g(-7). Let r be -3 - ((-3)/((-6)/(-38)) + -2). Is (r/15)/(4/h) prime?
False
Let l be 1029/6 + 3*(-3)/(-18). Let j = 127 + l. Is j a composite number?
True
Let b = 47660 - 15599. Is b a prime number?
False
Is 10192 - ((-2)/(-6) + 114/(-18)) a prime number?
False
Suppose -3*h + 6*h - 48479 = -4*q, 4*q = 3*h - 48439. Is h prime?
False
Suppose -q = a - 2061, 0 = 6*q - 9*q - 4*a + 6182. Is q composite?
True
Suppose 2*t + 3*u - 32594 = 0, -4*u + 7*u + 48861 = 3*t. Is t a prime number?
False
Suppose -4*z = 16, m - 5*z = 30 - 1. Let k(o) = 2*o**3 - 12*o**2 - 12*o + 9. Let j be k(m). Suppose 0 = -5*y - 2*n + 957, -2*y + 0*y = 5*n - j. Is y prime?
True
Let g(i) = -6*i + 6. Let h(z) = 2*z - 2. Let f(x) = -6*g(x) - 17*h(x). Is f(12) a composite number?
True
Suppose -2174 = -3*s + s - y, 5*y + 3261 = 3*s. Is s prime?
True
Suppose -325*n - 3207 = -328*n. Is n a prime number?
True
Suppose 67 = 2*r + 1. Suppose 5*c - 39 = -w, -3*c + 0*w + r = 3*w. Suppose 0 = -c*t + 5*t + 102. Is t prime?
False
Let s(b) = 39*b**2 - 19*b - 5. Let x(p) = 79*p**2 - 39*p - 11. Let m(g) = 9*s(g) - 4*x(g). Let l(q) be the first derivative of m(q). Is l(4) a prime number?
False
Let a = -120 - -127. Is (-7)/(a/(-1194)) + -8 + 9 prime?
False
Let k be 13 - 16 - (-1 - 5). Suppose -2936 = -5*j - k*q, 2*j + 5*q - 2*q - 1169 = 0. Is j a prime number?
False
Let f = -582 - -858. Suppose -7*w + 3*w + f = 0. Is w composite?
True
Suppose -5*z + 115 = -5*g, 0 = -5*g - 5 - 0. Suppose o - 5 - z = 0. Suppose a - o - 196 = 0. Is a a prime number?
True
Suppose 0 = 66*m - 124681 - 243797. Is m prime?
False
Let d = 11901 - 7235. Is d a prime number?
False
Is 32/(-112) - 34094/(-14) a composite number?
True
Let l(d) = 34*d**2 + 9*d + 6. Suppose 4*c - 38 = -10. Is l(c) composite?
True
Let a(t) be the third derivative of 107*t**4/6 + 15*t**3/2 - 20*t**2. Is a(4) a composite number?
True
Suppose -19*t - 104373 = -28*t. Is t a composite number?
False
Let l = 17121 - 12100. Is l composite?
False
Let n(a) = -a**2 + 4*a - 4. Let z be n(2). Suppose z = -6*v + 348 + 1206. Is v prime?
False
Let i be 28*((-6)/(-6))/((-2)/(-52)). Let t = -73 + i. Is t composite?
True
Let g be (-42)/(-105) + 2/(-5). Suppose g = -2*s - 2, -2*q + 3*s + 2156 = -q. Is q composite?
False
Suppose -3*w - 3*n + 83375 + 72778 = 0, 3*n - 104102 = -2*w. Is w composite?
False
Suppose -8 = -7*p + 6. Suppose p*z - 42 = -0*z. Is z a composite number?
True
Let p(i) = i**3 - 2*i**2 + 3*i - 1. Let t be p(2). Suppose t*x - 234 = -x. Is x composite?
True
Let x be (1 + -2)*2 - 0. Let j(d) be the third derivative of -73*d**6/120 + d**5/30 + d**4/8 + d**3/6 - 16*d**2. Is j(x) composite?
False
Suppose 9684 = 2*y + 2*y. Let d = 3680 - y. Is d composite?
False
Let f(z) = 10*z**2. Suppose 2 = -p - p. Let b be f(p). Suppose x - 757 = -2*n, -2*x + b = -2*n + 770. Is n a prime number?
True
Suppose -k = -2*k + 37. Let b(j) = 2 + k*j - 7*j + j. Is b(5) a prime number?
True
Let n(r) = -196*r**3 - 8*r + 1. Let b be n(-3). Let j = b - 3478. Is j prime?
False
Let q(y) be the third derivative of y**5/20 - 5*y**4/24 + y**3/6 + 5*y**2. Is q(6) composite?
False
Let h = -26 + 42. Suppose -b - 4*s - s - 16 = 0, 0 = -2*b + 2*s + h. Suppose 2*z = -b*f + 364, -3*f = 2*z + 17 - 292. Is f a composite number?
False
Let i(z) = z**2 - 6*z - 11. Let l be i(8). Suppose -4*x - 5*h = -0*h - 3154, x - 801 = l*h. Is x composite?
True
Suppose 0 = v + 2, 4*w - 14 = 2*v - 3*v. Suppose -w*c + 2*i = -3*i - 9408, 4*c = -2*i + 9408. Is (-3)/(-15) - c/(-15) prime?
True
Let s = 111662 - 69429. Is s a composite number?
True
Let a = -252 - -458. Suppose k = -k + a. Suppose -x - 3*y + k = -190, -3*x = -3*y - 855. Is x a composite number?
True
Is -2063*(5 + (-7 - -1)) prime?
True
Let n(t) = 85*t + 50*t - 23*t + 0 - 1. Is n(2) a composite number?
False
Suppose 128 - 52 = -4*w. Let u = w - -22. Suppose -u*h - 6925 = -8*h. Is h composite?
True
Let f(g) = 3720*g**2 + 6*g - 17. Is f(3) prime?
False
Suppose 8 = -0*d + 4*d, -5*o - 4*d = -738. Suppose -52 = 2*b - o. Is b a composite number?
False
Let v be -4 - -4 - (2 + -2). Suppose v + 25 = 5*s. Suppose 327 = -2*l + s*l. Is l composite?
False
Suppose 2 = -5*k - 13. Let g be (-2 - -2)/k - -265. Suppose 3*j - 426 = -5*t + 25, -j = -3*t +