 w be y(-31). Let s be ((-7)/w)/((-1)/(-4)) - 2. Which is smaller: d or s?
d
Let o = 4 - 4.4. Let a = 78.5 + -79. Let l = a - o. Is l bigger than 1/5?
False
Suppose 0 = -2*q + 5*m + 66, 3*q - 74 - 51 = m. Let w = 49 - q. Suppose -3*z + 0*z = -18. Do w and z have the same value?
True
Let c = -7 - -12. Suppose -b + 2*b = c*b. Which is greater: b or 62?
62
Let k = 1/5249386175490695739 + 284006264651732461242794257/31943870090892265302771154674. Let z = 96/417313 + k. Let i = z - -4/317. Which is smaller: 1 or i?
i
Suppose 24 = -3*t - 3*q, -3*t - 17 = t - q. Which is smaller: -24/5 or t?
t
Suppose -4*r + 2 = 5*n + 26, -5*n - 22 = 2*r. Suppose 3*b - b + 8 = 0. Let o be -1*0*b/8. Which is smaller: r or o?
r
Let y = -9 - -28. Suppose 8*g + y - 3 = 0. Do 8/7 and g have different values?
True
Suppose 3*h - 12 = -2*w, 5*w - 5*h + 8 = -3*h. Let o(l) = 5*l - 3. Let k be o(3). Suppose -y + k = 4*r - 8, 0 = y + 2*r - 10. Is y smaller than w?
False
Let y(t) = -19*t - 108. Let a be y(-12). Which is bigger: a or -2/7?
a
Let d(p) = -2*p - 38. Let i be d(-14). Let n(h) = -h + 3. Let f be n(6). Which is bigger: f or i?
f
Let j = 203 + -205. Which is smaller: j or -3/5?
j
Let l = -0.2 - 22. Let s = l + 22. Which is bigger: s or 0.3?
0.3
Suppose 14*c + 17*c = 12586. Is c at least 406?
True
Suppose 2*m - y = -28, 0 = y - 4 - 0. Is -13 > m?
False
Let o be (110/6)/((-8)/24). Let c be (74 + -2)*5/(60/(-9)). Which is greater: c or o?
c
Let a be 4429/(-17510) - (-2)/(-10)*-2. Suppose 5*y - 3*y + 2 = 0. Which is bigger: y or a?
a
Let b be 4/10 - (-16)/(-5). Let v be (-2*3*1)/(54/36). Which is smaller: v or b?
v
Let v = -209 + 372. Which is smaller: v or 165?
v
Let s be -28 - 0 - -2*(1 + 0). Let g = s + 183/7. Which is smaller: 3 or g?
g
Let r be ((-26)/6)/((-2)/(-48)). Let f = 103 + r. Which is bigger: f or -2/375?
-2/375
Let u = 0.06 + 0.84. Let j = u - 0.6. Let v = -14 - -16. Is j != v?
True
Suppose 0*j = j - 5. Suppose j*z = z - 24. Let y = -6 - z. Does y = 4/7?
False
Suppose 3*z + 13 = 5*g, -4 = -4*g + 2*z + 2*z. Suppose w - 5*l = 13, -g*l = -5*w - 0*l + 5. Let x = 0.28 + -0.39. Is x bigger than w?
True
Let a = -254 + 3047/12. Is a greater than 0?
False
Suppose -2*b - 2*o = 28, 67 = -3*b + 5*o + 1. Let d(f) = f**2 - 19*f + 73. Let k be d(10). Do k and b have different values?
False
Suppose -10*j - 22 = -12*j. Let s = 9 - j. Which is bigger: s or -5/3?
-5/3
Let k = 1162 + -1163. Is k less than 1?
True
Let p = -4532 - -412400/91. Is 0 smaller than p?
False
Let k(r) = -r**2 + 19*r + 51. Let v be k(21). Let m(j) = 15*j**2 + 1. Let y be m(-1). Suppose 3*h - y = 8. Does h = v?
False
Let c(g) = 2 - 5 - 1 + 2*g. Let x be c(3). Let z be 2 - (3 + -37)/x. Which is smaller: 18 or z?
18
Let d be 0 + ((-2)/160)/(27/36468). Let j = -67/4 - d. Which is smaller: j or -1?
-1
Let r be -227 + 1 + (-14 - -15). Let x = 2023/9 + r. Which is smaller: x or 0.04?
x
Let s = -3.15 - -1.15. Which is bigger: -2/23 or s?
-2/23
Let v = -10.67 + 11. Let q = v + 5.67. Which is smaller: 1 or q?
1
Let z = -4.68 + 4.88. Which is greater: z or -50?
z
Let g(k) = -52*k**3 - k**2. Let t be g(-1). Let l = t - 33. Which is bigger: l or 0?
l
Let o = -35 + 37. Let y be 51*((-9)/(81/6))/o. Does y = -21?
False
Suppose -3*k + 8*k - 1650 = 0. Let z be ((-1)/(-4))/(9/k). Let f = 9 - z. Which is smaller: 1 or f?
f
Let i be 6/10 + 21/15. Suppose -2*d + 12 = -i*p, 5*d + 0*p - 27 = 2*p. Let h(b) = b - 6. Let q be h(d). Which is smaller: -1/12 or q?
q
Let o = 63 + 27. Let m = -452/5 + o. Let u = -0.3 - -1.3. Which is bigger: u or m?
u
Let w = 724 - 9414/13. Is w at most 2/159?
True
Suppose -q - p = -0*q - 14, -2*q + 5*p + 14 = 0. Is q less than 11?
False
Let v be 7 - 4 - 11 - 1/(-1). Let u be ((-5)/28)/(v/84). Is 1 bigger than u?
False
Let v = 1211 + -834. Which is greater: v or 376?
v
Let v be (144/20)/(1 - (-63)/(-70)). Which is greater: v or 75?
75
Let g = 54 - 29. Is g > 25?
False
Let u be 0 - (85/(-102))/((-5)/9). Let d = 7 + -10. Is u > d?
True
Suppose -4*s - 1 = 5*w + 2, 4*w = 4*s + 12. Suppose w = 3*u - 17. Let x be ((-13)/(-65))/(u/10). Which is greater: x or 3?
3
Let p = 7.8 + 2.2. Let s = p + -10.01. Let w = 1.99 - s. Which is bigger: w or 0.02?
w
Suppose -68*k + 58*k + 60 = 0. Suppose 0 = -2*u - 3*z - 6, 2*u + z = -z - 2. Suppose -u*m = -m - s - 14, 3*m + 5*s - 47 = 0. Do k and m have different values?
True
Let k be 2/(-5) - (-5208)/(-1705). Is -2 not equal to k?
True
Let o = -900 + 925. Which is greater: o or 177/7?
177/7
Let b(j) = -j**2 + 7*j + 31. Let r be b(10). Which is smaller: r or 13/38?
13/38
Let n(i) = i**2 + 42*i + 11. Let l be n(5). Is l at least 246?
True
Let x = -100 + 101.39. Let u = x + -0.39. Do u and 8 have the same value?
False
Let k(r) = -3*r + 17. Let u be k(6). Let w = -2504/23 - -109. Which is bigger: u or w?
w
Let g be (-2)/(-10) + (243/45)/3. Is 32 greater than or equal to g?
True
Let l = 170 + -120. Suppose -4*n = -141 - 55. Is n less than or equal to l?
True
Suppose -3*m = -4*m + 120. Is 118 at most m?
True
Let o(l) = l**3 - 6*l**2 - 7*l + 2. Let m be o(7). Let z be -6 + -12 - (m - 5). Let s = -17 - z. Which is smaller: s or 0?
s
Let r be (-2)/7 - (-4)/14. Suppose -2*m - m + 12 = r. Suppose 2*z - 21 = 3*y, -m*z = -2*z - 6. Is y not equal to -6?
True
Let i be ((-245)/(-14))/7 + (1 - 3). Which is smaller: -13/9 or i?
-13/9
Suppose 0 = 8*o - 4668 + 860. Is 476 < o?
False
Let v(y) = -y**2 + 5*y - 4. Let l be v(4). Suppose 5*i + 4*o - 31 = l, o = -3*i + i + 10. Which is smaller: 0 or i?
0
Let b(f) = -f - 2. Let y be b(-4). Suppose 0 = y*n - 3 + 13. Let s be 4 + ((-50)/(-2))/n. Is -3/4 > s?
True
Suppose -4 = 2*i, 135*i + 323 = -5*k + 131*i. Which is smaller: -639/10 or k?
-639/10
Let j(z) = -2*z - 1. Let v(d) = -d - 1. Let g(q) = 2*j(q) - 5*v(q). Let h be g(-4). Let a be (-3)/(-15) - 55/400. Is a equal to h?
False
Let d be ((-156)/9)/(-2) + (-5)/(-15). Suppose -1 + 10 = d*s. Which is smaller: s or 1/152?
1/152
Let m = -4 + 4. Let p = 0.98 + 7.02. Which is bigger: p or m?
p
Let y = 0.3 + -0.5. Let i = -3.44 + 10.44. Which is greater: y or i?
i
Let s = -954 - -957. Which is smaller: 60/19 or s?
s
Suppose -2*l = -4*l + 836. Let m be 2/(-21) - l/462. Is 1 != m?
True
Suppose 31*z = 17*z. Do 3/230 and z have the same value?
False
Let t = 1409 + -1593. Which is greater: t or 3?
3
Let m = 0 - -2. Suppose -4*h + 12 = -h. Suppose 10 - 26 = -h*t. Is m < t?
True
Let j(d) = -d + 7. Let r be j(6). Let l be r/6 - (-237)/(-18). Let m = 89/7 + l. Is m smaller than 0.04?
True
Let v = -0.258 + 0.31. Is -0.4 != v?
True
Suppose 4*l - 16 = 4*o, 5*o + l = -5 - 9. Let g be 3*(-1)/o*-1. Let f be ((-5)/(50/4))/((-31)/(-5)). Is g <= f?
True
Let i be (-6292)/(-4752) + (-10)/8. Let g(c) = -c**2 + 6*c - 6. Let x be g(5). Let f = 0 - x. Is i less than or equal to f?
True
Suppose 13 = 3*f - 2. Suppose -9 + 0 = -3*w, f*w + 30 = 5*g. Which is bigger: 8 or g?
g
Let t = 5 - 6. Let s = 8 + -4. Let m = s - t. Which is greater: -1 or m?
m
Let k(q) be the third derivative of q**6/120 + q**5/4 + 17*q**4/24 + 17*q**3/6 - q**2. Let b be k(-14). Let h = b - -41. Is h bigger than 16?
False
Let l = 0.086 + -1.086. Are l and 10 equal?
False
Let d = -4 + 3.7. Let c = d - 0.7. Let w = -104 - -97. Which is smaller: c or w?
w
Let f(i) = 54*i - 66. Let b be f(-9). Is -552 at most as big as b?
True
Suppose -4*p - 3*u + 16 = 0, 2*u = -5*p + 6*u + 20. Suppose -p*t + 5 - 1 = g, -4 = -g - 2*t. Let k = 94 + -92. Which is greater: k or g?
g
Let n = -12 + 5. Let z = n + 10. Let c be (-8)/(-3) + 4/(-6). Which is bigger: c or z?
z
Let w(s) = s**3 + 24*s**2 + 2*s + 51. Let k be w(-24). Do -33 and k have different values?
True
Let k(u) = -56*u - 272. Let d be k(-19). Do d and 792 have different values?
False
Let i(z) = z**2 - 20*z + 2. Let n be i(17). Let v be (-20)/130 - (-1244)/(-26). Which is greater: n or v?
v
Let l = -17.5 + 0.5. Let p = -120 - -120.095. Let r = 0.005 + p. Which is smaller: r or l?
l
Suppose 0*l - 7*l - 7 = 0. Which is smaller: 29 or l?
l
Let w be 15*55 + (-27)/18*-2. Is w at most as big as 828?
True
Let t = -95/308 - -1/44. Let n be ((-2)/(-5))/(2/80). Suppose j + 2*m + m - 11 = 0, -n = -4*m. Do t and j have the same value?
False
Suppose 4*v + 8*u + 35 = 3*u, -4*u = -v - 35. Let k = v + 24. Let m(o) = o - 12. Let c be m(k)