*2 + 3*r + 1. Let l be x(-3). Let u be 7/(-5)*1 - -1. Is l not equal to u?
True
Suppose -20*s + 260 = -7*s. Which is smaller: s or 0.2?
0.2
Let b be 2/5*(-9 - -59). Suppose 2*f - a - 30 = 3*a, -f - 5*a - b = 0. Suppose -3 = 2*r - 13. Is f greater than r?
False
Let q be (1 - 5) + (-125)/(-35). Are 0 and q equal?
False
Let v(s) = s + 8 - s**3 + 0*s**3 - 2*s + 2*s**3 - 6*s**2. Let c be v(6). Is 5 > c?
True
Suppose -2*m = -4*w - 22, 2*w - 4 = -0*m - 2*m. Suppose 3*p + 14 = 2. Which is smaller: w or p?
p
Let u = 5 + -4. Let f = 10 - 7. Is f less than or equal to u?
False
Let w = -35 - -33. Which is greater: w or 3/2?
3/2
Let p = -2.1 - -2. Let l = 3 - 2.8. Let n = l + p. Are 2 and n unequal?
True
Let b = 206/65 - 36/13. Suppose -1 = -p + 2*p + v, 1 = -p + 4*v. Is b less than or equal to p?
False
Suppose -40 = 6*h - 2*h. Is -9 greater than or equal to h?
True
Let n be 4/6 - (-10)/30. Suppose -4*l + 5*l - n = 0. Which is smaller: l or -2/7?
-2/7
Suppose -9*n + 32 + 58 = 0. Is 10 less than n?
False
Let f be (-4)/(-12) + 50/3. Is 17 not equal to f?
False
Let w = -8 - -6. Let p be ((-3)/18)/(w/8). Is -3 at most p?
True
Let g(p) = p**2 - 5*p. Let a be g(5). Suppose a*r = r. Let j(i) = -i + 4. Let u be j(5). Which is greater: r or u?
r
Let g = 2/37 - 55/333. Suppose -c + 1 = 2. Which is smaller: c or g?
c
Let k = 4.4 - 10.3. Let f = k - -6. Is 0.1 at most as big as f?
True
Let i = -3171 - -9286/3. Let d = 75 + i. Which is smaller: d or 0?
d
Let v(o) = 2*o**2 + 5*o + 4. Let i be v(-2). Suppose 4*q + 18 = i. Is q smaller than -6?
False
Let f = -327 + 329.87. Let g = -0.07 + f. Let w = g + -3. Is w at least as big as -2/5?
True
Suppose 0*l + 2*l + 4*r + 8 = 0, -3*l + 33 = -3*r. Is 4 at least l?
False
Suppose -p = -0*y + y - 23, -31 = -y - 5*p. Suppose 3*b = -b - 4*t - 52, 2*b - 3*t + y = 0. Let s be (-4)/1*6/b. Is -1 greater than s?
False
Let x = -85 - -48. Is x smaller than 1?
True
Let h(f) = -f**3 - 9*f**2 - f - 5. Let i be h(-9). Suppose 2*q = 7*q - 5*p + 50, 4*q + 3*p = -40. Let r = i + q. Which is greater: r or -7?
r
Suppose -6*g = -2*g + 12. Is g less than 9?
True
Let s = 34 + -22. Let z = 17 - s. Suppose 2*k = 3*k + z. Which is bigger: -4 or k?
-4
Let d = 1.67 - -0.33. Which is greater: d or -11?
d
Suppose 3*n + 2*n = 20. Suppose x - 8 + n = 0. Is x bigger than 4?
False
Let n be ((-4)/10)/((-4)/20). Let h = 8 - n. Is 4 less than h?
True
Let f be ((-20)/16)/((-14)/(-16)). Which is smaller: -1 or f?
f
Let z = 16 + -13. Suppose 0 = -w - 3*o + 6, -z*w - 3*o = o - 3. Is 1 < w?
False
Let t(x) = -2*x - 6. Let w be t(-4). Let f be (-5 - w)/1 + 1. Let h be (-1)/(9/f + 2). Is -2 < h?
False
Let o = -0.7 + 0.5. Is o equal to 0.07?
False
Suppose -65 = -5*g - 15. Suppose 0 = 4*a, l - 6*l + g = 4*a. Suppose -4*t + 5*o + 27 = 0, -3*t + 2*o = -3*o - 24. Which is greater: t or l?
t
Let v = 553/4 - 137. Which is smaller: v or 0?
0
Let y(h) = -h - 6. Let k(b) = -5*b - 1. Let g = -1 - -2. Let j be k(g). Let u be y(j). Which is bigger: 2/3 or u?
2/3
Suppose -32 + 36 = -4*g. Which is smaller: g or -4?
-4
Let n(o) = o - o**2 + o + 4*o + 8 + 0*o**2. Let c be n(7). Which is smaller: c or 6/13?
6/13
Let j(v) = v**2 - 4*v - 13. Let r be j(6). Is 2/59 less than or equal to r?
False
Suppose 4*h - 90 - 2 = 0. Let z = h + -25. Is z smaller than 0?
True
Let q = -40.3 + 40. Which is greater: 6 or q?
6
Let d = 0.647 + 0.353. Let c(o) = 2*o - 8. Let p be c(6). Let u be 1/(-4) + (-1)/p. Is d < u?
False
Let f = 93 - 120. Is f <= -28?
False
Let p = -11.4 + 11. Let y = 0.6 - p. Is y < 1?
False
Let p = 3 - 0.2. Let y = p + -0.8. Do y and 2 have different values?
False
Let g(z) = z**3 - 2*z**2 + 3*z - 3. Let k be g(2). Suppose -b + k*o = -o - 14, 3*o + 14 = -b. Which is smaller: b or -5/2?
-5/2
Suppose 5*n = -2*x + 50, n - 2*x = -3*n + 58. Let i = 3 - n. Let s be (-4)/(-18) + 11/i. Are -2/7 and s equal?
False
Suppose 0 = 2*i + i - 54. Suppose 5*n - 4*n - 2*a + 6 = 0, -5*n - 2*a = -i. Let w be -1 + 3/(n/(-2)). Is w greater than or equal to -4?
True
Let o(b) = b - 11. Let z(u) = -11*u. Let h be z(-1). Let q be o(h). Suppose 3*j + 5 - 2 = q. Which is smaller: j or 2?
j
Suppose 0*f + 2*f - 2*q + 48 = 0, -2*f - 33 = 3*q. Let n be ((-12)/f)/((-4)/(-14)). Which is smaller: n or 0.5?
0.5
Suppose 4*g + 26 - 30 = 0. Let v be 4/14 + (-4)/63. Which is smaller: g or v?
v
Let g(d) = -5*d - 3. Let y be g(-4). Let b = -16 + y. Which is bigger: 2/35 or b?
b
Let h = 0.97 + -0.47. Is h > -1/2?
True
Suppose 0*f = 4*f. Let x be (6 - 5)*(1 + -1). Suppose f = o - x + 2. Is o smaller than -1?
True
Let i be 2/11 - 553/77. Let g = 4 + i. Is -4 at most g?
True
Let d = 146 + -145. Which is greater: d or -1.2?
d
Suppose -4*m = -q - 0*q + 1, 2*q + 11 = -5*m. Which is greater: m or -8/15?
-8/15
Suppose z = 2*h + 15, 2*h + 4*z = 1 + 9. Suppose -3*w + 5 = -5*w + 5*o, -w = -4*o + 1. Do w and h have the same value?
True
Suppose -2*y = -y + 1. Let l be 21/7 - 8/2. Is l > y?
False
Let a = -1 + 1. Let u = -142 + 708/5. Which is smaller: a or u?
u
Let t = 5 - 3. Suppose -14 = -3*k - 3*q + 7*q, 0 = q + t. Let f be 1 + k + -2 + -3. Which is bigger: f or -1/2?
-1/2
Let o be 0 + 1 + (-218)/214. Let u = 25475/62488 - -9/4088. Let w = u - o. Which is smaller: w or 0?
0
Let t = 545 + -544. Let v(f) = -3*f**3 + f**2. Let j be v(-1). Let c be 3/j*(-3)/6. Which is greater: t or c?
t
Suppose 8*p - 3*p + 12 = -c, 3*c - 59 = 4*p. Suppose -c = 4*x - 49. Let k = x + -55/6. Is k greater than or equal to -1?
True
Let x = 9 - 9.1. Is 4/9 > x?
True
Let o(z) = -2*z + 1. Let k(m) = -m + 1. Let f be k(0). Let q be o(f). Let a = -193/1122 + -1/102. Is q <= a?
True
Let h(o) = -o - 1. Let x(f) = f. Let k(p) = -h(p) - 4*x(p). Let b be k(4). Is b greater than -11?
False
Let k = -58 - -74. Which is bigger: k or 15?
k
Let u(q) = q - 11. Suppose -4*b = -b - 33. Let d be u(b). Is -3/16 smaller than d?
True
Let r = -2 + -1. Let t be 1*r + (0 - -4). Is t less than 1/9?
False
Suppose -3*y = -0*y. Let p be 4/8*(0 + y). Do p and -2/5 have the same value?
False
Let q(j) = -j**3 + 6*j**2 - 4*j. Let g be q(5). Suppose -g*p + 3 = -7. Suppose -3*x = 4*u - 17, 2*u - 3*x + 11 = 2*x. Is p smaller than u?
False
Let n be (-2)/15 - 25064/120. Let y = n - -2301/11. Is -1 smaller than y?
True
Let a = 27 + -51. Is -24 less than a?
False
Let u = -5 - -7. Let b be 12/27*u/4. Which is smaller: 0 or b?
0
Suppose 3*q = -4*w - 39, 0*w = w - 3*q - 9. Let i be ((-20)/(-75))/((-4)/w). Which is smaller: 1/4 or i?
1/4
Let g(y) = -y + 1. Let m be g(-1). Suppose 2*h - 3*v = 12, m*v + 0 = -h - 8. Let p be 2/(-4)*(-2 + 1). Is h smaller than p?
True
Let h(b) = b**2 - 5*b + 5. Let s be h(5). Let j = s - 3. Let n = -1 + 3. Are j and n non-equal?
False
Let c = -1 + -1. Let f be ((-1)/c)/((-1)/(-4)). Suppose 4*k - 2*s + 5 = 7, -4*k + 3 = -s. Which is bigger: k or f?
f
Let o = 1.1 + -5.1. Let t = -2 - -1. Which is smaller: o or t?
o
Suppose 12 = -2*w - r, 5*r + 20 = -0*r. Let j be 1*(-7 - (-1 + -1)). Which is bigger: j or w?
w
Suppose -20 = -0*d + 4*d. Let r = d + 9. Let l = 3 - r. Which is smaller: l or -2/5?
l
Let q = -0.01 - 0.25. Let n = q - -0.06. Which is bigger: n or -1?
n
Let k = 58/9 - 491/72. Let l be -2 - 2/(16/(-18)). Which is bigger: k or l?
l
Let h be 38/330 - (-6)/(-33). Which is bigger: h or -1?
h
Let c = 2.2 - 1.2. Let u be 8/(-36) - 34/9. Is u less than or equal to c?
True
Let u(x) = -x**3 - x**2 - 5. Let f(m) = m**2 - 6*m + 4. Let v be f(6). Let b = 4 - v. Let a be u(b). Is -4 greater than a?
True
Let s be (-4)/((-4)/2) - -1. Suppose 0 = 4*b + s*z + 15, z + 5 = -0*b - b. Let g be 2/(-7) - 4/(-14). Is g less than b?
False
Suppose -5*a + 4*n + 16 = 3, 2*a = 2*n + 4. Let j = a + -6. Is 0 less than or equal to j?
False
Let h = -17 - -27. Let f be (-232)/(-520) + (-6)/h. Which is bigger: f or -1?
f
Let w be 2 - (-1)/((-116)/240). Which is smaller: w or 0?
w
Let k = -15.3 + 17. Let z = k - -0.3. Let f be 3/((-9)/6) - -2. Which is smaller: z or f?
f
Let g = 8 + -7. Let n be -2*(g + (-21)/6). Is n <= 4?
False
Let h be 0 + (0 - 2) + 1. Let m be h/((-3)/(-9)) - -4. Let j be 1/(-17)*2*1. Is m < j?
False
Let p = 43 + -130/3. Is 1 greater than or equal to p?
True
Let l = 0.1 + -0.05. Let u = 0.15 + l. Let v = 0.2 - 0.1. Is v > u?
False
Let a(m) = -m**3 + 5*m**2 - 4*m + 4. Let y be a(4). Su