Let w = 12 + -18. Which is greater: w or 0?
0
Let c be 2 + -3 - (-4 + -1). Which is greater: c or 5?
5
Let o = -13/44 - -6/11. Which is greater: -14/3 or o?
o
Suppose -4*s - 3 = 29. Let o be (1/4)/(s/(-32)). Is -1/2 at least o?
False
Suppose 0 = -5*m - g + 3*g + 52, -2 = 2*g. Which is bigger: 7 or m?
m
Let i(z) = -2*z + 1. Let k be i(-2). Suppose 0 = 4*o - 5*b + 72, -k*o = -b - b + 90. Let q be (o/(-12))/(14 + 1). Is -1 less than q?
True
Let u(v) = v**3. Let j be u(0). Suppose j = 7*k - 3*k - 8. Let x be 0 + (-1)/(-3) - (-32)/(-96). Is k > x?
True
Let i be -2*2/6*-3. Suppose -6*f = -4*f + 2, -l + 4 = -i*f. Let x = l + -3. Which is bigger: x or 3?
3
Let d = 1.5 - 1.3. Let z = -0.2 - 2. Let i = z + d. Which is bigger: i or 1?
1
Let v be -3*(1 - (-39 - 1)). Let r be -1*v/(-3) + -2. Let j = r + 130/3. Which is greater: j or -1?
j
Let h be 3 - (3 - 3 - -3). Let q = -1535 + 179594/117. Let u = q - -239/585. Which is greater: u or h?
u
Suppose 16*k - 13*k = 21. Which is bigger: k or 1?
k
Let c(u) = u. Let j(w) = w**3 - 3*w**2 - 5*w + 5. Let d be j(4). Let n be c(d). Let b be 40/66*3 + -2. Are b and n equal?
False
Let l be 1/10*(0 - 2). Suppose -5*o = d + 24, 0 = -3*d + 5*d + 4*o + 24. Let j(p) = p**2 + 3*p - 5. Let k be j(d). Is l at most as big as k?
False
Let p(u) = -u**3 - 6*u**2 - 4*u + 7. Let g be p(-5). Suppose 0 = -4*y - 5*d - 25, -1 = g*y + d + 4. Is 0 greater than or equal to y?
True
Let t = -55 + 58.96. Let w = t + 0.04. Let d = -0.2 - -0.1. Which is bigger: d or w?
w
Let n(p) = -2*p + 11. Suppose -f - 4*g + 18 + 4 = 0, 4*f = 2*g + 16. Let y be n(f). Which is smaller: y or -1/42?
y
Let a be (-76)/(-14) + 3/(-7). Suppose -21 = -a*t - 16. Are t and 2/45 equal?
False
Let g be (-6)/(-4)*16/(-6). Let m = 377/3 - 129. Let w = g - m. Which is greater: -0.1 or w?
-0.1
Let a be 18/(-45) - (-1)/5. Which is bigger: a or 1?
1
Suppose 0 = 2*n - t - 4, -4*t = -2*n + 16. Suppose -65 = 3*s + 4*y, s - 2*y = 5*s + 70. Let l be s/20*8/9. Which is smaller: l or n?
l
Let d be ((-5)/(-50))/(4/(-10)). Which is smaller: d or 1?
d
Let b = 1.1 + -0.9. Let m = b + 1.8. Is -2 smaller than m?
True
Suppose 2*o + 2*a - 10 = 0, 4*a - 9 - 4 = 3*o. Do -2/23 and o have the same value?
False
Let z be (2/(-3) + 1)/1. Which is smaller: z or 1?
z
Let o = -20.3 + 14.3. Which is smaller: o or -1?
o
Let b be (3/3)/((-1)/(-2)). Are 5/8 and b non-equal?
True
Let k = -19 - -19. Is k <= -2/7?
False
Let g = 3 - 5. Let n = -1 - g. Let b = -1 + 1. Are n and b nonequal?
True
Let f be 3/1 + -3 + 30. Suppose 0*c - 5*c + f = 0. Which is smaller: 7 or c?
c
Suppose 5*z - 2*r + 25 = 2*r, r - 2 = -3*z. Let w = 0 + z. Which is greater: -1/4 or w?
-1/4
Let i = 1 + 0. Suppose 4*z - a + i = 0, -3*a = -z + 4*z - 3. Let k be ((-2)/(-14))/((-3)/(-6)). Which is bigger: z or k?
k
Suppose -c + 2 + 0 = 0. Suppose z - 6 = -c*z. Let f be 2 - z - 2/(-5). Is f bigger than 0.1?
True
Suppose 5 = -a + 6. Let w be (a - 1) + 8/(-6). Is w != -2?
True
Let c = 85 - 274/3. Which is smaller: c or -7?
-7
Suppose -2*i + 38 = 4*n, i = 4*n - 3 + 10. Let a be (-3)/i + (-29)/5. Let c be 2 - -3*4/a. Which is smaller: c or -1?
-1
Let r(t) = -t**2 - 3*t. Let u be r(-3). Suppose 0 = -l - u*l. Is l greater than or equal to 2/55?
False
Let f be 2/(-6) + 28/42. Let d(p) = -p**3 - 5*p**2 - 2*p - 4. Let n be d(-5). Let c be ((-2)/(-6))/(2/n). Which is bigger: c or f?
c
Let m = -1367/7 - -195. Which is smaller: -0.3 or m?
-0.3
Suppose 2*v + 4 = 0, g + 2*g - 3*v - 42 = 0. Let y be (2 + (-22)/g)*2. Do 6 and y have the same value?
False
Let z(q) = -q**3 + q**2. Let u be z(1). Let f be u - (1/2 + 0). Let y be 1/(-5 + 1 - -3). Which is smaller: f or y?
y
Suppose -j = 6 - 9. Which is smaller: j or 0.05?
0.05
Let t be ((-14)/6 + 1)*9/6. Which is bigger: t or -18/17?
-18/17
Let t = -59 - -769/13. Is 0 not equal to t?
True
Suppose 3*j - 8*j = -25. Let y = 6 - j. Let s = y + 1. Do 3 and s have the same value?
False
Let s = 4/15 + -43/15. Is s > -4?
True
Let k be (-12)/(-30)*(-1)/5. Is k > 1?
False
Suppose -8*w + 5 + 3 = 0. Is 4 greater than w?
True
Let l = 82 - 83. Let b = -9359/23 + 407. Which is greater: l or b?
b
Let q(g) = -g**2 + g + 1. Let u be q(2). Is u at least 15?
False
Let d(v) = v**2 - 5*v - 4. Let o be d(7). Let u(s) = -s + 10. Let b be u(o). Do -2/3 and b have the same value?
False
Suppose z = 4*f - f + 12, 5*f - 2*z + 19 = 0. Suppose -2*u = u + 4*p - 5, 0 = -5*u - 5*p. Is u <= f?
True
Let r = -7 + 11. Suppose -2*o - 4 + 22 = 0. Let t be (-2)/(-9) - (-25)/o. Which is smaller: r or t?
t
Let y = 5921879/479 - 12363. Let t = y + 940/4311. Let p = 1 - 0. Which is smaller: p or t?
t
Let g be (4/(-10))/(1/(-10)). Suppose -n = -5*b - 9, -5*n - 3*b - 7 = g. Is n equal to 0?
False
Let h = -8 + 13. Is 0 greater than h?
False
Let g be -9 + -6*3/(-9). Let q = g - -6. Is q > -4/3?
True
Suppose h - 4*b = -h, 5*h = -2*b + 12. Suppose -h*v - 16 = -20. Which is smaller: 4 or v?
v
Let r be -5 + (6 - -2 - 4). Let l = -7/2 - -18/5. Which is smaller: l or r?
r
Suppose -u + 3*u - 8 = 0. Suppose u*v + 4*j - 28 = 0, -3*j + 18 = 4*v - 7. Suppose 3*s - 2*s - 16 = -4*d, 3*d + 2*s - 17 = 0. Which is smaller: d or v?
d
Suppose 5 = -5*d + 45. Suppose -4 = -3*c + c - z, 4*z = -4*c + d. Suppose 6*y = c*y. Which is smaller: y or 1?
y
Suppose -3*p + 2*q + 14 = 0, p + 12 = 5*p - 4*q. Suppose 2*w = 2*y - p, -3*w + 5*y = -5*w + 27. Let b = 0 - -2. Is b bigger than w?
True
Let u be 258/(-952) - 6/(-21). Which is smaller: u or 0?
0
Let n(x) = 4*x**2 + 9*x + 15. Let i be n(-7). Are 148 and i equal?
True
Let l = -56 - -170/3. Does -1/10 = l?
False
Suppose 0 = 22*j - 18*j - 16. Is 13/4 at most as big as j?
True
Let b be 2/7 - 2/(-42). Let q(h) = h - 10. Let g be q(13). Suppose 2 - g = -i. Which is smaller: i or b?
b
Suppose 4*b - t - 3 = 0, -12 = -5*b - 0*t + 4*t. Suppose -4*k + b*k + 12 = 0. Let r be (k/9)/(1/3). Which is smaller: -1 or r?
-1
Let d = 121/4 - 30. Is -3/2 less than d?
True
Suppose -7*d + 2*d = 0. Let q = 14 - 20. Let l = -7 - q. Which is greater: l or d?
d
Let o = 23 - 24. Which is smaller: -2/3 or o?
o
Let x = -0.13 - -0.23. Which is greater: -7 or x?
x
Suppose 0 = 5*y - 14*y - 36. Which is smaller: y or -33/10?
y
Let d be 2/8 - (-50)/(-8). Let i be (-28)/8 + d/(-4). Which is smaller: 0 or i?
i
Let h = -46 - -39. Is 3 at most h?
False
Let w(j) = j + 11. Let u(m) = -2*m**2 + 2*m + 1. Let s be u(3). Let t be w(s). Suppose 4*q + q = t. Is q at least 1?
False
Suppose -48 = -3*y - 5*y. Is 4 <= y?
True
Let t = -0.2 - 0. Suppose 0 = 3*z + 10 - 16. Let u be 5/z*9/15. Which is bigger: t or u?
u
Suppose 33 = -2*j + 3*g, 4*g - 2*g + 2 = 0. Let a = j + 48. Let n be ((-2)/a)/(2/(-6)). Which is smaller: 0 or n?
0
Let t = 327/7 - 667/14. Let r = 3/7 + t. Let o = 0.2 - -0.8. Which is smaller: o or r?
r
Let x(v) be the first derivative of v**2/2 + 12*v - 1. Let k be x(-6). Let j be (k/63)/((-3)/9). Is -0.4 at least j?
False
Let f(l) be the second derivative of l**4/12 + 13*l**3/6 + l**2/2 + 3*l. Let q be f(-13). Which is greater: q or -2?
q
Let n = 0.06 + -0.26. Let g = -0.6 - n. Let p = g - 0.6. Is -4 at most p?
True
Suppose m - h = -5, m + 2*h = -1 + 5. Is m equal to 0.5?
False
Suppose -17 = 6*d - 5. Let t(c) be the first derivative of c**4/4 + 5*c**3/3 + 2*c**2 - 3*c - 1. Let y be t(-4). Which is smaller: d or y?
y
Let x(q) = q**2 + 2*q + 3. Let n(a) = -a - 1. Let l(s) = -4*n(s) + x(s). Let m be l(-5). Which is greater: m or 2/3?
m
Let v be (-11)/44 + 2/4. Suppose 1 = -0*a - a. Let z be (a/(-4))/(2/(-12)). Which is bigger: v or z?
v
Let t be 560/91 + (-4)/26. Let w = -9 + t. Suppose 3*c + 2 = c. Which is smaller: w or c?
w
Let y = 2 - 2. Suppose 4*f + y*f = -4*z + 52, 4*z - 47 = -5*f. Suppose -5*g + 19 = -4*o - 18, -z = o - 3*g. Which is smaller: o or -4?
-4
Let t = -0.063 - -0.063. Are t and 2 equal?
False
Let a be (0 - (-2)/(-8))*-4. Are 6 and a unequal?
True
Let o = 59/19 + -3. Let p(q) = -q**3 - 4*q**2 - 3*q - 1. Let a be p(-3). Do a and o have the same value?
False
Let n(h) = -4*h + 6. Let p be n(3). Let j be (1/3)/((-1)/p). Do j and -2 have the same value?
False
Let l = 41/33 + -10/11. Let j = -4 - -8. Suppose 0 = -j*f - 3 - 1. Do l and f have different values?
True
Suppose -4*y - 4*k - 19 = -k, -23 = 5*y + 3*k. Suppose 10 = -4*v + 2*v. Which is smaller: y or 