t or w?
w
Let i(x) = 2*x + 4. Suppose 0 = v + 3 + 4. Let n be i(v). Which is bigger: n or -9?
-9
Let b(s) = -2*s - 17. Let p be b(-12). Suppose -p*v + 8*v = 0. Is 1/9 not equal to v?
True
Let k = -7 + 9. Let q be k/8 + 14/72. Which is bigger: 1 or q?
1
Suppose -2*x = 55 + 25. Let h = 60 - x. Let t = 1098/11 - h. Is t < 1?
True
Let p = 1 - 0. Let b = -4.06 + 4. Let a = b - 1.94. Which is bigger: p or a?
p
Suppose 5*g + 16 = -3*g. Let u be 1/(4/6 + -1). Is g > u?
True
Let s be (-3)/(-15) - (154/(-5) - -1). Which is smaller: 31 or s?
s
Let u = 9.08 - 0.08. Is u <= -1/6?
False
Let g be ((-1)/13)/(7/14). Suppose 0 = -0*j + 5*j - 5. Is j less than g?
False
Let t(d) = d**3 - 3*d**2 - 2*d + 2. Let s be t(3). Let q be 5/(-4) + (-6)/s. Do q and 7 have the same value?
False
Let p be (-9)/(-6)*8/(-6). Let a(h) = h - 2. Let n be a(p). Which is smaller: n or -6?
-6
Suppose 0 = -3*r - 2*r - 3*i + 19, -2 = i. Suppose 5*l + 0*l = -30. Let h = -1 - l. Is r greater than h?
False
Let b = -0.022 - 5.078. Let l = 4.97 - -0.03. Let x = b + l. Is -3/4 at least as big as x?
False
Suppose 3*h - 4*h - 2*l = -7, l + 1 = 4*h. Let x be (-35)/(-105) + (-34)/66. Are x and h nonequal?
True
Suppose -4*c - 5*f - 2 = -11, 0 = -3*c + 2*f + 1. Let d = -2 + c. Let j = -0.2 + 0.2. Which is smaller: j or d?
d
Let d = 14 + -9. Suppose 0 = -3*p + 13 + d. Let k = 5 - p. Is 0 smaller than k?
False
Let d(c) be the second derivative of -c**5/20 + 3*c**4/4 + 3*c**3/2 - 7*c**2 - c. Let i be d(10). Let n be ((-4)/(-40))/((-2)/i). Does n = 2?
False
Let v be (-27)/66*2/(-3). Suppose 5*h = 6 + 19. Suppose 0 = -2*t - p + 5, 0 = h*t - p - p + 10. Which is bigger: t or v?
v
Let x be 0/(3/((-12)/16)). Let p be ((-1)/(-1))/(-2 + 3). Which is smaller: p or x?
x
Let g(b) = -b**3 + 2*b**2 + 2*b + 1. Let x be g(3). Let c be 0 - 6/x - 0. Let q be 1 - (0 + -3) - 2. Which is bigger: q or c?
c
Let v(g) = 3*g - 2. Let k be v(6). Does 16 = k?
True
Let z be 10/(-8)*(-15)/(-75). Which is smaller: z or 0?
z
Suppose -z + 5*r + 10 = 0, 0 = -r - 2*r - 6. Is 2/459 equal to z?
False
Let p = -112 - -1902/17. Are p and 1 nonequal?
True
Let p = -1 - -7. Let d = p - 6.01. Let h = d + -0.09. Is h > 0.08?
False
Suppose s + 13 = -2*s - 4*v, 2*v = -2*s - 6. Let h(k) = k**3 - k**2 - k - 1. Let w be h(2). Let f be 1 + w/(-1) - -2. Is s equal to f?
False
Let v(s) = s**2 + s + 2. Let m be v(2). Let n be (-3)/(3 - m/3). Let i = n - -11. Is -0.2 != i?
True
Let a = -6 - -3. Let k(o) = -o. Let c be k(a). Is 2 not equal to c?
True
Let y = 16 + -18. Let i = -877/5 - -174. Which is smaller: y or i?
y
Let i be -2 + ((-85)/3 - -2). Let q = -413/15 - i. Suppose -5*x + 19 = -5*u + 4*u, 5*u - 4*x = -11. Is u smaller than q?
False
Let w = 2267/7 - 323. Which is greater: w or -0.2?
w
Let n = 11.7 - -3.3. Let a = 12 - n. Is 1/2 > a?
True
Let b = 18 + -20. Is b < -3?
False
Suppose 0 = 2*h - 6, 3*z - 6*z + 4*h = -15. Let a be (-22)/6 - 3/z. Let o be (11/(-10) - -1)*a. Is o > 2/5?
False
Let s be ((-2)/7*-2)/2. Let f(q) = q**2 + q - 2. Let w be f(-2). Which is greater: w or s?
s
Suppose 5*w - a - 324 = 0, 9 = -w - 2*a + 65. Is 63 > w?
False
Let u be (-10)/140*(-1 + -29). Let h = 5 - 3. Which is smaller: u or h?
h
Let g = 4 + -4. Let h be ((-3)/3 - g)*-9. Let o be (-14)/(-144) - 2/h. Which is smaller: o or -1?
-1
Suppose 0*o - 5*j = -o + 21, -5*o - 2*j = -132. Do 27 and o have different values?
True
Let q = 13 + -10. Suppose 4*p + 1 = -q. Which is smaller: p or -2?
-2
Let u be (12/(-44))/(0 - 3). Which is smaller: u or 0?
0
Let c = 41096/7 - 5884. Is -14 != c?
True
Let m be (-14)/(-16) + 0 - 1. Let l = m - -7/24. Suppose 5*w + 2*a + 13 = 0, w - 2*a - 8 = -1. Are w and l unequal?
True
Let i = 4 - 16. Let v be ((-2)/(-15))/(i/(-40)). Which is greater: v or -1?
v
Let r be (-1 + -1)*2/(-4). Suppose -4*x - 8 = 0, 5*z + 5*x + r = -4. Let m be (-9)/12 - (-42)/120. Which is greater: m or z?
z
Let s = 1 - 1. Suppose c + s*f = -5*f, 3*f = 0. Let g be 1*-1 - 9/(-7). Is g at most as big as c?
False
Suppose 0 = -2*s + 6 + 6. Let y be (s/(-7))/(2/(-14)). Suppose -4*w - 2 = 4*z + y, 0 = -3*w - z. Which is smaller: w or -1/3?
-1/3
Suppose -2*a = 3*p - 314, a + 4 = 5*a. Let t be (-296)/p + (-6)/(-2). Let o be (2 + 0 - 1)*1. Do o and t have the same value?
False
Let r = -7 + 8. Let o be 6/(-8) + r/(-20). Which is bigger: o or -2?
o
Suppose 0 = -w - 3*w + 16, -4*t - 56 = 5*w. Do -20 and t have the same value?
False
Let h = -25219/819 - -397/13. Let o = 8/9 - h. Do 1 and o have different values?
True
Let d = -1/24 + -13/8. Is -2 less than or equal to d?
True
Let q = -14 + 8. Let x = -15 + 11. Let j = q - x. Is -2 at least as big as j?
True
Let t = 0.95 + -1.02. Let g = -1.99 - -2. Let s = g + t. Do 0 and s have different values?
True
Let q be (-2)/6 - 175/(-21). Let x(h) = -h + 10. Let y be x(q). Is 1 less than y?
True
Let r be (0 - 57)*(-3)/(-9). Which is greater: -18 or r?
-18
Let s(i) = -i - 25. Let t be s(-12). Let x = t - -12. Is x less than 4/9?
True
Let w = -7 + 51/7. Suppose 5*t = -5*d - 5, 2*d - 4 = -0*d + 4*t. Which is greater: d or w?
w
Let x = -416496 - -18739369/45. Let k = 328/5 + x. Which is bigger: -1 or k?
k
Let d be 2/72 - (-1)/(-4). Suppose -1 = -3*m + 2*o, 5*m = o + 2 + 2. Let l = -1 + m. Which is bigger: l or d?
l
Let x(m) = -m**3 + 9*m**2 + 7*m. Let r be x(10). Let n be (-2)/2*(-6)/r. Is 0 >= n?
True
Let q be 6/4*4 + -3. Suppose 3*z - 2*p - 2 = 2, q*p = 3*z - 6. Which is smaller: z or -7?
-7
Let n be (-13)/(-40) - 14/112. Let p(x) = x + 5. Let w(o) = o**3 - 2*o - 1. Let a be w(-2). Let f be p(a). Does f = n?
False
Suppose 2*z - 20 = -z + u, 4*z - u = 28. Let v be 6/21 + z/(-14). Which is smaller: v or 1?
v
Let t be 194/(-35) + 44/110. Is -6 < t?
True
Suppose -243 = -3*h - 0*h. Let z be -1 - (-1)/(h/87). Let t = z + 16/27. Is t greater than or equal to 3?
False
Let p = 306/7 + -44. Is 0 smaller than p?
False
Suppose 0 = -4*b + b + 6. Let y be ((-4)/50)/(b + -3). Does 0 = y?
False
Let k(m) = -m**3 - 3*m**2 + 3*m - 1. Let o be k(-4). Suppose 4*g - o = h, g = 3*g. Let c be 1/h*-3 - -2. Which is smaller: c or -1?
-1
Let f(b) = 8*b - 4. Let p be f(0). Let t = 14 + -24. Let i be (t/6)/(1/3). Is p at least i?
True
Let g(l) = l**3 + l**2 - 1. Let f be g(0). Let t = -66761/16530 + 3/551. Let k = t + 25/6. Are f and k non-equal?
True
Let w = -2725 + 95329/35. Let s = -5/7 - w. Let h be ((-2)/5)/((-2)/10). Which is greater: s or h?
h
Let h = -2.1 - -2.7. Which is bigger: h or 0.3?
h
Let l = 0.01 - 0.41. Let m = 35 + -34.9. Which is bigger: l or m?
m
Let s(q) = q - 6. Let g be s(5). Let r be g/4 - (2 + -2). Let t be 4/26 + (-560)/260. Which is bigger: r or t?
r
Let y be 5*8/(-180)*1. Which is smaller: 1/4 or y?
y
Let v be (-3)/(-2)*2/(-12). Let o = -1 - 3. Let b = o - -5. Is b bigger than v?
True
Let w = -7.07 - -0.37. Let k = -7 - w. Is k at most as big as -2?
False
Suppose c + 5 = -3*n + 3*c, -5*n - 15 = -2*c. Let d be (-2)/(-8) - 0/n. Is d greater than 0?
True
Let u = 2 + -5. Let l = 205 + -620/3. Are l and u non-equal?
True
Let d = -32 + 65/2. Which is smaller: d or 0.28?
0.28
Let f be -1 + 0 + (-10)/(-25). Do 1/4 and f have different values?
True
Suppose -q = -5*q - 16. Is q not equal to -4?
False
Let a(w) = -w - 1. Let r be a(-2). Let h be 18/8 + r/(-4). Which is smaller: 1 or h?
1
Let n = 147 - 147.02. Is -0.09 less than or equal to n?
True
Suppose 20 = -p + 5*p. Suppose 17 = -4*l + 49. Suppose -l*x + 3*x - 31 = 3*w, x - 5 = p*w. Are -2/3 and w unequal?
True
Let o = 67 - 100. Do o and -0.2 have different values?
True
Let j(t) = t**2 - t + 1. Let m(g) = -g**3 - 2*g**2 - 9*g + 3. Let d(f) = -4*j(f) + m(f). Let u be d(-5). Let n be (-130)/(-45) + -2 + u. Is n >= -1?
True
Let t = -4/143 - -431/10296. Let o = -5/36 + t. Let g(p) = -p**2 + 2*p + 2. Let k be g(3). Which is smaller: k or o?
k
Suppose 0 = -5*v + 6*v + 4, 2*v + 60 = -4*g. Which is smaller: g or -11?
g
Let v be ((-35)/2)/((-6)/(-15)). Let l = 43 + v. Which is greater: l or -1?
l
Let z(v) = -v**2 + 7*v - 2. Let n be z(6). Suppose n*i = -0*i + 4. Which is smaller: i or -2/7?
-2/7
Let w be 0 - (-1 + -1 - 0). Suppose 3003*l = 3008*l - 5. Which is smaller: w or l?
l
Let x = -0.12 + 1.08. Let b = x - -0.04. Suppose -3*u - 5*j = 17, -3*u + 4*u = -2*j - 7. Is b equal to u?
True
Let o = -22 - -23. Let