. Is l a prime number?
True
Suppose -7 - 3 = 2*a, h - 10 = 2*a. Suppose h = 10*w - 7*w - 2223. Suppose 0 = -5*s + 614 + w. Is s composite?
False
Let q = 14 - 12. Suppose q*k - 266 = 84. Let c = k + -118. Is c prime?
False
Suppose 4*g - 3*i - 20 = 15, -3*g = 5*i + 10. Suppose 0 = g*q - 611 - 1394. Is q composite?
False
Let f(p) = 245*p**2 - 7 + 2 + 4 - 57*p**2. Let t be f(1). Let z = -44 + t. Is z composite?
True
Suppose -2*l = -4*l + 24. Suppose -573 = -l*o + 9*o. Is o prime?
True
Suppose -8*s + 2527 = 551. Suppose 2*a - 4*l = 738, 2*a - s - 489 = 5*l. Is a a prime number?
True
Suppose 2*r - 121 - 105 = 0. Let o = r + -62. Let b = o - 13. Is b composite?
True
Suppose 0 = 3*g - 56*r + 54*r - 242371, -4*r + 242359 = 3*g. Is g prime?
True
Let a(z) = -73 + 10*z**2 + 39 + 33 + 22*z. Is a(15) prime?
True
Suppose -m = 5*i - 1 + 6, 0 = -5*m - 5*i + 15. Suppose 0 = -2*k + m*c - 8*c + 659, 4*c = -4. Is -2 + (-24)/(-4) + k composite?
True
Let t be ((-1332)/45)/((-1)/15). Let p = t + 152. Suppose 3*u - p = -u. Is u prime?
True
Suppose 2*g = -4*z + 34, -3*z - 2*g = -12 - 12. Is 4/(-1) + (z - -881) a composite number?
False
Let g = -10852 + 17913. Is g prime?
False
Let h = -1176 - -1925. Is h prime?
False
Is (28 + -27 - (-9396)/10)*5 prime?
True
Let i(c) = -309*c. Let l be i(-4). Let u be ((-6)/(-24))/(3/l). Suppose -n = -u - 28. Is n composite?
False
Let t(k) = -3*k - 5. Let j be t(-2). Is j - 1 - 3377/(-11) a composite number?
False
Suppose 2*y - 18 + 0 = 0. Let o(i) = -y - 4 + 15*i + 4. Is o(4) a composite number?
True
Let f(y) = -6*y**3 + 22*y**2 - 17*y - 78. Is f(-19) prime?
False
Suppose 0 = -17*v + 21*v - 2348. Is v + 0/((-3)/(-1)) + 0 prime?
True
Let o(q) = 82*q**3 + 2*q**2 - 2*q + 1. Let w = 12 - 11. Is o(w) prime?
True
Suppose -41*c + 103587 = -8*c. Is c prime?
False
Suppose 0 = -113*s + 56*s + 23541. Is s prime?
False
Let g = -20412 - -34081. Is g prime?
True
Suppose 6*c + 8 = c - 3*k, 5*k = 3*c - 2. Let z(x) be the first derivative of -199*x**4/2 + x**3/3 + x**2 + 4. Is z(c) a prime number?
True
Let v = 200 + 383. Is v a composite number?
True
Let b = 6 - 0. Suppose c - b*c = -10. Suppose c*g - 484 = -2*g. Is g a prime number?
False
Is (5 - (-70)/(-15))/(1/25449) prime?
False
Is (-583101)/(-12) + 3 + 44/176 composite?
True
Let v(k) = -k**3 - 11*k**2 - 12*k + 2. Let q be v(-18). Let d = q - 233. Is d a composite number?
True
Suppose 57*o - 59*o = -17846. Is o a composite number?
False
Let v(u) = u**3 + 8*u**2 - 7*u - 10. Let r be v(-7). Suppose -71 = w + r. Let t = -20 - w. Is t prime?
True
Suppose -3*m = -5236 - 18947. Is m prime?
False
Let k(v) = -v**2 - 10*v - 15. Let c be k(-7). Is c + 48 + -3 + 4 a prime number?
False
Let w be 3 - (0 + (-2)/(-4)*2). Is (95/20 - 3)*(w - -1754) a composite number?
True
Suppose -3*f = -2*h + 651, 6*f - h + 654 = 3*f. Let w = -86 - f. Suppose w = p + 3*g, 3*g = 4*p - 124 - 468. Is p a composite number?
True
Let v(t) = -2*t**3 - 6*t**2 - 17*t + 16. Let n be v(-13). Suppose -4*c - 6*x = -3*x - n, -2*c + 5*x = -1815. Is c a composite number?
True
Let p(s) = -604*s + 89. Is p(-5) a composite number?
False
Suppose 56 = 5*t + 11. Suppose t*l = 4*l + 11010. Let b = -1561 + l. Is b a composite number?
False
Suppose -w - 6*w = -13426. Suppose -d + w = d. Is d composite?
True
Let r be -1 + 0 + 4712/2. Let g = 160 - 155. Suppose g*m = 10*m - r. Is m prime?
False
Let x(h) = -h**2 - 10*h. Let q be x(-10). Suppose -7*d + d + 2814 = q. Is d a composite number?
True
Let a(x) = -x**3 - 8*x**2 + 2*x + 1. Let f be a(-9). Suppose 3*s + f = -5*s. Is 5/20 - 6822/s prime?
True
Let u(z) = z**3 + 4*z**2 - 4. Let j be u(-3). Let v(g) = g**2 - 5*g + 2. Let t be v(j). Suppose 4*p + a = 930, -472 = -t*p + 3*a - 0*a. Is p composite?
False
Let d be (-3177)/(-1) - 32/(-8). Suppose 3*m - 2*b - d = -b, -5*b + 4254 = 4*m. Is m composite?
False
Let h(w) = 22*w + 20. Let u be h(6). Suppose -3*t = -1177 - u. Is t prime?
True
Let c = -36 - -41. Suppose 4*h - 1095 = c*m - 160, 3*m - 238 = -h. Is h composite?
True
Let t = -3025 + 15344. Is t a prime number?
False
Let r(v) be the second derivative of v**3/6 + v**2/2 + 6*v. Let b be r(3). Suppose -127 = -b*j + 3*j. Is j a prime number?
True
Let w = -1 + 5. Suppose c - 22 = -w*o - 0*c, 5*c = -5*o + 35. Suppose 0 = -n - 2*l + 43, l = n - 26 - o. Is n prime?
False
Suppose 5*i = -2*x + 237 - 67, 4*i - 82 = -x. Let v be x/36*8/5. Let z(d) = 82*d - 7. Is z(v) prime?
False
Suppose 3*r - 2 - 235 = 0. Suppose 2*o = 3*o - r. Is o prime?
True
Let w(v) = 11*v**2 - 17*v + 31. Is w(-7) a composite number?
True
Let l(p) = -50*p - 7. Let n be l(-5). Suppose 0*x = 3*x - n. Suppose 5*q - 141 = -4*o, 6*o - q = 4*o + x. Is o a composite number?
True
Is 28343/((19/(-57))/((-1)/3)) composite?
True
Let i be (-1)/5 - (-9432)/10. Suppose 0 = 3*m - n - 1079, -2*m + 2*n + i = 221. Is m a prime number?
True
Let p(a) = -3*a - 2*a - 3 + a - 3. Suppose -g + 5*y + 17 = -3, -5*g + 4*y = 5. Is p(g) a prime number?
False
Let d(j) = j**3 - 5*j**2 + 2*j - 6. Let r be d(5). Suppose -3*q - 20 = 2*y - 7*y, r*q - 12 = -3*y. Suppose 4*g = -3*k + 1610 + 321, -y*k = -20. Is g composite?
False
Is (15439/3 - 3)*15/10 composite?
True
Suppose -2*q = 3*q - 1535. Is q a composite number?
False
Let h = 362 - 254. Is 15201/h*2*6 composite?
True
Suppose 4*d = 3*d + 4. Suppose -d*m = -4*a, 3*m + 4*a - 2*a - 25 = 0. Suppose -x + 3*q + 220 = 0, m*q = -2*x + 543 - 136. Is x composite?
False
Let z = -1414 - -2547. Is z prime?
False
Let r = -9 + 13. Suppose 4*k + 19 + 1 = -v, -2*k = r. Is 2682/v*4/(-6) a prime number?
True
Let a = -136 + 80. Is (a/20)/(6/(-1905)) prime?
False
Let s = 503 + 8576. Is s composite?
True
Let x = -5559 + 9650. Is x a prime number?
True
Let l be ((-4)/6)/((-2)/(-3)). Is (l - 9/(-6))*402 a prime number?
False
Let f(d) = 3*d**2 + 9*d - 329. Let m(j) = -j**2 - 4*j + 164. Let k(z) = 3*f(z) + 7*m(z). Is k(0) prime?
False
Suppose -5*j - 95 = -2*b, 3*b + b - 182 = 2*j. Suppose -c = 4*p - 31, 2*p - b = -3*c + 6*p. Suppose 0 = 2*f - 3*f + c. Is f a composite number?
False
Let u = 21 - 3. Is (30/u)/((-3)/(-873)) a composite number?
True
Suppose 1790 = 2*n - 4*y, 3*y - 1462 + 4135 = 3*n. Suppose -n = -5*x + 458. Is x a prime number?
True
Let j(v) = -10 - 31*v - 1 + 2 - 54*v. Is j(-8) composite?
True
Suppose -5*p - 292 = -4*k - 6*p, -5*p - 219 = -3*k. Suppose -y + 254 + k = -2*c, -4*y - 4*c = -1332. Is y a composite number?
False
Suppose 4*s = 2*s + 3*u + 6, -3*s - 5*u = -28. Let m = s - 4. Is 1395/(6/2) + m a composite number?
False
Let q = -786 + 1555. Is q composite?
False
Let f(w) = -w**2 + 16*w + 3. Let x be f(16). Is (x - (-3430)/5)*1 a composite number?
True
Suppose -108*s + 117*s - 34389 = 0. Is s composite?
False
Let u(h) = h**2. Let x be u(-1). Suppose -x = -3*t - 3*k + 17, 4*t - 2*k = 6. Suppose t*a = -a + 1996. Is a composite?
False
Let q(j) = -j + 1. Let r be q(-7). Suppose 3*g + 20 = 2*w, 5*w - 2*w - r = -g. Suppose -321 - 707 = -w*n. Is n a composite number?
False
Suppose -2*m = -7*m - 5155. Suppose 346 = 12*q - 13*q. Let a = q - m. Is a a prime number?
False
Suppose 5*b - 7*b + 526 = 0. Let p(o) = o**3 - 2*o + 1. Let d be p(1). Suppose 8*j - 9*j + b = d. Is j prime?
True
Let u = 21916 - 10967. Is u composite?
False
Suppose 4 = -3*k + 5*k. Suppose 5*s - 14 = -y, -3*s + 18 = k*s - 3*y. Suppose a - 47 = 2*q, s*a = q - 3*q + 157. Is a a prime number?
False
Let r(q) = q. Let h(z) = -10*z**2 - 8*z - 5. Let d(m) = 11*m**2 + 8*m + 5. Let f(o) = -3*d(o) - 4*h(o). Let a(x) = f(x) - 6*r(x). Is a(3) a prime number?
False
Suppose 4*u + 97 = 3*f + 1230, -5*f + 2*u - 1907 = 0. Let j = f - -752. Let t = 532 - j. Is t a prime number?
True
Is 4055 + 1 + -16 + 9 a composite number?
False
Let x(g) = -2*g**3 - 5*g**2 + 5*g - 8. Let f be x(-7). Let o = 113 - f. Let d = -108 - o. Is d prime?
False
Is 202508/20*(-40)/(-8) a prime number?
True
Let d(l) = 4*l - 10. Let z be d(10). Let x = 97 - z. Is x a prime number?
True
Let f be 3/9*(-4 + 10/1). Suppose -3753 = -5*u + 2*g, -f*u - 757 = -3*u + 2*g. Is u a prime number?
False
Let i(r) = r + 7. Let n be i(-3). Suppose -14 - 22 = -n*f. Suppose -2*y + 237 = 5*m, 5*m + f - 34 = 0. Is y a prime number?
False
Let s(n) = 147*n - 104. Is s(33) prime?
False
Suppose -8*n = -34472 - 6704. Is n prime?
True
Let m(f