6)). Is l less than x?
False
Let d = 21 + -58. Let v = 221/6 + d. Suppose 0 = 5*t - t + 16, 0 = -5*o - 5*t - 25. Is v bigger than o?
True
Let z = -21 + 20.82. Let k = z - 0.02. Which is smaller: k or 0?
k
Let l(y) = y + 15. Let h be l(-12). Suppose 4*s = -2*z + 2, -1 = h*s - 4*z + 3. Suppose p + 2 - 3 = s. Which is smaller: 1/5 or p?
1/5
Let t be 4/(-7)*(-21)/6. Suppose 0 = l + t*l - 9. Is 3 < l?
False
Let f = -51 + 32. Does -19 = f?
True
Suppose 3*k + 5 = g - 3, 2*k = -5*g - 28. Which is smaller: k or -7?
-7
Suppose -9*u + 6*u - 18 = 0. Which is smaller: -7 or u?
-7
Let u(g) = -g**3 + 18*g**2 + 17*g + 21. Let k be u(19). Is k < -20?
False
Let r be (-22)/4 - 6/(-3). Is r not equal to -5?
True
Let r(l) = -l**3 + 4*l**2 + 3*l + 4. Let o be 7*(0/(-1) + 1). Let w(t) = t - 2. Let h be w(o). Let x be r(h). Is x <= -7?
False
Suppose 6*q + 6 = 48. Let g = -7 - -15. Which is smaller: q or g?
q
Let y = -74 - -80. Which is smaller: y or -1?
-1
Let r = 10 - 10. Is 9 at least as big as r?
True
Suppose 4*p + 24 = 2*d - 4*d, -5*d = -2*p + 72. Is d >= -13?
False
Let i(j) = j**2 + 7*j + 5. Let h be i(-7). Let c(z) = -z + 6. Let v be c(h). Let w = -2 + v. Which is smaller: -2 or w?
-2
Let w = 6 + 0. Let g = -6.1 + w. Are -0.1 and g non-equal?
False
Let k = -8 + -15. Are k and -23 unequal?
False
Let l = -29 - -6. Is -23 greater than l?
False
Suppose -3*z - 30 = -3*v, z + 3 = -1. Suppose 4*l - 11 - 5 = 0. Which is smaller: v or l?
l
Suppose 3*i - 1 = 3*m + 2, 2*i + 6 = -2*m. Suppose -4*j - 3 = 5*f, 3*j = -3*f + 2*f - 5. Let u be f/(-2) - (-1)/2. Which is greater: u or m?
u
Let h be 6/30 - 3/5. Is 1 <= h?
False
Let m = -4 + 6. Let v = -201 + 202. Is m less than v?
False
Let j be 2 + (-3)/((-114)/(-100)). Let y = -67/76 - j. Is y less than or equal to -2?
False
Let p be (-5 - -2)*-2*(-2)/(-474). Which is bigger: 0 or p?
p
Let f = -26 - -92. Is f > 65?
True
Let h = 20 - 20.32. Let n = h + 0.12. Are n and -0.4 equal?
False
Let p = -2/591 - 7669/4137. Let n = 11/7 + p. Is n less than -1?
False
Let f = -0.01 + 3.01. Let i = 3.3 - f. Let r = 0.19 + -0.09. Is i < r?
False
Let l = -2 - 4. Let w = l + 9. Let f be (w/4)/(5/(-4)). Is -2 greater than f?
False
Let y be (4/(-190))/((-10)/50). Is y greater than 0?
True
Suppose -6*o - 4 - 2 = 0. Which is bigger: -20/13 or o?
o
Suppose 4*y + 4*d = y - 3, 0 = 5*y - d - 18. Is y smaller than 1?
False
Suppose -30 = -5*p + 4*y, 3*p + 4*y = -22 + 8. Let v = 2 + 13. Let t be 33/v + 1/(-5). Is p equal to t?
True
Let r = 0.2 + -0.5. Let p = r + 1.3. Let h = -2 + 2. Which is smaller: h or p?
h
Let j(h) = -h**3 + 5*h**2 + 4*h + 8. Let v be j(6). Let y be ((-6)/v)/(4 - -2). Let m = -2 - -2. Is m at least as big as y?
False
Let g = -79 + 85. Which is smaller: 7 or g?
g
Let x be 0 - (1/(-4) - 0). Let n = -15267/1852 + -3/463. Let w = n - -8. Which is greater: x or w?
x
Let r = -15.1 - -15. Is 2/7 bigger than r?
True
Let z(b) = -b - 1. Let a be z(-5). Which is bigger: 0 or a?
a
Suppose -i - 5*o = -17, -3*i + 27 = -o + 4*o. Let j = i + -3. Suppose 2*a + a = -j*c - 27, 0 = -c - 3*a - 18. Do c and -4 have different values?
True
Let n = 72.06 - 72. Let s = -8 + 6. Is n greater than s?
True
Suppose 0 = -4*g + 5*h + 64, 4*h = -3*g + 3 + 76. Let j be 48/21 - 6/g. Which is bigger: j or 1/2?
j
Let s(z) = -z**2 + 10*z + 12. Let b = 31 - 20. Let l be s(b). Which is smaller: 1/2 or l?
1/2
Let d = -0.92 + 1.02. Let z = 0.3 + -1.3. Which is smaller: d or z?
z
Suppose 0*b - 5*b = 15. Let y be ((-6)/(-4))/(b/(-6)). Let l be (2/y)/(1/6). Is 0 bigger than l?
False
Let m = 12 + -47/4. Which is greater: 2/5 or m?
2/5
Suppose -5*l - 2*w = -w - 403, -255 = -3*l - 5*w. Let b = -398/5 + l. Let z = 28 - 28.1. Which is smaller: b or z?
z
Let r be (-52)/(-24) - (-1)/2*-4. Is 0.2 smaller than r?
False
Let c be (-4 + (-140)/(-24))*9/(-6). Is c at most -2?
True
Let w = 16.2 + 1.8. Is -0.1 bigger than w?
False
Let q be ((-2)/4)/((-25)/52). Let b = -43/75 + q. Let n = b - 2/15. Is n >= 1?
False
Let x(q) = q**2 - 8*q - 8. Let u be x(9). Is u <= -1/7?
False
Let f be ((-5)/(-15))/(26/(-6)). Let l = 1.03 + -0.93. Which is greater: f or l?
l
Let r be ((-4)/10)/((-12)/30). Suppose 11 = 2*f + 3. Suppose 3*c = 3*k - k + r, 0 = 5*c - f*k - 3. Which is smaller: 2/11 or c?
c
Let q = -39 - -40. Which is bigger: -1.2 or q?
q
Let x = -1.1 + 0.1. Which is smaller: x or 1/4?
x
Let a = 0.13 - 1.13. Let c be 2*(0 + 4/(-44)). Which is smaller: a or c?
a
Let w = -5.4 + 5. Let r = -0.6 + 0.9. Let s = r + w. Is s less than or equal to -0.1?
True
Let x = -0.3 - -1.5. Let w = x + -0.2. Is 0 smaller than w?
True
Let z(i) = -2*i**3 - 9*i**2 - 7*i - 3. Let f be z(-5). Is f smaller than 56?
False
Let h be 912/66 - (-6)/33. Suppose 6 = -4*r - q, -6*r + 2*q = -r + h. Is -0.4 not equal to r?
True
Let p = -1 - -2. Let c be (-150)/(-12)*(-24)/(-10). Let o be ((-9)/c)/((-6)/8). Is o greater than p?
False
Let f = -25 + 43. Let x = -12 + f. Which is bigger: 5 or x?
x
Let c be 2*6/28*1. Let h be -4*(3 - 33/12). Which is bigger: h or c?
c
Suppose h + h - 4 = 0. Let j be 26/(2 - (-14)/(-6)). Let z = j - -236/3. Is z greater than h?
False
Let f = -1 + 5. Suppose -t + 10 = f*t. Suppose -3*g + 6 = -4*x, -g - 1 = -x - t. Which is smaller: -4 or x?
-4
Let j = -18401/423 + 1068/47. Let a = 21 + j. Which is smaller: 0 or a?
0
Let x(b) = 5*b**2 - 6*b - 2 + 5*b**2 - 11*b**2. Let u be x(-4). Which is smaller: u or 5?
5
Let s = 125/54 + 14117/270. Let j = s - 55. Is j less than -1?
False
Let b be 5*(1 + (-33)/15). Let c be -1 - (1 - (-14)/b). Let k(d) = -d**3 + d. Let t be k(0). Is t > c?
False
Let i be ((-5)/25)/(1/5). Which is greater: -2/207 or i?
-2/207
Let y be (1/(-1) + 0)/(15 - 14). Is 0 <= y?
False
Suppose 0 = 5*f + 3*j - 6*j + 32, 3*j + 17 = -2*f. Are f and -9 non-equal?
True
Let x = 0 + -1. Let r be 2/((-2)/(-3)) + x. Let q be -9*((-10)/(-6) - r). Is q not equal to -2/5?
True
Suppose 0 = 2*p - 0*g - 4*g - 16, -p + g + 10 = 0. Let q = p + -37/3. Is -7 >= q?
False
Let h(o) = -o**2 - 11*o - 5. Let t be h(-10). Suppose 5*s + f = -6, 3*s + t*f - 4 - 10 = 0. Is s greater than or equal to 1/2?
False
Let z = 15 - 9. Let f = z + -6. Suppose 3*o + 7 = 4*o - 3*b, f = b + 2. Which is smaller: o or 2/17?
2/17
Let c = 0 + 7. Let a(l) = l**3 - 7*l**2 - 3. Let w be a(c). Let i = -4 + 2. Are i and w non-equal?
True
Let f be 0 + (-21)/(-8) - 2. Let q = -1/66 - 293/264. Let p = f + q. Is p < -2?
False
Let a be (-1)/((-1)/1)*4. Let l(p) = -p + 1. Let r be l(-3). Is r < a?
False
Suppose i + 10 = 4. Let o be i/12 + (-1)/(-2). Let m = 2 + -1. Is m at most o?
False
Let y(g) = -3*g**2 + 2*g - 1. Let k be y(1). Do -7 and k have different values?
True
Suppose 3*f - 2*f - 3 = 0. Suppose 2*r - r = 4*l - 12, -3*r = -f*l + 9. Is 3/5 smaller than r?
False
Let c be 277 - 1 - (1 + -1). Let h = -180 + c. Let i be h/15 + 2/(-5). Which is greater: i or 5?
i
Suppose 2*s + 4*f - 4 = 0, 3*s + f - 6 = 3*f. Suppose 20 = -7*l + s*l. Let a be (-9)/(-7) + l/14. Is a > 1?
False
Let x be (54/12)/((-2)/4). Which is bigger: -3 or x?
-3
Let z = 0 - -0.8. Let o = -0.2 - z. Are o and -0.2 nonequal?
True
Let c = 1855 + -113152/61. Which is smaller: c or 1?
c
Let k be (195/10)/13*(-2)/93. Which is greater: 0 or k?
0
Let b be 4 + (-4)/(-18) + -4. Are 0.1 and b non-equal?
True
Suppose -3*b = -3*p + 57, 4*b = -4*p + 30 + 54. Let h be ((-254)/p)/(2/(-5)). Let z = 32 - h. Is -2/7 greater than z?
False
Let f be (-16)/10 + (-6)/15. Let j be (1 + -2)*(f + -4). Let w be (j/4 + -2)*0. Do w and 2/3 have the same value?
False
Suppose 3*q - 2*z + 2 = 0, 3*q + 0*z + 5 = 5*z. Let n = 738/11 + -34653/517. Let t = 85/141 + n. Is t <= q?
False
Let a = -11 + 12. Is 4 != a?
True
Let k be (-12)/(-16) + 45543/(-740). Let p = -15/37 + k. Let d = 62 + p. Are 0 and d nonequal?
True
Let a be (-3)/(-2 - -5) + 3. Is a less than or equal to 2?
True
Let q be (-2)/(-6) + (-2)/(-3). Suppose -300 = 4*r - 4*s, -5*r = s + 2*s + 351. Let t = 223/3 + r. Which is bigger: t or q?
t
Suppose 4*l + 84 = -5*z, -4*z - 4*l + 0*l = 68. Is z less than or equal to -17?
False
Let l = 45 + -60. Which is greater: l or 0.2?
0.2
Let f = -17.75 + -1.25. Is f at most as big as 0?
True
Suppose 4*j - i + 5*i = 128, 0 = 2*j + i - 60. Is 27 >= j?
False
Let x = 12 - 18. Which is smaller: -0.2 or x?
x
Suppose -3*z + 11 = 2