e
Suppose -2*r = r - 3*q - 276, 0 = r + 3*q - 104. Let t = -678/7 + r. Which is bigger: -3 or t?
t
Let o(w) = 2*w + 14. Suppose -1 = n - 5*m - 4, -2*n = -4*m + 6. Let g be o(n). Is g <= -4/15?
False
Let p = 113 + -3841/34. Let b(j) = -3*j - 4. Let o be b(-1). Which is smaller: p or o?
o
Suppose 2*r = 4*r - 34. Suppose 3*z + 2*z = -4*s - 7, 0 = -2*s + 4. Let b = r + z. Is 14 smaller than b?
False
Suppose 3*b - 3*d + 2 = -2*b, -4*b = -3*d + 4. Suppose -v + u = 2*u + 3, -18 = -4*v + b*u. Suppose -4*n = 2*q - 94, v*n + q = 2*q + 41. Is 23 at most n?
False
Let u(g) = 100*g + 239. Let r be u(-2). Which is bigger: r or 61?
61
Suppose -g = p, p + 10 - 6 = 3*g. Let j be (6/24)/((-26)/(-4)). Which is smaller: g or j?
j
Suppose 0 = 3*c - 4*f - 24, 3*c + 5*f - 3 + 6 = 0. Let k be (c/6)/(11/(-99)). Which is smaller: -4 or k?
k
Let a = -48949 + 48948.7. Let x be 1/1*0 + 20. Let l be (-6)/x*(-5)/2. Is l less than a?
False
Let f be (64/(-1056))/(1 + 2358/(-2294)). Let g = f - 35/16. Which is greater: -1/3 or g?
g
Let q be 916/131 - (-21)/(-3). Which is smaller: q or 1?
q
Suppose 932*a = 942*a + 70. Which is smaller: a or -10?
-10
Let k(b) = -b - 5. Let d be -2 + -1 - (0 - -1). Let x be k(d). Let s = -227039/17 - -13355. Which is bigger: s or x?
s
Let u = -130 - -131. Which is bigger: u or -1?
u
Suppose 0 = 5*b + 187 - 47. Which is smaller: b or -37?
-37
Suppose 3474 = -11*v - 7*v. Which is bigger: -192 or v?
-192
Let h = 55493/497 - 781/7. Let f = 131/710 - h. Is 1 at most as big as f?
False
Suppose 3*q + 27 = -5*l, -2*l - 15*q - 18 = -12*q. Let u(k) = k**3 - 5*k**2 + 8*k - 8. Let n be u(4). Let p be (5/n)/((-2)/12). Is p < l?
True
Suppose -2*r - r - 3 = 0. Let q be 6/(48/(-4))*0. Is r smaller than q?
True
Let d(j) = -6*j + 21. Let a be d(4). Let p be (1/(-42)*-158 + -3)*a. Which is smaller: -1 or p?
p
Suppose -6*v + 4*v = -4, 0 = h + 2*v - 4. Let y = -1/285 + 26/1995. Which is greater: y or h?
y
Let a(j) = -2*j**2 + 17*j - 15. Let o be a(7). Let d be (176/(-39) + 4)/((-4)/o). Which is bigger: d or 1?
1
Let d = 0.1 - -0.9. Let o = -35 - -55. Let z = 21 - o. Is d < z?
False
Let x be (-752)/(-380) + (-4)/2*1. Which is smaller: 1 or x?
x
Let g(l) = 20*l + 41. Let h be g(-5). Do h and -56 have the same value?
False
Suppose -4*x + 3*c + 4 = -0*x, 0 = -2*x - 3*c + 20. Suppose x*q = q. Let b(u) = u + 3. Let i be b(-3). Are i and q equal?
True
Let f = -0.51 + 0.42. Let z = f - 0. Is z equal to -3?
False
Let o = -661/17 - -39. Let t(m) = 4*m + 13. Let h(i) = i. Let d(v) = 6*h(v) - t(v). Let b be d(6). Which is smaller: b or o?
b
Let x(d) = -d**3 - 4*d**2 - 2*d - 3. Let k be x(-4). Suppose k*i - 38 = 3*i. Which is smaller: 20 or i?
i
Let l = 2/4577 + 416503/9154. Does 47 = l?
False
Suppose 0 = -4*t + 4, 13 = -3*r + 2*r - 2*t. Let k(j) = j**3 + 16*j**2 + 19*j + 36. Let x be k(r). Are 2/5 and x equal?
False
Let c = -4171 - -4171. Let p be ((-1)/(-8))/(9/12). Is p <= c?
False
Let j = -1 + 7/9. Let v(x) = x**3 + 7*x**2 + 6*x. Let p = -33 + 27. Let s be v(p). Which is bigger: s or j?
s
Let v = 555 - 554.546. Let h = v + 0.046. Which is smaller: h or -0.1?
-0.1
Suppose -6 = 2601*d - 2607*d. Is 1/315 at most d?
True
Suppose 60*l + 3131 = -25009. Are -469 and l nonequal?
False
Let z be ((-5)/3)/(10/6810). Let v = z - -38587/34. Is v at least -1?
True
Let f(o) = -2*o**3 - o**2 - 17*o + 9. Let m be f(0). Let g = 619/60 - 33/20. Which is smaller: m or g?
g
Suppose -5*s - 79 = 3*c, 2*s - 2*c + 13 + 9 = 0. Let v be ((-20)/s)/(2 - 0). Let o be -1*(-3)/((-3)/(-2)). Which is bigger: o or v?
o
Suppose -b + 1 = t, 2*b + 9 = 3*t - 9. Let a be ((-1)/b)/(25*(-8)/(-24)). Which is bigger: 1 or a?
1
Let l be ((-4)/12)/((-2)/2064*-8). Which is smaller: -41 or l?
l
Let w = -24.8 + 22. Which is smaller: -4 or w?
-4
Let l = 113/187 + -18/17. Let q = l + 37/33. Which is greater: -0.04 or q?
q
Let r = -694 - -767. Is r greater than 0.07?
True
Let a be (-202)/(-22) + 6/(-33). Suppose a = -c + 4*c. Let i be (2/3)/(4/6). Which is bigger: c or i?
c
Let b(p) = 23*p**2 - 8*p + 8. Let f be b(2). Is 85 less than or equal to f?
False
Let m(o) = -137*o + 4379. Let h be m(32). Suppose 0 = -2*b - 5*q + 35 - 4, -3*q + 3 = -4*b. Are b and h equal?
False
Let j be ((-22)/(-4))/(96/(-1024)). Which is greater: j or -60?
j
Suppose 0*x + 110 = -11*x. Let q be 4/x + 264/60. Let a be 2/(-6) - (-51)/18. Is q <= a?
False
Let u(h) = -h**2 + 7*h + 6. Let p be u(8). Let a = 3 - p. Suppose -2*q = -a*b - 5, -3*b + 0 - 3 = -3*q. Are 1/4 and q equal?
False
Suppose 0*c + 3 = -c. Let q = -41 + c. Let y be 2 + ((-400)/q)/(-4). Which is greater: 0 or y?
0
Suppose -2*r + 4*s = -0*s - 564, -1143 = -4*r + 5*s. Let x = 2638/9 - r. Are x and 1 nonequal?
True
Let n(r) = 71*r + 215. Let u be n(-3). Which is smaller: 13/20 or u?
13/20
Let a be (-15)/(-50) + 25718/220. Which is greater: a or 117?
a
Let q = 47.9 - 147.9. Which is smaller: 2/7 or q?
q
Let g(b) = -b**3 - 12*b**2 + 16*b + 89. Let z be g(-14). Which is smaller: 254 or z?
254
Let o = -12 - -15. Suppose -o*q = 10 + 35. Let g be (-9)/q*(-1 - -2). Is g >= -2?
True
Let p(l) = -l**3 + 3*l**2 - 2. Let q be p(2). Suppose q = -7*z - 5. Let w = 220/3 + -230/3. Which is greater: w or z?
z
Let y = 7 + 5. Suppose 3*u + 370 = 379. Which is greater: u or y?
y
Let d be (-274)/7 + 87/609. Is d < -26?
True
Let x = -1/1764 - 619/241668. Is 1 <= x?
False
Let p = -188 - -61. Is p greater than or equal to 1?
False
Suppose 1 = -4*z + 3*z, -z = 5*w - 9. Suppose -5*d = x, w*d + 3*d = -5*x + 40. Suppose 0 = -2*r - x + 2. Do r and 1 have the same value?
False
Suppose -4*q = -12, -t + 3*q - 7 = 1. Let r = -92947/55 - -1690. Which is greater: t or r?
t
Suppose 13 = h - 4*i - 5, 0 = -3*i + 12. Is 33 != h?
True
Let p(m) = 4*m + 8. Let z(x) = x**3 - 4*x**2 - 14*x + 6. Let g be z(6). Let v be p(g). Is -16 < v?
False
Let h be -1*4/(-4) + -4. Let f be (1 - (-4)/(-34)*-14) + h. Is 1 equal to f?
False
Let r = 54 + -38. Let x = -18 + r. Which is smaller: x or -1/5?
x
Suppose -p - 57 = -4*p. Let a(m) = m**2 + 2*m - 19. Let b be a(-6). Let r = b - -15. Is r equal to p?
False
Let n = -7/760 + 11/380. Which is greater: n or 0?
n
Suppose -24*z = -12*z + 5592. Which is bigger: z or 2?
2
Let a(t) = -t**2 + 20*t + 8. Let m be a(20). Which is smaller: -39 or m?
-39
Let k be ((-18)/(-4))/(4/(-8)). Suppose -r = -i - 1, -1 = -r - i - 2. Suppose -5*q + d - 33 = 0, r = -2*q - d - 10 - 6. Which is bigger: k or q?
q
Let w = -2091 - -2065.82. Let o = w + 25. Let z = -0.22 - o. Which is bigger: -1 or z?
z
Suppose 5*g = 6*g - 4. Suppose 0 = o - 1 - g. Suppose 5*v + 4*a - 6*a + 34 = 0, -o*a = 2*v + 2. Which is bigger: v or -5?
-5
Let l be (-4 - -5)/((-4)/(-660)). Which is bigger: l or 163?
l
Let i(w) = -2*w**3 + 8*w**2 + 35*w + 20. Let f be i(-4). Which is greater: 0 or f?
f
Let k(n) = -4*n - 33. Suppose 5*l = 4*l - 10. Let c be k(l). Suppose 2*p - 2*t - 26 = 3*t, 0 = -2*p - 4*t + 8. Does p = c?
False
Let a be ((-4)/12)/(3/(0 - -3)). Is a <= -162?
False
Let s be 1/(-3) + 1810/30. Suppose 2*o - s = -5*q, 2*q - o + 0*o = 24. Is q at least as big as 10?
True
Let y be 2 - (3 - -8 - 9). Is y smaller than -2/23?
False
Suppose r + 13 = 2*l - 2*r, 5*l + 5*r + 5 = 0. Suppose -c - l = -0*c. Let t be c/1*3/3. Is t > -2/3?
False
Suppose -69 = -k - 3*w, -12*k + 14*k - 134 = -4*w. Is 63 <= k?
True
Let k = 16 - 19. Let p = 76 - 92. Which is smaller: k or p?
p
Suppose -9*x - 890 = -926. Is x > 43?
False
Let c(k) = -k**3 + 2*k**2 + k + 4. Let l be c(3). Let x = 4/3 + -11/3. Is l at least as big as x?
True
Let i be (117/(-30) + 5/(-10))*5. Let q = 19 + i. Do -1 and q have different values?
True
Let b(t) = 25*t**2 + 5*t - 2. Let y be b(3). Suppose -9*g - y = -2*g. Which is smaller: g or -35?
-35
Let z(d) = -d**3 - 9*d**2 + 14*d + 13. Let f be z(-10). Is -8 smaller than f?
False
Let m be (3 - (-39)/(-12))*(-48)/4530. Is 1 bigger than m?
True
Let r be 4*(-5 - (-2 - 5)). Suppose -3*b = -b - 16. Is r < b?
False
Let w(v) = -5*v + 26. Let y be w(5). Suppose -y = -p - 0. Which is smaller: p or 6?
p
Let z be -7*(-1 + 1 + (-13)/247). Let w(n) = -n**2 - 3*n - 1. Let o be w(-2). Which is greater: z or o?
o
Suppose 65 = -25*g - 40*g. Which is bigger: g or 15/133?
15/133
Suppose 0*d = d, 3*g + 15 = 2*d. Let t be (8/(-4) - -4) + g. Which is greater: -20/7 or t?
-2