ppose -2055 = -5*y - 10*y. Suppose -143 = -t + 2*n, 24*t - y = 23*t - n. Does 139 = t?
True
Let b be (-6 + -16 - -21) + 22865/22863. Do b and -1 have the same value?
False
Let b(v) = 48*v**2 - 337*v + 9. Let i be b(7). Is i at most 39/38?
False
Suppose -t = 3*u + 69, 0 = -t + 2*t - 5*u + 37. Let b = t - -56. Which is bigger: b or 2/143?
2/143
Let n = 391495/2428 - 645/4. Let v = n - -2682/251905. Which is bigger: v or 0?
v
Let f = -153.5 + 150. Let q = -136.5 - f. Let u = -128 - q. Which is bigger: u or -0.02?
u
Let y be (-5 - 0 - -3) + -13 + 111. Let l = y + -98. Let u be 2/(-4) + (-47)/26. Which is smaller: l or u?
u
Let x = -4839 + 4839. Is 45 at least as big as x?
True
Let b = 0.0242 - -9.9758. Suppose -100 = q + 4*q. Let f be ((-8)/q)/(8/10). Which is bigger: b or f?
b
Suppose -3*x - 4*m - 40 = 0, -19*x + 14*x - 4*m - 56 = 0. Is -133 less than or equal to x?
True
Let l = -17 + 16. Let p(n) = -n**2 - 4*n - 9. Let x be p(-4). Let y = x - l. Which is smaller: -10 or y?
-10
Let s = -38 - -38. Suppose -2*w + r + 5 = s, 5*w = 5*r + 11 + 14. Let h be (-31)/(3/10 - 2/(-10)). Which is smaller: w or h?
h
Let l(v) = 2*v**2 - 22*v. Let x be l(11). Let q(f) = -9*f + 102. Let s be q(x). Suppose -s = -a - 88. Is 16 greater than a?
True
Let a = 2660 + -2659.9. Is -146/7 at most a?
True
Let o(c) = -2 + c**2 + 2 - c + 8 + 0*c**2. Let g be o(0). Suppose 0 - g = -2*a. Is a > 3?
True
Suppose 46*c - 6650 = 27*c. Which is smaller: c or 336?
336
Suppose 0 = 5*l + 3 + 17. Let v be 5/(5/l) - -6. Suppose -v*x + 0 + 8 = 3*s, -s = -5*x + 20. Which is smaller: 6 or s?
s
Suppose -13 = -4*r + 5*w - 2, -3*r = 3*w - 15. Suppose 0*i + 43 = -4*i + 5*h, -r*h = -i - 8. Let s be (4 + -1 - 0) + i. Which is greater: s or -1/2?
-1/2
Suppose 5*b - 15 = -0*l + l, 0 = 2*l + 10. Suppose 269 - 285 = -b*q. Is 8 != q?
False
Let r be 1/(230/(-60)*(-3 - 0)). Let q = -882.4 + 883. Which is bigger: r or q?
q
Let s = -2328/95 - -122/5. Let j = -2009752 + 46238167/23. Let x = 603 - j. Is s less than x?
True
Let r be ((-10)/(-140))/(2/8). Let k = 0.27 - 0.09. Let f = 0.05 + k. Which is smaller: r or f?
f
Let m = 18 - -16. Suppose 38*v = m*v + 16. Let s = 3 - v. Is s equal to -1/30?
False
Let n be -8 - (-3)/9*-6. Let t be 60/24*84/n. Is t at most -21?
True
Suppose -1067 = -3*n - 1070. Let f be (19 - 15) + n*(-20)/(-6). Let b(i) = -i**2 + 1. Let j be b(1). Is f less than or equal to j?
False
Let h = 70 + -42. Suppose 4 = h*i - 24*i. Let y be i + 0/((-4)/(-2)). Which is smaller: 2/25 or y?
2/25
Let b = -26154 - -16293972/623. Which is greater: -1 or b?
b
Suppose -2*i + 4 = 0, -i - 29 + 31 = 3*n. Which is greater: n or -1/1233?
n
Suppose 0 = i + 5*k - 29, 0*i + 4*i - 26 = -2*k. Let l be (-13)/((-364)/21) + 113/i. Which is bigger: l or 33?
33
Let g = -14 + 14.24. Let a = -0.14 - g. Let s = a - -1.38. Is -8 greater than or equal to s?
False
Let u(a) = -5*a - 21. Let t be u(-11). Let z be (2/4)/(17/t). Let l = -5 + 116/23. Which is smaller: z or l?
l
Suppose -2*r + 5*m + 11 = 0, -m - 10 - 3 = -4*r. Suppose 4*x = 5*f - 12, -2*x - 4 + 20 = r*f. Let c = 2.130042 + -2.280042. Are x and c equal?
False
Let b be 7/2*(-2354)/77. Which is greater: -106 or b?
-106
Let m = 4 - 64. Let x be 13/(-39) + 160/3. Let f = m + x. Which is smaller: f or -4?
f
Let s = 70.2 - -246.8. Which is greater: -3 or s?
s
Let o be (28026/684 - 41)/((-51)/(-12)). Let y = 0.9 - 1. Is o not equal to y?
True
Let p be (-774)/257 + ((-621)/(-18))/(-23)*-2. Which is smaller: p or -1?
-1
Suppose -8*p + 350612 = -100*p. Is p <= 0?
True
Let c = 41.33 + -39. Let n = 36.33 - c. Which is smaller: n or 1?
1
Suppose 2*x = 4*v + 8, 0 = -8*v + 12 - 28. Is x > -2/9555?
True
Let y = -26369 - -26336.002. Let r = y + -0.002. Let l = r - -32.88. Which is greater: -1 or l?
l
Suppose 2*w - 2*g - 34 = 0, 4*w - 2*g = 8*w - 68. Suppose 3065 - 821 = w*y. Is y != 134?
True
Suppose -44*i + 12 = -38*i. Let g = 265.8 + -268. Are g and i nonequal?
True
Let p = 7110/109 - 195574988/2998263. Which is smaller: p or -1?
-1
Let x = 32 + -25. Let w(g) = -g**2 + 7*g + 7. Let n be w(x). Suppose -25 = -4*b - 2*l - 3, 3*b - 15 = -2*l. Is b smaller than n?
False
Let j = -3007/37999 + -2/1027. Let h = j - 189/407. Let f be -2 + -3 - (143 + -147). Which is bigger: h or f?
h
Suppose -q + 8 = -2. Suppose -j + 37 = 3*p, -5*p - 18*j = -13*j - 35. Which is smaller: p or q?
q
Let x = 24 + 7. Suppose 12*s = 8*s + 116. Let b = s - x. Which is greater: b or -14/5?
b
Suppose 0 = -3*t + 9, 5*v - 3*v = 3*t - 1. Let k = 3437 - 3434. Suppose -4 = 3*n + v*q - k*q, 5*n + 10 = -5*q. Is 4/19 <= n?
False
Let t(d) = d. Let v be t(-5). Let x = 7421 + -7399. Let j be ((-33)/v)/(x/55). Is j less than or equal to 17?
True
Let r(w) = -111*w + 105. Let g be r(11). Let h be g/5 + 72/(-90). Is -225 at most as big as h?
True
Let q = -20105/46 + 437. Which is smaller: -14/5 or q?
-14/5
Let o be (7025/(-35))/(-5) - (-1)/(-7). Let v = 47 - o. Which is greater: 46/7 or v?
v
Suppose 3*m - 23*h + 19*h + 22 = 0, -2*m + 4*h = 20. Is m greater than -97/39?
True
Let c = -2947543/86484 - 10/7207. Is c smaller than -0.2?
True
Let z be (-800)/6 - (7 - 10). Let f = z + 40267/309. Let p be -4*((-5)/14)/5. Which is smaller: f or p?
f
Suppose 4*l = 5*l - 4*h + 178, -5*l - 770 = 4*h. Let c be 40/l*5/(-20). Which is greater: c or 1?
1
Let t(c) = -11*c + 441. Let q be t(40). Is 1/225 >= q?
False
Suppose -4*j - 5*b = 16383, -5*j + 4*b - 1338 = 19151. Is j bigger than -4097?
False
Let l(f) = -5*f**2 + 5*f - 5. Let a be l(5). Let k be (a - 3)*((-14)/(-4))/7. Let u be (k/8)/(10/(-40)). Is 28 at most u?
False
Let x(k) = 16*k + 18. Let w(l) = 44*l + 54. Let d(r) = 3*w(r) - 8*x(r). Let z be d(-8). Is -13 greater than z?
True
Let r = -3768 - -18908/5. Let c = 1.7019 + 0.2981. Are r and c nonequal?
True
Let x(a) = 2889*a + 430. Let u be x(-2). Is u less than -5350?
False
Let n(h) = 37*h - 36. Let g(m) = 33*m - 35. Let q(p) = 6*g(p) - 5*n(p). Let w be 16/64 - (-30)/8. Let k be q(w). Is 23 greater than k?
True
Let b = 8229 - 3875854/471. Is b bigger than -1?
True
Let d = 1180 + -1828. Let c = d - -649. Which is bigger: 1/254 or c?
c
Let j be 2/(-9) - (-55)/(-198). Is 507 < j?
False
Let g be -7 - (-220)/24 - (-1)/(-6). Let r(v) = -2*v**3 - 3*v**2 + v + 2. Let p be r(-2). Let t(a) = a - 4. Let u be t(p). Is g at most as big as u?
False
Let j(k) = 3*k**3 - 8*k**2 + 17*k - 24. Let q be j(-7). Is q not equal to -2/7?
True
Let t = -58 + 52. Let x = t + 7. Is x != 3/254?
True
Let g be 24/(9/6 - 0). Let p be (-2*1)/(513/(-72) - -7). Let j = p - g. Which is smaller: -1 or j?
-1
Let b = -157 + 156.948. Let k = b + -0.948. Is -336 smaller than k?
True
Let b(v) = 1723*v**3 - v**2 + 5*v - 5. Let d be b(1). Which is bigger: d or 1718?
d
Let q = 18626 - 18622. Do q and 0.959 have different values?
True
Let g = 3148 + -3149. Let r(b) = 202*b + 1. Let i be r(-1). Is i at most g?
True
Let d = 12.8 - 7.8. Suppose 15 = 2*b + 3*p, -5*p + 12 = 4*b - 13. Suppose -4*a + 9*a - 10 = b. Which is greater: d or a?
d
Suppose 4*j - 7 = 13, 4*o = -3*j + 55. Let z be (-64)/160 - 1/o*6. Is -2 < z?
True
Let t(j) = j + 25. Let g be t(-18). Let y = 7123/1068 + -1/356. Is y smaller than g?
True
Let g be 270/(-135) + 5322/(-111). Is g greater than -50?
True
Let f = 7909 + -7658. Suppose -2*h + m = -498, 4*h - 3*m - m = 988. Is h at least f?
True
Let v(q) = -q**3 - 2*q**2 + 54*q - 77. Let j be v(-9). Which is bigger: j or 226/9?
226/9
Let s be (-1 + -3 - 0) + 1350/315. Let v = s - 1/2. Which is bigger: v or -4?
v
Suppose 5*x - 26 - 48 = a, 0 = -5*x + 3*a + 82. Let s(k) = k**2 - 15*k + 14. Let b be s(x). Is 5/12 greater than b?
True
Let p(y) = -83*y - 4545. Let g be p(-42). Which is bigger: -1060 or g?
g
Let s be ((-24)/(-42))/((-7)/(-49)). Suppose s*l + 0*l - 3*o - 363 = 0, 4*o = -4. Which is smaller: l or 91?
l
Suppose -4*a = 6 + 2, 5*a = -2*g - 12. Which is smaller: 1/14946 or g?
g
Let c = 4374 - 1774. Is 2599 >= c?
False
Let k = 0.2 - 0. Let p = -3.8 + -65.2. Let y = p - -71. Is y != k?
True
Let s = 58 - 26. Suppose -6 = 4*h - 2*j, s = -3*h - 3*j + 5. Let n be (h/138)/(112/60 - 2). Is 0 at least as big as n?
False
Let t(f) = -f + 1. Let x be t(0). Let c be (1/685)/(60/75). Which is smaller: x or c?
c
Let x be (-1975)/(-3) + 40/24. Which is bigger: x or 659?
x
Let l(d