 Is m prime?
True
Suppose 729341 + 1095975 = 15*i - 1110919. Is i a prime number?
False
Let c be (-1 - -1)/(1 + 0). Suppose -31*t = 83 - 8697 + 151. Suppose 0*b - 3*b + t = c. Is b prime?
False
Suppose -12*a + 7*a = 19*a - 14774808. Is a composite?
False
Suppose -3*x + y = 3*y + 1782, -5*x - 2*y - 2970 = 0. Let d = x - -967. Is d a composite number?
False
Let y = 145 - 145. Let q be -1 + (y + -2 - (26 + -9)). Is (-8)/q + (15729/(-5))/(-3) prime?
True
Let k = 158404 - 42903. Is k a prime number?
False
Let c(h) = 3*h**2 - 4*h + 7 - 2*h - 4*h**2. Let t be c(-7). Suppose -2*s + 310 = -t*s. Is s a prime number?
False
Let z be (-8)/((-67249)/11207 + 6). Suppose -4*o + z = i - 4047, -o - 50617 = -3*i. Is i a prime number?
True
Let x be ((-3)/(-2))/(8/((-22240)/15)). Let a = 1309 + x. Is a a composite number?
False
Suppose -50*a + 61*a + 8377 - 1059240 = 0. Is a a composite number?
True
Let i(v) be the first derivative of v**4/4 + 12*v**3 - 45*v**2/2 + 31*v - 138. Is i(-26) composite?
True
Let v(w) = 439*w**2 - 43*w + 397. Is v(22) a composite number?
False
Let q(d) = 3*d**2 + 6*d - 10. Let w be q(2). Let m be (-384)/w - 2 - 9/(-21). Is (-3)/((-3)/(-13))*m prime?
False
Let n(g) = 226*g + 453. Is n(41) a composite number?
False
Let f = -18 - -18. Let k be 3 + -1 + f/12. Is 379/3 - 4*k/(-12) a composite number?
False
Let p = 196570 + -127881. Is p prime?
False
Suppose 9 = -3*c - 12. Let a be 1/(-3)*(c + 6 + -5). Is (-8721)/(-21) - a/7 composite?
True
Suppose 7*i + 23365 = 2735291. Suppose 0 = -18*t - 8644 + i. Is t prime?
False
Let b = -2101 - -27834. Is b composite?
False
Is -57578*(-14)/(37 - 9) prime?
True
Suppose 3*z - 3*k - 305657 = -68972, k + 236693 = 3*z. Is z a prime number?
False
Let j = 316360 - 164543. Is j composite?
False
Let o = 70596 + 4553. Is o a prime number?
True
Let d = -40 + 37. Is (d/(-18) - 0) + (-40775)/(-42) a prime number?
True
Let h(a) = -a**2 - 7*a + 3. Let p be h(-7). Let i(b) = 5 + 132*b - 3*b**3 - 138*b + b**p - 4*b**2. Is i(-6) composite?
True
Let v = -1434 + 737. Let q = -251 - v. Is q prime?
False
Suppose 2*f = 100 - 108. Is 9/(-3) - (-4957 + 4/f) prime?
False
Let o be (14888/3)/(14/42). Let x = o - 9109. Is x a prime number?
True
Let q(r) = 3672*r**3 + 6*r**2 - 14*r + 43. Is q(4) a composite number?
False
Is 850694768/924*(-6)/(-8) a composite number?
True
Suppose -6*m = 28 + 62. Let l be (-25)/m*3 - 2619. Is 14/77 - l/22 a prime number?
False
Suppose -164*b + 87*b + 600573 = -74*b. Is b a prime number?
True
Is (1219486/(-8))/((-13)/52) prime?
True
Let g(o) = -o**2 - 4*o. Let j be g(-3). Suppose -579 - 741 = -j*b. Let a = -203 + b. Is a a prime number?
False
Let y = 736 + -2017. Let m = 4700 - y. Is m a prime number?
True
Let n be ((-10)/2)/(5/(-15)). Suppose 3*t + n*t = 22914. Is t a composite number?
True
Suppose -115*t = 88*t - 24*t - 12635431. Is t a composite number?
False
Let i be (-360)/(-54) - 2/3. Suppose i = -t - 0. Is t/(-27) - (-23715)/81 a prime number?
True
Let y(c) be the first derivative of 127*c**2/2 - 53*c - 61. Is y(22) composite?
False
Let o(u) = -5141*u + 634. Is o(-3) composite?
False
Suppose 21*x = 1426796 + 8492323. Is x a prime number?
False
Let p(w) be the first derivative of -w**6/6 - w**5/15 + w**4/24 + w**3/6 + 9*w**2/2 + 10. Let q(g) be the second derivative of p(g). Is q(-4) prime?
True
Suppose -3*o = -2*x - 4596, o - 4596 = -2*o - 4*x. Suppose 1272 + o = 4*b. Is b a prime number?
True
Let t be 6 - -4334 - (3 + 2). Let x = -2534 + t. Is x a composite number?
False
Let l(f) = -f**3 - 5*f**2 - 7*f - 13. Suppose 3*p - 1 = -13. Let j be l(p). Is 1116 - 0/2 - 1*j a prime number?
True
Let v(p) = -61*p**3 - 5*p**2. Let d be v(-3). Let c = d - 593. Is c a composite number?
False
Let r be (18 - 12)*(0 + 1/(-1)). Is r/(-30) - 470/(-25) composite?
False
Suppose 5*r + 2*l - 2273581 = 0, -2*l - 126 + 112 = 0. Is r prime?
False
Let b be 12/24*2*-1*0. Let m(r) = r**3 - 3*r**2 - 5*r + 4. Let a be m(4). Suppose -5*g + 3*h + 426 = a, b*h + 357 = 4*g + 3*h. Is g a prime number?
False
Suppose 2*p + 1168682 = 2*q, -5*p - 584317 = 110*q - 111*q. Is q a composite number?
False
Suppose -7*w = -w - 30. Suppose w*x - 32502 = -2*t, -6*x + 4*x = 3*t - 13003. Suppose -2*d = -x + 966. Is d composite?
False
Let u(b) = 640*b + 44. Let x be u(11). Suppose -2*d + 894 + x = 0. Is d prime?
True
Suppose -3*h + 4*r = 2*r + 32456, r - 4 = 0. Let b = h + 26527. Is b prime?
False
Let h be -1 + 2 - 495 - 0. Suppose 62*g + 8070 + 1046 = 55306. Let x = h + g. Is x a prime number?
True
Suppose 4*k - 4*n - 1269028 = 0, -387047 = -2*k - 6*n + 247403. Is k a composite number?
True
Suppose -5*d = -3*j - 10*d + 56, 5*d - 20 = 0. Let t = -11 + j. Is (t/(-6))/((-8)/51828)*4 prime?
False
Let i(z) = 410*z**3 + 22*z**2 + 50*z - 109. Is i(9) composite?
False
Suppose 0 = 5*w + 4*p + 7551, 4*p + 4123 = -2*w + 1105. Let v = -159 - w. Suppose -4*r = -2*r - 2*d - 1350, d = 2*r - v. Is r a composite number?
False
Let m = -11 + 10. Let r be (2 - m)/((-3)/8). Is (140/r)/(1/(-2)) prime?
False
Suppose 2*s - 3*y + 4 = -0*s, 0 = 3*s + 5*y - 32. Suppose s*w = 14 + 42. Suppose w*t - 8*t - 8142 = 0. Is t prime?
False
Let g(w) = w**3 + 6*w**2 + 12*w. Let h be g(-4). Let u be (4/((-32)/(-12)))/(12/h). Is (u + 0)*(2 + -399) a prime number?
False
Suppose -3*h + 3*i + 22 + 2 = 0, 0 = 3*h + i - 4. Let j(o) = 176*o**2 + 6*o - 31. Is j(h) composite?
False
Suppose 11*s - 45 - 43 = 0. Suppose s*v = 2739 + 32389. Is v a composite number?
False
Suppose -1074 + 4650 = -2*a. Let v = a - -489. Let t = 2306 + v. Is t prime?
False
Let t = -4 + -3. Let y be (-39)/(-91) + (-11232)/t. Suppose 0 = -5*g + y + 4130. Is g composite?
True
Let k = 7 - 0. Let j = k - 17. Let r(f) = 3*f**2 - f - 3. Is r(j) composite?
False
Suppose 16*l + 3*q - 7299 = 15*l, 5*l - 36559 = q. Let a = 11506 - l. Is a prime?
False
Suppose y - 288 = -5*t + 332, 3*t = 3*y + 390. Let p(v) = 38*v + 8. Let a be p(6). Let c = a - t. Is c a composite number?
True
Let d(g) = 12085*g**2 + 45*g - 3. Is d(2) composite?
True
Let n = 41942 + -18843. Is n a composite number?
False
Suppose -3*f = -0*u - 5*u + 10, -5*u + 5*f + 10 = 0. Suppose a - 6*a = 4*t + 1734, -a = u*t + 864. Let y = t - -838. Is y a prime number?
False
Let j = 6727 + -2305. Let z be (j/4)/(3/4). Let l = 7097 - z. Is l prime?
True
Suppose 0 = -3*p - 59 + 11. Let u be 5 - p/(-4) - -2. Let o(k) = 22*k**3 + k**2 + 5*k - 5. Is o(u) prime?
True
Let q = 12954 + 15365. Is q a prime number?
True
Let w(u) = 7939*u**2 - 102*u - 14. Is w(7) composite?
True
Let m = 196080 - 62927. Is m a prime number?
True
Let b be ((-3)/2)/(35/(-560)*6). Suppose -5*g + 8 = -g. Suppose -p = -g*o + 6287, -o - o + 6282 = b*p. Is o composite?
True
Suppose 0 = 3*c + 2*f - 4698, 18*c + 3133 = 20*c + f. Suppose 8271 = g + 2*g. Let x = g - c. Is x a prime number?
False
Let x(p) = p**2 - 15*p - 4. Let c be x(15). Let l(h) = -928*h - 25. Is l(c) prime?
False
Suppose 7*r - 3101009 = -12*r. Is r a prime number?
True
Let m(n) = 8 + 23*n + 6 - 1 - 2*n. Let i be ((-2)/(-6))/(((-611)/390)/(-47)). Is m(i) prime?
True
Let b(q) = q**3 + 7*q**2 + 6*q + 41. Let g be b(-7). Let s be (g - -2) + 3178*(-6)/(-12). Is (-2 - -2) + 2 + s/2 a prime number?
True
Let k be (-230)/(-8) + (-22)/(-88). Suppose 0 = -k*a + 28341 + 86470. Is a prime?
False
Suppose 3*z - 20 = -4*s, 5*z - 5*s + 7 = 52. Is (z/(-12))/(6/(-9207)*3) prime?
False
Is 4/24*-18 + 24226 + -2 composite?
True
Let m(o) = -3*o + 15. Let t be m(5). Suppose 7*y - 13*y + 1692 = t. Suppose 7*z = 5*z + y. Is z composite?
True
Let i be 0 + ((2 - -4)/(-3) - -4951). Let v = -2554 + i. Is v composite?
True
Suppose -11*q = -3*f - 16*q + 59811, 59811 = 3*f + q. Is f a prime number?
True
Suppose 16*d = 13*d + 7*d. Let w = 1 - -4. Suppose -2*t - w*j + 408 = -716, -5*t + j + 2783 = d. Is t a composite number?
False
Let b(k) = -1007*k - 1562. Is b(-45) prime?
True
Let v be ((-6 - 15)/(-7))/((-2)/118). Is -5 + (6 - 46*v) composite?
True
Suppose -24*x + 33*x = 3807. Let s = x + -128. Is s a composite number?
True
Let c(m) = -m**2 - 10*m - 6. Let r be c(-8). Let o be 928/((-45)/r - -4). Let h = 2893 + o. Is h a prime number?
False
Suppose -m - 2*m = -2*u + 11, 3 = -m + u. Suppose -5*p - 210 = -2*k + 2866, 0 = 3*k - 5*p - 4599. Is -3*m/15*k a prime number?
True
