 + (-1 - -5). Let h = u + -303/80. Is h at most -18?
True
Let z = 12 + -7. Suppose 9*p - 5*p - 32 = 0. Suppose -z*g = -g - p. Are 1 and g equal?
False
Suppose 0 = -8*z + 6*z + 288. Let s be 2*(z/4)/(-3). Let d be (-14)/(-6) + 32/s. Which is smaller: 7 or d?
d
Let w(h) = 3*h**2 + 12*h - 42. Suppose -9*y = -31*y + 66. Let c be w(y). Let m = 43 - 23. Is c >= m?
True
Suppose 5*w + 4*z - 33 = z, -w + 5*z + 1 = 0. Suppose -w*m = -4*m - 2. Let f be 182/(-52)*20/(-455). Which is smaller: m or f?
f
Let g(b) = 2*b**2 + 22*b - 31. Let m be g(-10). Which is greater: m or -48?
-48
Suppose -n + 5*x = -0*x - 27, n + 8 = -2*x. Let f be (-40)/6*6/4. Let c be 8/f*5/(-2). Is n != c?
False
Let t = -98 - -66. Let b = t + 32.1. Which is bigger: 6 or b?
6
Let k be 3/(-7) - 24/(-7). Suppose 0*j - k*j + 6 = 0. Suppose 2*q + 26 = -4*m, -2*q - 5*m + j*m = 24. Is -10 at most as big as q?
True
Let t be 4/(-18) + (-560)/(-90). Suppose -3*j = 3*k - 12, 2*k + 3*k + 22 = 2*j. Is j smaller than t?
False
Let c = 2.59 - -13.41. Let g = -1.7 + 22.7. Let x = c - g. Which is bigger: -0.2 or x?
-0.2
Let b be (16/(-40))/((-1)/(-5)*14). Is 31 <= b?
False
Let l(s) = -6*s + 8. Let m be l(1). Suppose -7*v + m = -5*v. Which is bigger: 5 or v?
5
Let b = -31 - -23. Let r be 2 + b + 1 + (-3)/3. Which is smaller: r or -5?
r
Let b(h) = -h**3 - 10*h**2 - 15*h + 11. Let u be b(-8). Suppose -u*x + 31 - 4 = 0. Is 7 greater than or equal to x?
False
Let g = 1/296 + 1771/1480. Let q = -4 + 6. Is q < g?
False
Let h = 19 - 4. Let c be (-2)/(-1)*h/(-6). Let v be (-1)/c - 132/(-15). Is 7 <= v?
True
Let y = 32 - 29. Let h be ((-36)/10)/(3/(-10)). Suppose -n - h = y*n. Is n > -2?
False
Suppose -5*u + 69 + 176 = 0. Suppose u*a - 12 = 50*a. Is -14 less than or equal to a?
True
Let z(d) = 18*d - 77. Let i be z(5). Is 11 less than i?
True
Let o(i) = i**3 - 45*i**2 - 45*i - 30. Let p be o(46). Which is bigger: p or 7?
p
Let n(r) = 7*r - 1. Let c be n(-1). Suppose 2*w = 8*w + 2652. Let k = -901/2 - w. Which is greater: k or c?
c
Suppose -2*v - 2*n + 60 = 0, 5*v + n = -23 + 193. Let c be (-21)/v + (-36)/(-10). Let r = -2 - -5. Is c less than or equal to r?
True
Suppose 0 = -4*r - 12, 3*r = -w - 3*w - 13. Suppose -3*f + 198 = 8*f. Suppose -f = -s + 7*s. Which is smaller: s or w?
s
Suppose -5*s + 4*d = -37, s = 2*d + 18 - 7. Is -23/7 at least s?
False
Let u(b) = -2*b. Let x be u(-5). Let c be (0/1)/(30/x). Let z(h) = -h**3 + 7. Let j be z(c). Is j less than 7?
False
Suppose -3*q + 87 = 4*p, -45 = -4*p - 5*q + 44. Let w = p + -25. Let z be 7 + (-5 - w)*0. Is z <= 9?
True
Let c be 399/(-1710) - 2*2/(-8). Is -1 not equal to c?
True
Let f = -1.14 + 1.44. Let v = -6272/19 + 330. Which is bigger: v or f?
f
Let y be (-4)/35*((-333621)/(-4))/9. Let m = y - -1059. Which is smaller: m or 1/2?
m
Let w = 24 + -18.7. Let l = -6 + w. Let x = -0.8 - l. Which is smaller: x or 0.3?
x
Let f be (((-780)/(-8))/(-13))/(3/(-6)). Suppose u - 25 = -3*l - 3*u, -65 = -4*l + u. Are f and l non-equal?
False
Suppose 0 = 10*s + 472 + 548. Is s at least as big as -101?
False
Suppose 0 = -4*o + 3*g + 5, 0*o + 4*g - 10 = -3*o. Let f be (-8)/5 + 2 - 33/(-55). Which is bigger: o or f?
o
Let f = 19 - -27. Suppose -f + 4 = -7*w. Let a = -13 - -20. Are a and w non-equal?
True
Let y = 7553/24 + -315. Is 0.1 at least y?
True
Suppose 65*a - 3807 = 4578. Which is bigger: 130 or a?
130
Let h = -49/381 + -2780/34671. Let l = h + -1/13. Let w = 0 - -1. Which is smaller: w or l?
l
Suppose -10*a = -23 - 7. Let c be (-2)/5*105/(-12). Let n = a - c. Which is smaller: n or -1?
-1
Suppose 5*i - 424 = -3*x, 3*i - 430 = -2*i - 5*x. Is i at least 83?
True
Let j be (-490)/(-98) + (-120)/2 + 0. Is j at most as big as -55?
True
Let t = -32 + 19. Let q = t + 20. Let m = -7 + q. Is m > -9?
True
Let a = 1046 + -1035. Let v = -25 + 11. Let i = a + v. Is 4/7 at most i?
False
Let s = -195 - -365. Is s bigger than -2?
True
Let c = -1220/143 + 92/13. Suppose -4*u - 2*v = -10, 5*u + 7*v = 4*v + 15. Which is smaller: c or u?
c
Let o(v) = -v**2 - 3*v + 21. Let j be o(3). Let z(g) = g**3 + 7*g**2 - g - 3. Let r be z(-7). Is j less than r?
True
Suppose 6*g + 420 = 2*g. Let k = 32254965/306394 + -3/27854. Let u = g + k. Which is smaller: -1 or u?
-1
Let x(q) = -12*q**2 + 32*q - 366. Let h be x(13). Is h less than or equal to -1979?
False
Let s = -0.1 + 0.1. Let o = 51 + -86. Let g = o - -31. Which is greater: g or s?
s
Let n(z) = -5*z**2 - z + 2. Let g be n(-2). Do g and -44/3 have the same value?
False
Let h = 0.33 + -18.33. Let d = -17.2 - h. Let g = d - 1. Is -0.1 <= g?
False
Let a be ((-6)/10)/(2/10) - 14. Let b be (-536)/32 - (2 - 3). Which is smaller: a or b?
a
Suppose -4*r + 2 + 3 = 3*u, -5*u = r + 3. Let o be 0 + r*-2 + (-100)/(-26). Let w = -4 - -6. Which is bigger: o or w?
w
Let h be (-2 - 0)*-1 + -3. Let v = 4 - h. Which is greater: v or 7?
7
Suppose 95*u - 151*u = 0. Let g be ((-2)/(-22)*-1)/(-1). Is g != u?
True
Let g(m) = -57*m + 312. Let a be g(5). Is 41 > a?
True
Let p(z) be the second derivative of z**5/120 - 7*z**4/8 - 4*z**3/3 + z. Let v(i) be the second derivative of p(i). Let c be v(8). Is -13 at least c?
True
Let j = 2151 + -1929. Is j less than or equal to 219?
False
Let k = -41 + 50. Suppose k*d = -2*d. Is 4/5 bigger than d?
True
Let k = 312 + -674. Let j be k/(-258) + (-12)/9. Which is smaller: 1 or j?
j
Let g = -876 - -875.87. Is g >= -50?
True
Let z = -161 + 198. Suppose -5*j - 32 + z = 0. Which is bigger: 3 or j?
3
Suppose 4*j = 2588 - 3128. Are j and -134 non-equal?
True
Let n be 1 - 4 - ((-18)/(-2))/(-3). Are 0.06 and n equal?
False
Let o(t) = -48*t**2 - 37*t + 1. Let w be o(-2). Is w greater than or equal to -116?
False
Suppose -4*d + 264 = 4*g, -266 = -4*d + 3*g - 6*g. Suppose -5*t + d = 18. Let r be 2/(-2)*-1*10. Is t at least as big as r?
True
Let d = 571/44 - 162/11. Let o be (-6)/4 + (-9)/18. Is o greater than d?
False
Let o = -265 - -264.73. Which is greater: o or -0.2?
-0.2
Let m = 38.2 + -36. Let b = -0.8 - m. Which is greater: 0.27 or b?
0.27
Let c(n) = n + 13. Let f be c(-9). Let t be (-1)/(-3 - (2 - f)). Let p be (2 + -5 - -2)*t. Does -2 = p?
False
Suppose -24 = -7*w + 4. Suppose -w*j + 15 = -d, -2*d + 7*j - 10 = 3*j. Is 0 > d?
False
Let m = 1322 + -1321. Are m and 22/111 equal?
False
Let i = -838/3 + 279. Are i and -66 nonequal?
True
Let w = -744 + 743. Let s be 38/4 - (-2)/(-4). Which is greater: w or s?
s
Let y = -118 + 475/4. Suppose -29*j - 59 = 28. Which is bigger: j or y?
y
Suppose -3*c - 3*c = 0. Let q(p) = 2*p**3 + 4*p**2 + 3*p + 1. Let a be q(-2). Let z be (a/(-7))/(2/4). Which is smaller: c or z?
c
Let z(f) = -f**3 + 5*f**2 + 17*f - 10. Let g be z(8). Which is bigger: -472/7 or g?
g
Suppose -b + 16 = 4*y, 2*y - 8 = -2*b - 6. Which is bigger: -6.1 or b?
b
Let w = 105173/19 + -5534. Which is smaller: 0 or w?
0
Let z be 3/1*2/2. Let y = 128 + -116. Suppose 0*o = -z*o - y. Are -4 and o unequal?
False
Suppose -3*s = 3*g + 6, 0 = -4*s - 0 - 16. Suppose 0 = 5*d - g*d - 60. Is 15 greater than d?
False
Let i be (-5 - (-8 - -3))*6/(-24). Which is bigger: 1/1450 or i?
1/1450
Let l(f) = -2*f**3 - f**2 + f + 1. Suppose 0 = -3*x, k + 4*x = -0*k - 1. Let a be l(k). Let i = 2 - 2. Which is smaller: i or a?
i
Let k = 4775/7 + -681. Let t be (98/4)/(1*1/(-2)). Let i = t - -49. Are k and i non-equal?
True
Suppose 6 = k - 24. Suppose -17*t = -12*t - k. Is 6 bigger than t?
False
Let v be 9/((-10)/(-2) - (-23)/(-4)). Is -16 < v?
True
Let l = -56 - -36. Is -23 at most l?
True
Let s(h) = 4*h + 4. Let t be s(1). Let f(c) = c + c - 41 + 19. Let p be f(15). Is p < t?
False
Let h be (2/4)/((-3)/102) + 2. Are -10 and h equal?
False
Suppose 4*i = -20, -4*v - 18 = 4*i - 2. Is v != 1/1153?
True
Let x be (-49)/(-12) + -1 - (12 - 7). Is x != -1?
True
Suppose 2*q + 6 = 24. Let y be ((-39)/(-15) - 2) + 3487/55. Suppose 0 = 5*r + 24 - y. Is r less than or equal to q?
True
Let b(w) = -2*w + 16. Let j be b(20). Let l = j - -25. Which is greater: l or 2?
2
Let p(r) = r**3 + 5*r**2 - 4*r + 16. Let m be p(-6). Suppose m*a + b = 1, 2*a + 3*b = -3*a + 10. Which is smaller: a or -15/8?
-15/8
Let d = 240 + 22. Which is smaller: d or -0.1?
-0.1
Let d = 3/224 + -71/13664. Which is bigger: 0 or d?
d
Suppose 5*i - 2*b = 5, 3*b - 20 + 5 = 0. Let q be (-5)/i - (17 - 19). Is q b