. Let n = q + 1.844. Let m = n - -0.006. Which is greater: -2/7 or m?
m
Let n be ((-2)/(-18) + (-118)/(-18))*261/6. Which is smaller: n or 288?
288
Let s = -8774 - -22176. Which is smaller: s or 13401?
13401
Let p be ((-3)/(135/(-18)))/(-4*4/(-34480)). Is p < 860?
False
Suppose -26*s - 125 = -21*s - 4*b, 5*s - 19*b + 200 = 0. Let m(j) = -4*j**2 - 3*j + 4. Let r be m(-3). Is s less than or equal to r?
False
Suppose -39 = 5*n + 3*c, -3*n - c + 21 = -7*n. Let z(h) = h**3 - 4*h**2 + h - 3. Let p be -6*(1/2 - 1). Let x be z(p). Do x and n have different values?
True
Let b = 1/1891 - 123/1891. Is 7 at most b?
False
Let u be ((-1)/(-2))/((-26)/(-4)). Let q(j) = 2*j. Let b(c) = 11*c + 36. Let l(x) = -b(x) + 3*q(x). Let m be l(-7). Is m smaller than u?
True
Suppose -265 = -39*p + 476. Which is smaller: p or 83?
p
Let r be 25/(-140) + 3/(-12). Let h = -299 - -300.89. Let x = -1.11 - h. Which is smaller: x or r?
x
Let o = 35 + -30. Let c(u) = -2*u - 3 + 0 + u**3 - o*u**2 + 2*u**2. Let x be c(4). Which is smaller: -1 or x?
-1
Let k be (-359)/7*(-10 + 156/24). Let s = -175 + k. Which is bigger: s or -31?
s
Let u be ((-2)/2 - 0)*-2. Let w = u - 1. Suppose 2762*d = 2803*d + 164. Which is smaller: d or w?
d
Let x be 1 + ((-13879044)/2702 - (-6)/(-14)). Let h = 5136 + x. Which is greater: 1 or h?
1
Suppose 37*a = -95*a - 112992. Which is bigger: -857 or a?
a
Let h be -12 + 406/28 + -3. Which is smaller: -1178 or h?
-1178
Let h = -1825 - -1826. Let w = -4 + 6. Suppose 3*z - 7 = w*s, z + 2*s + h = -2. Is 2/11 greater than or equal to z?
False
Suppose 25 = -3*q + 8*q. Suppose 0 = 3*s - 5*r + 4*r + 97, 0 = -s + q*r - 37. Which is bigger: -31 or s?
-31
Let j = 9617/264 - 289/8. Let a(u) = u**3 + 12*u**2 + 2*u + 24. Let w be -3 + ((-54)/12)/((-1)/(-2)). Let n be a(w). Is n <= j?
True
Let p = 59.108 + -59. Let z = p - 0.008. Which is bigger: z or 1/3?
1/3
Let r be (-3)/15 + 141/5. Let k = -38 - -32. Let x be (k/(-4))/(r/8). Are x and 1/4 equal?
False
Let z = -7241 + 7315. Is 79 not equal to z?
True
Let b(c) = -1088*c + 1240. Let v be b(4). Which is smaller: v or -3111?
v
Suppose -2*b + 6*g + 12 = 2*g, -b + 6 = 3*g. Let m be 1/b*3*(-5 - -77). Is m at least as big as 9?
True
Let q = 135 + -134.69. Let b = -0.183 + q. Which is smaller: b or 1?
b
Suppose 2*p - 7*r - 3 = -4*r, -3 = 4*p - 3*r. Let z = 0.47 - -42.53. Let q = -16 + z. Which is smaller: q or p?
p
Suppose 895*i - 886*i = -219447. Let h = -62298563/2555 - i. Is h < 1?
True
Suppose 43*y = -9*y - 138736. Which is bigger: -2669 or y?
y
Suppose -9*a - 14 = 22. Suppose 3*v - 36 = 6. Suppose -5*s + s - v = -2*p, 5*s = -25. Is a smaller than p?
True
Let b = -58 + 59. Let z be (b + -9)*14/(-56). Is z < 78?
True
Suppose 2*j + 5 = 2*o - 1, 2*o = j + 5. Let l(s) = o + 4*s**2 + 0 + s + 1 + 13*s**2. Let y be l(-1). Is y less than 15?
False
Let l = 0 + -3. Suppose 143*i - 140063 = 36*i. Let o = i - 1308. Which is smaller: o or l?
l
Let z be -3 - ((-22)/3 + 5). Suppose -4*w + 22 = -g - g, 2*w + 2*g = 26. Is z equal to w?
False
Let g = 4283/9 - 473. Let q(k) = k**3 + 8*k**2 + 13*k + 7. Let y be q(-7). Let z = -32 - y. Do z and g have the same value?
False
Let j = -69 + 27. Let x(i) = -41*i**2 + 6*i + 6. Let n be x(-1). Which is bigger: j or n?
n
Let x(i) = -i**3 - 15*i**2 - 14*i + 50. Let b be x(-15). Suppose -7*l - 36 + b = 0. Suppose -2*t = h - 16 - 18, 4*t = 5*h - 142. Which is bigger: h or l?
l
Let d be 2 - (1/(-1) - 143*-1). Suppose 0 = 3*y + 4*k + 679 - 243, -2*k + 692 = -5*y. Is d > y?
False
Let u = -163 - -165. Suppose -c - 215 = 5*x, -51 + 173 = -3*x - u*c. Is -44 > x?
False
Let z be (34/(-8) + 4)*4. Let r be (-12)/24 + z*122/(-100). Is r <= 2?
True
Let l = -360.8 + 0.8. Let b = 262 + l. Is b less than -2?
True
Let c be (-76336)/105616 - (-5)/7. Which is greater: 0 or c?
0
Let j = -0.528 + 0.098. Let t = j - 25.57. Let v = -0.0237 - 0.1763. Which is smaller: v or t?
t
Let i be 98/(-21) + 4 - (-19148)/(-6). Let m be 18/(-22) + 1 + i/(-231). Suppose -4*g + 2*g + m = -2*w, 0 = -5*w + g - 19. Which is smaller: w or 0?
w
Let s be -293*3*3/(-9). Suppose 5*v + s = -217. Is v not equal to -103?
True
Let j = 707 + -2227. Let z be j/(-1100) - (-8)/10. Which is smaller: 1 or z?
1
Let d = -2877 - -1927. Let j = 597 + d. Which is smaller: 0.1 or j?
j
Let q(d) = 2*d**2 - 16*d + 3. Let l(c) = -c**2 + 8*c - 1. Let o(a) = 4*a - 27. Let s be o(8). Let k(v) = s*l(v) + 2*q(v). Let x be k(6). Is x greater than 11?
True
Let i = 2222.046 + -2222. Is i < -0.1?
False
Let i be (-7)/14 + (3 - 0) + -2. Let s = -11/4 - i. Let v = s + 2. Which is smaller: v or 0?
v
Let y = -18881 - -18880.8. Is -3001 smaller than y?
True
Suppose 113*n - 135*n - 6006 = 0. Let s be 4/136*(9285 + 1). Let y = n + s. Which is greater: y or 0.1?
y
Let y = 896/3 - 14719/51. Are y and 1 equal?
False
Let b(c) = -c**3 + 9*c**2 + 9*c - 6. Let m be b(10). Let k be (-14)/(-32) - (-12 - m). Which is smaller: -3 or k?
k
Suppose -11*d = -12*d + 4. Suppose 4*q - 14 - 6 = 0, 5*c + 335 = d*q. Let j(b) = -b**3 - b**2 - 7*b - 63. Let a be j(0). Are c and a nonequal?
False
Let z = 1108 - 1107. Let g be -1 - (-3 - -2)*25. Let s = 97/4 - g. Which is bigger: s or z?
z
Let p(z) = -2*z - 22. Let c be p(-11). Let s be c + 8/(-4) + 5. Suppose -s - 9 = -6*h. Are h and 2 unequal?
False
Let v be (-18)/(-5) - (-4)/10. Suppose -4*f - i - v = 3*i, -3*i = -2*f + 23. Let z(s) = 5*s - 14. Let o be z(f). Which is smaller: o or 5?
5
Let y be (-189)/203 + (-62)/899. Do -92/121 and y have the same value?
False
Suppose 0 = -5*z + 119 + 21. Let s = -37.3 + 2.9. Let p = -35.4 - s. Are z and p unequal?
True
Suppose -2*b + 56 = 4*w, -4*b - 1 = -w - 5. Do -67 and w have different values?
True
Let q(x) = 12*x - 64. Let h be q(7). Let z = h + 20. Which is smaller: 38 or z?
38
Suppose 4*a - 16 = -5*h + a, -2*h + 2*a + 16 = 0. Suppose -3*c + 0*u = -h*u + 69, -69 = 3*c + 3*u. Are -19 and c non-equal?
True
Let b = 7693811/3770 + -10204/5. Let a = 1321/140998 - b. Is 1 at least as big as a?
True
Let f = 0.2499 - -1097.7501. Let p = f - 1141.9. Let k = 44 + p. Which is bigger: -4/11 or k?
k
Let o be 36/270 + (-94)/30. Let t be ((-2)/o)/((-12)/1674). Is t equal to -94?
False
Let w = 1.36 + -0.06. Let r = -1.4 + w. Let v(n) = -n**2 + 8*n. Let i be v(9). Is i bigger than r?
False
Let w = -53686 + 53994.965. Let t = w - 309. Is 4 > t?
True
Let y(m) = 10*m**2 + 10*m + 9. Let o be y(-1). Suppose -5*h - 4*l = 11, 3*h + o*l = 8*l - 1. Which is smaller: -12/35 or h?
-12/35
Suppose 3*h = 12, -3*k + 2*h = -h - 18. Let d = -1049.4 - -62.4. Let a = 987.3 + d. Is a at least as big as k?
False
Let w be ((-31)/3)/((-441)/(-1323)). Suppose -2*q + 5*o = 86, 9*q - 4*q - 5*o + 185 = 0. Which is greater: w or q?
w
Let z(l) = -l**3 - 3*l**2 + 13*l + 19. Let q be z(-5). Suppose -22*w = q*w - 1118. Is w at least 44?
False
Let v be ((-1785)/10)/7*-16. Let f = -373 + v. Let t(p) = -34*p. Let i be t(-1). Is i at most f?
True
Suppose 75*u = 72*u. Suppose -5*c - 11 = -r - r, -c - 5*r + 14 = u. Which is greater: 1/223 or c?
1/223
Let d be (-127462)/255227 + (-4)/(-7). Do -0.1 and d have the same value?
False
Suppose -1601 = -2*l + 521. Are 1065 and l equal?
False
Let u = 3430941994/105 + -32676258. Let h = -620 - u. Which is bigger: h or -1?
h
Let o(d) = -23*d**3 - 10*d + 17. Let l be o(2). Suppose 4*t - 208 = p, 7*t + 356 = -2*p + 3*t. Which is bigger: l or p?
l
Let d = -650.13 + 650.3. Is d at most as big as -0.64?
False
Let r be ((-11)/(-8))/((-1)/(-6)). Suppose -3*m + 51 = 4*z + 13, -z + m = -6. Which is bigger: z or r?
r
Suppose -5*h + 41 - 11 = 0. Let c(z) = -174 - 175 + 518 + 2*z - 172. Let k be c(h). Which is bigger: k or 64/7?
64/7
Let i(z) = 3*z + 10. Let x be i(-4). Let v be (-448)/(-48) - x/(-6). Let f be v/(-15) - (-2)/(-5). Is f less than or equal to -2/3?
True
Let p = -53 + 54. Suppose 3*u + 40 = -4*y + 1, -4*y = 5*u + 57. Let v be u/(-5) - (3 - 1). Is v greater than p?
False
Let o = -34830481/1648 - -21135. Which is smaller: o or 1?
o
Let p(b) = b**3 - 4*b**2 - 3*b + 6. Let y be p(4). Is y not equal to -98/19?
True
Let j be (-477)/12*(-24)/(2 + 4). Is 152 at most j?
True
Let a = 7081 - 5499. Is 1582 >= a?
True
Suppose 4*f - 2*r + 1 = -5, f + 3*r + 5 = 0. Let q be (-1 + 2)/f - 11/(-2). Is 32/7 at least as big as q?
False
Let z =