Suppose -3*b = 5*j - 7, -2*b + 4*b - 6 = -4*j. Suppose -3*u = j*u + 50. Is u greater than -10?
False
Suppose -4*f = -2*d + f + 389, -3*d - 4*f = -549. Let a = -3180/17 + d. Suppose -2*m = 2*m. Which is smaller: m or a?
a
Suppose -q + 3*z - 13 = 0, 31 = 5*q + 4*z + 1. Which is bigger: q or 14/15?
q
Let a be (9/12)/((-87)/8). Which is smaller: a or 0?
a
Suppose -4 + 164 = 5*x. Suppose -x = 5*s - 7. Suppose -5*n = 10 - 5. Is n greater than s?
True
Let g be (3 + -8)/((-15)/105). Are 25 and g non-equal?
True
Suppose -3*w - 9 = -0*w. Let t = -1 - 2. Let m be (t/(-4))/((-9)/w). Is m not equal to 1?
True
Let z = 8 + -8. Let n(c) = -c**2 + 10. Let q be n(z). Let m = 751 + -741. Is q >= m?
True
Suppose -4*g + 2 = 3*h, -3*g = -6*h + 11*h + 4. Let j be -1*(h + 3) + 34/(-10). Suppose -3*f = -6, b - 5*f = -4 - 10. Is j < b?
True
Let n(r) = -r**2 + 12*r + 1. Let h be n(11). Is 2/5 less than h?
True
Let t(m) be the second derivative of m**5/20 + m**4/3 - 2*m**3 + 13*m. Let y be t(-6). Which is bigger: -24 or y?
y
Suppose -d = 3*y - 3 - 11, 0 = 3*d + y - 18. Suppose 3*q + 4*h = 2*h + 28, 4*q + d*h - 42 = 0. Suppose 10 = -n + q. Is -1 less than or equal to n?
False
Let p = 188 + -188. Let b = -11.6 - 1.4. Is p less than b?
False
Let v = 319 + -32859/103. Which is smaller: -1 or v?
-1
Let i(o) = -o**2 + 4 + 0*o**2 + 2 - 10*o. Suppose 63*n - 57*n = -66. Let g be i(n). Which is bigger: -6 or g?
g
Let w = 6/10722403 - -24951010205/38557761188. Let t = -19/29 + w. Which is bigger: t or 1?
1
Let w(m) = 34*m**2 - 3*m + 2. Let q be w(1). Suppose -q*b + 2 = -34*b. Which is smaller: b or 0?
b
Suppose 4*t + 338 = 74. Let b be 2 - (-2 - 267/t). Let x = -2 + 2. Which is greater: x or b?
x
Let i = 114 + -1711/15. Let p = -12 + -18. Let a = p - -29.8. Is a bigger than i?
False
Let r be 3/2*28*2661/(-810). Let s = r - -1438/9. Do s and 21 have different values?
True
Let y = -0.46 + 125.46. Which is greater: -3/5 or y?
y
Suppose 0*t - 11*t = 11. Let v = 187 + -132. Let q be 2/((v/6)/(-5)). Which is smaller: q or t?
q
Suppose -h + 19 = 3*g, -g = -4*h - 17 - 11. Let o be 114/(-240) + (-1)/g. Is o at least -2?
True
Let h = 1112/585 + 1/45. Which is bigger: 2 or h?
2
Let j(q) = -q**2 + 2*q - 1. Let z be j(1). Suppose s - 12 + 15 = z. Suppose 20 = -5*t, 0*t - 5*t - 25 = n. Which is bigger: s or n?
s
Let q be (5/(30/(-26)))/(1/15). Let y = q - -69. Suppose 5*k = 12 + 8. Is k > y?
False
Let n be (-3 - 7)/(2 - 15). Let g be (-5)/(30/6) - -1. Which is smaller: g or n?
g
Suppose -k + 6 = 2*k, -3*b - k = -11. Suppose 0 = 8*m - b*m + 5. Is m at most 3/53?
True
Let i = -207804/55 + 21984/5. Let s = 619 - i. Is 1 at least s?
True
Let y = 5.88 + 4.12. Which is greater: y or 2/17?
y
Let j be ((2 - 21/4) + 3)*4. Is j at most as big as -11/10?
False
Let w = 35 + -20. Let l = w + -25. Let x = l + 9. Is x > -2/7?
False
Let j = 321563/254 + -1266. Which is greater: 0 or j?
0
Suppose 5*n = 3*d + 1, -2*n - 2*d = -3*d. Suppose -10 = -4*l + h, -2*l = 3*h + h - 14. Suppose 0 = -l*g + 8*g + 5*x + 20, -4*g + 2 = -5*x. Are g and n nonequal?
True
Let n be (2/4)/((-3)/(-6)). Let r be 9/(-21) + 0*5/(-10). Which is greater: n or r?
n
Suppose -3*t = 8*t - 11. Let y be (199*(1 + -2))/1. Let c = y - -998/5. Do t and c have the same value?
False
Let z be -1 + 1 + (-2)/(-16). Let h be (-8)/(-2)*(-26 + 28). Let c be 0 + (-2)/(-9) + h/(-36). Which is smaller: c or z?
c
Let a = -8327 + 8338. Suppose -3*o = -2*d, 10*o - 5*o = -3*d + 38. Which is bigger: a or d?
a
Let a be 9*3/(-9)*1. Let j = -4 + 8. Let i be (1/a)/(j/(-6)). Are i and 6/11 unequal?
True
Suppose 2 = 8*r - 158. Do 224/11 and r have the same value?
False
Let u be (-28)/(-68)*24/(-12). Which is smaller: u or 0?
u
Suppose 39*j - 34*j - h + 149 = 0, 0 = 3*j - h + 87. Suppose -31 = -2*i + 3*i. Is i greater than or equal to j?
True
Suppose 6*z + 4*z + 30 = 0. Let m be 8/(7 + z) - (1 - -2). Is 1/19 <= m?
False
Suppose -16*g + 18*g - 6 = 0. Is g at least -2?
True
Let p be -22*14/34 - (-7)/1. Is p at least as big as -2?
False
Let z = 85 + -44. Let t = z + -52. Let h be ((-2)/(-6) - 0)*3. Which is greater: t or h?
h
Suppose 2*i - 3*y - 309 = 0, 445 = 3*i - y - 1. Are 146 and i equal?
False
Let d be 158/8 + 3/12. Let p = -19 + d. Which is greater: p or 2/87?
p
Suppose 7*g + 2 = 9*g + 2*b, -5*g + 5*b + 5 = 0. Which is bigger: 11/19 or g?
g
Let x be (-1 + 0 - 2)*1. Let j be (0 + -1)/((-2)/(-150)). Let n be 60/j*(-5)/(-2). Is x less than or equal to n?
True
Suppose -2*l + 16 = 2*p, p + 5*l - 14 = 2*l. Let b(a) = a**2 - 20*a - 38. Let y be b(22). Which is greater: y or p?
y
Let b be 4/21*15/(-10). Let p = 76 - 51. Let u = p + -24. Which is bigger: u or b?
u
Let u = 0.3 - -35.7. Let b = 33 - u. Let v be (-14)/12 - 6/(-4). Which is smaller: v or b?
b
Let y = -1322 - -64776/49. Let z be (-2)/(-2) + (9/(-5) - -1). Does z = y?
False
Let x be ((-9)/2)/((-14)/28). Let g = 55 - 46. Is x > g?
False
Suppose -y + 3*p = -1, y = -3*p + 5 + 2. Suppose -5*q - u + 8 = -15, y*q - 2*u = 10. Which is bigger: q or 0.8?
q
Let x be (-3)/15*-4*5. Suppose -21 - 5 = -x*z - 3*u, -3*u = 5*z - 31. Suppose -s - 1 = -z. Which is smaller: 3 or s?
3
Suppose -3*l = -3*o + 6, 0 = 2*o - l - 0 - 2. Which is bigger: o or 1/116?
1/116
Suppose 21*r - 135 = -1437. Which is greater: -65 or r?
r
Suppose -76 = -2*g + 40. Suppose 0 = -4*y - 5*t + 13, -5*y + 5*t - 8 + g = 0. Suppose 2*x + 7 = 3*x. Does x = y?
True
Let p(q) = 6*q**3 - q**2 - 11*q + 2. Let t be p(3). Suppose 5*u = -4*o + 2*u - t, 4*o - 2*u = -132. Is o smaller than -32?
False
Let a be 3 - 6/((-7884)/5856494). Let i = a + -4460. Let v = 1099/1314 + i. Is v bigger than 0?
True
Let d = 37/165 - 2/15. Are -0.4 and d equal?
False
Let t = -8 - -8. Is t <= 170?
True
Let b = -28.8 - -47.5. Is b > 0.3?
True
Let o(n) = n**3 + n**2 - n + 1. Let l be o(1). Let q(y) = -4*y**3 + y**2 + y + 2. Let p be q(l). Let h = p - -16. Which is smaller: h or -9?
-9
Let y(k) = -13*k - 1. Let n be y(5). Is n less than or equal to -66?
True
Suppose 75 + 53 = -5*l + 4*i, 12 = -4*i. Let r = l - -21. Let b(k) = -k - 5. Let y be b(r). Which is bigger: y or -0.1?
y
Let w = 0 - 0.2. Let j = 45.4 + -45. Let h = j + w. Which is smaller: h or 1/3?
h
Let r(c) = c**2 + 2. Let j be r(3). Let t be 20/(11*(-133)/(-836)). Do t and j have the same value?
False
Suppose 3*j - 154 = 17*j. Is -61/5 less than j?
True
Let l = 174 - 256. Let b = l - -76. Which is smaller: -0.1 or b?
b
Suppose 14 = -u + 25. Let r = -67/6 + u. Which is smaller: -0.2 or r?
-0.2
Suppose -15 = 5*q - 15. Is q at least as big as 92?
False
Suppose 28*x - 19 = 47*x. Is x at most -1?
True
Suppose -3*u - j = -2 - 5, -5*u + 4*j - 11 = 0. Let z = 38 - 0. Let r = z - 44. Is r bigger than u?
False
Let b = -31 + 29. Let x = -2 - b. Let t = -340/399 - -18/19. Are x and t equal?
False
Let b = -43.5 - 0.5. Let i = -41 - b. Which is smaller: i or -1.3?
-1.3
Suppose 2*k + 307 = 133. Which is greater: -86 or k?
-86
Let k be (-36134)/435 + 2/3. Which is bigger: -82 or k?
-82
Let a = 893171/42 + -21268. Let o = -9/14 + a. Let d be 0*(-2)/4 + -4. Is d bigger than o?
False
Suppose -3*v = -5*v. Suppose 3*t - 25 + 4 = v. Let z(d) = d - 7. Let k be z(t). Which is bigger: k or 1/15?
1/15
Suppose 13*f - 9*f - 16 = 0. Suppose -f*b - 137 = b - 3*r, -4*r = 2*b + 60. Is b bigger than -28?
False
Let m(b) = -11*b + 19. Let n be m(2). Is n <= -30/13?
True
Suppose -170*j + 20 = -160*j. Are j and 5/9 equal?
False
Suppose -3*q - q + 9*q = 0. Suppose -4*x + 5*x = -9. Let k be ((-3)/x)/(-2 + 3). Are q and k nonequal?
True
Suppose 431*c = 421*c - 10. Are -477 and c equal?
False
Suppose -4*z + 22 = -10. Let o = 947/92 - 24/23. Which is smaller: o or z?
z
Let z = -24 + 34. Suppose 3*r - 40 = -4*y, 7 = 3*y - r - z. Is 3 less than or equal to y?
True
Let j = -4 - -6. Suppose -j*k = -2*w, 2*w = k - 5 + 3. Which is bigger: -5/8 or k?
-5/8
Let d(j) = j**2 + j + 2. Let z be d(-1). Let y be (-10 + -3 + z)*-2. Let c be (1 + -4)/((-363)/y). Do c and -1/8 have different values?
True
Suppose 0 = 3*a + 3*h, 0 = 117*h - 112*h. Which is smaller: a or -3/757?
-3/757
Let o = -0.3 + 0.2. Suppose 6*d - 17 = 28*d - 193. Is d at least as big as o?
True
Let o(x) = -x + 3. Let j be (0 + 5/(-3))*3. Let n be o(j). Suppose 2*v = 12 + n. Is 10 at least as big as v?
True
Let p(r) = -