ot equal to -135?
True
Suppose 9*v - 16605 = 14*v. Let u = 16494/5 + v. Which is bigger: -23 or u?
u
Let b be 12*(-6)/1647*162/(-3). Is b < 1?
False
Let y = 31603/3 + -10535. Suppose c - 174 = -c. Is c smaller than y?
False
Suppose 5*c - 253 = -4*h, 417 = 5*h - 3*c + 147. Is 624/11 bigger than h?
False
Let t = -2485 - -2484. Is t >= 141/17?
False
Suppose 167*z + 77*z = 0. Suppose -b = -2*h - 1 - 4, 3*b - 6 = 3*h. Let p be (-287)/126 + (-1 - h). Which is greater: z or p?
z
Let x = -2662 + 2662. Is x <= 596?
True
Let u = 423 - 371. Let f = u - 56. Which is greater: f or 33?
33
Let h = 0.2 + -0.6. Let g = -8122/11 + 56887/77. Which is smaller: h or g?
h
Suppose -121 = 3*k + 4*b, -2*k - 117 = -b - 29. Is k greater than -41?
False
Suppose 2*s + 3*s - 2*z - 27 = 0, -3*z + 26 = 2*s. Suppose 3*b = -3*k + 3, -5*k = -4*b + 1499 - 1504. Which is smaller: s or k?
k
Let l = -83 + 85. Suppose -4*c + x - 3*x = l, -5*c = 5*x + 15. Suppose 10 = -5*y + 4*y + 4*u, -3*y - c*u = -40. Are 12 and y nonequal?
True
Let g(m) = -m**2 - 25*m + 2. Let o be g(-24). Let k be (2/4)/(o/(-260)). Is k greater than or equal to -6?
True
Let v = 114 - 187. Let l = v - -49. Let z = l + 16. Is -7 < z?
False
Let v = 13415 - 13393. Is -275 greater than or equal to v?
False
Let g be 2*12/(-8) - (-2 - 1). Let o = 1594 + -46238/29. Which is smaller: g or o?
o
Let d = 1.1 - 0.85. Let r = d - 0.15. Let z = 6.7 + -6. Is r bigger than z?
False
Let l be ((-50)/20)/(2/64*2). Let f = 28 + l. Let y be 19/57 - 2/f. Which is smaller: 0.15 or y?
0.15
Suppose 5*l + 30 = 2*l. Let j be (-32)/(-18) + l/(-45). Suppose -5*q + 17 + 0 = -4*f, -f + 2*q = j. Is f at least -9?
True
Suppose -2*f + 5*q = -3934, 2*f = 2*q + 1579 + 2349. Suppose -f = 12*c - 21*c. Which is bigger: c or 217?
c
Let r be (1/(-4))/((-1388)/4874). Let n = -1/347 + r. Suppose -52*x = -48*x. Is x > n?
False
Let u = -4814 - -6546. Which is smaller: u or 1733?
u
Let t be ((-8)/(-112)*7)/(2/2012). Is t >= 3?
True
Suppose -22*y + 30*y - 40 = 0. Suppose -y*p + 189 - 224 = 0. Is p equal to -6?
False
Let h be ((-403)/455 - 4/(-14))*-5. Let z be h + 9*1/(-3). Which is smaller: 5/17 or z?
z
Let h(r) be the first derivative of 5*r**2/2 + 26*r - 23. Let j be h(-3). Is j != 9?
True
Let m = 39.2 - 3.2. Suppose 4*u + r - 8 = 0, 0*r = -u - r - 1. Is m at most u?
False
Let s(q) = q + 14. Let z be s(-16). Let i be 8*(1 + z) + 3. Is i smaller than -1?
True
Let r = 54.1 - 54.21. Are r and 0.29 equal?
False
Let v = 20426 + -20428. Which is smaller: -6115 or v?
-6115
Let x(i) = -i**3 + 6*i**2 + 5*i + 14. Let q = -84 - -123. Suppose 2*p + 0*p - q = -5*b, 5*p = -b + 17. Let g be x(b). Which is smaller: g or -2/25?
-2/25
Let r be (-39221)/104 + 2/16. Let o be 1 + (1/(-12))/(r/(-4756)). Is o at most 1?
True
Suppose -2*x = -17*m + 12*m - 104, -123 = -3*x + 2*m. Which is smaller: x or 141?
x
Suppose -24*q + 15*q + 72 = 0. Let p be ((-106)/q)/((-98)/168). Is p less than or equal to 23?
True
Let r = 132020363/548055 - 1/182685. Is 240 bigger than r?
False
Let b be (-4 + 10)/(-18)*1 + (-6)/(-18). Which is smaller: b or 20/1051?
b
Let i be 36/(-2)*(-19 + 913491/48078). Which is smaller: i or 1?
i
Suppose 4*y + 4*h - 14 = 10, 0 = 5*y - 5*h - 60. Suppose -960 = 3*a - y*a. Do a and 158 have the same value?
False
Let g = -0.0198 + -349.9802. Let w = g - -274. Which is greater: w or -1/3?
-1/3
Let i = 8738 - 8761. Do i and -294/13 have the same value?
False
Suppose -58*g - 128 - 23 = -35. Which is smaller: -78/67 or g?
g
Let g(r) = r**3 + 7*r**2 - 7*r - 9. Let y be g(-8). Let d be (-958)/(-20) + (-9)/(-90). Suppose 4*k + d + 24 = 0. Which is greater: k or y?
y
Let y = -116.05 - -151.56. Do y and 0.3 have different values?
True
Let x = -497 - -476. Let p be (140/x)/(26/39). Which is smaller: -30 or p?
-30
Let o(s) = 4*s + 63. Let g(r) = r**2 + 6*r + 8. Let a be g(-2). Let y be o(a). Let w be (-16)/(-6) - (-21)/y. Is w < 27/8?
True
Let n be 1 + 0 + -3 + 14. Let q = 118 - n. Suppose 0 = -108*s + q*s - 140. Is -71 smaller than s?
True
Suppose 494*z - 1040 = 18720. Is z > 24?
True
Suppose -2*q - 2*w = -6*w + 85880, -q - 42941 = -w. Is -42941 < q?
False
Let g = 963.7 - 1067.13. Let t = g - -104. Let l = -0.35 + t. Is l >= -0.1?
True
Let i = 8017 - 14566. Is -6550 smaller than i?
True
Let x(c) = -c**2 + 3*c + 2. Suppose -1 = 3*w - k - 7, -3*w - 2*k + 15 = 0. Let g be x(w). Let a = -1366/7 - -4070/21. Which is smaller: g or a?
a
Let f be (-2 - -2*(-836)/(-928)) + (-25)/(-100). Which is smaller: -1 or f?
-1
Let g = 22 + 52. Let m = g + -220/3. Let t be 0/(22/(-2)) + 5 + 1904/(-380). Is m bigger than t?
True
Let x = 182877 + -182877.1. Let p = 9/76 - -2385/76. Is p != x?
True
Let f = -3615 - -3614. Let p = -188 + 106. Which is bigger: f or p?
f
Let y = 23 + -44. Let b be ((-1)/(y/9))/(6/30). Which is smaller: -2/7 or b?
-2/7
Suppose 0 = -38*i + 10*i - 3080. Let f = -142 - i. Is -123/4 >= f?
True
Let j(k) = -50*k - 346. Let r be j(-7). Suppose r*w + 598 = -3*a, -2*a + 312 = -2*w + 3*a. Which is greater: -154 or w?
w
Let p = 5.973 - 5.773. Are p and -708 nonequal?
True
Let v(k) = -21*k**2 - 4*k - 9. Let w(a) = 1. Let r(q) = -v(q) - 4*w(q). Let s be r(-1). Which is bigger: 24 or s?
24
Let c be ((-3)/9)/((-15)/135495). Do c and 3010 have different values?
True
Let p be (-1)/(-6) - (-25)/46. Let c = p - 1/23. Let w = -0.3123 - -0.5323. Do w and c have different values?
True
Suppose 2*g - 3*w + 27 = 0, 3*g - 2*w + 7 = -46. Let z be 273/(-3)*(-18)/g. Let t = -157/2 - z. Is t bigger than 1.8?
False
Suppose 3*c = -r + 340 + 584, 5*c - 2776 = -3*r. Which is greater: r or 926?
r
Let q = -38376 - -38378. Is q greater than or equal to 840?
False
Let t = -270 - -639. Let s = t - 365.3. Is s at most as big as 1?
False
Suppose 3*h + 40 = 7*h. Let m = 141 - 139. Suppose -3 = -3*t, 5*g + m*t + 9 = -4. Is h bigger than g?
True
Let p = 90425612/62643 - -50/2983. Let x = -1444 + p. Suppose -5*v + 1 + 4 = 0. Is v < x?
False
Let f = 8033 + -3986. Is 4047 at least f?
True
Suppose 2*f + 27*w + 4 = 29*w, 3*f + 9 = 2*w. Let v = -33 - -16. Which is greater: v or f?
f
Let z be 3135/1044 - ((-4)/(-4) - -2). Suppose 0 = -1325*u + 1314*u - 11. Which is greater: z or u?
z
Let f(a) = 115*a - 13161. Let n be f(86). Is -6539/2 greater than or equal to n?
True
Let u be 150/(-24) + 68/272. Suppose -25 = 3*h - 4. Which is smaller: u or h?
h
Let o be (68/(-6))/(-1*1554/(-1418208)). Let s = 10343 + o. Is s not equal to -1?
True
Let j(i) = -2*i - 31. Suppose 0 = 6*p - 2*p + g - 2909, -g = -2*p + 1447. Let c be p/(-45) + 6/45. Let n be j(c). Is n at least -1/98?
True
Let u = -63 - -68. Suppose u + 139 = -9*d. Let i be d/6*(-5)/(40/12). Which is smaller: i or -2?
-2
Let i = 29/25 - -111/25. Let n(y) = -8*y - 4. Let t be n(-2). Suppose t = 2*z - 2. Is z less than i?
False
Let k = -6.3 + -0.7. Let x = -79 - -867/11. Which is greater: x or k?
x
Suppose 4*b + 7 = -c, 173*b - 169*b - 35 = 5*c. Is -6/1835 less than or equal to b?
True
Let y = -26 + 17. Let d(r) = 28*r + 107. Let p(g) = 25*g + 98. Let a(j) = 7*d(j) - 8*p(j). Let k be a(y). Which is smaller: 13/10 or k?
k
Suppose -2*b = -i - 5, 121*i + b - 5 = 124*i. Is i greater than or equal to -130/347?
False
Let d(l) = -45*l**3 - 3*l**2 - 47*l - 123. Let h be d(-3). Is 1210 != h?
True
Let f = 2.1 - -7. Let d = f + -9. Suppose 0 = -163*j + 453 - 1757. Is d not equal to j?
True
Let z = 318.96 + -315. Let i = -21.96 + z. Which is greater: i or 4?
4
Suppose -3*d - 128 = -19*d. Suppose 2*w + d = -4*s, 0*w + 4*w + 16 = -3*s. Is 3/35 at most as big as s?
False
Let l be (-14 + 0)/(5/(-20)). Suppose 5*w = w + l. Suppose w*z + 5 = 9*z. Which is bigger: z or 1/54?
1/54
Let w be ((1 - -10) + -1)*122/305. Let r(l) = -l - 12. Let h be r(w). Is h < -16?
False
Suppose 261*a = 167*a - 36472. Is -388 less than or equal to a?
True
Suppose 0 = -3*a + 4*a - 3. Let d be (1/43)/(1/a). Let v be ((-70)/(-224))/((-95)/(-304)). Is v bigger than d?
True
Let s = -777402/169 + 4600. Let m = s - -2201/338. Let c = 1 - -6. Is c bigger than m?
True
Suppose -3*m - 5*r = -4*r + 14, 25 = -4*m + 5*r. Let c be -2 + -1*(m + 8). Let t = -6 - c. Which is smaller: t or -2/141?
t
Suppose 4*w + 11 = -17. Suppose -f + 49 = 4*p - 13, 0 = 2*p - 5*f - 20. Let c = w + p. Is 7 < c?
True
Let c = -43306/75 + 577. Is 0 greater