 r*g + 7 = 1. Which is smaller: -4/11 or b?
-4/11
Let p be (-1)/(15/(-12))*(3 + -8). Let a = -79/30 - 8/15. Which is smaller: a or p?
p
Suppose -v - 9 = -3*r + 4*v, 5*r + v - 15 = 0. Which is bigger: 30/7 or r?
30/7
Let h = -2 - 11. Let a = -5 - h. Suppose 2*s = -8 + 2, -g - 5 = 4*s. Which is bigger: g or a?
a
Let u be 11 + (-2376)/187 + (-3 - -8). Is u bigger than 4?
False
Let d be 6/15 + 256/10. Let c(x) = -x**3 + 10*x**2 + x - 6. Let n be c(10). Suppose -n*z - d - 10 = 0. Is -8 > z?
True
Let q = 308.2 - 82.2. Which is greater: -2/5 or q?
q
Suppose -8 = -t - t. Let l = -259 - -63. Let c = l - -197. Is t bigger than c?
True
Let u be -1*0*(-1)/(-2). Let v = 189 + -6427/34. Are u and v equal?
False
Let r = -487 - -485. Which is smaller: -28/13 or r?
-28/13
Let z(x) = x**2 - 14*x + 16. Let l be z(13). Suppose -2*p = -l*q + 6, 4*p + 12 = -q - q. Let v = 653/444 - 17/12. Which is smaller: v or q?
q
Suppose 10 = 2*v, 10 = -3*w - w + 2*v. Is w smaller than -4/979?
False
Let s be 9 - 1/(3/6). Suppose s*o - 4*o = 15. Suppose o*c + 5*a + 10 = 0, 2*c - 3 + 10 = -3*a. Which is smaller: -2/13 or c?
-2/13
Let n be (169/39 - 8) + 8/2. Let i(v) = 2*v**2 - 2*v + 1. Let f be i(1). Suppose -1 = d + f. Is d smaller than n?
True
Suppose -5*d - 2 = 8. Let x = -45 - -20. Let q = 21 + x. Is d smaller than q?
False
Let m be 5/(-3 - 50/(-16)). Suppose m = -2*f + 7*f. Let t = -11 - -19. Is t bigger than f?
False
Let r = -4559/19 - -240. Suppose 0 = 124*p - 134*p. Which is bigger: p or r?
r
Let z be (-3)/((-45)/6)*45. Suppose -2*w - 160 = -7*w. Let t = -14 + w. Does t = z?
True
Suppose -z - 2*k = 1 + 2, 4*z + 2*k - 6 = 0. Suppose d + 70 = -z*d - b, -84 = 5*d + 3*b. Let a be (1/(-3) - 305/183) + 16/7. Which is greater: d or a?
a
Let s be -1 + (-4)/(-1) + 0. Suppose 0 = -q + s*q. Let a be 1/6*(-8)/3. Which is greater: q or a?
q
Let v = -33 + 46. Let k = 720 + -706. Which is smaller: k or v?
v
Let z = 1753 + -21001/12. Is 3 at least z?
True
Let f be 370/21 + -2 - 52/(-13). Let y be (58/(-9))/(2/(-6)). Let i = y - f. Is -1 at least as big as i?
False
Suppose -4 = -9*p - 22. Suppose 2*h = -5*n + 18 + 15, 5*h - 20 = 0. Suppose r - n*r = -8. Is r at least as big as p?
True
Let k = 308 - 309. Does k = 1/58?
False
Let y(j) = -5*j - 49. Let x be y(-10). Which is bigger: 19 or x?
19
Let s = -6 - 3. Let v(m) = m**2 + 8*m - 3. Let a be v(s). Let d be (-4)/a + 6/9. Is 3/4 > d?
True
Suppose -2*t - 3*p + 80 = 0, 0*p - 5*p = -5*t + 250. Which is smaller: t or -0.1?
-0.1
Let r be 2/(-2)*(-2 - -2)*-1. Suppose r = -k + 3*s + 11, -4*s - 7 - 8 = -k. Is -9 at least as big as k?
False
Suppose 12*l - 2047 = -11*l. Is l >= 87?
True
Let h be -2*(5/10 + 0). Let r be 16/234 - 10/45. Which is smaller: h or r?
h
Let t = 1.9 - 1.1. Let a = -6.2 - t. Let b = -6.7 - a. Which is bigger: 3 or b?
3
Suppose -22*a + 53 = -57. Let u = -3 + 0. Are u and a unequal?
True
Let n(j) = j + 9. Let v be n(-4). Suppose 4*f - 18 + 5 = v*t, -5*f + 4*t + 14 = 0. Suppose h - b = -1, 3*b + 0 = f*h + 3. Which is smaller: h or -8/7?
-8/7
Let c be (1/(-3))/(4/(3 - 39)). Suppose -c*l + 60 = 5*p, l + 29 = 3*p - 7. Is 12 less than or equal to p?
True
Let h(k) = 16*k**2 - 9. Let y be h(-2). Which is bigger: y or 56?
56
Let q = -12.7 - -13.4. Let m = -0.3 - -0.3. Which is bigger: m or q?
q
Let u = 1.47 + -1.387. Is u at least as big as 0.1?
False
Let g = -1132/1713 - -119887/36544. Let y = -3/64 - g. Is y smaller than -4?
False
Let j(p) = 2*p**2 + 6*p - 10. Let z be j(3). Which is smaller: 187/7 or z?
z
Suppose -1118 = -16*d + 1298. Suppose -4*l - 128 = 3*j, 5*l - d - 61 = 4*j. Is -48 bigger than j?
False
Let q = -29 - -31. Suppose q*o - y + 7 = 0, 2*o + 4*y - 8 = 2*y. Let b = 1 - 6. Which is bigger: b or o?
o
Let c be (-14 - 0)*15/(-6). Suppose 0*i = i - c. Is i at least as big as 1?
True
Let v = -23 - -23. Suppose 2*x + v*a - 2 = a, 2*a = -4. Which is greater: 1/12 or x?
1/12
Let v be (576/162)/(-16) + (-14)/18. Are -6/1285 and v non-equal?
True
Suppose 0 = -2*z + z + 6. Suppose 0 = f - 2*j + 6, -3*j = -z - 9. Suppose -2*u - 4 = 4*o, o - f*u = 7 + 10. Which is bigger: o or 1/18?
o
Let g(y) = 2*y**3 - 7*y**2 + 4*y. Let p(v) = v**3 - v**2. Let c(t) = g(t) - 3*p(t). Let z be c(-5). Suppose 0 = x - z*x - 36. Which is bigger: -10 or x?
x
Let h(u) = 2*u**2 - 2*u - 2. Suppose 2*p + 3 - 9 = 0. Let i be h(p). Let t be ((-4)/i)/((-9)/15). Is -7 >= t?
False
Let o = 2 + 1. Suppose o*l - 5*m + 24 = -2*m, 4*l - m = -32. Suppose 0 = -2*p - 8 - 6. Does l = p?
False
Suppose 0 = 4*d - a - 67, 0 = -4*d + d - 5*a + 79. Which is bigger: d or 22?
22
Let s = 1258.9 - 1259. Is s greater than or equal to -43/2?
True
Let r = -4007/25996 - -21/134. Is r at least as big as -3?
True
Suppose -3*g + 2*h - 18 - 14 = 0, g + 34 = -4*h. Let j be g/28 - (-191)/2. Let b be (-2)/(-4)*20/j. Which is smaller: b or -2/5?
-2/5
Suppose -j - 3*o + 26 = 89, -5*j = -o + 267. Let b be (10/(-4))/((-9)/j). Let u be 4 - 1*b - 2. Is u <= 17?
True
Let a be 27/36*(106/(-30) - -3). Does a = 0?
False
Let k = -15 - -14. Let m(j) = -j - 1. Let r be m(k). Suppose s = a + 1, a - 4*s + s + 5 = r. Which is bigger: -1/7 or a?
a
Let o be (966/(-56) + 15)/(30/4). Which is smaller: o or 16?
o
Let h be (-6)/18 + 32/6. Suppose -n + 100 = -h*p, -3*n = -0*n. Is p at most -20?
True
Suppose 949*r = 958*r + 1620. Is r <= -178?
True
Let u = -0.44 - -0.24. Let z = 161 - 155. Is u less than or equal to z?
True
Let c be (-6)/(-3)*1/37. Let s(r) = r**3 - 7*r**2 + 4*r + 1. Let m be s(1). Are c and m non-equal?
True
Suppose -4*z = 5*z - 18. Suppose z*i + 3*n + 2*n = 10, 2*n - 4 = 0. Which is smaller: 1/22 or i?
i
Let u be 1 + -2 + 6 + -1. Let m be (1/3)/(4/(-12)). Let d = u + m. Which is smaller: d or 4?
d
Let k = 24.11 - 24. Let j = 0.098 + -0.008. Let f = k + j. Which is greater: f or 1/3?
1/3
Suppose -2*h + 1691 = -3*n + 8*n, -5*h = 10. Is n bigger than 338?
True
Suppose x - 2*x + 10 = 0. Suppose -2*c = 5*w + 123, -4*c = -4*w - 19 - 85. Let k(m) = m**3 + 24*m**2 - 24*m + 34. Let l be k(w). Is x at most as big as l?
False
Let s(o) = -24*o + 5. Let k be s(5). Suppose -f - 114 = q - 2, -4*q + 3*f = 469. Is k >= q?
True
Let h be ((-5)/44)/(89/(-712)). Which is smaller: h or 2?
h
Let g be (-21)/24 + (-1)/(-1). Suppose -j + 5*a + 30 = -0*j, 3*j + a - 10 = 0. Suppose j = 8*q - 3*q. Which is smaller: g or q?
g
Let z = -272 + 156. Let u = -114 - z. Which is smaller: u or 2/5?
2/5
Let p = 2/257 + -283/3341. Suppose 4*h + a - 11 = 0, -4*a + 16 = 3*h - h. Suppose -h*u - 2 = -4*u. Which is smaller: p or u?
p
Let y be (-35 - 17)*1/(-4). Suppose y*r = 10*r - 6. Is r equal to -24/7?
False
Suppose 0*k + 4 = -k. Let g be (k/(-10))/((-22)/(-60)). Let u = g + -35/22. Are u and -3/2 equal?
False
Let v = 15.2 + -15.8. Is -13 < v?
True
Suppose -8*h + 3*h = 5*q - 60, -q + 7 = -4*h. Let u = -4 + 9. Suppose n - f - 4 = f, -u*f - 16 = -3*n. Is n at most as big as q?
False
Let d = -17 - 6. Let x be -22 - d - (-1 + -1)*-32. Is -65 bigger than x?
False
Let b = 68742/5 - 13898. Which is bigger: b or -150?
b
Let y = -1041 + 1005. Let t = -88 + 51. Let h = y - t. Which is greater: h or -16?
h
Let y be (48/(-8 - -4))/(-2). Let t = y + -11. Which is smaller: t or -11/2?
-11/2
Let l(m) = -4*m - 24. Suppose -3*x - 5*j - 18 = -3*j, -4*x - j - 24 = 0. Let t be l(x). Do -34 and t have different values?
True
Let w(z) = 12*z - 23. Let b be w(0). Which is bigger: b or -21?
-21
Let x = -272864/15 + 18182. Are x and -10 equal?
False
Let k = 4 + 4. Let w(c) = c**3 - 9*c**2 + 11*c - 1. Let n be w(k). Is n greater than 21?
True
Let u(y) = -y**2 - 55*y. Let g be u(-55). Is g at least -4/119?
True
Let i = 2019 + -2062. Which is greater: -1/4 or i?
-1/4
Let x be (-21554)/(-25130) - 594/693. Is x equal to 1?
False
Let z = -125 + 120. Let j be -4 + (-78)/(z - -11). Which is greater: j or -10?
-10
Let x(p) = 3*p**2 + 12*p + 16. Let m be x(-5). Let r be m/4 + 1/4. Which is smaller: 36/5 or r?
36/5
Let s = -4/19 - -35/76. Let r = 6.7 - 47.7. Is r greater than s?
False
Let q = 1551880/459 - 3381. Is 0 at most q?
True
Let o = -340 - -348. Is o at most 12?
True
Let v be ((-2)/(-4))/((-27)/(-6)). Let h = 79 - 80. Is v not equal to h?
True
Let a be 2/((-16)/10) - (-21065)/(-3740). Which is smaller: -7 or a?
-7
Let c be (-26)/16 - 2/(-1). Let b = -70 + 69. Is 