, -6*d = -5*d. Which is smaller: 7 or l?
7
Let x = -547 + 582. Suppose -4*f - 104 = 4*h, 0 = 2*h + 5*f + 67 - 3. Let d = x + h. Which is bigger: d or 12?
d
Suppose 4*t - 10 = q, -q + t = 5*t - 22. Let f be 4*-6*1/(-6). Is f >= q?
False
Let z be (-12)/(-48) + 14/8. Suppose 3*t + 23 = 2*x + 63, z*x = -4*t - 26. Suppose -4*k + 0*k - 71 = 3*j, 3*j - k + 46 = 0. Is j < x?
False
Suppose -s = -3 - 12. Let m = s + -15. Suppose -4*j + 2*t + 6 = m, -3*t = 2*t + 15. Is 5 < j?
False
Suppose 0 = 1478*z - 1481*z - 1128. Are z and -378 equal?
False
Let x be (-10)/(-68)*1/(-5). Let l(h) = -5*h**2 + h + 4. Let c be l(1). Is c equal to x?
False
Let p(n) = -n**3 - 3*n**2 + 2. Let i be p(-3). Suppose -3*w + 27 = -3*j, -2*j - 4 = 4*w + i*j. Suppose -w*u = -9*u + 3*h + 30, 0 = -3*u - h + 4. Is 4 at most u?
False
Suppose 5*l - 4*w = -61, 0*w + w + 5 = -l. Let p be 16/88 - l/11. Is 7/3 greater than p?
True
Let u = -432 - -430. Is u not equal to -3?
True
Suppose -6*i + i = -10. Let a be 1*(22 + 10/i). Which is smaller: 26 or a?
26
Let a = -1351212202/2145 + 8188212/13. Let i = -363/5 - a. Let o = -4/11 + i. Which is smaller: o or -3?
-3
Let n be (-1)/4*(38 - 46). Let m = 2.7 + -0.5. Let r = -3.1 + m. Which is greater: r or n?
n
Let f = -32 - -35. Suppose -f*q = -0*l - 2*l + 48, -q - 16 = -2*l. Is -15 bigger than q?
True
Let g = 216 - 217. Let k(x) = -x**3 - 3*x**2 - 2. Let c be k(-3). Which is greater: c or g?
g
Let m = 54 + -25. Suppose 3*v - 6 + m = -4*l, 2*v = 3*l + 13. Is v less than or equal to 6/13?
True
Let o = -0.5 + 0.66. Let d = -11.16 - -11. Let z = o + d. Do z and 12 have the same value?
False
Let j = 1079/68 + -63/4. Is -5 greater than j?
False
Suppose 0 = -2*n + 4, n + 14 = -2*s - 2*s. Let c(t) = -2*t - 15. Let l be c(-6). Let m = s + l. Which is smaller: -8 or m?
-8
Let o = -199.9 + 197.9. Is o at most as big as -21?
False
Let z = 64 - 18. Suppose -4*p + x + x + z = 0, -3*p + 33 = -x. Is -1 at most p?
True
Let x = -161 - -160.875. Are x and 0.1 equal?
False
Let l(p) = p**2 - 14*p - 22. Let t be l(10). Let w = -73 - t. Which is bigger: -67/6 or w?
w
Let y(b) = 2*b**3 - 4*b + 3*b + 3*b - 2 - 3*b**3 + 2*b**2. Let z be y(2). Let v be (z/(-6))/(-3 + 2). Is v greater than -1/3?
True
Let s be 20/(-60) + -1 + (-1598)/(-798). Let g = s + -10/19. Which is bigger: -1 or g?
g
Suppose -l + 1 = 5*r, -31*r + 29*r = 2*l + 30. Which is smaller: -17 or l?
l
Suppose 4*g + 0 = 4. Let i be g - (2 - -1)/(-3). Which is greater: i or 9/8?
i
Suppose 3*p - 56 = -4*t + p, 2*p + 16 = 2*t. Let g(z) = -3*z + 6. Let s be g(t). Let a = 32 + s. Which is smaller: -2 or a?
-2
Let z be 90/24 - (-4)/4 - 5. Is z at least 31?
False
Let m = -132 + 48. Let g = m - -83. Is g != -6/53?
True
Let n(g) = -4*g + 8. Let o be n(2). Let f be 9/(-3) + o + (-75)/5. Which is smaller: f or -20?
-20
Let c = -0.205 + 0.22. Let v = c + -0.415. Which is greater: 1 or v?
1
Let x be -6 - (33/(-6) + (-7)/14). Suppose 4*v - 4 = 0, v + 2 - 9 = 3*i. Let y be ((-3)/198)/(i/8). Is y equal to x?
False
Let w = 30 + -13. Let f = -16 + w. Is -4 smaller than f?
True
Let c be -5 - -4 - 6/(-4). Let o = 27 + -27. Suppose -5*n + 5*t - 28 + 123 = o, 3 = -t. Is c greater than or equal to n?
False
Suppose 20 = -h + 5*h. Let a be (-5)/10 - h/2. Which is greater: -4 or a?
a
Let v be (-6 - 3194/(-532))*1. Which is bigger: 1 or v?
1
Let p = -856622/175 + 4895. Which is smaller: p or -1?
-1
Let m = -81 + 92. Suppose m*y + 2 = -9. Let b = 1 + -1. Which is bigger: y or b?
b
Let a be (-1)/(-3*(-4)/(-264)). Let z = 13 - a. Are -9 and z equal?
True
Let k be 3/6 - (-134)/(-28). Let b = 17/14 - k. Suppose -4*t + 2 = 2*o, t - 15 = -5*o + 8. Is o at most b?
True
Suppose -20 - 5 = i. Suppose 0 = c - 4, l + 64 - 19 = 5*c. Is l greater than or equal to i?
True
Let p be (1 - -66)*(29 - 18). Which is smaller: p or 0.1?
0.1
Suppose t = 4*t + 9. Let v(l) = -l - 5*l - 3*l**2 + 2*l**2 - 7. Let u be v(-2). Is u at most as big as t?
False
Let f = 22 - 13. Suppose -f*v = -4*v - 50. Which is smaller: v or 9?
9
Let t be (-10)/6 - (-3)/(-9). Let i be (10/4)/((-1)/(-8)*2). Suppose -5*k - v = -3*k + 4, -5*k - i = 2*v. Is t at least k?
True
Let f be -5 - ((-30837)/8814 + (-9)/6). Is f at least as big as 0?
False
Let h be 2 + -3 + -8 - 3. Let j be (-3)/(-3) + 16/h. Let n be 36/272 + (-2)/(-17). Is j at most as big as n?
True
Let r = -3 - -4. Suppose -r = -0*l + l. Let y = -25/174 - 20/29. Is l greater than or equal to y?
False
Let p be (3/(-15))/((-3)/2). Let g = 2014.6 - 2014. Is g at least p?
True
Let b(f) = 2*f**3 + 2*f**2 + 69. Let v be b(0). Is 68 at most v?
True
Let g(b) = b**2 + 2*b + 25. Let n be g(-6). Let u = n + -46. Is u at most 3?
True
Let n = 215 + -216. Is n <= 4/253?
True
Let h = -2262 + 2261. Which is bigger: h or -2/2063?
-2/2063
Suppose 4*c + 16 - 4 = 0. Let v be 2 + 12/c + 4. Suppose 3 = -5*q - 2. Are q and v equal?
False
Let o = -14 - -14.01. Which is greater: o or -0.018?
o
Let o(f) = 7*f**2 - 6*f - 2. Let d be o(-3). Let z = d + -61. Is 17 smaller than z?
True
Let g be 0 + -3 - (2 + -56 + -3). Suppose 3 - g = 17*t. Is 18 < t?
False
Let q(n) be the third derivative of n**5/60 - 11*n**4/12 + 5*n**3 - 4*n**2 - 1. Let j be q(15). Is -74 bigger than j?
True
Let x(s) be the first derivative of -s**2 - 11. Let d be x(-1). Let w be 0*(-1)/d*-1. Is 6/7 at least w?
True
Let w = 58 - 29. Let r = -28 + w. Are -1/193 and r non-equal?
True
Suppose 3*d - 5*j + 1336 = 0, -5*d + 3*j - 2*j = 2256. Are -449 and d equal?
False
Let x = 118 + -68. Let s = x + -49. Are s and 0.038 equal?
False
Let h = 267 - 266.9. Let l = 1 - 12. Is h greater than l?
True
Let z be (16/(-30))/(6 - 168/30). Let b(h) = 5*h**2 + 2*h + 1. Let a be b(-1). Suppose -5*n + 3*n - a = 0. Is n >= z?
False
Let v be 48/(-56)*455/(-5044). Is v greater than or equal to 1?
False
Suppose -5*w = j - 117, -30*w - 4*j + 31 = -29*w. Are 23 and w equal?
True
Let r be (16/(-6))/((-30)/855). Let j = r + -62. Suppose a = 3*h + 6, 47 = 5*a + 2*h - 17. Which is smaller: a or j?
a
Let z = 43 - 30. Suppose -2*v - 58 = 2*v + 2*n, -v + n - z = 0. Are v and -14 non-equal?
False
Suppose 0 = -67*q + 200 + 738. Let y(u) be the second derivative of u**4/12 - u**3/6 - 3*u**2 + 2*u. Let m be y(5). Is q less than m?
False
Let s = -9006/5 + 1793. Suppose -w - 7 = k, -3*k + 4*w + 14 = -5*k. Which is greater: s or k?
k
Suppose 5 - 1 = 4*t. Let n = 4 + t. Is 3 >= n?
False
Let u = -83 + 911/11. Suppose a - w - 7 = -0*w, -w = -3*a + 17. Suppose 2*g + 10 = 5*y - 3*g, a*y = -g - 8. Which is greater: u or y?
u
Let d = -17 + 21. Let z be (-66)/(-14) + 2/(d/(-6)). Let n = 0.8 + -0.8. Is n < z?
True
Let h(b) = -b + 1. Let c be h(1). Suppose -3*w + 36 - 9 = 0. Let p be w/21 + 2/7. Is c greater than p?
False
Let c be -1 + -67 + (4/4 - 0). Let z = c + 73. Which is smaller: z or 8?
z
Let n(g) = g**3 - 3*g**2 + 1. Let s be n(3). Let u(m) be the first derivative of m**4/2 - m**3/3 + 24. Let q be u(s). Which is smaller: q or 6/19?
6/19
Let f(k) = 2 + 1 - 10*k + 5 + k**2. Let c be f(9). Which is smaller: -1.2 or c?
-1.2
Let s = 102.1 + -102.2. Which is smaller: s or 244?
s
Let y be (3 + -13)*2/(-10). Let p = 6 + -5. Suppose p - 7 = -y*q. Which is smaller: q or 6?
q
Let f = -7 - -11. Let p(u) = u**2 - 4*u - 1. Let z be p(f). Suppose -6 = -39*n + 33*n. Which is smaller: n or z?
z
Suppose 3*q - 6 = 2*r - q, 4*r + 2*q = -42. Let p be 9/141*6/r. Is 0 bigger than p?
True
Let w be 4 + (-938)/252 + 4/18. Which is smaller: w or -141?
-141
Let a(f) = -f**3 + 19*f**2 - f + 6. Let t be a(19). Let z = t - -14. Which is smaller: z or -2/23?
-2/23
Let r(v) = -69*v - 822. Let s be r(-12). Suppose 0 = -3*j - 5*o + 2, 0*j - 16 = j + 5*o. Suppose 0 = 2*d - 3*p - 5, -d - p + j = 4*p. Are d and s unequal?
True
Suppose 48 = 4*q - 5*h, q - 2*h - 12 = -0*h. Suppose 0*l - q = -2*l. Which is smaller: 1 or l?
1
Let t = 1358 - 1369. Are t and 6 unequal?
True
Suppose 19*i = -3*i - 1562. Does i = -71?
True
Let r(x) = x**2 + 18*x + 20. Let p be r(-18). Which is smaller: 21 or p?
p
Let s be ((-4)/(-6))/((-2)/12). Let f be ((-16)/20)/(s/(-10)). Let x be f*-1*(-4)/(-8). Which is bigger: x or -1?
x
Suppose 5*l + 3*q = -0*l + 1310, -752 = -3*l + 5*q. Do l and 0.1 have different values?
True
Let k(j) = 57*j + 56. Let f be k(-2). Which is smaller: -62 or f?
-62
Let i = 