 Let g be j(-12). Suppose -5*p = -2*s + 62, -2*p = -0*p + g*s + 40. Let f be ((-19)/(-2) + 1)*164/(-123). Is f at least p?
True
Let n be (((-171)/(-6))/19)/(6/16). Is 8/3 greater than n?
False
Let z = 861 - 903. Is -130/3 >= z?
False
Let o be (12 - 36)/((-6)/(-4)). Is -17 at most as big as o?
True
Let j = 0.0231 + 0.0769. Let l = 0 + 0.1. Is j at most as big as l?
True
Let j be (-27)/(-3)*1/(-3). Let z(l) = 4*l**2 - 35*l - 9. Let b be z(9). Is j less than b?
True
Let x = 124 + -198. Let n = x - -53. Is -21 < n?
False
Let m = 39 + -45. Is -5/4 not equal to m?
True
Suppose 322 = 3*h + 4*i, 5*h + 5*i - 224 = 3*h. Let q be (-8)/28 + h/14. Which is smaller: 4 or q?
4
Let n(h) = 2*h**3 - 2*h**2 - h. Let c be n(-4). Let q be (-1)/(-2) + 70/c. Suppose 136*m - 134*m = -10, 6 = x - m. Are x and q equal?
False
Suppose 3*d + 2*d = 0. Suppose 2*g = 1 + 3. Suppose g*z - 1 = -5. Which is greater: d or z?
d
Let u = 117 - 125. Which is smaller: u or 18?
u
Let r = 26 - 5. Let a be (1/(-3))/((-7)/r). Let j be ((-25)/70)/(a/(-2)). Is j > 2?
False
Suppose 0 = -3*i - 3*w + 165, -w - 178 + 13 = -3*i. Is 56 less than i?
False
Let y = 295663/2217 + -21/739. Which is bigger: 134 or y?
134
Let f(v) = -v**3 + v**2 + 3*v - 119. Let i be f(0). Is i > -118?
False
Suppose 0 = -3*r - 5*n + 23 + 1, -15 = -5*n. Suppose -z + 4 = -5*z - h, 2*z = r*h + 12. Is z at least -4/13?
True
Let m = 1390 + -1388. Which is greater: -16.6 or m?
m
Let x be ((-27)/(-2))/((-51)/306). Which is smaller: x or 6/5?
x
Let v = -0.92 + 1. Let q = 673.08 - 675. Let t = v - q. Which is bigger: t or -1?
t
Let l(g) = g**3 + 6*g**2 - 18*g - 12. Let n be l(-8). Suppose -d + 45 = n*h, 1 + 8 = 2*h + 5*d. Which is bigger: h or 11?
h
Let q be (16/6 + -1)*-3. Let k = 8 + q. Suppose 6*z = -80 + 104. Which is smaller: k or z?
k
Let g = -42 + 41. Let t be g - (-10)/6 - (-424)/(-159). Is t at least -2?
True
Let d = -289.2 + 294. Do -17 and d have the same value?
False
Let v be ((-11)/(-2) + -7)/((-1)/18). Which is smaller: v or 7?
7
Let v be (9/(-21))/(-3)*(-30)/55. Is v equal to 0?
False
Suppose -5*d - 4 = -4*q - 12, 0 = q - 5*d + 17. Suppose 5*f + 3*o - 3 = -2, -7 = f + q*o. Is f > 0?
True
Let k be (1522/453)/2 + -1. Let l = -2/151 + k. Let v be 0 - ((2 - 5) + 2). Which is smaller: l or v?
l
Let p be ((-6)/(-8) - 0)*(-1 - -9). Let r be (24/9)/(10/15). Suppose -2*m - 5 = -f + r, -m - 22 = -4*f. Which is bigger: f or p?
p
Let f be (-2)/3*((-351)/18 + 20). Which is smaller: 1/185 or f?
f
Let w = -1.82 + 0.82. Is 2/63 > w?
True
Let x = 471 + -1414/3. Which is smaller: -341 or x?
-341
Let x be (-6)/8 - (-7)/((-140)/(-135)). Which is smaller: 4 or x?
4
Let z be (-4)/(-6) - 10/15. Let h be 1*(0 + 0)*1. Let j be h - (-2)/(-18)*2. Which is smaller: j or z?
j
Let f be (-4)/(39 - 7) - (-239)/(-8). Suppose -2*l = -5*m - 97, -5*l + 32 - 10 = -2*m. Let z = f - m. Which is smaller: -10 or z?
-10
Let x(g) = g - 20. Let u be x(21). Is 7/321 smaller than u?
True
Suppose 0 = 4*o - 12, 4*o + 114 = 2*d + d. Let c be 10/(7 - 5) - 0. Suppose y + 4*y + c*f = -120, -2*y - d = -f. Is y at least as big as -22?
True
Let j(t) = t**3 + 6*t**2 - 2*t - 8. Let f be j(-6). Suppose -5*i - 13 = f*l + 92, -42 = 2*i - 4*l. Let d be 2/(-3) - (-49)/i. Do -5/2 and d have the same value?
False
Suppose 11*j - 16*j + 15 = 0. Suppose -f = 4*f + 20. Let p be 8/(((-12)/j)/f). Is p < 8?
False
Let w(g) = -6*g - 103. Let f be w(-14). Is f greater than or equal to -77/4?
True
Suppose 166 = 16*b + 67*b. Is b bigger than 3?
False
Let k = 2.91 + 0.09. Let l = 3.02 - k. Let v = l + 0.18. Which is smaller: 2/9 or v?
v
Let a = -0.3 - -0.5. Let q = -0.7 + a. Let z = 0.107 + -2.107. Which is bigger: z or q?
q
Suppose 0 = 7*b - 2056 + 208. Which is smaller: 265 or b?
b
Let m = 0.06 - -10.54. Let d = m - 11. Is d bigger than 3?
False
Let q = -2.0532 - -0.0532. Let p = -0.13 - -1.33. Is p smaller than q?
False
Let m = 69778/555 + -11/185. Is 127 != m?
True
Let v = -6.3 - -7.5. Let o = v - 3.2. Is o greater than -53?
True
Let g be (-1)/(-6 - (-3570)/594). Which is bigger: -98 or g?
-98
Let n = 10/249 + -11753/1245. Suppose -5*k - 20 = -3*k. Which is greater: n or k?
n
Suppose 2*c + 5*x - 740 = 0, 31*x - 29*x = c - 352. Which is greater: -1/2 or c?
c
Let i(q) = -q**3 + 12*q**2 - 27*q - 13. Let w be i(9). Let a = 17 + -31. Is w <= a?
False
Let r = -7889946/541 - -14584. Is r > 1?
False
Let p(q) = q**3 + 14*q**2 + 12*q - 7. Let c be p(-13). Suppose 5 - c = i. Let y be (-1)/(-2) - 2/6. Which is smaller: i or y?
i
Let w = 8.99 + 1.31. Is w greater than 0?
True
Let w be 12/2*(-4)/(-6). Let h be ((-2)/w)/(6/(-48)). Suppose -2*l = 3*v, -h*l + 28 = -0*v - v. Which is bigger: 7 or l?
7
Suppose -2*i - 174 = 3*n, 6*n - 3*n - 186 = 2*i. Let l = i + 56. Which is greater: -32 or l?
-32
Let n(f) = -f**3 + f**2 + f + 17. Let v be n(0). Suppose 5*r - k + v = -2*k, -19 = r - 5*k. Suppose -115*s + 119*s + 24 = 0. Is r < s?
False
Let f be (11 - 14) + 86/30. Let v = f - -7/40. Is v at most as big as -1/3?
False
Let x be (-40)/220 - (-304)/1914. Is 0 greater than x?
True
Let b = -0.08 + -0.02. Suppose -93*m = -95*m + 42. Suppose m*r + 15 = 18*r. Which is smaller: b or r?
r
Let a(q) = q - 7. Let o be a(0). Let k(g) = -g - 3. Suppose -p = -3*f + 2 + 12, -4*p - 24 = -4*f. Let r be k(f). Are o and r nonequal?
False
Suppose -9*v = -8*v. Let c be 1/(-30)*2 - 0. Let z = -4/15 + c. Is z smaller than v?
True
Let h be (1/(-2))/((-1)/10). Suppose 0 = 2*n + 5*d + 21, 0*n + 5*d = -h*n - 15. Which is smaller: -1/6 or n?
-1/6
Suppose -18 - 48 = 2*t. Let n = 36 + t. Suppose 0*x - x = -4*k - 3, -3*k = n*x + 6. Which is smaller: k or 2/55?
k
Let j(b) = -b**2 + 9*b - 11. Let x be j(6). Let c = 7 - x. Let z be (-6)/(-4)*(-1)/21. Which is greater: z or c?
c
Let j(s) = s**2 - 8*s - 32. Let m be j(11). Which is smaller: m or 2/1935?
2/1935
Let b = 34 + -49. Let r = b + 27. Let t = r - 13. Which is greater: -2/17 or t?
-2/17
Suppose 2 = 22*m + 24. Which is smaller: 2/395 or m?
m
Let r = 46 + -40. Let a be ((-45)/r)/(-3) - 4 - -1. Which is bigger: 25 or a?
25
Suppose 6*u = -24 - 12. Suppose -2*t - 25 = -3*q, t - 5*q + 6*q = -15. Let z = u - t. Which is smaller: z or -1?
-1
Suppose -3*n = n + 12. Let c be (-4 - 1)/(n - 1). Let u = 146 - 146. Which is smaller: c or u?
u
Let m = -85 - -86. Which is greater: m or -4/301?
m
Let x be 1 - (-62)/120*-2. Suppose 3*z + 5*u = 7, -5*z + 1 = -12*u + 15*u. Is x greater than or equal to z?
True
Let r = -160905588736408313/14682694455 - -242903111004/22165. Let o = -2/230733 + r. Let p = o + -1/89. Which is greater: 1 or p?
1
Let x = -80 - -80.051. Let j = -3.051 + x. Is 1/2 at least j?
True
Let m = 12 + -16. Is -19/5 less than m?
False
Let o(f) = 14*f + 6. Let c be o(4). Let j = 50 - c. Which is smaller: 0.3 or j?
j
Let w be (3/9)/((-17)/9). Suppose 4*m + 13 = 1, 5*m + 11 = -4*u. Which is smaller: w or u?
w
Let c = -208 - -257. Is -2/7 greater than or equal to c?
False
Suppose 4*q = -p + 23 - 72, -4*q = 5*p + 69. Let o = -0.58 + 0.68. Is o less than or equal to q?
False
Let d = 19/4 - 5. Is 19 bigger than d?
True
Let z(c) = c**2 + 8*c + 10. Let v be z(-7). Let k(p) = -p**2 + 9*p - 8. Suppose 2*m = -2*m + 5*j + 17, j = 4*m - 29. Let o be k(m). Which is bigger: o or v?
v
Let r(k) = 2*k**2 + 7*k + 4. Let j be r(-3). Let h be ((-272)/2)/(1/(-3)). Let c = h + -6122/15. Are j and c nonequal?
True
Let y be 4 + (-1*5 - (-275)/341). Suppose -j + 5*j = -4. Is j equal to y?
False
Let z be (-138)/(-18)*(-3)/(-5). Is z equal to 4?
False
Let i = -0.11 + -1.14. Let u = i + 1.2. Let q = 0.05 + u. Which is smaller: q or 0.13?
q
Let o(v) = -v**3 + 5*v**2 + v. Let h be o(5). Let a(x) = x. Let q(d) = -7*d - 9. Let n(y) = -6*a(y) - q(y). Let r be n(-5). Which is greater: h or r?
h
Let y(n) = n**3 + 17*n**2 + n + 16. Let f be y(-17). Let j be -5 + (f - (-44 - 2)). Which is smaller: j or 38?
38
Let m(g) = 37*g**2 - g + 2. Let s be m(1). Let z = -18 + s. Let l = z + -24. Which is smaller: l or -5?
-5
Suppose 121*l - 112 = 9*l. Is 2/8141 greater than l?
False
Let y(f) = -f**3 + f**2 - 6. Let z be y(0). Let u(i) = -16*i - 149. Let x be u(-9). Which is greater: z or x?
x
Let c = 1385 + -1063. Which is smaller: c or 325?
c
Let x(c) = -4*c + 0*c**2 - c - c**2 - 6 - 3*c. Let m be x(-5). Let y = -0.4 - -1.4. Is y 