e h(13). Which is smaller: 1/103 or p?
p
Let g = -5245/4 + 1312. Which is bigger: 3 or g?
3
Let x = -104 + 59. Let n = 45.1 + x. Does n = -12?
False
Let t(r) = r**2 - 6*r - 6. Let o be t(-1). Are o and -3/196 equal?
False
Let h(i) = i**2 + 26*i + 28. Let g be h(0). Which is greater: 163/6 or g?
g
Let b = -916/2015 + 3142879/632710. Let k = b + -2/157. Is 6 bigger than k?
True
Let m = 480 + -484. Do -150/31 and m have different values?
True
Let z = -432 - -459. Which is greater: 19 or z?
z
Let r be (-1)/(-2 + (-54)/(-26)). Suppose -d + y = 11, -d + 2*y - 37 + 29 = 0. Which is bigger: d or r?
r
Let g be (3 + (-9788)/3260)*-5. Let v = 663 + -663. Which is greater: v or g?
g
Let f(a) = a**3 + 0*a + 1 + 2*a**2 - 8*a + 2*a + 7*a. Let n be f(-2). Which is smaller: 0.47 or n?
n
Let l(c) = -c**2 + 11*c + 175. Let h be l(21). Which is greater: -36 or h?
h
Suppose -193*k = -191*k. Is -1/195 bigger than k?
False
Suppose -4*l = -5*v + 90, 0 = -65*v + 64*v + 3*l + 18. Let a(q) = 3*q + 2. Let b be a(6). Which is smaller: v or b?
v
Suppose 306 = 2*w + 5*o - o, -w + 3*o + 158 = 0. Let m = w - 1706/11. Which is smaller: m or -1?
-1
Let l be ((-7)/(-126))/((-40)/(-12)). Let r = -98 - -981/10. Let d = r - l. Are -1/3 and d non-equal?
True
Let m be (-1)/(33*(-5)/255). Is 2 <= m?
False
Let o = 74 - 52. Let r = o + -18. Which is smaller: 3/4 or r?
3/4
Suppose 8*o - 20 = 9*o. Let n = o - -13. Is -7 not equal to n?
False
Suppose -5*b - 24 = -109. Suppose o + 21 = 4*o. Suppose -7*u - o*u + 28 = 0. Which is greater: b or u?
b
Suppose 45*b + 101 = 101. Let h be -2 + 2 + (-54)/(-130). Let j = -8/13 + h. Is b > j?
True
Let j(o) = o**3 - 5*o**2 - 18*o + 80. Let g be j(5). Which is smaller: -2/13 or g?
g
Let u be (-4)/12 + (-85)/15 + 7. Are u and -2/3497 nonequal?
True
Let g = 2716 - 2705. Is 48 smaller than g?
False
Let n be 0 + 1 + -9 + (-108)/(-12). Are n and 20/29 non-equal?
True
Let g(f) = -f**2 - 6*f + 2. Let r be g(-6). Let z be (3/r)/((-4)/(-8)). Let n be z/6 + 4/8. Is n equal to 1?
True
Let j = -1001 + 1018. Which is smaller: j or -1/8?
-1/8
Let x be -1 + 2 + -1 + 1. Suppose -5*y + 8 = -2*m - 0*m, 3*m = -2*y - 12. Let s be 1 + 7 + -4 - y. Which is smaller: s or x?
x
Let j be 3282/(-99) + 4/(-22). Let k = j + 35. Is k smaller than 2?
True
Let p(f) = -f - 16. Let t be p(-7). Let x be t/(-6) - (-7)/(-6). Let l be 0/2*(4 - 3). Is x <= l?
False
Let s(m) = -16*m**2 - 1. Let b be s(-1). Let h = 1510 - 1528. Which is greater: h or b?
b
Let l = -0.88 - 0.02. Let x = -5.1 - -3.2. Let m = x - l. Which is smaller: 1.3 or m?
m
Suppose -3*d - 5*i + 3 = 0, d = 120*i - 116*i + 1. Suppose 4*h - 25 + 9 = -4*v, -5*v = -5*h. Suppose 2*n - 3*n = -h. Is n >= d?
True
Let t(k) be the third derivative of k**4/8 + k**3/6 - 16*k**2. Let v be t(3). Are v and 9 equal?
False
Let i be ((-2668)/(-87))/((-2)/3). Is -46 equal to i?
True
Let o be ((-22)/(-12))/(7/(-28)). Let l be ((-24)/4 + -1)/(1 + 0). Which is smaller: l or o?
o
Suppose 0 = -10*v + 15 + 45. Let z = 3 + 2. Which is greater: v or z?
v
Let t be (1 - -2) + 0 + 0. Let j be 25/20 + t + -4. Which is greater: -0.2 or j?
j
Let h = -3545235/34 - -104258. Let r be (-2)/4 - (-25 - -38). Let n = r - h. Is -1 > n?
False
Suppose -86*w = -148*w - 15872. Which is smaller: -259 or w?
-259
Let s = -597.1 + 597. Are s and 47.3 equal?
False
Let r = 2664 + -95965/36. Let a = 22/9 + r. Which is bigger: 1/2 or a?
a
Suppose -9*c = 77 + 22. Let i be (-28)/154 - (270/c)/3. Which is greater: i or 6?
i
Let c(w) be the third derivative of 5*w**4/4 - w**3/3 - w**2. Let o be c(1). Is o at most 27?
False
Let c = 2/38413 - 21780181/192065. Let n = -113 - c. Let q = -2/551 - 1088/3857. Which is bigger: q or n?
n
Let o = -263 - -261. Which is bigger: o or 5?
5
Suppose 2*r + 54 = 4*n, -n - 29 = 5*r + 73. Let q be 33/2*8/(-6). Is r greater than q?
True
Let v = -2/7 + 0. Suppose -3*o + 6 + 2 = -4*r, 0 = -4*r + 2*o - 4. Let p be -1 - -1 - (-1 + r). Is v less than p?
True
Let u = 105 + -102. Suppose 4*g - 5*f = -159, -5*g + 0*f - 171 = u*f. Which is smaller: g or -38?
-38
Suppose -12*m - 3*l = -7*m - 11, 2*m + l - 4 = 0. Is m <= 29/19?
True
Let l be (1/(-2))/(6/264). Suppose 3*d - 6*n + 2*n = -23, 3*n = 5*d + 20. Let i be (2 + (-20)/d)/(-1). Are i and l unequal?
False
Suppose 27*f - 6*f = 168. Suppose -5*b + 1 = -3*q + 11, -4*b - f = 4*q. Is -2 less than q?
True
Let t(n) = 2*n**3 + n**2 - 9*n - 9. Let s be t(-1). Let j be -3 + (-1)/((-5)/17). Are j and s unequal?
True
Let n be 573/(-520) + (-39)/(-507). Is -1 greater than or equal to n?
True
Let r(f) = -61*f**2 - f + 2. Let x be r(2). Let m be (-8)/(-12)*(-6)/x. Which is greater: m or 1?
1
Let m = 37 + -41. Let o(f) = -f**2 + 6. Let g be o(m). Let a be g/7*-1 + -1. Which is greater: a or -1/2?
a
Let c(h) = -h**3 - 7*h**2 - 7*h - 8. Let q be c(-6). Let n be (-26)/42 - q/6. Let t(s) = s**3 + 5*s**2 + 5*s + 5. Let p be t(-4). Which is smaller: n or p?
n
Let t = -106 + 105. Is -0.04 less than or equal to t?
False
Suppose 4*w = 81 + 79. Let r be -5 - (2 + w/(-6)). Do -1.3 and r have the same value?
False
Let f = -347 + 410. Which is smaller: 61 or f?
61
Let r(y) = -y**3 - 9*y**2 - 9. Let j be r(-9). Let h be 1 - 3 - (-1)/((-3)/j). Is 8/9 bigger than h?
False
Suppose -4*i + 2*n = n - 8, 4*n = -2*i + 4. Suppose -3*s + 1 = i*u, -3*s = u + 2*u + 3. Which is greater: u or -6?
u
Suppose -4*v - 5*c - 20 = 0, -5*v + 4*c + 12 = -4. Let d = -97/60 - 48401/420. Let s = -117 - d. Is v not equal to s?
True
Let o be -45 + 0 + (25/5 - 3). Are -43 and o non-equal?
False
Let c be 8/(11 - (17 + -8)). Which is smaller: c or -2/11?
-2/11
Let k be ((-8)/16)/(7/(-14)). Which is smaller: -49 or k?
-49
Let z = -57 - -56.9. Which is greater: z or 119?
119
Let o(v) = -1 - 11*v + 5*v + 3*v. Suppose -5*b + 3*b = h + 7, -h - 5*b = 16. Let q be o(h). Which is smaller: q or 3?
q
Let s = 0.0264 - -0.3736. Is 135 < s?
False
Let w = -3 + 5. Let g = 1.2 + 0.1. Let y = 1.4 - g. Which is bigger: w or y?
w
Let x = -136 + 287/2. Are x and 7 nonequal?
True
Suppose 0 = -15*d + 25*d + 10. Let j be (-2)/9 + (-116)/(-684). Which is smaller: j or d?
d
Let r = -734 + 727. Which is bigger: r or -17/3?
-17/3
Suppose 0 = 2*i + 5*l - 21, 2*i - 2*l = 30 + 26. Let y = i + -21. Let u be (-7)/4 + y/(-8). Which is greater: u or -3/4?
-3/4
Let j(m) = -66*m - 195. Let z be j(-5). Is z != 134?
True
Suppose -14 = 4*a - 2*p, -2*p - 2*p + 19 = a. Let u = -433/814 + 18/37. Which is smaller: a or u?
a
Suppose -3*y + 3*z - 20 = 2*y, 2*z - 12 = 2*y. Let b be (-9)/5 - y/(-5). Let q = -2 - b. Is 1 greater than q?
True
Let a = 2/1181 - -15345/4724. Which is bigger: a or 0.03?
a
Suppose 4914 = -107*a + 89*a. Is -273 <= a?
True
Suppose -4*s - j + 11 = 0, -3*j - 15 = -4*s - 0*j. Let y be -6*-1*(-2 + s). Which is bigger: y or 0.4?
y
Let x = 11 + 6. Let m(y) = -y - 10. Let z be m(-11). Let r be 48/20 + z + -3. Is x bigger than r?
True
Let a(w) = w**2 - 44*w + 165. Let u be a(40). Which is bigger: u or 39/11?
u
Let h be 1/10 - 1005/1675. Let z = -1.64 - -2. Is h at most z?
True
Let n = 444 + -441. Let y = -4/103 - -527/309. Which is smaller: y or n?
y
Suppose -53 = 4*y + 5*c, 4*y + 3*c = 2*c - 33. Let f(h) = -2*h**2 - 6*h + 2. Let n be f(y). Let u be (n/(-60))/(12/10). Which is greater: 0 or u?
u
Let p = -35 - -44. Let f be (-18)/p + (1 - 4). Is -5 < f?
False
Let w be (-2)/10 - ((-34347)/135 - -2). Let x = w + -252. Which is bigger: x or 0.1?
x
Let l = -118 - -79. Let j = l - -194/5. Are 1 and j non-equal?
True
Suppose -257 - 213 = 2*u. Let x be -1*(-4 - -3) + u/(-35). Is 8 > x?
True
Let m = -30 + 15. Suppose 0 = 9*u + 119 - 20. Does u = m?
False
Let x = 2.58 + -3.58. Are 3.1 and x equal?
False
Let l = 5 - 2. Suppose -5*q - w + 16 = -2, 3*q = -5*w + 24. Do l and q have different values?
False
Suppose 4*f = -4*g - 336, -3*f - g = -4*f - 88. Let h = 131 + f. Is h >= 44?
True
Let x = 362/3 - 1088/9. Let k(g) = g + 3. Let n be k(-4). Which is smaller: n or x?
n
Let d be -1*1 + (-10)/(-60)*(2 - 2). Let a(o) = 54*o**2 + o. Let z be a(1). Suppose 4*m - z = -m. Is m at least as big as d?
True
Suppose 0 = -5*d - y - y + 93, y + 39 = 2*d. Suppose -50*n + 289 = -33*n. Is d less than or equal to n?
False
Suppose 0 = 57*h - 154 - 245. Let a = 2/8163 - -95231/16326. Is a <= h?
True
Let r be 2/11 + 11245/165.