maller: -13/2 or d?
-13/2
Let c = 9590 - 28717/3. Suppose -5*m + 86 = 5*n - 14, 34 = 2*m - n. Which is bigger: c or m?
m
Suppose 3*z + 2*j - 11 = 2*z, -j = -z + 2. Suppose 0 = -v + 5*f - 17, 0 = -z*v + 2*v + f - 51. Is v > -1?
False
Let n be 0 - 3 - (1 + (-18)/5). Let j be (-3)/2 + (-2)/(-4). Is n smaller than j?
False
Let g = -1215 + 1214. Is -4.25 less than g?
True
Suppose -l - 6 = 3. Suppose 4*g - 5*s = -25, 5*g + 3*s - 6 = -28. Let f be (-3 + 92/20)*g. Which is smaller: f or l?
l
Let c(v) = -v - 4. Let o be c(-5). Let f = -100 + 96. Let s be (-3 + (-11)/f)/(12/18). Which is smaller: o or s?
s
Let k be ((172/6)/1)/((-74)/333). Is -130 less than k?
True
Let z = 174.62 + -173. Let j = 0.38 + z. Which is bigger: j or -8?
j
Let i = 575 - 570. Are 13/3 and i nonequal?
True
Suppose 0 = -11*j - 26 + 4. Let l be (-5)/25*j*-1. Which is smaller: 9 or l?
l
Let s = -2136 + 702742/329. Which is smaller: 1 or s?
s
Let m = -685.7 - -685. Let z = 1.97 - 2.5. Let u = z - m. Is u bigger than -0.1?
True
Let o = 2.649 - 0.339. Let d = o - 0.31. Which is smaller: d or -1.2?
-1.2
Let g = 7/16 + -85/48. Let f = -77 + 69. Let p be (-1 + 3)/((128/f)/8). Is p != g?
True
Let h be 2 + (63316/(-29856) - 7/(-56)). Which is smaller: h or 1?
h
Let l = -21/9010 + 1/85. Let b = -855/742 + l. Suppose 5*k = k - 4. Is k <= b?
False
Let x be (4 + (-5121)/(-6))/6. Let g = x + -143. Which is smaller: 1 or g?
g
Let x = 1.23 - 61.23. Let p = x - -63. Is p bigger than -6?
True
Let f = -3.07 + 0.07. Let h(s) = -2*s**2 - 7*s - 25. Let b be h(-10). Let t = b + 2327/15. Are t and f equal?
False
Let l be (1 - 1)/((-4)/4). Suppose -2*z + 5*k - 2 = 0, 2*z + 5*k - 3*k + 2 = l. Is z bigger than -8?
True
Let n = 492 - 492.01. Which is smaller: -51/7 or n?
-51/7
Let g = -130.8 + 137.1. Which is smaller: 2 or g?
2
Let h(l) = -9*l + 14. Let x(i) = -5*i + 7. Let p(v) = 6*h(v) - 11*x(v). Let m be p(-7). Let j = 5 + -4. Is j < m?
False
Let y = -25.476 + -0.124. Let r = y - 4.4. Let h = 43 + r. Are 0 and h nonequal?
True
Let g = -1 + -4. Let c(f) = -11*f - 16. Let b be c(g). Is b greater than or equal to 79/2?
False
Suppose 0 = 5*t - 3*t. Suppose 0 = -5*s - t*s. Let h = -177 + 883/5. Which is smaller: h or s?
h
Let w(a) = 4*a**2 - 9*a**2 - 6*a - 6 + 1 - a**3 + 2. Let v be w(-4). Let x = -1 - v. Are -5 and x equal?
False
Let q(t) = -193*t - 60. Let k be q(-2). Which is greater: k or 324?
k
Let l be (2/(-4))/((-836)/8). Suppose -4*p - 16 = 2*o, 4*p + 16 = -5*o + 10*o. Is l bigger than o?
True
Let x(i) = -i**3 + 10*i**2 - 9*i - 4. Let m be x(8). Suppose 5*a - 5*k = 7*a - 119, k - 263 = -5*a. Is m <= a?
True
Suppose 12 = -4*q - 5*l + 43, -5*q = 5*l - 35. Let u(b) = -b**3 + 4*b**2 + 3*b - 2. Let f be u(q). Let x be (1/(-10))/(f/(-25)). Is 0 > x?
False
Let t(z) be the second derivative of -2*z - 9/2*z**2 - 1/12*z**4 + 3/2*z**3 + 0. Let v be t(8). Which is smaller: v or 1/10?
v
Let s be (112/(-49))/8 + 9656/(-14). Let w be 1/(-5) + (-228)/s. Are w and -1 non-equal?
True
Suppose 10 + 14 = -f. Let w = 4574 + -4599. Is f at most as big as w?
False
Let g be (-48)/84 - (-288)/14. Let n = g + -18. Does n = 2?
True
Let b = -14.57 - -14.77. Are -3/7 and b unequal?
True
Let k = 15095/3081 - 197/39. Which is smaller: 0 or k?
k
Let j = 80/37 - 1245/148. Which is bigger: -2 or j?
-2
Let l(v) = v**3 + 2*v**2 - 2*v. Let s(r) = r**3 + r**2 - 3*r. Let z(n) = 3*l(n) - 2*s(n). Let m be z(-4). Let o be (m + 3)*4/48. Are o and 0 nonequal?
True
Let q(v) = -v**3 - 4*v**2 + 26*v - 3. Let l be q(-11). Let t be (l/92 - 6)*(-2)/(-4). Is t at least 1?
False
Let h(a) = -a**3 - 5*a**2 - 9*a - 13. Let z be h(-4). Suppose -3 = 6*t - z*t. Which is smaller: t or 0.03?
0.03
Let j be (30/(-9))/((-12)/18). Suppose j = -2*m - 9. Is m less than -6?
True
Suppose -8470*w = -8472*w + 2. Which is bigger: w or 4/1423?
w
Let g = -2/6003 + -720338/66033. Which is smaller: -10 or g?
g
Let s(o) = 2*o - 2. Let z be s(4). Let y(v) = -v**3 + 4*v**2 + 9*v + 8. Let f be y(z). Is f less than 2?
True
Let k be 255/36*((-16)/20)/2. Is k > -3?
True
Let n = -69 - -71. Is 39/7 < n?
False
Let p = -2 - -3. Let l = 0 - p. Suppose -3*s = -22*o + 20*o + 12, 4*s - 3*o + 17 = 0. Is s < l?
True
Let w = 186 - 204. Which is smaller: -4 or w?
w
Let n be (2 + 0)*(8 - 3). Suppose 0 = 2*d + 2*k, d + d + 9 = -5*k. Which is bigger: d or n?
n
Let u = -59.4 + 144.52. Let y = -85 + u. Is y greater than or equal to 0.4?
False
Suppose 2*z + 49 + 15 = -a, 5*a + 4*z = -338. Is a greater than -70?
False
Let m(d) = -d**3 - 16*d**2 + 17*d + 22. Let w be m(-17). Let x be 6/30 + w/(-10). Let c be ((0 - -2) + -3)*-1. Do c and x have different values?
True
Let p be (-5)/10 + (-4)/((-200)/(-2945)). Is -60 equal to p?
False
Suppose q - 3 = 2*f, 13 = 5*f + q + 3. Let k be 2 - (-2 + (-6)/(-3)). Suppose -k*l = -7*l. Is f less than or equal to l?
False
Let h = 6 - 4. Let l = -26 + 32. Let n be (8 - l)*2/4. Which is bigger: n or h?
h
Let k = 71 - 701/10. Suppose 4*y = 4*m - 8, 3*m = -y - y + 16. Is k at most y?
True
Let o(p) = -4*p**2 - 4*p + 5. Let y be o(-2). Which is smaller: y or 6?
y
Let t = -341 + 3754/11. Suppose 10*c + 45 = 9*c. Let i be 6/c - (-2)/15. Is t greater than i?
True
Let l be -51*(-9)/324*6. Is 1/3 <= l?
True
Let o = -84083/67 + 1255. Let t(k) = -k**3 + 9*k**2 + 2*k + 80. Let a be t(10). Are a and o nonequal?
True
Let z(k) = 4*k**2 + 13*k - 3. Let v be z(-2). Which is greater: 14 or v?
14
Suppose m + 134 = 3*m. Let l = m + -61. Which is bigger: 7 or l?
7
Let w be 1*153*(-8)/(-24). Is 49 greater than w?
False
Suppose 5*m + 0*m - 10 = 0. Let x be (m/(-4))/(-1 + 27/24). Which is greater: x or -3?
-3
Let k be (-76)/(-10) + 27/(-45). Let a = -25 - -29. Let m be 69/12 - (-1)/a. Which is smaller: k or m?
m
Let g be 11270/(-63) - (-24)/27. Which is greater: -709/4 or g?
-709/4
Let f be 2/(-30) - (-2)/(-6). Let r = -14.058 - -0.058. Let x = -13 - r. Does x = f?
False
Suppose 7*y + 20 = 3*y + 2*j, -4*y + 3*j = 22. Let n be -22 - -3 - y - 2. Is n at least -2?
False
Let v be 6*(-4)/(-16)*2. Suppose -v = k, 3*l = -l + 5*k + 7. Let j be (l/7)/((-9)/21). Which is bigger: 2 or j?
2
Let x = 18.7 - 28.6. Let w = 9.2 + 0.8. Let v = w + x. Is -4 equal to v?
False
Let x = -0.065 + 0.06. Let m = x - -0.005. Is 28 greater than m?
True
Let a = -0.48 - -0.9. Let r = a - 0.02. Let n(q) = q - 8. Let k be n(7). Is k less than r?
True
Suppose -7*k + 67 = 25. Let j(o) = -o + 8. Let v be j(k). Is 3/7 greater than or equal to v?
False
Let k(l) = -l**3 + 11*l**2 + 24*l - 22. Let m be k(13). Which is bigger: m or -23?
-23
Let z be (5/(-10))/(11/(-22)). Is z less than or equal to -2/1743?
False
Let u = 68 - 71. Are -111 and u non-equal?
True
Let a = 21039/5 + -4171. Is a > 38?
False
Let q = 143 + -145. Let r be (3 - q*(-4 - -5))*-1. Which is smaller: -17 or r?
-17
Let x = -14/185 + -306/5735. Suppose 3*j + g + g + 3 = 0, -2 = 2*j + g. Which is bigger: x or j?
x
Let l be 2/3 - (-28)/(-141). Let w be (-4)/7 - (7 - 107103/12831). Let f = w - l. Which is bigger: f or -1?
f
Let h(k) = k**3 - 7*k + 1. Let s be h(0). Are 57/52 and s unequal?
True
Let u = -1/179 - 163/2864. Let o(w) = -2*w - 15. Let i be o(-7). Is u > i?
True
Suppose q - 2*q = -5*m, 0 = 5*m - 25. Suppose w - q = 6*k - 2*k, -3*k + 2*w - 25 = 0. Which is smaller: k or 2?
k
Let p = 32 - 31. Let d = p + -1.5. Let u be -2 + (-174)/(-34) + -3. Which is smaller: u or d?
d
Let s = 139 + -244. Let i = 116 + s. Is -1/4 at least i?
False
Let q be (864/(-70))/(-3) - (-18)/63. Is q bigger than 4?
True
Suppose 2*q - m - 3 = 0, -3*q + 7 = -3*m + 4*m. Let v be (-163)/7 + q/7. Let z = v + 24. Is z equal to 4/11?
False
Let z be (-10)/90 - (-67)/279. Let m = 26/279 + z. Which is bigger: 0 or m?
m
Let y = -3.79 - -3.79. Which is greater: y or -56?
y
Let n = 453.03 + -455. Let v = -2.27 - n. Let h = -9.8 - -9. Is h less than v?
True
Let j = -5 - -9. Let m be (-11)/(-319)*j/2. Is m less than 1?
True
Suppose -9 + 2 = -3*j + 4*q, 0 = j - 5*q + 5. Suppose -j*g = -g - 12. Suppose 10 = g*r - 2. Is -2/3 >= r?
False
Let r = 406 + -308. Which is smaller: r or 99?
r
Suppose -7338 + 2112 = 78*v. Let o(t) = -t**2 - t - 66. Let n be o(0). Is n < v?
False
Suppose 0 = 2*p + 24720 - 128214. Let q = 18163130/351 - p. Let b = q - -1/27. Which is smaller: b or 1?
b
Let l = -2/715 + -2846/500