/36. Which is smaller: -1 or w?
-1
Suppose 5*b - 2*n = -200, -b + 5*n = 6*n + 40. Does -41 = b?
False
Let p = 15 + -18. Which is smaller: p or 1?
p
Let w(s) = 102*s - 1. Let q be w(-1). Let p = 1340/13 + q. Let i(z) = z - 6. Let r be i(5). Is r != p?
True
Let l be (-4)/(-6) + 8/6. Suppose -l*y = -1 + 3. Let h be 7/y*(1 + 0). Is -7 at least as big as h?
True
Let w = -222 - -218.06. Let r = -0.06 + w. Let u = -7 - r. Is u smaller than -1?
True
Let v = 23 - 5. Which is smaller: 19 or v?
v
Let n(f) = -2*f**2 - 1. Let v be n(-1). Let p = -3 - 3. Let s be ((-27)/p)/v + 1. Is s not equal to 0.1?
True
Let a = -8 - -61. Is a at most 53?
True
Let c be (2/8)/((-69)/92). Is c equal to 2?
False
Let v = 0.3 + -0.23. Let k = -0.93 - v. Let t be (-1)/2*-6*1. Is k at least t?
False
Suppose 5*f + 6 = -3*h + 6*h, f - 10 = -5*h. Do 1 and h have different values?
True
Suppose 0 = 5*o - 2*g + 26, g = -4*o - 14 + 1. Let p(u) be the second derivative of u**3/6 + 3*u**2/2 - 18*u. Let f be p(o). Do -2/9 and f have the same value?
False
Let d be ((-3)/42)/(1/4). Let p = 4.4 + -4. Which is bigger: d or p?
p
Let v = 18 - 14. Suppose v*b - b = -12. Is b at most as big as -3?
True
Let o = -0.7 - -4.7. Let g = 7 - 11. Let b = g + o. Is b >= -0.2?
True
Let c = 3 + -2. Which is smaller: c or 0?
0
Let p = 30 - 59/2. Let s = -5198/11 - -474. Let b = s - 14/11. Which is greater: p or b?
p
Let b be 1 + (-7252)/36 + 2. Let p = -198 - b. Is p smaller than 1?
True
Let z = -83019663340/27 + 3072017208. Let f = z - -2784707. Let m = -431 - f. Is 1 less than m?
False
Let h = 0.3 - -6.7. Which is smaller: h or -2?
-2
Suppose -181 = -5*z - 276. Which is smaller: -18 or z?
z
Let b be (-178)/(-330) - 6/10. Do -2 and b have different values?
True
Suppose 3*r = 2*l - 12, 18 = -0*l + 3*l + 3*r. Are 6 and l unequal?
False
Let i = 2/55 - 13/55. Let l = 5 - 4. Which is bigger: i or l?
l
Let z = 49/12570 - -56727773/163410. Let i = z + -347. Let y be (-4)/6 - (-3)/(-9). Is i smaller than y?
False
Let g be (-5)/40 + 1 + -1. Let k be 0 - ((-1 - 0) + 0). Is k bigger than g?
True
Let j(v) = v + 7. Let q be j(-3). Suppose q*r = -3*l - r, -r = -3*l. Is l less than 0?
False
Suppose -9 - 1 = 5*f. Let h = f - -6. Let z be ((-2)/(-8))/((-7)/h). Which is smaller: z or 1?
z
Suppose w - 3*z - 133 = -8*z, 4*w - 515 = -3*z. Let i be w/120 - (-4)/(-10). Which is greater: i or 2/7?
i
Let n be (-3)/6 - 2/(-4). Suppose 4*l + n*l = 92. Suppose 0 = 3*r + 5*h + l, -3*r + 2*r + 19 = -5*h. Which is greater: r or -1/4?
-1/4
Let j be ((-14)/(-21))/(20/6). Let v = 7 + -3. Suppose -3*n = -1 + v. Which is greater: j or n?
j
Suppose -3*l + 6 + 3 = 0. Suppose l*r - 2 = 13. Suppose 2*p = 5*z - 6, 3*z + 2*p = -1 - r. Which is bigger: 2/3 or z?
2/3
Let c(u) = 4*u**2 + 3*u + 5. Let s be c(4). Suppose 2*m = -m - s. Let i be 16/18 - (-6)/m. Are 0 and i non-equal?
True
Suppose 0*t - 5*t + 20 = 0, 4*p - 56 = 4*t. Is p greater than or equal to 19?
False
Suppose -4*c + 0*h - 176 = -5*h, 0 = c - h + 43. Does c = -39?
True
Suppose -3*m + 1 = -2. Let h = -169/21 + 25/3. Which is bigger: m or h?
m
Suppose 4*l = 5*p + 8, 3*l - 8 = -5*p - l. Is p >= 0?
True
Let s be ((-132)/24)/(2/(-4)). Suppose -2*l = -l - 2*w + s, -l = 2*w - 9. Which is smaller: -2/37 or l?
l
Let o be (1/12)/(2/3). Suppose -3*l - 10 = -4*k, k - 5 = 3*l + 2. Which is smaller: o or k?
o
Let t = 6759782/5139145 + 226/10865. Let q = t + -34/43. Is q bigger than 2?
False
Let a = -16 - -16. Are 0 and a equal?
True
Let l = 1.572 - 1.5. Let r = 7.128 + l. Let g = r - 7. Which is greater: -1 or g?
g
Let y(m) = -5*m**2 - 3*m**3 + 3 + 4*m**3 + 0*m**3 + 7*m - 3*m. Let w be y(4). Are 5 and w equal?
False
Let t be 9/6*(4 + (-110)/15). Is t < -9/2?
True
Let w be (-9)/22 + 3/6. Is 0 smaller than w?
True
Let f = 0.02 + 9.98. Let r = 10.07 - f. Which is smaller: r or 0?
0
Let l(s) = -2*s + 2. Let o(a) = a**3 - 5*a**2 - 7*a + 9. Let b be o(6). Let h be l(b). Is -4 at least h?
True
Suppose 4*r + 20 = x, x + r = -7 + 2. Are x and -7/30 unequal?
True
Let j = -2.2 - -2.07. Let h = j - 0.07. Which is greater: -0.07 or h?
-0.07
Let l be (-9)/3*(-20)/6. Let s = l - 10. Does 1/4 = s?
False
Let s = -73/12 + 16/3. Do 1 and s have the same value?
False
Let w = 98.95 + -97. Let f = 0.1 - 0.05. Let m = w + f. Do m and 1 have the same value?
False
Let b = -13 - -10. Is -10 smaller than b?
True
Let l be ((-42)/35)/((-948)/15). Which is smaller: 2/7 or l?
l
Let h(v) = v**2 + 6*v - 8. Let a be h(-7). Let s(f) = -f - 1. Let b be s(a). Is b >= 1?
False
Suppose 0 = -4*x - x - 110. Let d = 14 + x. Are -7 and d non-equal?
True
Let f be 2/((-2)/(108/3)). Does -35 = f?
False
Let k be 1644/(-1107) - -1*2. Let u = -12/41 + k. Suppose -w = 2*w. Is w equal to u?
False
Suppose -4*d + j = -8, -5*d + 5*j - 5 = -0*j. Suppose d*s + 8 = -s. Which is bigger: 0 or s?
0
Let p = 18 - 10. Suppose -p*i + 4 = -4*i. Let q be (-1 - -3) + 100/(-45). Is i at least q?
True
Let n = -2/9 - 2/9. Which is smaller: n or 0?
n
Let h = 667 + -20679/31. Are 0 and h unequal?
True
Let r = -1 - -3. Let l be -8 - (-4)/r*1. Let k = l + 4. Which is greater: k or -4?
k
Let j(w) = -w**3 + 7*w**2 - 6*w + 2. Let m be j(6). Let r = 1133/9 + -126. Is m greater than or equal to r?
True
Let t = 5.85 - -0.15. Let x = t - 7. Which is smaller: x or 2/5?
x
Let p(t) = t. Let l be (1 - -2) + -1*2. Let s be p(l). Let f be 3/15 + (-8)/15. Is f at most as big as s?
True
Let h = -2 - -3. Let n = 399/16 - 25. Which is smaller: n or h?
n
Let q(a) = 9*a**3 + a + 2. Let d(u) = -5*u**3 - u - 1. Let z(g) = 5*d(g) + 3*q(g). Let p be z(1). Which is smaller: p or 4/11?
4/11
Let z be ((-30)/(-78))/(1 + 0). Let l = 67/39 - z. Is 0 <= l?
True
Let d = -5 + -12. Let f = d - -10. Let v = -4 - 3. Is v less than or equal to f?
True
Let f be 33/2 - (-3)/6. Are f and 17 non-equal?
False
Suppose -2*m + 1 = 5. Let x = 3 + 4. Let a be (-36)/(-28) + m/x. Are a and 1 non-equal?
False
Let p = -19 - -13. Let z be 2/p - 96/9. Which is smaller: -10 or z?
z
Let k be (-4)/6 - 85/(-15). Suppose 15 = k*o, 5*d = -0*d + o + 12. Are d and 3 equal?
True
Let t(r) = -r**2 - r + 14. Let n be t(0). Let j be (-4)/n + (-3)/(-7). Are 1 and j equal?
False
Let n be 5/20 - (-7)/4. Let v be 2/((-3)/6*n). Is -1 < v?
False
Let w = 8651/15 - 577. Let a = 1255049/60 - 20918. Let b = a - w. Which is smaller: -1 or b?
-1
Suppose -z - 3*z = -8. Suppose z*j - 6 = -0*j. Suppose 2*m = -j*m + 5. Is m at most 2/9?
False
Let n be (-30)/(-165)*((-21)/(-2))/3. Is 1 >= n?
True
Let w = -18.1 + 18. Let b = -2 + 2.4. Let a = b - 0.7. Which is greater: a or w?
w
Let w = 13 + -8. Suppose 7 = -3*n - w. Let c = 7 + n. Is c >= 3?
True
Suppose -5*p - 8 = 3*z - 110, 5*p = 15. Is 29 >= z?
True
Let z be ((-6)/7)/((-6)/4). Which is smaller: z or 2?
z
Let o(h) = 13*h**2 + 3*h - 3. Let q be o(2). Let r = 383/7 - q. Let m = 1 - 2. Is r less than or equal to m?
False
Let c = 2 + 1. Suppose -4 = 4*l + 4, 28 = 3*n - 5*l. Suppose 0 = -t + n*t, -4 = -4*q + 2*t. Does c = q?
False
Let k = 21563/21 - 1027. Which is greater: -1 or k?
k
Let f be (6/(-24))/(4/(-6)). Is f greater than 1?
False
Suppose 4 = 2*l + 2*l. Suppose 0 = 4*s - 3*s + l. Let v be 1*(0 + -1 - s). Is v > 2/9?
False
Let t be ((-24)/9)/(24/(-9) + 2). Let s = 3 + -2. Suppose 5*u - t = s. Which is greater: -1 or u?
u
Let k be (-128)/(-6) - (-8)/12. Suppose -4*o - 2*c + 116 = 0, 5*o - o + 5*c = 122. Suppose -4*r = -2*q + k, -5*r + o = -6*r + 5*q. Which is smaller: r or -4?
-4
Suppose -2*n = l - 16, n + 3*n = 2*l + 16. Suppose -y + 25 = -n*y, 4*x + 13 = -5*y. Suppose -j + 4 = x*j. Are 1 and j non-equal?
False
Let w be -26*3/(-3 - 3). Let x = -15 + w. Are -2 and x non-equal?
False
Suppose 0*c - 3 = 3*c - 3*t, 3*c = 4*t - 1. Let p be c/((-6)/2) - -2. Let j be p/(-3)*(-2 - -1). Which is greater: -2/9 or j?
j
Suppose 4*g = -3*u + 2, 5*u + 4*g - 9 = 3*g. Is u equal to 3/5?
False
Let l = -2.2 - 4.8. Is l != -1/2?
True
Let r = -5 + 8. Suppose -o + 3*o - 2 = 0. Let j be (0/(-1))/(o + 0). Is j less than or equal to r?
True
Suppose 14*w = -562 + 72. Is w at least -35?
True
Let x = 0.09 + 5.91. Let y = 6 - x. Which is smaller: y or 2/7?
y
Let r = -0.9 - -0.3. Which is greater: r or 0.1?
0.1
Let c(s) be the first derivative of -s**3/3 + 7*s**2/2 - s - 2. Let m = -3 + 10. Let n be c(m). Is -1 less than o