uppose 0 = -v*l + 6*l - 156. Is l composite?
True
Let t = -47 - -124. Is t a prime number?
False
Is (-65406)/12*(-3 + 1) composite?
True
Let f(p) = p**3 + 6*p**2 - 3*p - 1. Suppose -y - g - 44 = -3*y, -119 = -5*y - 2*g. Suppose -k - 4*k - 4*m = 17, 0 = 5*k + m + y. Is f(k) a composite number?
True
Suppose l - 5 = 0, -5*l = h - 0*h - 336. Is h composite?
False
Let t be (1 + 0)/(1/2). Suppose -4*f = 2*g - 6, -5*f = -2*g + 13 + 2. Suppose 159 = g*c - t*c. Is c a prime number?
True
Let r(n) = -n**3 - 7*n**2 - 9*n - 3. Let h be r(-6). Suppose -2*f - 61 - 17 = -2*u, 5*f = 3*u - 111. Let l = h + u. Is l composite?
True
Let q(c) be the third derivative of 5*c**4/24 + 3*c**2. Let k be q(1). Suppose -k*z = -3*x - 799, 0 = -z - 0*x + x + 159. Is z composite?
True
Let w(p) = 17*p - 1 - 3 + 2. Suppose j - 4*j = -9. Is w(j) prime?
False
Suppose b + 290 = 2*a, 383 = 5*a - 4*b - 336. Let v = 352 - a. Is v prime?
False
Let h be (1 + -2)*-4 + -3. Let z be ((-3)/h)/((-12)/(-16)). Is 1/(-2) + (-446)/z prime?
False
Suppose -3*c - 2*c = -20. Suppose c*v = 2*v + 4. Suppose -v*p + 66 = 2*u, 2*u + 3*u - 167 = -4*p. Is u composite?
True
Let n(o) = 2*o**2 - 4*o + 5. Let m(p) = 2*p**2 + 3*p. Let j be m(-2). Suppose -2*x + 4*g = 4, j*g = 3*g - 3. Is n(x) a composite number?
True
Suppose 0 = -2*y + 4*z + 2222, 3*y + 114 = 2*z + 3455. Is y a composite number?
True
Suppose 4*v + 5*i - 402 = 0, 3*i + 0*i = 2*v - 212. Suppose 2*k = 3*q - v, 17 = q + 4*k - 8. Is q composite?
True
Suppose -5*b = 5*u + 3 + 2, 2 = 2*b + 3*u. Let o be 2/b + (-17)/(-5). Suppose -l = -o + 1. Is l a prime number?
True
Let q(u) = -958*u - 1. Let m be q(1). Is (m/4)/((-1)/4) a prime number?
False
Let q(t) = 0*t + 11*t + 31*t - 5. Is q(2) composite?
False
Suppose -3*g - 4*q = -999, g - 5*g + 4*q + 1304 = 0. Is g a prime number?
False
Let w be ((-3)/2)/(3/(-4)). Let c(o) = 40*o - 3. Is c(w) composite?
True
Is 9336/4 - (1 - 0) prime?
True
Let i be (-91 - 2)*(-3)/9. Let q = i + -19. Suppose 2*d = 6*d - q. Is d a composite number?
False
Let w(a) = a**2 + 3*a - 2. Let k be w(-3). Is k*(-2 + 1332/(-8)) composite?
False
Let n(q) = 2*q**3 - 14*q**2 + 17*q - 7. Is n(12) prime?
True
Let q(d) = -210*d - 1. Let o be q(-7). Let r = o - 792. Is r prime?
True
Let n(h) = 11*h**3 + h**2 + 4*h - 3. Let j be n(2). Let i = j - 3. Suppose 0*u + 4*u - 3*t - i = 0, 3*u = -2*t + 62. Is u a composite number?
True
Suppose -3*i - 2*b - b = -3, 2*b = 5*i + 23. Is ((-209)/(-4) - i)*4 a composite number?
True
Let c(t) = 13*t**2 + 3*t - 3. Is c(-5) prime?
True
Suppose 0 = -2*r + r - 1. Let x be (-6*(-1)/r)/(-2). Is 41/x + (-2)/3 a composite number?
False
Let i be ((-70)/7)/((-4)/410). Let y = i - 628. Is y a prime number?
True
Let c be -2*3/3 - -3. Let b be 3*-4*c/2. Is b/4*(-50)/3 composite?
True
Let g(l) = -29*l**3 - 2*l**2 + 2*l + 2. Let a be g(-2). Suppose 0 = 5*w - f - 1234, 3*f = 2*w - 269 - a. Is w prime?
False
Let i(o) be the first derivative of o**2/2 + 11*o - 2. Let x be i(-5). Suppose -50 = -5*v + 5*f, -x = -f - 3. Is v composite?
False
Let h be (4/6)/((-2)/(-6)). Let v = h - -7. Is v composite?
True
Let o be (6 - -1)/(1 + 0). Suppose o*a - 1484 = 3*a. Is a a composite number?
True
Suppose 0 = 5*u + 5, 5*y - 182 = 2*y + 5*u. Is y prime?
True
Suppose 9*y + 86785 = 26*y. Is y a composite number?
True
Let l = 86 + -30. Suppose 2*a = 12 + l. Suppose t - a = 55. Is t a prime number?
True
Suppose 3*y = -2*y. Let k(h) = -24*h + 18*h + h**3 - 5*h**2 + 7 + y. Is k(6) a composite number?
False
Suppose -163 = -3*i + x, -5*i - 4*x + 183 = -100. Let w = i + -8. Is w a prime number?
True
Suppose 2*d + 5*i - 15 = 0, d + 12 = -d + 4*i. Let u = 400 - 235. Suppose d = -z + 6*z - u. Is z composite?
True
Let z = -232 + 366. Is z a prime number?
False
Let j(a) = 2*a**2 + a + 3. Suppose 3*o + 26 = 8. Is j(o) composite?
True
Is (633/(-6))/(5/(-10)) a composite number?
False
Let i = 235 + 52. Is i composite?
True
Let s be 552/28 + (-4)/(-14). Let r be (s + -3)/(-1 - 0). Let q = 30 + r. Is q a prime number?
True
Let d be (-3)/(-6)*-2 - -9. Let j be 3/12 + 14/d. Suppose -5*r = 10, j*c + 4*r = r + 100. Is c a composite number?
False
Is (68/8)/((-3)/(-318)) prime?
False
Let k = -6 + 22. Suppose -2*g + 2417 = 5*p, -g = -5*g - k. Is p a composite number?
True
Suppose 488 = 2*x - 266. Suppose c = 4*j + 111, -3*c + 5*j + x - 79 = 0. Is c a prime number?
False
Suppose 0 = -l + 3*l. Let n = -36 + 89. Suppose t - n = -l*t. Is t prime?
True
Let p = 3 + 0. Suppose -9 = 4*g + 7, -p*g - 16 = o. Is 86/4 + (-2)/o a composite number?
True
Suppose 2*g = 4*h + 188, g - 2*g = 3*h - 74. Is g prime?
False
Suppose g - 2*w = 312, -2*g + g = -3*w - 313. Suppose 5*l - 5*x - g = 0, -4*x - 75 - 39 = -2*l. Is l a prime number?
True
Suppose -3*y - 2*y + 25 = 0, 5*f = -4*y + 405. Is f prime?
False
Suppose 9 = -3*i - 15. Let z = i - -7. Is 1*z + 92 + 0 prime?
False
Is 88 + (-4)/4 + -2 prime?
False
Suppose -3*b + 200 = -184. Suppose 275 - 664 = -c. Suppose -z + b = -j, z + 2*z - 2*j = c. Is z prime?
False
Suppose -4*j - j + 210 = 0. Is 2*1*5649/j composite?
False
Let x = 2866 - 1608. Let o = -395 + x. Is o prime?
True
Let d = -14 + 19. Suppose -1238 = -d*b + 647. Is b a composite number?
True
Suppose -2*a + 258 = -116. Is a prime?
False
Let m be 654/33 - 6/(-33). Suppose 0*x + m = -4*x, 2*p = 4*x + 46. Is p a prime number?
True
Suppose 0 = 4*i + 12, z + 3*z + 1040 = 4*i. Let g = z - -550. Let q = -154 + g. Is q a prime number?
False
Let y = 500 - 272. Suppose -3*g - g = -y. Is g prime?
False
Suppose -4*t + 1004 = -0*t. Is t composite?
False
Let q = -16 - -35. Is q a composite number?
False
Let x(j) = j**3 - 2*j. Let d be x(2). Is ((-66)/d)/(2/(-4)) prime?
False
Let p be 0 + 1 - (-1 + 18). Let v(u) = -u**2 + 31. Let x be v(0). Let i = x + p. Is i a composite number?
True
Let u(q) = -10*q + 31. Is u(-22) prime?
True
Suppose -2*a = -6*a - 292. Let p = 122 + a. Is p composite?
True
Suppose 7 = -s + t, -4*s + 0*s = 3*t - 7. Let u(h) = -h**3 + h**2 + 3*h + 1. Is u(s) a prime number?
True
Suppose 4*w - 4*d - 528 = 0, -100 = 2*w - 3*d - 369. Is w prime?
True
Suppose 0 = -5*u, 0 = 3*i + 5*u - 1489 + 316. Is i composite?
True
Suppose 0 = -2*c - 2*c + 16. Suppose c*t = 3*t + 4. Suppose -g + 87 = -4*o, -2*g + o = t*o - 152. Is g prime?
True
Let u(c) = 43*c - 4. Let p be u(3). Suppose 0 = -3*y + 15, 0 = -3*d - 2*d + y + p. Is d a prime number?
False
Suppose -2*m - 2 = -6. Let c be 352 - -2 - 0/m. Is (-2)/3 + c/18 a composite number?
False
Let w(o) = 37*o - 6. Let y = 10 + -5. Let j be w(y). Suppose -2*f + 5*x + 112 + 55 = 0, x + j = 2*f. Is f a composite number?
True
Suppose -k = -2*n + 4*n - 150, -5*n = 3*k - 376. Suppose 11*f - 6*f = -4*c + 211, -c + n = -3*f. Is c composite?
False
Is 127 - (-1)/(-5 - -3)*0 prime?
True
Suppose -3*b = -147 + 9. Suppose 3*x - x = b. Is x a composite number?
False
Let h(x) = -x**3 + 5*x**2 - 3*x - 2. Let b be h(4). Suppose -b*m = -3*g - 3*m + 157, -m = 4*g - 208. Is (7/(-3))/((-1)/g) composite?
True
Let s(q) = 2*q**2 - 6*q + 8. Let p be s(-7). Suppose f + 3*f = p. Is f a composite number?
False
Suppose -i + 2*w + 386 = 0, 1966 = 9*i - 4*i - w. Is i a composite number?
True
Suppose -8445 = -7*d + 8908. Is d composite?
True
Let m(t) = 54*t**2 + 4*t - 1. Is m(6) a composite number?
True
Suppose 16 = -3*i + 7*i. Let d(k) = -6*k + 6. Let p be d(i). Let w = 3 - p. Is w prime?
False
Let j(o) = -o**3 + 7*o**2 + 4*o - 9. Suppose 3*g = 8*g - 35. Is j(g) composite?
False
Let u be 2/2 + 81*-1. Let l be (24/20)/((-6)/u). Suppose l = 5*x - 79. Is x composite?
False
Suppose 3*z - 15 + 9 = 0. Suppose -230 = -5*i - h, 119 = 2*i - 3*h - z*h. Is i a composite number?
False
Suppose 0 = 2*n + u - 4*u + 2, 0 = -2*u + 4. Is n/1 + 55 + 2 a prime number?
True
Let q = 1 - 2. Let s(d) = d + 4. Let t be s(-9). Is 1008/40 - q/t a prime number?
False
Let f = 126 + -21. Suppose -5*i - f = -710. Is i composite?
True
Suppose -3*y = 2*y + 35. Let h(b) = 4*b + 16 - b - 2*b. Is h(y) prime?
False
Suppose 4*p + 6*b = 3*b + 2459, -3*p - 5*b = -1858. Is p prime?
False
Let h(b) be the second derivative of b**4/12 - b**3/2 + 3*b**2/2 - 11*b. Suppose 37 - 11 = -4*t - 2*w, -4*t = 4*w + 32. Is h(t) composite?
False
Let v(j) = -j**3 + 6*j**2 + 7*j + 7. Is v(-5) a composite number?
True
Let o(f) = -f**