be ((-4)/6)/(1/(-3)). Suppose 0 = -5*h + 2*h - 5*r + k, -2*r = -2. Does t = h?
False
Let c = -266 - -266. Which is greater: c or 98?
98
Suppose 4*d - 2*i + 1160 = 0, 113 + 178 = -d + i. Which is smaller: -290 or d?
-290
Suppose -3*j + 14 = 2*j - 4*r, 5*r - 32 = -2*j. Suppose 9*t - j*t + 6 = 0. Is t at most as big as -2?
True
Let a = 159476/1003905 + -2/15935. Let v = -4/9 + a. Let n be (-36)/(-81)*9/2. Is v != n?
True
Let g = 0.047 + -43.047. Let o = 32 + g. Let a = o + 10. Is a smaller than 0.22?
True
Let d = -811 + 809.923. Which is smaller: d or -1?
d
Suppose -5*q + 338 = 2*o, -3*q - 67 = -4*q - o. Suppose 5*x = -133 + 468. Do x and q have the same value?
False
Let a(c) = -c**2 - 6*c + 1. Let v be a(-6). Let s = -955/3 - -6721/21. Which is bigger: s or v?
s
Let j be 19770/7553 + (-6)/21. Let w = j + -2/83. Let r = w - -5/26. Which is greater: r or 4?
4
Let w be 1186/14 - 5/(105/(-6)). Which is bigger: 0.1 or w?
w
Let b be (27/15 + -3)*40/(-3). Suppose -4*r + 681 + 495 = 0. Let k be b/4 + r/(-75). Which is smaller: -0.1 or k?
-0.1
Suppose -3*w + 0*w = 3*u - 84, 0 = 5*u - 2*w - 112. Let g = u - 20. Let y be (2*20)/g - 2. Is 9 bigger than y?
True
Let f = 10 - 5. Let k(s) = 2*s + 56. Let u be k(-26). Suppose 5*y = 4*b - f, -y + 3 = u. Are b and -2/17 non-equal?
True
Let q be 2/4*2 + (-295)/(-5). Is q smaller than 61?
True
Let j be (-1)/(-3) - 37/3. Is -12 > j?
False
Suppose 0*u = -2*w + 4*u + 14, 8 = -4*u. Let g = -59/6 + 467/42. Which is greater: w or g?
w
Let o(z) = z - 4. Let b be o(6). Suppose -21 - 15 = 3*q + b*h, 5*q + 2*h = -60. Let p be (36/(-15))/(q/(-8)). Is -3 < p?
True
Let n(d) = 5*d**3 - 26*d**2 + 5*d. Let j be n(5). Suppose a + 3*a = -5*z + 154, a + z - 39 = j. Which is smaller: 81/2 or a?
81/2
Let i = 3378/49 - 69. Which is greater: 1 or i?
1
Suppose -15*p + 5531 = 716. Which is smaller: p or 320?
320
Let l = -264 - -800/3. Let a be (7 - 6/2)/2. Suppose -w + 10 = -3*n - 5*w, 0 = n - a*w - 10. Which is smaller: n or l?
n
Let n = 598 - 479. Which is greater: 116 or n?
n
Let f = 331 + -340. Let b(z) = z + 9. Let d be b(-7). Is f less than or equal to d?
True
Let m(n) = -42*n + n**2 + 8 + 15*n - 5 + 24*n. Let a be m(1). Which is bigger: a or -1?
a
Let m = -98 - -103. Is m at least as big as -12?
True
Suppose 10*b = 18 + 22. Suppose -3*q - z + b = -4*q, -2*q = -3*z + 11. Which is smaller: q or 2/81?
q
Let m = 19.873 - -0.127. Let j = 39 - 57. Let r = j + m. Is r > -0.01?
True
Let n be (0 - 5)/((-1)/3). Let v be -3 + -2*(-1 - 3/(-2)). Let k be (8/v - 2) + 20. Which is greater: k or n?
k
Let i = -7315/752959 - -3/3317. Do 1 and i have different values?
True
Let c = 1121.9 + -1120. Are c and -0.6 equal?
False
Let z be -15*(28/12 + -2) - -4. Which is bigger: z or -4/51?
-4/51
Suppose 4*p + 132 = -2*c, -2 = 3*c - 14. Are -31 and p non-equal?
True
Let y = -71 - -82. Let j(x) = x**2 - 14*x - 21. Let p be j(y). Is -54 less than p?
False
Let n(i) = 2*i + 10. Suppose -33 + 18 = 3*u. Let z be n(u). Is 2/53 equal to z?
False
Let f be 41*(-2)/(-10) + -8. Suppose 4*m - 6 = 5*z, 4*m - 10 - 6 = 0. Suppose 0*u + 2 = z*u. Is f at most u?
True
Suppose -572 = 2*u + 11*u. Let p = -36 - u. Do 8 and p have the same value?
True
Let p(n) = -30*n**3 - n**2 - 5*n - 1. Let b be p(-2). Is b at least 244?
True
Suppose 0 = -2*g - 3*g + 150. Suppose -5*v + g = 5*u, 3*u + 4*v - 31 = -8. Is u smaller than -1/3?
False
Let p = -359 - -532. Let z = p + -1405/8. Which is bigger: -2 or z?
-2
Let r = -37 + 52. Suppose 4*a + r - 7 = 0. Let p be 6/(-9) - 14/6. Which is smaller: a or p?
p
Suppose 5*v + 26*v + 7254 = 0. Do -234 and v have the same value?
True
Let d = -0.14 + 0.04. Is d != 0.008?
True
Suppose 3*j + 31 + 4 = 4*y, j = -y - 14. Suppose 3*n - 18 = -2*w + 5*w, 5*w - 3*n = -28. Let b = -9 + w. Is b equal to j?
False
Suppose -9*k + 60 = -39*k. Let s be 1/3 + (0 - 1). Is s < k?
False
Let o = 9.6 - 9.6. Let w = 59 - 57. Is o <= w?
True
Let h be (12/(-10))/((-423)/(-405) + -1). Are h and 9 equal?
False
Let y be (1/2)/(1/24). Let o be (-6 - -6)/((-9)/(4 + -7)). Suppose -9*h + y*h + 99 = o. Which is greater: h or -32?
-32
Suppose -12*w + 105 = -7*w. Let a(n) = n**2 - 22*n + 22. Let c be a(w). Which is bigger: 1/19 or c?
c
Let v = 75 + -54. Let b = 1/5912 - -122673/5912. Let y = b - v. Is 1 > y?
True
Suppose 0 = 3*t - 2*b - 6, 0*t + 3*b - 25 = -4*t. Suppose 8*u = 4*u - t. Let g be -1 + (16/(-12))/u. Is -0.06 bigger than g?
False
Let i be (-3 - -3 - 7) + 3200/375. Is i < 1?
False
Let n be (260/(-8))/((-5)/(-10)). Let k = n - -87. Suppose 0 = 4*o - 3*i - 86, 0*o + 5*i = o - 13. Is o less than k?
False
Let w = -6.2 - 0.8. Let g = w - -5. Let k = -1 + g. Which is bigger: -1/2 or k?
-1/2
Let w be 82/3 - (-6)/9. Let n = 8 - w. Does -21 = n?
False
Suppose v - 2*s = 17, -2*s = -4*v - 0*v + 74. Suppose 0 = 5*y + 5, 5*n - 3*n + v = -y. Are -5 and n unequal?
True
Let h = -61.8 - -9.8. Which is greater: 1/4 or h?
1/4
Let z(v) = -v**3 - 2*v**2 + 2*v - 3. Let l be z(-3). Suppose k - 6 = q, -k + 7 = 3*q + k. Let u be 2/(3 - (27 - q)). Which is bigger: l or u?
l
Let q(t) = 3*t**3 - t**2 + t - 2. Let l be q(2). Suppose -18*g + l*g = 0. Let i(y) = -y + 6. Let r be i(5). Which is bigger: r or g?
r
Let o(s) = -2*s + 3. Let j be o(2). Is j smaller than 2/1095?
True
Let c be -3*1*1/(-6). Let o = 291 + -290. Which is smaller: c or o?
c
Let q be (-2 + 7)/((-1)/(-3 - -2)). Let h be 1/(4*1)*4. Suppose -3*b + h = -5, -b - 33 = -q*u. Which is bigger: u or 8?
8
Suppose q - y = 2 + 1, -3*y = 2*q - 6. Which is greater: 38/11 or q?
38/11
Suppose -b - 343 = 6*b. Let j = -44 - 5. Is b bigger than j?
False
Suppose -21*h = 60 - 60. Is h smaller than 2?
True
Let p be (-4)/3*1*-3. Let i be (-2)/((-19)/p - -5). Does i = -4?
False
Let x be (-2)/30*(-1550)/248. Which is smaller: x or 1?
x
Let z(j) = j**2 - 2. Let x be z(1). Is x at most as big as 7/43?
True
Suppose 5*o - 40 = -0*o. Let b be 3/(-2)*44/(-6). Let z = -3 + b. Is z greater than o?
False
Let d = 245 - 50221/205. Let i = d + 2649/820. Which is greater: i or 4?
4
Let z(a) = -a**2 - 19*a - 22. Let n be z(-17). Which is greater: 10 or n?
n
Let p = 1397 + -1296. Is p <= 2?
False
Let d = -0.07 - -7.07. Let k = d - 7.1. Let b = -471 + 476. Which is smaller: k or b?
k
Let w = 38 - 25. Let m = w - 12. Which is bigger: m or 4/45?
m
Let u = 323 - 431. Is -111 bigger than u?
False
Let w = -303 + 1211/4. Which is smaller: w or -146/13?
-146/13
Let d(q) = -q**2 - 3*q + 6. Let g be (-4)/(-6) - (-152)/6. Suppose 18 = -3*t + 5*s - 10, 3*t - 4*s = -g. Let h be d(t). Which is smaller: -11 or h?
h
Let o be 0/((-1)/(-4)*12 + -4). Which is smaller: o or -69/8?
-69/8
Let c be ((-24)/60)/((-6)/75). Suppose t - 18 = 4*q, 28 = 3*t + t - c*q. Which is bigger: t or 3?
3
Suppose -3*o + s - 118 = o, -4*o - 110 = -5*s. Let c be (-20)/o*(41/2 + 2). Which is greater: 4 or c?
c
Let y(i) = i**2 - 4*i + 2. Let o(d) = -d**3 - 7*d**2 - d - 5. Let f be o(-7). Let s be (f*-6)/(-4) + 0. Let q be y(s). Are q and -0.2 nonequal?
True
Let s = 241 + -1212/5. Suppose 4*m + 5*n = 7 + 5, -2*m + 4 = 2*n. Is s less than or equal to m?
False
Let t be -1419*(3 - 284/90). Let q = t - 221. Let w be 1/2 + ((-6)/4)/(-3). Is q at least w?
False
Let h be (22/10 - 3)/1. Suppose 5 + 15 = -10*u. Is h < u?
False
Let x = -50 - -53. Let q = -18.3 - -17. Let r = -1.5 - q. Is x greater than r?
True
Let x(a) = -17*a**2 + 9*a + 2. Let w be x(4). Is w smaller than -234?
False
Let b be -35 - -41 - (-405)/(-67). Which is bigger: 1 or b?
1
Suppose -5*g - 7*s + 2*s = -7750, -4650 = -3*g - 2*s. Which is smaller: g or 1549?
1549
Let i = -0.03 + 4.83. Let j = i - -0.2. Let t = j + -5. Does t = 14?
False
Let t(g) = -g**2 + 6*g - 9. Let k = 21 + -13. Let i be t(k). Let b = -28 - i. Which is greater: b or -1?
-1
Suppose -4*u + l + 1 + 0 = 0, -9 = -3*l. Let j be -1*1*7/u. Is j < -7?
False
Let h = -670 - -472. Is -198 >= h?
True
Let v(u) = 8*u - 118. Let p be v(11). Which is smaller: -19 or p?
p
Let l = 23.8 - 18. Let p = l + -6. Is p >= 1.5?
False
Let s = 65 - 39. Let b = s - 25. Which is smaller: 2/103 or b?
2/103
Suppose -i + 4*s = 16, 4*i - 3*s + 12 = -i. Suppose i = -5*x - x + 264. Do x and 45 have the same value?
False
Let f = 350 - 351. Which is greater: -1/16 or f?
-1/16
Let a = -5 - 2. Let p = a - -1. Let l be -6 - p - (