et i be m(-10). Is i bigger than 11?
True
Let d = 113 + -67. Let q = -3 + d. Are -0.1 and q equal?
False
Let y(m) = -15*m - 11. Let c be y(-1). Let z be 7/12 - (-3)/(-9). Which is greater: z or c?
c
Let f be ((-28)/6)/(2/(-3)). Let s = -130 - -138. Is s smaller than f?
False
Let m be 14/4 + -2 + -1. Let b(n) = 3*n - 2. Let o be b(6). Suppose 2*v - 12 = 5*v, 0 = 3*h - 4*v - o. Which is smaller: h or m?
h
Let d = -413 + 354. Which is smaller: -65 or d?
-65
Let j(q) = q**3 - 9*q**2 + 13. Let k be j(9). Let s = k + -11. Let o(x) = x**2 - 2*x - 2. Let g be o(s). Which is smaller: 0.2 or g?
g
Suppose 0 = -34*z - 22 + 22. Are z and -0.8 non-equal?
True
Let m = -25 + 47. Let f be (0 - 3) + m/8. Suppose -n - 3*g - 1 = -6, 0 = 5*n - 2*g + 9. Which is greater: n or f?
f
Suppose -8*g + 3*g - 65 = 0. Let q be (2 - (0 + 28))*(-39)/26. Suppose 16*i = 19*i + q. Is g > i?
False
Let h(c) = -2*c + 4. Let l be (-1)/(123/(-63) + 2). Let n = -19 - l. Let k be h(n). Is k greater than or equal to -2/15?
True
Let p = -3609444/115 - -31388. Let w = 8/115 + p. Suppose -8*d + 7 = -17. Which is smaller: w or d?
w
Let y = -1585 - -1578. Which is smaller: 1 or y?
y
Let l be 0/3 + (-6)/1. Let z be -3 + 3 + 66/l. Is z at most 2/9?
True
Let v be (380/(-475))/(99/35 + 1). Which is smaller: v or 1?
v
Suppose 0 = 6*n - 610 - 80. Let a = 161 - n. Suppose 107 = -5*y + 2*z, -y - a = y - 4*z. Is -20 greater than y?
True
Let c = 1104321/272 + -4060. Is c at most as big as 0?
False
Let q(x) = x - 3. Let o be q(3). Suppose 5*m - 3 - 2 = o. Let a = -159/11 + 773/55. Do m and a have different values?
True
Let g = 28224/17 + -1662. Are g and -1 non-equal?
True
Let d be (-24766)/2233 + (9 - -2). Let f = 2 + -4. Let b = f - -1. Does d = b?
False
Let l = -218 - -222. Suppose -l + 1 = 3*m. Let c be (-13)/(-48) - 1/3. Which is smaller: m or c?
m
Let y = -3/572 - -3699/50908. Suppose 12*i - 62*i = -50. Does i = y?
False
Let f = 210 - 115. Suppose 1320 + 876 + 780 = 31*r. Which is smaller: r or f?
f
Suppose 0 = 10*n + 4*n + 16*n - 30. Let b = 273450/137 + -1996. Are n and b nonequal?
True
Suppose -5*f = -72 + 12. Let o(c) = 3*c**3 + 2*c**2 - 3*c + 1. Let v be o(1). Suppose 2*s - 60 = -5*q, -3*q - q + 48 = v*s. Is f <= q?
True
Let o = -291 - -290.6. Is -12 <= o?
True
Suppose 0 = 5*f - 2*t + 564, -12*f + 4*t = -11*f + 102. Is f at most -117?
False
Let b(w) = 2*w**3 - 12*w**2 + 10*w - 2. Let r be b(5). Suppose 7 = 3*i - 17. Suppose -5*d + 7 = -k, d - 3*k = -d + i. Which is greater: r or d?
d
Suppose -5*r = 20, -843 = -3*h + 9*r - 12*r. Let m be (-3)/15 - (-42)/h. Let b be (-1)/(1 + -2 + 2). Is b greater than or equal to m?
False
Suppose 5*y - 3*p = 37, -5*y + 41 = -0*y + p. Suppose -y*o = -7*o. Suppose -r = -o*r + 1. Is r < -1?
False
Suppose 2*z - 46 = -l + 6, 0 = l - z - 55. Let a = l + -79. Which is bigger: a or 1/2?
1/2
Let n be 39930/75 - (-4 + 66/15). Is 532 less than n?
False
Let m be 2 + (0/2)/(-1) + 330. Let w = -5309/16 + m. Which is smaller: w or -1?
-1
Let g = -780 + 781. Which is greater: g or -3/41?
g
Suppose 0 = -a - 102 + 399. Let v = 2680/9 - a. Which is greater: 0 or v?
v
Let v be (-4)/(-10) - (-128)/5. Let w = 30 - v. Let r be 32 - (-1*8)/w. Are r and 35 equal?
False
Let t = -25 - -36. Suppose -10*i - t = i. Which is smaller: 0 or i?
i
Let u = -8 - -5. Let y be 133/(-1064) - 79/8. Is u smaller than y?
False
Let b = -3 - -2.92. Let h = b - -0.48. Let m = -0.5 + h. Does m = 8?
False
Let v = -678 - -552. Which is greater: v or -129?
v
Let w be 108/90*(-56)/(-6). Let q = 54/5 - w. Is -1 less than q?
True
Let j = 2308 - 2308. Let i = 0 - -0.5. Which is bigger: i or j?
i
Let r(u) = -5*u**3 + 3*u**2 - 3*u + 1. Let k be r(2). Let g = k + 33. Which is smaller: -9 or g?
-9
Let f be (558/59768)/((-3)/4). Which is greater: 1 or f?
1
Suppose -5*z + u - 5*u = -207, -2*z - 4*u = -78. Which is smaller: 131/3 or z?
z
Let u be (-8)/6*(-3)/2. Suppose 16*x + 81 + 111 = 0. Let r be (1/(-21))/(u/x). Are r and -2/13 equal?
False
Let i be -18 - -15 - 76/(-22). Let u = 73/209 - i. Is 1 greater than u?
True
Let x(w) = 4*w + 40. Let i be x(-13). Let m be (-8)/6*(-306)/i. Are m and -35 non-equal?
True
Let w be (-6)/(-3) + 1 - (-4764)/(-1590). Which is smaller: w or -1?
-1
Let c = 0.276 - 14.396. Let n = 0.12 + c. Let m = 29 + n. Which is bigger: m or 0.1?
m
Let m = -0.1265 - -10.4265. Which is smaller: m or 0.2?
0.2
Let j be (-11)/51 - 2/(-6). Let g(k) = 44*k + 1365. Let o be g(-31). Which is smaller: o or j?
j
Let f(y) = 7*y - 2. Let c be f(3). Suppose 3 = r, r = -s - 4*r + c. Which is smaller: s or 5?
s
Let k be ((-3)/(-2))/((-330)/12). Is -1 at least as big as k?
False
Suppose 2*s + 66 = 4*h, 5*h + 35*s - 32*s = 77. Is h at least 13?
True
Let p be 1*(3 - (0 + 3)). Let b be 22/(-55)*((-16)/26 + 1). Which is smaller: b or p?
b
Let t(r) = -2*r**2 + 15*r - 14. Suppose -5*c = -4*v - 48, -4*v + 13 = 3*c - 3. Let j be t(c). Which is greater: -20 or j?
-20
Let w be 72/(-48) + (-25)/(-14). Are w and -6 nonequal?
True
Let v(y) = -y**2 + 10*y + 21. Let i be v(11). Which is smaller: 4 or i?
4
Let w = 405 + 138. Is w <= 0.1?
False
Let v = -22968.991 - -22989. Let t = -0.009 + v. Which is smaller: -0.1 or t?
-0.1
Let k(s) = -s + 23. Suppose 4*w + 230 = 14*w. Let l be k(w). Is -2 <= l?
True
Let p be 30/12*18/15. Suppose 2*u - 1 = p. Which is bigger: 3 or u?
3
Suppose -21 = 2*r - r. Let v(p) = -2*p - 15. Suppose 0 = -22*z + 64 + 2. Let n be v(z). Is n less than or equal to r?
True
Let x = -3025/18 + 503/3. Suppose -12*a = -15*a. Which is greater: a or x?
a
Let c(u) = 6*u - 36. Let w be 12/(-14)*(11 + -18). Let z be c(w). Which is bigger: z or -6?
z
Let c = 233/136 + -168109/98600. Are c and 0 nonequal?
True
Let q = -681.7 + 719. Let f = q - 37. Which is smaller: 2/3 or f?
f
Let n be (-12 - -2)*18/3. Is n less than or equal to -60?
True
Let a = -55/1152 - 1/128. Let h(j) = 39*j - 118. Let n be h(3). Is a smaller than n?
False
Suppose 2*n = -n - 9. Suppose 12 = -5*j + 2. Is n < j?
True
Let x = -1038 + 745. Is -294 <= x?
True
Let u = 701/300 + -29/12. Let c = -329/50 - u. Is -6 not equal to c?
True
Let l(d) = -d**2 + 2*d - 10. Let x be l(6). Let z = x + 25. Let o be 57/12 - z/(-12). Which is bigger: 3 or o?
o
Let t = 87 - 92. Which is smaller: 14 or t?
t
Let r(v) = -v**3 - 6*v**2 + 7*v - 4. Suppose 3*w = 0, -2 = -s + 4*w + 1. Suppose -x = 4 + s. Let m be r(x). Which is bigger: m or -5?
m
Suppose -3*g + 22 = -g + 5*l, 5*l = -g + 21. Let s be (113/(-30))/(1/(-3)). Let n = -11 + s. Is g <= n?
False
Suppose r = -17 + 8. Let s(d) = -d**2 - 10*d - 1. Let u be s(r). Suppose 3*k - u*k = 0. Which is smaller: k or 1/23?
k
Let n(r) = 78*r**2 + 467*r - 5. Let y be n(-6). Which is greater: 4/513 or y?
y
Let j = -93 + 92. Which is smaller: 0.55 or j?
j
Let h(u) = 8*u - 14. Let r be h(2). Is 2/421 at most r?
True
Let h(c) = c**2 - 11*c - 12. Let k be h(12). Suppose -3*q - 5*v + 7 = k, 4*q = 5*v - 1 - 13. Which is smaller: q or -2/21?
q
Let t = -125 + 133. Let i be (-29)/(-15) - t/(-20). Suppose -1 = r - 3. Is i less than or equal to r?
False
Let n = -0.267 - -21.267. Does 11 = n?
False
Let o be -10 + (-2011)/(-203) - (-2)/(-7). Is 1 bigger than o?
True
Let n = -20 - 15. Let u = n + 103/3. Which is greater: u or -2?
u
Let v = 4 + -6. Let q = v + 6. Let i = q + 7. Is 12 equal to i?
False
Suppose 2*d - 5*x - 786 = 0, -1572 = -d - 3*d - 4*x. Is 391 greater than or equal to d?
False
Let n(l) = -l**3 - 8*l**2 - 11*l + 6. Let i be n(-6). Let h be i - (-1 + 0) - (-57)/(-114). Which is bigger: 5 or h?
5
Let d = 2761 + -2753. Is 158/19 bigger than d?
True
Let a(t) = -5*t**3 + 10*t**2 + 5*t + 10. Let y(m) = -m**3 + m**2 + 1. Let o(z) = a(z) - 6*y(z). Let d be o(-3). Let h = d + 1. Which is bigger: h or 2/9?
2/9
Let a be -1 - (-2 + 0 - 5/5). Suppose 0 = a*u - 0*u - 30. Let t be ((-40)/(-15))/(2/12). Which is bigger: u or t?
t
Let f = 0.583 + 2.107. Let g = f + 0.01. Let x = g + -3. Which is smaller: -1/2 or x?
-1/2
Let b be (2 - 3)/(-1) - 6. Let d be ((-5)/(25/(-6)))/(90/(-300)). Which is smaller: d or b?
b
Suppose -g = -5*i + 1634, 0 = -5*i - 2*g - g + 1638. Is 328 smaller than i?
False
Let x = 4/2083 + 491560/14581. Which is smaller: 34 or x?
x
Let b = -39859/15 + 2659. Which is smaller: b or 1?
1
Let u be 252/(-35)*3/(-8). Let c = u + -167/60.