True
Suppose -y + 21 = -4*y. Suppose 5*j = 3*c - 41, 5*j + 2*c + 29 + 2 = 0. Is y at most j?
True
Suppose -3*b - 1 - 2 = 0. Let c be (2 - 8/3)*18/(-12). Are c and b equal?
False
Let v = -3.6 - -0.6. Is -0.13 at most v?
False
Let t(p) = 10*p**2. Let b be t(-1). Let x be 8/20 - (-86)/10. Which is smaller: x or b?
x
Let p(g) = g - 4. Suppose 2*d - 3*w - 1 = 0, -6*w = d - 2*w - 17. Let h be p(d). Let l be (2 + 0)/(-2) - -1. Which is smaller: l or h?
l
Suppose c + 4*r - 15 = -0*r, -4*c - 2*r = -4. Let g(z) = 2*z**3 + z**2. Let t be g(c). Which is smaller: 1 or t?
t
Let u = -1.41 - 0.19. Let c = -0.6 - u. Is 16 not equal to c?
True
Suppose 75 = 4*p - 189. Is 67 at most as big as p?
False
Let c = -9153/1268 - 10/317. Is c <= -8?
False
Let r = -0.07 - -0.37. Let p = 66 + -66. Which is smaller: p or r?
p
Suppose p = 4 - 2. Suppose -3*r - 3*c - 10 = -5*c, 2*r = 3*c - 15. Are p and r non-equal?
True
Let w be 1313/39 + (-2)/(-6). Is w greater than or equal to 0.1?
True
Suppose -5 + 3 = -b. Is b greater than or equal to 3?
False
Let k = 0.15 - 0.15. Are k and -11/6 nonequal?
True
Suppose 0 = 5*m + z - 41, -3*m + 35 = -z - z. Let u = m + -10. Is u greater than -2?
True
Suppose -x + 1 = -3*x - 3*l, -2*l = 2*x + 2. Do x and -3 have the same value?
False
Suppose q + 6 = 5*s - 4, -4*q = 3*s - 6. Suppose 3*j + 3*d = -0*j + 21, 3*d + 4 = s*j. Are 7 and j equal?
False
Let r = 1247/35 + -249/7. Which is smaller: r or 0?
0
Suppose -p = 4 - 1. Let t = p + 5. Is t bigger than 2?
False
Let g = 0.2 + -0.24. Let b = g - -0.34. Let f be 65/(-78) - (-1)/(-6). Which is smaller: f or b?
f
Let b = 0.2 - 0. Let w = -1.1 - -0.5. Let o = -0.5 - w. Is b less than o?
False
Let n = 57 + -173/3. Let v = -106 - -106.18. Is v bigger than n?
True
Let f(u) = -u**3 + 19*u**2 + 1. Let c be f(19). Is c less than or equal to -1?
False
Let u be (-2 + (-56)/(-30))/(2/(-6)). Which is smaller: 0 or u?
0
Let x = -13 + 19. Which is smaller: 3 or x?
3
Suppose -4*o - 9 = 3*w, 5*w + 2*o = 6*o - 15. Let j be 0/((3 + -5)/(-1)). Suppose x = -j*x - 4. Does x = w?
False
Suppose -2*f + 0 = -2. Which is bigger: 3/10 or f?
f
Let a(w) = -w**3 + 23*w**2 - 21*w - 4. Let b be a(22). Is 19 at most b?
False
Let w = 47 + -103/2. Let x = 733 + -739. Which is smaller: x or w?
x
Suppose 4*l + 2 = 10. Let x be (-19 - -1)*1/l. Let s be (-1)/x*3 + -1. Does -2 = s?
False
Let v(m) = -m**3 - m**2 + m. Let b be v(0). Let h be b*((-2)/(-4) - 0). Which is bigger: -1 or h?
h
Let f = 0.259 - 5.189. Let g = -0.07 + f. Suppose -9*q + 4*q = 6*q. Is q greater than g?
True
Let z = -27 + 27.3. Which is smaller: z or -1.3?
-1.3
Let m be (-1)/((-1)/2) - 7. Let n(u) = -u - 5. Let a be n(m). Which is smaller: -0.1 or a?
-0.1
Let t be 2 + (-1 - -1) + -1. Let k = 2 + t. Let m be ((-2)/(-6))/(1/k). Which is greater: m or -2/13?
m
Suppose 3 = -2*y + 5. Let a be ((-6)/3)/(-2) - y. Suppose -3*u - 2 = g - 2*g, -3*u + 2*g - 1 = 0. Which is smaller: a or u?
u
Let s = -11 + 26. Let w = s - 30. Let y be (-36)/(-10) - w/(-25). Is y < 3?
False
Suppose m + 2 = 3. Let b be m/(-2)*2 + 1. Is -1/2 < b?
True
Let r be (15/(-6)*-1 + -2)*-1. Is r bigger than -0.05?
False
Let t(a) = a**2 - 4*a + 3. Let d be t(3). Which is bigger: d or 1/9?
1/9
Let u be (4/(-72))/(2/8). Let m(g) = g**3 + 2*g**2 - g - 2. Suppose y + 2*y + 6 = 0. Let i be m(y). Is i >= u?
True
Let o = 0.5 + -0.7. Let g = -0.6 - o. Let m = 0.6 + g. Which is smaller: m or -1?
-1
Suppose 10*s - 50 = -10. Let o = 6 + -2. Let i be 2/3*18/o. Which is greater: i or s?
s
Suppose 4*d = -60 + 88. Is 2 <= d?
True
Let o be (-10)/(-6) + 1*-2. Let z be -1 - (0 + 18/(-15)). Which is smaller: o or z?
o
Let i be (-20)/15*(-3 + 0). Is 0 at most as big as i?
True
Let j be ((-4)/553)/(((-150)/(-35))/(-5)). Is j <= -1?
False
Suppose 0 = 2*w + 3*u + 14, -3*u + 2*u = 3*w + 7. Suppose 0 = -0*b - b - 3. Which is greater: b or w?
w
Suppose 18 = 2*l - 3*j - j, 4 = -j. Is l at most as big as -12?
False
Suppose -3*g + 747 + 116 = -5*w, 0 = 3*w + 3*g + 537. Let c be ((-2)/10)/(21/w). Is -0.1 greater than c?
False
Let g be -1 + 0 + (-7)/(-6). Let y(t) = -t**2 + t - 1. Let u(j) = -5*j**2 - 5*j + 7. Let o(n) = -u(n) + 4*y(n). Let b be o(-10). Is g at least b?
True
Let n(p) = p - 9. Let b be n(-11). Do b and -20 have the same value?
True
Let a be ((-8)/4)/(-3 - (-62)/22). Which is bigger: a or 0.2?
a
Suppose 0*r = -r + 4. Suppose -2*s - r*n - 11 = 5, 2*s - 5*n - 11 = 0. Which is smaller: -4 or s?
-4
Suppose -2*z = -2*q - 2, -5*q + 4*z = 1 + 2. Which is smaller: -1/4 or q?
-1/4
Let g = -527 - -3679/7. Which is smaller: -1 or g?
g
Let a = -8/39 + 575/2613. Is -1 < a?
True
Let d = 37337/2766 - -2/1383. Suppose 0 = 4*q - 12, l + 3*q + 5 = -0*l. Let y = d + l. Which is bigger: -1 or y?
y
Let h = 141 - 707/5. Let g = -0.21 + -10.79. Is g greater than or equal to h?
False
Let r = -142 - -149.1. Let n = r - 7. Is n less than 2/11?
True
Let x be (-2)/6 - 120/18. Let n be 6*(28/64)/x. Which is greater: n or -1?
n
Let l = 6 + -4. Let s = l + -5. Do s and -4 have the same value?
False
Let h = 24/17 + -271/204. Is 0.2 < h?
False
Let g(k) = 2*k + 23. Let v be g(-13). Which is bigger: v or -8?
v
Let w = -283/1395 + -3/155. Suppose -4*s + 0*s = -4*q - 20, 0 = 5*s - 4*q - 20. Suppose -5*t + 9*t - 4 = s. Which is smaller: t or w?
w
Let y = -6 - -5. Let u be y/(-4)*16/28. Suppose -4*a + 3*o = -2*a + 8, 5*o - 10 = 0. Do u and a have the same value?
False
Suppose -25 = -5*v, 7*a + 3*v = 2*a. Let s = -2 - a. Which is bigger: s or 2?
2
Let r(x) = 7*x + 5. Let o(p) = -p - 1. Let k(y) = 6*o(y) + r(y). Let f be k(-1). Is -1 greater than f?
True
Suppose -4*i - 120 = -9*i. Let m be ((-60)/1744)/((-9)/i). Let h = m + -468/2725. Is -1 less than or equal to h?
True
Let o = -19 - -30. Let v = -4 + o. Which is smaller: v or 8?
v
Let f(j) = 135*j - 1. Let h be f(1). Let u = -81/85 + 11522/85. Let o = u - h. Is o > 2?
False
Let m = -331/8 + 41. Is m at most as big as 0?
True
Let r = -28 + 22. Let x(s) = -s**3 - 5*s**2 + 6*s - 7. Let w be x(-6). Which is greater: w or r?
r
Let k(s) = s**2 + 6*s + 1. Let v be k(-6). Let g be 9/2*(-54)/(-81). Which is bigger: v or g?
g
Let v be 27 + -1 - (-6 + 10). Is 22 > v?
False
Suppose 3 = -8*q + 7*q. Is -5 greater than q?
False
Suppose -4*f - f = -5*h + 15, 0 = 2*h + f - 3. Suppose -3*l = h*l. Let a be 2*(1/(-2) - l). Is -1 bigger than a?
False
Let w(f) = 3*f - 8. Let j be w(12). Let v = -79/3 + j. Are v and 3 non-equal?
True
Let s = 2 - 2.3. Let q = 0.4 - s. Let c = -418.1 + 418. Is q smaller than c?
False
Let j = -1 + 5. Let q = j - 0. Let x(o) = o**2 + 3*o + 7. Let w be x(-2). Which is smaller: w or q?
q
Let f(y) = 4*y - 5. Let q be f(5). Suppose -m - 2*m = q. Suppose -2*j = -2*g - 16, g + 5*j = 3*j + 4. Which is bigger: g or m?
g
Let l be 0 + 1 - 0 - -2. Suppose -8 = -4*f + 5*t + 11, -2*f + l*t + 11 = 0. Which is smaller: 3/8 or f?
3/8
Suppose -2*q - 21 = q. Let w(r) = -r**2 - 8*r - 6. Let l be w(q). Which is greater: l or -1/4?
l
Let d(j) = -j**3 - 4*j**2 + 5*j + 5. Let b be d(-6). Let v = -140/3 + b. Which is smaller: v or 5?
v
Let g = -28 - -19. Is -10 at least as big as g?
False
Let j = 27 - 18. Suppose -2*o + 3 = j. Let s be 8/(-36) + 50/(-18). Is o != s?
False
Let g = -80.1 - -82. Are 1 and g unequal?
True
Let w = -7 - -6. Suppose 5*c + 3*i = 24, 0*c = -c - 2*i + 9. Suppose 2*d + p - 1 = -0*d, -3*p + c = 4*d. Which is smaller: w or d?
w
Let f = 2 - 2.2. Let c = 0.24 - 0.14. Which is smaller: c or f?
f
Let y(f) = f**3 - 8*f**2 + 5*f + 6. Let n be y(7). Let z be (-6)/n - 58/56. Which is bigger: z or 1?
1
Let f(g) = -g**2 + 5*g. Let z be f(4). Suppose 0 = m + m - z. Are 3 and m nonequal?
True
Suppose -22*m = -24*m - 32. Let f = m + 15. Is -7/9 greater than or equal to f?
True
Let c = 0.05 + 0.15. Let p = -0.4 + c. Which is smaller: -2/3 or p?
-2/3
Let h be 0/((-3)/((-9)/(-6))). Suppose 4*y - y + 15 = h. Let a be (-125)/40*2/y. Is a greater than 1?
True
Let b = 297/5 + -60. Which is smaller: -6 or b?
-6
Let s(j) = -j**3 - j**2 + j + 3. Let z be s(0). Let c be (z/9)/(2/36). Is c at most 6?
True
Suppose -4 = 4*n + 4. Let j be n/(-8) + 18/(-8). Let w = 5 + j. Is w at most 2?
False
Let z = -39.95 - -42. Let n = -2 + z. Are n and -1/2 unequal?
True
Let f(a) = -2*a**2 + 10*a - 8. Let x be f(6). Let g = -8 - x. Let n be (6/(