 1/2?
False
Let g(i) = -i**3 + 6*i**2 - i + 8. Let n be g(6). Let j = 502/9 - -13/18. Let s = -55 + j. Is n bigger than s?
True
Let h be (-2)/(-9) + (19 - 26). Are -8 and h equal?
False
Let n = -2 - -3. Let r = -58549/87 - -673. Let m = -11/58 + r. Is m not equal to n?
True
Let m(x) = 6*x - 38. Let t be m(7). Suppose 4*a + 7 = 3*a - 5*z, z - 7 = t*a. Let i be ((-4)/(-55))/(4/(-10)). Which is bigger: i or a?
i
Let z = 2 - 1.7. Let p(u) = u**2 + 12*u + 32. Let i be p(-9). Let k be -4 - i/((-40)/38). Which is greater: z or k?
k
Let o = 1299 + -1302. Is o at most -2.72?
True
Let q(k) = -k**3 + 10*k**2 - 10*k + 10. Let g be q(9). Let a be (g + 5)*(-1)/10*-5. Are a and 2 non-equal?
True
Suppose 3*j - 35 = 2*b, -4*b = -3*j - b + 39. Let l be (j + 4)*(1 - 0). Let c = l - 12. Is -3 less than c?
True
Let h = 4 + 3. Let i be 2/10 - 576/(-120). Let y = i - h. Is y smaller than -7/3?
False
Let k be (-5)/10*2 - 1. Let x(i) = -i**2 - 3*i + 1. Let r be x(k). Suppose -2*t + 2*h = 3*t - 33, 2*h = 4*t - 26. Which is greater: r or t?
t
Let p be 416/(-200) - (-16)/200. Suppose 3*x = -x + 4. Is p smaller than x?
True
Let q = -2038 + 311816/153. Let j(r) = 12*r - 24. Let t be j(2). Which is smaller: t or q?
t
Let p(x) = x**2 - 15*x + 148. Let j be p(14). Do j and 138 have different values?
True
Let y(m) = -m**2 + m + 2. Let j be y(2). Let g(v) = -v**3 + v + 5. Let s be g(j). Suppose 0 = -8*l + 6*l + 12. Which is bigger: s or l?
l
Let r be 1 + (-1 - -4 - 2). Is 22/25 < r?
True
Let j = 49.7 - -23.6. Which is smaller: j or -1/3?
-1/3
Let a be (-25)/(-4)*2*-2. Suppose 3*q - w = -56 - 14, -q + w - 20 = 0. Do q and a have different values?
False
Let t be (-128)/(-414) - (-10)/(-45). Let x = 11 + -10. Does x = t?
False
Let d = -3 - 2. Let f = -3 + d. Let g = f + 12. Is -2/3 < g?
True
Let v = -175 + 192. Let i(u) = -u + 9. Let c be i(7). Let d be 28/c - 6/(-2). Is d > v?
False
Let m be ((-70)/15 + 5)*1*0. Are m and -1/5 equal?
False
Let b = 0.1916 - 2.1916. Which is greater: b or -462?
b
Let n(x) be the third derivative of 0 + 0*x - 1/4*x**4 - x**3 + 2*x**2 + 1/15*x**5 + 1/120*x**6. Let g be n(-5). Do g and -6/7 have the same value?
False
Let l(m) = -m - 4. Let j be l(-5). Let p be 2*(j/(-2) + 0). Let v be (-22)/66 + (-2)/3. Is v less than p?
False
Let d(g) = -41*g - 372. Let w be d(-9). Which is smaller: -1/13 or w?
w
Let m be 3/(2/2) - 48/8. Let g be 2/m*36/(-384). Which is smaller: -1 or g?
-1
Let d = 6 + 0. Let x(o) = o**3 - 7*o**2 + 3*o + 8. Let w be x(d). Let q = 14 + w. Do 4 and q have the same value?
True
Suppose 2*y = -5*j + 134, -2*j + 29 + 13 = -5*y. Let h be 4/j - 424/(-624). Is h less than 1/4?
False
Suppose 4*h - 4 = 4. Suppose 23 = h*z + 7. Let l = z - 6. Which is smaller: l or -3?
-3
Let z be 4/10 - (-1)/(-1). Suppose 0 = i - 27 - 5. Let p = i + -32. Is p bigger than z?
True
Let b = -171.05 + 112.1. Let q = 59 + b. Which is smaller: q or -0.06?
-0.06
Let f = 2.2 + 0. Let j = -2.38 + f. Let u = 0.18 + j. Is -3 less than u?
True
Let r be (4 - (-66)/(-24))/((-4)/(-16)). Which is smaller: r or -19?
-19
Let l be ((-2)/(-6))/(11/165). Suppose 2*o - 12 = -f - o, l*f - 3*o = 24. Suppose -3*u = -3, f*u - 2*u + 16 = -5*r. Is -2 greater than r?
True
Suppose 3*r = -17 - 10. Let g(k) = -k**2 - 5*k + 5. Let s be g(-5). Let c(u) = -3*u + 5. Let n be c(s). Which is bigger: n or r?
r
Let c = -10.86 + 25.9. Let u = 19.6 + -4.6. Let v = c - u. Is v at least as big as 0?
True
Let j = 110 + -502. Are j and 0.1 non-equal?
True
Let r(t) = 4*t - 46. Let w(a) = -a + 15. Let j(d) = 2*r(d) + 7*w(d). Let x be j(-12). Is 4/15 bigger than x?
False
Let p(u) be the first derivative of u**4/4 + 11*u**3/3 - 13*u**2/2 - 17*u + 4. Let y be p(-12). Is y >= -5?
True
Suppose 8*j - 9*j = 0. Suppose 4*v - 3*b = -44, -4*v - b - 33 = -v. Let k = v + 7. Which is bigger: k or j?
j
Let a = 198 - 199. Let j = -0.68 + 4.78. Let p = -0.1 + j. Which is smaller: p or a?
a
Let h = 19.6 - 30.3. Let b = h - 0.3. Let y = b + 13. Which is bigger: -2 or y?
y
Let l be (-3 - -4)/(1/5). Let f(x) = 22*x - 9*x + 14 - 11*x**2 + x**3 - 14*x. Let w be f(11). Is w < l?
True
Let a(g) = -3*g - 7. Let r be a(-7). Let f be (-333)/(-63) - 4/r. Suppose -3*w - 5*h = 18, -w - 5 - 11 = f*h. Is -1/6 at least as big as w?
True
Let a(d) = 2*d**2 - 3*d + 3. Let h be a(2). Let v be (h - 3)*3/(-63). Let m = 13 - 13. Which is bigger: v or m?
m
Let q be (1/9)/(1/((-96)/(-304))). Which is smaller: -1 or q?
-1
Suppose 0 = v - 3*m + 4 - 15, 2*m = -4*v - 12. Let h be ((-2)/(-3))/((-1)/(-60)). Let y = h + -199/5. Which is smaller: y or v?
v
Suppose -4*k + 21 - 1 = 0. Suppose -r = -4*j + 21, -3*j = -k*r - 2*j - 200. Is -42 >= r?
False
Let m = 87 - 91. Let i be ((-14322)/216)/(-7) - m/(-18). Is 9 >= i?
False
Suppose -71*q + 95*q - 984 = 0. Which is greater: q or 5?
q
Let a = 43 - 108. Let t = a + 45. Let y = 22 + t. Which is bigger: -1/11 or y?
y
Let j = -38 - -40. Let g be (49/j)/7*-8. Which is bigger: g or -30?
g
Let v = 63 - 65. Let i be -3 + -6 - (v + 0 + 6). Is -6 greater than i?
True
Suppose 64*a - 51*a = -182. Which is greater: 1/2 or a?
1/2
Suppose -28*j = -11*j + 340. Let b be j/16 + (-14)/8 + 2. Which is smaller: -0.5 or b?
b
Suppose -10 = -7*w - 31. Suppose -26*m - 5 = -21*m. Which is smaller: m or w?
w
Let n be (-26)/(-7 - -5)*(-3 - -2). Does n = -10?
False
Let n = 2327 - 2332. Which is greater: n or 1?
1
Let r(v) = 3*v + 2 - 5*v**2 - 5 + 5 + v**3. Let z be r(3). Which is greater: z or -6?
-6
Let a = 77 + -40. Suppose 6*w - 3*w - a = v, 5*v - 4*w + 196 = 0. Let i = -276/7 - v. Which is smaller: i or 1?
i
Let s = -67/3 - -719/33. Suppose -4*v + 0*v = i + 6, 5*i - 4*v - 18 = 0. Suppose -w - i = -1. Does w = s?
False
Let w be ((-24)/(-36))/(10/(-39)). Is w >= -3?
True
Let r(f) = 4*f - 5*f - 5 + 4 + 5. Let t be r(-4). Suppose -20 = -5*o + 20. Are t and o equal?
True
Let y = -150 - -390. Let d be (-2)/(-7) + y/(-7). Is d equal to -35?
False
Let c = 808/3 + -272. Let w = 111.5 - 111.8. Which is greater: w or c?
w
Let d be (1 + 0)/3 + 376/6. Let s = 30 - d. Which is bigger: -32 or s?
-32
Let w(p) = -p + 16. Let d be w(13). Suppose 2*h + d*h - 5 = 0. Suppose y - 4*j = -h, y - j = -3*y + 11. Which is smaller: -2 or y?
-2
Let l(q) = -11*q**2 + 4*q + 14*q**3 - 15*q**3 + 5*q**2 + 3. Let u be l(-6). Are u and 0.1 unequal?
True
Let o = -134 - 287. Is -1 bigger than o?
True
Let q = -0.044 + -549.956. Is 1/3 < q?
False
Suppose 0 = 2*p - 4*n + 1450, 2*p - 8*n = -7*n - 1450. Which is smaller: p or -726?
-726
Let f = -771 - -23897/31. Suppose 0 = 4*y - 4, -15*a + 19*a - 4*y = 0. Is a equal to f?
False
Let x = 2312 + -2303. Do -0.02 and x have the same value?
False
Let g = 53 + -232. Which is greater: -180 or g?
g
Let k = -150 + 153. Let c be (-10)/(-25)*(-1 + 16). Is c greater than k?
True
Suppose -4*y + 7*y + 76 = g, 160 = 2*g - 2*y. Is g equal to -3?
False
Let y(x) = 4*x. Let z be y(-2). Let l(r) = -7*r - 3. Let w(v) = -11*v - 5. Let b(q) = z*l(q) + 5*w(q). Let t be b(0). Which is smaller: 3 or t?
t
Let g(z) = 2*z**2 + 75*z - 214. Let u be g(-40). Let k(c) = 10*c - 1. Let o be k(-1). Is o less than u?
False
Suppose -6*a - 7*a - 377 = 0. Is a not equal to -27?
True
Let k = 63 + -55. Let z be ((-2)/k)/(6/(-174)). Which is greater: 7 or z?
z
Suppose -5*v - 18 = 2*f + 25, -f + 4*v + 11 = 0. Let i = 11 - f. Which is smaller: 19 or i?
19
Let t = -357.1 - -371. Which is bigger: t or 2/11?
t
Suppose 2*q - 4*i + 1 = 5, -4*q + 2*i - 22 = 0. Is q at most as big as -0.5?
True
Suppose -3*k + 4*g - 22 = 0, 2*k - 10 = -k - 4*g. Suppose -4*h - h = 5. Which is smaller: h or k?
k
Let a = -3.4 - -3.5. Let z = 0.06 - a. Which is bigger: z or -4?
z
Suppose 0 = 2*i - 0*i. Suppose 3*x + 17 + 7 = -2*d, i = 2*x + 4*d + 24. Let c be 5/(-2) + x/(-2). Is c > 2?
False
Suppose 0 = -5*v - 25, 0 = -2*b - 0*b - 3*v - 11. Let q be 3/(-6) - (-15)/b. Suppose -q = 3*p - 37. Is 9 <= p?
True
Let k be -2 + ((-47481)/(-27))/(-7). Let a = 253 + k. Is 1 less than a?
False
Let m = 0.0925 + -0.0525. Is -2/21 at most as big as m?
True
Let r = 4522 + -3172. Which is smaller: 1351 or r?
r
Suppose -w = 3*l - 78, 2*w - 151 = 3*l - 8*l. Is w at least as big as 67?
False
Suppose -5*k = 6*y - 2*y - 9, 3*y = 5*k - 2. Is -2/69 greater than k?
False
Let v = -2 + 3/2. Let u = -271841 + 3530603/13. Let 