*b + g = -5, 7*g - u*g = -5*b + 18. Suppose -l = b*l. Are 2 and l equal?
False
Let l = 4.42 + -4.379. Does -2 = l?
False
Let p be 1040/240*(0 + -147). Are p and -638 non-equal?
True
Suppose a - 29 - 19 = 0. Which is bigger: a or 46?
a
Let o = -77.49 + 6.49. Is o greater than 7?
False
Suppose 5*k - 5*g + 10*g = 10, k - 2*g = -4. Suppose k = -2*o + 3*o. Let y be o + (0 - 4 - 1). Is y < -4?
True
Let b = 7 - -3. Let j = b + -11. Let q = -1.1 - j. Is q greater than -11?
True
Let p(t) be the first derivative of t**5/60 - 3*t**4/8 + t**2 + 4. Let v(h) be the second derivative of p(h). Let u be v(9). Which is bigger: -1 or u?
u
Let o = -59.8 - -56. Let p = o - -5.5. Which is smaller: -2/3 or p?
-2/3
Suppose 0 = -j - 3*y + 81 - 14, 2*y = 2. Is 64 < j?
False
Let h be (-6)/(-8)*148552/(-186). Which is smaller: -600 or h?
-600
Let a = -234 - -245. Let u = -0.054 - 0.046. Is u less than or equal to a?
True
Let v = -4.9 - -8. Let d be -3*(-8)/(-72)*-3. Is v equal to d?
False
Let r = 8 + -5. Let x = -83 + 43. Let z = x - -39. Is z smaller than r?
True
Suppose 3*b - 13 - 29 = 0. Let p be 19 + -18 - b/12. Is 0 bigger than p?
True
Suppose -a - 1 = 2*n, -3*n + 0 = 6. Suppose 0 = 5*g, -3*g - 56 + 14 = -a*h. Let q = h + -16. Is q <= -5/9?
True
Let i = -48 - -57. Let r be i/15 + -4 - 3/(-1). Which is smaller: r or -0.15?
r
Let h(j) be the first derivative of j**3/3 + 5*j**2/2 - 6*j - 1. Let n be h(-5). Suppose -3 + 15 = -6*s. Which is smaller: n or s?
n
Let c = 0.3 + -0.1. Let l = 4 - 5. Let f = -1 + l. Is c equal to f?
False
Suppose 0 = -137*n + 156*n + 152. Is -71/10 smaller than n?
False
Let j = 97 - -473. Let h be (-3)/2*40/j. Let i = 104 - 105. Which is smaller: h or i?
i
Let w be -2 - (-1)/(-3)*0. Let a be (-36)/(-12) - 2/(164/242). Is w >= a?
False
Let c(k) = k**2 + 8*k + 10. Let m be c(-6). Suppose 6*b - 9 = 3*b. Let i be (-16)/b + (11 - 8). Is i greater than m?
False
Suppose -12 = v - 3*v + 2*a, a = -2. Suppose 0 = -v*d - 4, 0*d - 7 = -5*i - 3*d. Is 11/6 > i?
False
Let m = 71.8 - 69.8. Which is greater: -3.2 or m?
m
Let v = 408 + -407.9. Which is smaller: -0.18 or v?
-0.18
Suppose 0 = a - 8 - 2. Let z = 322 - 314. Is a at least z?
True
Suppose 0 = 4*p + c - 4, 2*p - 4*p + 4*c + 20 = 0. Let y(r) = 8*r. Let s be y(p). Does 15 = s?
False
Suppose -623 = -38*i - 167. Do i and 4 have different values?
True
Let i be ((-75)/(-30))/((-10)/(-24)). Suppose -5*d = 3*z - 18, -i = -4*d + 2*d. Is 1/20 < z?
True
Let z = -24651/9485 + -2/1897. Which is smaller: z or -19?
-19
Let o = 10 - 21. Let u be o/6*(-1 - 2). Let z be (90/(-36))/(2/(-4)). Is u > z?
True
Suppose 0 = -9*g + 11*g + x - 244, -4 = -x. Which is greater: 121 or g?
121
Let z(g) = g**3 + 7*g**2 + 7*g + 9. Let o be z(-6). Suppose 0 = 3*a + o + 12. Let f = 231 - 473/2. Which is bigger: a or f?
a
Let f(p) = -p**2 - 24*p - 131. Let v be f(-12). Which is greater: v or 18?
18
Let k(j) = -j + 1. Suppose 2*n = -6 - 0. Let w be k(n). Suppose 0 = -5*h + a + 39, 32 = 4*h + w*a - 4. Is h less than 8?
False
Let t = -82 + 47. Let y be t/15*(-2)/7. Suppose 5*v - v - 6 = 2*q, -1 = -3*v - 2*q. Does y = v?
False
Suppose -2 = -r - 1. Let i be (-152)/474 - r/(-3). Let s = i - 239/158. Is 1/2 >= s?
True
Let t = -664 - -682. Is t greater than or equal to 2?
True
Let o be (-5)/((-70)/(-4)) - 15272/18725. Let d = -28/25 - o. Is 1 bigger than d?
True
Let a(z) = z**3 + 10*z**2 - 7*z + 6. Let h be a(-11). Let i = h - -41. Which is smaller: 5 or i?
i
Suppose 19 = -b - 5*h - 33, 2*b + 3*h + 90 = 0. Let n be ((-12)/18)/(4/b). Let o(a) = a**2 - 21*a - 13. Let i be o(22). Which is smaller: i or n?
n
Let l = 39205/52 - 754. Let g = -33413/14 - -868655/364. Let q = l + g. Is q greater than 1?
False
Suppose -w = -42 + 44, -5*i - 2*w = 104. Let j be 10/((0 - -1)/(-2)). Are i and j non-equal?
False
Let u be 3*((4/12 - 3) + 2). Let c be 2/(-2 + 0/u + -1). Which is bigger: -1 or c?
c
Suppose -12 = -q - 3. Let d be 5/(5/(-3))*120/q. Which is greater: d or -0.1?
-0.1
Let u = 36528023/2491 + -14664. Let k = u - 729860/7473. Let h = k + 96. Does 2/5 = h?
False
Let i = -0.284 - -0.384. Which is greater: -2/201 or i?
i
Let b(r) = 17*r - 164. Let u be b(11). Is u at least 28?
False
Let d = 0.028 - 29.928. Let g = -30 - d. Which is bigger: g or 0.09?
0.09
Let g = 9803/49065 + 2/9813. Let f = 26.17 - 26. Which is smaller: g or f?
f
Suppose 3*v + 6 = -2*l, 4*l + 12 = 6*v - 2*v. Does v = 5/51?
False
Let w be 19 + 169/(-13) + (-4 - 1). Which is greater: -8/171 or w?
w
Let f = 368.43 - 368. Do f and 0.1 have the same value?
False
Let t be 2470/(-7761) + ((-10)/(-15))/2. Which is bigger: t or 1?
1
Let b = 20.3 + -22. Let v = 49 + -48.7. Let h = v - b. Which is smaller: h or -2?
-2
Let r(i) = i + 12. Let u be r(20). Let j = -28 + u. Let h be (-4)/(-2)*j/(-268). Which is smaller: 1 or h?
h
Let t(l) = 2*l**3 + 7*l**2 - 10*l + 10. Let z be t(-6). Is z bigger than -109?
False
Let i = -3 + 4. Let l = 4.5 + -8. Let t = l + 3. Is i < t?
False
Suppose 3*k - 3*i = -4*i - 118, k + 5*i = -44. Let h be (k/6)/((-6)/(-12)). Let q be (1/3)/(4/12). Are h and q nonequal?
True
Suppose 24*m = 69*m + 180. Let w = -0.4 + 0.3. Let h = 0.1 + w. Is m at least h?
False
Let a = 326 + -330. Let p = 1 + -1. Let z be (-4)/a + p + -3. Are -2 and z equal?
True
Let d be (9/(-33)*-1)/(-1). Let c = -36 - -31. Let q = c + 5. Which is greater: d or q?
q
Let y be 10/(-14)*56/(-224). Which is smaller: y or 1?
y
Let m = 0.57 + 4.63. Let b = 8.8 + -12. Let d = m + b. Which is smaller: d or 1?
1
Let y(k) = -6979498*k - 2. Let d be y(-7). Let z = -114568463754/2345 + d. Let q = -132/35 - z. Which is smaller: q or -1?
-1
Let t(g) = -g**2 + 5. Let p be t(-2). Let r be p*2/2*4. Suppose -3*v = -0*v - 12. Do v and r have different values?
False
Let s be 1/(4/(-4))*-4. Suppose -2*t + t = s*b + 129, 0 = -2*b - 5*t - 69. Which is bigger: -33 or b?
b
Let t = -1/350 + 177/12950. Let d = t - -356/1295. Which is smaller: d or -20?
-20
Suppose -f - 23 = -a + 2*a, 46 = -2*f + 2*a. Let c = f - -15. Which is greater: -3 or c?
-3
Let d(k) = k**3 - 7*k + 17. Let a be d(-7). Are -1 and a unequal?
True
Let r(l) = 28*l**2 - 6*l + 20. Let k be r(5). Which is smaller: 0.1 or k?
0.1
Let f = -36 + 39. Let m be f/(-28)*-1*(-63)/(-6). Which is smaller: 1 or m?
1
Let c be (10/(0 - -1))/(8/(-16)). Let q(g) = -3*g - 49. Let y be q(c). Is 11 greater than or equal to y?
True
Let z be (-3 - (-26)/12)*3050/125. Is -21 <= z?
True
Let b = -43/4 + 2959/276. Let i(l) = 3*l**2 - 11*l - 5. Let g be i(4). Which is smaller: g or b?
g
Let t = 0.1265 + 0.1735. Which is smaller: t or -316?
-316
Let p = 2.9 - 3. Suppose 0 = 10*t + 31 + 9. Is p > t?
True
Let y = -104 + 114. Is y bigger than 106/11?
True
Let r(z) = 11*z - 1. Let o(m) = 44*m - 5. Let d(b) = -2*o(b) + 9*r(b). Let w be d(3). Let h be 1/(-11) - w/187. Is h equal to -1?
False
Let v be 4*1*27/(-12). Let a(m) = -m**3 + 17*m**2 - 29*m - 18. Let w be a(15). Which is smaller: w or v?
v
Let h(f) = -2*f**2 + 10*f - 2. Let t be h(3). Let o be (-490)/(-42) - (-4)/(-6). Which is smaller: o or t?
t
Suppose -2*f + 45 = -45. Suppose -3*u + 0*u + 3*q = f, -2*q = 3*u + 25. Let m = -15 + 5. Which is smaller: u or m?
u
Let z = 20 + -11. Suppose 2*p = 2 + 2. Suppose 3*m = v + 3*v - 29, 2*v - p*m = 14. Which is greater: v or z?
z
Let z = 1778.04 + -1778. Which is smaller: z or -1/94?
-1/94
Let m(j) = 2 - j - j**2 + 2*j**2 - 11. Let z be m(4). Which is smaller: z or 18/11?
18/11
Suppose 3*i - 11 = -65. Let k be (-62)/(-4) - i/12. Which is smaller: 16 or k?
16
Let n be (-82)/(-287) - (-2)/((-28)/(-374)). Is n greater than 18?
True
Let t = -27 - -30. Let z be t*1 + 76/44*-2. Which is greater: 1 or z?
1
Let l = -10 + 16. Let q be 2/(-3) + (-20)/l. Let h be q - (2 - 464/77). Is -1 at most h?
True
Suppose -5*d = 4*y - 90, -y - 18*d = -14*d - 28. Let a be 17 + (-1 + 0 - -3). Let l = 2 + a. Which is smaller: l or y?
y
Suppose 0 = 10*n + 4761 + 479. Is n greater than or equal to -524?
True
Let k be (-13)/(-143)*(-12)/(-44)*1. Which is bigger: 2 or k?
2
Let n be (-8)/(-52) + (-478)/910. Let i = n + -1/5. Which is bigger: -2 or i?
i
Let t(o) = -o**3 - 6*o**2 - 8*o - 7. Let c be t(-5). Suppose 0 = 7*x - 2*x - 5*l - 10, l - c = -x. Suppose 3*u - x*u = -64. Which is smaller: 31 or u?
31
Let b be (-6)/(-15)*20*(-7)/77