e ((-2)/(-2))/(7/28). Let j be (z/(-10))/(153/(-15)). Let p = j - 59/204. Are 1 and p equal?
False
Let o(d) = d**2 + 3*d - 2. Let m be o(-4). Let w be -1*3/6*m. Is 1 less than or equal to w?
False
Let i = -22 + 25. Let j = -0.6 + 3.7. Let a = i - j. Which is smaller: a or 0?
a
Let g = -0.1 - -0.15. Let y = -0.09 - 0.16. Let q = y + g. Which is greater: q or -2?
q
Suppose -z - 5 = 0, -9*z = 5*t - 4*z. Suppose 8 = -r + t*p - 12, 0 = r + 3*p - 12. Which is greater: -2/9 or r?
r
Let z(f) = -2*f**3 - f**2 - 1. Let x be z(-2). Suppose 13*v - 5*g - 5 = 12*v, 4*v - g - 39 = 0. Is x >= v?
True
Suppose -9*u = -8*u + 2. Suppose 3*f = 3*l, 2*l = f - 5 - 0. Is l not equal to u?
True
Let t be 6/24*4/1. Let l(g) = g**3 + g + 4*g**2 + 5*g + 0*g + 4*g**2 - t. Let p be l(-7). Are p and -1 non-equal?
True
Let s be -1 - 170/(-8) - 27/108. Which is greater: s or 41/2?
41/2
Let o = -4 - -4. Are 8/15 and o equal?
False
Let v be ((-3)/(-9))/((-14)/(-12)). Is 1/4 bigger than v?
False
Suppose g = -3*g. Which is bigger: g or -1/4?
g
Let m = 75 - 77. Which is bigger: -6/7 or m?
-6/7
Let m = 62/195 - -1/65. Is 7 at least as big as m?
True
Let m = 37 - 32. Which is smaller: 4 or m?
4
Let u = -9778/11 - -890. Do 1 and u have the same value?
False
Let d be ((-3)/6)/((-2)/(-4)). Let n(m) = -2*m + 12. Let w(p) = -2*p + 12. Let b(t) = 7*n(t) - 6*w(t). Let z be b(6). Which is smaller: z or d?
d
Let j = 2497 + -262187/105. Is j at least as big as 0?
False
Let j = 0.21 + -0.22. Which is bigger: 3/4 or j?
3/4
Suppose 3*f = t - 4*t + 3, -5*t = 4*f - 1. Suppose 0 = f*j - j + 6. Which is smaller: j or -8/7?
j
Suppose -2*x - 2*j = 10, -2*j = 7*x - 2*x + 13. Which is smaller: x or -65?
-65
Let j = 9 + -9. Let o be (-34)/(-6) - 4/6. Suppose o*m + 6 - 1 = 0. Is m greater than or equal to j?
False
Let b be 22 + (-12)/((-4)/(-1)). Suppose -b - 1 = -4*t. Is 5 greater than t?
False
Let m = 15 - 11. Suppose 9*n = m*n - 25. Let a = 8 + n. Are -2 and a nonequal?
True
Suppose j = 4*j - 3. Let h = j + 0. Let b be (h - (-7)/(-3))/2. Which is bigger: 0 or b?
0
Suppose g + 10 = 5*i, 3*g + 21 - 4 = 2*i. Suppose f + 4 - i = 0. Suppose -4*w - 19 = 3*p, -2*p - 2*w - 14 = 2*w. Which is smaller: p or f?
p
Let u = -6 + 8. Suppose 0 = u*r - 4*r. Let k be r/2 + 1/2. Is k at most 1?
True
Let d = 1.1 + -1. Which is smaller: 0.03 or d?
0.03
Let h = 0.16 - 0.16. Is h at least as big as 2/67?
False
Let q(l) = l**3 + 5*l**2 + l + 7. Let h be q(-5). Let k be h/(-1) - (-1 + -2). Let p = 61/161 + -12/23. Is k bigger than p?
True
Suppose -q - 29 = 2*i, -i - 14 = q - 4*i. Which is bigger: -22 or q?
-22
Let l be 2/3 - (-3792)/(-42462). Let p = l + -2/337. Let c be (-12)/54 + 4/18. Is c < p?
True
Let f = -0.317 + 0.217. Let v = -1 - 0. Is v >= f?
False
Let t be -1*(-3 - -2) + -2. Let k be ((-6)/8)/(2/(-136)). Let a = 460/9 - k. Which is bigger: a or t?
a
Let b = -11.97 + 12. Let f = b - -0.17. Which is smaller: f or 0?
0
Let s = -15 + 14.9. Which is greater: -0.8 or s?
s
Let u be (12/(-24))/(5/2). Let a(v) = -v**3 - 2*v**2 + 2*v + 3. Let z be a(-2). Let g be z/(2/(-2) + 0). Is u smaller than g?
True
Let g be (-2)/18*96/(-16). Let v = 48 - 145/3. Which is smaller: g or v?
v
Let r be (-5)/(-1)*12/15. Let x be (r/(-18))/((-10)/(-15)). Which is smaller: 2/17 or x?
x
Let r be 1 - ((-7)/(-3) - 2). Let z = -5 + 9. Suppose 3*k = 5*h, 2*h = -2*k + z*k. Which is bigger: k or r?
r
Let z be (-1)/(-70)*(-15 - -9). Which is greater: 2/3 or z?
2/3
Let t = 0.048 + -11.048. Which is smaller: -1 or t?
t
Let w be ((-18)/33)/3 - 20/495. Which is greater: 0.27 or w?
0.27
Let g = -0.2 - 0. Let b = 0.2 + -2.2. Is g < b?
False
Suppose 0 = -4*k + 4*d + 36, 4*k - 2 - 4 = -2*d. Suppose -k*s = q - 4, -2*s + 2 = -q + 3*q. Let z be 1 - s - 2/2. Which is greater: -2/15 or z?
-2/15
Let j be 4/14 + 58/(-7). Let s be (j/90)/((-6)/(-15)). Let g = -13.1 + 13. Which is smaller: g or s?
s
Let k = 1399 - 11165/8. Is k > 4?
False
Let d = -10 + 16. Let i(b) = -b**3 - 14*b**2 + 14*b - 12. Let h be i(-15). Suppose -h = o - 1, -o = -x + d. Which is bigger: x or 5?
5
Suppose -19 + 4 = -5*p. Let t(g) = g - 3 - 3*g**2 + 2 - p*g. Let b be t(-1). Are b and -2 nonequal?
False
Let v(q) be the second derivative of q**4/12 - 5*q**3/3 - 11*q**2/2 - q. Let w be v(11). Let g = 4 + -3. Which is bigger: w or g?
g
Let o = -31 - -33. Let j(s) = 3*s + 2. Let h be j(-2). Is o at least h?
True
Suppose 0 = -4*w + 2*r + 8, 4*w - 3 = 3*w + r. Let x be 3/(5 + (-1)/1). Are w and x nonequal?
True
Let l = 4 - 3. Let o = 0 - l. Let x be 32/(-63) - 2/(-7). Do o and x have the same value?
False
Suppose -x = -5*x - 12, -p = 3*x + 10. Let l(r) = 2*r - 3. Let c be l(2). Let g be 2*c/(-2) - -2. Which is bigger: p or g?
g
Let z = 274 - 300.8. Let l = 26 + z. Are -1 and l equal?
False
Suppose 22 = -4*z + 2, 0 = -2*l - 2*z + 2. Is 5 less than l?
True
Suppose 3*m - 9 + 99 = 0. Which is bigger: m or -29?
-29
Suppose -5*j + 69 + 36 = 0. Let r = j - 64/3. Which is bigger: 0.3 or r?
0.3
Let k = -4 - 5. Let x = 9 + k. Is x greater than 1/5?
False
Let p = 247921/163 + -1521. Which is bigger: -1 or p?
p
Let p = 0.08 - -0.02. Let k = 1 + -5. Does p = k?
False
Suppose -2*x - x - 28 = -2*l, 0 = 2*x - 5*l + 37. Let u(z) = -z - 6. Let v be u(x). Let b(r) = r - 5. Let g be b(5). Is g equal to v?
True
Let j = 1.7 - -0.3. Let t = 30 - 30. Let a = t + j. Which is greater: a or 1/5?
a
Suppose 0*c = 4*c - 12. Let u = 5 - c. Which is bigger: u or 0?
u
Let q = 2 + 0. Suppose -m = -q*m. Let f be 16/3 - 20/5. Which is bigger: f or m?
f
Let a = 0.01732 - -26.07268. Let l = a - 24.1. Let t = l - -0.01. Is t >= 2/5?
True
Let h = -0.05 - 0.35. Let n = 7 + -6.5. Let b = h + n. Which is greater: 1/5 or b?
1/5
Let k = 2.56 + -2.9. Let q = -0.02 - -0.06. Let n = k + q. Which is smaller: n or -1?
-1
Let i(f) = -2*f**2 + 14*f - 9. Let u be i(13). Let t be (-1)/3 - 43/u. Let l = -7/660 + t. Do l and -1 have the same value?
False
Let s(f) = -11*f**2 + 39*f - 25. Let q(l) = 7*l**2 - 26*l + 17. Let r(y) = 8*q(y) + 5*s(y). Let z be r(12). Are -2/9 and z nonequal?
True
Let j be (-108)/(-30) + -5 + 1. Which is greater: -26 or j?
j
Let l = 368/45 - 42/5. Which is smaller: 0.4 or l?
l
Let t(f) = -f**3 + 10*f**2 - 2*f + 20. Let d be t(10). Let o be 0 - 2*(-5)/2. Let z(v) = -v**3 + 4*v**2 + 5*v + 1. Let h be z(o). Is d bigger than h?
False
Let b = 2198/11 - 198. Is b smaller than 1?
False
Let g = -0.07 - -7.07. Let y = g + -7.3. Which is smaller: y or -2/3?
-2/3
Suppose r = -3*b + 8, r = -3*r + 2*b + 46. Let l = r - 16. Which is greater: -4 or l?
-4
Let u = 6 + -8. Let c = -2 - u. Let w = c + -0.1. Which is greater: w or 2/7?
2/7
Let v(i) = i**2 - 5*i + 6. Suppose -4 - 12 = -4*x. Let n be v(x). Let k = 16 - 13. Which is smaller: k or n?
n
Let s = 168 - 108. Is s greater than or equal to 59?
True
Let s = 10 + -10. Suppose s = 4*f + f. Which is bigger: -1 or f?
f
Let c = 8.7 + -8.6. Let v = -9103/19 - -479. Is c at least v?
True
Let q be 1/(-4) + (-13)/(-4). Let b(n) = -n**2 - 3*n + 1 + 1 + 0. Let l be b(-3). Which is bigger: q or l?
q
Let h(a) = 4*a - 2. Let t be h(5). Let l be 2*(2 - 33/t). Suppose 0*i + 2*i = 0. Is l >= i?
True
Suppose 2*u = 3*u + 6. Let t be (-6)/(-9) - 2/u. Which is bigger: 2 or t?
2
Let z = -0.15 - 5.85. Let p = z - -8. Let v = 2 - 2. Which is greater: v or p?
p
Let g be -3*3/90*4. Which is smaller: 0 or g?
g
Let b(j) = -j**3 + 9*j**2 + 4. Let w be b(9). Let g be 2/2 - w/3. Let d = g + -1/15. Do d and 0 have the same value?
False
Suppose -2*l = 4*b - 28, 2*l - 30 = -3*l - 2*b. Which is bigger: l or 36/11?
l
Let a be (2/26)/(1 + -2). Let m = 14 - 14. Is m less than a?
False
Let n(c) = -c + 4. Let u = 4 + 0. Suppose -a - u*a = 0. Let b be n(a). Is 4 at most as big as b?
True
Let i be 4 + 0 + 1380/(-330). Is 0.2 equal to i?
False
Suppose -x = 3*x + 16. Let c = 3 + x. Suppose 0*k + 3*k = 0. Is c smaller than k?
True
Let w(y) = y**3 - 5*y**2 + y + 4. Let m be w(5). Suppose 3*b = 3*h - 4*h + 9, 3*b = h + m. Suppose -b*a - 7 + 1 = 0. Is -2 bigger than a?
False
Let y = -5783/65 + 89. Which is smaller: -1 or y?
-1
Suppose 298 = -6*q + 4. Is -51 at most q?
True
Let o(f) = -3*f**2 + f + 1. Let w be o(-1). Let k = 0 + w. Is -1 at least as big as k?
True
Let o be ((-4)/10)/(42/(-10)). Let w = -4/105 - o. Let m = -0.2 + -0.8. Is w 