3 less than or equal to d?
False
Suppose 5*m - 20 = 0, 31*z = 29*z - 3*m + 10. Let g(s) = -3*s**2 + 5*s + 6. Let j be g(5). Let b be 1/(-2) - 10/j. Is b at least z?
True
Let a(z) = -8*z**2 - 4*z - 10. Let v be a(7). Which is greater: v or -432?
v
Suppose 2*o - 245 - 29 = 2*z, -3*z = -2*o + 272. Is o >= 139?
True
Let t = 1529 + -126909/83. Let p be (-22)/18 - (-18)/81. Is p < t?
True
Let i be (-29)/10 - -3 - (-590)/100. Is 27 >= i?
True
Let j = -0.58 + 15.58. Let n = 26 - j. Let g be (-22)/(-30) + 2/(-5). Which is greater: g or n?
n
Let c = -14.2 - -4. Which is bigger: c or -1?
-1
Let q = 20.7 + -21. Are 11 and q nonequal?
True
Let m be (63/14)/((-2)/(-4)). Which is smaller: 52/5 or m?
m
Let m = 117 - 125. Let v be (-2 - (-8 + -2))*-1. Let u = m - v. Which is greater: u or 2/3?
2/3
Suppose 33*n - 441 = 12*n. Which is greater: n or 20?
n
Let i be 4 - (0 - 0)/3. Suppose -2*x - 9 = -x + 5*n, -i*n - 11 = -3*x. Let d be (-2 + (x - -2))/5. Which is smaller: 0.3 or d?
d
Let u(y) = -5 + 0*y**2 + y**3 - 1 - y + 8*y**2. Let c be u(-8). Suppose h = -3*i + 9, -h + 6 = 2*i - 5*h. Are i and c equal?
False
Suppose 3*c = -2*c - 4*f + 82, -46 = -2*c + 5*f. Let d be 12/c + 2/(-9). Which is smaller: 1 or d?
d
Let q = 134 + -111. Is q smaller than 28?
True
Let r(v) = 9*v - 190. Let u be r(19). Which is smaller: -22 or u?
-22
Suppose -2*p = 26 + 4. Let l = 24 + p. Let j be 87/l + 6/(-9). Is j at most 9?
True
Let p be -4 + (-9)/(-3) + -20. Let r = p + 18. Let l be 1 + r*(-10)/(-45). Which is bigger: -3/7 or l?
l
Let x = -15 - -19. Suppose -d - 5*v = 2, -2*d - 2*v = 2*v + x. Is d less than or equal to -4?
False
Suppose 3*f + 88 = 7*f. Let h = f - 26. Let y be -4 - ((-1710)/213 - h). Is 1 != y?
True
Let b = 63 - 20. Let m = -26 + b. Which is greater: m or 20?
20
Let v = 333 + 55. Which is bigger: v or 386?
v
Let y = 2217 + -97531/44. Let u = y + -7/11. Which is bigger: u or 3/5?
3/5
Suppose -4 = -2*a + a. Let b be ((-54)/126)/((-6)/a). Is -0.02 greater than or equal to b?
False
Let a(x) = -6*x - 23. Let n(b) = 7*b + 24. Let m(f) = -6*a(f) - 5*n(f). Let j be m(-16). Let p be 1/1*j/1. Which is smaller: 2/3 or p?
2/3
Let t(m) = 6*m + 6. Let p(l) = -5*l**3 + 4*l**2 + 6*l + 1. Let h be p(-1). Let i be t(h). Which is smaller: 31 or i?
i
Let o = -25 + 49/2. Let m = o - -1/6. Which is greater: 2/5 or m?
2/5
Let a(w) = -w + 1. Let t be a(-4). Suppose 3*c - 3*l + 88 = 8*c, 0 = 3*l + 12. Let p = -15 + c. Is t greater than p?
False
Let p be 1/(-2) - (1655/20 + 4). Let z = -89 - p. Which is greater: z or -3?
z
Let g be 1/((-2)/8) - (-54126)/13485. Let m(j) = j**2 + 2*j - 3. Let f be m(-3). Is f bigger than g?
False
Let l = -567 + 566. Is l != 1/144?
True
Suppose 1 = -u + 4*b, u - 4*u = -b - 8. Suppose -u*o = m + m + 20, -4*o + 3*m - 38 = 0. Which is smaller: o or -6?
o
Let c = -4586 + 3042. Is c equal to 1?
False
Suppose 0*b = 3*b + 60. Let l(j) = -2*j**3 - 5*j**2 - 13*j - 1. Let s be l(-2). Let z = b + s. Is z less than 10?
True
Suppose -17*p + 11*p + 30 = 0. Which is greater: p or 22?
22
Let u = 5 - 16. Let b = 17.2 + -1.2. Let c = b + u. Which is smaller: 0.1 or c?
0.1
Let v = 1.62 + -1.15. Let i = v + 29.53. Which is smaller: 0.2 or i?
0.2
Let w(b) = 3*b + 5. Let h be w(-2). Let v be 6/3 - (-2 + h - -4). Is v bigger than -4/15?
True
Let x be (-1)/(-18)*6*69. Which is smaller: -2 or x?
-2
Let z = 51 + 4. Let i = -3316 + 3371. Is i at least as big as z?
True
Let o(x) = -43*x - 457. Let l be o(-7). Which is bigger: 0.1 or l?
0.1
Let j = -3 + 1.6. Let u = -0.6 + j. Let b = u - -5. Which is greater: -2 or b?
b
Let k(p) = -p**2 - 46*p - 132. Let o be k(-42). Which is smaller: o or 35?
35
Let h = -2 - -7. Suppose 0 = -5*j - 5 - 10. Let l be j*(-23)/12 - 6/4. Which is smaller: l or h?
l
Let c = 95 - 90. Suppose -c*b + 35 = -30. Which is bigger: 4 or b?
b
Let y = 20 + -7. Let c = 13.1 - y. Which is bigger: c or -1/2?
c
Let j = -3 - -2.8. Suppose -4*t + 6 = -2*t. Suppose -t*u + 8 = 5. Do j and u have different values?
True
Suppose -2*z - 101 = 5*j - 527, z = j + 199. Is z at most as big as 200?
False
Suppose -3*f = 2*f + 5*f. Is -7/129 less than or equal to f?
True
Let c = 20 - 9. Suppose -11 - 154 = -15*f. Is f equal to c?
True
Let y(u) be the second derivative of u**3/2 - 9*u**2/2 + 4*u. Let s = 28 - 25. Let z be y(s). Which is smaller: z or 4/19?
z
Let n be ((-16)/4 - 2) + (-6750)/(-480). Is n at most 7?
False
Let n be (-9)/((-18)/(-16)) + 6 + 1. Which is bigger: -33/29 or n?
n
Suppose -5*a - 4*l = 49, -5*a + 3*l - 26 = 16. Let n be (-1*3/a)/((-3)/9). Which is bigger: n or -13/12?
n
Let c = 713 - 279. Which is greater: 433 or c?
c
Let n(m) = 26*m**2 - 35*m**2 + 3*m**3 + 12*m + 3 - 4*m**3. Let j be n(-10). Which is greater: -18 or j?
j
Let x = 1590 - 1589. Which is smaller: x or 109/4?
x
Let r = 0.009 + 21.991. Let j = -3.2 - r. Let n = -25 - j. Which is greater: 0 or n?
n
Let f(w) = -w**2 + w. Let v be f(-1). Suppose 3*u + 18 = 5*t, 0*u = -2*u - 5*t + 13. Let s be -5 - u/((-4)/(-12)). Is v at most s?
True
Let f = -67 - -70. Suppose 0*l - 2*l - f*g = 39, 5*g = 5*l + 110. Suppose 4*j = -3*d - 68, 111 = -4*j - 2*d + 39. Which is smaller: l or j?
l
Let m(o) = o + 8. Let j be m(-6). Let q be 1 + (j + 1 - 3). Let d be (-720)/184 - (1 - 5). Is q greater than or equal to d?
True
Suppose 5*h - 21 - 29 = 0. Suppose -2*n - 8 = -18. Let b be n/(-3)*2*-3. Is h bigger than b?
False
Let n be 47/156 + (-3)/12. Let a = 20 - 36. Let x(s) = -s**3 - 17*s**2 - 17*s - 17. Let p be x(a). Which is smaller: n or p?
p
Suppose 2*x - u - 2 + 3 = 0, 3*x + u = -4. Let r be 17/(-76) + x/(-4). Which is greater: r or 0?
r
Let u = -88 - -51. Let o = u - -38. Let m = 0.9 + -0.5. Do m and o have the same value?
False
Suppose -55*t + 60*t = 40. Let f be t + -4 + -86 + 2/(-1). Which is bigger: f or -83?
-83
Let c be ((-2)/(-4))/(-2*3/780). Let w = c - -457/7. Which is greater: w or 1/28?
w
Let b = -2067 + 18623/9. Is b greater than or equal to -2/3?
True
Let m = 816/5 + -2404/15. Is m <= 3?
True
Let s be 1/(4/5*(-6)/(-24)). Suppose -5*q + 5 = s*c, -10*c = -5*q - 8*c - 2. Which is greater: q or 4/13?
4/13
Let x be 3 + (-2 - -2)/2. Suppose 2*p + x*y = -0*p - 2, 0 = -4*p - y + 6. Let h be -4 - -8 - (-1 - -2). Is p less than h?
True
Let o be (6/(-4))/((-3)/6). Let v = o + 3. Let l be (((-12)/9 - 1) + -4)*-1. Which is bigger: l or v?
l
Let k(u) be the third derivative of u**6/120 - 7*u**5/60 - u**4/4 + 5*u**3/3 + 10*u**2. Let b be k(7). Are -32 and b equal?
True
Let k be 1 + (-2)/4*0. Let u(c) = 0*c**2 + 4*c**2 + 6*c - k - c - c**3. Let t be u(5). Which is greater: t or 8?
8
Let g be ((-21)/(-27) - 1) + (-8)/126. Which is bigger: -1/71 or g?
-1/71
Let a = -45.7 + 40. Let b = 1.3 - a. Let j = b + -6.3. Is 0 >= j?
False
Suppose -3*q + 0*q = -150. Suppose 0*n = 2*w - n - 8, -4*n = 5*w - 46. Suppose -c = -w*c + q. Is c bigger than -0.1?
True
Let p be (-6)/14 + 177/413. Is p > -2/859?
True
Suppose 0 = 19*i - 87*i - 128*i + 3724. Let s = -1151/2 + 593. Are i and s unequal?
True
Let p = 41980/207 - 11130/23. Let l = p + 282. Which is bigger: 1 or l?
1
Let j = -119 - -114. Is -30/7 <= j?
False
Let k = 99 + -80.6. Let l = k + -18. Is l != 2?
True
Let v = -417 - -343. Is -74 greater than v?
False
Let k(s) = s**3 + 5*s**2 + 3*s - 4. Let o be k(-3). Let q = 7 - 1. Suppose o*a - 1 = -u, q*u + 17 = a + 2*u. Is a bigger than 7/3?
False
Let a(o) be the first derivative of -o**2/2 - 4*o - 1. Let s be a(-7). Suppose -s = 5*i + 2. Are -2 and i equal?
False
Let o be ((-4)/(-6))/((-1)/6). Let j = o - -18. Let u be 16/j + (0 - 2). Is u less than or equal to -0.2?
True
Let w(d) = -29*d + 45. Let l be w(3). Is l >= -42?
True
Suppose -g = 2*p - 106, 9*p - 5*p = 3*g + 202. Which is bigger: 51 or p?
p
Let l = -34 + 20. Let a = -14 - l. Are -4/5 and a nonequal?
True
Let h = -31/2 - -15. Let d = -63 - -62. Which is smaller: d or h?
d
Let r be (6/(-15))/((-1)/10). Suppose -368 = -r*g - 4*g. Which is greater: g or 47?
47
Let b = -2225/3 - -31057/42. Is -2 smaller than b?
False
Let n(m) = -m**3 - 19*m**2 - 35*m - 21. Let y be n(-17). Let p = 36 + -51. Let i = 11 + p. Is y at least i?
True
Let i be 12*(-3)/(-9)*4. Let t be (-176)/i*1*-1. Which is greater: 39/4 or t?
t
Let y = 685.36 - 684.9. Let r be 0/2 + 4/(-6). Is r at most y?
True
Let k = -30115/18 