et k be z(-1). Let p be (-1)/((-18)/32) + -2. Is k at most as big as p?
False
Let s = 78 - 112. Are s and -34 nonequal?
False
Suppose 0 = 3*z + 5*j + 35, 4*z = -z - 2*j - 33. Let l = 2 + -8. Which is smaller: z or l?
l
Suppose 3*n - 46 = 4*y, -y - 26 = 2*y + 2*n. Let b be (-82)/30 + (-4)/y. Are b and -1 equal?
False
Let q be (4/(-12))/(2/(-6)). Let f be q - -4 - 0/(-2). Let r = f - 6. Which is greater: 1/3 or r?
1/3
Let z(w) = w**3 + 5*w**2 + 3. Let x be z(-5). Let m be (2 - 0/x)*-1. Let b be (-3*(-4)/(-6))/1. Is b less than or equal to m?
True
Let k be (-20)/(-15)*(-418)/(-8). Let y = k + -71. Is 0 != y?
True
Let j = 8 + -13. Let z be (6/10)/(1/j). Are z and -7/3 equal?
False
Let f = -7/34 + 5/34. Let x = 7 + -8. Is f >= x?
True
Let k = 7 + -6. Let q = 56 - 83. Let l = 190/7 + q. Is l bigger than k?
False
Let k be (-6)/(-33) + 35/(-11). Which is smaller: -0.2 or k?
k
Let t(x) = -x - 5. Let i be t(-6). Let s be 1/2*0/(-2). Let l = i - s. Is l greater than -1?
True
Let n = -9.7 - -10.7. Suppose 0 = 2*w + s - 9, 3*s - 9 = w + 2*w. Are w and n unequal?
True
Let w be (-17)/(-4) + (1 - 5). Which is greater: w or -12?
w
Let c(t) = t**2 + t - 1. Let b be c(-2). Let u be (676/(-228) - -4) + -1. Is b equal to u?
False
Suppose -5 = -3*f - 2. Suppose -2*h + f - 5 = 0. Which is greater: 0 or h?
0
Suppose 3*t - 2*n = -1 - 1, -5*n - 2 = -4*t. Let f be (-65)/(-2) - 2 - -3. Let j = -33 + f. Is j bigger than t?
True
Let m = 48 + -143/3. Which is bigger: 1 or m?
1
Let l = 8 + -9.7. Let f = l - -1.7. Are f and 2 equal?
False
Suppose 0 = 4*n + 3 + 13. Let j be ((-2)/52)/(1/n). Which is bigger: -1 or j?
j
Let o be 1/(1/(-9 - -2)). Let y(v) = v**2 + 4*v**2 - 6*v**2 - 6*v + 5. Let a be y(o). Is a < -4/7?
True
Let l = -4 - -3.8. Let v be -3*(-4)/(-42) - 0. Is v equal to l?
False
Let l = 2005/6 - 335. Is l not equal to -2?
True
Suppose 7 = 4*f - 5. Suppose -q = f*q. Let i = 0.06 + -2.06. Do i and q have the same value?
False
Let w(r) = r + 13. Let h be w(-9). Is 4 >= h?
True
Let q = -106 - -320/3. Is q != -0.1?
True
Let t = -0.3 + 1.3. Suppose 2*l = -l - 4*u + 5, 5*l - 5*u = 55. Let n = 7 - l. Which is greater: t or n?
t
Let s(l) = -24*l. Let z be s(-1). Suppose -4*d + 3*b + z = 0, d + 2*d - 5*b - 29 = 0. Which is smaller: d or 2?
2
Let f be 3415/75*(-9)/(-6). Let j = -343/5 + f. Which is smaller: 1 or j?
j
Let l = 171/4 + -43. Which is smaller: 3 or l?
l
Suppose 10*p - 16 = -166. Is p < -14?
True
Let d be 0 + (0 - 2)*-1. Suppose d*l = r + 8, -l - 6 = 2*l + 3*r. Is l at least as big as 5/6?
True
Let c = -204 - -210. Is -7/2 smaller than c?
True
Let i = 0.032 + -1.032. Is 12 less than i?
False
Let s be 1/(-3)*(0 + -1). Let t = -2.2 - -11.2. Let i = t - 8.9. Which is bigger: s or i?
s
Let w(o) = -23*o + 1. Let j be w(-1). Let z be -1*j/20*5. Which is smaller: -7 or z?
-7
Let n(f) = -f**3 - 9*f**2 - 8*f. Let i be n(-8). Is i smaller than 4/15?
True
Let o be 4/(-4) - (1 - -4). Let v(k) = k**2 + 3*k + 2. Let f be v(o). Suppose -3*a + 5*i = f, -2*i - 3*i = 4*a - 20. Which is smaller: a or 2/5?
a
Let d = -4.4 + 0.4. Let a = d - -3. Let l be ((-2)/4)/(3/6). Is l less than or equal to a?
True
Let l(m) = m**2 - 2*m - 5. Let x be l(4). Suppose 3*b + 2*o - 34 = 0, -2*o = -b - 3 + 25. Suppose 0 = x*d + 2 - b. Which is smaller: 3 or d?
3
Let x = 257 + -4885/19. Is 1 > x?
True
Let m = -23276 - -791493/34. Let v be (-3 + 2)/1*(-24)/(-34). Let j = m + v. Is j less than or equal to 3?
True
Suppose -2*w = -3*w - j, 5*j = -4*w. Is -2/83 at most as big as w?
True
Let n(q) = -q + 5. Let l(d) = 1. Let v(s) = 5*l(s) - n(s). Let m be v(-1). Which is greater: 0 or m?
0
Let m = 1174/7 + -168. Let p = 0 + 3. Suppose -p*j + i + 0*i + 5 = 0, -4*i = 3*j + 20. Is j less than or equal to m?
False
Suppose -3*v = 2*v - 15. Suppose 7*b - 3*o - 28 = v*b, -b = -o - 7. Let l = 8 - b. Are 3 and l non-equal?
True
Suppose -3*u = -2*l - 1, -l - 2*l = -2*u - 1. Let w be (6/(-16))/((-18)/(-8)). Which is smaller: l or w?
w
Suppose 4*x + 5*w + 27 = -1, 5*x + 35 = -w. Let i = x + 2. Is -4 equal to i?
False
Let z = 5 - 7. Is z less than or equal to 3/5?
True
Suppose 2*m - 2*i - 1 = -3*m, m - 9 = -4*i. Let v(a) = 2*a**2. Let s be v(m). Is s equal to 4/5?
False
Let j = -5 + 8. Suppose -j = 2*w - 1. Which is smaller: 2/9 or w?
w
Suppose -4*k + 4*c = -0*c, -5*c = 3*k - 8. Let z be -5 + k - (-6)/2. Which is smaller: 0 or z?
z
Suppose 17*z = 15*z. Which is bigger: -2 or z?
z
Let m(i) = 3*i + 0*i + 2*i - 3*i - 6. Let q be m(6). Suppose -4*k - 2 = -q. Which is smaller: -2/11 or k?
-2/11
Let w = 26 + -24. Is w > 18/11?
True
Let i be (22/(-33))/(2/3). Is -2 bigger than i?
False
Suppose 0*j = -3*j - 5*q - 46, 5*j + 25 = 2*q. Which is smaller: -6 or j?
j
Let l be (-1)/((-1)/(-1)) + 0. Let n be (3/((-54)/(-4)))/(2/3). Is n bigger than l?
True
Let b(a) = -a + 2. Let d be b(3). Let j be (0/3)/d + 0. Is -1 not equal to j?
True
Let v = -1 + 2. Is -0.07 <= v?
True
Let j = -151 - -170. Is 22 greater than or equal to j?
True
Let a be ((-49)/14)/(1/2). Let c be (-31)/a + 3/(-7). Is 5 less than or equal to c?
False
Let y = 31 - 24. Which is smaller: y or -1?
-1
Suppose 0 = -3*f - 6*f - 378. Do -43 and f have the same value?
False
Let z(b) = -b**3 - 7*b**2 + 9*b + 9. Let d be z(-8). Let h be d/(-4*(-3)/96). Is h less than 8?
False
Let t = 5 + -5. Suppose t = -3*a + 6*a. Suppose -6 = 3*k, 8 = 2*d - k - 2*k. Which is bigger: d or a?
d
Let g = 1/123 - -209/4551. Let j = g + 64/185. Which is greater: j or 2/3?
2/3
Let v be (-27)/3*1/2. Which is bigger: 0 or v?
0
Let b(u) = 4*u - 11. Let y be b(3). Which is smaller: 3/4 or y?
3/4
Let l be -2*((-27)/14 + 2). Let o(r) = -2*r**2 - 20*r - 31. Let j be o(-8). Is j >= l?
True
Let m(o) = o**3 + 6*o**2 + 4*o - 6. Let s be m(-5). Let x be -1 - (2 + -1) - -1. Is x greater than s?
False
Let s = -74 - -47. Which is greater: s or -1?
-1
Let q = 0.13 - 0.24. Let n = q + 3.11. Which is smaller: -1/2 or n?
-1/2
Let v = -7 - 10. Let r = -18 - v. Which is greater: r or -1/5?
-1/5
Let l = 56 - 33. Which is greater: 2 or l?
l
Let s = -9 - -8. Let u be (3 + s)*-1 + 2. Which is greater: -2 or u?
u
Suppose 2*f - 1 = -3. Suppose -21 = 5*i + 4*k, 6*i - 9*i = 3*k + 12. Is i != f?
True
Let i = -1 + 1. Suppose i = -4*f + f + 411. Let s = 1093/8 - f. Is s bigger than 1?
False
Let p be (2/10)/((-6)/(-4)). Suppose 3*l - 64 = -61. Which is smaller: l or p?
p
Let x be 0/(2/6*3). Let v be 3*(6/(-9) - x). Is v != -2?
False
Let w = 11 + -5. Let h(b) = b**2 - 5*b - 4. Let m be h(w). Suppose 3*r + m = -1. Is -0.1 bigger than r?
True
Let r = 96 - 95. Which is smaller: r or -2?
-2
Suppose 0 = -3*c + 11 - 2. Suppose 2*m + c*m = 105. Suppose -2*i - 4 = 2*f, 0 = f - 5*i - m - 1. Is 1 smaller than f?
True
Let w = -0.2 + 0. Let b = 0.4 - w. Let c = b - -1.4. Which is smaller: c or 1?
1
Let u be (-11 - -12)*4/(-17). Suppose -3*s = 4*w + 2*s, 0 = -s. Is u greater than w?
False
Let t(l) = l + 2. Let a be t(-2). Let j(v) = -v + 5. Let w be j(a). Suppose -5*d - 3*h - 2*h - 15 = 0, w*d = -4*h - 12. Does d = 0.1?
False
Let t = 3 + -2.85. Let o = -0.05 + t. Which is smaller: 1 or o?
o
Let p be ((-4)/48)/((-1)/2). Is p less than -3?
False
Let f be 437/(-57)*(-3 - 0). Let z = -23 + f. Which is bigger: z or -1?
z
Let a = 0 - 0.5. Let w = a + 0.6. Let l(y) = -y**2 - 2*y + 2. Let p be l(0). Which is smaller: p or w?
w
Let q = -126 - -125. Let z = -6853/31 + 221. Which is smaller: z or q?
q
Let j = -1.3 + 0.3. Let b = 0 + j. Let o be (-2)/(-14) - ((-8)/(-42))/(-1). Is o less than b?
False
Suppose -x - 3*j + 4 - 1 = 0, -4*x = -2*j + 2. Let l be ((-105)/(-80))/(-7)*2. Is l < x?
True
Let p = -2.31 - -0.31. Which is smaller: 18 or p?
p
Let r be 1/2*(0 - -2). Suppose 0 = 2*s + 3*i + 68, 2*s - i - 4*i + 84 = 0. Let h = -187/5 - s. Is h at most as big as r?
True
Let r be (((-21)/(-6))/(-7))/((-2)/(-4)). Is -1/19 >= r?
True
Let t be (20/(-8))/((-1)/2). Suppose -t*r + 23 = -12. Let d be (-116)/(-14) - 4/14. Which is bigger: d or r?
d
Let l(g) = -g**3 + 4*g**2 + 2*g - 3. Let n be l(4). Are 6 and n equal?
False
Let q = 8 - 28. Let f be q/25*(-6)/(-8). Let g = -0.1 - -0.2. Which is greater: g or f?
g
Let w = -32 - -38. Which is greater: w or -1?
w
Let l = -14.2 - -14. Let z = l + 1.2. Are -0.1 and z unequal?
True
Let m be 2/5*(-5 - -10). Is 3 bigger than m?
