n-equal?
True
Let p be 277095/60 - (-25)/(-100). Is 4616 not equal to p?
True
Suppose 0 = 3*a + 3, 4*h - 15 = -5*a + 32. Suppose 4*j + 3 + h = 0, 4*x + 24 = 2*j. Suppose -y - y = 22. Is x at least as big as y?
True
Let y = 7775 - 7829.57. Let g = 1.43 - y. Let s = g + -50.4. Which is greater: 2 or s?
s
Let n(j) be the first derivative of j**2/2 - 22*j + 2. Suppose 2*b - 2*f = 46, -3*b + 50 = -4*f - 20. Let c be n(b). Which is bigger: 4/11 or c?
4/11
Let m(n) = -8*n**2 - 502*n + 122. Let c be m(-63). Let y = 50/53 - 60503/64077. Let k = -37472/8463 + y. Which is smaller: k or c?
k
Let d = -4.71 - -5.11. Which is smaller: 2/227 or d?
2/227
Suppose -4*k + 38 = -2*s, k - 4*s - 41 = -2*k. Suppose -6*p - 9 = -k*p + 5*i, 4*p = -4*i - 12. Which is smaller: -7 or p?
-7
Let k be 213/7*1113/477. Is -6 at least k?
False
Suppose -116*s - 272*s + 69*s = 1194655. Is -3746 greater than s?
False
Suppose -4*p - 4*n + 60 = 0, -4*p + 7*p = 3*n + 15. Let y be (-40 + 35)*(1 + (-14)/p). Which is smaller: -9/2 or y?
-9/2
Suppose -38*d + 908 = 72. Suppose d*r = -r - 6555. Is -286 > r?
False
Let g = 835 + 2622. Do g and 3458 have the same value?
False
Let h be 45/(-15) - 57/(-21). Which is bigger: -297 or h?
h
Let k be (-4)/((-22 - 2254/(-115))/(2/35)). Suppose -2*u + 7*u = 0. Let h = 1 + u. Is h greater than k?
True
Let d = -2.4 - -0.4. Suppose -1228*t + 1232*t + 28 = 0, 307 = 4*w - 5*t. Which is smaller: w or d?
d
Let o(q) = 2*q**2 - 51*q - 9. Let g be o(26). Suppose 13*r - g + 17 = 0. Which is smaller: r or -178?
-178
Let r = -318 - -179. Let a = r - -178. Suppose 8*j + a = 31. Is 23 not equal to j?
True
Let j(b) = 9*b + 28. Let w be j(-8). Let k be (-445282)/430 + (w/(-10) - 4). Let f = -1035 - k. Is f at least 1?
False
Let m(w) = -7*w + 59. Let z be m(8). Suppose -v + 134 = z*d + 52, -4*d + 111 = v. Is 195/7 >= d?
False
Let g be ((-19852)/(-32) - -17)*-8. Do g and 0 have the same value?
False
Let g = 1012213 + -7098331/7. Let k = g + 117842/63. Is 37 greater than or equal to k?
True
Suppose g + 335 = -2*t, t - 2*t + 1631 = -5*g. Let k = g + 320. Let c = -9 - -1. Is k smaller than c?
False
Let s = -27/1196 - -7855/3588. Let v be (-7)/(-3) - 3/9. Let c be 2 + (2 - (v - 1)). Which is smaller: s or c?
s
Let q(x) = x**3 + 3*x**2 - 2*x + 3. Suppose 0*l = -5*l + 20. Suppose 0 = 4*k + l*c - 3*c + 14, 5*k - 3*c + 9 = 0. Let u be q(k). Which is greater: 8 or u?
u
Let p(v) = 10*v**2 - v. Let w be 2/(-3)*-3 + -1. Let s be p(w). Let h be 816/45 - 7 - 12/90. Do s and h have the same value?
False
Suppose g = -4*h - 3798, 46*h - 48*h - g - 1898 = 0. Is -952 less than or equal to h?
True
Let g = 3444 - 3414. Which is bigger: -15 or g?
g
Let x be 39*2/((-36)/(-7794)). Which is greater: 16888 or x?
16888
Let i = -55.88 + 58. Let v = 0.42 - i. Let y = -11.7 - v. Which is bigger: 1/4 or y?
1/4
Let m = -16 - -2. Let d be 7*6/(-36)*41/m. Let i = -19/6 + d. Is i >= 34?
False
Let v = -31.33 - -195.399. Let m = -164 + v. Are 0 and m equal?
False
Let w(j) = -j - 49 - j**2 - 7*j + 32*j. Let f be w(22). Which is smaller: -16 or f?
-16
Let u = 0.028 - -0.472. Let i = 4.6 + 9.4. Let j = 10 - i. Is j smaller than u?
True
Let j be 0/((3 - 1)*-1). Which is bigger: j or -54/209?
j
Let h(j) = -2 + 1 + 1848*j - 1840*j + j**2. Let s be h(-8). Let p be -1 - -11*14/(-304)*-2. Is p < s?
False
Suppose -61*c + 68*c = 0. Let j be 4 + ((-49)/(-27))/(2/(-6)). Which is smaller: j or c?
j
Let d(x) = -5077*x - 14478. Let m be d(-6). Is m at most 15983?
False
Suppose 155*f = -43*f - 11*f + 1045. Is f at most as big as 0.0012?
False
Let l(o) = o**2 - 17*o + 22. Let g be l(13). Let w = g - -29. Let d(r) = -4*r - 3. Let j be d(w). Do 1/2 and j have different values?
True
Suppose -17*s + 7215 = 48*s. Which is greater: s or 100?
s
Let d be (-9)/(-24) - (-8996)/416. Suppose 3*s - 7 = 2. Suppose -p + 22 = -5*w, s*w - 3*p = -w - d. Is w less than or equal to -1/3?
True
Let k be -1 - -9 - 2*-1. Let u be (2109/(-190))/((-27)/15) - -3. Is u smaller than k?
True
Suppose 4*n - 451 + 15 = -3*h, -5*n + 545 = 5*h. Let k be (-3)/(27/(-986)) + (-26 - 2142/(-81)). Which is bigger: n or k?
k
Suppose 5*b - 18 = -4*x, 25*x = -6*b + 23*x + 16. Is b less than 111/89?
False
Let w = -340 - -204. Let r be 74/w + -8*(-1)/16. Which is greater: 1 or r?
1
Suppose k = -3*k. Let w = 97.914 + -98. Let y = w + 0.036. Which is bigger: y or k?
k
Suppose -2116 - 3105 = -a + 4*r, -3*r = -a + 5224. Are 5232 and a nonequal?
True
Let p be 15/4 + 3/12. Let i be 5/2*4*p/(-62). Are i and -1 unequal?
True
Let a = -563 + 565. Let g = 14 - -2. Let l = g + -14. Is a less than or equal to l?
True
Suppose 27*g = 116*g + 182*g - 327639. Is g > 1212?
False
Let y be ((-33)/(-6))/((-3774)/(-24072)). Which is bigger: 36 or y?
36
Let x = -275.9478 - 0.0522. Let w = -274 - x. Are w and 21 nonequal?
True
Let i = 2.019 + 1124.981. Which is smaller: 1 or i?
1
Let o(y) = -104*y + 8212. Let b be o(79). Let k be 12/9*(-246)/4. Let z be 1 - -2 - k/(-14). Which is greater: b or z?
z
Let n(p) = p**2 + 2*p + 1. Let g be n(-1). Let z be 4 + -2 - (17 + 66). Let w be (-1)/z*(-9 - -6). Which is smaller: w or g?
w
Let l = 6142 + -6045. Which is greater: 587/6 or l?
587/6
Suppose 5*y - 26 + 1 = 0. Suppose y*a + 4*o + 20 = 0, 3*a + 4*o + 15 = -5. Suppose 0 = -2*v + 2 - a, 0 = -3*w - 5*v + 20. Is 4 > w?
False
Let o be (-4 - 14/(-4))/((-3)/(-42)). Suppose 0 = -3*c - 12, 0*s = -2*s - 3*c - 4. Suppose 6*z - 13 = 2*z + 3*d, -z + d + s = 0. Is o bigger than z?
False
Let o = -34 - -55. Suppose -2*f - 3*f = 2*t + 30, 5*f = 4*t + 60. Let k = t + o. Which is smaller: k or 1/4?
1/4
Let i(o) = -248*o - 75. Let w be i(6). Let c = w - -48427/31. Do -1 and c have different values?
True
Suppose 0 = 483*p - 417*p + 54120. Which is greater: p or -828?
p
Let n be (-852)/82*(22 + -21). Which is greater: n or -9?
-9
Let f = -259.047 - -259. Let j = 56.953 - f. Is 0.1 at most as big as j?
True
Let f = -234 - -166.2. Let t = f + 68. Is -0.44 at least as big as t?
False
Let x be 207/(-24)*(-20)/30 - (-54)/(-9). Is x greater than or equal to 9.6?
False
Let a = -2179.4 - -2177.4. Is 2/927 greater than a?
True
Let v be ((-104)/(-10))/(-4 + (-154)/(-35)). Suppose -25*o + 16 = -v*o. Let b be (0 - o)*1/(-2). Do -46/5 and b have the same value?
False
Let t(y) = -y**2 - 12*y - 19. Let k be (1 + 1/2)/(30/(-160)). Let c be t(k). Let n be 14 - 9 - (-3)/(21/(-37)). Is n at least as big as c?
False
Let j = -124 - -100. Let k be -4 + (-54)/5*(-80)/j. Which is smaller: -38 or k?
k
Let f = 978/7 + -140. Let w be ((-10)/(-25) - 297/55) + 113. Which is bigger: w or f?
w
Let t be (74/(-6))/((-2)/(-6)). Let d be 1/(t/19 + 2). Let p be -1 + (1/1 - -20). Which is smaller: p or d?
d
Suppose 3*q = -a, 42*a = 2*q + 45*a. Suppose q = -5*y, 24 = -3*f + 2*y + 147. Is 43 > f?
True
Let r(n) = -11*n**2 - 28*n - 58. Let a(y) = -2*y**2 + 1. Let b(x) = 5*a(x) - r(x). Let i be b(-27). Which is smaller: i or 38?
i
Let r = 64 - 41. Let m = r + -22. Let c be (15/5)/(-3)*0. Is c greater than m?
False
Let h = -21319 - -11541. Which is bigger: -9779 or h?
h
Let k = -11878 + 11839. Which is bigger: 2.2 or k?
2.2
Let x = 8025 + -8039. Is -55 <= x?
True
Let w be 0/(36/(-24)*4/3). Let z be (-222)/396 + 12/24. Which is bigger: z or w?
w
Let p be (28 - 170/6)/(2606/(-36)). Which is greater: p or -1?
p
Suppose 5*f + p - 195 = 0, -5*p - 51 = 6*f - 8*f. Let x = f - 33. Suppose -3*o + 7 = -z - 4*o, -3*o + 3 = -x*z. Which is greater: z or -2?
-2
Suppose -41*q - 31178 = -27*q. Is q < -2226?
True
Let w be (-30 - -27)*68/(-6)*-1. Let c(b) = -b**3 + 5*b**2 + 10*b - 6. Let q be c(7). Is w at most q?
True
Let q be (-6 + 8)/(2/(-32)). Let b = 1227 + -1231. Which is greater: b or q?
b
Let y = 26393.4 - 26396. Which is greater: -2/41 or y?
-2/41
Let g(m) = 26*m**2 + 3*m + 2. Suppose 3*w - 3 = -2*w - 4*h, -5*h = 2*w - 8. Let a be g(w). Suppose a = -l + v, 5*l + 5*v + 5 = -70. Is -20 at least l?
True
Let b(g) = -2*g**3 + 39*g**2 + 169*g - 50. Let o be b(23). Which is smaller: 128 or o?
128
Suppose 4*f - 10 - 10 = 0. Let h be f*(-4 - (-23)/5). Suppose -5*n + 2*n + 15 = 3*v, -3*v = -2*n - 10. Which is bigger: h or n?
h
Let z = -166.29 + -3.71. Let o = z + 161. Let q = -16 - -33/2. Is o at least as big as q?
False
Let x = 56.74 - 55.94. Which is greater: x or -360?
x
Su