 -8*g = -53 - 459. Let d = g + -60. Let c be (-12)/(6/d - 3). Which is bigger: 5 or c?
c
Let j = -35 + -35. Let y = j + 68. Let l be -1 - (-2)/10*-1. Is l <= y?
False
Let z be -103*(0 + 4) + (-324)/(-18) + -19. Is z bigger than -412?
False
Let n be 548*(35/(-10))/(-7). Suppose -5*g = -1084 + n. Are 161 and g non-equal?
True
Suppose 29*m = 14 + 44. Suppose 0 = 5*l + m*n + 80, -5*n + 18 = -5*l - 62. Do l and -29/2 have the same value?
False
Let s = -700/51 - -495/34. Is -379 <= s?
True
Suppose 0 = -c + 3*d - 1865, 4*d + 10534 - 1095 = -5*c. Are c and 2 equal?
False
Let y = -98 + 98. Suppose 5*z - r + 33 = -y*z, 5*z = -4*r - 43. Suppose -3*n - 16 = 2*a, 3*a - a + 6 = 2*n. Is z less than a?
True
Suppose -y + 107 = -267. Let x = y + -392. Do x and -18 have the same value?
True
Suppose 0 = -4*f + 2*p - 314, 0 = 5*p - 2 - 3. Suppose -5*n + i - 9 = 0, -3*i = -4 + 7. Let m be (79/n)/(63/14 - 4). Which is smaller: f or m?
m
Let w = 0.7 + 2.6. Let z = w + 33.7. Let t = -36 + z. Which is greater: t or -7?
t
Suppose 24*a - 30*a = -54. Let q be 54/(-135) + a/40. Is 0 bigger than q?
True
Let k(y) = -y**3 + 5*y**2 + 3*y - 10. Let l be k(4). Suppose -l*x - 1 - 17 = 0. Let d = -21715/29393 - -3/1547. Is x greater than or equal to d?
False
Let h(k) = k**3 + 8*k**2 + 30*k + 45. Let j be h(-7). Let z(d) = 2*d**2 + 7*d + 6. Let a be z(6). Let w = j + a. Which is smaller: w or 4/7?
4/7
Let h(w) = -w**2 + 9. Let s be h(10). Let m = 2775 - 2864. Is s greater than or equal to m?
False
Let i = 65 - 82. Let x = i - -17. Let m be (1 + x - -1)/(-6). Are m and -2/19 non-equal?
True
Let d(v) = v**2 - 7*v. Let h be d(6). Let c(n) be the first derivative of -n**3/3 - 2*n**2 - 15*n + 242. Let p be c(h). Is 0.1 at most as big as p?
False
Let f = 15.164 + -11.264. Which is bigger: f or -71?
f
Let a = 2 - -10. Suppose 2*y + 99 - 193 = -80. Is y at least a?
False
Let n(q) = -4*q + 33. Let h be n(7). Suppose 2*d = 5*m + 143, -5*d + h*m + 155 = -165. Let f = d + -48. Which is bigger: 5 or f?
f
Suppose 4*b = 2*b - 8*b. Let z = 23 - b. Let s = -29 + z. Which is smaller: -31/6 or s?
s
Let h(o) = 1466*o - 80629. Let i be h(55). Let u = -40.62 - -41. Which is smaller: u or i?
u
Suppose g + 5*j - 60 = 0, 0 = -g - 3*g - 4*j + 240. Suppose -3*i + 36 = g. Which is greater: i or -5?
-5
Let z(n) = 2*n**2 + 30*n + 57. Let r be z(-2). Let f be 6 - (-12)/(-3) - -3. Is r at least as big as f?
True
Let x = 29/97 - 2608/1261. Let g = x - -16/13. Which is greater: g or -1?
g
Let m = -192 - -956/5. Let t = -613 - -612. Is t < m?
True
Suppose 5*i - 5330 = 5*w, -4*w - 2122 = -0*i - 2*i. Suppose 5*h + i = 111. Let f be -5*(h/105 - -2). Which is bigger: -1/3 or f?
-1/3
Let v(w) be the second derivative of 5*w**3/6 + 13*w**2 + 30*w. Let j be v(-9). Let b(t) = -t**3 - 19*t**2 + 2*t + 25. Let h be b(j). Which is smaller: -9 or h?
h
Let w be 1/(-5)*7*-3. Suppose 3*f + 831 = -3*l, 2*l + 1238 = -3*f + 411. Let y = -269 - f. Is y <= w?
True
Let o be 21460/(-1078587) + 6/237. Do o and -0.1 have the same value?
False
Suppose -4*h = -2*h. Suppose 4*b = -t - 5239, -2*b - 2632 = -t - t. Let d be 24/228 + 1 + 1335/b. Does d = h?
False
Suppose -3*n + p + 428 = -3*p, 3*p = 5*n - 706. Suppose n = 5*d - 2*a - 0*a, a = 4*d - 112. Which is smaller: d or 34?
d
Suppose -3*n = 3, -5*u + 821 = -3*n - 1182. Suppose u = -55*a + 45*a. Which is bigger: -34 or a?
-34
Let c(u) be the second derivative of -u**4/3 - 5*u**3/2 + 6*u**2 - 3*u - 1. Let v be c(-4). Is 8 at most as big as v?
True
Let o be (-68)/(-18) + 4/18. Suppose 5*l + 87*t - 3060 = 85*t, -2*l = -5*t - 1195. Let n = l - 7932/13. Is o > n?
True
Let r be ((-6)/(-18))/(1/3). Let y be 237/(-591)*10 + 4. Do y and r have the same value?
False
Let z = 285 - 502. Let m = z - -217.018. Which is smaller: -2 or m?
-2
Suppose -3*d - 2 = -2*d. Let l be -2 - (-2)/(d + 3). Suppose -15*y + 10*y - 90 = l. Is 1/3 greater than y?
True
Suppose -11*l + 8*l = 4*t - 122, 5*t - 156 = -2*l. Let o = t + -27. Suppose 3*g = o - 2. Are g and 1/31 non-equal?
True
Let w be 0 + 0 - (-31 - 2). Suppose w = 10*d - 17. Suppose -d*g - g = -6. Which is bigger: -2/125 or g?
g
Let d(q) = -15 + 5*q - 5 + 26. Let g be d(0). Suppose g*k = 3*k. Which is bigger: 1/32 or k?
1/32
Let d be 195/2730*(6 - -1). Which is bigger: -131 or d?
d
Let j = -0.0138 - 2.6162. Let g = -2.73 - j. Which is smaller: g or 163?
g
Let d(v) = -v**2 + 122*v + 581. Let p be d(42). Which is bigger: p or 3938?
p
Let n be (7 - -5825) + -9 + 18. Which is smaller: n or 5843?
n
Let o = -8300.716 - 15.284. Are o and -0.1 non-equal?
True
Let p be 275/132 + (-2)/16*2. Suppose 0 = 3*j + w + 4*w + 4, -3*j = -3*w - 36. Suppose -3*v = 2*o - 13, o = -3*v - j + 18. Which is smaller: p or v?
p
Let y be 57585/(-618585) - 1*(-6)/69. Let p = -87 + 437/5. Which is greater: y or p?
p
Let o = 0.1 + -0.1. Let i be (36/(-112))/((-60)/(-21)*-3). Let u = 29/80 + i. Do o and u have the same value?
False
Let f be (-4)/(-22) - (1800/220 - 8). Which is smaller: -2/3231 or f?
-2/3231
Let o be (-18)/22 + 6 - (-8)/(-44). Suppose -54 = 3*f - o*n - 36, 2*n - 2 = -4*f. Which is greater: -122 or f?
f
Suppose j - 538 = 42*j + 1963. Which is smaller: 4 or j?
j
Let j = 695 + -460. Let x = -15509/66 + j. Which is smaller: x or 1?
x
Let p = 44442046/27 - 3246305383/1971. Let r(a) = a**2 - 31*a + 13. Let o be r(-20). Let s = p + o. Which is greater: s or 0?
s
Let w(n) = n**2 - 4*n - 5. Let d be w(5). Let t = 3432432/65 + -265674/5. Let f = 328 + t. Which is greater: f or d?
d
Let d = 6 - 3. Let z = 21221511160727/1094548 - 542874669/28. Let j = 2/3007 - z. Is j equal to d?
False
Let s = -13348 + 93438/7. Which is smaller: s or 1/39?
1/39
Let t be (-150)/(-220) - (-8)/(-16). Which is smaller: -0.152 or t?
-0.152
Let f = -0.664 + -121.336. Let d = f - -241. Do 0.1 and d have different values?
True
Let r = 9709 - 106797/11. Are -174 and r unequal?
True
Suppose 0 = 2*y + 3*g - 4, 2*g + 14 = 4*y + 5*g. Suppose 3*b - 62 = -k, -y*k - 5*b + 54 = -4*k. Which is greater: k or 76?
76
Let c be (-20904)/21 + (-252)/(-588). Is -994 not equal to c?
True
Suppose 221*f - 218*f = 18. Suppose f*z - 5*z = 2*p + 2, 3*p - 3*z = -6. Is -2/235 <= p?
True
Let b = -319 + 479. Let f = 439 - 281. Suppose -38 = f*k - b*k. Which is greater: k or 20?
20
Let q = 53 - 45. Let l = -10.7 + 11.7. Is l bigger than q?
False
Let g(s) = -53*s**2 - 8*s + s**3 - 48*s**2 + 99*s**2. Let c be g(-2). Which is smaller: 4/75 or c?
c
Suppose t = 4*b - 4216, 6*t - 4*b = 10*t + 16824. Let s be (5/20 + 1100/t)/2. Are s and -1 equal?
False
Let o = -754 - -756. Suppose -o*v - 1 = 3*m, -12*v + 7*v = 2*m - 3. Are 15/44 and m equal?
False
Let k be (-2)/12*(-2058)/49. Let x(p) = -p**3 + 4*p**2 - 3*p + 4. Let q be x(3). Suppose 11*t = q*t + k. Which is greater: -5 or t?
t
Let p = 1061/4081 - -15/583. Is 4/55 equal to p?
False
Let o = -15.926 + 16.726. Which is smaller: o or 1/298?
1/298
Let x(v) = 24*v - 39. Suppose 92*g - 48 = 88*g. Let q be x(g). Let k be 1*(2 - 501/q)/(-1). Is -1 > k?
False
Suppose 25 = -3*g + 5*n + 9, 4*n = g + 10. Suppose 0 = y - 3*y + 4, 72 = -3*l + 3*y. Let q = l - -19. Is g not equal to q?
True
Let s(f) be the second derivative of f**4/12 - 5*f**3/6 - f**2 + 30*f. Let n be s(6). Suppose 0 = -n*a - 2*t - 2, -5*a - 5 = 5*t. Which is smaller: a or 4/23?
a
Let v(g) = -g**3 - 8*g**2 - 2*g. Let l be v(-4). Let d be l/(-14) + 25*-5. Let r = -101 - d. Is 23 <= r?
False
Let r = 29906/9 + -3318. Let w be 0 + (-1)/7 - (-258)/42. Which is greater: r or w?
w
Suppose 5*m = -p - 959, -3*p + 725 = -4*m + 3640. Let n = p - -1005. Which is bigger: n or 258/7?
258/7
Let c = 0.54 - 0.24. Let o = -83 - -88. Let q = o + -13. Is q not equal to c?
True
Suppose 20 = -5*p + p, -2*b + 5*p + 47 = 0. Let i be (-2)/b + 2 + (-96)/(-44). Suppose 2*s - 5*t - 166 = 0, -3*t + 444 = i*s + 86. Are s and 87 unequal?
True
Let x = 213185878393/8684 - 24549272. Let c = x - -3/167. Suppose -v + 2 = 3*l + 3, -2*v - 7 = l. Is l greater than or equal to c?
True
Let d(i) = i**2 + 20*i + 101. Let u be d(-14). Suppose -u*k + 13*k - 238 = -2*p, -k - 5*p = 76. Which is greater: -121/2 or k?
-121/2
Let b = -1646 + 1647. Let f = -1.13 + 1.1. Which is smaller: b or f?
f
Let u = -407.708 - -407. Let b = u + 0.77. Is -0.1 at least as big as b?
False
Let r(n) = n**2 +