et l = 10 + v. Suppose -z + 3*c + 1 = 0, -5*z = -c + l + 7. Are -2 and z equal?
True
Let j = -0.028 - 26.972. Let s = 12 + j. Let y = 15.1 + s. Which is greater: -14 or y?
y
Suppose 6*d - 9 = 9. Let f be d + 1/3*8. Let b(o) = -8*o**3 - 1. Let g be b(-1). Which is smaller: g or f?
f
Let f be 0 + ((-20)/25 - (-654)/5). Is 126 smaller than f?
True
Suppose 4*k - 245 + 581 = 0. Suppose 0 = -13*h - 886 - 219. Which is smaller: k or h?
h
Let j(z) = -29*z + 77. Let v be j(7). Is -126 > v?
False
Let q = -1139/10 - -227/2. Is q < -105?
False
Let n be ((-28)/35)/(4/30). Let v be ((-12)/(-558))/(2/n). Let t be (-76)/12 + 2 + 4. Which is greater: t or v?
v
Let t(a) = a**3 - 5*a**2 - 2*a. Suppose 0 = 2*y - 10, 0 = 3*x + 2*y + 2*y - 35. Let g be t(x). Let h be 52/g + (-1)/(-5). Which is smaller: h or -4?
h
Suppose 7*t - 2*t = 45. Let b = 13.4 - 11.4. Is t smaller than b?
False
Let h = -6.592 - 10.408. Let q = 0.3 - -1.7. Which is bigger: h or q?
q
Suppose -4*p + 12 = -4*k, 0*k = -k - p + 1. Let n = k + -1. Suppose 3*q + 6 + 4 = 2*g, 0 = -4*g + 2*q + 4. Which is smaller: n or g?
n
Suppose 5*z = -12 - 8, -4*z = 5*y + 46. Which is bigger: y or 1?
1
Let c(t) = t**3 + 14*t**2 + t + 19. Let y be c(-14). Suppose 0 = 5*d - y, -5*b = -5*d - 0*d. Is -1/4 >= b?
False
Let d(c) = c**2 - 10*c + 8. Let n be d(9). Let z = 2 + n. Is z bigger than 2?
False
Suppose 5*k - v + 472 = 0, 3*v + 192 + 7 = -2*k. Let y = 294 + k. Let x = y - 801/4. Which is bigger: x or 0?
0
Let f be (10/4)/(9/(-36)). Let b be -1*5/f*-2. Which is bigger: b or -2/29?
-2/29
Let v(d) = -d**3 + 13*d**2 - 6*d + 64. Let a be v(13). Which is bigger: -6 or a?
-6
Suppose -2*j + 6*v - 8*v = -146, 5*j = 2*v + 365. Is j less than or equal to 74?
True
Let u = -786 + 790.67. Let a = u + 0.33. Let c = 1.1 + -0.1. Is a >= c?
True
Let c be -14*(12/(-2) + 4). Let d be (-6)/2 + (-2)/1 + c. Does d = 23?
True
Let c(j) = -2*j**2 - 64*j + 17. Let v be c(-33). Which is bigger: -52 or v?
v
Let h be (24/72)/(1/(-366)). Which is smaller: -3 or h?
h
Let w be (-92)/(-44) - 1 - 2. Let c be (-5)/((-375)/10)*-3. Is c < w?
False
Suppose -14*f = -5*f + 1323. Is -147 less than f?
False
Let f = -89022/2233 - -3/319. Is f greater than -40?
True
Suppose n - 4*z - 6 = -7*z, -n = 4*z - 10. Suppose b + 173 - 175 = 0. Let t be -11 + 9 - n/b. Which is smaller: 3/16 or t?
3/16
Let w be ((-10)/(-4))/((-2)/(-12)). Suppose w = -4*c - 1. Suppose 0 = -2*p - 3*n - 11, 3*p - 2*p = 4*n. Is p <= c?
True
Suppose 5 - 4 = f. Let k be (f + -1)/3*-1. Suppose 2*u + z - 1 = 0, -4*z + k = -4. Which is smaller: u or 2/9?
u
Let c be 334/14 - 1/(-7). Suppose 3*j - 21 = 48. Which is greater: j or c?
c
Let y be (-90)/(-112) - 12*6/168. Let d(p) = -p + 9. Let l be d(8). Suppose -3*x - l = 2. Which is smaller: x or y?
x
Let w = -410 + 467. Is -2 >= w?
False
Let s be (-3)/(-2)*10/255. Suppose 0 = -13*a + a. Which is bigger: a or s?
s
Suppose s = 4*m + 34, -5*s = m - 2 - 0. Let b be m/34*3/6. Let a be 1/1*-1 + 2. Which is greater: b or a?
a
Let z(u) = u**2 - 3*u**2 + 5*u**2 - u - u**3. Let p be z(3). Let g be (4 - 1)*(-1)/p. Is g >= 3/23?
True
Let a be (13 + -1 - 4)/((-2)/(-3)). Suppose -21*b + 20*b = -a. Is b at least as big as 13?
False
Let f be -6*2/3*1. Suppose 3*j - 8 = p + 7, -4*j = -p - 17. Let y be -2*p/f*2. Which is bigger: -10 or y?
y
Let h(c) = c**3 - 7*c**2 + 11*c + 7. Let d be h(5). Let r = 11 - d. Does r = -4/11?
False
Let r = -41 + 35. Let c = 0.03 - -0.07. Is c <= r?
False
Let v = 56 + -58. Let w be ((-45)/(-18))/(v - (-10)/4). Is 4 at least as big as w?
False
Let d = -153 + 1207/8. Let y = -91/24 - d. Which is greater: -2 or y?
y
Let j = 2549 - 2812. Is j at most as big as -263?
True
Let k = 24.3 - -31.7. Are -2 and k non-equal?
True
Suppose -56*q + 4 = -57*q. Let p(c) be the second derivative of -c**5/20 - c**4/3 - c**3/6 - 5*c**2/2 + c. Let h be p(q). Is h less than or equal to -1/5?
True
Suppose 14*w - 460 = 12*w. Let h be (-3)/(-12) - w/24. Let k = h + 10. Do 0 and k have different values?
True
Let p = -6.1 + -12.1. Let m = -18 - p. Let c = -0.7 - -1.2. Which is bigger: m or c?
c
Suppose 2 = -g + 50. Suppose p = -p + g. Suppose -4*c - 4*i = -p + 68, -5*c + 5*i - 55 = 0. Which is bigger: c or -10?
-10
Let l(z) = 2*z**2 - 46*z + 85. Let q be l(21). Is q greater than -14?
True
Let r = -30.053 + 30. Let j = r + 2.953. Which is bigger: j or -2?
j
Suppose 6*i - 4*i + 4 = 0. Let j be 4/(i/2*-2). Which is smaller: 4/5 or j?
4/5
Let t be (-2)/4*18/(-69). Suppose 51*r = 53*r - 4. Suppose -3*o - 12 = r*x, x + 4*x + 20 = -5*o. Which is smaller: x or t?
x
Let c(z) = -11*z - 109. Let q be c(-10). Which is greater: q or -2/573?
q
Let b = 308 + -2465/8. Is b at least -13?
True
Let t be 3/9*2*-3. Let g be 4/(-66) - (-9074)/(-6006). Which is greater: g or t?
g
Let k = 922 + -2553. Is -1630 > k?
True
Suppose 0 + 6 = 2*v. Suppose 0 = 2*x - 5*n + 2, -v*x - 2*n + 24 = 2*x. Suppose -b = -x*z - 22, 6*b - b - 25 = 3*z. Is 1 > b?
False
Let m(t) = -6*t**3 - t**2 - 9*t - 5. Let o be (12/4)/(-3)*2. Let i be m(o). Is 57 > i?
False
Let m(h) = 2*h**2 + 3*h + 2. Let o be m(-2). Suppose -3*w + 7 = -2*r, -r - 10 = o*r. Let i be (w - 0) + 28/(-36). Does i = 0?
False
Suppose 2*n = -5*g - 3 - 0, 5*n = -20. Are g and 7/26 non-equal?
True
Suppose -4*h + 64 = -224. Let s = -72 + h. Which is smaller: s or 7/13?
s
Suppose 116*h - 107*h = -9. Let l(v) = v**3 - 7*v**2 + 6*v - 1. Let s be l(6). Let g be 0/(s + -2 - -1). Do h and g have the same value?
False
Let j(r) = 47*r - 6. Let p be j(-4). Is p bigger than -194?
False
Let t(o) = -o**2 + 40*o - 24. Let b be t(12). Which is greater: b or 311?
b
Suppose -2*v - 3*v + 39 = 3*x, -2*v = 5*x - 65. Let b(i) = -i**2 - 11*i + 25. Let l be b(-12). Is l at least as big as x?
True
Let r be 4902/(-14) - (-8)/56. Let s be r/(-15) - (-6)/9. Let v be (-6)/s - 34/(-72). Which is smaller: v or -1?
-1
Let x be (-2)/3*60/(-2 - -4). Is -18 not equal to x?
True
Suppose -m - 23 = -5*m + 3*s, -2*s - 12 = -m. Suppose 0 = 5*c + g - 21, 3*c + 5 = m*g + 28. Suppose 0*n + c*n = -40. Which is smaller: -9 or n?
-9
Let m = 0.8 + -0.47. Let j = -11.67 - m. Let t = j - -13. Is t greater than -12?
True
Let d(t) = 5*t + 81. Let l be d(-18). Let m be ((-3)/(-4))/(l/21). Let r be ((-2)/5)/((-2)/(-10)). Is m at most as big as r?
False
Let n = -472 - -434. Are n and -46 non-equal?
True
Let r(p) = -9*p**3 + 4*p**2 - 2*p - 2. Let y be r(-2). Let f = y + -292/3. Which is smaller: -7 or f?
f
Let j be -4*(-3)/4 - 307. Let w be (-2)/8 + 20/j. Is 1 < w?
False
Let k = -64 + 68. Let q be k/(-6) + 2*(-138)/(-36). Which is smaller: q or 9?
q
Let k = 55.937 - -0.063. Let w = 55.9 - k. Which is bigger: w or -30?
w
Let f = 40 + -41.2. Let l = 2.2 + f. Which is smaller: l or -1?
-1
Suppose 0 = 116*x - 44*x - 39024. Is x smaller than 541?
False
Let z(j) = 4*j**2 + j - 1. Let p be z(1). Suppose -3*g - a = 25, -9 = 5*g - p*a + 27. Suppose 0 = s + 4*m - 5, -4*s - 13 - 12 = m. Is g equal to s?
False
Suppose -7*l = -3*l + 5*t - 28, 5*l = -t + 14. Let h = -4 + 10. Suppose 2*n - h = -n. Are n and l non-equal?
False
Let i be 515/(-90) - (-6)/27. Let j = 288.2 - 288. Are i and j non-equal?
True
Suppose -4*d + 22 = -2*s, -18*s = -14*s + 3*d. Which is greater: s or 3?
3
Let i = 757 + -749. Is i < 123?
True
Let m = 1 + 3. Suppose 3*b = 5*b + 5*j + 59, m*j = -5*b - 105. Which is greater: -16 or b?
-16
Let k be 2/(-4)*0*(-8 - -9). Suppose k = 2*d + 56 - 12. Is d not equal to -20?
True
Let s = 267 + -221. Which is smaller: s or 26?
26
Suppose -2*s + 6 = -s. Suppose 5*g - 39 = s. Suppose -5*i = -4*t - g, 4*i = t + 6 - 1. Is 4/3 greater than i?
True
Let o = 144 - 54.7. Let c = o - 89. Is 7 less than c?
False
Suppose 0*l + 88 = 4*l - i, 4*l - 68 = -4*i. Let u be (-27)/18*32/l. Which is bigger: -2 or u?
-2
Suppose v + 5*t - 33 + 12 = 0, -4*v = -t - 21. Suppose v = -5*o + 8*o. Let d be 1/(-3)*0 - 8/(-3). Do d and o have the same value?
False
Suppose 4024 = 5*a - a. Let d = a + -43260/43. Is d at least as big as -2?
True
Let h = -40011371/3220 - -12426. Let j = 3/140 - h. Let q = j + 55/368. Which is greater: q or 0?
q
Let c be ((-6)/56)/((-16)/184). Let y = 19/8 - c. Is 2/5 at least as big as y?
False
Suppose 7 = 3*y - 2*l, -10*y + 15*y = -2*l + 1. Is y less than 3/86?
False
Suppose -274*i = -273*i - 264. Do 790