e
Let y = -44 + 18. Let n = y + 30. Let l = -3 - -2. Which is smaller: l or n?
l
Suppose a + 0 = -5*m - 5, 0 = 3*a + 4*m + 15. Let c be (-1)/3*0/a. Suppose 5*z + 5 = -c. Which is smaller: z or -1/17?
z
Let u(p) = 21*p - 106. Let a be u(5). Is a less than or equal to 3/137?
True
Let k = -94303/25 - -3770. Let y = k + 99/200. Which is bigger: y or -1?
-1
Suppose 41*z = 98*z - 1254. Which is smaller: 18 or z?
18
Let d = -14 - -13. Let g = -14 - -13. Let w = d - g. Is w less than or equal to 9?
True
Let c(l) = -l**3 - 10*l**2 - 23*l - 14. Let z be c(-7). Which is smaller: -5/62 or z?
-5/62
Let a be (-4815)/1890 + (-1)/((-14)/(-4)). Is -2 equal to a?
False
Let q be 505/(-55) - (-4)/22. Suppose 5*r + 3*p - 2 - 11 = 0, -6 = -2*r - 2*p. Suppose r*h = 5*u + 40, 5*u - h = -0*h - 45. Which is bigger: q or u?
q
Let b = 82 + -83. Let o = -0.4 + 0.4. Let v = 4 + o. Which is smaller: v or b?
b
Suppose 0 = -k + 1, -2*p = -7*p + k + 54. Suppose -y + p + 3 = 0. Do 0 and y have the same value?
False
Suppose -4*i + 3*l - 1284 = 0, 642 = -2*i + 13*l - 15*l. Which is greater: i or -323?
i
Suppose -m + 256 = 5*r - 2*m, 3*r - 176 = -5*m. Let o be r/(-17) + 2 + 1. Suppose -3*u + 4*y - 4 = 0, 0*u = -3*u - 5*y + 5. Which is smaller: u or o?
o
Let i be 0 + 0 - 12/(-25). Let z be (6/15)/((-31)/(155/2)). Is z less than or equal to i?
True
Let s(y) = 11*y - 33. Let g be s(3). Let z = -38/2553 - 8/111. Which is greater: g or z?
g
Suppose -26 = -10*a - 3*a. Suppose a*w + 78 = -2*o, -w - 6 = -3*w. Is -42 greater than o?
False
Suppose -4*n + 12 = 4. Suppose -3*t + 5 = -n*t. Suppose t*f - 5 + 0 = 0. Which is greater: -1/17 or f?
f
Let u(l) = l**2 - 15*l - 8. Let g be u(13). Suppose -2*k = -202 + 70. Let w = k + g. Is w bigger than 32?
False
Let x be -11 - -12 - 4/(3984/1012). Which is greater: x or -1?
x
Suppose 10 = -2*i, -4*a + 4*i - i = -99. Which is greater: 24 or a?
24
Suppose -4*i = -3*w + 28, -4*w + 3 = -3*i - 11. Let k be (i/(-3))/((-2)/6). Which is greater: -9 or k?
-9
Let f = 14.79 - 15. Let j be (-7)/(-4)*2*1 + -4. Is f greater than or equal to j?
True
Let s = 1.9 + -21.9. Which is greater: 2/11 or s?
2/11
Let a = 17/270 - -1/27. Let h = -292 - -293. Are h and a non-equal?
True
Suppose -3*z + 0*z - 4*o - 16 = 0, 0 = -2*z + o + 4. Let u be -5 + 3 - (z - 0). Let d be u/(-9) - 260/36. Which is bigger: -8 or d?
d
Suppose 8*d = 4*d + 16, 0 = 3*s + 2*d - 11. Let z = -333/1750 - 3/125. Which is smaller: z or s?
z
Suppose -4*f + 14 + 10 = 0. Let j = 8 - f. Suppose -18 = j*x + 4*m, 2*m + 2 = 5*x - 13. Are 3/4 and x unequal?
True
Let h(o) = 11*o**3 - 4*o**2 + 6*o - 4. Let c be h(3). Is c < 276?
True
Suppose 3*n = 3*q + 102, -2*n = -4*q - 14 - 54. Is 34 bigger than n?
False
Let s(d) = -d**3 + 4*d**2 + d - 3. Let l be s(4). Let o be (-2 + l)*(-30)/(-3). Let i = 1498 + -1508. Is o < i?
False
Let y = 296.36 - 392.2. Let r = -96 - y. Is r at most -0.1?
True
Let j(v) = -100*v - 4. Let h be j(2). Let g be (1 - 14/10) + h/(-60). Are g and 2 non-equal?
True
Let l = 1 + 3. Let p be (-1)/((-1)/(30/l)). Let o = -4 + 11. Which is greater: o or p?
p
Let w = 65 - 51. Let p = 4/207 - -5995/414. Which is smaller: w or p?
w
Let z = 65.8 - 78. Let h = -12 - z. Which is greater: -0.19 or h?
h
Let i = -16.06 + 16.06. Is 68 equal to i?
False
Let d be 23748/(-86592) - (-9)/33. Is -1 less than d?
True
Let b = 841.12 - 841. Does -4 = b?
False
Let r be 1/(-3)*6/21. Suppose 5*c - 29 = 6. Suppose -2*h = -x + c, 2 + 8 = x - 3*h. Is r at most x?
True
Let t = 32 + -40. Let r be (-6)/t + (-1595)/132. Which is greater: r or -11?
-11
Let h(l) = l**3 + 31*l**2 - 2*l - 95. Let t be h(-31). Is t greater than or equal to -33?
True
Suppose -26*t = -25*t - 1. Let w be (-2*t - 0) + (-10)/(-2). Is 3 greater than or equal to w?
True
Let b be (-6)/2 + (7 - -1). Suppose -b*o + 0 = 5*r + 30, -r + 3*o - 14 = 0. Let k be (-20)/(-30) + (-26)/3. Is r > k?
False
Let z be ((-52)/(-2))/(16/6 - 2). Let g be z/(-15) + (-2 - -4). Suppose 2*p - 2*r + 3 = -5, 2*r - 11 = 5*p. Do p and g have the same value?
False
Let s be 0 + (-1)/((-14)/6). Let f be ((-3)/(9/12 - 0))/(-2). Suppose -f*b + 6 = 4. Which is smaller: b or s?
s
Suppose -5 = -0*c - c. Suppose -2*l + 5*x + 103 = 0, -c*l - 2*x + 249 = -6*x. Suppose -11*r = -4*r - l. Which is bigger: -1/4 or r?
r
Suppose 0 = 42*f - 37*f - 440. Suppose 92 - f = y. Is y at least as big as 7?
False
Let r be 27269/1809 + (-6)/81. Is -0.14 at least as big as r?
False
Let r = 2 - 15. Let j = 16 + r. Let d = j - 1. Is d >= 5?
False
Suppose 2*y = -4, 0 = -4*n + 6*n - 2*y - 76. Let x be (-1)/2 - (-90)/n. Suppose -3*h - 5 = 2*h, 0 = -x*q + 4*h + 14. Is q at most 17/4?
False
Suppose 15*q - 12*q - 3 = 0. Suppose -2*w = -0*w - 30. Let a be 4/w*18/4. Is a at most as big as q?
False
Let w = 137 + -128. Let h(x) = 6*x**2 + 2*x**2 - 3*x**3 + 2*x**3 + 7*x + 2. Let s be h(w). Which is smaller: s or -17?
-17
Let r = -447/341 + 35/31. Are -1 and r non-equal?
True
Suppose 0 = -265*t + 311*t + 46. Is t <= 2/5685?
True
Let b be (-27)/((-68850)/1120) + (-2)/5. Let d(v) = -v**2 - 5*v. Let f be d(-5). Is b bigger than f?
True
Let k be -2 + 112/52 - 680/(-312). Let c(l) = l + 2. Let a be c(-8). Let v be 3/9 - 10/a. Is v at least k?
False
Let v = -33 - -69. Suppose 2*z = -2*z - v. Let g = z + 13. Is g greater than or equal to 4?
True
Let g = 3.7 - 2.8. Let n = 6.1 + g. Is 0 != n?
True
Suppose -2*y + 6*y = 0. Let t = 2 - y. Suppose p = 2*f - 14, -t*p + 2*f - 4*f - 46 = 0. Is -19 >= p?
True
Suppose 0 = 24*c - 27*c - 915. Is -306 bigger than c?
False
Let u = -3.92 - -3.9. Let c = 33 + -34.9. Let h = -2 - c. Is h not equal to u?
True
Let z = -1044 - -1029. Let l be 4/14 - 300/21. Is l > z?
True
Let j = -5/29 - -157/406. Suppose s + 4*s + 3*g = 1, 2*s - 6 = -4*g. Which is smaller: s or j?
s
Let t(i) = i**3 + 4*i**2 + 2*i - 4. Let a(g) = -g + 12. Let u be a(15). Let d be t(u). Is d less than 2/21?
True
Let p(t) = -2*t**3 - 35*t**2 - 46*t + 31. Let a be p(-16). Is a bigger than 2/395?
False
Let w = -24 - -9. Let o = 21 + w. Let t be -2*o/8*8. Does t = 1/3?
False
Let u be (-5)/(2*3/(-6)). Suppose -3*d - 2*y + 10 = 0, -y - 16 = -u*d - 4*y. Suppose -n + d*i - 34 = n, -5*n - 77 = -i. Is n greater than -14?
False
Let y = -148 + 149. Suppose 5*t = -0*t - 30. Let h be (-1)/(-3) + 2/t. Which is greater: h or y?
y
Let h be 18/(-4)*(-4)/(-6). Suppose 2*d - 20 = 4*j, 0 = -5*d - 0*d + j + 5. Let z be (h/21 - d)*4. Which is smaller: 0 or z?
z
Let l = 52975/1844 - -10/461. Let s = l + -1263/44. Are 0 and s unequal?
True
Let v(k) = 2*k - 6. Let z be v(-5). Let c be (-1)/(-4) - (-36)/z. Let q be (6/(-4) - c)*0. Are q and 1/4 nonequal?
True
Let w be ((-6)/(-9))/((-2)/6). Suppose -v + 16 = v. Suppose -2*f - 2*z - 8 = -z, 2*f + v = -4*z. Is f equal to w?
False
Let s(v) = 3*v - 16. Let t(d) = -3*d + 17. Let k(w) = -2*w + 2. Let f be k(4). Let a(l) = f*s(l) - 5*t(l). Let r be a(10). Is r not equal to -19?
False
Suppose 148 = 22*d - 18*d. Suppose 4*t - 16 = 0, 5*v + 2*t + 0*t = -d. Which is greater: v or 3?
3
Suppose 9558*c = 9562*c + 148. Is c bigger than -25?
False
Let a be (-1*(-4)/(-27))/(645/258). Which is smaller: 0 or a?
a
Let b = -35 - -26. Let j be 9*5/30 - b/(-10). Which is smaller: -6/13 or j?
-6/13
Let c(v) = 30*v - 2. Let y be c(1). Suppose 4*g = 8128 - y. Let j = g - 58719/29. Does j = 0?
False
Let m be (8/(-5))/(8/40). Suppose -d + 5*p = 35, 15 = -d + 32*p - 31*p. Which is bigger: m or d?
m
Let r = -68 + 78. Let m = r - 9. Which is bigger: m or -12?
m
Let n = 55.3 + -55.2. Which is smaller: n or -132/13?
-132/13
Suppose s = 2*l - 4*l - 34, -3*s - 107 = l. Let c be 8/s - (-8)/36. Is c equal to 2?
False
Let r be (-2*8)/4 + (-25)/(-5). Is r bigger than 3/118?
True
Suppose -3*p - 8 = -29. Let d be (-299)/115 - (4/10 - 1). Let h be d/4*0/p. Which is smaller: h or -4/9?
-4/9
Let b = -25809/5 - -5163. Let a be 0/((-4)/(3 - 1)). Is a less than or equal to b?
True
Let p = -61.4 - -61.2. Which is smaller: p or -0.08?
p
Let t be (2/(-2)*-6)/((-3666)/2444). Suppose -2 + 10 = 4*v. Does t = v?
False
Let l = 1389 + -1209. Is l >= 172?
True
Let h = 53.67 + -54. Let y = h + 0.13. Which is smaller: 1 or y?
y
Suppose -418*y = -413*y - 10. Suppose 2*q = -k, -14 = -0*k + 3*k - q. Is k greater than or equal to y?
False
Let i be (-2)/(-4) + 235/(-60). Le