er: -1/6 or x?
x
Let s be 36/(-1872)*(-1)/(26/(-8)). Which is bigger: s or 1?
1
Let z = -87 - -87. Is z smaller than -5?
False
Let w be 106620/(-63) - (3 - 5). Let b = 1690 + w. Is -1 > b?
False
Suppose 3*v = -d - 5, -144*d + 147*d = 2*v - 4. Is v equal to 3/281?
False
Suppose 6 - 14 = -i. Suppose -11*d = -7*d - i. Let r be (d/(-6))/(2/6). Which is bigger: -2/11 or r?
-2/11
Let o(s) = -s + 2. Let j be o(-1). Suppose 0 = 2*d + j*d + 20. Suppose -p = p + 6. Which is smaller: d or p?
d
Let s = 854178/7 + -122376. Suppose 5*i + 1750 = -r, -3*i - 649 = -r + 401. Let h = i - s. Which is bigger: -0.4 or h?
h
Let z = -5 + 31. Suppose -5*x + 6 = z. Is -3 > x?
True
Let y = -3 + 1. Let f be ((-3)/9)/(2/(-6)). Let g = f + y. Which is smaller: -3/4 or g?
g
Let k(a) = 1 - a**2 - 3*a - 3*a**2 + 3*a**2 + 0*a**2. Let x be k(2). Let t be (-2)/(-24)*(-48)/x. Which is greater: -1 or t?
t
Suppose 0 = -7*n - 9 - 19. Let j be (n - (-25)/6)/10. Which is smaller: j or -1?
-1
Let o be (1 + (5 - 6))*-1. Which is smaller: o or 4/135?
o
Let j be -10 + -5*(-430)/200. Do j and 8 have the same value?
False
Let u be 168/(-30) - ((176/40 - 1) + -4). Let z = 18 - 25. Is u <= z?
False
Let g be (-4)/14 - 37/(-7). Suppose s + 3*t + g + 6 = 0, -4*s + 41 = -5*t. Suppose 2*q + 0*q - 9 = -p, 0 = -s*p - 4*q + 24. Is p at most 4?
True
Let g be 42/4599*9/(-6). Is g greater than -4?
True
Let k(b) = -2*b**3 - 2*b**2 + 4*b. Let d be k(-3). Suppose -549 = -40*x + 491. Suppose -d*z = -x*z. Which is smaller: 1/3 or z?
z
Let v = 66002 - 724310/11. Let t = 156 - v. Let s be ((-12)/(-8))/(15/10). Is t < s?
True
Let l(w) = -2*w**2 - 9*w - 4. Let d be l(-4). Which is bigger: 10/27 or d?
10/27
Let h = 0.284 - 0.054. Let q = h - 7.23. Let w = 7.1 + q. Which is smaller: 16 or w?
w
Suppose -4*z + 3*z + 111 = 5*s, -4*s = 5*z - 93. Suppose -s*q + 24*q = -2. Which is bigger: -3/7 or q?
-3/7
Let l = 107 + -104. Let v = -86 - l. Which is smaller: -90 or v?
-90
Suppose 154 = 21*b - 23*b. Let s = 42 + b. Which is smaller: -36 or s?
-36
Let k = 0.307 - 0.607. Which is bigger: k or 36?
36
Suppose -16*n = -18*n - 178. Let b = 5 - 93. Is b less than n?
False
Let t = 0.39 - 1.12. Let h = -166.27 + 166. Let f = h + t. Are f and 2/3 unequal?
True
Let z be 24*11/33 - -23. Which is smaller: 24 or z?
24
Let g = 21/22 - 1025/1166. Let z = 485/106 - g. Which is bigger: 5 or z?
5
Let z(f) = f**3 - 6*f**2 + 6*f - 2. Let q be z(5). Suppose -4*w - 4 + 1 = -5*j, 4*w = 4*j. Suppose 0 = g + 4 - 1, 2*x - w = g. Which is smaller: x or q?
x
Let z be -173*1/((-3)/3). Is 173 >= z?
True
Let o = 239401/2591585 - 2/8845. Let p = 74021/1172 + o. Let w = -63 + p. Which is smaller: w or -1?
-1
Let r(k) be the second derivative of -k**5/20 - 11*k**4/12 - 3*k**3/2 + 5*k**2 - 31*k. Let b be r(-10). Is 10/7 <= b?
False
Let s = -0.7 + -0.3. Let b = s - -5. Let u = -642.8 - -643. Is u at most b?
True
Let v = 29/42 + -5/14. Let i = 5.2 + -5. Is v != i?
True
Let h(q) be the third derivative of q**4/12 - 3*q**3/2 + 6*q**2. Let s be h(4). Let k = -101/714 - -1/42. Which is bigger: k or s?
k
Let m be (-2592)/(-18) + 1*-2. Let u = m + -143. Which is smaller: u or 2/135?
u
Suppose -14 = 2*t + 18. Let k = t - -17. Is k at most 2/85?
False
Suppose -4*o + 34 = 4*r + o, -2*o + 34 = 5*r. Let h(m) = -m + 3. Let w(p) = -1. Let t(g) = h(g) - 5*w(g). Let x be t(r). Which is smaller: x or -1?
-1
Suppose 5*n + 40 = -5*i, 3*n = 5*i - 2*n + 20. Let y be (21 + -1)*(5 + i). Is y bigger than -19?
False
Let a = -14 - -19. Suppose -a*f = -10, 42 = 5*o + 4*f - 1. Let i(h) = h**2 - 4*h - 5. Let m be i(6). Are o and m nonequal?
False
Suppose -5*i = -3*i - 6. Is -18/7 at most as big as i?
True
Suppose -66 = -b - b. Let s = b + -31. Suppose -2*g + 8 = -0*g. Are g and s equal?
False
Let j = -1244/825 - -38/25. Suppose 11*s = -0 + 11. Which is smaller: j or s?
j
Suppose 11*c = 8*c - 15, 0 = z - c - 23. Let f(q) = q**3 + 4*q**2 - 4*q + 5. Let k be f(-4). Let l = k - z. Which is smaller: 2 or l?
2
Suppose 4*m + 4 = 16. Let n be -8 - (m + (-24)/4). Let k = -3 + -3. Is n at most as big as k?
False
Let g(k) = -2*k + 3. Let v be g(-1). Suppose 8*z + 27 = v*z. Which is bigger: z or -8?
-8
Let q be (-11 - -10)/(1/(-2)). Suppose -5*j = -3*d + 61, -4*d + j = -q*j - 63. Suppose 132 = 3*y + 9*y. Which is smaller: y or d?
y
Suppose -8*c - 8*c = 0. Let v be (-192)/(-104) + (-2 - 0). Is v less than c?
True
Let q be 0/2 - 2/(-16). Suppose -3*p - p - 2*t = -2, 3*t + 21 = 2*p. Let j be 2/12*p*0. Which is smaller: j or q?
j
Let v be (-1)/(-6378)*1069 - (-9)/(-54). Which is greater: v or -1?
v
Suppose 241 = 5*g - 2*j, -5*g + 294 - 62 = j. Suppose -2*f - 192 = -4*u, u + 0*f = -4*f + 39. Is u > g?
False
Let p(q) = -3*q**3 - 3*q**2 - 4*q - 3. Let d be p(-2). Which is smaller: 12 or d?
12
Let v be ((-22)/(-14) - -3) + -3 - 1. Let a = -8/7 + v. Is a at least as big as 0?
False
Let y = 1.527 + -0.127. Let f = y - 0.8. Which is greater: 1/3 or f?
f
Suppose h - 180 = -173. Which is smaller: 13 or h?
h
Let c = 72 + -48. Suppose -4*o - c = -8*u + 4*u, o - 4*u = -18. Suppose 5*j + 21 = 1. Is j less than o?
True
Let w be (-16)/40 + 0 + 1742/(-70). Let g = -13091/518 - w. Is g less than -1?
False
Let x be (3 - 0) + (2 - 1656/(-9)). Is 1328/7 greater than or equal to x?
True
Suppose -5*d + 5*w + 23 + 32 = 0, -5*d + 4*w = -54. Suppose -d - 17 = 9*x. Which is smaller: -4 or x?
-4
Suppose 11*w - 162 = 29*w. Suppose 2*g - 38 = 5*q, -2 = 3*q + 2*g + 2*g. Which is smaller: w or q?
w
Let o be 11/3 - 2/(-6). Suppose o = -h + q, h + 5*q - 16 = -2. Let z = -2/43 - 248/215. Is h <= z?
False
Let f = -91.2 - -91.16. Is f bigger than -1?
True
Let j = 21 - 39. Let r = 12 + j. Let u = r + 9. Are -1 and u equal?
False
Let k be -4 + 11/854*334. Let a = -1/61 + k. Which is smaller: a or -1?
-1
Let u be ((-4)/(-2))/4*0 - 3. Which is smaller: u or -25/11?
u
Let c(s) = s**3 - 17*s**2 + 10*s - 273. Let m be c(16). Are m and 2 non-equal?
True
Let d = 67.6 - 75. Let o = d - -7. Is o smaller than -1/5?
True
Let g be 1 + -4 - (-4 - 0). Let u(l) = -19*l. Let q be u(g). Let d = q + 23. Is 5 bigger than d?
True
Let k be 12/240*5 - 770/8. Is -777/8 not equal to k?
True
Let c = 0 + 4. Let u be c/(-8)*(-7 - 1). Suppose 0 = -4*z - 3*b - 12, 0 = -u*z + 4*b + 2 + 14. Does z = 1?
False
Suppose -39 = 8*v - 39. Is -5/206 smaller than v?
True
Let z = 1.426 - 0.426. Is z < 3/7?
False
Let o = -2.05 - -0.05. Let f = -2 - 10. Let t = f - -15. Which is smaller: t or o?
o
Let s = 566 + -524. Is -1 smaller than s?
True
Let w = -5338/3 + 1795. Do 16 and w have different values?
True
Let d(i) = i**3 + 5*i**2 + 4*i + 5. Let z be d(-4). Suppose -x = -z*x. Is x at least as big as -10/9?
True
Let p = 7/19 + 17/57. Which is smaller: p or -1/54?
-1/54
Let f be (3/(-3))/((-2)/34). Let t = 560/3 + -169. Which is greater: t or f?
t
Suppose 2*z = -9*z + 1551. Is z smaller than 140?
False
Let y = 0 - 0. Let k(t) = -5*t**3 - 9*t**2 - 7*t - 9. Let d(r) = -3*r**3 - 5*r**2 - 4*r - 5. Let o(m) = 7*d(m) - 4*k(m). Let g be o(y). Is -2/23 less than g?
True
Let a = 1.3 - 4.4. Let s = -2.1 - a. Let d be 2/(-5) + 24/(-15). Which is greater: d or s?
s
Let z = 1166 + -2323/2. Is -4 equal to z?
False
Let q = 42 - 14. Let p = q - 18. Is p greater than or equal to 1/4?
True
Let a(l) = -2*l + 3. Let j be a(-6). Suppose 2*b + 5 = 3, -j = -3*p + 3*b. Let c be ((-120)/75)/(14/(-35)). Is p less than c?
False
Let w be (-231)/28*(-20)/15. Which is smaller: w or 10?
10
Let o be 3/553*434/124. Which is greater: 0 or o?
o
Let r be -18*((-2)/(-3) - 0). Let b = 5800 + -5812. Do b and r have the same value?
True
Let s = 3 + -2.35. Let v = s + -0.35. Let r = -0.3 + v. Which is bigger: 1/7 or r?
1/7
Suppose -116 = 3*u + 7. Let x = u - -31. Suppose 4*f + 26 = -10. Is x != f?
True
Let o = 1061 - 1061.1. Which is smaller: -57 or o?
-57
Let i(t) = 2*t**2 - 12*t + 21. Let z be i(6). Let g be 2/2*-3*(-5)/z. Are g and 2 equal?
False
Suppose 10 = -5*d - 5, 3*y - 12 = 3*d. Which is smaller: y or 1/520?
1/520
Let c = -31751 + 127823/4. Let g be 2 + -3 - (-1 + -207). Let k = c - g. Is -1 > k?
True
Suppose 13*r + 17 = -35. Let g(u) = -10 - u + 3*u - 3*u. Let v be g(-8). Which is greater: r or v?
v
Let q(x) = -5*x + 90. Let u be q(-3). Which is bigger: u or 109?
109
Let y(g) = -4*g - 1. Let r(v) = -v - 9. 