-3)/y. Which is smaller: r or -2/5?
-2/5
Suppose -5*b - 15 = -10. Let j be (b - -2) + (-9)/(-9). Let m be 4 + -2 + (-1 - -1). Is j < m?
False
Let h = -49 + 58. Let d be (-98)/40 - (h/(-4) - -2). Which is bigger: d or -3?
d
Let l be ((-5412)/(-1584))/(1*-11) + (-3)/(-12). Let m = -2 - -1. Is l at most as big as m?
False
Let i be ((-212)/(-350))/((-1)/20). Let l = -62/5 - i. Suppose 29 - 1 = 4*j. Which is bigger: j or l?
j
Let g(u) = 12*u**3 + 2*u**2 - 1. Let a be g(1). Let r(q) = 14*q + 110. Let n be r(-7). Is a smaller than n?
False
Let m(n) = n**2 + 4*n + 8. Let c be m(-6). Suppose c = 2*j + 2*j. Let o be 69/(-168) + j/40. Is -2 greater than o?
False
Let k = 167/2160 + -2/135. Let p(g) = -2*g + 1. Let u be p(-2). Suppose -2*x - 3*x - u = 0. Which is smaller: k or x?
x
Let n = 211847378409277 + -299925044456667070979/1415760. Let u = 29/83280 - n. Let g = -36 - u. Which is smaller: g or -1?
-1
Suppose -h + 5*h = 0. Is -1/1055 at most as big as h?
True
Suppose 147*r = 142*r + 4*y - 161, 3 = -3*y. Is r smaller than -19?
True
Let l = -2 - -1. Is l >= -5/47?
False
Let f = -9 - -13. Let v(m) = m**3 + 31*m**2 + 32*m + 61. Let d be v(-30). Is d not equal to f?
True
Let s = 0 - 1. Let l(r) = -r**2 + 4*r + 10. Let y be l(-5). Let t be (-24)/y - (-6)/(-15). Which is greater: s or t?
t
Let n = 170 - 76. Let i = n + -107. Which is smaller: i or 1/3?
i
Let w be ((-1)/59)/((-3)/6). Is 1 at least w?
True
Let n be (0/(-3 - -6))/(-1). Suppose 0*g - 4*v + 20 = 4*g, 4*g - 4*v + 4 = n. Suppose 4*s - g*s = -2. Is s smaller than 2/5?
True
Let w = -0.07 - -1.07. Let s = 14 + -29/2. Is s < w?
True
Let u be 240/(-6)*(0 + (-6)/(-15)). Let b = 12 + 1. Let a = 13 - b. Which is smaller: u or a?
u
Let u = -14.18 + 14.08. Is u not equal to 34?
True
Let o = 5.9 + 24.1. Let g be (-2 - -4) + (-5)/3. Which is smaller: o or g?
g
Let i = -101381/68 + 1491. Let o = i - -3/1292. Suppose 0 = 4*q - 8, c + 4*q = -c + 8. Which is smaller: o or c?
c
Let r = 2.21 + 0.69. Let z = r - 3. Is 12 at most z?
False
Let c = 685.42 - 686. Is -3 >= c?
False
Let t be 11/(-22)*12/(-10). Is t less than 0?
False
Let u be 6/33 + (-228)/44. Let h be 7/28 - 567/780. Let t = -1/13 - h. Which is bigger: t or u?
t
Let o = -84.9 + 98. Let y = -13 + o. Let a = 0.1 - y. Which is smaller: 0.05 or a?
a
Suppose -2*p + 240 = 4*h, -6*h + 10*h - 354 = -3*p. Is p bigger than 113?
True
Let d be (-1)/1 + (-6)/(-10). Let l(h) = 8*h - 8. Let g be l(4). Let i = g + -23. Is i not equal to d?
True
Let w = 2 - -5. Let d be (0 - (-16)/(-14))/((-8)/28). Is d != w?
True
Let x be ((-121)/(-33))/((-2)/(-12)). Suppose -x = -3*s - 1. Let t be 9/(-12)*1*-8. Which is bigger: t or s?
s
Let c = 35 - 70. Let g be -1*(-125)/c - -4. Is 1 bigger than g?
True
Let w be (1/6)/(1/(-3)). Let j(l) = -9*l**2 - 25*l + 4. Let x be j(-3). Is x <= w?
True
Let u(m) = m + 8. Let x be u(-11). Let a = x - -18. Which is smaller: 55/4 or a?
55/4
Let c be (-6)/(2 - 0) - -3. Suppose 3*y + 6 - 18 = c. Let u = y - 8. Is -4 < u?
False
Let h(f) = 4*f**2 - 3*f + 2. Let k be h(1). Let d = 32.7 + -34. Let q = 1 + d. Which is smaller: k or q?
q
Suppose -2*v - 4*h + 22 = 0, -v = -h - h + 5. Let p(i) = -6*i + 18. Let t be p(v). Is -1/153 smaller than t?
True
Suppose -143*x = -157*x. Is -1/604 at most x?
True
Let y = -1348 + 1428. Which is smaller: y or 77?
77
Let f = 2.0522 - -0.0278. Does f = 1?
False
Let z = -243 - -2675/11. Which is bigger: -84 or z?
z
Suppose -3*v = 3*b + 30, 20 = -2*v + 2*b + 3*b. Let k(q) = -q**2 + 2*q. Let x be k(2). Suppose x = 4*w + 22 - 18. Which is smaller: w or v?
v
Suppose 5*v = 17*v. Is v greater than 3/91?
False
Let o = 34 + -26. Suppose -232 = -5*a + 3*j, 3*a - o*a + j + 224 = 0. Which is bigger: 45 or a?
45
Let o = 97.1 + -104. Is -1 less than or equal to o?
False
Let h = 652 - 659. Let n = 39 + -12. Suppose 0*p - 3*p = n. Is p greater than h?
False
Let o = -1.391 + -36.049. Let s = -0.44 - o. Which is smaller: s or -1?
-1
Let i(o) = -97*o - 23. Let b be i(-3). Let x = 185 - b. Do x and -163/2 have the same value?
False
Let g = -0.308 - -0.208. Which is bigger: g or -159?
g
Suppose 11*f = 5*f + 60. Let u be (-1818)/270 + 4/f. Suppose 3*m = -m - 24. Is u greater than m?
False
Let k = 1.1 + -1. Suppose -5*j + 35 = -2*n, 3*j + 31 = 2*n + 48. Are j and k nonequal?
True
Suppose -c + 18 + 18 = 3*t, -5*c + 26 = t. Suppose -g - 1 = -10. Which is smaller: g or t?
g
Suppose u = z + 35 + 11, 250 = -5*z + u. Suppose 0 = 25*a - 28*a - 150. Is a greater than z?
True
Let f(p) = p**3 + 11*p**2 + 4*p - 18. Let c be f(-11). Which is smaller: c or -60?
c
Let t be (3114/1782 - 2)/(1/3). Which is smaller: -1 or t?
-1
Let m = 30 - 19. Let y = 17 - 37. Let x = y + 20.1. Which is smaller: m or x?
x
Let t(u) = u**2 + 8*u - 10. Let q be t(-9). Let c(s) = -s**3 - 16*s**2 - 2*s - 31. Let w be c(-16). Let x be (-17)/(-85) - (w + -2)*-1. Is q at least x?
False
Let m = 2.49 - 3. Let k = m + 0.31. Which is smaller: k or -2?
-2
Suppose 81 = 5*u + x, -2*u + x + 30 = 2*x. Is u less than or equal to 53/3?
True
Suppose 7*r - 3*r = -5*x + 8, 5*r + 4*x = 19. Let k = 0.04 - -14.96. Let o = k - 17. Which is greater: o or r?
r
Let d = 10 + -6. Suppose -5 = z + d*z. Let v = 17 + -14. Which is smaller: v or z?
z
Suppose 0 = -5*v - 82 - 18. Let a be (-47)/v + (-3)/(-4). Let z = 367/120 - a. Are z and -1 equal?
False
Let j = 0.845 + -2.845. Is -0.11 smaller than j?
False
Let q(v) = -v**2 + 4*v - 3. Let c be q(-4). Let l = 1962 + -1998. Which is smaller: l or c?
l
Let x = -36 + 71. Let q = 33 - x. Is -1 greater than q?
True
Let l = -4.9 - -4.94. Let t = -2.04 + l. Which is smaller: -0.04 or t?
t
Let u = -22.9 - -27. Let b = 4.3 - u. Is b < 0.2?
False
Let w be 0 - (-5)/(15/(-72)). Suppose 0*p - 2*p = -5*m - 52, -4*p + 5*m + 94 = 0. Let z = w + p. Is z <= -5?
False
Let d(n) = 44*n**2 - 3*n - 4. Let z be d(-1). Which is bigger: 41 or z?
z
Suppose -10 = -0*s - s. Let a(q) = 2*q + 9. Let x be a(-3). Let p be 2/2 - (-30)/x. Does p = s?
False
Let c = 221.47 - 221.5. Suppose -t = 0, -2*n - t + 0*t = 0. Is n less than c?
False
Let q = 1780.47 - 1858.1. Let c = 78 + q. Let b = c - -0.03. Is -1 at least b?
False
Let c = 121026/79 - 1532. Suppose -2*x + 6*x = 0. Is x less than or equal to c?
False
Let q = -0.0071 + -15.3529. Let f = -10.9 + 10.54. Let v = q - f. Is v less than or equal to -0.1?
True
Let m = -171 - -161.9. Let k = -9.2 - m. Is -6.8 equal to k?
False
Let r be (-2)/(-15) + (-122)/15. Let d(a) = a**3 + 8*a**2 - 2*a + 4. Let z be d(r). Let c = -279 + 300. Is c smaller than z?
False
Let k(r) = r**2 + 9*r + 19. Let y be k(-11). Suppose -5*q + x = 98, -3*q - x = -5*q - y. Which is smaller: q or -17?
q
Let u(r) = -26*r + 11. Let d be u(4). Let i = d - -140. Is 46 bigger than i?
False
Let c be (2/(-3))/(6/(-9)). Let o be 87/297 + (-21)/((-924)/(-8)). Is c < o?
False
Let g = -2.6 - -2.47. Let s = g + 0.13. Let r be 15/12*(-1 + 3). Which is greater: s or r?
r
Let c = 30.5 - 31. Let i = 0.4 + c. Is -16 greater than or equal to i?
False
Let i = -6 + 9. Let z = 8 + -15. Let b = z + i. Which is bigger: 2/9 or b?
2/9
Let n(y) = -y**3 + y**2 - y + 1. Let q be n(1). Let c be (-8 + q)*(-3)/6. Which is greater: c or 8?
8
Let y = -311/120 - 3/40. Let f be (-2)/3 + 4/6. Suppose f*d = d + 4. Is d smaller than y?
True
Suppose -36 = -w + 4*v, 0 = 5*w - 0*v - 3*v - 248. Let x = w - 101/2. Suppose -4*h = -5*j - 19, -j - 15 = -3*h + 3*j. Which is greater: h or x?
x
Let m be 2/(-10) + (-44)/(-20). Suppose -20 = -7*k + m*k. Let x be 0 - (3/k)/3. Is x <= 0?
True
Suppose -j - k = -6, 7*j - 2*k + 14 = 11*j. Which is bigger: j or 28/47?
j
Let a = -78 + 83. Does 20 = a?
False
Suppose 1046 = -4*h + i, 5*i + 1295 = 13*h - 18*h. Is h >= -260?
False
Let x(g) = g + 2. Let v be x(0). Suppose -2*m + 5*d + v - 4 = 0, -2*m = -4*d + 2. Let s = -15 - -106/7. Which is greater: m or s?
s
Suppose -3*s - 6 = -0. Let k = -47 + 45. Let y = 2.3 + k. Which is smaller: s or y?
s
Let a(j) = -j**2 - 22*j - 121. Let l be a(-11). Are 3/697 and l equal?
False
Let g = 1319 + -1375. Is g equal to 1/6?
False
Let b be (-1)/10 + (-2424)/(-240). Which is bigger: 16 or b?
16
Suppose -3*b = b. Let d(o) = -o + 18. Let f be d(b). Suppose -5*z - f = 2. Is z at most -2?
True
Suppose -1040 = -4*y - 5*d, 4*d - 13 + 29 = 0. Which is smaller: 2/7