/2. Which is smaller: r or 1?
r
Let x(f) = 20*f - 9. Let k be x(2). Is 32 < k?
False
Let f = 55/2 + -28. Let n = -5 + 9. Let l be 1/(-2) + 2/n. Is f greater than or equal to l?
False
Let h be 0/(3/1 - 1). Let c be (-1 - 3)/(h + -6). Which is bigger: -1 or c?
c
Let p be (-1)/((-31)/64) + -2. Let l = p + -37/93. Is l greater than -2?
True
Let y = -64/5 + 194/15. Let f = -13 - -12. Which is smaller: f or y?
f
Let c = 14 + -1. Is c <= 0.2?
False
Let r be ((-12)/32)/((-27)/(-10)). Which is bigger: -1 or r?
r
Suppose 0 = 2*x - x + 7. Let k = 13 + x. Let t be 8/(-6) + 4/k. Is 0 bigger than t?
True
Let r be (5 - 3)*2/(-6). Which is smaller: r or 14?
r
Let c = -37.81 + 38. Let t = c - 0.29. Which is greater: t or -1?
t
Let d(h) = h**2 - 2*h - 10. Let y be d(-7). Let c = 323/6 - y. Let s be 1*-1 + 1 + 0. Which is smaller: c or s?
s
Let s be (39/(-5))/(-3) + -2. Let i = 11.2 + -11. Which is smaller: s or i?
i
Let v(b) = b + 8. Let m(u) = -u**3 - 8*u**2 - 7*u - 7. Let l be m(-7). Let k be v(l). Which is smaller: 0 or k?
0
Let u be ((-70)/25 + 2)*1. Which is smaller: u or -1?
-1
Let a be -6*(1/2 + -2). Let q be (0 - (-2 + 2)) + -1. Let w be a*q/7 - -1. Is 0 greater than w?
True
Let f = -503/5 + 101. Which is bigger: f or -25?
f
Let v be (-2)/7 - 256/(-504). Is v < 0?
False
Let c(q) = -q**2 + 2*q + 4. Let n be 14/4 + 4/(-8). Let g be c(n). Let b = 5/3 + -7/6. Is b at most as big as g?
True
Let m = 2005/9 - 223. Let o = -2.47 - -2.17. Is o less than m?
True
Let a(m) = -m**2 + 5*m - 5. Let j be a(4). Let d be (-3*(-4)/42)/1. Which is smaller: d or j?
j
Let c(n) = n**3 + 2*n**2 + 2*n + 1. Let d be c(-1). Let r be (-4 - -3)*d/(-1). Which is greater: r or 1/8?
1/8
Suppose 6*t - 4 = -2*h + 4*t, -3*h = -3*t + 18. Which is greater: h or 2/5?
2/5
Let p = 26/45 - 7/9. Which is smaller: -0.1 or p?
p
Let i = -1 - -1. Suppose i - 2 = 2*k. Which is smaller: -2 or k?
-2
Let c be (25/(-15))/((-3)/(-9)). Let g(a) = a**3 + 5*a**2 - a - 8. Let s be g(c). Is s less than -1?
True
Suppose 4*u = 3*y - 14, -3*u = 5*y - 1 - 3. Let o be u/(-11)*(4 - 3). Let g be ((-1)/3)/((-2)/(-6)). Which is smaller: g or o?
g
Let t(s) = s**3 - 5*s**2 - 4. Suppose 6*r - r = -b + 41, -3*r = -3*b + 33. Suppose -9 = -5*o + b. Let j be t(o). Which is smaller: -5/2 or j?
j
Let f(g) = -g**2 - 6*g + 7. Let v be f(-7). Suppose v = -h - 1 + 4. Which is bigger: -1 or h?
h
Let u = -1/5571 - 33299/707517. Let p = u + -176/1651. Suppose 2 = r + r. Are p and r equal?
False
Let y = 4/117 + 424/1287. Which is smaller: 0 or y?
0
Let w = 163/6 - 413/18. Is w less than or equal to 4?
False
Let v = 0.1 - 0.09. Let n = -55 + 55. Which is bigger: v or n?
v
Let d(u) = u**2 - 5*u + 5. Let t be d(3). Suppose -3 = 3*j - 15. Let m be (t/(2/j))/2. Which is smaller: m or -1/12?
m
Let t be (-1374)/66 - 2/11. Let y be (-92)/(-28) - (-6)/t. Suppose -2*s + 12 = 2*s. Is y > s?
False
Let n be ((-45)/20*-1)/(9/12). Let c = 1 - 0. Does n = c?
False
Suppose 2*n - 2*j - 4 = 0, 2*n + 3*n - 11 = 4*j. Let s(y) = y**2 - 3*y. Let r be s(n). Are 0 and r nonequal?
False
Suppose 0 = -4*j - 2 - 30. Is -1 less than j?
False
Let h be (3 - (-3)/(-2))*4/(-123). Which is smaller: h or -1?
-1
Let x(a) = a + 9. Let g be x(-5). Which is bigger: g or 5?
5
Let p be (-14)/10 + 1 + 376/40. Which is smaller: 8 or p?
8
Let k be 2 - 10*(-11)/(-56). Let s = k + 19/252. Let a(d) = -d**3 + 10*d**2 + d - 9. Let p be a(10). Is p bigger than s?
True
Suppose 22*v - 45 - 329 = 0. Is v bigger than 92/5?
False
Let y = 41 - 122/3. Which is smaller: 13 or y?
y
Let t(b) = 2*b - 6. Let d be t(-8). Let s be d/(-12) + (-6)/(-9). Let o = s + -17/6. Which is smaller: 0.1 or o?
o
Let h be ((6/4)/(-3))/((-21)/(-280)). Is h < -6?
True
Let f = 79 + -79. Let a = -2 + 4. Suppose a*i - 3*n = n + 6, 0 = i - 3*n - 4. Which is greater: f or i?
i
Let w be 4/(-6) - (-5)/3. Let y be ((-1)/(-2))/(w/10). Suppose 3*l = -y + 2. Is l greater than or equal to 1/7?
False
Let g = -0.9 - -0.94. Is g equal to 1?
False
Let z be 240/12 + (-2 - 0). Is 19 at least z?
True
Let h = 24 - 24. Are 9 and h nonequal?
True
Suppose 4*w - 22 = a - 0*w, -2*a = -2*w + 56. Let r be 2/5 + (-8)/a. Which is greater: r or -1?
r
Let u be 4/6 - (343/231 + -1). Is 0.2 at least as big as u?
True
Let d(g) = -g - 7. Let f be d(-11). Are f and 0.1 unequal?
True
Suppose 5*c + 4 = 3*c. Suppose -12 = 3*p - 3. Which is smaller: p or c?
p
Let d(g) = g + 3. Let l be d(-5). Let w be (2 + -2 - 2) + l. Is w at least -4?
True
Let p = 0.15 - 0.15. Let h = p + -0.1. Is h smaller than 9?
True
Let j = 4543 + -68093/15. Let y = 19/5 - j. Is y > 1?
False
Let m(k) = -k**3 + 39*k**2 - 73*k - 50. Let n be m(37). Does 0 = n?
False
Let v(o) = 2*o + 20. Let k be (13 + 1)/(10 + -11). Let w be v(k). Let t be ((-18)/(-4))/((-1)/2). Does w = t?
False
Let k(r) = -5*r + 2. Suppose -23 = -o + 5*o + 5*v, 2*v = 3*o. Let n be k(o). Suppose -8*g + 4*g = -n. Is 3 at most g?
True
Let q = -36 - -178/5. Let c(r) = r**3 + 4*r**2 + 3. Let l be c(-4). Let k be (-1)/(-5) - l/15. Is k bigger than q?
True
Let t be 0 + ((-3)/(-8) - 0). Is t at least -1/3?
True
Let t = -0.044 - -0.044. Which is greater: -6 or t?
t
Suppose 0*s = -s - 7. Let b = -8 - s. Is -1 != b?
False
Let v be 3 + (-1 - -2) - -2. Which is smaller: v or -1/3?
-1/3
Let y = -5 + 4. Let t = 17 + -25. Let u be -1 - (10/t - 0). Is y at least u?
False
Suppose -23 = 3*u - 5*n - 103, 0 = -5*u - 2*n + 92. Let h be (-5)/u*(-712)/6. Let b = -29 + h. Are 0 and b unequal?
True
Let a = -0.1 + 0.2. Let k = 2.2 - 0.2. Let o = 1.9 - k. Are o and a equal?
False
Let v be 12 + -12 - (-1)/(20/16). Let g = -1.9 + -0.1. Let y = g + 3. Which is smaller: y or v?
v
Let p be (-348)/(-30) + -4 + 2. Are p and 11 nonequal?
True
Let a be (24/(-27))/(-8)*-4. Which is greater: 0.1 or a?
0.1
Let i(m) = 2*m + 7. Let j(y) = -5*y - 21. Let n(k) = -8*i(k) - 3*j(k). Let f be n(8). Is f greater than 0.3?
False
Let f(j) = 2*j**2 + 3*j + 5. Let d be f(-3). Let s = 6 - d. Which is smaller: s or -9?
-9
Let d be 2/90*((-25)/(-10) - 1). Is d less than 1?
True
Let h = 9 - 7. Which is smaller: -1 or h?
-1
Let d = 27 + -7. Suppose r - d = -4*c, r = 2*c - c. Suppose -2*y + 16 = c*i, -3*y - 2*y = 5*i - 15. Which is greater: 3 or y?
3
Let k = 5 - 4. Suppose -1 = -2*u + k. Is u at most 2?
True
Suppose 2*p = 7*p - 150. Is 28 at least as big as p?
False
Let o(s) = s**2 + 6*s + 6. Let h be o(-5). Let j(t) = -t**2 + 6*t. Let f be j(5). Suppose 13 = 4*g + f. Is h smaller than g?
True
Suppose 2*h + 6*u - 3*u = -6, 2*u = -4*h - 4. Does h = 1/41?
False
Let n(b) = -b - 1. Let l be n(-6). Suppose -50 = l*g + 5. Is -11 equal to g?
True
Suppose 6 = 2*y + y. Let s be 3/y + 2 - 1. Which is smaller: s or 1?
1
Suppose 0 = -x + 3*f + 13, -2*f = 5*x - 1 + 4. Let i be (x/3)/(1/1). Let u(p) = p**3 - 6*p**2 - 8*p + 7. Let j be u(7). Is j at least as big as i?
False
Let n = -22 + 17. Which is smaller: -4 or n?
n
Let g = -164/9 + 18. Which is smaller: -3.5 or g?
-3.5
Let z be 223/(-651) + (-15)/(-45). Which is greater: 1 or z?
1
Suppose -11 = o - 10. Are o and 1 nonequal?
True
Let w be -2*(-3)/2 - 10. Which is bigger: -6 or w?
-6
Let o = 14 + -25. Is o greater than or equal to -11?
True
Let s = -1 - 1. Let t = 0 - s. Which is smaller: t or 1?
1
Suppose w = -0*w + 1. Let g(j) = -6*j**3 - j**3 + 4*j**3 + 2*j**3 - j**2. Let d be g(w). Is d less than or equal to -2?
True
Let i be (-2 - 15/(-9))*-9. Which is smaller: 4 or i?
i
Let s be (-10)/(-6) - 1236/18. Is -68 <= s?
True
Let l = 3226 - 303247/94. Which is smaller: l or 0?
l
Let s = -7 - -8. Let h be 9/(-12)*8/(-21). Which is bigger: h or s?
s
Let r = -48 + 333/7. Is 0.1 smaller than r?
False
Let w = 12 + -11. Suppose -20 = -7*u + 2*u. Let j be 4 - u - 4/(-42). Which is greater: j or w?
w
Let y be 38/57 - (-8)/(-66). Let c be 1 - 0 - (-3 + 4). Is y at most as big as c?
False
Suppose 0 = 4*b + 2 + 6. Let a = -14 - -10. Which is bigger: b or a?
b
Let v = 46.3 - 21.3. Is -2/5 at most as big as v?
True
Let a(t) = -t**3 + 15*t**2 - 27*t + 27. Let z be a(13). Do 12 and z have the same value?
False
Suppose -5*f + g = -35, -14 = -0*f - 3*f + 2*g. Let r(s) = -s**2 + 6*s + 15. Let c be r(7). Is c at least f?
True
Let p(b) = -2*b**2 - 22*b - 13. Let q(m) = -m**2 - 11*m - 7. Let t(u) = -6*p(u) + 13*q(u). Let z be t(-9). Let h = -1.1 + 0.1