Is y/(-3) - (-948)/18 a composite number?
False
Let j(d) = 3*d**2 - 4. Is j(-7) a composite number?
True
Let w(q) = q - 13. Let s be w(6). Let m = 40 + s. Is m prime?
False
Let b(g) = 3*g - 3 + 55*g**2 - 2*g - 2 + 6. Is b(-1) composite?
True
Suppose -32 = -5*x - 4*t, 5*t - 5 + 2 = 3*x. Let u be 589/x - 1/4. Suppose -7*n - 49 = -i - 2*n, 0 = 3*i - 5*n - u. Is i composite?
True
Suppose 0 = 3*u - 3*h + 3, -5*u - h + 4*h - 9 = 0. Is -2*53*-1 - u composite?
False
Let s(n) = -5*n**3 + 3*n**2 + n - 14. Is s(-7) prime?
False
Let j be (-4)/14 - 5/7. Let k(c) = 92*c**2 - 1. Is k(j) a composite number?
True
Let m = -61 + 31. Let a = m + 127. Is a composite?
False
Let j(q) = -q**2 + 12*q. Let w be j(12). Suppose w*s + 2*s - 4*n - 522 = 0, -n = 5. Is s prime?
True
Suppose 0 = 3*d - 2013 - 324. Is d a composite number?
True
Let g(j) = 323*j - 2. Is g(3) prime?
True
Suppose u = -2*f + 305, 0 = -2*u - f + 393 + 229. Suppose 0 = -4*c - 340 - 332. Let p = u + c. Is p a prime number?
False
Let m = -764 + 2023. Is m a composite number?
False
Suppose 3*o = -4*m + 11855, o - 2 = -1. Is m a composite number?
False
Let s = 16 - 10. Suppose -5 = -5*w + 5*n, 3*w + n = 10 + 9. Suppose w*b + s*i - i = 280, 4*b - 242 = 2*i. Is b composite?
False
Let h(y) = 458*y**2 - 1. Is h(-1) a prime number?
True
Is -2 + (4 - (-1259 + 2)) prime?
True
Suppose 0 = -0*a - a - l + 75, -295 = -4*a + l. Is a a composite number?
True
Suppose 3*q - 8 = -26. Let p = q - -11. Suppose -3*t + 249 = -5*b, 28 = p*t - 3*b - 387. Is t prime?
True
Let b = -354 - -607. Is b composite?
True
Let p be ((-1)/2 + 1)*6. Is 53 + (-3 - (-2 - p)) composite?
True
Let l(u) = -u**2 - 8*u + 12. Let r be l(-9). Is ((-30)/(-20))/(r/68) a prime number?
False
Suppose -2*p + 13 - 59 = 2*b, b = -4*p - 86. Let m = -14 - p. Let a(t) = -t**3 + 7*t**2 + t - 1. Is a(m) composite?
True
Let l(r) = 27*r + 3. Let s be l(4). Suppose -183 = 5*h + 202. Let z = h + s. Is z prime?
False
Let y(l) = -2*l**3 + l**2 + l + 1. Let f be 1 + 1 - (-1 - -5). Is y(f) composite?
False
Let s = 6 - 5. Is (s + -63)*(-9)/6 a prime number?
False
Is 1*10*(-1 + 139/2) composite?
True
Suppose 5*a - 9 - 1 = 0. Suppose -a*v = -248 + 80. Suppose 4*s + 0*s = v. Is s a composite number?
True
Suppose 6*z + 424 = 10*z. Is z a composite number?
True
Let q = -5 - -7. Suppose 0 = 2*k + q*k. Suppose k*l = l - 11. Is l a composite number?
False
Suppose 5*j - 3*j = 1402. Is j composite?
False
Let a = -4 + 4. Suppose 6*x - 2*x - 20 = a. Suppose r - 101 = h - 4*h, -160 = -4*h + x*r. Is h a prime number?
False
Suppose 5*s - 3*p - 428 = p, 4*s = 2*p + 346. Suppose 2*y - 8*g - 15 = -3*g, -3*y = -g - 3. Suppose -2*x - 2*x + s = y. Is x a prime number?
False
Let m(k) be the second derivative of k**3/6 + 3*k**2 - 5*k. Let d be (0 - 1)/(1/3). Is m(d) a prime number?
True
Suppose -l = -0*l - 293. Is l a prime number?
True
Suppose -f + 336 = k, -4*f - k + 1010 = -f. Is f a composite number?
False
Let h(v) = -v - 2. Let d be h(-5). Suppose 3*j - 1155 = -3*m, j + 1151 = d*m + 5*j. Is m a prime number?
True
Let s(l) be the third derivative of -l**6/120 - l**5/60 + 7*l**3/2 + l**2. Let a(f) = f + 7. Let z be a(-7). Is s(z) a prime number?
False
Suppose -r - 3*j + 25 = -10, -5*j = r - 33. Is r composite?
True
Let t = -10 - -6. Let a be (-5)/(-20) - 11/t. Suppose -a*x - 306 + 61 = -2*r, -5*r = 5*x - 650. Is r composite?
False
Let z(i) = 9*i. Let y = 0 + 1. Is z(y) a prime number?
False
Suppose -4*v + 0*d + 1537 = 3*d, 0 = -3*d + 9. Is v a composite number?
True
Suppose -4*q + 9*q - 2225 = 0. Is q a composite number?
True
Suppose -3*u = 2*b + 1, -5*b = -3*u + 2*u + 11. Let o(q) = u - 36*q + 1 - 1. Is o(-1) a prime number?
True
Let i(m) = -2*m + 10*m**2 - 5*m**2 - 10 + 2*m**2. Is i(7) a composite number?
True
Suppose 4*r = 150 + 2. Is r composite?
True
Suppose q + 3*q = -5*r + 13251, -3*q + 9921 = -2*r. Is q composite?
True
Let y = 345 - 201. Let x = 221 - y. Is x a composite number?
True
Suppose 3*q - 4*g = 22, q + 0 = -3*g - 10. Suppose t - 3*d - 249 = 0, -229 - 233 = -q*t - 3*d. Is t a composite number?
True
Is (-71 - -34)/(((-4)/(-14))/(-2)) a prime number?
False
Suppose -5*f - 2*m = -20759, 9678 = 4*f - 5*m - 6916. Is f prime?
False
Let d(s) = 60*s**2 + 2*s + 5. Suppose 3*l + 1 - 4 = -3*y, 1 = -2*y - 3*l. Is d(y) composite?
True
Suppose 0*a - 3*a + 1518 = 0. Let b = -295 + a. Is b composite?
False
Suppose -4*v = -8*v. Suppose v*n - 2*n = -42. Is n composite?
True
Let c = 774 - 427. Is c prime?
True
Suppose 2*o = -0*o - 12. Let i be (20/o)/(4/(-6)). Suppose 3*q = i*q - 190. Is q a composite number?
True
Let n = 63 - 129. Let q be n/(-14) + 4/14. Suppose -23 + 198 = q*v. Is v a prime number?
False
Suppose 4*f - 16 = -2*t, 5*t - 2*f = 6 + 10. Suppose -55 = -5*h + 4*m, -m + 9 = 5*h - 3*h. Suppose -a + 17 = -t*l, -4*l - h = 1. Is a prime?
False
Let s(y) = 50*y - 3. Is s(10) a prime number?
False
Suppose -3*t + 40 = 5*f, -2*t - t + 24 = 3*f. Let w(a) = -a**3 + 9*a**2 - 10*a + 7. Let n be w(f). Is (-2)/1*n/6 prime?
True
Let g(i) = 9*i**2 - 22. Is g(9) prime?
False
Let s = 1 - -3. Let o be s/10 - (-39)/15. Is -51*(-3)/o*1 a prime number?
False
Is 1*2575 + (-19 - -23) a prime number?
True
Let g(v) = 3*v - 1. Let n be g(-1). Let q be 2*11/4*-2. Let k = n - q. Is k prime?
True
Let j = 35 - 2. Is j a prime number?
False
Suppose -4*s = -3*s. Is (-1 + s/2)*-59 prime?
True
Let t(q) = 4*q**3 + q**2 - 2*q + 4. Let d be t(6). Suppose -3*x = 3*k - 6*k + 2628, k = -3*x + d. Suppose 4*b - k = -0*p + 3*p, 0 = 3*b + 3*p - 639. Is b prime?
False
Suppose 0 = 3*p - 2 - 10. Suppose -o - 4*o - a + 786 = 0, 4*o = -p*a + 616. Is o prime?
False
Suppose -723 - 468 = -3*z. Is z composite?
False
Is 2 + (-167)/(-2) + (-2)/4 composite?
True
Let m = 9 + -16. Let a = m - -12. Is -3*(0 - (a - -2)) prime?
False
Suppose 0 = -5*x + 12 + 8. Let m be 385/14 - 2/x. Suppose k - m + 5 = 0. Is k a composite number?
True
Let x(b) = -b**3 + 7*b**2 + 2. Let r be x(5). Suppose -r = -z + 25. Is z a composite number?
True
Let i be (3/1)/(1 + 0). Let a be (76 + -2)*(i + -2). Is (9/6)/3*a a composite number?
False
Let o(w) = -w**2 + 5*w - 2. Let i be o(4). Suppose -26 - 12 = -i*d. Is d composite?
False
Let y(c) = 441*c**2 + 2*c - 1. Is y(-2) a composite number?
False
Let o be 1/3 + 112/24. Let i(f) be the first derivative of 2*f**2 - f - 4. Is i(o) composite?
False
Let w(u) = 3*u**2 + 5*u + 9. Is w(-5) composite?
False
Let q be -2 + (-7)/(-3)*3. Suppose -4*w + w = -q*d + 922, 2*w = 2*d - 368. Is d prime?
False
Let n(i) = 47*i**2 - i - 1. Is n(2) composite?
True
Let w = -43 - -74. Let c = 86 - w. Is c a prime number?
False
Suppose 34*c = 29*c + 19945. Is c composite?
False
Let u be 164*(3/4 + 0). Suppose 4*y - u - 33 = 0. Is y composite?
True
Let r = -3 + 5. Suppose 7*u - 2*g + 17 = r*u, u - 2*g = -5. Is (-23)/((u - 0) + 2) a composite number?
False
Let v = 165 - 56. Is v prime?
True
Let l(g) = g**2 - g + 127. Let o be (1 - -2)/(-3)*0. Is l(o) prime?
True
Suppose 0 = 8*b - 3*b - 20. Suppose 5*d = 25, b*d - 38 = -u + 4*u. Is 0 - -56 - (-3 - u) a prime number?
True
Suppose 4*l = -8, -4*h - 7*l + 15930 = -2*l. Is h composite?
True
Let d be (-347)/(-3) + 3/9. Is d/6*(-105)/(-10) a prime number?
False
Let x(s) = 6 - s + 7 - 1. Let k(t) = -t**3 + 4*t**2 + 5. Let c be k(4). Is x(c) composite?
False
Let f be 1/(-3) + (-5)/3. Let i(w) = -9*w + 9*w - 1 - 10*w. Is i(f) a prime number?
True
Let j(n) = 7*n**2 - 12. Is j(7) a composite number?
False
Let o = 1661 + -988. Is o a prime number?
True
Let j(n) = n**3 - 10 + 0*n - 10*n**2 + n + 12*n. Is j(9) a composite number?
True
Suppose -12 = -z - 5. Suppose -5*a = -127 + z. Is (1*7)/(8/a) prime?
False
Suppose -3*x - 309 = -1560. Suppose -x = -2*s - s. Is s a composite number?
False
Suppose 359 = -0*i + 3*i - 5*n, i + 2*n - 105 = 0. Is i a composite number?
False
Let u(r) = -3*r + r - 20*r**3 - 1 - 2*r**2 + 1 - 1. Suppose 4*g + 1 + 3 = 0. Is u(g) a composite number?
False
Suppose 1646 + 573 = 7*u. Is u prime?
True
Let j = 6 + -3. Suppose r - j*r + 194 = 0. Is r composite?
False
Suppose 2*s = -2*n + 708, -5*s - n + 1777 = -3*n. Is s prime?
False
Let c = -2 - -7. Suppose -26 = -c*w + 4. Is 2/w - 62/(-3) composite?
True
Suppose -933 = -s - 2*s. Is s a prime number?
True
Suppose 0 = -5*x - 3 - 7. Let t 