3 + 7)/(-4). Let j = -1671/11 - a. Which is smaller: j or v?
v
Suppose 60*b + 741 = 3*b. Do -15 and b have the same value?
False
Suppose -2*b - b = 4*c - 109, -5*b + 178 = 3*c. Suppose i = -5*f - i - b, 2*f = 2*i - 14. Is f at most -8?
False
Let m = -1052 + 1051. Suppose -3*w - 24 = w. Do m and w have the same value?
False
Let z(c) = 87*c + 39. Let f be z(-2). Which is bigger: f or -136?
f
Suppose -u + 3 = -4*g + 2*u, -5*g + 5*u - 10 = 0. Suppose g*j = m + 41, 4*j - m - 33 = 22. Is j >= 13?
True
Let a(r) = r - 2. Let b be a(3). Let v be -26*b/5 + 2. Let h be (-1)/((-5)/(-25)) + 5 - 2. Is h at least as big as v?
True
Let f = -42 - -24. Let i = f - -18. Which is smaller: i or 23?
i
Let i = 43.54 + -35.4. Let n = i - 0.14. Let y = 10 - n. Is y greater than or equal to -0.3?
True
Let j = 12.24 - 0.24. Let b be (-21)/(-60) + (-27)/36. Is b at least j?
False
Let w = -0.093 + -12.907. Let j = 18 + w. Which is greater: j or -3?
j
Let t(w) = 2*w**3 - 15*w**2 + 10*w - 20. Let k be t(7). Let f = -657/88 - -78/11. Is k >= f?
True
Let h = 66 - 12. Let f = 162 + -109. Which is bigger: f or h?
h
Let r = -7378 - -951767/129. Is 1 at most r?
False
Let q = 0.3 + 0.1. Let l = 9 + 18. Let m = l + -27. Is q at most as big as m?
False
Let r = -11944/10087 + 90/77. Is -0.2 > r?
False
Let v(s) = s**3 - 4*s**2 + s - 5. Let h be v(4). Let c = -11097/17 - -653. Which is smaller: c or h?
h
Suppose -j - 2*j = 0. Let g be (-2)/(-2 - 0) + j. Suppose -39 + 9 = -5*o + 5*a, 3*a = -2*o + 2. Is g bigger than o?
False
Let u = -56.2 + 61. Let g = 4.7 - u. Which is bigger: -5/13 or g?
g
Suppose -2*u + 31 + 7 = 0. Are u and 22 nonequal?
True
Let i be (-1022)/(-63) + 1 + -2 + 1. Which is smaller: 17 or i?
i
Let x(c) = -c**2 - 4*c - 3. Let j be x(-3). Let z(d) = -5 + j*d - 8*d + 11*d - d. Let a be z(2). Which is greater: a or -4?
a
Let w be 3270/(-350) - (-5)/((-25)/(-6)). Which is greater: w or -8?
-8
Let b = -66.4 + 12.4. Let m = -65 - b. Which is smaller: m or -0.1?
m
Let f be 0 - -1*(-14 - -1). Let n(k) = 145*k - k**2 - 46*k - 13 - 35*k - 42*k - 37*k. Let v be n(f). Which is smaller: 12 or v?
12
Suppose -3*s = 3*l - 2*l + 1, -l + 15 = -5*s. Let o be (s/(-33))/(3 - 30/9). Do o and 2 have the same value?
False
Suppose -12 = 2*h - x + 3*x, 2*h - 5*x + 19 = 0. Let a(k) = -6*k - 37. Let u be a(h). Let o(c) = c**2 + 6*c + 6. Let g be o(-6). Is u not equal to g?
True
Let y = -9.074 + -0.926. Is 1.5 not equal to y?
True
Let d(b) = 3*b**2 + 5*b - 18. Let o be d(6). Let c be 1/(-8) + (-3 - (-275)/o). Is 0 at most as big as c?
False
Let o = 1899.03 - 1887. Let z = o + -0.03. Let s = z - 11.9. Is 1/3 not equal to s?
True
Let o be 0 - 1 - 15/(-21). Let z = 61.05 - 23.21. Let i = z - 38. Which is smaller: o or i?
o
Let l be (((-76)/(-114))/((-2)/6))/2. Which is greater: -1/200 or l?
-1/200
Let h be 2/4 + (-92)/88. Let m(s) = -s**2 + s - 2. Let f be m(0). Let z(v) = v**3 + 3*v**2 + 2*v. Let i be z(f). Is i equal to h?
False
Suppose y + 3*y = 8. Suppose 4*g + y + 26 = 0. Let q(f) = -10*f - 197. Let x be q(-19). Is x at most g?
True
Let x be (-22)/55 + (-29927)/(-5). Let p be 2 + (x/(-39))/3. Let u = p - -49. Which is smaller: u or 0?
u
Let u = 1693/2440 - 21/305. Suppose 2*n - 10 = 2*m, -8 - 12 = 5*m. Which is smaller: u or n?
u
Let j = 3 + -2. Suppose 0 = 5*h - 15 + 5. Suppose -6*y + h*y + 8 = 0. Which is bigger: y or j?
y
Let m = -1/1342 - -753/110044. Which is smaller: -2 or m?
-2
Let w = 78119763/4278758 - 2/583467. Let y = 8/33 + w. Which is bigger: y or 18?
y
Let g = -101 - -103. Which is smaller: g or 9/11?
9/11
Let p be (-5)/40 + 237/(-24). Let x = -7 - -16. Let y be (-16 - -1)*6/x. Is p smaller than y?
False
Let q = 6012 - 14154. Let i be (q/(-936) - 8) + 3/(-4). Is -1 not equal to i?
True
Suppose 4*x - 502 = -2*a, 0*a = x - 2*a - 128. Which is bigger: 124 or x?
x
Let s = 114 + -90. Which is smaller: -1/6 or s?
-1/6
Let y = -14 - -10. Let x be y/10*225/35. Which is smaller: x or -2?
x
Let k = -69 + 76. Let q be -3 - k/(364/(-120)). Is -1 at most as big as q?
True
Let p = 7.01 - 0.01. Let c = p - 11. Suppose -2*m = 8, 2*l - 2*m = 10 - 4. Is c at most as big as l?
True
Let j be (-1599)/13*(-2)/3. Let t = j + -55. Is t not equal to 28?
True
Let r(v) = -33*v - 1682. Let x be r(-51). Let h be 14/44 + (-2)/4. Which is smaller: h or x?
h
Let b = 0.064 - 78.064. Let m = b + 75. Let o = -3.3 - -0.3. Is o < m?
False
Let k be 34/48 - 1/3. Let g = 811 - 811. Do g and k have the same value?
False
Suppose -5*a + 3*a = -10, -2*p = -a - 1. Suppose -2*j = 4*h + 24, 3*h + 19 = j - p*j. Is -4 < h?
False
Suppose -48 = 9*a + 24. Let d = 8 + a. Which is smaller: -5/12 or d?
-5/12
Let w be -49 - -45 - (-2 + 98/(-11)). Is w at least as big as 7?
False
Suppose 9*o = -5*s + 5*o - 178, -2*o + 132 = -4*s. Is -25 < s?
False
Let t(c) = c**2 + 9*c + 1. Let o be t(-9). Let h be o/2*(-2 + 0). Let v(b) = -4*b - 1. Let w be v(h). Is w less than or equal to 15/4?
True
Suppose 2*p - 5*c = -51, 61 - 11 = -5*p - 3*c. Is -12 bigger than p?
True
Let b = -82 + 96. Let p(m) = m**2 - 4*m + 3. Let n be p(3). Suppose n = i + 2*i - 6. Which is bigger: b or i?
b
Let h = 1.767 + -130.067. Let k = h + 128. Is -0.24 bigger than k?
True
Let f = -21 + 22. Let t be 36/(-19) - (f - (-3 + 6)). Is 1 greater than t?
True
Suppose 64 = 2*v + 5*j, -8*j + 6*j + 30 = v. Suppose b + v = -12. Is b bigger than -33?
False
Let j = 17 + -18. Let u(f) = 18*f**3 + f**2 + 2*f + 1. Let a be u(j). Does -18 = a?
True
Let z be 352/(-616) + ((-1290)/21 - 2). Which is smaller: -255/4 or z?
z
Let q be 21/((-1638)/2544) - -6. Which is smaller: -27 or q?
-27
Let o be (-1)/3 - (-10)/3. Let u be (21/56)/((-63)/(-364)). Which is greater: u or o?
o
Suppose 0 = -4*m + 10*m + 6. Let c = -709 - -40415/57. Is m > c?
False
Let c be ((-26701)/10)/(11/(-22)). Let w = 5317 - c. Which is greater: -22 or w?
-22
Let i = 80 - 398/5. Suppose -5*f + 4*g = 12, 8 = 3*f + 5*g - 7. Is i <= f?
False
Suppose 67 = 9*k + 13. Let i(w) = 5*w + w**2 + 4 - 5*w. Let t be i(0). Is k at least as big as t?
True
Let l = -237 - -531. Is l equal to 292?
False
Let a = 23/3 - 54/7. Let f = a - 2/7. Let m = 116.2 - 115. Is m bigger than f?
True
Let p = 0.108 + -30.108. Which is smaller: p or -2?
p
Let c = -597 - -585. Is c <= 4?
True
Suppose -2*k + 4*m + 4 = 0, k - 4*k - 3*m = -15. Let f be (6875/(-65))/(-5) - k/26. Do 20 and f have different values?
True
Let c = 64 - 62. Which is greater: 0.75 or c?
c
Suppose 2044 = -7*h - 1134. Let j = h - -97. Let x be (j/90 - -4)*3. Which is bigger: x or 1?
1
Let s = -33 + 25. Let z = -22 - s. Is -14 equal to z?
True
Let u(m) = 23*m - 822. Let g be u(36). Let i = 14 - 9. Is g > i?
True
Let c = 5 + -4. Suppose 4*b + 2*z = -c - 3, 5*b - 3*z = 6. Let x be -6 + 9 + -4 + b. Are x and 3/8 unequal?
True
Suppose -4*y + 13 + 7 = 0. Let s be (6/3)/(-3 + y). Let h be (109/218)/((-6)/4 - -1). Which is greater: h or s?
s
Suppose 38 - 14 = -12*b. Suppose -h - 4 = 1. Let u = h - -7. Which is greater: u or b?
u
Let l = -25.39 + 2.39. Is l < -8?
True
Let z(h) = -2*h**3 + 37*h**2 - 15*h - 43. Let m be z(18). Which is bigger: m or 9?
m
Let n be 50/8 + (-5 - -8 - 9). Is n greater than 1.2?
False
Let c = -5111 + 5112. Let p(j) = 2*j**2 - 6*j + 2. Let z be p(4). Which is bigger: c or z?
z
Let j be 884/(-2275) - 8/(280/(-15)). Which is smaller: 0.9 or j?
j
Let q(g) = -g**3 + 7*g**2. Let j be q(7). Suppose 6*u - 24 = -j. Which is bigger: u or 6?
6
Let i be (-2 - (-1 - 7))*(-1)/23. Suppose 0 = 2*d + d + 3. Which is smaller: d or i?
d
Let i = -98 + 149. Let c = i - 155/3. Which is greater: c or -1?
c
Let x be (-2)/8 - (-11 - (-105)/10). Which is greater: x or 0.022?
x
Suppose 8*k + 245 = -59. Is k < -235/6?
False
Let r = 19/36 + -5/18. Let n = 7.7 + -8. Let v = -4.3 - n. Are r and v equal?
False
Suppose -5*w = -45 - 0. Suppose 0 = 3*t - w. Let j(l) = 2*l**2 - 3*l. Let h be j(2). Which is smaller: h or t?
h
Suppose 2*q + 848 = -2*q. Which is smaller: -211 or q?
q
Let r = 37 - 44. Let x = r + 7. Which is greater: -12/11 or x?
x
Let a(t) = -t - 3. Let k be a(-6). Suppose -4*i + i + 2*u + 2 = 0, 4*i - 31 = -3*u. Suppose -i*y + 28 = 4*z, 5*y + 2*z - 5 = 7*z. Which is smaller: k or y?
k
Let r be (-9)/15*(49 + 0). Let q = 32 + r. Suppose 2*z = -2*z + 12. Which is smaller: z or q?
q
Let j = 85 - 5