+ 8, 2*t + j - 2 = k. Which is smaller: t or 2/3?
t
Let g = 17.8 - 89.8. Let r = -48 - g. Which is smaller: 1 or r?
1
Suppose 3*w = w + 8. Suppose -42 = w*s - 58. Which is bigger: 1/3 or s?
s
Suppose 0 = -18*j + 23*j + 3*y + 380, 5*y - 183 = 2*j. Which is smaller: -544/7 or j?
j
Let b be (-4)/14 - 14628/(-42). Let n = b - -34. Let x = n + -1916/5. Which is bigger: -1 or x?
-1
Let l be (-2)/(-2)*(0 + 1). Let j = l + -1. Let z be (4/20)/(12/(-24)). Which is smaller: z or j?
z
Let l be 0/(-1) + (-6)/9. Let i = -23 - -37. Let r be (-35)/i*(-4)/25. Which is smaller: r or l?
l
Let h be 231/(-54) - 8*2/72. Is h > -2/3?
False
Let b be (-7)/(-4)*(-10 - 2). Let r = -24 - b. Let m = -2 - r. Which is smaller: m or 3/5?
3/5
Let c(a) = a**3 + 10*a**2 + a. Suppose 15*s + 30 = 12*s. Let x be c(s). Which is smaller: x or -8?
x
Suppose -5*u - 98 = -3. Let t be (-1)/(-2)*-2*(-1 + 90). Let v = 70 + t. Is u greater than or equal to v?
True
Let c = -25/151 + 24827/148131. Is c equal to 1?
False
Let g = 3.4 - -0.6. Let l = 16.3 + -2.3. Let d = l + -14. Which is greater: d or g?
g
Let d = 477 + -491. Which is smaller: d or -15?
-15
Let s be 6 - (-3 - (-727)/81). Is s greater than or equal to -1?
True
Let q = 6 - -3. Suppose -i = 5*b - 45, 0*b + 2*i + 36 = 4*b. Is b less than q?
False
Let t(y) = y**3 - 7*y**2 - 7*y - 10. Let c be t(8). Let o be (141/(-9) - c)/(-2). Let l = 217/30 - o. Which is smaller: -2 or l?
-2
Let l be (-60)/(-40) - 23/(-2). Let d = l - 5. Which is smaller: 7 or d?
7
Let y = -37 + 68. Let b = y + -32. Which is greater: b or 0.03?
0.03
Let z = 16 - 48. Let s = z - -32.04. Is -0.3 != s?
True
Let b be 3 - (-1 + -1 + 18/(-96)). Is 5 greater than or equal to b?
False
Let h be (-2)/(8/(-22))*-14. Let i be (88/h)/((-2)/7). Suppose i*n - 5 = -1. Is n > -4?
True
Suppose 0*j = 2*j - 16. Suppose -u + 5 = j. Let b be -1 - u*(-5)/(-15). Is 1/7 bigger than b?
True
Let t be (-2)/10 + 16/5. Suppose -3*u + 5*i + 19 = -85, 0 = -5*u + t*i + 152. Let a be (-58)/u + 1*2. Which is smaller: -1 or a?
-1
Let b = -210 + 179. Is -8 at least as big as b?
True
Let a = -517 + 257. Is -259 < a?
False
Let j be ((-238)/66 - 0) + 18/54. Is j > -4?
True
Let g be 13 + -9 + 302/(-306) + -3. Which is bigger: g or 1?
1
Let k be -33 - (-1)/(4/(-12)). Let n = k + 26. Let a(c) = -2*c - 1. Let z be a(4). Are z and n unequal?
True
Let d be -8 + 0 + (3 - 0). Let a be (-93)/(-45) + 2/d. Let s = -2.011 - -0.011. Is s > a?
False
Let f = -34707 + 105985/3. Let z = f + -630. Do -9 and z have different values?
True
Let m = -2121 - -1499. Which is smaller: -621 or m?
m
Let m(j) = j**3 - 20*j**2 - 45*j - 18. Let z(t) = -2*t**3 + 40*t**2 + 91*t + 36. Let c(n) = -5*m(n) - 2*z(n). Let k be c(22). Is k > -21/8?
False
Let i = -271.81 - -271.8. Is i at most -2/121?
False
Let z be (-91 + 7)*6/8. Which is bigger: -66 or z?
z
Suppose -3*w + 60 = -5*p, -5*w - 3 = -p + 7. Is p at least -14?
False
Suppose -89 - 121 = 3*n. Let d be (-1032)/n + 4/(-28). Let j = 15 - d. Which is greater: -0.08 or j?
j
Let m = -292 - -292. Which is bigger: m or 8/9?
8/9
Suppose -892 = -11*o + 648. Does o = 138?
False
Let m(n) = n**2 + n - 10. Let q be m(0). Let p(o) = o + 9. Let w be p(6). Let s = q + w. Is s > 6?
False
Suppose -5*d + 24 = -1, 0 = y + 5*d - 31. Suppose v = -v + y. Suppose 2*o + 40 = -v*o. Which is bigger: -2/7 or o?
-2/7
Let s = 38 + -37.35. Let f = s + 0.05. Is 0.2 at least f?
False
Suppose -6*q + 32 = -4*q. Let m = q + 20. Suppose 5*k = m + 29. Which is smaller: k or 11?
11
Let i = 3.8 + -3.45. Let f = 5.65 + i. Which is greater: 3 or f?
f
Let m = -4/23 - 61/46. Let u(p) = -1 - 10 + 2*p**2 - 3*p**2 + 10*p + 0. Let z be u(9). Is m at most z?
False
Let c be 0 - -3*2/(-61). Let r = 72 - 73. Is c smaller than r?
False
Let g = -367 - -259. Which is bigger: g or -110?
g
Let u = 66 + -58. Let o be (-10)/u + (8 - 7 - 0). Is 0.52 != o?
True
Let f(g) = -13*g**3 + 5*g**2 - 4*g - 1. Let l be f(2). Which is greater: 2/9 or l?
2/9
Let z = 2 + 4. Suppose -23*r + z = -21*r. Suppose -r*v - 3*q = 3, 4*v + q + 4 = -0*v. Do v and 3/13 have the same value?
False
Let j be (-6)/(-9) - (-68)/6. Let t(o) = o**3 + 32*o**2 - 3*o - 87. Let y be t(-32). Which is bigger: j or y?
j
Let i = -45791/5 + 9363. Let f = 79268323228/565 + -140298122. Let l = i + f. Which is smaller: 0 or l?
0
Let s = 32/31 - -12119/62. Let o = s + -8261/42. Which is bigger: 1 or o?
1
Let o be 0 + ((-213615)/(-12))/(-5). Let u = -3499 - o. Let z = u - 61. Is z <= 3?
True
Let m = -9/49 - -428/2597. Is 0 != m?
True
Suppose 12524*h - 162 = 12530*h. Let r be ((-6)/(-4))/(3/(-52)). Is h at most as big as r?
True
Let k be 2/(-18) - (-76)/36. Is 19/27 at most k?
True
Let z = -1266 + 148121/117. Let k = z - 209/2925. Do 1 and k have the same value?
False
Let o be (1 + 2)/3 + 3. Suppose 6 = -o*c + 5*c + 4*a, c - 5*a + 3 = 0. Suppose 5*f - 2*r - 16 = 0, c*f + 4*r - 3*r - 1 = 0. Is 3 at most f?
False
Let o = -2507 - -208079/83. Which is greater: 2/9 or o?
2/9
Suppose -2*c - 47 = -5*t, -t + 13 = 2*t - 5*c. Suppose -10*w = -t*w - 6. Which is greater: w or -8?
w
Let d(x) = -x**2 + 6*x + 2. Let h be d(6). Let m = -4 - -6. Let p be m/3*3/2. Are h and p non-equal?
True
Let m = -615439/84 - -7326. Let u = m + 4/7. Which is greater: -1 or u?
u
Let p = -134 + 85. Let y = -48 - p. Let g be (-4)/(-6)*(-5)/2. Is g at most y?
True
Let w = -43372/117 - -5550/13. Is w greater than 55?
True
Suppose -3*t + 49 - 46 = 0. Is 2/3 equal to t?
False
Suppose -4*h - 3*u + 15 = 0, 15 = -51*h + 54*h + 3*u. Which is greater: 1/130 or h?
1/130
Let n be (-453)/(-13) - (1 + (-30)/26). Which is bigger: 14 or n?
n
Let f be 1154/5984 - 112/616. Is 0 < f?
True
Let d(p) be the first derivative of 14*p**3/3 + 3*p**2/2 + p - 2. Let l be d(-1). Which is greater: l or 13?
13
Suppose l = -4*l + 300. Let m be (5/l)/(6/(-4)). Which is smaller: m or -0.1?
-0.1
Suppose 2*f = -2*l, 2*l - l = f + 2. Which is smaller: f or -15/79?
f
Suppose 2*b = -p + 10, 5*b - 16 = -p - 0*p. Let q be 112/(-21)*(0 + p/2). Is -17 >= q?
False
Let i(s) = -s**2 + 21*s - 14*s - 13*s + 7. Let x be i(-5). Let v be (-10)/x + 6/4. Which is greater: v or 3?
3
Let s be 17/(-85)*30/4. Are s and 0.009 nonequal?
True
Let f(j) = 2*j**2 + 15*j - 21. Let m be f(-8). Suppose c + 3*u = -21 - 2, 47 = -5*c + 2*u. Which is smaller: c or m?
m
Let a = 14546 - 14553. Let l be 0 + -2 + 1 + 3. Let b be 2/l*(-3)/6. Is a > b?
False
Let a = -1161 - -1132. Which is greater: a or -147/5?
a
Let k = 0.089 + -0.189. Which is greater: 0.39 or k?
0.39
Let u = 2389 + -2388. Is u less than or equal to -15/46?
False
Suppose 5*u - 28 = 37. Let k be (300/(-9))/(6/(-9)). Suppose 5*v = -3*s + 71, 4*v - 3*s = -2*s + k. Is v equal to u?
True
Suppose 98 = 6*q - 154. Let h = -128/3 + q. Is 0.4 equal to h?
False
Let h = 6 - 17. Let s be (4/(-3) + (-26)/39)*-103. Let u = 194 - s. Is h > u?
True
Suppose 12*p - 8*p + 12 = 0. Which is bigger: -61/16 or p?
p
Let f = 2 - -1. Let h = 3.09 + -3. Let u = -0.91 - h. Which is greater: f or u?
f
Let n(p) = -p**3 + p**2 + 2*p + 1. Let u be n(-1). Let h be (u - 4) + (-56)/14. Let l = 9 + h. Which is smaller: 1 or l?
1
Let y(d) be the second derivative of -4*d + 0 - 3*d**2 + 7/6*d**3 + 1/20*d**5 - 7/12*d**4. Let r be y(6). Are 2 and r nonequal?
True
Suppose -7*x - 12 = -9*x. Is 11 <= x?
False
Let g be (1/33)/(-10 + (-101)/(-10)). Which is smaller: 1 or g?
g
Let r(l) = 31*l**3 + l. Let x be r(-1). Is x at least -35?
True
Let i(d) = 2*d + 23. Let f be i(-11). Let s be (2*(0 - f) + 0)/(-6). Do 1 and s have different values?
True
Let q = 131 + -395. Is 0.1 less than or equal to q?
False
Let f be (-11 + 8)/((-3)/(-1)). Is f <= 1/37?
True
Let j = 294/13 + -29720/1313. Is -1 > j?
False
Let j = 2017 - 2017.01. Let o be ((-2)/4)/((-2)/(-4)). Is j equal to o?
False
Let o be (-3 - (-3 - 0))/1. Let u be ((-15)/10 - 0)*(-1)/(-3). Which is smaller: o or u?
u
Let m = -71/180 + 7/20. Let b(y) = y**2 - 8*y + 1. Let t be b(8). Is t <= m?
False
Suppose -4*h + 5*i + 17 = 0, 3*h + 0*h - 13 = 4*i. Let n(r) = 3*r**2 - 2*r - 1. Let p be n(-1). Let g be 0 + 8/p + 0. Is g != h?
True
Suppose 47*s - 42*s = 150. Which is bigger: s or 35?
35
Let p = -48 + 49. Let r be (p/159*-4)/(6/9). Is r less than or equal to 0?
True
Let p(w) = -3*w**2 + 18*w - 585. Let j be p(15). Which is sm