3 - 0)/(4 + -3). Suppose -2*j = n - 5. Let f = j + 7. Is f greater than -2?
False
Let s = -8 + 12. Let y be -9 + 8 + (-2 - 1). Let c = s + y. Which is bigger: 1 or c?
1
Let p = 3.01 - 0.01. Let w = 4.4 + -0.4. Let l = p - w. Is l not equal to -1?
False
Suppose -3*x = -5*m + 487, x - 469 = -5*m + 22. Let i be 70/m*(2 - 1). Is i less than 0?
False
Let k be ((-1)/3 + 1)/(-2). Let s = 12 - 19. Let p = s + 6. Is k != p?
True
Suppose -4*v + 21 = 1. Which is bigger: 6 or v?
6
Let s = -0.1 + -0.1. Let p = 4 + -9. Which is smaller: s or p?
p
Let s = 5 - 5. Let j = -0.36 + 0.41. Is s at least as big as j?
False
Suppose -5*o = -27 + 37. Which is greater: o or 2?
2
Suppose -4*c + 3 = h, -3*c = -6*c + 2*h - 6. Let y = -2/607 - -11585/15782. Let s = y + -3/13. Is s less than or equal to c?
False
Let l = -1.96 + -0.04. Suppose 0 = -0*c + 3*c + 528. Let y = -1230/7 - c. Which is smaller: l or y?
l
Let k = -22.6 + 23. Is k less than or equal to -2/19?
False
Let h = -8.5 + 9.5. Is h at most -60?
False
Let c be 4/(-10) - 2/(-5). Is -2 not equal to c?
True
Let u = -7/172 + 1023/16684. Which is smaller: u or 1?
u
Let m = 23 - 24. Is m > 1/27?
False
Let k = -29747/34 - -875. Which is bigger: -1 or k?
k
Let n be (-175)/(-42) + 1/(-6). Suppose -4*b + 12 = n. Let p be 1/((-1 + b)/2). Which is smaller: -3 or p?
-3
Let m = -10 - -6.5. Let g = 1.5 + m. Do 0 and g have the same value?
False
Let w(l) = l - 4. Let b be w(-2). Let y = 5 + -10. Which is greater: y or b?
y
Let v = -25 - -30. Which is smaller: v or 4?
4
Suppose -4*l = -3*l + 3. Let u = l - -1. Let k(q) = -q**3 - 5*q**2 - 3*q + 3. Let i be k(-4). Is u at least i?
False
Let c = 1.8 - -0.2. Let u = 2 - c. Let q = u - 0.1. Which is smaller: q or 0.2?
q
Suppose -o - 5*d = -6 + 19, 4*o + 2*d + 124 = 0. Is o at least 1?
False
Let o = 4 + -2. Let a be (-2*o/(-4))/1. Let k be 1 + ((-4)/1 - -3). Is a smaller than k?
False
Let x be ((-1)/3)/((-2)/6). Let q be (0/x)/(4/(-4)). Are q and -2/19 unequal?
True
Let j(k) = -k**3 - 8*k**2 - 3*k + 3. Let n be j(-3). Let y be 44/n - 2/(-3). Is -2 at least y?
False
Let g = -519 - -24389/47. Are g and 1 unequal?
True
Let w = -132 + 53. Is 1 at most as big as w?
False
Let k be 90/(-38) - (-6 + 4). Which is smaller: k or 1?
k
Let h(w) = w**2 + 7*w - 8. Let o be h(-8). Let m = 8 - 5. Let s = m + -2. Is s equal to o?
False
Let n = -6 + 4. Let s be (-5 - 0)/(n/2). Suppose -3*p + p = -2*g + 6, 0 = s*g. Is p < -4?
False
Let j = 0.15 + -0.05. Let c = -0.9 - j. Is -1 at least as big as c?
True
Suppose 4*r + 12 = 3*z, -2*z - 3 = -3*z + r. Does 1/7 = z?
False
Suppose -2*b - b = 0. Let l = -1 - -7. Suppose 0 = 2*f - 2*d + 6, -3 = -l*f + f - 4*d. Which is bigger: b or f?
b
Let c = -19/3 - -6. Let o be 3 - 5 - (1 - 3). Is o less than or equal to c?
False
Let r(v) = v**3 + 3*v**2 - v - 3. Let d be r(-3). Let l(c) = -c. Let u be l(d). Let x = 884/7 + -126. Which is smaller: u or x?
u
Let q be 90/(-15)*(-2)/4*2. Is 2 at least as big as q?
False
Suppose -m + 25 = -4*d, m + 4 = -2*d - 1. Let b be (d - -3)/((-2)/(-3)). Let z = 2 + b. Which is smaller: z or 0?
z
Let d(o) = o**2 - 6*o + 1. Let i be d(5). Let k(z) = z**2 + 4*z. Let p be k(i). Is -2/25 bigger than p?
False
Let g be -2*(-2 + 1 + 0). Let d = 6 + -5.7. Which is bigger: d or g?
g
Let l = -184/3 - -61. Does l = -0.1?
False
Suppose 5*p + 2 = 7. Let h be 1/(-4) - (1 + -1). Does p = h?
False
Suppose -2 = 3*f + 4. Let t be 3/(-1)*f/(-21). Let n(v) = v**2 - 3*v. Let b be n(3). Does b = t?
False
Let r = 103 + -216. Are r and -114 equal?
False
Let r be (3 + -1 - 4)/(-1). Suppose -5*i + b + r*b + 26 = 0, -3*b = 5*i - 14. Suppose 4*q = -5*n + 14, -q + i*q - 13 = -5*n. Which is smaller: -1 or n?
-1
Let g = -201 - -198. Which is bigger: g or -3/4?
-3/4
Let a(v) = 5*v**3 - v**2 + v + 1. Let o be a(-1). Let z be 8/(2*3/o). Suppose 3*t - 3*q + 30 = -0*q, q = -2*t - 17. Is z bigger than t?
True
Let m = -0.57 + 0.64. Is m greater than -3?
True
Let t = 0.199 - -0.801. Which is smaller: 27 or t?
t
Let c be 12/27 + (-2)/9. Is 0.9 greater than or equal to c?
True
Suppose 0 = -x - 47 - 25. Do -72 and x have the same value?
True
Let d(a) = a + 6. Let q be d(-8). Let k be 0 - (2/q)/1. Suppose 2*s - 4 = x + 6, -s = x - 5. Which is smaller: x or k?
x
Let l = -9.907 - -0.007. Let n = l - -10. Is 7 bigger than n?
True
Let j(q) = -2*q + 1. Let f be j(-4). Let k be (f/(-21))/((-18)/(-4)). Are -1 and k nonequal?
True
Suppose 2*b = 5*u - 3*u - 4, 38 = 3*u + 5*b. Which is smaller: u or 0?
0
Let i = 26.4 - -0.6. Is i equal to -1?
False
Let p = -0.7 - 0. Let v = p - 6.3. Let t = v - -6.9. Are 0.3 and t equal?
False
Let m be ((-39)/65)/((-54)/20). Let a be (-4)/(-2)*1/(-2). Do a and m have different values?
True
Let p = 5 + -8. Let v(a) = a**3 + 6*a**2 - 4*a - 6. Let f be v(-5). Let m = f + -81/2. Which is smaller: p or m?
p
Suppose -2 - 4 = -2*c. Suppose -c*v = -4*v - 4. Let d be v/(-18) + -1 + 1. Which is smaller: 0 or d?
0
Let r(z) = -z**2 - 9*z - 6. Let q be r(-6). Suppose 2*t = -3*i + 2*i + 17, -2*i = -2*t - 22. Which is smaller: i or q?
q
Suppose 0 = 2*o - 4*g, -3*g + 0*g = -5*o - 7. Let a = o - -1. Let t = 9 + -4. Which is smaller: a or t?
a
Let y be ((-18)/(-8) - 3) + 1. Is -1 < y?
True
Let y(a) = -a**3 - 9*a**2 - 9*a. Let q be y(-8). Suppose -2*u + 0*u = -q. Suppose -z - u*z + 15 = 0. Which is bigger: 1/2 or z?
z
Let a(c) = -c - 1. Let s be a(0). Let u be (1 - 7)*2/4. Let n be u + (-3 - -2 - s). Which is smaller: n or -4?
-4
Suppose -3*b - 4 = -u, -4*u + 1 = 3*b - 0*b. Let f be -8 + 24/4 + -3. Let h be f/(-3) + 4/(-6). Is b greater than or equal to h?
False
Let v = 69/68 + -30/17. Let b = 335 - 1331/4. Let t = v + b. Is t > 1?
True
Let b = 99 + -109. Is b at least -3?
False
Let a be ((-3414)/484)/((-6)/67). Let b = -315/4 + a. Let z = -260/1089 + b. Which is smaller: z or 0?
z
Let v = 2 + -1.98. Suppose -6 = 4*z - a - a, 0 = -4*a + 4. Do v and z have different values?
True
Let m(n) = -n**3 - 7*n**2 - 8*n - 3. Let q be m(-6). Let i(t) = -2 + 5 - t + 6 - 3. Let y be i(q). Is -3 < y?
False
Let v = -6 - 1. Let p = v - 1. Let x be (-2)/p - 51/12. Is -3 < x?
False
Let l(y) = -2*y - 12. Let s be l(-6). Let x = 736/77 + -102/11. Which is smaller: x or s?
s
Let o = -70 + 419/6. Suppose -3*j + j = 2. Is j less than o?
True
Let s(p) = -p**2 - 5*p + 2. Let t be s(-5). Let m = -2 - -1.9. Which is smaller: t or m?
m
Let g be 0 + 10/((-6)/(-3)). Let v = g - 6. Suppose -m + 4*m = 0. Which is smaller: v or m?
v
Let v be (6/9)/((-2)/(-6)). Suppose -b = -v*b. Suppose 2*j + 0 + 2 = b. Which is greater: -2 or j?
j
Let n(u) = u**3 + 2*u**2 - 3*u + 2. Let h be n(-3). Suppose t = -3*z - 4*t + 28, t = -h*z + 14. Let i be ((-1)/(3/(-3)))/z. Which is bigger: -1 or i?
i
Let m be 1 + -2 + -2 + 4. Let k = -1 + m. Suppose k = -4*w + 3*j + 31, 3*j - 4 = -5*w + 1. Which is smaller: w or 3?
3
Let c be 66/(-6)*2/(-6). Which is smaller: 5 or c?
c
Let w = -2 + 1. Let a = -12 + 12. Is a smaller than w?
False
Let x(l) = -l**2 + 5*l + 1. Let a be x(5). Suppose 0 = -5*v + 10*v - 5. Do a and v have the same value?
True
Suppose c + 0 = -1. Is c at most -1/6?
True
Let a(l) = -l**2 - 2*l - 3. Let c be a(-3). Which is smaller: -9 or c?
-9
Let x = 29.1 - 29. Which is bigger: x or -23/3?
x
Let s(j) be the second derivative of j**4/12 - j**3/2 + 3*j**2/2 - j. Suppose -o - 7 = 3*m - 7*m, 3 = m + o. Let n be s(m). Is n not equal to 3?
True
Let p = 1 - 0.9. Let x be (24/20)/(3/10). Suppose d = x*l + 6, -4*d + 3 = -5*l + 1. Is p smaller than d?
False
Let y(l) be the first derivative of -l**4/4 - 5*l**3/3 - 5*l**2/2 - 5*l + 3. Let c be y(-4). Is c >= 1/6?
False
Let m(l) = l - 3. Let x be m(7). Let h = 3 - x. Let d be (-4)/6 + 64/78. Is h <= d?
True
Let t(o) = o**2 + 2*o - 3. Let v be t(-4). Let g be (-2 + 4 + -1)*v. Is 4 < g?
True
Let g be 332/5 - ((-160)/(-25) - 6). Are 67 and g equal?
False
Let g = 5 - 2. Let n be ((-2)/g)/(2/(-18)). Let p = n - 8. Is -2 smaller than p?
False
Let g be (6/(-20))/(12/16). Let u = 8 + -8.2. Which is greater: u or g?
u
Let v be (-7)/((-238)/60) + 0. Let z = -124/51 + v. Which is bigger: -2 or z?
z
Let v = 211 - 504. Let x = v + 295.98. Let i = x + 0.02. Which is smaller: i or 1?
1
Let g(q) = -q - 4. Let x be g(-5). Suppose 0 = 4*r + 2*b - 16, 2*b + 3 = 5*r + x. Let k = 18 - 35/2. Which is