. Does 9 = n?
False
Let z = 37/7 + -199/35. Are 0.038 and z unequal?
True
Suppose 3*a - 8*a = -20. Let w(b) = -b + 7. Let z be w(a). Do -1 and z have the same value?
False
Let f = 44 - 5. Suppose 77 = -5*o + 4*u - 6, -3*o - f = 3*u. Let z = -16 - o. Which is bigger: z or 1/5?
1/5
Suppose -3 - 9 = -4*t. Suppose 5*j - 16 = q + 2*q, 4*q = 4*j - 8. Suppose -25 = -t*u - 2*z, -21 = -q*u + z + 7. Is 8 greater than or equal to u?
False
Let h be (-1)/2 - (-658)/(-28). Is -23 not equal to h?
True
Let d be (2 - 1)/(7/(-168)). Let v be 206/8 - d/(-32). Let b = v - 18. Do 2 and b have the same value?
False
Suppose -10 - 55 = 5*o. Let y be o + (-9)/(-6)*-2. Let f be (-6)/8*y/(-20). Is -1 < f?
True
Suppose -5*n = 2*u + u - 37, 41 = 4*u + 5*n. Suppose -u*x + 42 = 2*x. Which is smaller: 15/2 or x?
x
Suppose -2*v + 2*l + 4 + 2 = 0, 0 = l - 1. Suppose 0 = v*d - 0*d. Which is bigger: 3/11 or d?
3/11
Let m(v) = -v**3 + 8*v**2 + 9. Let o be m(8). Let j be 2/(6/o*1). Suppose 0 = 3*x - j. Which is greater: x or 4/3?
4/3
Suppose 0*f - 5*f - 3*g = 15, 0 = -4*g + 20. Which is bigger: -28 or f?
f
Let u = -540 + 547. Which is greater: u or 11?
11
Let l be 5/(5250/36)*(-5 - -2). Is 1 less than or equal to l?
False
Suppose -3*g = 5*x + 5, -13*g - 3*x - 3 = -9*g. Which is smaller: g or -4/71?
-4/71
Suppose 12*f - 17*f + 215 = 0. Which is greater: f or 40?
f
Let i(l) = -l**3 - 2*l**2 + 29*l + 12. Let g be i(-7). Is 60 at most as big as g?
False
Let x = -1939/55 - -179/5. Let t(a) = a**3 - 4*a**2 - a + 5. Let k be (24/9)/((-4)/(-6)). Let m be t(k). Which is smaller: x or m?
x
Let v be (6/(-7))/(18/(-126)). Is 34/7 < v?
True
Let w be 1 + -6 + 3 - -4. Suppose -w = -q + 5*l + 247, q - 4*l = 248. Let k = q - 2437/10. Is -2 at most k?
True
Suppose 3*o - 18 = 3*t - 4*t, 4*t - 30 = -5*o. Let p be (-9)/o + (-5 - -5). Which is bigger: 25 or p?
25
Let l = -1837 - -1825. Is l <= -248/23?
True
Suppose -34*b + 97 = 2035. Which is smaller: -55 or b?
b
Let r = 125 + -88. Let j = 36 - r. Which is bigger: -2 or j?
j
Let b = 67/2 + -23. Let i = 81/8 - b. Is i < 0?
True
Suppose -2*p - 2 = -5*d + 1, -3*p - 5*d - 17 = 0. Does p = -14?
False
Let z = 425 + -425. Let g = -543/685 - 1/137. Is g smaller than z?
True
Suppose 5*k + 5*w - 150 = 0, 87*w = 85*w. Which is greater: k or 25?
k
Let x = -61 - -40. Let g = x - -16. Which is smaller: g or 0.1?
g
Let u(l) = l**3 + 5*l**2 + 4*l - 2. Let a be u(-4). Suppose -14*h = -5*h. Suppose 0*x - 6*x = h. Is a bigger than x?
False
Let b be -9 - (-444)/48 - (0 - 1). Do b and -3/34 have the same value?
False
Suppose -12 + 26 = -2*b. Let m be (21/6)/b*-16. Which is bigger: m or 10?
10
Let l(q) = q**3 + 3*q**2 - 3*q - 47. Let h be l(-5). Which is smaller: h or -84?
-84
Let k be (-1 + 63/81)*3/4. Which is bigger: k or 2/5?
2/5
Let y(m) = 3*m + 6. Let k be y(-2). Suppose k = 3*u + o + 29, 4*u + 52 = -u + 2*o. Is u at least as big as -4?
False
Suppose -4*n - n + 25 = 0, d - 2*n = -10. Which is bigger: d or -6/37?
d
Let x(b) = -b**3 + 3*b**2 - 3*b + 2. Let r be x(2). Let l(p) = p**2 - 2*p - 4. Let w be l(3). Let a be -7 + 8 + -3 + w. Which is bigger: a or r?
r
Let t be (-3)/6 + 1269/2532. Is t >= 0?
True
Suppose 0 = 128*s - 132*s - 400. Let a = 101 + s. Let t = 202 + -5655/28. Is t greater than a?
False
Let d = -5 + 6. Let k = 0 + d. Let x(b) = -b**3 - 45*b**2 + 95*b + 55. Let m be x(-47). Do m and k have the same value?
False
Suppose -27*y - 21 - 6 = 0. Let m = -7.1 + 1.1. Is y <= m?
False
Suppose w - 578*b + 6 = -583*b, -w - 4*b - 5 = 0. Let y be (-6)/206*1/(-3). Is y greater than w?
True
Let r = -43 - -41.3. Let l = r - -1.4. Which is bigger: -0.1 or l?
-0.1
Let t = 511 + -930. Is 0.1 <= t?
False
Let u(f) = f**3 - 3*f**2 - 6*f + 6. Let n be u(4). Let g(t) = -t - 7. Let k be g(-8). Are k and n equal?
False
Suppose -209*o - 33 = -206*o. Is o >= -86/9?
False
Let t be 160/280 + -1 + 2/6. Is 0.1 != t?
True
Let k = -0.073 - -1.573. Let q = 0.6 + k. Suppose -t = -2*t. Which is greater: t or q?
q
Let k = -0.08 + 21.08. Is k <= -0.4?
False
Let y be (112/(-20))/(-7)*10. Which is bigger: 12 or y?
12
Let f = -470 - -939/2. Which is smaller: f or -0.05?
f
Let s(p) = 4*p - 8. Suppose 5*x - 19 = -3*y + 13, 0 = -5*x + 5. Let n be s(y). Is n not equal to 29?
True
Suppose 2*b - 3*m + 2 = 0, -m - 3*m + 8 = 0. Suppose 2*v - b = v. Let p be (v - (13 + -3))/(-2). Is 4 >= p?
True
Suppose 5*p = 3*p + 2. Let h be (-13)/(-4) - (2 + p). Is 7/5 bigger than h?
True
Suppose 2*v + 177 = -21. Let k = v - -302/3. Suppose 5*a + 10 = 0, -5*x = -3*a - 14 - 2. Which is bigger: k or x?
x
Let t = 138/2227 - -1589407/46767. Let n = t + -34. Let l(a) = a + 2. Let o be l(-1). Which is greater: n or o?
o
Let a = -264 + 284. Which is bigger: -1 or a?
a
Let p = 1.2 - 0.2. Suppose 4*q + 6*s + 246 = 0, -s = 6*q - 8*q - 111. Which is bigger: p or q?
p
Let v = 1.492 - 0.162. Let b = -0.67 - v. Is -58/5 at least b?
False
Suppose -3*j + 49 = 157. Is -73/2 bigger than j?
False
Let p = 951 - 1000.1. Which is bigger: p or 0?
0
Let v = 253 + -264.9. Let s = 12 + v. Let y be (-2)/(-7) + 19/(-42). Is s at most as big as y?
False
Suppose -k + 2*k - 81 = 0. Let q = -85 + k. Which is greater: q or -8?
q
Let i be (-1 + -1)*5/(-2). Let g = 1 - i. Let u be g/2 - (-24)/9. Which is smaller: u or 5?
u
Let u(q) = -q**3 - 12*q**2 + 2*q - 135. Let t be u(-13). Let i = 0 - -8. Is t greater than or equal to i?
True
Suppose -5*p + 31739 = d, 15 = -3*p + 3. Let q be (-6)/(-14) + (-22867)/d. Let w = q + 2/349. Is 1/5 greater than w?
True
Suppose 1707 = 5*h + 4*q, -669 = -4*h + 2*h + 3*q. Let p = -1704/5 + h. Let c = -4 + 1. Are c and p nonequal?
True
Let j = -177089/7278 + -3/2426. Let a = -24 - j. Is a greater than or equal to 1/5?
True
Let o be 2*(-98)/40*63/(-49). Is 7 at least as big as o?
True
Suppose 0 = -2*t - 12 + 10. Is 2/43 at least t?
True
Let j be ((-1)/4)/(5/20). Is 3/335 < j?
False
Let c be (-2)/(-4) + (-1)/2. Suppose 0 = -3*t - 3*x + 3, 22*t - 2 = 18*t - 3*x. Which is smaller: c or t?
t
Let o be (9 + -6 - -4) + 150. Is 156 at least o?
False
Let w(k) = -3*k - 2. Let n be w(-1). Let m be (-2 + n + 3)*(-1)/6. Is 18 greater than m?
True
Let p = 1 + -4/3. Let t = -9 + 11. Suppose -c - t*s = c, -3*c + s + 4 = 0. Which is smaller: c or p?
p
Suppose 4*v = -205 - 3. Let p(j) = -j**3 - j**2 + 2*j - 53. Let i be p(0). Is v bigger than i?
True
Let a = -3036 + 3052.99. Let g = -17 + a. Is 2/5 greater than or equal to g?
True
Let s(h) = h**3 + 2*h**2 - 2*h + 3. Let o be s(-3). Suppose 4*a = 2*q + 3*a - 41, a = 3*q - 61. Let g be q/(-65)*(-1)/4. Is o at most as big as g?
True
Let g be ((-132)/(-55))/(4/(-10)). Let l be 70/(-3)*(1 + g - -2). Is l greater than 69?
True
Let t = 490 - -1698. Which is bigger: t or 2187?
t
Let l(u) = 4*u + 3. Let c = 1 - 4. Let s be l(c). Let y = -20 + 10. Is s greater than y?
True
Suppose 0 = 66*x - 103*x + 1776. Are 0.8 and x unequal?
True
Let r = 1.752 + 3.248. Is r at most -105?
False
Let q be 3 + 0/(6/2). Suppose q*u - 25 = 5. Suppose -8*c = -3*c - u. Which is smaller: c or -2?
-2
Let n = 13 + -11. Suppose 3*s + 21 = n*a, 4*s + 4 = -2*a + 18. Are 1 and a unequal?
True
Let c = 887/3 + -295. Is 236 greater than c?
True
Suppose 3 = 3*o, 4*x + 61 = 2*x + 3*o. Is -88/3 less than or equal to x?
True
Suppose 7*f - 126 = -49. Suppose -8*m = -3*m - 70. Which is smaller: f or m?
f
Let d = -0.287 + 0.057. Which is greater: d or 19?
19
Suppose -4*u = -0*p + 2*p - 2, 0 = 2*p - 4*u - 2. Let k be 31/(-9) - (p + -5). Which is bigger: k or 0?
k
Let y(d) be the third derivative of d**4/24 - 4*d**3/3 + 9*d**2. Let l be y(4). Do -4 and l have the same value?
True
Let v = -0.859 - -0.353. Do -1 and v have the same value?
False
Suppose -5*f - 4*n = -56, 17 = f + 2*n - 7*n. Let g(o) = 9*o**2 + 2*o - 2. Let k be g(1). Let r be ((-11)/(-3))/(3/k). Is r < f?
True
Suppose 1 = 3*a - 2*a. Let h be 4 - (-9)/(-3)*a. Let f = -1531/17 - -90. Is h < f?
False
Let g be -4 - (-24)/9*-3. Let w be g/(-78) + 4/(-364). Do -1 and w have the same value?
False
Suppose 0*l = -2*n - 5*l + 15, 4*l = 20. Let z(t) = -28 + 3 - 4*t + 7*t - 4*t. Let f be z(-19). Which is bigger: f or n?
n
Let c = 3.6 + -5.6. Let f = 0 - c. Which is smaller: f or 10?
f
Let f be ((-1)/10)/(5/(-60)). Let y = 41 - 29. Let l be 15/12 - 3/y. Which is greater: l or f?
f
Suppos