ter: y or l?
l
Let t = 2 + -2. Suppose -w + t - 2 = 0. Let s(c) = -2*c**2 - 2*c + 1. Let y be s(-2). Are y and w nonequal?
True
Let d be (3/(-9))/(2134/(-44)). Is 1 at most d?
False
Let g = 0.013 + -4.413. Let b = g + 5.4. Which is bigger: 3/13 or b?
b
Suppose 2 - 9 = -k. Suppose 284 = -13*l + 401. Is k greater than or equal to l?
False
Let u = -4 - -4.9. Let l = 0.5 - u. Let o = -744 + 743.8. Which is bigger: l or o?
o
Suppose 2*z + 8 = -4. Is z <= -24/5?
True
Let a(u) = -10*u**2 - 4*u - 2. Let m be a(-1). Is -43/6 bigger than m?
True
Let p = -5.769 + 0.069. Let h = p - 0.3. Do 5 and h have different values?
True
Let l(f) = f**3 - 3*f**2 + f - 1. Let a(q) = 2*q**3 - 6*q**2 + 2*q - 2. Let z(i) = 6*a(i) - 13*l(i). Let c be z(0). Which is bigger: -1/26 or c?
c
Let d be (-174)/5 - 208/(-260). Is d equal to -37?
False
Let z = -0.54 - 126.46. Let x = 121 + z. Which is smaller: x or -2/11?
x
Let d(q) = q**3 + 22*q**2 + 23*q + 68. Let y be d(-21). Do y and 5 have the same value?
False
Suppose -3*v + 0*a - 5*a = 131, 0 = -v - 2*a - 45. Let x be 2*(0 - (-447)/(-24)). Let u = v - x. Which is greater: u or -0.1?
u
Let y = -1703/255 + 126/17. Is 2 bigger than y?
True
Let z = 126 + -114. Let m = z - 25. Is -11 greater than or equal to m?
True
Let u = 6 - 6. Let y = 1.93 - 1.89. Is u bigger than y?
False
Let m(c) = c**3 - c**2 + 1. Suppose -4*o - 5 + 13 = 0. Let p be m(o). Suppose 0 = -3*g + 15, p*g = -3*l - 2*l + 15. Are -3 and l non-equal?
True
Let v = 4.6 - -21.4. Let q = 152 - 125. Let g = q - v. Which is smaller: g or 0.1?
0.1
Let p = -2276.4 + 2276. Is -75 at most p?
True
Let x = -29 + 27. Let m be -6 + (-140)/(-8) - 3/x. Is -1 greater than m?
False
Suppose 0 = -2*k - 0 - 4. Let s = -233/8 + 29. Do s and k have different values?
True
Suppose -3*x + 8 = x. Suppose x*g + 40 = 7*g. Suppose 3*d = g - 20. Which is smaller: d or -3?
d
Let y be (-14514)/10 + 44/110. Which is smaller: y or -1450?
y
Let n(b) = -4*b**3 + 2*b**2 + 2*b + 1. Let g be n(-1). Suppose 0*o + g*o = 15. Which is greater: 0 or o?
o
Let y = -1357 - -911. Which is greater: y or 0?
0
Let g = -0.9 + 1.2. Let y = 7344 - 95058/13. Let w = -32 + y. Is g > w?
True
Let c be -6*(-5 - 87/(-18)). Which is smaller: c or 4/123?
4/123
Let j = 6704 + -19924/3. Which is smaller: j or 64?
j
Let f be 2/(-11) + -4 - -4. Suppose -5 = 5*q - 0. Do q and f have different values?
True
Let h be ((-84)/77)/(((-27)/42)/3). Is 5 at most h?
True
Let q = 0 - -0.3. Let d = -137/40 + 33/10. Which is bigger: q or d?
q
Let l be (4/(-14))/(18/42). Let g be (-4)/14 + (-204)/462. Let v = 18/55 + g. Which is bigger: l or v?
v
Let r(l) = l + 2. Suppose -18*d + 22*d + 12 = 0. Let g be r(d). Which is greater: g or 1?
1
Let r = 62883386 - 9747053013/155. Let d = 827 + r. Is 1 at least as big as d?
True
Let w be -9*(-8)/648 - (-6)/(-54). Let u be (-28)/30 + 2/6. Which is smaller: u or w?
u
Let q be (-6 - -1)*-5*(-6)/25. Let a be -2 - -4 - (-2 - -18). Let i be ((-10)/a)/(q/(-7)). Is 0.1 <= i?
True
Let v be 2*-2 - 7*(-54)/63. Let l be 1*3 + (-3 - 0). Suppose l*g = g. Which is greater: g or v?
v
Let x = 24 - 23. Let c = 0.037 - -82.963. Which is bigger: c or x?
c
Suppose 5*a + 32 = -3*w + 1931, 0 = -w + 5*a + 653. Is 640 greater than w?
True
Suppose -21 = 10*o - 11. Are 2/691 and o non-equal?
True
Let b be ((-17)/(-2))/((-42)/36). Let v = 1321/189 + b. Which is smaller: -1 or v?
-1
Let f(s) = -2*s - 8. Let v be f(-7). Let q(c) = 2*c + 1. Let i be q(v). Suppose 0 = -5*d + 7 + i. Which is smaller: d or 0?
0
Let r = -1438 - -1437.9. Is -1442 less than r?
True
Suppose 0 = 7*j + j - 104. Suppose -j = -2*w - 15. Are w and 2/107 non-equal?
True
Let v = -5 - -4.97. Let l be (18/30)/(1/10). Suppose 9*x = l*x - 3. Which is smaller: v or x?
x
Let z = 3 - 2. Suppose r + 28 = -i, -2*i - 2*r = -5*r + 56. Let h be (4/i)/(3/9). Which is greater: h or z?
z
Let s be ((-16)/7)/(-4) - 222/21. Do s and 0.002 have the same value?
False
Suppose 0 = -8*z - 12 + 4. Let c(p) = p**3 + p**2 - 2*p - 1. Let u be c(-2). Are u and z equal?
True
Let i = -4/49 + 232/441. Let x = 4499 - 4500. Is x > i?
False
Let f = -2669 - -130772/49. Does f = 0?
False
Let p be 11/(-44) + ((-1676)/(-304) - 2). Is 3 smaller than p?
True
Let z = 71/40 - 15/8. Suppose -f - 7 = 4*x, 4*x + 6*f + 16 = 2*f. Which is smaller: x or z?
x
Let l = -1511/12 + 126. Let m be (-141)/(-18) - (-2)/12. Let k = 9 - m. Which is smaller: l or k?
l
Suppose 0 = 14*j - 15*j - 5. Is j not equal to -8?
True
Let t(h) = -h**2 - 2*h - 1. Let i be t(-1). Let d = -58 - -198. Let k be 2/(-10) - 12/d. Which is bigger: i or k?
i
Let o = -1.8 + -0.2. Let a = 85.6 + -86. Is a less than or equal to o?
False
Let l(m) = 2*m**2 + 29*m + 31. Let r be l(-20). Which is greater: r or -2?
r
Suppose -b = -5*b. Let x = 77533/28 + -2769. Which is greater: b or x?
x
Let n = -174/949 + -54/73. Let z = -154 + 152. Is z smaller than n?
True
Let p = 891 + -958. Are -73 and p unequal?
True
Suppose -5*k + 2*w - 6*w = -754, 0 = 5*w - 5. Let l = k + -96. Let v be 6/3 - 112/l. Which is greater: v or -1?
v
Let g = -32 - 253. Is g >= -283?
False
Suppose 266 = -13*i - 7. Is i smaller than 17?
True
Let g = 1137/115 - 49/5. Let c = 0 - 0. Which is bigger: c or g?
g
Suppose 20*r - 14*r = 660. Let z be 9/15 - 71/r. Which is smaller: z or 0?
z
Let k = 1/92 + 26859/460. Let x = k + -58. Which is smaller: 0.7 or x?
x
Let j = 0.8 - 34.8. Let u = 33.75 + j. Which is smaller: 0.1 or u?
u
Let c = -63 + 44.6. Let s = c + 2.4. Are 0.1 and s equal?
False
Let q = -27.7656 - 0.0344. Which is smaller: 1 or q?
q
Suppose 8 = 4*k - 5*p, 27 = 5*k + 3*p - 20. Let z be (k/21)/(3/45 - 0). Which is smaller: z or -0.2?
-0.2
Let d be -12 + -2 + 4/2. Let t(k) = k**3 + 11*k**2 - 13*k - 10. Let v be t(d). Suppose 8 = 5*o - 2*q, -12 = -o + v*o + 3*q. Which is greater: 10 or o?
10
Suppose -y + 2*y = -3*u + 284, 196 = 2*u - y. Let n be (-2)/6 - u/(-18). Let i = -6 + n. Do 0 and i have the same value?
False
Let y be 6/8 - (-1785)/(-2220). Which is smaller: 1 or y?
y
Let m = -38.83 - -39. Let w = -7 - -6.93. Let u = w + m. Which is greater: u or 0.3?
0.3
Suppose -5*r - 4*g = 34, 2*r + g = -3*r - 31. Let o(x) = -3*x - 1. Let p be o(r). Let j = p + -19. Which is bigger: -3/4 or j?
-3/4
Suppose 5*m - h = 122, 0 = -m + 5*m - 4*h - 88. Let a be 2 - (-15)/m*-4. Are -0.2 and a unequal?
True
Suppose -12 = 2*d + 2*c, -2*c - 13 = d - 4. Let w = -27 + 49. Let l be d/12 + w/(-8). Which is greater: l or -4?
l
Let m = 7 + -7. Let x be ((-2)/10)/((-168)/(-40)). Which is smaller: m or x?
x
Let n = -99 - -207/2. Let z = -6 + 11. Which is bigger: n or z?
z
Let a be 2/16*4 + 529/7. Let z = -76 + a. Which is smaller: 0.1 or z?
z
Let k(u) = -6*u + 20. Let g be k(6). Let n be (-81)/24*g/24. Is -0.1 not equal to n?
True
Let l = 5 + -6. Let x = 76 - 149/2. Let k = x + -11/6. Is k smaller than l?
False
Let b be ((-28)/(-6) + -3)*(16 + -1). Let o = 26 - 11. Suppose -5*x + 3*d - o = 0, 0*x - 5*d + b = -x. Is x not equal to 0.4?
True
Let b = -994 - -1058. Which is bigger: 67 or b?
67
Let c(g) be the third derivative of -1/12*g**4 + 0 + 0*g - 1/6*g**3 + 1/60*g**6 + 0*g**5 + 3*g**2. Let w be c(-1). Which is smaller: -6/5 or w?
-6/5
Let d be 24 + (-4)/(-4) - 3. Let o = d + -22. Let m = -3701/11 + 337. Which is smaller: o or m?
o
Let i(q) = q**3 - 7*q**2 - 5*q. Let b be i(8). Suppose 3*a + 0*s = -s - b, 4*a + 43 = -5*s. Which is greater: a or -8?
a
Let z = -40732/69 - -1209023/2829. Suppose 4*b + 29 + 623 = 0. Let o = z - b. Is o greater than -1?
True
Let p = -75 - -75.33. Let t = p - 0. Let m = t + -0.23. Is m at least as big as -3?
True
Suppose 30 = 4*m + m. Suppose 0 = 2*b + 4*a + m - 22, 4*b = 2*a + 12. Suppose -i + 0*i + 10 = 3*p, -b*i + 10 = 2*p. Which is greater: i or 4/7?
i
Let u = 0.35 - 0.5. Let t = -16.85 + u. Let k = -15 - t. Do 1 and k have the same value?
False
Let v = -2.8 - -3. Let b = 151/4 - 381/10. Let z = 3/4 + b. Which is smaller: z or v?
v
Let l(j) = 3*j - 3 - 29*j**2 - 24*j**2 + 54*j**2. Let i be l(5). Is 1 not equal to i?
True
Let b be (-3)/6*(-8)/82. Let y(o) = 4*o + 8. Let j be y(-2). Which is bigger: b or j?
b
Let q = -0.0429 + -9.0671. Are q and 1/2 equal?
False
Suppose -5*a - 28 = -a. Let z = 15 + -15.016. Let k = z + 0.016. Which is bigger: k or a?
k
Suppose 0 = -m + 2 - 3. L