hich is smaller: -1/3595 or b?
b
Let u = 3.2 + -3.3. Let j = -0.42 - -7.12. Let l = -7 + j. Which is smaller: u or l?
l
Let y be (-1 - (-4 + 5)) + 160. Let o = y - 158. Let r be (-30)/4*1/80. Is o less than or equal to r?
False
Let g be 14 - (3 + -2) - 3. Let s be -1 + 1 + 1 + 12. Which is bigger: g or s?
s
Suppose 0 = 4*r + g - 1 - 9, -1 = -3*r - 4*g. Let d = 4 - r. Which is smaller: -1/13 or d?
-1/13
Suppose 9 = 4*m - m. Suppose y = -m*y. Suppose y = -4*f + 5*f. Is -2/19 != f?
True
Let t = 998/6615 - 2/735. Let s = t - 10/27. Which is greater: s or 0?
0
Let h = 409/7 - 54. Does 4 = h?
False
Let y = -4813/710 - 3/142. Is y at least -8?
True
Let c = -1212 + 711. Let y be (-18)/27 + c/(-9). Are y and 53 non-equal?
True
Let v = -104 - -104.44. Let q = v - -1.56. Is q less than 28?
True
Let l be 8/6*225/(-6). Do 1/4 and l have different values?
True
Let g = 845 + -846. Is g != 104?
True
Let x = -3.02 + 7.88. Let i = x - -0.14. Is 3 > i?
False
Let z(w) = -w + 6. Let l be z(6). Which is smaller: l or -1/168?
-1/168
Let x(v) be the second derivative of -v**5/20 - 5*v**4/12 - v**3/3 - 9*v**2/2 + 8*v. Let p be x(-5). Let d = -65/7 + 9. Which is greater: d or p?
p
Let h = 3/62 + 76/31. Suppose 7*m = 19 + 2. Is h != m?
True
Let p = 497.8 + -495. Is 5 at least as big as p?
True
Let h = -245 - -245. Which is greater: h or -3/68?
h
Let u = -0.02 + 29.02. Let l = -35 - -33. Which is bigger: u or l?
u
Let d = 70 + -69. Suppose -4*j - 4*n = -3*j - 18, d = 2*j + n. Which is greater: j or -8/5?
-8/5
Suppose 11*q = -4 + 26. Suppose 6*k - k = -q*k. Do k and -9/8 have the same value?
False
Suppose 0 = -5*w - 10, 2*w = -3*f + 7*f - 60. Let d be -7*(f/4)/7*8. Which is greater: 1 or d?
1
Let x be 6*(36/3)/3. Let g be 70/x*(-2)/10. Let l = -1/6 + g. Which is greater: -0.1 or l?
-0.1
Let q be (-3)/(-1) - (12 + -19). Let y(k) = -k**2 - 6*k - 5. Let v be y(-7). Let l be q/(-3) - v/18. Do l and 0.1 have the same value?
False
Let g = 124 + -82. Let i be 15/g*2/10. Which is greater: 0 or i?
i
Let q be (-1817)/(-368) + 8/(-2). Is q equal to 1?
False
Let w(s) = -5*s**2 - 31*s - 5. Let g be w(-6). Is 10/37 equal to g?
False
Let u = -8 + 7. Let w = 3.1 - -0.5. Let l = w + -4. Is l > u?
True
Let r be (-5)/((-40)/12)*-6. Let m be 4 + (r/15 - 4). Are 0 and m unequal?
True
Let i = -36.2 - -34.4. Which is bigger: i or -5?
i
Let q be -1*(-2 - (-5 - -2)). Let p be (0 - -2)/(0 - q). Let c be (-10)/(-88) + p/8. Which is greater: c or 1?
1
Let h(u) = 2*u**2 + 4*u + 11. Let g be h(-5). Let y(x) = -2*x + 72. Let w be y(16). Are w and g unequal?
True
Let c = -1049/7 + 151. Let v(y) = -y**3 - 4*y**2 + 3*y + 2. Let u be v(-4). Let l be (-3)/(-15) - (-2)/u. Is l at least c?
False
Let k be 3/(-4) - 3/(-4). Let b be -4 + k + (2 - -2). Which is smaller: b or -12/11?
-12/11
Let j(m) = 3*m - 1. Let d be j(5). Let p be (26/(-39) + d/12)*0. Is p at least as big as -4/17?
True
Let x = -166 + 252. Let m = -90 + x. Let r(k) = -k**2 - 3*k + 4. Let c be r(-5). Is m < c?
False
Suppose w = -w + 3*v + 3, -w + 4 = -v. Let u = -8 + w. Let z be (-2 + u)/(10 - 9). Which is smaller: z or 4?
z
Let f(i) = i + 8. Let c be (0 + -2)*-3*1. Let t be f(c). Suppose 11 = 5*w - t. Which is smaller: w or 6?
w
Suppose -20 = -212*t + 192*t. Which is bigger: t or 1/306?
t
Let c be (-18)/3*(-4)/36*(-3)/2. Let f(p) = -p**3 + 8*p**2 - 5*p + 10. Let g be f(7). Suppose 2*n = -0*n + g. Which is smaller: c or n?
c
Suppose 83*c - 316 = 85*c. Let x = 225 + c. Is x greater than 67?
False
Let x(s) = s + 28. Let q be x(20). Let d = q + -43. Is 1 < d?
True
Suppose -2*x + 2 = 4*i, -x - i = -2*x + 1. Is -1/122 less than x?
True
Let f = 0.412 - -2.588. Which is bigger: -0.214 or f?
f
Suppose 3*m = m - 4, z - 3*m = 9. Let c(n) = 4*n + 3*n + z + 2*n - 5*n. Let a be c(-3). Is -9 less than or equal to a?
True
Let x(z) = z**3 - 10*z**2 + 11*z - 6. Let u be x(9). Let m be 1/2 - (-1942)/u. Let f = -161 + m. Is 1 at least as big as f?
False
Let v = 17 - 13. Let a(k) = k**3 + 2*k**2 + k + 4. Let p(b) = b**3 - b**2. Let g(z) = a(z) - 2*p(z). Let j be g(v). Is j > 7?
True
Suppose 12 = -3*h, 2*h = -4*o + 6*o - 12. Suppose 7*z + o + 5 = 0. Which is smaller: 19 or z?
z
Let v = 536/3 + -178. Suppose 3*p + 4 = 7*p - 3*k, -3*p + 3 = 3*k. Suppose 3*h - p - 2 = 0. Is v equal to h?
False
Let i be (-2)/(-4) + (-21)/6. Let r(n) = -2*n - 2. Let z be r(i). Let d be (-5)/3 + -3 + z. Which is greater: d or 0?
0
Let u = -1428 + 1495.1. Let j = u - 67. Let o = -11.17 + 0.17. Which is bigger: j or o?
j
Let f = -186 + 186. Which is smaller: -249 or f?
-249
Suppose -3*i + 14 = 4*w, i + 32 = 3*i - 3*w. Let x = -25 + i. Do x and 2 have different values?
True
Let d be (-38)/323 - 552/(-4403). Let p = d + 496/2849. Which is greater: 0.1 or p?
p
Let i = 110.2 - 120. Let t = i + 4.9. Let b = -5 - t. Which is smaller: b or 4/3?
b
Let t = -45 + -6. Let u be (-2)/15 + t/(-45). Which is greater: u or -3/32?
u
Suppose -3*i + 4*p - 17 = 0, 13 - 3 = 2*p. Let l = 2050/9 - 228. Which is greater: i or l?
i
Let n = 312 - 445. Is -133 greater than or equal to n?
True
Let a(m) = 5*m + 2. Let p be a(2). Let j be 1 - (-45)/(-3 - 0). Let b = p + j. Which is bigger: 1/3 or b?
1/3
Suppose -1849 = 12*q - 253. Which is smaller: -135 or q?
-135
Let p = -2303/4 - -575. Which is greater: -2/11 or p?
-2/11
Let m = 10 - 3. Let p = 18.4 + -26.4. Let n = p - m. Is 1/3 > n?
True
Let l be 3/((18/21)/(8/14)). Let g be 0/1 + 3*-3. Which is bigger: g or l?
l
Let b = -0.0137 + -43.1863. Let c = b - -41. Is c < 0.1?
True
Let t = 0.055 - 69.055. Let c = t + 69.1. Let p = 3 + 31. Which is bigger: p or c?
p
Let o = 2911/3 - 970. Is -3/14 not equal to o?
True
Suppose -a - 22 - 76 = 0. Let i = -391/4 - a. Does -1 = i?
False
Suppose s + 5*d = -249, -23*s + d = -20*s + 811. Is s > -271?
True
Let g(u) = -u. Suppose 0 = 4*w - 2*o - 2*o + 32, 0 = -w - 2*o - 8. Let y be g(w). Let v(n) = -n + 17. Let b be v(16). Is y less than b?
False
Suppose -4*i - 2*y + 6*y - 24 = 0, -2*i + 4*y = 14. Let d be 1 + (-3 - i) + -3. Suppose h = -4*a - d*h + 2, 5*a - 5*h - 15 = 0. Which is smaller: -1/14 or a?
-1/14
Let p = 193 - 571/3. Let g = -258 + 255. Let s = g + p. Is s smaller than 1/3?
True
Let o = -10447/6 + 1741. Let s(w) = w**2 + 2*w + 1. Let v be s(-2). Which is greater: o or v?
v
Suppose z = -0*z + 2. Let m be z*2/(-10) - -1. Let x(k) = 4*k**2 - 21*k - 16. Let y be x(6). Is m greater than y?
False
Suppose 5*i - 5 = 15. Let s(l) = -12*l. Let k be s(i). Let o be 2/(k/(-21) - 2). Which is smaller: 6 or o?
6
Suppose 0 = -13*m - 1938 - 1936. Let w = m - -1793/6. Let p = 3 + -1. Is w greater than or equal to p?
False
Let f be (-322)/(-23)*(58/(-12) - 0). Let z = f + 1072/15. Is z smaller than 3?
False
Suppose -5*l = -5*m + 140, 2*m + 1 - 33 = -4*l. Which is smaller: m or 73/3?
m
Let x(j) = j**3 + 2*j**2 - 6*j - 5. Let b be x(-3). Suppose 9*p - b*p + 50 = 0. Is p <= -82/9?
True
Suppose 0 = -2*l - 124 + 126. Is -1/987 > l?
False
Let n = 1.2 - 1. Let c = 51.99 + -48.99. Which is smaller: n or c?
n
Let c = -1187 - -4749/4. Which is smaller: c or -2/1367?
-2/1367
Let v(t) = 2*t**3 - 2*t**2 - 4*t + 8. Let n be v(7). Which is smaller: n or 567?
567
Let v = 2241/26 - 31755/182. Which is smaller: -89 or v?
-89
Let f(g) = -2*g**3 - 30*g**2 - 31*g + 1. Let w be f(-14). Do w and 41 have different values?
True
Suppose -p + 30 = -2*z, -3*p = -10 + 22. Let h = -59 + 41. Are z and h nonequal?
True
Let b(v) = -v**3 - v**2 + 4*v + 3. Let r be b(-2). Let x = 4 + r. Let j(q) = -q + 3. Let m be j(x). Is 2/11 not equal to m?
True
Suppose -5*i - 12 = -g + 6, 4*i = 4*g - 8. Let b be ((-1)/g)/((-20)/(-48)). Suppose 57*c = 60*c - 6. Is b bigger than c?
False
Let f(q) = q**3 - 4*q**2 - 2*q + 5. Let d be f(4). Let k(y) = 20*y + 38. Let s be k(-2). Which is greater: d or s?
s
Suppose 0*j = -3*j + 153. Let y = j - 67. Which is smaller: y or -13?
y
Let u = -0.0313 + 90.0313. Which is smaller: u or 3?
3
Let n be (-203)/138 - (-12)/8. Let y = n + -152/483. Is y greater than or equal to 1?
False
Let q = -13.91 - -17.91. Is 1.9 greater than q?
False
Let l = 17 + -26. Let q = -27 + 1. Let n = q + 25.9. Is l bigger than n?
False
Suppose -3*p + 38 = z, -2*p - p + 34 = 2*z. Let a be (-30)/p + 1 + (-1 - -2). Is a equal to 0?
False
Let j be -2 + 668/9 + (-48)/216. Suppose 