+ 43 = -3*n. Are j and 0 unequal?
True
Let d = -111 - -109. Is d > -9?
True
Suppose 0 = 2*c + c. Which is bigger: c or 3?
3
Suppose -23 = u - 2*u. Is 23 > u?
False
Let a = 3.2 - 5.9. Let w = a - -6.7. Let t(j) = j**2 + j. Let f be t(-1). Which is smaller: w or f?
f
Let q = -149/165 - -32/33. Let y(d) = -d**3 + 3*d**2 - 3*d + 2. Let s be y(2). Are s and q non-equal?
True
Let m = 8 - 2. Let f(a) = -a**2 + 5*a - 1. Let i be f(3). Suppose m*y + i = y. Is -0.2 <= y?
False
Let v(s) = -s - 6. Let p be v(-8). Do 1/3 and p have different values?
True
Let b = 8 + -4. Suppose -5*j + 19 = -3*t, -4*t = b*j - 3*j + 10. Let c be (-32)/20 + j/1. Do 0 and c have the same value?
False
Let d(l) = 3*l - 6. Let m(s) = -1. Let f(q) = -d(q) + 6*m(q). Let a be f(-1). Suppose 0 = a*z - 4*z. Does 1 = z?
False
Let n(s) = s - 10. Let r be n(7). Let t be (-3)/3 - r - 9. Which is greater: t or -6?
-6
Let f = 9 + 17. Let s be 3/(-9) - f/(-24). Which is bigger: s or 0?
s
Let y = 3.9 - 4. Suppose 7 = 5*s - 5*h - 13, -3*h = -4*s + 13. Let d be 2/(-2)*(2 - s). Does d = y?
False
Let w = 21/25 + -6/25. Let u(f) = -2*f**3 - f**2 - f - 2. Let m be u(-1). Is m less than w?
True
Let m = 12 + -1. Which is smaller: m or 12?
m
Let p be 1 + 2 + -27 - (3 + -1). Is p >= -26?
True
Let c be (-10)/(-4) - 0 - 1. Suppose 2*b = 4*d + 12, -5*b + 5*d = 4 - 24. Suppose w = -b*w + 9. Which is smaller: c or w?
c
Suppose 5*n - 35 - 35 = 0. Let a be n/42 - (-1)/(-2). Let u(b) = b**3 - 7*b**2 + 7*b - 7. Let o be u(6). Which is bigger: a or o?
a
Let c = 11 + -23. Suppose 3*h = 3*a + h + 37, -26 = 2*a - 2*h. Which is greater: c or a?
a
Let t = 0.22 - 1.22. Which is smaller: 3.7 or t?
t
Let l = -88 + 17. Which is bigger: l or -70?
-70
Let y be ((-4)/(-16))/(2 + -1). Let b = -0.3 - -0.3. Is b != y?
True
Let p be (-5)/(-3)*(-3 - 0). Let x be -2*(-1)/(-2)*p. Is 5 less than or equal to x?
True
Suppose -5*v + 0*v + 3*q + 18 = 0, 4*q + 19 = 5*v. Suppose 0 = 2*h + 3*m, -6*h + v*h = 3*m + 3. Let r be (2 + (-8)/6)*h. Is -3/5 at most as big as r?
False
Suppose -o = -6*o - 5. Let x = 11 - 5. Let j be (-12)/189 + x/(-27). Is o bigger than j?
False
Let v = 0.11 - -0.29. Which is greater: 0.5 or v?
0.5
Let j be (-13)/26*5/((-65)/(-12)). Is -1 smaller than j?
True
Let h = 5 - 3. Let v(g) = -g**2 + 2*g - 2. Let c be v(h). Is -3 at least as big as c?
False
Let j be -1 + (-29)/4 + (-9)/(-3). Which is greater: -6 or j?
j
Let i(o) = 2*o - 2. Let l be i(10). Suppose -4*f + 30 = 5*s - f, -4*f + l = 3*s. Let d be 2/(-8) - s/(-8). Is d >= 0.1?
True
Let c be (-10 - -9)/(0 + (-2 - -3)). Which is smaller: -2/7 or c?
c
Let z(a) = a + 4. Let u be z(-7). Which is greater: u or -4?
u
Let u = 3262/17 - 192. Let i = 0 + 0. Are i and u equal?
False
Suppose 6 = -3*t - 0. Let y be (-1)/(-7)*t/(-2). Is 1 < y?
False
Let x be ((-66)/18 + 5)/((-44)/(-6)). Which is bigger: x or 2/13?
x
Let u = -0.46 - -0.06. Let j = 0.7 + u. Which is bigger: 2 or j?
2
Let z be -2*(-6)/(-36)*6. Is 5 greater than or equal to z?
True
Let m = 0.2 - 0.2. Let w = 10 + -10.1. Is m smaller than w?
False
Suppose 0 = 5*q - l + 5 - 130, 0 = -3*l - 15. Which is smaller: q or 2?
2
Let k = 8 - 20. Let q be (-2)/k - 42/36. Is 2/21 greater than q?
True
Let z = -0.5 + 0.5. Is -0.01 > z?
False
Let t be 9/3 - 5 - -2. Suppose -3*f + 5*f = t. Is 3/7 less than or equal to f?
False
Let r(z) = -z**3 + 3*z**2 + 4*z + 4. Suppose -3*p = -p - 8. Let u be r(p). Suppose u*c = c. Do c and 1 have the same value?
False
Suppose -5*w = -4*b + 18, -3 + 17 = 2*b - 5*w. Suppose -5*d + b*d = 0. Suppose 0 = -21*h - 3*h + 168. Which is smaller: h or d?
d
Let a be 2 - (3 + (-40)/25). Which is bigger: a or 1/5?
a
Let c be (-2)/4 + (-1074)/15. Let p = c - -72. Suppose 3*x + x - 4 = 0. Is x >= p?
True
Suppose -p + 4*z = -17, -p - z + 3 - 6 = 0. Let j = -4 - -6. Let m be j/(-4)*10/20. Which is smaller: m or p?
m
Suppose -a + 62 = a. Is a equal to 32?
False
Let p = 0.05 + 0.15. Is -0.06 < p?
True
Let n = -19 - -18. Is n greater than 17?
False
Let z(u) = u + 3. Let x be z(0). Suppose 0 = -2*o + x*h - 5*h + 2, 0 = 2*h. Does o = -3?
False
Let t be (-3*4/12)/(3/21). Is -40/7 greater than t?
True
Let x = 33 + 18. Is x greater than 51?
False
Let m(a) = 4*a**2 - 2*a**2 - 3*a**2 + 0*a + 3 + 2*a. Let f be m(-3). Let w be 2 + f/(-57)*-10. Which is smaller: -1 or w?
-1
Suppose 2*l - 1 - 11 = 0. Let w = -5 + l. Let o be -1 + (2/w)/2. Which is smaller: 1 or o?
o
Let h(r) = -r**3 - 4*r**2 + 5*r + 3. Let p = 19 + -24. Let l be h(p). Suppose -4*w + 18 = 6. Is w != l?
False
Let h = 8 + -4. Which is smaller: -0.1 or h?
-0.1
Let j = -1 - 8. Let q be j/(-24) + 1/(-2). Let v(u) = -u**3 + 3*u**2 - 4*u + 3. Let f be v(2). Which is bigger: q or f?
q
Let l be 76/6 - (-5)/15. Suppose 8 = 3*r - l. Which is greater: 6 or r?
r
Suppose 1 = -3*r - 2. Suppose 19 = 3*h + 2*u - 6*u, -5*h = -2*u - 41. Suppose -h - 3 = 4*d. Is r less than d?
False
Let g = -39 - -39. Which is greater: g or 4/49?
4/49
Suppose -25 - 1 = -2*a. Suppose -3*g - v = -a, -4*g = -0*g - 4*v + 4. Let r be 2 - g*(-2)/(-2). Are 3/7 and r non-equal?
True
Suppose -7*y + 47 = t - 2*y, -3*t = -5*y - 61. Which is bigger: 26 or t?
t
Let z(o) = 9*o**2 - o. Let m be z(-1). Suppose -4 = b - m. Let v be ((-2)/b)/(4/(-12)). Is v less than or equal to 2?
True
Suppose -4*n - 8 = -3*n - r, n + 20 = 4*r. Let x = -3 + 5. Let b = x + n. Which is smaller: -1 or b?
b
Let i = -85 - -64. Is i less than -20?
True
Let l be 85/20 - (-2)/(-8). Is 6 greater than or equal to l?
True
Let u be (0 - (42 + 4))*1. Are -46 and u unequal?
False
Let d = -63 - -67. Is 7 < d?
False
Let i = -0.107 - -0.407. Which is smaller: 9 or i?
i
Let b be 469/(-42) - -1*(-3)/18. Is 1 less than or equal to b?
False
Let w be (-1 - 0)*(-2 + 75/5). Which is smaller: -1 or w?
w
Let x = 0 - -3. Let v be (4/x)/(5/(-3)). Is v != -2?
True
Let b(z) = z - 6. Let f be b(3). Which is bigger: -7/3 or f?
-7/3
Let u = 8 + -6. Let q = 1.8 - u. Do 0 and q have different values?
True
Let b be (0 + 4/6)*6. Let i be 3/b - (-3)/(-3). Is 2 equal to i?
False
Let l = 3 + 76. Is l greater than 80?
False
Let t(o) = -8*o**2 + o + 1. Let r(n) = n**2 - 4*n - 6. Let h be r(5). Let d be t(h). Is d at most as big as -6?
True
Let y = -0.2 + 0.2. Let f = -1.1 - -6.1. Let u = 5.1 - f. Is u > y?
True
Let f = 1 + -2. Let y = -166 - -673/4. Let c = -121/52 + y. Is c at least as big as f?
True
Let c be 42/91 + 0/(-1). Which is greater: c or -1?
c
Let p = 8 - 2. Let b be ((-8)/p)/(1/(-3)). Let f be (-1)/(-4) - 1/b. Which is bigger: f or -2?
f
Let v(l) = 18*l + 6. Let y be v(6). Let w be y/7 + (-2)/7. Let m be (6/4)/((-6)/w). Is m greater than -3?
False
Let b = 13 + 1. Let c = b + -10. Is 3 <= c?
True
Suppose 0 = 2*s + 4*g, -3*s = s - 5*g. Suppose 5*y = -s*y. Is y <= 1/4?
True
Let j(d) be the first derivative of -d**2/2 - 9*d + 4. Let c be j(-8). Which is greater: 2/27 or c?
2/27
Let n = 4 - 2. Suppose -n*t = -5*t - 6. Is t greater than -1?
False
Suppose 4*v + 14 = 2*g, 3*v - 6 = -v - 2*g. Is 2/47 greater than v?
True
Let i be ((-76)/(-12) + -3)*-3. Is -9 greater than i?
True
Let n(o) = -o - 2. Let k be n(-2). Suppose 4*w - 3*w + 3 = k. Let l = w - -5. Which is smaller: 1 or l?
1
Let q = -66 - -54. Is q less than or equal to -12?
True
Suppose -q + 0*q = -2. Let x be (-6)/4 - (q + -3). Let i = -6 - -4. Is i < x?
True
Let l(h) = h**3 - h + 3*h**2 + h - 2*h. Let m be l(-3). Suppose w = -2*w - m. Is 2 greater than w?
True
Let o(w) be the second derivative of -w**5/20 - w**3/6 - w**2/2 - 2*w. Let y be o(-1). Let t be (-3)/12 - (-60)/112. Which is smaller: t or y?
t
Let r = -663 + 35143/53. Which is bigger: r or -1?
r
Let z = 833 - 30818/37. Let v = 14/629 - z. Is v at least as big as 1?
False
Let p = 12 + -2. Which is smaller: p or 1?
1
Suppose 2*s = s - 8. Let x be 3/(6/s)*-1. Suppose t = 2*w - 6 - 2, -4*t + 8 = 0. Which is greater: w or x?
w
Let h = 0.096 - 0.096. Are h and 4 nonequal?
True
Let t be (2/(-4))/((-4)/(-64)). Let q = 11 + t. Let u = -11 + 15. Is u > q?
True
Let n(q) = q**3 - 1. Let y be n(0). Let f = -173/20 + 42/5. Is f less than y?
False
Let l = -13.4 - -12.4. Which is smaller: 5/2 or l?
l
Suppose 2*p - x - 3 = 0, -3*x = -p - 3*p + 1. Suppose -15 - 1 = p*t. Which is bigger: -3 or t?
-3
Let i = 20.8 - 0.8. Let a = 23 - i. Is -4 smaller than a?
True
