. Let u = -145 - x. Does u = q?
False
Let c be (-747)/4 - ((-161)/(-28))/23. Let a be (-17)/(c/231)*(-10)/(-6). Which is bigger: 9 or a?
a
Let p = -80 - -85. Let y(f) = -40 - p*f + 21 + 20. Let d be y(-4). Which is smaller: 20 or d?
20
Let g = -115073254/2843655 + 1/189577. Let d = g - -179/5. Suppose 89 = -42*r - 79. Which is smaller: r or d?
d
Let g = -65 + 71. Let b(z) = z + 2*z - 10 - g - 2*z. Let d be b(16). Is d equal to -18/13?
False
Let p = -474 + 1396/3. Which is bigger: -142 or p?
p
Let v = 448829/23 + -19515. Is v not equal to -16/7?
True
Let t(g) = g**2 + 11*g - 13. Let l be t(1). Suppose -4*x - x + 10 = 0. Let u be (-6)/2 - 0 - x. Is l at most u?
False
Suppose 3*d + 2481 = -4*r, 4*r + 2487 = 4*d - 29. Let t = -545 - r. Are t and 2 equal?
False
Let w = 38490 + -25911. Suppose -27*k + 6*k = -w. Which is smaller: 598 or k?
598
Let i = -25.42 + 9.42. Let g = -11 + 33. Let o = i + g. Is 0.2 not equal to o?
True
Let a be (5 + -2)/(-2 + 1). Let i be a*3*(-3)/54. Let l(d) = d - 46. Let u be l(46). Is i > u?
True
Let l(k) = k**3 - 16*k + 4. Let n be l(0). Suppose -h = 4 + 22. Let d be (h/6)/(-13 + 12). Which is smaller: n or d?
n
Let s be 3 + -2 + 73/(-4). Let g(k) = k**3 + 30*k**2 - 71*k - 242. Let b be g(-32). Is b < s?
True
Let w(p) = -p**2 + 40*p + 282. Let q be w(46). Do q and 15.6 have different values?
True
Let p(b) = -b**3 + 51*b**2 - 287*b - 178. Let l be p(41). Is l <= 4864?
False
Let f(d) = -d**3 + 2*d. Let g be f(-3). Let s(o) = 11*o - 8 - 25 - 5 + 18*o. Let l be s(2). Which is greater: g or l?
g
Suppose 0*u = -3*u - 15. Let k be ((-4)/u)/((-5)/50). Let f = 7.4 - 7.3. Is f less than k?
False
Let i = -1680 - -1689. Let l = -0.025 - 0.065. Is l bigger than i?
False
Suppose 9*u = -16*u + 1350. Let l be 12/u - (-14658)/135. Are 109 and l unequal?
True
Suppose -10 = -2*k - 0*k + 2*l, -5*l - 21 = -4*k. Let q be 24/9 + k/(-6). Let v be (-1 - q)*4/30. Which is bigger: v or -1/20?
-1/20
Let k = 14092 - 14114. Is 196 smaller than k?
False
Let d = 1950 - 651299/334. Let a = 5513/668 - d. Is a >= 9?
False
Suppose -39*k = -35*k + a - 6751, 5*k - 8436 = -4*a. Let y be ((-34)/(-340))/(2/k). Is 84 less than or equal to y?
True
Let u = -10 - -3. Suppose 0 = 3*r - 10*r + 112. Let d be ((-20)/(-10))/((-5)/r). Which is smaller: u or d?
u
Let r be 18/(-3 + -2 - -4). Let g = r + 21. Suppose -g*l + 8 - 11 = 0. Which is greater: l or 2/7?
2/7
Let l be (-84)/(-14)*(-2 - -1 - -2). Suppose 1372 = l*z + 436. Suppose 0 = -15*y + 3*y - z. Which is greater: -62/5 or y?
-62/5
Let v = -6.074 + 6.144. Which is bigger: 787/3 or v?
787/3
Suppose 3*a + 33 = 3*k, a + 13*k = 9*k + 14. Suppose 0*d = -3*d - 18. Let h = d + 2. Which is bigger: h or a?
h
Let o = -11381 + 11381.03. Which is smaller: -1025 or o?
-1025
Suppose 20 = 221*g - 241*g. Are -35/29 and g equal?
False
Let v = -586 + 611. Let k = -9 + 37. Which is greater: k or v?
k
Let k be 14/7 - 227/168. Let u = 1/56 + k. Let l = -3/10534 + 10543/31602. Which is smaller: l or u?
l
Let h be 0/(-2) + (-6)/(-21). Let p be (6/(-8))/((-864)/(-768)). Is h less than p?
False
Let l = 1.193 - 575.193. Let f = -519 - l. Is f > 0.3?
True
Let a = 2597 - 2614. Is -118 bigger than a?
False
Let f be 295/(-60) + 4 - 4/(-6). Let b = 30.9 + 8.1. Let t = b - 39.26. Is t less than f?
True
Let p be (-11274)/2610 + 4 - ((-36)/(-30))/(-3). Do 1 and p have different values?
True
Suppose -163 + 982 = -3*c. Let g = c + 281. Which is smaller: -2 or g?
-2
Let t be 2/(-4)*46/2. Suppose -66*f - 3*i + 9 = -67*f, 4*f + 2*i + 50 = 0. Which is smaller: t or f?
f
Let b be (-13)/(-13)*284/(-28)*-7. Let j = 5435 - 26818/5. Does b = j?
False
Let h = 0.3 + -4.3. Let t = 22.4 + -26.6. Let v = t - h. Is -1 greater than v?
False
Let i = -434 + 516. Suppose 19*c - 6 = -i. Is -45/14 <= c?
False
Suppose 505 = 173*z - 178*z. Let v = z + 390. Are v and 289 equal?
True
Let k be (294/35)/7 + (-156)/30. Are -94/27 and k equal?
False
Let t = -2030 - -2039. Is t <= 2?
False
Let o = 19/24 + -9/8. Let y = -23212 + 23177. Is o less than or equal to y?
False
Let i(u) = 5*u + 10. Let w be (-1014)/54 + (-2)/9. Let c be i(w). Let f be c/30*4 - 2/3. Which is greater: -0.3 or f?
-0.3
Let s = 3189 - 7501. Is s <= -4312?
True
Let p = 227 - 222. Suppose 5*w = 5*m - 2140, -p*w - 1133 - 1022 = -2*m. Which is greater: 1 or w?
1
Let g = -11849 - -11848. Which is smaller: 3864 or g?
g
Let t be (-2771)/22040 - 60/(-480). Let w = -3127/512430 - t. Which is bigger: 1 or w?
1
Let p(x) be the second derivative of -127*x**4/12 - 5*x**3/6 - 5*x**2 + 12*x. Let k be p(-3). Let s = k - -5651/5. Which is greater: -7 or s?
-7
Suppose -40 = -4*d + 112. Let b be -36*((-170)/15 + 6). Let t = 229 - b. Which is smaller: d or t?
t
Let y = 82 - 81.822. Let l = 0.278 - y. Which is smaller: 2/33 or l?
2/33
Let u be (-5 - -3) + 605298/(-34) + 248/(-2108). Which is smaller: u or -17807?
-17807
Suppose 7*v - 52 - 25 = 0. Suppose 8*n - 19*n - v = 0. Let f be (2 + 1)*2/(-75). Which is smaller: f or n?
n
Let p = -1670 + 1671. Which is smaller: p or 1/3992?
1/3992
Let j be (-15)/(-2)*1/6. Let t = -43.2 - -236.2. Let l = t - 194. Which is smaller: j or l?
l
Let j be -12*(-4)/(-8) + 6. Let l(v) = -v**3 + v**2 - 3*v - 1. Let m be l(j). Is m at least as big as 3/25?
False
Suppose 8*v + 6591 + 4592 = 61*v. Is v at most 203?
False
Suppose 0 = 13847*u - 13831*u - 28208. Is 1764 bigger than u?
True
Let l = -440.8 - -465. Let c = -39.2 + l. Let i = 0 + 0.1. Which is smaller: c or i?
c
Let g = 1014 + -378. Let f = g + -569. Which is smaller: 68 or f?
f
Suppose 154*b - 50*b + 50*b + 308 = 0. Are -957 and b nonequal?
True
Suppose -75 + 257 = 2*s. Let j = -3553 - -3643. Is s <= j?
False
Suppose -13*q + 4*h = -9*q + 20, -4*h = 4*q - 12. Which is bigger: q or -1/32?
-1/32
Suppose 0 = -5*p - 4*q + 10, 4*p + q = -3*q + 4. Let s be 9/p*(-40)/(-12). Suppose -22 = -7*u + 13. Is u > s?
False
Suppose 9 + 3 = -2*v, 4*m - 2*v - 3616 = 0. Which is greater: 0.2 or m?
m
Suppose y = -3*c + 26, 4*c - 10 = c - 5*y. Suppose -3*r + 13 = 4*j, -r = 2*j - 4*r - 11. Suppose 0*l - j*n + 6 = 2*l, 5*l - 59 = n. Is l not equal to c?
True
Let v = 500176582/11247 - 44472. Which is smaller: v or 1?
v
Let t = -2.22 - -174.22. Let s = t - 164. Is s at least 2/19?
True
Let o = 3220 + -1720. Suppose -o = 12*u - 8*u. Is -374 at most as big as u?
False
Let f be (-2815)/(-55) + 5/(165/(-6)). Suppose -2*l - 5*g - 12 = -f, 0 = 3*l + 5*g - 51. Let z = l + 0. Is z bigger than 12?
False
Suppose m - 2*m + 12 = i, 4*m + 5*i = 48. Let j be (28/(-5))/(m/(-30)). Suppose -15 = j*z - 17*z. Which is smaller: z or 8?
z
Let f be 422/(-6) + (-44)/12 + 3. Let n be (f/(-30))/(6 - 140/25). Let t = n + -25/4. Is t at least -6?
True
Let v(a) = 2*a**2 - 26*a - 23. Let z be v(13). Let r = z + 22. Let b = 2137/11 - 194. Is b < r?
False
Let f = -76 - -333. Let c = 257 - f. Which is smaller: c or 0.095?
c
Let g = 725 + -29003/40. Suppose 535*a = 534*a. Which is bigger: a or g?
a
Suppose 0 = -c + 2*k + 10, -81 = -5*c - 3*k + 21. Suppose 2*t - 3*l - 50 = 0, t + 4*t - 4*l = 111. Is t at least c?
True
Let h = 135 + -91. Let p = 44 - h. Let u = 16 - 15.8. Is p smaller than u?
True
Let w = 19497.7 + -19495. Is w < -16/9?
False
Let g = -15448 - -15565. Is g > 89?
True
Let t = -11 - 30. Let p = -50.401 + 9.371. Let m = p - t. Is m equal to -1/2?
False
Suppose 589 = -7*x + 26*x. Let a be (-58)/(-667) + x/(-92). Which is smaller: 13 or a?
a
Let x = -12.96 + -187.84. Let q = 201 + x. Which is smaller: q or -7?
-7
Suppose 4*p + k - 36 = 0, 0 = -10*p + 5*p - 5*k + 45. Suppose -6*m - 3 = -p. Let u = 243 - 24056/99. Is m equal to u?
False
Suppose -23*y + 22236 + 21155 = 335. Is y less than 1872?
False
Suppose 41*p + 104 = 28*p. Let g be 158*p/(-576) - (-4)/(-9). Let k(q) = q - 2. Let n be k(3). Which is smaller: n or g?
n
Let d be -1*((-42)/4 + (-36)/(-8)). Which is bigger: d or 145/26?
d
Suppose 0 = 8*y - 7*y - 22. Let z = -15 + y. Let s = -51/7 + z. Which is bigger: s or -1/5?
-1/5
Let t(m) = m**3 + 7*m**2 + 2*m - 22. Let a be t(-6). Suppose 130*w + a = 128*w. Which is greater: -4/51 or w?
-4/51
Let o = -29/12 + 535/132. Let l = 12 + -4. Let w be 1/3 + l/12. Which is bigger: w or o?
o
Let h(w) = -69*w - 290. Let d be h(10). Which is smaller: -979 or d?
d
Let i be -1 + (-330)/(-224) + (-6)/2