 l at most as big as 6?
True
Let q be (-2 + 11/5)*-9. Suppose -11*w = -w + 40. Let x be ((-4)/(-14))/(w + 216/56). Which is smaller: q or x?
x
Let i = -15273 - -15274. Is 129/68 != i?
True
Let m be ((-14714)/(-28) + 10)*12/(-9). Is m != -714?
False
Let f(y) = 4*y - 9. Let z be f(8). Let m = z - 42. Is m at most as big as -17?
True
Let g be 7/(-966)*-232 - (2 + (-16)/6). Is g at most 3?
True
Let p be 50/125 - 11*(-3)/5. Suppose 12*m + 385 = p*m. Is -77 at least m?
True
Let g be 12/(-26) + 179607/397176. Is g bigger than 1?
False
Let v = -651/590 + 12/59. Suppose 0 = -5*s - 0 - 15. Let w be (-1)/(-2) + s/2. Which is smaller: w or v?
w
Let m = -0.05767 + -0.04233. Which is bigger: m or 1063/2?
1063/2
Let y = 20962 - 27536. Is y != -6572?
True
Let b = 41333 + -44609. Are -3273 and b equal?
False
Let i = 69.8 + 39.2. Let a = 108.94 - i. Is a greater than or equal to 0.1?
False
Let q = -38 + 42. Let d be ((-165)/44)/(1/q). Suppose -2*x - 83 = 5*y - 6, -y - x - 16 = 0. Is y greater than d?
False
Let m(o) = 7*o**3 - 2*o - 1. Let q be m(-1). Let r = 109 - 114. Let s be r/4 + (-434)/56. Which is bigger: q or s?
q
Suppose 0 = -2*o + 5*k + 15, 7 - 16 = -4*o + 3*k. Suppose o*q - 3*q = 18. Suppose -426 = 16*h - 490. Which is smaller: q or h?
q
Suppose 0*r + 6 = 3*r. Suppose 0 = q + 4*p + 14, -2 + 4 = 2*q - r*p. Let t be 3/q*(-1 + (-182)/(-21)). Is t < -11?
True
Let q = 18556 - 18550. Suppose 56 = 2*b + 2*v, -2*b - 2*v - 79 = -5*b. Which is smaller: b or q?
q
Suppose 4*o + 0 + 8 = 0. Let a be o/(-1) + 0/2. Which is smaller: a or 20/13?
20/13
Let i = 292 - 649. Let z be (i/63 + 1*6)*-123. Which is greater: z or -39?
-39
Let o = -3101/207 + 342/23. Let g = 9 + -7. Are g and o nonequal?
True
Let d be ((-12)/(-30))/(3/(-1350)). Is -186 bigger than d?
False
Let j(k) = -10*k**2 + 1 - 7*k**3 + 11*k - 3*k**3 + 18*k + 12*k**3 - 16*k. Let g be j(6). Which is greater: 150 or g?
g
Let p = 37 + -37. Suppose 5*l + 202 - 97 = p. Let z(a) = 5*a + 3. Let h be z(-5). Which is smaller: h or l?
h
Let g = -34.3 - -63.7. Let k = -7.4 + g. Is -3 not equal to k?
True
Let o(y) = -y**2 - 14*y - 33. Let j be o(-17). Let q be ((-8)/2856)/(7/j). Is -1 less than or equal to q?
True
Let f(a) = -a**3 - 3*a**2 + 2*a + 1. Let r be f(-3). Let k = 4602 - 1122885/244. Let q = k - 3181/732. Which is smaller: r or q?
r
Let c(u) = -9*u**2 + 202*u - 4284. Let z be c(33). Is -7418 > z?
True
Let g be 2 + (36/(-54))/(6/(-4581)). Is g >= 511?
True
Suppose 0 = 8*c - c - 5292. Suppose 3609 = 58*v - 40297. Is c > v?
False
Let t = -18 - -36. Suppose -22 + t = d. Let h(s) = -s**2 - 3*s + 4. Let k be h(d). Is -4/25 <= k?
True
Let a = -464 - -362. Let h = a + 105. Is h greater than or equal to 47/12?
False
Let m = 157 + -196. Let z be -4 + m/(-10) + 6/60. Is z > 4/69?
False
Let n = -6701 - -6715. Are n and -61 equal?
False
Let c = 318 + -318.38. Let d = c + 0.18. Is -30 < d?
True
Let b be 2/((-1690)/(-30) - -3). Are b and 5 equal?
False
Let t(z) = -z**2 + 5*z - 34. Let v be t(10). Let p = v - -91. Suppose -p*c + 315 = -4*c. Are 106 and c equal?
False
Suppose 0 = -2*i - 3*j - 15, -6*i + 3*j = -7*i - 9. Let m be (-1912)/44 + i/11. Which is greater: -43 or m?
-43
Suppose 6*w - 25 = -1. Suppose -w*s - s + 45 = 0. Let q(l) = -l**3 + 9*l**2 - 4*l + 14. Let j be q(s). Is -22 less than j?
False
Let x be 7/((-980)/(-90)) - (0 - 0). Let f = -939/7 + x. Which is greater: 0.1 or f?
0.1
Let v = -0.21932 + 387.21932. Which is bigger: 0.15 or v?
v
Let g = 827/102 - 49/6. Suppose -5*j + 3*j = 22. Let o = j - -10. Is g at least as big as o?
True
Let a be (-6)/(-12) - (65/(-10))/13. Which is smaller: -2/1173 or a?
-2/1173
Let b be 8/(144/41823)*8/6. Which is bigger: b or 3097?
b
Suppose 2*b - 5*k - 6672 = 0, -1835*k = 5*b - 1832*k - 16711. Which is smaller: b or 3342?
b
Let d = 125 + -124. Let m = -20 - -33. Let g(h) = h**2 - 13*h + 2. Let i be g(m). Is d greater than i?
False
Let h = 129363 + -2717164/21. Let m = 178/7 + h. Which is greater: m or 1/13?
1/13
Let p = 107/57 - 982/513. Is p greater than or equal to -0.22?
True
Suppose -38*h = -9*h + 9048. Let s be 12/(h/(-949)) + (-2)/(-4). Let a(p) = p**3 + 9*p**2 + 3*p - 4. Let f be a(-8). Is f equal to s?
False
Let l = -2156 - -49591/23. Let q = 0.11 - 1.11. Do l and q have the same value?
False
Let t be -4*(7/2 + -4). Suppose -v + 4*v + p - t = 0, -p - 2 = -v. Let d = -1273/6 + 213. Is v at least as big as d?
True
Let f be 21*23*(-6)/(-2898). Which is smaller: 31/27 or f?
f
Suppose -4*k + 2*s = -20, -3*s = 3*k - 0 - 6. Suppose 10*b = k + 36. Suppose 3*c + 3 = -2*d, 4*d + b*c + 3 = d. Is d at most as big as 5?
True
Suppose 0 = 27*t - 29*t + 4. Suppose t*n + 109 = -5. Let f = -61 + 3. Are n and f non-equal?
True
Let u = 1068 - 808. Let w be u/45 - (-10)/45. Is 18 != w?
True
Let k = -104 + 263. Let y = 16799 - 16642. Is y >= k?
False
Suppose 2*a = -2*a + 2*l, -l - 3 = a. Let y be (-192)/(-128)*(a - (-7)/3). Suppose 2*p + 1 = -3. Which is smaller: y or p?
p
Suppose -397 + 1615 = -14*d. Let t = d - -87. Which is smaller: -3 or t?
-3
Let b = -6138 - -6143. Let v be (1 - 2)/(1/(-5)). Is b at most v?
True
Suppose 59*w - 852 = 47*w. Suppose -w = -5*c + 4*c. Is 69 <= c?
True
Let y = -3309.7 - -3310. Is y less than or equal to 470?
True
Suppose -3*n + x = -3497, -606*n - 4670 = -610*n - 6*x. Is n >= 1171?
False
Let l = 27570 + -27519. Is l <= 0.04?
False
Let x be (-1)/(-9)*423/527810. Is x bigger than -1?
True
Let x = -222 - -42. Let c = -118 - x. Let q be (-8)/(-28) - c/(-28). Which is bigger: 4 or q?
4
Let a be 8/1008*42522 + (-16)/14. Which is greater: 336 or a?
a
Suppose -26501 = -18*h - 26483. Which is smaller: 27/922 or h?
27/922
Let f = 1359672/155 + -8772. Let g = f - -929/2015. Which is smaller: g or 2?
g
Let d be 2/2 + 54/630*-14. Which is smaller: d or -2/325?
d
Let f = -12479 + 13343. Are 6057/7 and f equal?
False
Suppose 59*a - 6455 = 2*z + 64*a, 2*z + 6483 = -a. Do z and -3247 have different values?
True
Let m be (2 - 1) + 2*7. Suppose 11*a + 668 = 15*a. Let w = a - 152. Does m = w?
True
Let l = 27 + -25. Suppose l*j = 12*j - 40. Suppose 4*u - u = -2*q, -4*q + j = 4*u. Are 0.06 and u nonequal?
True
Let t = -243083/1700733540 + 3/94564. Which is smaller: t or 1?
t
Suppose 0 = 3*h + 3*i - 2961, 3*i = 13*h - 10*h - 2973. Which is greater: h or 992?
992
Let l(u) = u**3 - 4*u**2 + 2*u + 23. Let n be l(0). Suppose 81 + 57 = -n*c. Suppose 0 = -3*s - 12 - 12. Which is bigger: c or s?
c
Let h = -7629670540/12773 + 597328. Is -0.1 greater than h?
False
Let q = -29681/1522 + 1/761. Let p = -943/50 - q. Which is bigger: p or 0?
p
Let w(s) = 118*s - 99. Let z be w(-8). Let v = -9407/9 - z. Is v at least -1?
False
Suppose 0 = -5*l + 3*f - 245, 218 = -4*l - 11*f + 9*f. Which is bigger: -625/12 or l?
l
Let b = -129 + 105. Let r = 20 - b. Is 0.3 <= r?
True
Let d = 31.2 - -6.8. Let j = d + -39. Let p be (16/360)/(1/(-5)). Is j less than p?
True
Let f(k) = -k**2 - 11*k + 8. Let t be f(-12). Let y be (-113)/222 - 2/t. Let z = -151 + 152. Do z and y have different values?
True
Suppose -5*i = g + 26 - 28, -5*g - 2*i + 56 = 0. Suppose -2*t + 2 = 0, -2*q + t - 13 = q. Let b be (g/42)/(q/(-14)). Which is smaller: 3/13 or b?
3/13
Suppose -133*r + 134*r - 119 = -u, 0 = -4*u - 3*r + 476. Which is smaller: 123 or u?
u
Let k = -308213 - -308217. Let p be (14/(-6))/((-3)/(-45)). Which is bigger: p or k?
k
Let b = -70 - 8267. Is -8337 at most as big as b?
True
Suppose 3*t - 4 - 41 = 0. Let s = -99.3 - -91. Let f = 8.2 + s. Are t and f unequal?
True
Let r = -20163 - -36498. Is r equal to 16334?
False
Suppose 54 = 2*p - 0*u + 4*u, -2*p = -u - 74. Let z = 39 - p. Let i be (((-6)/4)/1)/((-3)/z). Is i >= -20?
True
Let s = 56 - 48. Let j = -17/21 - -307/42. Is j > s?
False
Let j be 4/(-6)*15/(-10)*-1*486. Which is smaller: j or -484?
j
Suppose -4*y = -18 - 6. Suppose y = 3*w, 4*u + w - 4 = 2. Suppose -2*r + 65 = 3*r. Is u less than or equal to r?
True
Let g be (18/(-105))/(13797/210). Which is greater: -1 or g?
g
Let k be (-2158)/(-3) - (-43 + 5715/135). Which is bigger: 2/5 or k?
k
Let b = -0.046 + -0.017. Let c = b + 0.183. Let j be 24/672 - (-2)/(-7). Which is greater: c or j?
c
Let x = -2.17 + 2.3. Suppose 5*u + 2 = -3*l, 2*l - 26 = -l + 2*u. Let q be (l - 3)*(-2 - -3 - 2). Is x < q?
False
Let t = -5