8/10. Let z be (t/(-3))/((-4)/(-66)). Is -9 != z?
True
Suppose 3*i = i + a - 23, a = -1. Is -11 <= i?
False
Let k be -3 - -6*(-1)/(-1). Let r be 5 - 4*2/4. Let y = r + 0. Is y at least as big as k?
True
Let n be 481/11 + 12/4. Let r = n - 6550/143. Does 1 = r?
False
Let r(z) = -z**3 + 7*z**2 + 2*z - 5. Let p be r(7). Let o be 7/((-35)/(-6)) + p/(-45). Is o < -4/17?
False
Let f = 140/11 - 10393/814. Is 1 greater than f?
True
Let r = -331/30 - -71/6. Suppose 4*l + 5*i = 41, -i + 0 + 1 = -l. Let g be (-5 - -5) + l/2. Which is smaller: r or g?
r
Suppose a + 14 = -2*c, 3*a + 32 = -c - 0*c. Let q = -1.98 + -0.02. Let j = q - -2.1. Which is smaller: a or j?
a
Let w = 5.84 - 0.04. Let p = -4.8 + w. Which is bigger: -2 or p?
p
Let u = 32 + -24. Let m = 7.8 - u. Which is smaller: m or -41?
-41
Let v(o) = -o**2 - 11*o - 2. Let t be v(-10). Let y be ((-10)/(-8))/(2/t). Suppose -25 = -5*j + y*h + 50, 25 = -5*h. Which is greater: 9 or j?
j
Let s(u) = -u**3 - 10*u**2 - 11*u - 15. Let y be s(-8). Let w be -7 + ((-26)/(-22) - (-10)/y). Let z = -1 + -1. Is w >= z?
False
Let z(f) be the third derivative of -f**4/4 + f**3/2 - 4*f**2. Let s be z(-3). Let b = s + -12. Is b greater than 9?
False
Let o = -10 + 2. Let s be (-145)/(1 + 1*o). Let g = 21 - s. Which is smaller: 4 or g?
g
Let f be (1 + 11/(-22))*-26. Is -21 equal to f?
False
Let n = 4 + -48. Let d = 43.8 + n. Which is greater: 1.1 or d?
1.1
Let t = -27 + 31. Suppose -2*a - 144 = t*a. Is -24 less than a?
False
Let c = -250 + 251. Is 1/282 less than or equal to c?
True
Let v = -63.9 - -64. Let u = -798.97 - -793. Let l = u - 0.03. Which is bigger: v or l?
v
Let t be (-36)/(-30)*(-15)/(-6). Suppose 5 = 3*c + 5*r, -t*r - 2 = c - 5*r. Is 2/123 bigger than c?
True
Suppose 0 = -t + 6*k - 5*k - 306, -5*t = -2*k + 1521. Let m = -208 - t. Let i be (-2)/8 - m/100. Which is smaller: i or 0?
i
Let i = 31 + -31. Let w = i - -17. Let g = w + -18. Is -1 bigger than g?
False
Suppose -2390 = 3*i - 2360. Which is smaller: i or 2/45?
i
Let s = 93 + -88. Suppose -2*n - 5*j - 1 = -4*j, 5*n + 10 = -s*j. Is 30 > n?
True
Suppose l + 6 = -l. Let t = 4 + l. Let p be (2 - t) + 9/(-5). Which is smaller: p or 0?
p
Let z be (16/3)/(221/(-117)). Is z at least as big as 0.1?
False
Let c = 0 + -7. Let w(l) = l + 8. Let f be w(c). Suppose -4*v - 2*j = 5 - f, 0 = 3*v - 3*j + 12. Is -1 bigger than v?
True
Let f be 4/14 + 5/7. Let w = -0.7 - -0.72. Let c = w + -6.02. Is f != c?
True
Suppose 5*y - s = 10*y + 91, 26 = -2*y - 3*s. Which is smaller: -246/13 or y?
y
Let v = 133 + -132. Is v at least 1/40?
True
Let y = 11 + -11. Let k(p) = 9*p - 9*p - p**2 + 3*p**3. Let b be k(1). Which is smaller: y or b?
y
Suppose 0*u + 5*p - 40 = -5*u, 14 = 4*u - 2*p. Suppose -u*s - m + 16 = 0, -s + 2*m = -5*s + 14. Let i be 1/s - 2/12. Which is bigger: i or 1?
1
Let u = 0.6 + -0.7. Let d = 13/293 + 190066/2051. Let m = d - 93. Is u smaller than m?
False
Let q = 244 + -467/2. Let k be (-8)/3*((-14)/(-4) - (-296)/(-37)). Are q and k equal?
False
Suppose -22*s + 18*s = 3*p + 16, s = -5*p - 21. Which is smaller: 1/368 or s?
s
Let h(r) = -r**2 - 20*r - 41. Let b be h(-5). Do b and 31 have the same value?
False
Let d = 34.9 + -35.5. Is 0 less than or equal to d?
False
Let r(x) = -6*x + 18. Let g(s) = -s**2 + 10*s - 18. Let q be g(6). Let z be r(q). Is -37/2 less than or equal to z?
True
Let c = -69/5 + 291/20. Let h = -1899 + 1901. Is c at most as big as h?
True
Let d(h) = h**3 - h**2 - 2*h - 1. Let r be 3 + -5 + 8/2. Let a be d(r). Let y be (-7 - -5)/(a*2). Is -3 greater than or equal to y?
False
Let p(y) = -y**2 - 11*y - 9. Suppose 1 = -4*o - 39. Let f be p(o). Which is smaller: f or -6/13?
-6/13
Let l be -3*((-10)/6 + -1). Let x = -7421/5 + 1476. Let w = x + l. Which is bigger: w or 0?
0
Suppose -3*x - 2*a = 2*x - 149, -3*x + 5*a = -108. Suppose 0 = 30*s - x*s + 1. Which is bigger: 4/5 or s?
s
Let k(z) = 8*z**3 - 5*z**2 + 2*z. Let x be k(3). Is 177 greater than or equal to x?
True
Let v = -1/427 - -145611/1708. Does v = 86?
False
Suppose -15*v + 10*v + 7 = -2*s, 5*s = 5*v - 25. Do s and -73/15 have the same value?
False
Let p = -41.4 + 4.4. Let v = 0.922 - -36.178. Let k = p + v. Which is smaller: k or -0.09?
-0.09
Let i = 1 - -0.4. Let o = 3504 + -3503. Which is smaller: i or o?
o
Let h(w) = 13*w**3 + 3*w + 4. Let d be h(-2). Which is bigger: d or -109?
d
Let t = 8 + 2. Suppose -t = -s - 6. Which is bigger: s or 2?
s
Let i = 0.015 + 6.185. Let u = i + 3.8. Which is smaller: 0 or u?
0
Suppose -4*f - 28 = -0*f. Let o be 36/(-28) + (-2)/f. Let g = -633/8 + 79. Do o and g have the same value?
False
Let b = 219 + -140. Let w = b + -78. Let o = 0.1 - 0.1. Which is bigger: o or w?
w
Let f be (-4)/8 + 4/6. Suppose -t - 3 = -6. Suppose -2*y = t*s + 3, 3 = s + 2*y + 8. Which is smaller: s or f?
f
Let v be (-10)/33 + (-4)/(-6). Let h be -1*3*152/(-57). Suppose 3*c - 5 = h*c. Which is smaller: v or c?
c
Let a(o) = o**3 + 3*o**2 - 4*o. Let g be a(-3). Suppose -30 = 3*p + g. Which is smaller: p or -16?
-16
Let n be (-76)/(-66) - (-2)/(-6). Suppose 0 = 545*g - 540*g - 5. Which is greater: g or n?
g
Let x = 0 + 9. Suppose -5*n = -x*c + 7*c + 87, 2*n + 31 = -3*c. Is n greater than or equal to -0.2?
False
Let b be ((-78)/(-65))/((-14)/1645). Do b and -143 have the same value?
False
Suppose 0 = 2*j + 2*y - 14, -2*j + 0*y = y - 16. Let z be j/(-15)*1 - 53/(-5). Are z and 10 non-equal?
False
Let t = -467 + 456. Let b = -0.1 - 0.1. Which is bigger: b or t?
b
Let s(i) = -i**2 + 3*i + 4. Let r = 46 - 46. Let z be s(r). Suppose -2 = 2*q - 3*q. Are q and z equal?
False
Suppose 5*s - 4 = 3*s - 4*w, 2*s = -w + 7. Suppose 6 = 2*x - 4*f, -4*x = 4*f - 76 + s. Is x greater than 15?
False
Let t = 193 - 407/2. Let k be (-22)/8*(-3*4)/(-3). Which is smaller: t or k?
k
Let f = 8.5 - 8. Which is smaller: f or 16?
f
Let v be 428/(5/10 + 0). Let w be (-3)/(-5) + v/(-1360). Which is greater: 1 or w?
1
Let h = 64 + -64.65. Let r = h + 0.75. Is -13 not equal to r?
True
Let v = 1187 - 2175. Let j be v/32 - (-8)/(-64). Is j greater than 2/3?
False
Let s be (-34 - 4)/(1*-2). Let c = -11 + s. Let d be (c + 10)*(-3)/6. Which is greater: -8 or d?
-8
Let u be (-56)/27 + 1 + 1. Let j(p) = 8*p + 1. Let g be j(1). Suppose 0 = 2*z + g - 7. Which is smaller: z or u?
z
Suppose -5*h = -4*c - 12, -3*h + 2*c + 1 + 5 = 0. Which is greater: 4/75 or h?
4/75
Let k be 15770/(-25415) + 2/3. Let r = -2/391 - k. Which is bigger: 0 or r?
0
Let u(q) = -2*q - 10. Let j(z) = -z - 3. Let a = -13 + 15. Let m(o) = a*u(o) - 7*j(o). Let n be m(-1). Is -1 smaller than n?
False
Let k = 13 + -15. Let r = 1/951 - -8552/6657. Is k > r?
False
Let b be ((-3)/(-15))/(4/(-30)). Suppose 0 = -11*y + 5*y - 18. Which is bigger: b or y?
b
Let m be 4/(-8)*0 + 3. Let r be 21/(-14)*(-1)/m. Suppose -4*p + 12 = 4*y, 4*y - 2*p + 15 = 3*p. Is y <= r?
True
Let o = -2323/8 + 290. Which is greater: -1 or o?
o
Let b(k) = k**3 + 3*k**2 - 5*k. Let s be b(-4). Suppose -n = -3 + 5, 4*n + 264 = s*g. Let l = 38 - g. Is -27 bigger than l?
False
Let w = 0.51 - 0.3. Let a = w - -0.89. Let d = 0.9 - a. Is -1/4 at most d?
True
Let i be 10/(-36) - (-4)/(-18). Let k = -2 - -7. Suppose -2*w + 3 = -k*w. Is i greater than w?
True
Let t = 119 - 37. Let y = 83 - t. Which is greater: 0 or y?
y
Let z be ((-4)/(-5))/((-4)/(-70)). Let b be z/2 + 1 + -3 + -2. Is b less than or equal to 26/11?
False
Suppose -5*s + 104 = 4*k, 0*s = -k + 2*s + 13. Let c be (-100)/(-3) - ((-70)/k)/(-10). Which is smaller: 35 or c?
c
Let z be 23/2 + 1/2. Suppose -2*o = -5*o + 3, 5*f - 3*o = -3. Suppose 2*v + 3*v - 55 = f. Which is bigger: z or v?
z
Let r = -1.61 + 1.82. Which is bigger: 1 or r?
1
Let m be (-152)/42*6/(-4). Let n be ((-15)/10)/((-3)/(-5))*-2. Is n greater than or equal to m?
False
Let t = -266/55 - -51/11. Let r = 679 - 38702/57. Is r < t?
False
Let z(s) = 16*s + 262. Let l be z(-15). Which is smaller: 41 or l?
l
Let h = -6 + -146. Which is bigger: -157 or h?
h
Let j = 101 - 60. Let k be (-1)/(-4) - j/4. Let y = -11 + k. Are y and -22 unequal?
True
Let m be (10/(-40))/(6/24). Is 5/352 bigger than m?
True
Suppose 12*y + 6578 = -10*y. Which is smaller: y or 0.1?
y
Suppose -6*k = -35 + 119. Let d = k + 11. Let m be (-4 - d) + 5/3. Which is greater: 0 or m?
m
Let f = 229.3 - 229. Which is 