 = x - j. Which is bigger: 49 or x?
49
Let q be ((-40)/(-18))/(-10) - 33/(-27). Are q and -2/279 nonequal?
True
Suppose -10*c + 1988 = -3*c. Let s be (-6)/c*(112/21 - 4). Which is smaller: 0 or s?
s
Let m = -1340 - -1146. Which is smaller: -4 or m?
m
Let s = 2 - 1. Suppose 0 = f + 3*n + 10, -4*f + 67 = -9*f + 2*n. Let x be f/15 + (-6)/(-6). Is x equal to s?
False
Suppose -4*l + 108 = 2*b, l - 2*l + 1 = 0. Let f be 6*2/15*(-370)/(-148)*26. Is b smaller than f?
False
Let p be 24/56 + 4 + 15370/(-3458). Which is bigger: p or -1?
p
Let i = 514/1443 + 23/39. Is i > 0?
True
Let a = 0.1 + -0.1. Let p = 1.9 - 23.9. Let i = -21 - p. Which is greater: i or a?
i
Let g = 1016 - 994. Is -0.2 greater than g?
False
Let w = -9255510/7 + 1324367. Let y = 2156 - w. Is 6 less than y?
False
Suppose 2*f + 2*o + 9 = 3*f, 2*f = -5*o + 36. Suppose -2*z + 13 = -z. Is f >= z?
True
Let t = -510 - -920. Is t less than 410?
False
Let k = 0.56 + -0.5. Let i = k - 0.46. Let p = 84.9 + -85. Which is smaller: p or i?
i
Let j be 435/(-60) - ((4 - 2) + -8). Are j and -0.07 nonequal?
True
Suppose -4*g = q - 2 + 54, -3*q = 0. Is 13 smaller than g?
False
Suppose 5*m + s + 5 = 0, 5*m + 23*s - 19*s = -20. Is 409 >= m?
True
Let d(s) = 4*s**3 - 4*s**2 + 3*s - 1. Let t be d(2). Let b be 2/(t/4 + -4). Which is bigger: b or 0.2?
b
Let w = 22/45 - 8/9. Which is smaller: w or -7?
-7
Let o(w) = 3*w**2 + 23*w + 66. Let y be o(-15). Which is smaller: y or 397?
y
Let r = 1335916/1461 + -7106643703/7860180. Let o = r - 3/1345. Which is smaller: 10 or o?
10
Suppose -5*h - 8*s = -3*s - 50, 2*s = 3*h - 5. Let q = 35790/13 + -2748. Is h > q?
False
Let l = 2.01 - -0.09. Let f = -2.9 - l. Which is smaller: 2 or f?
f
Let w(b) = 2*b + 12. Let u be w(0). Let l be u/(-20) - 12/(-20). Let j = 3 + -4. Which is smaller: j or l?
j
Let l be (3 + 0 - 3)*3/(-12). Is -3/37 not equal to l?
True
Let x(y) = 4*y - 3 - 37*y**2 + 35*y**2 + 1. Let r(f) = -f**2 + f - 1. Let l(s) = -3*r(s) + x(s). Let q be l(0). Which is bigger: 3/7 or q?
q
Let u be (-12)/16 - (-57)/12. Suppose 0 = -j - 5 + u. Let c be -3 - (18/(-2))/3. Which is greater: j or c?
c
Let w = 5 - 7. Let n be 8/w - (-3 - 37 - -5). Let p be -1 + 1 + 32 - 2. Which is smaller: p or n?
p
Let i(h) = h**2 - 6*h - 5. Let x be i(-1). Suppose -21 = -x*g + 4*w - 5, -g + 43 = 5*w. Is g >= 17?
True
Suppose 3*z + z = -116. Let t = 1/1919 - 109385/3838. Let r = t - z. Is r bigger than -0.4?
True
Suppose 5*p = 2*b + 57, -2*b + 25 = -3*p + 80. Let g be (-4 + 0)*(-11)/(-2). Is b < g?
True
Let o(l) be the second derivative of l**4/12 - 2*l**3 + l**2/2 - l. Let w be (-20)/15*(-2 - 7). Let m be o(w). Which is bigger: m or -4?
m
Let x(v) = -v - 3. Let b = 5 - -10. Suppose 3*s + b = -3*g, 5*s + 3 = -g - 6. Let r be x(g). Is 2 at most r?
False
Let t(g) = g**3 - 15*g**2 + 16*g + 8. Let k be t(14). Suppose 2*p = -5*f + 5 + 21, -2*f - k = -5*p. Let y be (-232)/(-40) + p/(-10). Which is smaller: y or 9/2?
9/2
Let n = -332 - -359. Suppose -50 = -2*b + 6. Is b at least n?
True
Suppose -5*x - 10 = -0. Let p be (-15)/5 - 12/(x - -1). Does p = -2?
False
Let o = -836 + 835. Which is smaller: o or 79?
o
Let d be 1402 - (-7)/(21/(-6)). Let m be d/(-125) - (-2)/(9 - -1). Which is bigger: m or -12?
m
Let i(l) = -l**2 - 7*l - 1. Let z be i(-10). Let t = z + 25. Let y be (-2)/(-8)*0/t. Which is greater: y or -1/6?
y
Let u = -166693559/106794 - 1/11866. Let o = u - -267031/171. Let c = o + -9/19. Is c at most as big as -0.06?
False
Let p = -33/215 + -2/43. Let y = -131 - -191. Let b = y - 59. Which is smaller: p or b?
p
Let c = 211 - 185. Is c less than or equal to 1?
False
Let d be -3 + 3 - 3*-1. Let f be 3 - ((-6)/2 + d). Suppose 4*k = -c - 7, f*c - 14 = 5*k - 1. Is -3/14 greater than c?
False
Let q = -7 + -16. Let w = -7 - q. Let c be (1/(-1))/(44/w). Do c and 1 have the same value?
False
Let t be ((-35)/10)/(-2 - (-15)/6). Let k be (t - 474/(-66))*(-2)/4. Which is smaller: 0 or k?
k
Let c = -2949 - -271305/92. Is -1 greater than c?
False
Let v(j) = -j**3 - 6*j**2 - 5*j + 3. Let s be v(-5). Let i be (-1)/(s/6) + 2. Let z = 0 - i. Which is smaller: z or 1/2?
z
Suppose -2*x - 8 + 4 = 0. Let p(h) = h**3 + 4*h**2 + 3*h. Let t be p(x). Suppose -5*c = -2*d + 12, -2 - 3 = -d + t*c. Is -2/7 bigger than d?
False
Let r = 120 - 118. Suppose -2*f + 4 = r. Which is smaller: 2/165 or f?
2/165
Let a = 4 + -3. Let g be (-9)/6*-3*8/(-18). Let h = g + 3. Is h equal to a?
True
Suppose 0 = 2*w + i + 29, 2*w + 2*w + 28 = 4*i. Let j = -1 - w. Let v be (3 + -4)*4 - j. Is v < -15?
False
Let o be (-9)/(18/8) - -25. Let z be -4*1*1*-1. Suppose z*y - 3*y = 20. Which is smaller: y or o?
y
Suppose 13*d + 30 = 18*d. Which is bigger: d or -8?
d
Suppose 5*j - 2*j + r - 4 = 0, -14 = -2*j + 5*r. Let c(s) = -2*s + 4. Let a be c(j). Suppose -4*y - 16 = a, -2*y - 4 = -2*f - 0*f. Which is smaller: f or -3/2?
f
Let o = 23 + -71/3. Let j = -0.1286 + 0.3286. Does o = j?
False
Let y = -86 + 81. Let h = -9 + y. Do h and 0 have the same value?
False
Let l(a) = -a**3 - 2*a**2 + 2*a + 3. Let k(q) = 3 - 1 - q**2 + 2*q**3 - 4*q - q**3. Let x be k(2). Let w be l(x). Is -3/13 less than or equal to w?
False
Let h = -47986/13 - -3694. Which is bigger: 4 or h?
4
Let s(i) = -i**2 - 9*i + 8. Let r be -12 + 3*(-4)/(-6). Let u be s(r). Let f be -2*9/(-30) + -4. Which is bigger: f or u?
u
Suppose a = 3 - 9. Suppose -2*l = -0*l - 10. Suppose l = -5*i - 3*v, i = 5*i + 5*v - 9. Which is greater: a or i?
i
Let j(t) = -t - 7. Let c be j(-6). Let w = -2 - c. Let m = 304 + -4558/15. Is w less than or equal to m?
True
Let p(z) = -2*z + 9. Let m(o) = 3*o - 17. Let g(f) = -3*m(f) - 5*p(f). Let u be g(-7). Are u and 1/7 equal?
False
Let n be (4/(-6))/((4/3)/4). Let o be n + (1 - (-3)/4). Does 0.1 = o?
False
Let q = -7 - -8. Suppose 0 = 5*a - 9 - q. Let p = 2 - a. Do p and 5/4 have different values?
True
Suppose -20*g + 220 = -25*g. Is g at most -44?
True
Let m = -9763/616 + 127/8. Which is smaller: m or -1?
-1
Suppose 4 = -3*n - 2. Let w = 5 + n. Let b be w + (-4)/(44/27). Do 2 and b have different values?
True
Suppose 3*g + f + 11 = -40, -f = -g - 13. Is -17 at least as big as g?
False
Let x = -1.11 + -42.89. Let v = x - -44.3. Which is smaller: v or 8?
v
Let q = 0.0239 - -0.0761. Is -0.522 >= q?
False
Let b = 706114/654807 - 180/167. Is 1 equal to b?
False
Suppose 4*u - 23 = -y, y - 2 = -u + 6. Suppose u*r = 56 + 4. Suppose -2*c - 2*c + r = 2*t, -4*c = -8. Are t and 3 equal?
False
Suppose -4*z + 50 + 70 = 0. Let l = z + -47. Is -17 at most l?
True
Let m = -3152/7855 - -2/1571. Let t be 6/(-20)*228/(-9). Do m and t have the same value?
False
Let m(x) = x**3 + x**2 + x + 3. Let y be 0/((-1)/(1/(-3))). Let l be m(y). Let z = -29/93 + -2/93. Which is greater: l or z?
l
Let t = -37 - -36. Let q be (3/747)/((-5)/(-30)). Is t at most as big as q?
True
Suppose 5*b - 70 = 4*l - 75, 0 = 3*l + 4*b + 4. Is l at most as big as 0?
True
Let u be (228/(-152))/((-1)/(-2)). Is 6 at most as big as u?
False
Let g be (-26)/(-20) + (-9)/6. Let c = -9.86 + -0.14. Is g > c?
True
Let k(h) = 268*h + 2144. Let l be k(-8). Let d be ((-4)/(-2274))/((-1)/(-3)). Which is smaller: l or d?
l
Let q = -1025/9 + 114. Suppose 1 - 5 = 4*v. Let y be (-2 - (-1 - 0))*v. Which is smaller: y or q?
q
Let i be (-308)/88*(27 + 1). Is -99 at most as big as i?
True
Suppose -4*m = p + 18, -5*m + 3*p = -2*p + 35. Let w(q) be the third derivative of -q**5/60 + q**4/12 - q**3/2 - 3*q**2. Let k be w(3). Is m greater than k?
True
Let z = 612 - 417. Let y be 405/z*(4/3 + -1). Is 1 less than y?
False
Suppose 3*f + 3 = -5*h + 7, 3*f = 2*h + 11. Suppose -f*c + 5*a = 3*a - 34, 5*a - 17 = -c. Is 13 at least c?
True
Let j be 2/(-11) + (-812)/132 - -4. Which is bigger: -1 or j?
-1
Let j = 957 + -16271/17. Are j and -19 non-equal?
True
Let h = 861 + -1231. Is -370 < h?
False
Let p be (1/(-9))/(0 + -1). Let a be (3 + 6/(-2))*-1. Suppose -5*u - 3*o - 3 = a, -3*u - 2 = o + o. Which is smaller: p or u?
u
Let d(p) = -3 + 4 - 13 + 4 + p + 7. Let s = 39 - 26. Let j be d(s). Which is bigger: 13 or j?
13
Let t = -572 - -574. Which is smaller: 9 or t?
t
Let y be (-4)/18 + (-1)/(9/1114). Let v = y - -126. Is v bigger than 15/17?
True
Let f(d) be the first derivative of -d**4/4 - 31*d**3/3 - d**2 - 36*d - 39. Let v be f(-31). Is 