et n be m(w). Which is smaller: 3/5 or n?
3/5
Let q = 25 - 29. Do q and -1 have the same value?
False
Let o(y) = y**2 - 7*y + 6. Let b be o(6). Suppose b = -s - d - 6, -2*s = -5*d - 7 - 16. Let x = -517/85 - -31/5. Is x less than or equal to s?
False
Let i = 1.1 - 0.1. Let w = 14 - 12. Which is greater: i or w?
w
Suppose -5*d + 6 = -2*d. Suppose 0 = -d*f + 6*f. Do f and 1/4 have different values?
True
Let v(i) = i**2 + 1 + 7*i + 2 - 2*i. Let t be v(-6). Suppose t = 2*k + k. Is k < 2?
False
Suppose 2 + 8 = 5*p + r, 0 = 5*p + 3*r. Suppose p - 1 = i. Let u be (-5)/(-6) - 8/(-12). Which is greater: u or i?
i
Let n = -3/149 + 79/11324. Which is smaller: n or -1?
-1
Let z(m) = 4*m**2 + 10*m - 1. Let c(r) = 3*r**2 + 10*r. Let j(t) = 3*c(t) - 2*z(t). Let d be j(-10). Let k be (3 + -2)/(d - 4). Is k not equal to -2?
True
Let w(m) be the third derivative of m**4/8 + m**3/3 - 2*m**2. Let z(r) = -r - 1. Let u(n) = -w(n) - 2*z(n). Let p be u(5). Are p and -6 nonequal?
True
Let b = -30.91 - -33. Let z = -0.09 + b. Is z > 3?
False
Let w = -1 - 0. Let r = w + 0.5. Let m = r - -0.5. Is m > 2?
False
Let j = 1864 + -1239. Let f = -359 + j. Let q = f + -4789/18. Do q and -1 have the same value?
False
Let a be (-3)/(-9) + 1*(-4)/36. Let d be 3/(1 + -4)*1. Is a > d?
True
Let k be -1 - -2*2/8. Suppose 4*v + 4*q = 0, 5*v + 0*q = -q - 4. Which is smaller: k or v?
v
Let t(b) = b**2 + 4*b - 3. Let l be t(-5). Let j = 1 + -4. Let g = 4 + j. Which is bigger: l or g?
l
Suppose 6 = -3*x, -56 = 5*o - 0*o + 3*x. Which is smaller: o or -3?
o
Let t = -107/996 - -2/83. Suppose u + 2*x = -3*u + 6, 3*u = -4*x + 12. Which is bigger: t or u?
u
Suppose -k = v - 1, 2*v - 2 = -0*k + 2*k. Let j = -502/903 + -2/129. Is j smaller than k?
True
Let y = 2 - 2.1. Let g = 0.85 + -0.15. Is g greater than or equal to y?
True
Let l be (-44)/(-3)*(-15)/10. Which is smaller: -24 or l?
-24
Let r = -20 - -22. Let v be r/(10*3/(-24)). Which is smaller: -1 or v?
v
Let w be (-17 + 15)/(2/5). Which is smaller: -1 or w?
w
Let j(h) = 2*h**3 - h**2 + 2*h - 1. Let t be j(1). Suppose -4*m - 28 = -2*r, 0*r - 5*m = r + 21. Suppose q = -x + 4*x + 6, r*q - 4*x = 16. Is t smaller than q?
True
Let m = 17.6 - 18.59. Let x = m - 0.01. Which is bigger: x or 0?
0
Let w = -7 - -11. Suppose 4 = -5*i + 24. Suppose -15 = b - i*b. Is w equal to b?
False
Suppose 4*m - 4 = 4*q, -m = -5*m + 5*q + 6. Let f be 10/(-6) - (-51)/27. Which is smaller: f or m?
m
Suppose 5*x = x. Let a be (-18)/(-6)*4/18. Which is smaller: x or a?
x
Let c be 0/(0 + 1) - 146. Let y = c + 1171/8. Is y <= -1?
False
Let d = -21.24 - -21. Which is greater: 1/4 or d?
1/4
Let s be (21/(-12))/((-2)/8). Let n = 11 - s. Suppose 0*g = n*g. Is -1/8 at most as big as g?
True
Let h = 12 - 5. Let c = -4 + h. Suppose 4*r - 2*r + c*a = -6, 3*r = a - 20. Which is smaller: r or -5?
r
Let s be (-5)/(-2)*(-3)/(-6). Let m = -3/2 + s. Is -1 less than m?
True
Let q be -2*(3 - 2/1). Suppose 2*x - 24 = 6*x. Let a = -8 - x. Do q and a have different values?
False
Let u(r) = 2*r - 8. Let m be u(6). Let q(b) = 2*b - 8. Let l be q(6). Let v = m - l. Which is bigger: -2/7 or v?
v
Let f = 29/45 + -4/9. Let v = -0.1 - -0.2. Is v at least as big as f?
False
Let z be ((-2)/(-5))/((-24)/(-60)). Which is bigger: z or -3/11?
z
Suppose -8*u = -12*u + 68. Which is greater: 18 or u?
18
Let x(c) = c**3 + 7*c**2 + 6*c - 6. Let q be x(-6). Which is greater: -7 or q?
q
Let s = 22 - 20. Which is smaller: 3 or s?
s
Let s(k) = 2*k**3 - k + 1. Let j = 0 + -4. Let a = j - -5. Let f be s(a). Which is greater: 1 or f?
f
Let k be (2/(-3))/((-32)/6). Let s = -9/56 - k. Do s and 0 have different values?
True
Let m = -315/3491 + 5127733/806421. Let w = m - 70/11. Which is smaller: 0 or w?
w
Let g = 0.06 + 5.94. Let v = g + -5. Let i = 16 + -16. Which is greater: i or v?
v
Let i = 103 - 210. Is i smaller than -107?
False
Let h = -8 + 2. Let p = 2 - h. Is -0.1 != p?
True
Suppose 4*o + 22 = -b, -5*b = -4*o + 2*o. Is -10 smaller than b?
True
Let k be -1 + -1 - (-1 - 1). Suppose c + 3 - 2 = k. Let p = c + 1. Which is smaller: 3 or p?
p
Let c be ((-1827)/(-4))/(-7) - -3. Let v = c + 62. Which is smaller: v or 3?
v
Let t(r) = r - 3. Let y be t(7). Suppose -1 = y*i - 13. Let v be 16/(-7) + -1 + i. Which is bigger: v or 1?
1
Let m be ((-170)/(-33))/(-5) - (-2)/3. Which is smaller: m or -1?
-1
Let a(l) = 9*l**2 + 2*l - 1. Let k be a(-2). Suppose -3*p = 4*o - 19, 3*p = 3*o - k + 1. Is 13/2 bigger than o?
False
Suppose 2*r + 3*t + 21 = 8*t, 3*t = 2*r + 15. Which is smaller: r or -11/6?
r
Suppose -3*h + 4*q = 15 + 4, 0 = 4*h + 4*q + 72. Which is smaller: h or -12?
h
Let g(j) = j - 22. Let b be g(22). Which is bigger: 4/39 or b?
4/39
Let h = -0.2 - -1.2. Let y = 0 + h. Let l = -1.2 + y. Is l bigger than 2/5?
False
Let w = 52 - 35. Is w equal to 19?
False
Suppose -18 = -4*h + h. Suppose 3*s = -5*y + 11, -12 = -2*s + h*s. Suppose -3*l + 8*l = -5*p, 3*p = 4*l - 7. Is y bigger than p?
True
Let i be (-3)/8*70/15. Is -3 less than or equal to i?
True
Let a = -6.86 + 7. Let t = 0.04 - a. Which is smaller: -1 or t?
-1
Let h = -331/5 + 65. Let j(g) = -g**2 + 3*g - 2. Let a be j(2). Which is smaller: h or a?
h
Suppose 0 = -5*k, -2*k + 4 = 4*a - 0*k. Let l be ((-6)/52)/(51/68). Which is bigger: a or l?
a
Suppose 3*t = -5*t - 8. Is 10 not equal to t?
True
Let j = 67 + -49. Which is greater: j or -0.3?
j
Let h = 3/77 + 25/3311. Let j be (-117)/(-258) + 1/(-1). Let y = j + h. Which is smaller: y or 2/3?
y
Let o = -0.3 - -0.2. Let p be (-6)/10 + (-108)/(-30). Let g be (-28)/(-10) + -1*p. Which is smaller: o or g?
g
Let a = 0.3 - 0.34. Let s = 0.06 - a. Is s at least as big as 0.1?
True
Suppose 0 = 5*a - 0*a - 215. Suppose 0 = 4*l + a - 15. Is -7 bigger than l?
False
Suppose 21 + 0 = -3*d. Which is smaller: -6 or d?
d
Suppose 2 = -2*r, -8*r + 16 = -3*u - 3*r. Is -6 <= u?
False
Let r = -5 - -3. Let x = -3 + 4.9. Let l = x + r. Which is smaller: l or -2/5?
-2/5
Let r = -148189/28 - -5293. Let l = -1/28 - r. Which is bigger: l or -1?
l
Suppose 5*a - 5 = 2*r, -3*r = -5*a - 2*r + 5. Let z = a + 0. Which is smaller: -1/5 or z?
-1/5
Let z = -7 + 23. Is 17 smaller than z?
False
Let m = -0.03 + -3.97. Let l = -2 - m. Let t = l + -2.1. Are t and -0.1 non-equal?
False
Let b be ((-15)/(-30))/((-1)/46). Is -23 less than or equal to b?
True
Let z = 119 - 113. Is 6 greater than z?
False
Let s = -8/23 + 119/276. Is s equal to 1?
False
Let j = 24 + -15. Does 9 = j?
True
Suppose 180 = -2*v - 0*v. Let g be (0 - -4)*5/v. Which is greater: 1 or g?
1
Let n be (-4)/30*(-3)/2. Let l be 69/(-12) - 30/(-5). Which is bigger: l or n?
l
Let d be (-5)/(-4) + (-2)/8. Let p be 3/(d*-3) - -2. Let q be 2 + (0 - p) - 0. Is -3/7 less than q?
True
Suppose z + 0*z = -6. Let w(f) be the third derivative of -f**4/12 - 7*f**3/6 + 5*f**2. Let t be w(z). Which is smaller: 4 or t?
4
Suppose -2*v - 2*b - 455 = v, -4*v = -4*b + 620. Let j = v + 1068/7. Let s be 0 - -1*2 - 1. Is j less than s?
True
Let u(d) = d**3 - 5*d**2 - 5*d - 3. Let f be u(6). Suppose 0 = -z - 3*c - 5 - 3, -4*c + 24 = -f*z. Is -7 at most as big as z?
False
Let c be -10*(42/33)/1. Let g = c + 2638/209. Which is bigger: 0 or g?
0
Let x(f) = -f**3 + f**2 + 14. Let b be x(0). Is b at most as big as 15?
True
Let o(g) = -4 + 5 - 2*g**2 + 2*g**3 - 3. Let t be o(2). Suppose -2*a + 10 = -4*s, 3*s + 2*s + 4*a + t = 0. Is -1 < s?
False
Let z be -1 + -2 - (-4)/(-2). Which is bigger: z or -9/2?
-9/2
Let s be -5 + (-3)/(6/2). Is s greater than -6?
False
Let p = -10 + 4. Which is bigger: p or -1?
-1
Let w(m) = -m. Let s(a) = -a. Let f(g) = s(g) + 3*w(g). Let r be f(2). Let h = r + 6. Are h and 0 nonequal?
True
Let o be (-5)/(-5) - (-278)/(-284). Let x = o + -132/1207. Let r = x + 77/102. Which is bigger: r or 0?
r
Let c(v) = -v - 1. Let b(m) = m**2 + 13*m + 5. Let t(d) = b(d) + 6*c(d). Let q be t(-7). Let p be (q - (-2 - 0))*0. Are p and -1 unequal?
True
Let u be (-6)/5*(-10)/(-3). Let l = -10 - -14. Suppose 2*y + 2*x = -4, -l*y - 3*x + 2*x - 11 = 0. Is u less than y?
True
Let i = 46 + -46.08. Which is smaller: -1/4 or i?
-1/4
Let m be 1 + (-8*1)/(-1). Is 0 less than or equal to m?
True
Let d be (-371)/98 - (-3)/(-6). Which is greater: -5 or d?
d
Suppose -5*c - 1 = -3*s - 15, 0 = 3*c - 12. Suppose -1 = s*b + 5*o - 8, 33 