w - 1 = -0*w + d, -3 = 3*d. Are 2/3 and w nonequal?
True
Suppose 4*d + 4*r = 0, 4*d - 2*r = 10 - 4. Let h be (-2 + d)*(-2)/(-2). Suppose -12 = 4*a - 0. Which is greater: h or a?
h
Let a = 160 + -475/3. Is a equal to 2?
False
Let f = 1 + 4. Let j = f - 3. Let r(u) = -2*u - 4. Let d be r(-3). Is d greater than j?
False
Let k be 10/35 + 24/14. Suppose 0 = 4*l + 3*d + 64, 2*l + k*d = 3*l + 27. Let g be 1*(-3 - l/7). Which is smaller: 0 or g?
g
Let b = -125 - -127. Which is bigger: b or 1/3?
b
Let x = 0.3 + -1.3. Suppose w + 4*w + 15 = 0. Let h = 4 + w. Which is bigger: h or x?
h
Let u be (-1 + 1 - 0) + -1. Let i be 3/12 - 10/(-24). Is i at least as big as u?
True
Let a = 7.9 - -2.1. Let p = a - 6. Let g = p + -6. Is -0.1 not equal to g?
True
Let m = -3/8 - 0. Let i = 6 + -6. Which is smaller: m or i?
m
Let d = 6 - 4. Suppose 1 = -y - d. Let q = 0 + -2. Which is smaller: q or y?
y
Let b = -1 + 1. Let s = 214 + -220. Which is smaller: b or s?
s
Let d(q) = -q**2 + 10*q + 11. Let n be d(11). Is 12 bigger than n?
True
Let a = -20.8 + 21. Is a > 1/4?
False
Suppose 5*o = -5*x, -3*o - 4*x - 25 = -6*x. Is -8 < o?
True
Let x(w) = w**3 - 5*w**2 + w + 4. Let t be x(4). Let q = 2 + t. Are q and -6 equal?
True
Let x(w) = w + 6. Let h be x(-5). Let v = 7 + -5. Are v and h unequal?
True
Let l = 8 - 8. Which is smaller: -2/25 or l?
-2/25
Suppose 4*t + 8 = 28. Let k = t + 0. Is k bigger than 3?
True
Let h = 29/108 - 1/54. Which is smaller: 0 or h?
0
Let a be 4 + 0 + 4 + -2. Suppose -3 = 3*z - a. Which is greater: z or 2/7?
z
Let p be (-59)/56 - 2/(-6). Let s = 1789 - 100187/56. Let u = s - p. Which is greater: 2 or u?
2
Let o = -11 + 8. Let f be (-2 + 1)*(o + 6). Are -2 and f nonequal?
True
Let c be 6/(-4)*-1*10. Let k be 1 + (33/c - 2). Suppose -2*w = -2 - 2. Which is greater: w or k?
w
Suppose -6*c - 4*k = -2*c, 5*c - 2*k + 7 = 0. Which is smaller: c or -4/15?
c
Let j be (24/585)/(6/(-9)). Is j equal to -1?
False
Suppose -5*j - 9 = 1. Let o = 2 + j. Suppose o = -2*z + 2 - 0. Do z and -1/6 have the same value?
False
Let v = 6 + -2. Suppose 8*b = 3*b - n - v, -5*n - 20 = 5*b. Let o = -37 + 39. Is b at most o?
True
Let m = -35 - -51. Let u = m + -26. Let v = u + 7. Which is smaller: v or 0.1?
v
Suppose w + o = -16, 2*w + 6*o + 26 = o. Let t be (-10)/(-4)*12/w. Which is smaller: -2 or t?
-2
Let s = -21 - 5. Which is smaller: -27 or s?
-27
Let i be (-3997)/(-84) - 4/(-6). Let j = -48 + i. Which is bigger: j or 1?
1
Let a(y) be the third derivative of y**4/24 - y**3/2 - y**2. Let z be a(4). Let x(n) = n**3 - 5*n**2 + 2. Let f be x(5). Is f equal to z?
False
Let p(v) = -2*v - 11. Let q be p(-5). Let i be (9 - 9)/(1*q). Is 2/9 less than or equal to i?
False
Let k(f) = -5*f**2 - 5*f - 7. Let o be k(-4). Is o bigger than -67?
False
Let q be (-87)/12 - 3/(-12). Is 3 smaller than q?
False
Let l = -2.6 - -2.8. Suppose 4*g = n + 14, 5*g - 5 = -n + 17. Is n != l?
True
Let a = 13 - 2. Let r = a + -10.9. Does r = -0.1?
False
Let a(w) = -w**3 + 3*w**2 - 3*w + 1. Suppose -2 = 3*r - 8. Let b be a(r). Which is bigger: b or 1/3?
1/3
Suppose 4*c + 1 = 17. Suppose h = c*m + 21, -3*h = h - 20. Is m at least as big as -5?
True
Let i(y) = y**3 + 7*y**2 - 7*y + 7. Suppose 2*l - 7 + 23 = 0. Let z be i(l). Is z greater than 1?
False
Suppose 2*h = -2 - 0. Which is smaller: h or -2/7?
h
Suppose 2*u - 2*s = -9 - 3, -u + 4*s = 15. Let l be u*(3 + -3 - 3). Which is smaller: 8 or l?
8
Let m(b) = -b + 4. Let x be m(5). Let t = -4399/4 + 1100. Which is greater: x or t?
t
Let n be 0/(15/(-3 - 2)). Does 22 = n?
False
Let m be 33/(-6)*(-2)/(-2). Let d = m - -6. Are d and -1 nonequal?
True
Let f be (9/12)/(14/(-8)). Suppose 4*b + 48 = 5*l, 0*b = -4*b + 4*l - 52. Let k = 18 + b. Which is greater: f or k?
k
Suppose -b + 1 = -0*b. Let c be -1 - ((-4)/2 - -2). Is b equal to c?
False
Let k be (-306)/(-7) - (-4)/14. Which is smaller: k or 42?
42
Suppose -3 = 3*m - 0. Suppose -w - w = -2*a + 24, -2*a = w - 36. Let j be (-22)/(-99) + a/(-153). Which is smaller: m or j?
m
Suppose 2*r + 188 = 6*r. Do 47 and r have different values?
False
Suppose -4*c - 3*p - p = -4, -c - 2*p + 1 = 0. Which is smaller: c or -32?
-32
Let g = 2.5 - -0.5. Let r = -2.1 - -0.1. Let m = r + g. Which is greater: -2/7 or m?
m
Suppose -2*w + 4 = 4*o, o + 3*w = 2*w - 1. Suppose -2*q + 8 = 2*q. Which is bigger: o or q?
o
Suppose -4*a = p + 9, -p + 27 = -5*a + 3*p. Is a bigger than -7?
True
Let z be (3 + -2)/(17/221). Are z and 9 non-equal?
True
Let i = 11 - 7. Suppose 2*g = k + 5, k + 3*k + i*g = 4. Is -2 > k?
False
Let w = 4 - 5. Suppose 0 = 4*t + 2*t + 6. Does w = t?
True
Let d = 7/79 - -1768/553. Let c = -24/7 + d. Are c and 0 equal?
False
Let b be (36/8)/((-2)/4). Let p = 15 + b. Let c be ((-2)/3)/((-4)/p). Do 2 and c have different values?
True
Let w = 1.3 + -0.9. Which is smaller: 0.3 or w?
0.3
Let c(b) = -b**2 + 5 - 7*b + 3 + 1. Let a = -1 - 7. Let t be c(a). Are t and 5 equal?
False
Let q(f) = f**2 + 1. Let y be 1 - 0 - (-5 + 7). Let p be q(y). Is p != 2?
False
Let o = 245/363 - 1/121. Let u = -1 + -2. Is u less than o?
True
Let k(x) = 34*x - 5. Let q be k(-5). Let v = -5777/33 - q. Suppose -4*s = -3*s - 2*l - 6, 4*l + 12 = 0. Which is smaller: v or s?
v
Suppose 0 = -2*t - 2*s - 10, t + 0*t + 5*s + 25 = 0. Let h = 7 + t. Let g = h + -5. Is g at least 1?
True
Let d = 3371/2899 - 2/223. Which is smaller: d or 2?
d
Suppose 5*v - 12 = 3*v. Which is bigger: 7 or v?
7
Let c = 24 - 23. Which is smaller: -1/8 or c?
-1/8
Let h be (3 - 2)*(5 + -4). Let k be 0 + (2*-1)/2. Which is smaller: k or h?
k
Suppose 4*w = f - 8, 0*w + 2 = -w + f. Let b = 7 - 5. Which is smaller: w or b?
w
Let h = 153 + -103. Which is greater: 47 or h?
h
Let p = 214 + -2352/11. Let x be 10/(-55) - (-48)/22. Let o be (x/2*0)/(-1). Which is smaller: o or p?
o
Let o = 39.922 - -0.078. Is -0.1 at most o?
True
Let c = 23/50 - -1/50. Is 0 at most c?
True
Let j = 2 + -8. Let t(s) = s**2 + 8*s + 9. Let x be t(j). Let m be (0 + 1)/(x/9). Which is bigger: m or 1?
1
Let i = -9383/20 + 469. Is 1 > i?
True
Suppose 4*f - 2*f - 232 = 0. Is 117 bigger than f?
True
Let b(r) be the third derivative of -r**6/120 - r**5/60 + r**4/8 + r**3/2 - r**2. Let u be b(-2). Is -1/7 less than or equal to u?
True
Let z = 18 - 45. Is z less than -27?
False
Let j(y) be the third derivative of y**5/10 - y**3/6 - 2*y**2. Let x be j(1). Suppose x*f = -5*r, -f + 4*r - 3*r + 2 = 0. Does 1/3 = f?
False
Let y = -5.1 + 4.1. Which is greater: y or -7/5?
y
Let s = 2.02 + -1.42. Which is smaller: s or 2/3?
s
Let z(u) = u**2 - 5*u + 5. Let p(d) = d - 4. Let n be p(8). Let k be z(n). Let m be 3/12 - (-15)/(-28). Which is bigger: k or m?
k
Let p(a) = a**3 - a**2 + 7. Let i be p(0). Let m(x) = 2*x**2 - 3*x - 3. Let s be m(3). Which is smaller: i or s?
s
Let w(l) = 2*l + 1. Let t(j) = j. Let v(g) = 8*t(g) - 3*w(g). Let p be v(2). Which is greater: -1/5 or p?
p
Let m = 26 + -26. Which is greater: m or -2/9?
m
Let n be (-3)/4 + (-3)/12. Let h = -1 + 2. Let o be 4 - 2 - (2 + h). Is n at least o?
True
Let s = 8 - 7. Is 1 < s?
False
Let z = -57 - -169/3. Are z and -3/11 equal?
False
Suppose 4*q = n - 25, 0 = -2*q + n + n - 20. Suppose 0 = -r - 1 - 2. Is q greater than or equal to r?
False
Suppose 4*q + 3*m = -2*m + 28, -5*q - 3*m + 22 = 0. Suppose 4*i - 20 = -0*i. Suppose 6*z + 17 = 2*z - i*s, 2*z + 5*s = -21. Are z and q nonequal?
False
Let v = -3/403660 - -403760939/3229280. Let z = v - 125. Is z at least -1?
True
Let u be -5 - (0 - 255/55). Which is smaller: u or 0?
u
Let d(h) = -3*h - 10. Let x be d(-5). Is 0 greater than or equal to x?
False
Suppose 0 = 3*b + 2*z - 18, b - 1 - 6 = -z. Suppose b*y + 2 = -2*i, 0 = 5*y - 5*i + 4*i + 6. Which is smaller: y or -2/5?
y
Let u(m) = -m**3 - 3*m**2 + 4*m - 7. Let g be u(-4). Is g bigger than -7?
False
Let t be (-6)/2 - (-100)/24*2. Which is greater: 4 or t?
t
Let z = -2 - -4. Suppose 0*p = -p + z. Which is greater: 4/7 or p?
p
Let k be (1*-2 - -2)/2. Suppose k = r + l - 3*l + 4, 0 = 3*r + 5*l - 10. Let b be (4/(-15))/(28/126). Is r less than b?
False
Let t = 3 - 3/2. Is t < 1/2?
False
Let o(w) = w**2 + 0 - 2 - 3 - 3*w. Let k be o(4). Let y be 1/(1/((-1)/1)). Is k less than y?
False
Suppose 8 = 2*k + 4*g, -3*k + 13 = 5*g + 3. Suppose k = 2*y + 2*v + 340, 0 = y + 3*v - 6*v + 18