 7.94 - -17.14. Let w = -0.92 - d. Let n = 24 + w. Is 0 at least n?
True
Suppose 3*x + 26 = 5*w, -105*w + 102*w = -3*x - 24. Which is smaller: w or 46/349?
46/349
Suppose -4*u + 5*p - 1 = 2*p, -8 = 2*u - 4*p. Suppose -5*o + o = -5*s + u, 2*s = 2*o + 2. Let y(x) = 4*x + 7. Let g be y(s). Which is smaller: -2/19 or g?
g
Let c = -133/176 - -9/11. Suppose 0 = 5*y - 15, 0*g = -3*g + 2*y + 3. Suppose 4*j - 8 = f, -g = -5*j + f + 6. Are c and j equal?
False
Let l = 41.108 + -0.108. Let g = -0.07 - 2.83. Let h = g + 3. Do l and h have different values?
True
Let j = -0.09384 - -0.39384. Is j <= -34/13?
False
Let j(t) = 8*t**2 - 75*t - 39. Let x be j(10). Is x <= 71?
True
Suppose -2 = 2*d - 0, -i + 12 = -4*d. Let m = 4 + i. Suppose m + 20 = -q. Is -33 at most as big as q?
True
Let s be 3*(8015/15)/(-7). Let v = -234 - s. Is v < -16/3?
False
Let g(u) = u**2 + 10*u + 20. Let m be g(-6). Let x be (-2)/((-12)/18) + m. Let r be -1*(-2)/(-246)*-3. Is x <= r?
True
Suppose -2*t + 2*t = 13*t. Let j(u) = -u**2 - 8*u - 131. Let i be j(t). Is i smaller than -133?
False
Let m be (2 + 119/(-56))*8. Let s be (-380)/(-90) + (-2)/9. Suppose 4 + s = 2*d. Do d and m have the same value?
False
Let g(b) = 4*b**2 + 70*b + 34. Let r be g(-17). Which is bigger: r or 7/1128?
7/1128
Let t = 793 - 796. Let p be 121 + -38 + 2*t. Which is smaller: 78 or p?
p
Suppose 77*k - 63*k - 700 = 0. Let z = -2 + 4. Suppose -z*w - 4*t = -118, 3*t + 49 + 34 = 2*w. Which is smaller: k or w?
w
Let r(j) = j + 4. Let i be r(6). Suppose 3*n + 5*c = 2*n + 30, 2*c + i = 4*n. Suppose n*p = 5*v - 125, p = -4*v - p + 70. Which is greater: v or 22?
22
Suppose -6*c + 116 = 38. Suppose -2*o + c*o = -209. Let b(u) = 20*u**3 - u**2. Let i be b(-1). Are o and i nonequal?
True
Let v be 4/10 + 306/10. Let k(m) = 25*m - 205. Let z be k(7). Let q = v + z. Which is greater: q or -2/69?
q
Let k = 196 - 563. Let i = 372 + k. Is i <= 1/2?
False
Let k(j) = 11*j - 107. Let y(l) = -11*l + 110. Let u(n) = 4*k(n) + 5*y(n). Let i be u(11). Which is bigger: i or -2/7?
i
Suppose 0 = -14*x - 5*x + 10*x - 216. Suppose -5*i = -41 + 156. Which is greater: x or i?
i
Let w = 1.361 - -0.139. Let m = 1.1 - w. Which is smaller: -0.1 or m?
m
Let s = 2437/3 - 114917/141. Is s > -3?
True
Let s = 6170 + -6170.1. Which is greater: s or 2.486?
2.486
Let s = 3859.1 - 3859. Which is smaller: 14850 or s?
s
Suppose -70 - 332 = -3*q. Let a = 97 - q. Let v = 50 + a. Which is bigger: 12 or v?
v
Let k be 3*(2 - (-6)/(-2)). Let h be (-2*k/6)/(-1 + 2). Is -6/43 greater than or equal to h?
False
Let w = 1424 + -323246/227. Let d = 135 + -71. Let h = d + -63. Are h and w equal?
False
Let p be (-72)/(-33) - (-4)/(-22). Suppose -p*k + 60 = k. Suppose 419*q - 512*q = -1860. Are q and k non-equal?
False
Let k(p) = -p. Let n(l) = -l**3 - 5*l**2 + 4*l + 2. Let v(z) = -6*k(z) - n(z). Let f be (-2 + 0)*(2 - 1). Let w be v(f). Is w smaller than 7?
True
Let x = 272 - 264. Suppose -11*n - 53 = -x*n - 4*u, -58 = 2*n + 3*u. Is -22 < n?
False
Let v = 2.981 - 2.55. Let n = v + -0.061. Let k = 0.67 - n. Is k < 1/4?
False
Let f be ((-150)/8)/(-5*3/80). Let y be (-4)/(-2) + 5075/f. Is 52 != y?
True
Let w = -0.13712 - 0.06288. Which is smaller: w or -1263?
-1263
Let q(y) = -3*y**3 + 23*y**2 + 9*y - 9. Let j be q(8). Is j at most as big as -4/2401?
True
Let q = 2.2 - 2. Suppose -a - 4*g = 16, 0 = -5*a + a + g - 115. Which is bigger: q or a?
q
Let z = 3096/143045 - 4/305. Is z less than or equal to 0?
False
Let l(u) = -u**2 - 10*u - 2. Let v be l(-9). Suppose 0 = -2*y - 2, -5*o = -v*y + 6*y - 31. Let s be 0 + 2*(-3)/(o/23). Is -25 equal to s?
False
Suppose 3*f = -27 - 72. Let i = f + 100/3. Suppose -j + 2 = -v, -4*v - 3*j + 8 = -6*v. Is v != i?
True
Let g be (-20813 + -3)*41/(-328). Which is smaller: 13006/5 or g?
13006/5
Suppose -346*n - 1624 = -375*n. Which is greater: n or 826/15?
n
Let c = -0.02398 + 0.52398. Which is greater: -199 or c?
c
Let f be ((-8)/(-6) + 2)*12. Let z be 3*(301/21 + -9). Let o be ((-16)/1)/(z/(-280)*7). Is o < f?
False
Let i(m) = m**3 - 19*m**2 + 6*m - 9. Let k be i(17). Let p be k/97 - (-9 - 1). Suppose 34 = 4*g + 2. Is p greater than g?
False
Let j be 0/(10 - (8 - 1)). Let x = 46 - 41. Which is smaller: j or x?
j
Let d(w) = w**2 - 28*w + 210. Let y be d(15). Let x(h) = -h**2 + 22*h - 78. Let b be x(y). Is b >= 29?
False
Suppose -2*o - 48 = o. Let i be (198/8)/(45/300). Let w be (-116)/i - o/24. Which is bigger: 0 or w?
0
Suppose -2*c - 12 + 20 = 0. Suppose 5*p = p + 2*a - 2, 0 = -c*p + 5*a + 7. Let t be p + 2 + 0 + 1. Which is smaller: t or 16/9?
t
Let y = -6439 - -20059/4. Let m = y - -15265/11. Let l = m + 344/11. Which is bigger: -6 or l?
l
Suppose -5*l = 5*a - 1080, -18*l = -15*l - 6. Which is smaller: 210 or a?
210
Suppose 0 = 4*u - 2*m + 19 + 1, 13 = 3*u + 2*m. Are 0.00649 and u unequal?
True
Let q(d) = -d**3 + 13*d**2 - 20*d + 95. Let l be q(12). Let h = -1128 - -42857/38. Is l >= h?
False
Let z = -3 - 3. Let q = 4.395 - 4.5. Let u = -0.105 - q. Is z equal to u?
False
Let g = -1319550543/5830 - -226338. Does g = 1?
False
Let k(r) = 15*r + 14. Let a(m) = m - 15. Let w be a(10). Let z be k(w). Is -59 <= z?
False
Let s = 2072065/14 - 148083. Which is smaller: -78 or s?
s
Let m(x) = -23*x - 1. Let h be m(2). Let y be 28/3*(-1584)/308. Is y greater than h?
False
Let j = -0.01226 - -2.29326. Let f = -0.281 + j. Which is greater: -0.016 or f?
f
Let x(w) = 28*w + 3361. Let m be x(-115). Which is greater: m or 168?
168
Let i(n) = -10*n + 18. Let g be i(-3). Let k = -22 + 28. Suppose 0 = -3*d + k*d - g. Which is smaller: 15 or d?
15
Suppose -b = -o + 5*o + 21, 0 = 3*b - 5*o - 5. Let h be ((-2)/(-20))/(36/(-1584)). Do b and h have the same value?
False
Let o be 1/(17 - (-9585)/(-60)). Which is smaller: -1 or o?
-1
Let c = 1 + -0.6. Let v = -1/4427 + -26549/57551. Which is smaller: c or v?
v
Let p = 12 + -14.2. Let x = 1922.72 + -1925. Let m = p - x. Which is bigger: m or -1?
m
Let s = -6586 + 6362. Are -233 and s non-equal?
True
Let q be (10/(32 + -2))/((-1)/45). Let g be (6/q)/((-8)/(-185)). Is -9 equal to g?
False
Let v = 2892 + -3007. Is -122 at most v?
True
Let v = 210 - 207. Suppose 14 = q + b - 2, v*q = 4*b + 27. Which is bigger: q or 12?
q
Let b = -10/23 + 169/230. Suppose -2*u + 4*h = -18, h - 1 = u - 5. Is u at least b?
False
Suppose 4 = -4*p - 4*n, -1099*p + 2*n + 6 = -1097*p. Let d = 313/3480 + 1/40. Which is smaller: d or p?
d
Let l(p) = -2*p**2 + 52*p + 16. Let z be l(35). Let t = -7375/12 - z. Is t at most 0?
True
Let v = -12/493 - 830/6409. Is v smaller than -23/3?
False
Suppose -10*v = -8*v - 381 - 4019. Is 2200 equal to v?
True
Let h(o) = -o**2 - 13*o + 15. Let v be h(-14). Let g = 48 + -93. Which is bigger: g or v?
v
Let w = 18172 - 18191. Which is bigger: w or -226?
w
Let x be (-9)/4*2*(-920)/(-15). Let c be 36/6*x/(-8). Which is smaller: 208 or c?
c
Let b = 0.87 - 1.27. Let z = 0.003 + 0.007. Which is smaller: b or z?
b
Let n be 0 + (-117118)/(-16) + 1324/10592. Which is smaller: 7322 or n?
n
Let h = 1.37 + -64.37. Let p = h - -28. Let d = p - -34.94. Which is bigger: d or 2/5?
2/5
Let m = 4 - 6. Let f be (1/(-14))/(1*3/(-16698)). Let b = -399 + f. Is m < b?
True
Suppose 5*q - 2*q - 900 = 0. Let c be 1460/q - (-4)/30. Suppose 3*m - 9 = 5*f - 0, -5*m + 5 = -c*f. Is -7/2 < f?
True
Suppose -3*r + 748 = 19*r. Let p be (r/(-8) + 4)*4. Is p smaller than -50/27?
False
Suppose -2*x - 30*j = -32*j - 2334, 3*x = j + 3503. Do x and 1168 have different values?
False
Suppose -4*o = -3*z + 2146, -94*z + 99*z - 2*o - 3586 = 0. Which is smaller: 717 or z?
717
Suppose 4*j = 38 + 10. Let t be (-3)/(-90)*-5 - (-443)/(-6). Let a be t/4*(17/7 + -3). Which is bigger: j or a?
j
Let h be ((-260)/(-91))/(2*2/14). Let q be 5 + (4/h)/(8/(-40)). Let f be (1 + q/6)*4/3. Which is bigger: f or -9?
f
Let u be (1265/46)/((-9)/90). Which is smaller: u or -271?
u
Let k(y) = -y**2 + 5*y + 15. Let b be k(5). Suppose 0 = 13*j - 8*j + b. Let f be (-512)/5 + (108/(-30) - j). Which is greater: f or -104?
f
Let k = -125116/63 + 1986. Let a(n) = n**2 + 5*n + 4. Let z be a(-3). Let u be (-2 + 3)*(z + 1). Which is bigger: u or k?
k
Let y be 2140/470 - (0 + 42/7). Is y equal to -1?
False
Let c be (-4788)/(-182)*8/30. Is c at most as big as 8?
True
Suppose 2*o = -3*l + 