j + 4*j = 11, 0 = 2*x + 5*j - 17. Let u = 245 + -231. Suppose 3*b - 13 = -2*w, w - 13*b - 6 = -u*b. Which is greater: x or w?
x
Suppose 341 = 29*i - 13*i - 5*i. Let z be (-1)/((-3045)/(-1026) + -3). Which is greater: z or i?
z
Let v(i) = -i**3 + 5*i**2 + 14*i + 4. Let n be v(7). Suppose 3*u + 2*d + d - 756 = 0, -5*d = -n*u + 1053. Is 258 smaller than u?
False
Suppose 4*w = -2*t + 10, 5*w - 2*w - 20 = -4*t. Suppose w = 6*q - 0 + 72. Is q greater than -13?
True
Let k(h) = 24*h**3 + 3*h - 3. Let n be k(1). Let s be -1*n + 2/(-16)*2. Is s at most as big as -23?
True
Suppose -j = -k - 7968, 12*k - 7*k = 4*j - 39833. Which is smaller: -7963 or k?
-7963
Let r = -455 - -218. Let o = r - -210. Is o > 2/5?
False
Let k(y) = -y**2 - 3*y - 3. Let u be k(-2). Let c(w) = 4*w**3 + 16*w**2 - 24*w + 40. Let o be c(12). Let h be (-11362)/o - (-5)/4. Is u less than h?
True
Let h(u) = -u**2 - 4*u + 13. Let t be h(4). Let a(m) = -m**3 - 20*m**2 - 18*m - 27. Let y be a(t). Is y greater than or equal to 0.2?
False
Let n = 169.3 + -169.3. Suppose -3*m = 191 + 46. Is m greater than or equal to n?
False
Let s = -586 + -8. Let k be (-17)/(-55) - 54/s. Is k equal to -668?
False
Suppose 4820 = -n - j, n + 1489*j + 4808 = 1492*j. Which is smaller: -4815 or n?
n
Let k = -19673 - -19672. Which is bigger: 1/485 or k?
1/485
Let a(r) = -8*r**3 - r**2 - 2*r - 1. Let m be a(-1). Let p = 3 + 2. Let u be ((p/(-2))/(-5))/(2/40). Is m less than u?
True
Let n be 2*((-90)/(-15))/(4/(-1)). Let v be 3*(((-548)/258 - n) + -1). Which is greater: 0 or v?
0
Suppose 2*d = 6 + 4. Suppose 2*m = -d*j + m + 14, -2*j - 3*m + 3 = 0. Suppose j*f = 3*x + 9, -4*x - f = f. Which is greater: 3/31 or x?
3/31
Let m = 26442 + -25074. Is 1368 less than or equal to m?
True
Suppose -132 = 2*r - 7*r - 4*w, 4*w + 8 = 0. Let b = r + 1. Suppose 0 = b*h - 30*h - 37. Is -37 > h?
False
Let n = 849 + -855. Which is smaller: n or -2?
n
Let r = -15.08 + 13.08. Does -46 = r?
False
Let a = 186 - 184. Let g(t) = -3*t**3 + 3*t**2 + 8. Let o be g(a). Is o > 11?
False
Let w = -5 + 3. Let a be (-3 - (w - -1))/7. Let f = -2330/153 + 2432/153. Which is bigger: a or f?
f
Let u be 12/((-27)/1863*(-4)/(-46)). Let f = 7055804/741 + u. Is 1 at least f?
True
Let q(t) = -t**2 - 5*t - 6. Let n be q(-6). Suppose 338 = 15*c - 2*c. Suppose -3*x = c*x + 290. Which is bigger: x or n?
x
Let n = 1166 + -1167. Is n <= 0.84?
True
Suppose 21 = -2*d - 3. Let n(k) = -k**2 + 23*k - 72. Let s be n(19). Let j be (59*s/d)/((-1)/3). Is 60 < j?
False
Let y(j) = -2*j - 11. Let a be y(-7). Suppose -4*k - v + 26 = -3, k = 5*v + 23. Let n be ((-1)/k)/(a/234). Do n and -10 have the same value?
False
Suppose 6*g - 9*g = -16*g. Which is greater: g or -2/505?
g
Suppose -21 = -8*o + o, 1586 = l + 2*o. Which is smaller: 1578 or l?
1578
Let r = -104.43 + 112.43. Which is greater: -49 or r?
r
Suppose -2*m = -3*a - 124, 22 = -4*a + 6. Suppose -o - 5*z = -42, 5*o - 45 = -2*z + 234. Which is smaller: o or m?
m
Let s be (15644/16)/((-37)/(-6) + -6). Let x = -5718 + s. Is x less than 148?
False
Suppose 0 = 168*h - 84*h - 81*h - 75. Let n(r) = 23*r + 1. Let a be n(1). Is h greater than or equal to a?
True
Let j(g) = 2*g**3 - 4*g**2 + 8*g - 10. Let d be j(2). Suppose 4*m - 3*a = 7, 2*m - d*a + 7*a - 11 = 0. Let t = 1564/11 + -142. Do m and t have different values?
True
Suppose 2*a + 3*a = 40. Let h be -2*(-4)/((-8)/1). Let t = a + h. Which is greater: 32/5 or t?
t
Let m(r) = 2*r**3 + 6*r**2 + 7*r - 8. Let p be m(-4). Let d be (-1 - p)*3/(-15) + -2. Is -16 less than or equal to d?
True
Let t = 24524/27 - 908. Let u = 1750 - 1750. Which is smaller: u or t?
u
Let h be ((-1)/(-11))/(190/(-2234)) + 1. Let y = h - 2/55. Which is smaller: y or 2/5?
y
Let x = 7/298 - 1269/3278. Is 4/13 at least as big as x?
True
Let f = 695 + -642.1. Let y = 6.1 + f. Let p = y - 62. Which is greater: 0.5 or p?
0.5
Suppose -2*w + 666 = -5*j - 521, 4*j = 4*w - 2380. Let n be 56/20*29799/(-140). Let z = n + w. Is z at most as big as 1?
True
Let p be (-3555)/(-915) + -21 + 17. Does 7 = p?
False
Suppose -3*o + 4*x - 12 = 42, -5*o + 4*x - 90 = 0. Let f be (-1 + 97)*39*3/(-12). Let l be 8/o*f/48. Which is bigger: l or 8?
l
Suppose -19*y - 40 - 13621 = 0. Is -719 smaller than y?
False
Let i be 2/79*(-4)/(-8). Let o = 206 + -202. Let b be 16/(-72) - o/(-18). Do i and b have the same value?
False
Let w = -54 - -90. Let h = -190/31 - -2581/62. Which is bigger: w or h?
w
Suppose -w = 2*w. Suppose -d + 3*d - 14 = w. Suppose -4*h + 15 = -h. Which is smaller: h or d?
h
Let c be 45/(-10)*((-28)/(-98) - 32/(-84)). Which is smaller: -85/38 or c?
c
Let p be (16/(-20))/((-4)/10). Let j be (24/(-14) + p)/(2/14). Suppose 6*l = 2*l - j*k - 2, -4 = -4*k. Is l less than -1/46?
True
Suppose 80 = 2*t - 146. Suppose 2*w + 826 = -4*k, 20*w - 22*w = -4*k - 814. Let o = k + t. Which is smaller: -91 or o?
o
Let d(c) = -13*c**2 - 2*c - 1. Let r be d(-1). Let u be (-2)/(-2) + r/6. Let z = 36/1075 - 2/25. Which is greater: u or z?
z
Let m = 0.31 - 0.65. Let z = 314.1 - 355. Let o = z + 41. Is o > m?
True
Let q = -20 + 11. Let i be 42/q*(-36 + 6). Let z be (i/6)/(23/(-69)). Is z less than or equal to -71?
False
Let q(g) = 3*g + 7. Let t(o) = -4*o - 8. Let l(n) = 5*q(n) + 4*t(n). Let b be l(3). Which is smaller: 2/83 or b?
b
Let o(h) = -21*h + 2*h - 8 + 9*h + 27*h**2. Let m be o(-2). Which is smaller: m or 122?
m
Let w = 61.3 - 58. Let x = -84.7 - w. Which is greater: 0.2 or x?
0.2
Let j be 8/126 - 6/(-27). Let v = -911 + 515. Let i = v - -395.7. Which is greater: j or i?
j
Let x be (-1)/(-10)*8827/14. Which is smaller: 62 or x?
62
Let i = 0.86 - 0.53. Let h = i - 0.23. Which is smaller: h or -160?
-160
Let s = -1612 - -1612. Is 1/3412 at most as big as s?
False
Let s(j) = -25*j**3 - 3*j**2 + 3*j - 2. Let p be s(1). Let t be (-4)/(-18) - (-4 + (-1113)/p). Is t less than or equal to -36?
True
Let a be 303960/40 - (-9 - 3). Is a <= 7611?
True
Let s be 1/4 - 4743/(-68). Let r be (36/10)/((-21)/s). Let d be (-2)/r*513/(-36). Which is bigger: d or -3?
d
Suppose -5*b - 80 + 56 = 2*p, -4*p + 2*b - 48 = 0. Let g be (-4)/(-1) + 4/2. Suppose -14 - g = 2*v. Which is greater: v or p?
v
Suppose 2*z - 3*v + 165728 = 0, v - 38774 = z + 44089. Let k be z/(-258) + 10/12. Which is greater: k or 321?
k
Let s = 92/693 - -1/99. Let u be -2*((-7)/49 - (-6)/14). Is s > u?
True
Let d(t) = 5*t + 9. Let v be d(3). Suppose 0 = g + 5*j + v, -2*j - 9 = g - 0*j. Let r be (5/(-10))/(1*g/66). Which is bigger: -32 or r?
-32
Let h(o) = -o**3 + o**2 + 4*o + 7. Let s be 3 - ((-4)/(-24) + 3/(-18)). Let p be h(s). Which is greater: 9/11 or p?
p
Let r be ((-2)/5)/((-6)/(-9)). Let w be 7/4 - (-21)/4. Suppose 6*c = j + w*c + 3, 5*j + 6 = 4*c. Is j < r?
True
Let u = 5704 + -5701. Which is smaller: u or -2/619?
-2/619
Let u(j) = 512*j**2 - 4*j + 25. Let i be u(-4). Which is bigger: i or 8231?
i
Suppose 6*i = i + 10. Suppose -5*d = -i*d. Is d greater than 3/64?
False
Let i be (119/(-6460))/(540/80). Which is smaller: 0 or i?
i
Let j = 2/6737 + 101011/148214. Let k be (1/(-66))/(5/940). Let d = j + k. Which is smaller: 0.2 or d?
d
Let p(u) = u**3 - 17*u**2 - 18*u - 4. Let o be p(18). Let z be -149*(o/(-6) - (-644)/(-804)). Let d = 20 - z. Which is greater: d or 1?
1
Let b = 0.045 - -14.955. Let f = -13.95 + b. Let p = f + -0.75. Is 0.9 at most as big as p?
False
Let u be 174/8 - 13/(-52). Suppose -f - 3*h + 38 = -h, -3*f + 99 = 3*h. Is f bigger than u?
True
Let k = 7.74 + -8.74. Which is smaller: k or -1670?
-1670
Suppose -2*f = 3*w - 12 - 31, f + 2*w - 23 = 0. Suppose -41*s - 196 = -647. Is s less than f?
True
Suppose -30*q = -955 - 1556 - 789. Let u(p) = 56*p - 1. Let n be u(2). Which is smaller: n or q?
q
Suppose -2*x - 25 - 461 = 0. Let h = -162083 + 162083. Is h bigger than x?
True
Let t = 8931 + -8931.1. Let p(y) = 39*y - 11. Let d be p(-4). Is t bigger than d?
True
Let p = 42 - 12. Let w = 64 - p. Let h be (4/(-18))/(w/51). Is 2 less than or equal to h?
False
Let w be (61*3)/((-1170)/(-180)). Does w = 29?
False
Let v(s) = -3*s**2 - 3*s + 2. Let p be v(-3). Let f = 863730 - 863753. Which is smaller: p or f?
f
Let k = 406.175 + -0.175. Let a = k + -406.1. Is 125 bigger than a?
True
Let y = -14 - -16. Suppose -164 = -y*l - 2*p, -4*p = l - 0*l - 88. Let v be (-7)/(252/l