27 - -5.027. Let d = 4.96 + 0.04. Let g = d - o. Which is greater: g or -0.1?
g
Suppose 5*x = 2*m + 1, 0*m = -4*m + 2*x + 6. Suppose m*r = b - 3*b - 8, 4*b - 4*r = 16. Let h be (-7)/1 + 429/77. Which is smaller: h or b?
h
Let f(q) = -5*q**2 + 5. Let n(p) = -4*p**2 - p + 5. Let u(k) = 5*f(k) - 6*n(k). Let j be u(3). Let c = -0.1 + 0. Is c smaller than j?
True
Let l(s) = -29*s - 29. Let t be l(-1). Which is bigger: 21.3 or t?
21.3
Suppose 2*p + 2 = 5*u, -p + 0*u = -2*u - 1. Let b(f) = f**3 - 11*f**2 + 19*f + 5. Let w be b(p). Are 15 and w non-equal?
True
Let w = -2.397 + -0.003. Let v = 2.5 + w. Is v not equal to -0.05?
True
Let n be 8/28 - 3/((-84)/13684). Which is bigger: 487 or n?
n
Let m(u) = u**2 - 4*u - 4. Let y be m(5). Suppose -h = -b - 513, 3*h + 6*b = 4*b + 1564. Let f be (-120)/h - (-2 + (-84)/(-49)). Which is bigger: f or y?
y
Let m = 597 + -596. Which is bigger: 1/162 or m?
m
Suppose 0 = h - 5*h - 24. Let s be (-724)/(-8) - (-9)/h. Is s greater than 89?
False
Suppose -4*u = -4*p + 3*p - 11, -p - u - 1 = 0. Suppose -11*r + n = -7*r - 30, r - 12 = n. Is p >= r?
False
Let z = -65 + 92. Suppose u + 5*m = -36, -5*m = -3*u + u - z. Which is smaller: 2 or u?
u
Let n(g) = -g**3 - 13*g**2 - 9*g + 34. Let c be n(-12). Is -2 < c?
False
Let u be 2 + (48 - 0)/4. Suppose -p = 2*p - 4*o + u, -4 = -2*o. Let h be (p + -1)/(-11 - 0). Which is smaller: h or 0?
0
Suppose -7*i = 10*i - 2363. Which is greater: i or 137?
i
Let x = 111 + -115. Let r(j) = j**3 + 6*j**2 - 2. Let i be r(-6). Do x and i have different values?
True
Let o be (2/(-1))/((-130)/(-14) - 9). Which is greater: o or 6?
6
Let r = 248 + -245. Which is bigger: -16 or r?
r
Let n = -0.292 + 0.242. Is 1/8 bigger than n?
True
Suppose -4*s = -5*w - 21, 5*s + 2*w + 11 = -4. Let h = -355 + 330. Which is greater: s or h?
s
Let m(z) = -z**3 + 5*z**2 + z. Let u be m(5). Suppose -4*q - 14 = 2*c, -3*c - u + 20 = 0. Let i be ((-2)/(-4))/(1/q). Do i and -3/2 have the same value?
False
Suppose -3*f + 6 = -4*b - 6, -2*f + 8 = -4*b. Suppose 4*q - s + 73 = b, -4*q - 17 - 51 = 4*s. Which is greater: -20 or q?
q
Let z = -385 - -651. Which is smaller: z or 263?
263
Suppose -12*n = -33*n + 210. Let r = -1.3 - -0.3. Which is bigger: n or r?
n
Let g be 3 + -9 - 87*(-14)/(-6). Is g greater than 3?
False
Let t(h) = -h**3 - 7*h**2 - 18*h - 71. Let w be t(-6). Does -2/1325 = w?
False
Suppose -300 + 8 = -4*y. Which is smaller: 71 or y?
71
Let a(j) = j**2 + 3*j + 3. Let r be a(-2). Let f be 63/38*14 - -2. Let x = -25 + f. Is x at least r?
False
Let y = 582 - 510. Let i = 7/2 + -23/6. Is i at least y?
False
Let y = -49 + 85. Suppose -4*s - 5*a - 34 = 0, 3*s + y = -2*s - 3*a. Which is smaller: -17/3 or s?
s
Let o be ((-27)/(-6) - 3)*2. Suppose 0*a - a = 0, 0 = o*l + a. Suppose -r = -l*r. Are -3/25 and r equal?
False
Let t be (-48)/3144*10/(-24)*-2. Is t at most as big as -1?
False
Let u(l) = -l**2 - 2*l + 9. Let c be u(3). Let z(p) = 5*p**2 - 2*p + 2. Let y be z(1). Suppose 5*k + y*n + 50 = 0, -3*n = 2*k + 2*n + 32. Is k < c?
False
Let x(h) = -12*h - 216. Let t be x(-18). Which is bigger: 2/617 or t?
2/617
Let v = -12 - -13. Let y(w) = -2*w - 1. Let k be y(v). Let c(o) = -o**2 + 16*o - 20. Let t be c(15). Which is bigger: t or k?
k
Let d be (-14 - -20) + (-1 - 1). Let m be d/(-18) + (-322)/(-207). Suppose f + 1 - 3 = 0. Do f and m have the same value?
False
Let m(v) = -v**3 - 27*v**2 - 95*v - 69. Let q be m(-23). Which is smaller: -4/143 or q?
-4/143
Let g = -27 + -46. Let f = g - -72.9. Let n = 24 + -22.1. Is f less than n?
True
Let a = -766/5 - -155. Let n = a - 31/20. Let l = 0 + 1. Which is smaller: l or n?
n
Suppose 3*t - 13 = -5*l, -t - 2*t - 4*l = -11. Let p be -2 + 92/80*4 - 2. Which is smaller: p or t?
p
Let h(m) = 9*m + 11. Let v(k) = k**3 - 4*k**2 + 2. Let w be v(3). Let n be h(w). Let a be (-13)/n - 23/(-36). Which is bigger: 2 or a?
2
Let s = -61 - -65. Let v be s - (-1 + 4 + 1 + -1). Does v = -16?
False
Suppose -5*d = -i + 18 + 40, -2*d + 5*i - 14 = 0. Which is smaller: 8 or d?
d
Let x = -10222/3 + 3456. Is x less than or equal to 50?
True
Let h(p) = -4*p. Let i be h(1). Suppose -29 = -4*r + 47. Suppose -b + r = -3*b + 3*w, 0 = w - 3. Is i != b?
True
Let g = 2 - -2. Suppose v - g*o + 132 = 0, -321 = 3*v + 3*o - 0*o. Let j be ((-8)/v)/((-4)/(-14)). Do 1 and j have the same value?
False
Suppose -135*a + 264 = -132*a. Is 2 at most as big as a?
True
Let q be ((-11)/253)/(10/1208). Let h = 100/23 - q. Which is smaller: h or 11?
h
Let d be ((-5)/(-3) + -1)*108/4. Suppose 4 = -7*m + d. Is 2 less than or equal to m?
True
Let m = -1 - -0.96. Let k = 2.5 - 2.5. Are m and k unequal?
True
Suppose -52*g + 49*g = -162. Let m = g - 61. Which is bigger: m or -5?
-5
Let v = 1261 - 1260. Are v and -2/179 equal?
False
Let z be -2 + (-1)/(1/(-6)). Let r(j) = -2*j - j**3 - 2*j - 3 + 2 + 5*j**2. Let m be r(z). Are m and 1/4 equal?
False
Let q = -539 + 394. Which is smaller: q or -147?
-147
Suppose 5*i = -3*n - 10, 4*i + 0*n + 8 = -2*n. Let v be (1/i)/(94/8). Let y be (-184)/(-368)*(0 + -2 - -2). Are y and v unequal?
True
Suppose 3*l + 2*u = -21, -l - 5*u = -11 + 18. Which is greater: 1 or l?
1
Suppose 7*c + 0*c = 0. Suppose c = -5*u - 114 - 121. Which is smaller: u or -46?
u
Suppose -22*q + 46*q = -1200. Which is bigger: q or -11?
-11
Let v be 14/(-7)*(-21)/(-2). Let h(u) = u**3 + 4*u**2 - 10*u - 8. Let w be h(-6). Let c = v - w. Which is smaller: c or 1/7?
c
Let k be (-150)/22 + 3 - (9 - 13). Are k and 27 non-equal?
True
Let n = 14703 - 61061557/4153. Which is bigger: n or -1?
n
Suppose -16*d - 412 = -20*d. Is 99 at least d?
False
Let o = 6 - 2. Let a = o + -4.08. Let r = 0.38 - 0.28. Is r < a?
False
Suppose 10*t = 6*t - 4. Is 2/455 > t?
True
Let x = 15203/6370 - 31/13. Is 0 greater than or equal to x?
False
Let j(o) = -3*o + 2. Let n be j(5). Let g be 9*(4 - (-136)/(-24)). Is n at most as big as g?
False
Let a(y) = -3*y + 35. Let x be a(12). Let h be ((12 - 7) + -30)*(-4)/(-110). Which is bigger: h or x?
h
Suppose 2*c = m - 6, -m + 4*c = -3*m - 28. Let b be m/(-3)*3/2. Which is smaller: b or 3/5?
3/5
Let o = -0.58 + -27.42. Let i = o - -28.01. Is i less than or equal to -2?
False
Let u(t) = 2*t**3 - t**2 + 5*t - 94. Let c be u(0). Which is greater: c or -100?
c
Let y(v) = v**3 + 5*v**2 - 7*v - 8. Let n be y(-6). Let k be 34/4*(n + 4). Suppose 3*j = 19 + k. Is 11 greater than j?
False
Suppose 4*a - 12 = -4. Suppose -a*n = n. Suppose -4*p + 4 = -n*p. Is 0 less than or equal to p?
True
Let a = 1 + 19. Let n = -19.7 + a. Let c = -0.96 + -0.04. Which is greater: n or c?
n
Let n be 2 - 8/(-12)*3/2. Let r be (28/(-1))/(-4) - -1. Which is greater: r or n?
r
Let r = 42/25 - 236/75. Is r >= 0?
False
Let m = 1487 + -1485. Which is bigger: m or 38?
38
Suppose 5*w = -2*q + 55, 7*w - 3*w - 4*q - 72 = 0. Suppose -5*m + 6 + 4 = 0. Suppose w = 3*p + 5*g, 5*p = 2*g + m*g - 3. Which is greater: p or -1/24?
p
Suppose -6 + 0 = 3*r. Let g(t) = -t**3 - 4*t**2 - 4*t - 3. Let n be g(r). Which is greater: -13/4 or n?
n
Let d = 263/372 - 5/124. Let p = 0.019 - -47.981. Is d at most as big as p?
True
Let x be (-24)/(-108) + 1246/(-18). Which is greater: -0.1 or x?
-0.1
Suppose y = c, -5*c + 11 + 7 = 4*y. Which is bigger: 15/17 or y?
y
Suppose 5*d - 23 + 88 = 3*b, 4*b = -2*d + 78. Let p = b + -12. Let y(q) = 26*q - 18. Let f be y(1). Do f and p have the same value?
True
Let y = 657 + -4736/7. Let b = -134/7 - y. Suppose 0 = -8*i - 3 - 5. Which is smaller: i or b?
i
Suppose -7*c = -8 - 6. Suppose -2*o = w - 1, w + 37 = -c*w + 4*o. Is w greater than -6?
False
Suppose -2*r - 2*m + 104 = 0, 2*r = r - 2*m + 52. Is r greater than 49?
True
Let z = 71 + -94. Suppose -44 = 4*m + 44. Is z at most m?
True
Let s(r) = -2*r**2 + 20*r + 1. Let q be s(10). Which is bigger: -7/43 or q?
q
Let o = -195 - -243. Is 50 less than or equal to o?
False
Let x be 12910/(-300)*(-15)/(-18). Let l = x - -139/4. Is l smaller than -1?
True
Suppose -25 = 4*o + 5*h, 0*o + 4*h = 2*o - 20. Suppose -3*p = -o*p. Suppose -14*q - 16 = -30*q. Which is smaller: q or p?
p
Let t = -1 - 1. Suppose 0 = -l + 4*h - 9, 0 = 3*l + 2*l + 3*h - 24. Let u be ((-2)/6)/(l/9). Which is smaller: u or t?
t
Let a be 10 + -6 - 2/1. Suppose 9 = c - 3*p, 3*c - a*p - 47 = -3*p. Let m = c - 9. Is m at most 7?
Tru