et t(o) = o. Let j(l) = k(l) - 6*t(l). Is j(-6) a prime number?
True
Suppose -s - 4*w + 25 = 2*s, -w = s - 8. Let j(l) = s - 14*l**3 - 2*l + l**2 + l + 3*l - 4. Is j(-2) a composite number?
True
Suppose -5412 = -17*f + 20241. Is f prime?
False
Suppose -3*s + 7*s + 8 = 0. Let n be 0*s/12*-3. Suppose 0 = -v - 5*j + 163, n = 3*v - j + 5*j - 489. Is v a composite number?
False
Let o(h) = -h**3 + 10*h**2 + 13*h - 13. Let a(f) = f**3 + f + 1. Let i be a(2). Let y be o(i). Is 1519/y - 10/(-45) a prime number?
False
Suppose 2*d = 2*y + y - 9, 3*d = 0. Suppose -h - 5*n - 49 = -y*h, 54 = 2*h - 4*n. Is h composite?
False
Let f(l) = 3*l**2 - 11*l - 4. Let t be f(8). Suppose -c + t + 91 = 0. Is c composite?
False
Suppose 7*m - 10 = 2*m. Suppose 7 = 3*v - m. Suppose 1103 = 5*j + 3*u - u, -3*u - 645 = -v*j. Is j a prime number?
False
Suppose 3*u + 172 = -59. Is 33/u + 4864/14 composite?
False
Suppose -7*r + 3*q + 507 = -5*r, 0 = -r + 3*q + 258. Is r composite?
True
Let r = 346 + 741. Is r a composite number?
False
Let z = 11278 + -3756. Is z prime?
False
Let b be -3 + 4 - (-3 - 0). Suppose -f + 1445 = b*f. Is f prime?
False
Let m be 22/3 - 1/3. Suppose -2597 = -18*w + 9193. Suppose -m*k = -2*k - w. Is k composite?
False
Let o be 9/(252/(-40))*-7. Let j be ((-43)/(-5))/(2/10). Let v = j + o. Is v prime?
True
Let i be 16 + 4855 - (-4 - -1). Suppose 3*j = -0*g + 5*g + 7311, -i = -2*j - 2*g. Is j a composite number?
False
Let x(r) = -82*r + 3. Let o(c) = c**3 + 20*c**2 + c + 7. Let u be o(-20). Is x(u) a composite number?
False
Let x = -12 + -1. Let h be (10/8)/(x/52). Is h/(60/(-892))*3 prime?
True
Let t(s) = -s**2 - 29*s. Let q be t(-21). Suppose 0 = -3*g + 621 + q. Is g prime?
True
Suppose -20 + 146 = 9*d. Suppose -12*y = -d*y + 970. Is y a prime number?
False
Let g be (-193 - 0/1)*(39 - 77). Let i = g + -4755. Is i composite?
False
Let m be (234/(-12))/(1/(-2)). Suppose 0 = 5*d - 154 + m. Is d - 2/1 - -2 composite?
False
Let x(t) = -t**3 + 4*t**2 + 6*t + 0*t**3 + 2*t**3 + 2*t**2. Let s be x(-5). Let o(v) = -v**3 - 4*v**2 - 2*v + 4. Is o(s) a composite number?
True
Suppose -30*c - 16*c = -44482. Is c a composite number?
False
Let a = 1477 + 245. Suppose 2877 = 9*l - a. Is l a composite number?
True
Is 11330/4 + (75/6 - 14) a composite number?
True
Suppose 0*u = o - 2*u + 4, 5*u = 2*o + 12. Suppose 9*v - 2*j - 11663 = 4*v, 9334 = o*v + 2*j. Is v a prime number?
True
Suppose 0*s + 5*s + l - 14 = 0, -3*l = -4*s - 4. Suppose 0*r = s*r - 158. Is r prime?
True
Let t be 3*(-112)/12*-26. Let f = t + 29. Is f a composite number?
False
Suppose -3*b - 2*g + 26 = 2*g, -5*g + 45 = 5*b. Let d(i) = 11*i - 25. Is d(b) a composite number?
True
Suppose -11*c = -6*c - 40. Suppose 6*u + 262 = c*u. Is u a prime number?
True
Let t(m) = 21*m + 4. Let q be t(-3). Let v(w) = w**2 + 5*w - 4. Let x be v(-5). Let o = x - q. Is o composite?
True
Let q(c) = 14*c**2 - 5*c + 5 + 9*c**2 + 7*c**2 - 26*c**2. Is q(3) a composite number?
True
Let l = -53 - -55. Is ((-14)/(-6) + -1)*267/l composite?
True
Is 4/(-12)*(-22914 - 3) a composite number?
False
Suppose -2*x + 1 = -l + 2, 0 = 4*x + 3*l - 23. Is x*614*(-3)/(-12) composite?
False
Suppose -9363 = 5*l - 4*a, 5*l - 3*a + 9365 = 2*a. Let y = -406 - l. Is y a composite number?
True
Is (-4358)/2*134/(-67) a composite number?
True
Is (-2 - -1)/((-8)/25304) a composite number?
False
Let q = -9 - -6. Let g = 0 - q. Suppose -3*f + 818 = 5*s, -6*s + 4*s - g*f = -329. Is s a composite number?
False
Let a be 36*(-1 - 14/4). Let s = a + 281. Is s composite?
True
Suppose -2*a + 2*l - 262 = -3*a, 8 = 2*l. Is a prime?
False
Is (315784/140)/(((-24)/260)/(-3)) prime?
False
Let p = -3232 + 5561. Is p prime?
False
Let d be 189/36 + 2/(-8). Is (-2)/5 + 2907/d prime?
False
Suppose -3*s = -2*s - 55. Suppose 0*k = -3*y + k - 77, 0 = -2*y - 3*k - s. Let m = y - -73. Is m composite?
False
Let f be (8/10*29)/((-4)/20). Let x = 255 - -2. Let h = x + f. Is h prime?
False
Suppose 2*j + 0*j = -338. Let w = 384 + j. Is w prime?
False
Let y(i) be the second derivative of 15*i**4 - i**3/3 + i**2/2 - 12*i. Is y(1) prime?
True
Let s(o) = -1 - 2 - 2 + 2 - o**3 + 7*o**2 + o. Suppose 0 = 3*y - 2*y - 6. Is s(y) composite?
True
Let t = 79 - 73. Is 2 + (-160)/(-15) + 2/t prime?
True
Is 1228*(25/(-10) - -3) prime?
False
Suppose 4*c - 3*j - 6 = -5, 3*j = -3*c + 6. Let h be (c - -212)/(-10 + 11). Suppose 227 = 3*t + v, 5*t + 3*v - 160 - h = 0. Is t prime?
False
Let t be (2/(-6))/((-3)/36). Let g(w) = -t*w + 7*w - 4 + 0 + 5*w**2. Is g(-5) a composite number?
True
Let s(j) = 2*j**2 + 4*j - 3. Let c be s(-3). Suppose -c*i = -116 + 38. Is 2/4 - (-897)/i a composite number?
True
Suppose -70 = 6*w + w. Is 339/(-1 + w/(-4)) a prime number?
False
Suppose -57 + 51 = -3*f. Suppose -4*b + 617 = t - 1582, -4402 = -f*t - 4*b. Is t composite?
False
Let k(h) = -h**2 + 5*h + 2. Let u be k(5). Let y(l) = 15*l**2 - 4*l + 5. Let g be y(u). Is (5*g - -1) + 1 a prime number?
False
Let z(m) = -22*m + 15. Let g(h) = -2*h**2 - 22*h - 8. Let c be g(-11). Is z(c) prime?
True
Let m(d) = -13*d**3 - 8*d**2 - 91*d + 11. Is m(-8) prime?
True
Let l(t) = -t**3 - 6*t**2 + 10*t + 11. Let p be l(-7). Let m(g) = -g**3 + g**2 + g + 7. Is m(p) composite?
False
Suppose 8*v - 1845 = 11699. Is v composite?
False
Suppose 0 = -0*h + 4*h - 12. Let f(q) = 12*q**3 + q**2 - q - 4. Is f(h) composite?
True
Suppose -5*j - 4*f - 44027 = -10*j, 3*j = 3*f + 26418. Is j a composite number?
False
Suppose 0 = -43*z - 872368 + 2730269. Is z a prime number?
True
Let i(j) = 2*j**2 + 6*j - 3. Let o = 55 - 29. Let h = 40 - o. Is i(h) a prime number?
False
Suppose 3*y - 4*b = -2 + 37, 2*b + 35 = 5*y. Is (2/y)/((-6)/(-870)) composite?
True
Let s(a) = -4*a - 5. Let n be s(-4). Let k(t) = -78*t + 3. Let i(z) = 235*z - 9. Let x(m) = n*k(m) + 4*i(m). Is x(5) a prime number?
False
Suppose 4280 = -2*u + 4*u. Suppose -739 + u = 3*o. Is o a composite number?
False
Let f = 121409 - 81620. Suppose f = 2*t + 7*t. Is t a composite number?
False
Let u = 8 + -10. Let b be 1*u*(-8)/4. Suppose -392 = -2*p + 2*y, -3*y + 1084 - 279 = b*p. Is p a composite number?
False
Let v(t) = -2 - 1 + 17*t + 0 - 2*t. Let i be v(3). Suppose -178 - i = -4*c. Is c a prime number?
False
Let k(g) = g**3 - 11*g**2 + g - 8. Let w be k(11). Suppose w = r - 0. Suppose 0 = r*h + h - 628. Is h a prime number?
True
Suppose 1194 = -l + 192. Is (l/(-8) - -2) + (-2)/8 a composite number?
False
Suppose -40*m - 125906 = -62*m. Is m a composite number?
True
Let z(p) = p**2 + 3*p + 1. Let f be z(-2). Let s(r) = -1442*r - 3. Is s(f) prime?
True
Let f be (-10)/(-4)*(-8)/(-4). Let o(q) = 3*q**2 + q + 3. Let k be o(f). Suppose k = 3*x - 310. Is x a prime number?
True
Let b = 23 - 35. Let j = -7 - b. Suppose -j*c = -241 + 66. Is c a composite number?
True
Let y(r) = 491*r**2 + 9*r + 15. Is y(-2) prime?
False
Let s(r) = 11 + 2*r - 3 - 6 - 4 + r**2. Is s(-11) a composite number?
False
Suppose 22*a = 20*a - 6. Is (-892)/(-24) - a*(-1)/18 prime?
True
Let r be (-4)/(-6)*(-405)/(-18). Suppose 0 = 3*l - r, 2*p + p - 3*l = -21. Is ((-3)/p)/(15/830) a composite number?
False
Let c be 1 + -1 + (-1 - -34). Suppose -2*b = 5*d - c, -5*b + 12 + 4 = 3*d. Is d prime?
True
Suppose 5*q + 3482 = -4*w + 15341, -2*w - 2369 = -q. Is q a composite number?
False
Let a(h) = 3*h**2 + 32. Let m(z) = z**2 + z + 3. Let v be m(-4). Is a(v) a composite number?
True
Suppose 3*b + 0*w = w - 82, 2*b + 64 = -4*w. Suppose 3*p = 12, -3*p = -4*q + 6*q - 1660. Is (-8)/b + q/7 a composite number?
True
Suppose 6*s - 4*s + 3 = 3*i, 2 = 2*i - 2*s. Is 1973 + 14 + i*-2 a composite number?
True
Let b(t) = t**2 - 11*t - 3. Let s be b(11). Let u be (-5)/(30/76)*s. Suppose h = l + 15, -u = -2*h - l + 4. Is h a composite number?
False
Let v = 12395 + -7353. Is v a composite number?
True
Suppose 0*r + 6 = 2*r. Let b(t) = r + 6*t - 5 - 1. Is b(2) prime?
False
Let x = -4783 + 973. Is (-1 - 0)/(-5 + (-19044)/x) a composite number?
True
Let j(k) = 10*k**2 + 5*k - 2. Let h be j(3). Let v = -35 + h. Suppose v = d + d - 2*n, d - 4*n - 25 = 0. Is d a composite number?
False
Let r = 69278 + -38443. Suppose 0 = 18*d - 13*d - r. Is d composite?
True
Let h(l) = 4*l**2 + 14*l + 2. Let a be h(-4). Suppose -a*v = -7350 - 4520. Is v a composite number?
False
Supp